الصفحة 25
الصفحة 25
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 Music Modeling and Retrieval Vol. 3902 ; 3rd International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval Symposium, CMMR 2005. the papers address a broad variety of topics. The papers are organized in topical sections on sound synthesis; music perception and cognition; interactive music: interface, interaction, gestures and sensors, music composition; music retrieval: music performance, music analysis, music representation; as well as interdisciplinarity and computer music.
Computer Applications in Sustainable Forest Management : Including Perspectives on Collaboration and Integration
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty areas of forestry, including inventory, remote sensing, information management, modelling and visualization, biometrics, forest and harvest planning, bioeconomics and marketing, and decision science for management. This book emphasizes integration, or collaborative use, of computer technologies across different disciplines through interdisciplinary research and development in North America, China, and Europe. It also offers important new insights on how to continue advancing computational technologies in forest management to better achieve the basic goal of sustainable forest management. Case studies demonstrate integration of, or collaboration among, multiple computer applications for sustainable forest management.
Computer And Computing Technologies In Agriculture, Vol. II ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer And Computing Technologies In Agriculture, Vol. I ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry.
Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computer Aided Systems Theory – EUROCAST 2007 ; 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem So.
Computer Aided Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences
Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, and safe pharmaceutical formulations and drug delivery systems. The book discusses computational approaches, statistical modeling and molecular modeling for the development and safe delivery of drugs in humans. The application of concepts of QbD (Quality by Design), DoE (Design of Experiments), artificial intelligence and in silico pharmacokinetic assessment/simulation have been made a lot easier with the help of commercial software and expert systems. This title provides in-depth knowledge of such useful software with illustrations from the latest researches. The book also fills in the gap between pharmaceutics and molecular modeling at micro, meso and maro scale by covering topics such as advancements in computer-aided Drug Design (CADD), drug-polymer interactions in drug delivery systems, molecular modeling of nanoparticles and pharmaceutics/bioinformatics.
Computational Welding Mechanics
Provides readers with an introduction to the principles and applications of computational welding. This book instructs the reader how to relate Computational Welding Mechanics (CWM) to the processes of design, build, inspect, regulate, operate and maintain welded structures. It is suited for practicing engineers and engineering students.
Computational Turbulent Incompressible Flow: Applied Mathematics : Body and Soul 4
This is Volume 4 of the book series of the Body & Soul mathematics education reform program, and presents a unified new approach to computational simulation of turbulent.
Computational Textile
This edited book collects a number of representative applications of computational techniques in textile and garment industry. These applications cover the following issues: Textile quality assessment by image analysis, Modeling and simulation of textile structures, Computer aided garment design, Computerized textile management and textile Supply Chain, Textile quality subjective and objective evaluation; Computational thermal bioengineering of textiles and clothing; Computational biomechanical engineering of textiles and clothing.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
