الصفحة 25
الصفحة 25
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
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 2008 ; International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2008, held in Perugia, Italy in June/July 2008.
Computational science and its applications - ICCSA 2008 ; International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2008, held in Perugia, Italy, in June/July, 2008.
