الصفحة 38
الصفحة 38
Computer Viruses : from theory to applications
The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they work. To do this, three aspects are covered ranging from theoretical fundamentals, to pr- tical applications and technical features; fully detailed, commented source 1 We will systematically use the plural form “viruses” instead of the litteral one “virii”. The latter is now an obsolete, though gramatically recommended, form. VIII Preface codes of viruses as well as inherent applications are proposed. So far, the applications-oriented aspects have hardly ever been addressed through the scarce existing literature devoted to computer viruses.
Computer Simulations of Liquid Crystals and Polymers ; Proceedings of the NATO Advanced Research Workshop on Computational Methods for Polymers and Liquid Crystalline Polymers, Erice, Italy. 16-22 July 2003
Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific interest. An understanding of the macroscopic properties of these complex systems and of their many and interesting peculiarities at the molecular level can nowadays only be attained using computer simulations and statistical mechanical theories. Both in the Liquid Crystal and Polymer fields a considerable amount of simulation work has been done in the last few years with various classes of models at different special resolutions, ranging from atomistic to molecular and coarse-grained lattice models. Each of the two fields has developed its own set of tools and specialized procedures and the book aims to provide a state of the art review of the computer simulation studies of polymers and liquid crystals. This is of great importance in view of a potential cross-fertilization between these connected areas which is particularly apparent for a number of experimental systems like, e.g. polymer liquid crystals and anisotropic gels where the different fields necessarily merge. An effort has been made to assess the possibilities of a coherent description of the themes that have developed independently, and to compare and extend the theoretical and computational techniques put forward in the different areas.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1, published as LNP 703 (ISBN 3-540-35270-8) is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. The present volume is a state-of-the-art survey on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology, such as supercooled liquids, spin glasses, colloids, polymers, liquid crystals, biological membranes and folding proteins.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.1
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1 is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. Volume 2 published as LNP 704 (ISBN 3-540-35283-X) is a collection of state-of-the-art surveys on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology.
Computer simulation studies in condensed-matter physics XVIII ; Proceedings of the Eighteenth Workshop, Athens, GA, USA, March 7-11, 2005
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer Simulations Studies in Condensed Matter Physics at the Center for Simulational Physics at the University of Georgia in March 2005. It provides a broad overview of the most recent advances in the field, spanning the range from statistical physics to soft condensed matter and biological systems. Results on nanostructures and materials are included as are several descriptions of advances in quantum simulations and quantum computing as well as.methodological advances.
Computer simulation studies in condensed-matter physics XVI ; Proceedings of the Seventeenth Workshop, Athens, GA, USA, February 16-20, 2004
This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer simulation of condensed matter/materials physics. Both established and new topics are included, ranging from the statistical mechanics of classical magnetic spin models to electronic structure calculations, quantum simulations, and simulations of soft condensed matter. The book presents new physical results as well as novel methods of simulation and data analysis. Highlights of this volume include various aspects of non-equilibrium statistical mechanics, studies of properties of real materials using both classical model simulations and electronic structure calculations, and the use of computer simulations in teaching.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Computer science : Theory and applications ; 15th International computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.
Computer Aided Verification ; Vol. 4144 ; 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging from advanced electronic structure quantum chemical calculations through explicit solvent molecular dynamics (MD) simulations up to mesoscopic modelling, with the main focus given to the MD field. It gives an equal emphasis to the leading methods and applications while successes as well as pitfalls of the computational techniques are discussed.The systems and problems studied include: Accurate calculations of base pairing energies / Electronic properties of nucleic acids and electron transfer, through various types of nucleic acid / Calculating DNA elasticity
Computational Structural Concrete : Theory and Applications
Concrete is by far the most used building material due to its advantages: it is shapeable, cost-effective and available everywhere. Combined with reinforcement it provides an immense bandwidth of properties and may be customized for a huge range of purposes. Thus, concrete is the building material of the 20th century. To be the building material of the 21th century its sustainability has to move into focus. Reinforced concrete structures have to be designed expending less material whereby their load carrying potential has to be fully utilized.
Computational science and its applications - ICCSA 2006 ; Vol. 3983 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3982 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3981 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3980 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ;Vol. 3984 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2005 ; Vol. 3483 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Computational science and its applications - ICCSA 2005 ; Vol. 3482 ; International Conference, Singapore, May 9-12. 2005, Proceedings, Part III
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
