Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Biological systems --- Computer simulation --- Congresses --- Simulation methods --- Biological systems - Computer simulation - Congresses. --- Biological systems - Simulation methods - Congresses. --- Biological systems - Computer simulation - Congresses --- Biological systems - Simulation methods - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an holistic viewpoint. Advancements in experimental technologies in biology and medicine have generated an enormous amount of biological data on the dependencies and interactions of many different molecular cell processes, fueling the development of numerous computational methods for exploring this data. The mathematical formalism of Petri net theory is able to encompass many of these techniques. This essential text/reference presents a comprehensive overview of cutting-edge research in applications of Petri nets in systems biology, with contributions from an international selection of experts. Those unfamiliar with the field are also provided with a general introduction to systems biology, the foundations of biochemistry, and the basics of Petri net theory. Further chapters address Petri net modeling techniques for building and analyzing biological models, as well as network prediction approaches, before reviewing the applications to networks of different biological classification. Topics and features: Investigates the modular, qualitative modeling of regulatory networks using Petri nets, and examines an Hybrid Functional Petri net simulation case study Contains a glossary of the concepts and notation used in the book, in addition to exercises at the end of each chapter Covers the topological analysis of metabolic and regulatory networks, the analysis of models of signaling networks, and the prediction of network structure Provides a biological case study on the conversion of logical networks into Petri nets Discusses discrete modeling, stochastic modeling, fuzzy modeling, dynamic pathway modeling, genetic regulatory network modeling, and quantitative analysis techniques Includes a Foreword by Professor Jens Reich, Professor of Bioinformatics at Humboldt University and Max Delbrück Center for Molecular Medicine in Berlin This unique guide to the modeling of biochemical systems using Petri net concepts will be of real utility to researchers and students of computational biology, systems biology, bioinformatics, computer science, and biochemistry. Dr. Ina Koch is a Professor and holds the Chair of Bioinformatics at the Johann Wolfgang Goethe-University Frankfurt am Main, Germany. Dr. Wolfgang Reisig is a Professor and holds the Chair in the Theory of Programming at the Humboldt University of Berlin, Germany. Dr. Falk Schreiber is a Professor and holds the Chair of Bioinformatics at the Martin Luther University Halle-Wittenberg, Germany, and the Coordinator of Bioinformatics at the Leibniz Institute of Plant Genetics and Crop Plant Research Gatersleben, Germany.

Bioinformatics. --- Biological systems -- Computer simulation. --- Biological systems -- Mathematical models. --- Computational biology. --- Systems biology. --- Systems biology --- Petri nets --- Biology --- Health & Biological Sciences --- Biology - General --- Petri nets. --- Computer science. --- Computer Science. --- Computational Biology/Bioinformatics. --- Systems Biology. --- Computational biology --- Bioinformatics --- Biological systems --- Molecular biology --- Bio-informatics --- Biological informatics --- Information science --- Informatics --- Science --- Data processing --- Graph theory --- Nets (Mathematics) --- Biological models. --- Models, Biological

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Simulation and Verification of Electronic and Biological Systems provides a showcase for the Circuit and Multi-Domain Simulation Workshop held in San Jose, California, USA, on November 5, 2009. The nine chapters are contributed by experts in the field and provide a broad discussion of recent developments on simulation, modeling and verification of integrated circuits and biological systems. Specific topics include large scale parallel circuit simulation, industrial practice of fast SPICE simulation, structure-preserving model order reduction of interconnects, advanced simulation techniques for oscillator networks, dynamic stability of static memories and biological systems as well as verification of analog integrated circuits. Simulation and verification are fundamental enablers for understanding, analyzing and designing an extremely broad range of engineering and biological circuits and systems.  The design of nanometer integrated electronic systems and emerging biomedical applications have stimulated the development of novel simulation and verification techniques and methodologies. Simulation and Verification of Electronic and Biological Systems provides a broad discussion of recent advances on simulation, modeling and verification of integrated circuits and biological systems and offers a basis for stimulating new innovations.

Biological systems -- Computer simulation -- Congresses. --- Integrated circuits -- Computer simulation -- Congresses. --- Integrated circuits -- Verification -- Congresses. --- Nanoelectronics -- Congresses. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Biological systems --- Computer simulation. --- Simulation methods. --- Mathematical models. --- Biosystems --- Systems, Biological --- Engineering. --- Nanotechnology. --- Electronic circuits. --- Circuits and Systems. --- Simulation and Modeling. --- Nanotechnology and Microengineering. --- Biology --- System theory --- Systems biology --- Philosophy --- Systems engineering. --- Construction --- Industrial arts --- Technology --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design and construction --- Molecular technology --- Nanoscale technology --- High technology --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computational modeling is emerging as a powerful new approach for studying and manipulating biological systems. Many diverse methods have been developed to model, visualize, and rationally alter these systems at various length scales, from atomic resolution to the level of cellular pathways. Processes taking place at larger time and length scales, such as molecular evolution, have also greatly benefited from new breeds of computational approaches. Computational Modeling of Biological Systems: From Molecules to Pathways provides an overview of established computational methods for the modeling of biologically and medically relevant systems. It is suitable for researchers and professionals working in the fields of biophysics, computational biology, systems biology, and molecular medicine.

Biological systems -- Computer simulation. --- Systems biology. --- Biology --- Health & Biological Sciences --- Biology - General --- Biophysics --- Biomedical engineering. --- Molecular dynamics. --- Dynamics, Molecular --- Clinical engineering --- Medical engineering --- Physics. --- Molecular biology. --- Bioinformatics. --- Biomathematics. --- Biophysics. --- Biological physics. --- Biophysics and Biological Physics. --- Molecular Medicine. --- Mathematical and Computational Biology. --- Computational Biology/Bioinformatics. --- Biological physics --- Medical sciences --- Physics --- Mathematics --- Bio-informatics --- Biological informatics --- Information science --- Computational biology --- Systems biology --- Molecular biochemistry --- Molecular biophysics --- Biochemistry --- Biomolecules --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Data processing --- Bioengineering --- Engineering --- Medicine --- Medicine. --- Biological and Medical Physics, Biophysics. --- Clinical sciences --- Medical profession --- Human biology --- Life sciences --- Pathology --- Physicians --- Health Workforce

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it has been successfully applied, e.g. for optimization and machine learning in various areas. The tremendous increase in computational power and, more recently, the appearance of a new generation of programmable logic devices allow for a new approach to designing computing machines inspired by biological models: it is now possible to make the hardware itself evolve. This book is based on a workshop on evolvable hardware, held in Lausanne, Switzerland, in October 1995. It reports the state of the art of research in this field and presents two introductory chapters, written with the novice reader in mind.

Algorithmes génétiques --- Dispositifs logiques programmables --- Evolutionaire programmering (Informatica) --- Evolutionary programming (Computer science) --- Genetic algorithms --- Genetische algoritmen --- Programmable logic devices --- Programmation évolutive (Informatique) --- Programmeerbare logische bouwsteen --- Computers --- Genetic Algorithms --- Biological systems --- Circuits --- Computer simulation --- Information theory. --- Computer hardware. --- Logic design. --- Computer science. --- Computer simulation. --- Artificial intelligence. --- Theory of Computation. --- Computer Hardware. --- Logic Design. --- Register-Transfer-Level Implementation. --- Simulation and Modeling. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Model-integrated computing --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computers - Circuits --- Biological systems - Computer simulation