الصفحة 32
الصفحة 32
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 Recognition Systems ; Proceedings of 4th International Conference on Computer Recognition Systems CORES'05
Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various topics in pattern recognition including: classification and interpretation of text, video, voice; statistical, soft and structural methods of pattern recognition; image processing, analysis and interpretation; and more.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS International Workshop on e-Activity (IWEA 2008) is to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science; and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.
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 Aided Verification ; Vol. 3576 ; 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Verification ; 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Computational science and its applications– ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational science and its applications – ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational science and its applications – ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational Methods in Transport ; Granlibakken 2004
Based on a series of lectures given in the Granlibakken workshop was devoted to providing a forum, where computational transport researchers could communicate their methods with their results. This book presents computational transport in mathematics, astrophysics, high energy density physics, atmospheric physics, oceanography, and plant canopies.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational Intelligence, Theory and Applications ; International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings
This book constitutes the refereed proceedings of the 9th Dortmund Fuzzy Days, held in Dortmund, Germany, 2006. The Fuzzy Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence, Theory and Applications ; International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29-Oct. 01, 2004 Proceedings
This book constitutes the refereed proceedings of the 8th Dortmund Fuzzy Days, held in Dortmund, Germany, 2004. The Fuzzy-Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence in Fault Diagnosis
Presenting the latest developments and research results on fault diagnosis approaches using computational intelligence methodologies, this book opens with a review of the state-of-the-art before moving on to focus on various theoretical aspects of computational intelligence methodologies applied to real-world fault diagnosis problems.
Computational intelligence in economics and finance ; Vol. II
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide range of economics and finance problems in recent years, for example to price forecasting and market efficiency. This book contains research ranging from applications in financial markets and business administration to various economics problems. Not only are empirical studies utilizing various CI algorithms presented, but so also are theoretical models based on computational methods. In addition to direct applications of computational intelligence, readers can also observe how these methods are combined with conventional analytical methods such as statistical and econometric models to yield preferred results.
Computational earthquake physics ; Part I
The book is divided into two parts: The present volume - Part I - focuses on microscopic simulation, scaling physics, dynamic rapture and wave propagation, earthquake generation, cycle and seismic pattern. Topics covered range from numerical developments, rupture and gouge studies of the particle model, Liquefied Cracks and Rayleigh Wave Physics, studies of catastrophic failure and critical sensitivity, numerical and theoretical studies of crack propagation, developments in finite difference methods for modeling faults, long time scale simulation of interacting fault systems, modeling of crustal deformation, through to mantle convection.
Comets and the Origin and Evolution of Life
Nine years after the publication of Comets and the Origin and Evolution of Life, one of the pioneering books in Astrobiology, this second edition revisits the role comets may have played in the origins and evolution of life. Recent analyses of Antarctic micrometeorites and ancient rocks in Australia and South Africa, the continuing progress in discovering complex organic macromolecules in comets, protostars and interstellar clouds, new insights into organic synthesis in comets, and numerical simulations of comet impacts on the Earth and other members of the solar system yield a spectacular wealth of new results.
Combinatorics and Graph Theory
This book covers a wide variety of topics in combinatorics and graph theory. It includes results and problems that cross subdisciplines, emphasizing relationships between different areas of mathematics. In addition, recent results appear in the text, illustrating the fact that mathematics is a living discipline.
