الصفحة 3
الصفحة 3
Computational methods in systems biology ; Vol. 4210 ; International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006. The papers present a variety of techniques from computer sciences, such as language design, concurrency theory, software engineering, and formal methods.
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 in Financial Engineering : Essays in Honour of Manfred Gilli
The focus of this book is the development of computational methods and analytical models in financial engineering that rely on computation. The book contains eighteen chapters written by leading researchers in the area on portfolio optimization and option pricing; estimation and classification; banking; risk and macroeconomic modelling. It explores and brings together current research tools and will be of interest to researchers, analysts and practitioners in policy and investment decisions in economics and finance. "This book collects frontier work by researchers in computational economics in a tribute to Manfred Gilli, a leading member of this community. Contributions cover many of the topics researched by Gilli during his career: portfolio optimization and option pricing, estimation and classification, as well as banking, risk and macroeconomic modeling. The editors have put together a remarkable panorama of the rapidly growing and diversifying field of computational economics and finance
Computational methods in engineering and science ; Proceedings of enhancement and promotion of computational methods in engineering and science X" Aug. 21-23, 2006, Sanya, China
Here are the printed proceedings of EPMESC X, held on August 21-23, 2006 in Sanya, Hainan Island of China. It includes 14 full papers of plenary and semi-plenary lectures and approximately 166 one-page summaries. The accompanying CD-ROM includes all 180 full papers presented at the conference.
Computational methods for rational drug design
Covers the tools and techniques of drug design with applications to the discovery of small molecule-based therapeutics, detailing methodologies and practical applications and addressing the challenges of techniques like AI/ML and drug design for unknown receptor structures. Divided into 23 chapters, the contributors address various cutting-edge areas of therapeutic importance such as neurodegenerative disorders, cancer, multi-drug resistant bacterial infections, inflammatory diseases, and viral infections.
Computational methods for protein structure prediction and modeling ; Vol.1 : Basic Characterization
Volume one of this two volume sequence focuses on the basic characterization of known protein structures as well as structure prediction from protein sequence information. The 11 chapters provide an overview of the field, covering key topics in modeling, force fields, classification, computational methods, and struture prediction.
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 for Algebraic Spline Surfaces : ESF Exploratory Workshop
The papers included in this volume provide an overview about the state-of-the-art in approximative implicitization and various related topics, including both the theoretical basis and the existing computational techniques. The novel idea of approximate implicitization has strengthened the existing link between Computer Aided Geometric Design and classical algebraic geometry. There is a growing interest from researchers and professionals both in CAGD and Algebraic Geometry, to meet and combine knowledge and ideas, in order to better solve industrial--type challenges, as well as to initiate new directions for basic research. This volume will support this exchange of ideas between the various communities.
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 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 Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Computational conflict research
This book brings together a set of original studies that use cutting-edge computational methods to investigate conflict at various geographic scales and degrees of intensity and violence.
Mathematical Models for Registration and Applications to Medical Imaging
Image registration is an emerging topic in image processing with many applications in medical imaging, picture and movie processing. The classical problem of image registration is concerned with ?nding an appropriate transformation between two data sets. This fuzzy de?nition of registration requires a mathematical modeling and in particular a mathematical speci?cation of the terms appropriate transformations and correlation between data sets. Depending on the type of application, typically Euler, rigid, plastic, elastic deformations are considered. The variety of similarity p measures ranges from a simpleL distance between the pixel values of the data to mutual information or entropy distances. This goal of this book is to highlight by some experts in industry and medicine relevant and emerging image registration applications and to show new emerging mathematical technologies in these areas. Currently, many registration application are solved based on variational prin- ple requiring sophisticated analysis, such as calculus of variations and the theory of partial differential equations, to name but a few. Due to the numerical compl- ity of registration problems ef?cient numerical realization are required. Concepts like multi-level solver for partial differential equations, non-convex optimization, and so on play an important role. Mathematical and numerical issues in the area of registration are discussed by some of the experts in this volume.
Life System Modeling and Simulation; International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology. The arrival of the 21st century has been marked by a resurgence of research interest both in arriving at a systems-level und- standing of biology and in applying such knowledge in complex real-world appli- tions. Consequently, computational methods and intelligence in systems, biology, as well as bio-inspired computational intelligence, have emerged as key drivers for new computational methods. For this reason papers dealing with theory, techniques and real-world applications relating to these two themes were especially solicited.
IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence ; Proceedings of the IUTAM Symposium held in Moscow, 25–30 August, 2006
This work brings together previously unpublished notes contributed by participants of the IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence (Moscow, 25-30 August 2006). The study of vortex motion is of great interest to fluid and gas dynamics: since all real flows are vortical in nature, applications of the vortex theory are extremely diverse, many of them (e.g. aircraft dynamics, atmospheric and ocean phenomena) being especially important. The last few decades have shown that serious possibilities for progress in the research of real turbulent vortex motions are essentially related to the combined use of mathematical methods, computer simulation and laboratory experiments. These approaches have led to a series of interesting results which allow us to study these processes from new perspectives.
IUTAM Symposium on Computational Physics and New Perspectives in Turbulence ; Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence, Nagoya University, Nagoya, Japan, September, 11-14, 2006
Leading experts in turbulence were brought together at this Symposium to exchange ideas and discuss, in the light of the recent progress in computational methods, new perspectives in our understanding of turbulence. The Symposium also fostered a vigorous interaction between those who pursue computations, and those concerned with developments in experiment and theory.
IUTAM Symposium on Computational Methods in Contact Mechanics ; Proceedings of the IUTAM Symposium held in Hannover, Germany, November 5-8, 2006
This book contains the proceedings of the IUTAM Symposium held in Hanover, Germany, in November 2006. Coverage includes new mathematical techniques like multi-level approaches, new discretization techniques like the mortar-method, advanced applications of unilateral contact to masonry structures, decohesion analysis and tractive rolling of tires. It provides a good overview of modern techniques and state-of-the-art discretizations schemes applied in contact mechanics. Coverage will stimulate future collaboration in science related to computational contact mechanics and in the organization of minisymposia and workshops in the area contact mechanics.
