الصحف / المعلوماتية - CIRS

المركز الدولي للبحث العلمي

الصحف / المعلوماتية


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y

0

A

ACM Transactions on Graphics

بطافة :
ACM TOG is the foremost peer-reviewed journal in the area of computer graphics.

Advances in Complex Systems (ACS)

بطافة :
ACS — Advances in Complex Systems aims to provide a unique medium of communication for multidisciplinary approaches, either empirical or theoretical, to the study of complex systems. The latter are seen as systems comprised of multiple interacting components, or agents. Nonlinear feedback processes, stochastic influences, specific conditions for the supply of energy, matter, or information may lead to the emergence of new system qualities on the macroscopic scale that cannot be reduced to the dynamics of the agents. Quantitative approaches to the dynamics of complex systems have to consider a broad range of concepts, from analytical tools, statistical methods and computer simulations to distributed problem solving, learning and adaptation. This is an interdisciplinary enterprise.

B

Bulletin of Symbolic Logic

بطافة :
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.

C

Chicago Journal of Theoretical Computer Science

بطافة :
The Chicago Journal of Theoretical Computer Science is a peer-reviewed scholarly journal in theoretical computer science.

Computational Materials Science

Computational Materials Science

بطافة :
Computational Materials Science aims to enhance the communication between experimental materials research and computational work on both existing and new, advanced materials and their applications. It publishes articles of interest to physicists, chemists and materials researchers and engineers and to other scientists involved with materials phenomena and computational modelling.

The journal covers computational modelling of materials properties and phenomena, ranging from the synthesis, characterisation and processing of materials, structures and devices to the numerical methodology of materials simulations. Computational Materials Science invites contributions on quantum, classical and statistical mechanical studies, such as, but not limited to: semi-empirical, e.g. tight-binding and embedded-atom methods; first-principle calculations; density-functional theory; atomic and molecular-scale simulations, e.g. MC and MD techniques; other modelling techniques using macroscopic input, e.g. FE-methods, and contributions on properties of materials including electronic, dynamical, transport, mechanical, growth and thermodynamical properties of materials such as metals and alloys, semiconductors, insulators, superconductors, biomaterials, polymers, ceramics and composites in liquid, crystal, amorphous and cluster-like states.

ISSN :
0927-0256

Computer

بطافة :
Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications.

The articles selected for publication are edited to enhance readability for the general Computer reader. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.

Computer Graphics Group Publications

بطافة :
The Computer Graphics Group is a research group within MIT’s Laboratory for Computer Science. These publications comprise published papers, theses, and technical reports.

Computer Science Journal

بطافة :
The Computer Science Journal (ISSN 1508-2806) is published by the AGH University of Science and Technology, Krakow Poland. The Editors of the journal are faculty members of the Departments of Computer Science and Automatics, of the AGH University of Science and Technology. The Editorial Board consists of many renowned computer science researchers from all over the world.

The first issue of the journal was published in 1999. The journal is published quarterly. The main goal of the Journal is to create a forum for exchanging research experience for scientists specialized in different fields of computer science.

Computer Vision and Image Understanding

بطافة :
The central focus of this journal is the computer analysis of pictorial information. Computer Vision and Image Understanding publishes papers covering all aspects of image analysis from the low-level, iconic processes of early vision to the high-level, symbolic processes of recognition and interpretation.

Computers and Chemistry

بطافة :
Computers & Chemistry publishes papers in English on all fields relating computers and computational methods to the chemical and biochemical sciences, provided that they make a sufficiently novel contribution to knowledge. Theoretical contributions will be considered equally with papers dealing with experimental work and applications. The journal is a multidisciplinary publication, covering the application of information sciences to topics as diverse as molecular design, molecular recognition, molecular dynamics, pharmacology and pharmaceutical chemistry, molecular biology, solid state modelling, materials sciences, chemical physics, industrial chemistry and chemical engineering. While the journal is predominantly devoted to research, papers on the development and application of information sciences to teaching and learning in the chemical and biochemical sciences will also be considered, provided they make a significant contribution to knowledge.

D

e

Environmental Modelling and Software

بطافة :
Environmental Modelling and Software publishes contributions, in the form of research articles, reviews, short communications as well as software and data news, on recent advances in environmental modelling and/or software. The aim is to improve our capacity to represent, understand, predict or manage the behaviour of environmental systems at all practical scales, and to communicate those improvements to a wide scientific and professional audience.

Evolutionary Computation

Evolutionary Computation

