IJASM addresses agility, responsiveness, competitiveness and management of systems, defined as regularly interacting or interdependent groups of items or bodies forming a unified whole. IJASM highlights systems specified, designed, controlled, implemented, commissioned, operated, serviced or maintained with human and society requirements in mind. Examples include engineering assets, environment, building, transport, computers, supply chains, manufacturing, enterprises, and complex engineering products such as aircraft. IJASM acknowledges the need for better understanding of content/context/processes in systems and their interaction with the ever-changing environment.
The purpose of this journal is to provide a unique forum for the fast publication and rapid dissemination of original research results and innovative ideas on the state-of-the-art on computational methods. The methods should be innovative and of high scholarly, academic and practical value.The journal is devoted to all aspects of modern computational methods including * mathematical formulations and theoretical investigations; * interpolations and approximation techniques; * error analysis techniques and algorithms; * fast algorithms and real-time computation; * multi-scale bridging algorithms; * adaptive analysis techniques and algorithms; * implementation, coding and parallelization issues; * novel and practical applications.
The International Journal of Foundations of Computer Science is a bimonthly journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include: * Algebraic theory of computing and formal systems * Algorithm and system implementation issues * Approximation, probabilistic, and randomized algorithms * Automata and formal languages * Automated deduction * Combinatorics and graph theory * Complexity theory * Computational biology and bioinformatics * Cryptography * Database theory * Data structures * Design and analysis of algorithms * DNA computing * Foundations of computer security * Foundations of high-performance computing * Logic in computer science * Model checking and computer-aided verification * Models of computation * Quantum computing * Semantics, concurrency, and type theory * Theories and models of internet computing * Theory of learning and inductive inference * Theory of parallel and distributed computing * Wireless networks and mobile computingAs computer science is an ever-evolving area, articles on other topics are also invited. The journal also aims to provide a forum for the communication and discussion of new fields needing more coverage and exposure, and thus hopes to publish new attempts and proposals for deepening the theoretical understanding of the nature of computation and information.Please submit your proposal for a special issue to the Editor-in-Chief.
International Journal of Information Technology and Decision Making (IJITDM) provides a global forum for exchanging research findings and case studies which bridge the latest information technology and various decision-making techniques. It promotes how information technology improves decision techniques as well as how the development of decision-making tools affects the information technology era. The journal is peer-reviewed and publishes both high-quality academic (theoretical or empirical) and practical papers in the broad ranges of information technology related topics including, but not limited to the following: * Artificial Intelligence and Decision Making * Bio-informatics and Medical Decision Making * Cluster Computing and Performance * Data Mining and Web Mining * Data Warehouse and Applications * Database Performance Evaluation * Decision Making and Distributed Systems * Decision Making and Electronic Transaction and Payment * Decision Making of Internet Companies * Decision Making on Information Security * Decision Models for Electronic Commerce * Decision Models for Internet Based on Companies * Decision Support Systems * Decision Technologies in Information System Design * Digital Library Designs * Economic Decisions and Information Systems * Enterprise Computing and Evaluation * Fuzzy Logic and Internet * Group Decision Making and Software * Habitual Domain and Information Technology * Human Computer Interaction * Information Ethics and Legal Evaluations * Information Overload * Information Policy Making * Information Retrieval Systems * Information Technology and Organizational Behavior * Intelligent Agents Technologies * Intelligent and Fuzzy Information Processing * Internet Service and Training * Knowledge Representation Models * Making Decision through Internet * Multimedia and Decision Making * Multiple Criteria Decision Making in Information Technology * Network and Decision Making * Neural Networks and Performance * Online Business and Decision Making * Optimization and Information Technology * Organizational Information Systems * Pattern Recognition Models * Performance of Parallel Computing * Reasoning under Uncertainty * Social Decisions on Internet * Software Performance and Evaluation * Telecommunication Systems and Evaluation * Visualization and Decision Making * Web based Language Development * Web Search and Decision Making * Website Design and Development * Wireless Technology and Performance.
The field of computer virus prevention has rapidly taken an important position in our technological and information society. Viral attacks increase year after year, and antiviral efforts continually face new challenges. Beneficial applications of technologies based on scientific computer virology are still very limited. The theoretical aspects of the virus problem are only rarely considered, although many interesting and important open problems still exist. Little proactive research is focused on predicting the future of viral attacks. The Journal in Computer Virology is an independent scientific and technical journal dedicated to viral and antiviral computer technologies. Both theoretical and experimental aspects will be considered; papers emphasizing the theoretical aspects are especially welcome. The topics covered by this journal include, but are certainly not limited to: - Mathematical aspects and theoretical fundamentals of computer virology - Algorithmics and computer virology - Computer immunology and biological models for computers - Reverse engineering - Viral technologies - Antiviral technologies - Cryptologic techniques and tools in computer virology - Steganographic techniques and tools in computer virology - Applications in computer virology - Virology and IDS In addition, since computational problems are of practical interest, papers on the computational aspects of computer virology are welcome. It is expected that the areas covered by this journal will change as new technologies, methodologies, challenges and applications develop. The aim of the Journal in Computer Virology is to promote constructive research in computer virology by publishing technical and scientific results related to this research area. Submitted papers will be judged primarily by their content, their originality and their technical and scientific quality. Contributions should comprise novel and previousl, y unpublished material. However, prior publication in conference proceedings of an abstract, summary, or other abbreviated, preliminary form of the material should not preclude publication in this journal when notice of such prior or concurrent publication is given with the submission. In addition to full-length theoretical and technical articles, short communications or notes are acceptable. Survey papers will be accepted with a prior invitation only. Special issues devoted to a single topic are also planned. The policy of the journal is to maintain strict referring procedures, to perform a high quality peer-review of each submitted paper, and to send notification to the author(s) with as short a delay as possible. Accepted papers will normally be published within one year of submission at the latest. The journal will be published four times a year. Every submitted paper will be anonymously peer-reviewed according to the following rules: - Invited paper with board member as (co)author: at least one reviewer, - Regular paper with no board member as (co)author: three reviewers, - Regular papers with board member as (co)author: four reviewers. Note: As far as new viral techniques are concerned, the journal strongly encourages authors to consider algorithmic aspects rather than the actual source code of a particular virus. Nonetheless, papers containing illustrative excerpts of viral source codes may be accepted provided that a scientific approach is maintained and that inclusion of these excerpts is strictly necessary for the presentation of the research. No paper containing a complete viral source code will be considered or accepted. The final objective is, once again, proactive defence. A prize of 500 euros will be awarded to the best paper every year. The journal will be published by Springer France.
This is the official publication of the European Association for Logic, Language, and Information.
The scope of the journal is the logical and computational foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences.
Examples of main subareas are Intensional Logics including Dynamic Logic: Nonmonotonic Logic and Belief Revision: Constructive Logics: Complexity Issues in Logic and Linguistics: Theoretical Problems of Logic Programming and Resolution: Categorial Grammar and Type Theory: Generalized Quantification: Information-Oriented Theories of Semantic Structure like Situation Semantics, Discourse Representation Theory, and Dynamic Semantics: Connectionist Models of Logical and Linguistic Structures. The emphasis is on the theoretical aspects of these areas.
The purpose of the journal is to act as a forum for researchers interested in the theoretical foundations of the above subjects and their interdisciplinary connections, with an emphasis on general ideas increasing coherence.