You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This work is a showcase for the integration of systems biology and bioinformatics tools, algorithms and models for deciphering biological phenomena. More specifically, it integrates (i) prediction algorithms for identifying and characterizing molecular interactions, (ii) structural modelling of molecule complexes, (iii) network analysis approaches, and (iv) mathematical modelling and simulation. Two comprehensive workflows are implemented for the analysis of collective target gene regulation by microRNAs and for the prediction of cooperating microRNA pairs and their mutual target genes. In two case studies mechanisms of fine-tuned target gene regulation are revealed for different cellular processes and the phenomenon of cooperative target regulation is identified as frequent mechanism of gene regulation in humans.
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.
The papers in this volume comprise the refereed proceedings of the conference 'Artificial Intelligence in Theory and Practice' (IFIP AI 2006), which formed part of the 19th World Computer Congress of IFIP, the International Federation for Information Processing (WCC- 2006), in Santiago, Chile in August 2006. The conference is organised by the IFIP Technical Committee on Artificial Intelligence (Technical Committee 12) and its Working Group 12.5 (Artificial Intelligence Applications). All papers were reviewed by at least two members of our Programme Committee. The best papers were selected for the conference and are included in this volume. The international nature of IFIP is amply reflected ...
A new approach to distributed large-scale data mining, service-oriented knowledge discovery extracts useful knowledge from today's often unmanageable volumes of data by exploiting data mining and machine learning distributed models and techniques in service-oriented infrastructures. Service-Oriented Distributed Knowledge Discovery presents techniqu
CICLing 2005 (www.CICLing.org) was the 6th Annual Conference on Intelligent Text Processing and Computational Linguistics. It was intended to provide a balanced view of the cutting-edge developments in both the theoretical foundations of computational linguistics and the practice of natural-language text processing with its numerous applications. A feature of CICLing conferences is their wide scope that covers nearly all areas of computational linguistics and all aspects of natural language processing applications. This year we were honored by the presence of our keynote speakers Christian Boitet (CLIPS-IMAG, Grenoble), Kevin Knight (ISI), Daniel Marcu (ISI), and Ellen Riloff (University of ...
Discover how to streamline complex bioinformatics applications with parallel computing This publication enables readers to handle more complex bioinformatics applications and larger and richer data sets. As the editor clearly shows, using powerful parallel computing tools can lead to significant breakthroughs in deciphering genomes, understanding genetic disease, designing customized drug therapies, and understanding evolution. A broad range of bioinformatics applications is covered with demonstrations on how each one can be parallelized to improve performance and gain faster rates of computation. Current parallel computing techniques and technologies are examined, including distributed comp...
Scientists studying the burning of stars, the evolution of species, DNA, the brain, the economy, and social change, all frequently describe their work as searching for mechanisms. Despite this fact, for much of the twentieth century philosophical discussions of the nature of mechanisms remained outside philosophy of science. The Routledge Handbook of Mechanisms and Mechanical Philosophy is an outstanding reference source to the key topics, problems, and debates in this exciting subject and is the first collection of its kind. Comprising over thirty chapters by a team of international contributors, the Handbook is divided into four Parts: Historical perspectives on mechanisms The nature of me...
There is an increasing need throughout the biomedical sciences for a greater understanding of knowledge-based systems and their application to genomic and proteomic research. This book discusses knowledge-based and statistical approaches, along with applications in bioinformatics and systems biology. The text emphasizes the integration of different methods for analysing and interpreting biomedical data. This, in turn, can lead to breakthrough biomolecular discoveries, with applications in personalized medicine. Key Features: Explores the fundamentals and applications of knowledge-based and statistical approaches in bioinformatics and systems biology. Helps readers to interpret genomic, prote...