بطافة :
Evolutionary Computation is the leading journal in its field. It provides an international forum for facilitating and enhancing the exchange of information among researchers involved in both the theoretical and practical aspects of computational systems drawing their inspiration from nature, with particular emphasis on evolutionary models of computation such as genetic algorithms, evolutionary strategies, classifier systems, evolutionary programming, genetic programming, and related fields such as swarm intelligence (Ant Colony Optimization and Particle Swarm Optimization), and other evolutionary computation techniques.

ISSN :
1530-9304

F

Formal Aspects of Computing

بطافة :
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research.

G

H

I

IEEE Annals of the History of Computing

IEEE Annals of the History of Computing

بطافة :
From the analytical engine to the supercomputer, from Pascal to von Neumann, from punched cards to CD-ROMs -- the IEEE Annals of the History of Computing covers the breadth of computer history. Featuring scholarly articles by leading computer scientists and historians, as well as firsthand accounts by computer pioneers, the Annals is the primary publication for recording, analyzing, and debating the history of computing. The Annals also serves as a focal point for people interested in uncovering and preserving the records of this exciting field. The quarterly publication is an active center for the collection and dissemination of information on historical projects and organizations, oral history activities, and international conferences.

ISSN :
1058-6180

IEEE Transactions on Software Engineering

بطافة :
IEEE Transactions on Software Engineering (TSE) is an archival journal published bimonthly. We are interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Since the journal is archival, it is assumed that the ideas presented are important, have been well analyzed, and/or empirically validated and are of value to the software engineering research or practitioner community. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Integration, the VLSI Journal

Integration, the VLSI Journal

بطافة :
Integration's aim is to cover every aspect of the VLSI area, with an emphasis on cross-fertilization between various fields of science, and the design, verification, test and applications of integrated circuits and systems, as well as closely related topics in process and device technologies. Individual issues will feature peer-reviewed tutorials and articles as well as reviews of recent publications. The intended coverage of the journal can be assessed by examining the following (non-exclusive) list of topics: Specification methods and languages; Analog/Digital Integrated Circuits and Systems; VLSI architectures; Algorithms, methods and tools for modeling, simulation, synthesis and verification of integrated circuits and systems of any complexity; Embedded systems; High-level synthesis for VLSI systems; Logic synthesis and finite automata; Testing, design-for-test and test generation algorithms; Physical design; Formal verification; Algorithms implemented in VLSI systems; Systems engineering; Heterogeneous systems.

ISSN :
0167-9260

International Journal of Architectural Computing (IJAC)

بطافة :
The International Journal of Architectural Computing (IJAC) is an exciting peer-reviewed journal founded by international organizations dedicated to promoting collaborative research and development of computer-aided architectural design. IJAC is committed to deepening the understanding of the foundations of digital systems for architectural design and the technologies enabling their development and application.

International Journal of Computer Architecture

بطافة :
The International Journal on Subject-Centric Computing (IJSCC) addresses the computing technologies that contribute and lead to the spread of the subject-centric management model over information management system, multimedia contents and digital resources.

International Journal of Computer Science and Artificial Intelligence

بطافة :
he International Journal of Computer Science and Artificial Intelligence (IJCSAI) is an international, free-access, online quarterly journal published in English. The aim of IJCSAI is to publish original articles and review papers without delay in all fields of Computer Science and Artificial Technology.

International Journal of Computer Science and Network Security

بطافة :
The International Journal of Computer Science and Information Security is a monthly journal that publishes articles which contribute new theoretical results in all areas of Computer Science, Communication Network, and Information Security.

International Journal of Computers for Mathematical Learning

International Journal of Computers for Mathematical Learning

بطافة :
Technology, knowledge and learning is an international journal dedicated to understanding and enhancing the most profound changes to learning made possible by new technologies. It welcomes contributions that look in depth at innovative technologies and practices that make use of those technologies, novel theoretical approaches to understanding teaching and learning with technology, accounts of how new technologies reconfigure the social and epistemological aspects of learning, and analyses of the unique learning properties of digital technologies. The journal is open to contributions that span educational disciplines, with a particular emphasis on mathematics, science, and the arts.

ISSN :
2211-1662 (Print) 2211-1670 (Online)

International Journal on Artificial Intelligence Tools

بطافة :
The International Journal on Artificial Intelligence Tools (IJAIT) is a publication in which AI scientists and professionals share their research results and report new advances on AI tools such as architectures, languages or algorithms.

J

Journal of Artificial Intelligence Research

بطافة :
JAIR(ISSN 1076 - 9757) covers all areas of artificial intelligence (AI), publishing refereed research articles, survey articles, and technical notes. Established in 1993 as one of the first electronic scientific journals, JAIR is indexed by INSPEC, Science Citation Index, and MathSciNet.

