الصفحة 77
الصفحة 77
Computational Modelling of Concrete and Concrete Structures
Serves as an important reference for both academics and professionals, stimulating new research directions in the field of computational modelling of concrete and its application to the analysis of concrete structures.
Computational Methods in Transport : Verification and Validation
The focus of this book deals with a cross cutting issue affecting all particle transport algorithms and applications; verification and validation (V&V). In other words, are the equations being solved correctly and are the correct equations being solved? Verification and validation assures a scientist, engineer or mathematician that a simulation code is a mirror of reality and not just an expensive computer game. In this book, we will learn what the astrophysicist, atmospheric scientist, mathematician or nuclear engineer do to assess the accuracy of their code. What convergence studies, what error analysis, what problems do each field use to benchmark and ascertain the accuracy of their transport simulations.
Computational methods in systems biology ; Vol. 3082 ; International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology. The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of not only models, but also modeling formalisms and implementations. Unlike a standardization effort, CMBSlib welcomes the most exotic formalisms and models provided they attack the modeling of well documented biological systems. Models of biological systems written in any referenced formalism can be submitted to CMBSlib. No special format or standard is required. We discuss the advantages of and problems encountered in building such a library, give an example of typical entry in the library, and most of all we invite the community to become active contributors to CMBSlib.
Computational methods in systems biology ; International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes.
Computational methods in systems biology ; 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008.
Computational methods in systems biology ; 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Computational methods for nanoscale applications : Particles, plasmons and waves
Computational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale problems where fundamental science meets technology and computer modeling. This book describes well-known computational techniques such as finite-difference schemes, finite element analysis and Ewald summation, as well as a new finite-difference calculus of Flexible Local Approximation MEthods (FLAME) that qualitatively improves the numerical accuracy in a variety of problems. Application areas in the book include long-range particle interactions in homogeneous and heterogeneous media, electrostatics of colloidal systems, wave propagation in photonic crystals, photonic band structure, plasmon field enhancement, and metamaterials with backward waves and negative refraction.
Computational Methods
Contains the proceeding of the First International Conference on Computational Methods (ICCM04), held in Singapore, December 15-17, 2004. This book covers a range of topics such as meshfree particle methods, Generalized FE and Extended FE methods, inverse analysis and optimization methods.
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 Life Sciences ; Vol. 4216 ; 2nd International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Symposium on Computational Life Sciences, CompLife 2006. The papers are organized in topical sections on genomics, data mining, molecular simulation, molecular informatics, systems biology, biological networks/metabolism, and computational neuroscience.
Computational Life Sciences ; Vol. 3695 ; 1st International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computational Life Sciences, CompLife 2005, held in Konstanz, Germany in September 2005. The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, analysis, and knowledge representation. Today, our many di?erent sciences are providing us with a sea of information: it is the handling of this in?ux that is becoming a key discovery and regulatory question. The solutions to these problems will result in advancements to all of the involved sciences and will be highly in?uential both in the selection of the areas scientists seek to investigate and also on their success. For this to happen, it is crucial to establish an open and lively exchange between computer scientists, biologists, and chemists. To encourage precisely this type of exchange, crossing the borders of the sciences, we organized the 1st Symposium on Computational Life Science in Konstanz, Germany(September 25 27,2005).
Computational intelligence paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The characteristics of computational intelligence paradigms such as learning, generalization based on learned knowledge, knowledge extraction from imprecise and incomplete data are the extremely important for the implementation of intelligent machines.
Computational Intelligence in Reliability Engineering : Evolutionary Techniques in Reliability Analysis and Optimization
This book covers the recent applications of computational intelligence techniques in reliability engineering. This volume contains a survey of the contributions made to the optimal reliability design literature in the resent years and chapters devoted to different applications of a genetic algorithm in reliability engineering and to combinations of this algorithm with other computational intelligence techniques. Genetic algorithms are one of the most widely used metaheuristics, inspired by the optimization procedure that exists in nature, the biological phenomenon of evolution.
Computational intelligence for remote sensing
This book is a composition of different points of view regarding the application of Computational Intelligence techniques and methods to Remote Sensing data and applications. The book covers a broad range of topics, starting from the hardware design of hyperspectral sensors, and data handling problems, namely data compression and watermarking issues, as well as autonomous web services.
Computational intelligence for agent-based systems
In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between "real" and "digital" are fiercely debated. This scenario has deeply changed the viewpoint about computer applications: computers become smaller, cheapest and hugely distributed in wired or unwired networks, applications become so flexible and intelligent as to tailor its communication facilities in order to increase the usability of the system. Such data-intensive, unstructured spaces featured by minimal or no centralized control flow, present a challenge for traditional methods of analysis, design and integration of advanced, distributed and intelligent computer systems. Within this challenge, an important role is played by two important research areas : Fuzzy Technology, thanks to its ability to exploit the tolerance for imprecision to achieve tractability and Agent Technology, thanks to its nature to employ agent-wise communities to carry out complex goals by means of smart interaction, cooperation, and pro-activeness.
Computational intelligence based on lattice theory
The emergence of lattice theory within the field of computational intelligence (CI) is partially due to its proven effectiveness in neural computation. Moreover, lattice theory has the potential to unify a number of diverse concepts and aid in the cross-fertilization of both tools and ideas within the numerous subfields of CI. The compilation of this eighteen-chapter book is an initiative towards proliferating established knowledge in the hope to further expand it. This edited book is a balanced synthesis of four parts emphasizing, in turn, neural computation, mathematical morphology, machine learning, and (fuzzy) inference/logic. The articles here demonstrate how lattice theory may suggest viable alternatives in practical clustering, classification, pattern analysis, and regression applications.
Computational intelligence and security ; International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised selected papers
It covers bio-inspired computing, evolutionary computation, learning systems and multi-agents, cryptography, information processing and intrusion detection, systems and security, image and signal processing, and pattern recognition.
Computational Geometry and Graph Theory ; International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry and Graph Theory, KyotoCGGT 2007, held in Kyoto, Japan, in June 2007.
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.
Computational genome analysis : An introduction
Computational Genome Analysis: An Introduction presents the foundations of key problems in computational molecular biology and bioinformatics. It focuses on computational and statistical principles applied to genomes, and introduces the mathematics and statistics that are crucial for understanding these applications. The book is appropriate for a one-semester course for advanced undergraduate or beginning graduate students, and it can also introduce computational biology to computer scientists, mathematicians, or biologists who are extending their interests into this exciting field.
