الصفحة 26
الصفحة 26
Computer Supported Cooperative Work in Design IV ; 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, held in Melbourne, Australia, in April 2007.
Computer Supported Cooperative Work in Design III ; 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial and proprietary engineering software tools (e.g., CAD, modeling, simulation, visualization, and optimization), engineering databases, and knowledge-based systems. Individuals or individual groups of mult- isciplinary design teams usually work in parallel and separately with various en- neering software tools which are located at different sites. In addition, individual members may be working on different versions of a design or viewing the design from different perspectives, at different levels of detail. In order to accomplish the work, it is necessary to have effective and efficient c- laborative design environments. Such environments should not only automate in- vidual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate, and coordinate their activities within the context of a design project. CSCW (computer-supported coope- tive work) in design is concerned with the development of such environments.
Computer Supported Cooperative Work in Design II ; 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005. it contain expanded versions of the papers presented at the conference and are organized in topical sections on CSCW techniques and methods, Grids and Web services, agents and multi-agent systems, ontology and knowledge management, collaborative design and manufacturing, enterprise collaboration, workflows, and other related approaches and applications.
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems. Individuals or individual groups of multidisciplinary design teams usually work in parallel and separately with various engineering tools, which are located on different sites, often for quite a long time. At any moment, individual members may be working on different versions of a design or viewing the design from various perspectives, at different levels of detail. In order to meet these requirements, it is necessary to have effective and efficient collaborative design environments. These environments should not only automate individual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate and coordinate their activities within the context of a design project. CSCW (computer-supported cooperative work) in design is concerned with the development of such environments.
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 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.