Journal of Automated Reasoning

بطافة :
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications.

ISSN :
0168-7433 (Print) 1573-0670 (Online)

Journal of Chemical Information and Computer Sciences

بطافة :
The Journal of Chemical Information and Modeling publishes papers reporting new methodology and/or important applications in the fields of chemical informatics and molecular modeling. Specific topics include the representation and computer-based searching of chemical databases, molecular modeling, computer-aided molecular design of new materials, catalysts, or ligands, development of new computational methods or efficient algorithms for chemical software, and biopharmaceutical chemistry including analyses of biological activity and other issues related to drug discovery.

Journal of Computer Security

بطافة :
The Journal of Computer Security presents research and development results of lasting significance in the theory, design, implementation, analysis, and application of secure computer systems and networks. It will also provide a forum for ideas about the meaning and implications of security and privacy, particularly those with important consequences for the technical community.

Journal of Machine Learning Research

بطافة :
The Journal of Machine Learning Research (JMLR) provides an international forum for the electronic and paper publication of high-quality scholarly articles in all areas of machine learning.

Journal of Network and Computer Applications

Journal of Network and Computer Applications

بطافة :
The Journal of Network and Computer Applications welcomes research contributions, surveys and notes in all areas relating to computer networks and applications thereof.

ISSN :
1084-8045

Journal of Parallel and Distributed Computing

Journal of Parallel and Distributed Computing

بطافة :
This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have particular interests in parallel processing and/or distributed computing.

The Journal of Parallel and Distributed Computing publishes original research papers and timely review articles on the theory, design, evaluation, and use of parallel and/or distributed computing systems. The journal also features special issues on these topics; again covering the full range from the design to the use of our targeted systems.

ISSN :
0743-7315

Journal of Pragmatics - An Interdisciplinary Journal of Language Studies

Journal of Pragmatics - An Interdisciplinary Journal of Language Studies

بطافة :
Linguistic pragmatics has been able to formulate a number of questions over the years that are essential to our understanding of language as people's main instrument of "natural" and "societal" interaction. By providing possible theoretical foundations for the study of linguistic practice, linguistic pragmatics has helped to increase our knowledge of the forms, functions, and foundations, of human interaction. The Journal of Pragmatics identifies with the above general scope and aims of pragmatics. The journal welcomes authoritative, innovative pragmatic scholarship from all practice oriented linguistic standpoints. It provides a forum for pragmatic studies in sociolinguistics, general linguistics, conversation analysis, discourse analysis, cognitive linguistics, computational linguistics, applied linguistics and other areas of linguistic research. In addition, it endeavors to narrow the distance between linguistics and such neighbouring disciplines as communication science (including the study of face-to-face interaction and nonverbal communication), information science (including artificial intelligence research and, in general, the theory and practice of machine-human interaction), psychiatry (including the study of schizophrenic speech), and neuropsychology (including the study of speaking and reading disorders). The journal welcomes both those contributions originating in linguistics proper, and those taking neighboring, related fields as their point of departure.

ISSN :
0378-2166

Journal of Symbolic Logic

بطافة :
The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.

Journal of Systems and Software

Journal of Systems and Software

بطافة :
The Journal of Systems and Software publishes papers covering all aspects of programming methodology, software engineering, and related hardware-software-systems issues. Topics of interest include, but are not limited to, software development environments and tools, techniques for developing, validating, and maintaining software systems, software architecture and design, global software development, service orientation, agile approaches, mobile, multiprocessing, real-time, distributed, concurrent, and telecommunications systems, software metrics, reliability models for software, performance issues, and management concerns. The journal publishes research papers, state-of-the-art surveys, and reports of practical experience. All articles should consider the practical application of the idea advanced through case studies, experiments, or systematic comparisons with other approaches already in practice. Occasionally, special issues are devoted to topics of particular interest; proposals for such issues are invited.

ISSN :
0164-1212

Journal of Systems Architecture - The EUROMICRO Journal

Journal of Systems Architecture - The EUROMICRO Journal

بطافة :
The Embedded Software Design (JSA) is a journal covering all design and architectural aspects related to embedded systems and software. It ranges from the microarchitecture level via the system software level up to the application-specific architecture level. Aspects such as real-time systems, operating systems, FPGA programming, programming languages, communications (limited to analysis and the software stack), mobile systems, parallel and distributed architectures as well as additional subjects in the computer and system architecture area will fall within the scope of this journal. Technology will not be a main focus, but its use and relevance to particular designs will be. Case studies are welcome but must contribute more than just a design for a particular piece of software.
Design automation of such systems including methodologies, techniques and tools for their design as well as novel designs of software components fall within the scope of this journal. Novel applications that use embedded systems are also central in this journal. While hardware is not a part of this journal hardware/software co-design methods that consider interplay between software and hardware components with and emphasis on software are also relevant here.

ISSN :
1383-7621

Journal of Visual Communication and Image Representation

بطافة :
The Journal of Visual Communication and Image Representation publishes papers on state-of-the-art visual communication and image representation, with emphasis on novel technologies and theoretical work in this multidisciplinary area of pure and applied research. The field of visual communication and image representation is considered in its broadest sense and covers both digital and analog aspects as well as processing and communication in biological visual systems.

ISSN :
1047-3203

Journal of Visual Languages and Computing

Journal of Visual Languages and Computing

بطافة :
The Journal of Visual Languages and Computing is a forum for researchers, practitioners, and developers to exchange ideas and results for the advancement of visual languages and its implication to the art of computing. The journal publishes research papers, state-of-the-art surveys, and review articles in all aspects of visual languages.

ISSN :
1045-926X

Journal of Visual Languages and Computing

Journal of Visual Languages and Computing

بطافة :
The Journal of Visual Languages and Computing is a forum for researchers, practitioners, and developers to exchange ideas and results for the advancement of visual languages and its implication to the art of computing. The journal publishes research papers, state-of-the-art surveys, and review articles in all aspects of visual languages.

ISSN :
1045-926X

K

L

M

Materials Science and Engineering: C

Materials Science and Engineering: C

بطافة :
With this volume (Vol 28), Elsevier is relaunching Materials Science and Engineering C: with a new subtitle: Materials for Biological Applications. The relaunched journal will now include experimental and theoretical topics at the interface of the biological sciences and materials engineering.

ISSN :
0928-4931

N

Network Security

Network Security

بطافة :
The new look Network Security is devoted to solving your network security problems in system-specific detail, now with even more news, information and solutions to your network security problems.

ISSN :
1353-4858

O

Operating Systems Review

بطافة :
Operating Systems Review (OSR) is a publication of the ACM Special Interest Group on Operating Systems (SIGOPS), whose scope of interest includes: computer operating systems and architecture for multiprogramming, multiprocessing, and time sharing; resource management; evaluation and simulation; reliability, integrity, and security of data; communications among computing processors; and computer system modeling and analysis.

P

Physical Communication

Physical Communication

بطافة :
PHYCOM: Physical Communicationis an international and archival journal providing complete coverage of all topics of interest to those involved in all aspects of physical layer communications. Theoretical research contributions presenting new techniques, concepts or analyses, applied contributions reporting on experiences and experiments, and tutorials are published.

ISSN :
1874-4907

Q

R

Review of Symbolic Logic

بطافة :
The Review of Symbolic Logic is designed to cultivate research on the borders of logic, philosophy, and the sciences, and to support substantive interactions between these disciplines. The journal welcomes submissions in any of the following areas, broadly construed:
- The general study of logical systems and their semantics, including non-classical logics and algebraic logic;
- Philosophical logic and formal epistemology, including interactions with decision theory and game theory;
- The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics;
- Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences.

The Review welcomes submissions in all these areas. (For information on how to submit papers, see Guidelines below.) The Review began publication in June 2008.

ISSN :
ISSN: 1755-0203 EISSN: 1755-0211

S

SIAM Journal on Computing (SICOMP)

بطافة :
The SIAM Journal on Computing aims to provide coverage of the most significant work going on in the mathematical and formal aspects of computer science and nonnumerical computing. Submissions must be clearly written and make a significant technical contribution. Topics include but are not limited to analysis and design of algorithms, algorithmic game theory, data structures, computational complexity, computational algebra, computational aspects of combinatorics and graph theory, computational biology, computational geometry, computational robotics, the mathematical aspects of programming languages, artificial intelligence, computational learning, databases, information retrieval, cryptography, networks, distributed computing, parallel algorithms, and computer architecture.

SIAM Journal on Scientific Computing

بطافة :
The SIAM Journal on Scientific Computing contains research articles on numerical methods and techniques for scientific computation. Papers address computational issues relevant to the solution of scientific or engineering problems and include computational results demonstrating the effectiveness of the proposed techniques.

T

The Journal of Logic and Algebraic Programming

The Journal of Logic and Algebraic Programming

بطافة :
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

ISSN :
1567-8326

U

W

ملاحظات قانونية - إتصال

Copyright © 2013 - www.cirs.info - كل الحقوق محفوظة