Computer science Books

Book SynopsisComputer scientists have increasingly been enlisted as “bioinformaticians” to assist molecular biologists in their research. This book is a practical introduction to bioinformatics for these computer scientists. The chapters are in-depth discussions by expert bioinformaticians on both general techniques and specific approaches to a range of selected bioinformatics problems. The book is organized into clusters of chapters on the following topics:• Overview of modern molecular biology and a broad spectrum of techniques from computer science — data mining, machine learning, mathematical modeling, sequence alignment, data integration, workflow development, etc.• In-depth discussion of computational recognition of functional and regulatory sites in DNA sequences.• Incisive discussion of computational prediction of secondary structure of RNA sequences.• Overview of computational prediction of protein cellular localization, and selected discussions of inference of protein function.• Overview of methods for discovering protein-protein interactions.• Detailed discussion of approaches to gene expression analysis for the diagnosis of diseases, the treatment of diseases, and the understanding of gene functions.• Case studies on analysis of phylogenies, functional annotation of proteins, construction of purpose-built integrated biological databases, and development of workflows underlying the large-scale-effort gene discovery.

Read more less

Book SynopsisA reprint of the classic text, this book popularized compact modeling of electronic and semiconductor devices and components for college and graduate-school classrooms, and manufacturing engineering, over a decade ago. The first comprehensive book on MOS transistor compact modeling, it was the most cited among similar books in the area and remains the most frequently cited today. The coverage is device-physics based and continues to be relevant to the latest advances in MOS transistor modeling. This is also the only book that discusses in detail how to measure device model parameters required for circuit simulations.The book deals with the MOS Field Effect Transistor (MOSFET) models that are derived from basic semiconductor theory. Various models are developed, ranging from simple to more sophisticated models that take into account new physical effects observed in submicron transistors used in today's (1993) MOS VLSI technology. The assumptions used to arrive at the models are emphasized so that the accuracy of the models in describing the device characteristics are clearly understood. Due to the importance of designing reliable circuits, device reliability models are also covered. Understanding these models is essential when designing circuits for state-of-the-art MOS ICs.Table of ContentsOverview; Review of Basic Semiconductor and pn Junction Theory; MOS Transistor Structure and Operation; MOS Capacitor; Threshold Voltage; MOSFET DC Model; Dynamic Model; Modeling Hot-Carrier Effects; Data Acquisition and Model Parameter Measurements; Model Parameter Extraction Using Optimization Method; SPICE Diode and MOSFET Models and Their Parameters; Statistical Modeling and Worst-Case Design Parameters.

Read more less

Book SynopsisThis unique book provides a comprehensive introduction to computational mathematics, which forms an essential part of modern numerical algorithms and scientific computing. It uses a theorem-free approach with just the right balance between mathematics and numerical algorithms. It covers all major topics in computational mathematics with a wide range of carefully selected numerical algorithms, ranging from the root-finding algorithms, numerical integration, numerical methods of partial differential equations, finite element methods, optimization algorithms, stochastic models, to nonlinear curve-fitting and swarm optimization. Especially suitable for undergraduates and graduates in computational mathematics, numerical algorithms, and scientific computing, it can be used as a textbook and/or reference book.Table of ContentsMathematical Foundations; Algorithmic Complexity; Ordinary Differential Equations; Partial Differential Equations; Roots of Nonlinear Equations; Numerical Integration; Computational Linear Algebra; Interpolation; Finite Difference Methods for ODEs; Finite Difference Methods for PDEs; Finite Volume Method; Finite Element Method; Mathematical Optimization; Mathematical Programming; Stochastic Models; Data Modeling; Metaheuristic Methods; Bee Algorithms; Swarm Optimization.

Read more less

Book SynopsisThe last few years have witnessed rapid advancements in information and coding theory research and applications. This book provides a comprehensive guide to selected topics, both ongoing and emerging, in information and coding theory. Consisting of contributions from well-known and high-profile researchers in their respective specialties, topics that are covered include source coding; channel capacity; linear complexity; code construction, existence and analysis; bounds on codes and designs; space-time coding; LDPC codes; and codes and cryptography.All of the chapters are integrated in a manner that renders the book as a supplementary reference volume or textbook for use in both undergraduate and graduate courses on information and coding theory. As such, it will be a valuable text for students at both undergraduate and graduate levels as well as instructors, researchers, engineers, and practitioners in these fields.Supporting Powerpoint Slides are available upon request for all instructors who adopt this book as a course text.Table of ContentsLinear Complexity and Related Complexity Measures; Asymptotic Theory of Algebraic Geometry Codes; Some Algebraic and Combinatorial Methods of Code Constructions; Variable Length Codes and Finite Automata; Applications of Universal Source Coding to Statistical Analysis of Time Series; Decoding and Finding the Minimum Distance with Grobner Bases: History and New Insights; Coding Theory and Algebraic Combinatorics; Cooperative Diversity Systems for Wireless Communication; Introduction to Network Coding for Acyclic and Cyclic Networks; Distributed Space-Time Codes with Low ML Decoding Complexity; Construction of High Coding Gain Lattices with Low Decoding Complexity; Distributed Joint Source-Channel Coding on a Multiple Access Channel; Algebraic Coding from Matrix and Group Rings: Block Codes; LDPC and Convolutional Codes from Matrix and Group Rings; Public Key Cryptography and Coding Theory; Low-Density Parity-Check Codes.

Read more less

Book SynopsisThis breakthrough volume touts having dissolved the remaining barriers to implementing Bulk Universal Quantum Computing (UQC), and as such most likely describes the most advanced QC development platform. Numerous books, hundreds of patents, thousands of papers and a Googolplex of considerations fill the pantheon of QC R&D. Of late QC mathemagicians claim QCs already exist; but by what chimeric definition. Does flipping a few qubits in a logic gate without an algorithm qualify as quantum computing? In physics, theory bears little weight without rigorous experimental confirmation, less if new, radical or a paradigm shift. This volume develops quantum computing based on '3rd regime' physics of Unified Field Mechanics (UFM). What distinguishes this work from a myriad of other avenues to UQC under study? Virtually all R&D paths struggle with technology and decoherence. If highly favored room-sized cryogenically cooled QCs ever become successful, they would be reminiscent of the city block-sized Eniac computer of 1946. The QC prototype proposed herein is room temperature and tabletop. It is dramatically different in that it is not confined to the limitations of quantum mechanics; since it is based on principles of UFM the Uncertainty Principle and Decoherence no longer apply. Thus this QC model could be implemented on any other quantum platform!

Read more less

Book SynopsisThis volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.

Read more less

Book SynopsisThe 2016 International Conference on Computer Science, Technology and Application (CSTA2016) were held in Changsha, China on March 18-20, 2016. The main objective of the joint conference is to provide a platform for researchers, academics and industrial professionals to present their research findings in the fields of computer science and technology.The CSTA2016 received more than 150 submissions, but only 67 articles were selected to be included in this proceedings, which are organized into 6 chapters; covering Image and Signal Processing, Computer Network, Algorithm and Simulation, Data Mining and Cloud Computing, Computer Systems and Application, Mathematics and Management.

Read more less

Book SynopsisThis is the proceedings of the Fourth Workshop on Computing: Theory and Practice, WCTP 2015 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.

Read more less

Book SynopsisA reprint of the classic text, this book popularized compact modeling of electronic and semiconductor devices and components for college and graduate-school classrooms, and manufacturing engineering, over a decade ago. The first comprehensive book on MOS transistor compact modeling, it was the most cited among similar books in the area and remains the most frequently cited today. The coverage is device-physics based and continues to be relevant to the latest advances in MOS transistor modeling. This is also the only book that discusses in detail how to measure device model parameters required for circuit simulations.The book deals with the MOS Field Effect Transistor (MOSFET) models that are derived from basic semiconductor theory. Various models are developed, ranging from simple to more sophisticated models that take into account new physical effects observed in submicron transistors used in today's (1993) MOS VLSI technology. The assumptions used to arrive at the models are emphasized so that the accuracy of the models in describing the device characteristics are clearly understood. Due to the importance of designing reliable circuits, device reliability models are also covered. Understanding these models is essential when designing circuits for state-of-the-art MOS ICs.

Read more less

Book SynopsisThis is a book of elementary probability theory that includes a chapter on algorithmic randomness. It rigorously presents definitions and theorems in computation theory, and explains the meanings of the theorems by comparing them with mechanisms of the computer, which is very effective in the current computer age.Random number topics have not been treated by any books on probability theory, only some books on computation theory. However, the notion of random number is necessary for understanding the essential relation between probability and randomness. The field of probability has changed very much, thus this book will make and leave a big impact even to expert probabilists.Readers from applied sciences will benefit from this book because it presents a very proper foundation of the Monte Carlo method with practical solutions, keeping the technical level no higher than 1st year university calculus.

Read more less

Book SynopsisThis volume is the result of the author's many-years of research in this field. These results were presented in the author's two books, Introduction to the Algorithmic Measurement Theory (Moscow, Soviet Radio, 1977), and Codes of the Golden Proportion (Moscow, Radio and Communications, 1984), which had not been translated into English and are therefore not known to English-speaking audience. This volume sets forth new informational and arithmetical fundamentals of computer and measurement systems based on Fibonacci p-codes and codes of the golden p-proportions, and also on Bergman's system and 'golden' ternary mirror-symmetrical arithmetic. The book presents some new historical hypotheses concerning the origin of the Egyptian calendar and the Babylonian numeral system with base 60 (dodecahedral hypothesis), as well as about the origin of the Mayan's calendar and their numeral system with base 20 (icosahedral hypothesis). The book is intended for the college and university level. The book will also be of interest to all researchers, who use the golden ratio and Fibonacci numbers in their subject areas, and to all readers who are interested to the history of mathematics.

Read more less

Book SynopsisWith his work on computer logic, John H Holland became one of the most important founders of modern computer science. People who knew John H Holland were all amazed and deeply influenced by his incredibly imaginative and creative mind. He produced many more ideas than he could follow up in his life time. This selection of his papers in the field of computer logic entails many of his explored and unexplored ideas. Revisiting the explored ideas and exploring the unexplored ones should be of great interest to scientists of all ages, and of great value to the current research not only in computer science but in many other fields as well.Published in collaboration with Institute Para Limes.

Read more less

Book SynopsisSolving problems in quantum mechanics is an essential skill and research activity for physicists, mathematicians, engineers and others. Nowadays, the labor of scientific computation has been greatly eased by the advent of computer algebra packages, which do not merely perform number crunching, but also enable users to manipulate algebraic expressions and equations symbolically. For example, the manipulations of noncommutative operators, differentiation and integration can now be carried out algebraically by the computer algebra package.This book collects standard and advanced methods in quantum mechanics and implements them using SymbolicC++ and Maxima, two popular computer algebra packages. Throughout, the sample programs and their outputs are accompanied with explanatory text of the underlying mathematics and physics explained in detail. Selected problems have also been implemented using two other popular packages — Mathematica and Maple — while some problems are implemented in C++.Modern developments in quantum theory are covered extensively, beyond the standard quantum mechanical techniques. The new research topics added to this second edition are: entanglement, teleportation, Berry phase, Morse oscillator, Magnus expansion, wavelets, Pauli and Clifford groups, coupled Bose-Fermi systems, super-Lie algebras, etc.Table of ContentsWave Packet and Free Schrodinger Equation; Unitary Operators; Unitary and Hermitian Operators; Anharmonic Oscillator; Radial Symmetric Potential and Bound States; Helium Atom and Trial Function; Gauge Theory; Berry Phase; Bose Operators and Number States; Coherent States; Perturbation Theory; Teleportation; Legendre Polynomials; Hermite Polynomials; Spherical Harmonics; and other papers;

Read more less

Book SynopsisComputational neuroanatomy is an emerging field that utilizes various non-invasive brain imaging modalities, such as MRI and DTI, in quantifying the spatiotemporal dynamics of the human brain structures in both normal and clinical populations. This discipline emerged about twenty years ago and has made substantial progress in the past decade. The main goals of this book are to provide an overview of various mathematical, statistical and computational methodologies used in the field to a wide range of researchers and students, and to address important yet technically challenging topics in further detail.Table of ContentsIntroduction; Deformation-Based Morphometry; Voxel-Based Morphometry; Tensor-Based Morphometry; Diffusion Tensor Images; Geometry of Cortical Manifolds; Smoothing on Cortical Manifolds; Fourier Representation; Spherical Harmonic Representation; Structural Connectivity; Topological Characterization of Brain Structures.

Read more less

Book SynopsisThis textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team merges two different views to create a unified book for students interested in learning discrete mathematics, the connections between discrete mathematics and computer science, and the mathematical foundations of computer science.Readers will learn how to formally define abstract concepts, reason about objects (such as programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook studies several well-known algorithmic problems including the path problem for graphs and finding the greatest common divisor, inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods such as propositional logic, finite state machines, counting, probability, as well as the foundations of databases such as relational calculus.Table of ContentsDefinitions, Theorems, and Proofs; Arithmetic; Graphs; Circuits; Trees; Basics of Sets; Relations and Databases; Induction; Reachability Games on Graphs; Functions and Transitions; Propositional Logic; Finite Automata; Regular Expressions; Counting; Probability.

Read more less

Book SynopsisThis volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in relation to nature.It focuses on two main questions:The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety of perspectives, ranging from foundational concepts to pragmatic models to ontological conceptions and philosophical implications.The volume provides a state-of-the-art collection of technical papers and non-technical essays, representing a field that assumes information and computation to be key in understanding and explaining the basic structure underpinning physical reality. It also includes a new edition of Konrad Zuse's “Calculating Space” (the MIT translation), and a panel discussion transcription on the topic, featuring worldwide experts in quantum mechanics, physics, cognition, computation and algorithmic complexity.The volume is dedicated to the memory of Alan M Turing — the inventor of universal computation, on the 100th anniversary of his birth, and is part of the Turing Centenary celebrations.Table of ContentsFoundations, Universality & Early Models: Visual Realization of Universal Computation (Harvey Friedman); Specification and Computation (Raymond Turner); The Many Forms of Amorphous Computational Systems (Jiri Wiedermann); Physics, Computation & the Computation of Physics: Computational Realizability in the Real World (Andrej Bauer); What is Ultimately Possible in Physics? (Stephen Wolfram); The Computable Universe Hypothesis (Matthew Szudzik); Computation in Nature & the World: Bacteria, Turing Machines and Hyperbolic Cellular Automata (Maurice Margenstern); Computing on Rings (Genaro Martinez & Andy Adamatzky); Computation in Unorganized Systems (Christof Teuscher); The Quantum & Computation: What is Computation? (How) Does Nature Compute? (David Deutsch); Computational Aspects of Quantum Reality (Adan Cabello); Self-Reference, Computability, and Quantum Mechanics (Thomas Breuer & Thomas Schulte-Herbrueggen); and other papers.

Read more less

Book SynopsisMany phenomena around the research in document analysis and understanding are much better described through the powerful multiscale signal representations than by traditional ways.From this perspective, the recent emergence of powerful multiscale signal representations in general and fractal/wavelet basis representations in particular, has been particularly timely. Indeed, out of these theories arise highly natural and extremely useful representations for a variety of important phenomena in document analysis and understanding.This book presents both the development of these new approaches as well as their application to a number of fundamental problems of interest to scientists and engineers in document analysis and understanding.Table of ContentsBasic Concepts of Document Analysis and Understanding; Basic Knowledge of Fractal Geometry and Wavelet Analysis; Document Analysis by Fractal Dimensions; Text Extraction by Wavelet Decomposition; Rotation Invariant by Fractal; Wavelet-Based Approach to Script Identification; Fractal-Based Method for Script Identification; Hidden Markov Model (WD-HMM) in Wavelet Domain for Writer Identification.

Read more less

Book SynopsisA successor to the first edition, this updated and revised book is a great companion guide for students and engineers alike, specifically software engineers who design reliable code. While succinct, this edition is mathematically rigorous, covering the foundations of both computer scientists and mathematicians with interest in algorithms.Besides covering the traditional algorithms of Computer Science such as Greedy, Dynamic Programming and Divide & Conquer, this edition goes further by exploring two classes of algorithms that are often overlooked: Randomised and Online algorithms — with emphasis placed on the algorithm itself. The coverage of both fields are timely as the ubiquity of Randomised algorithms are expressed through the emergence of cryptography while Online algorithms are essential in numerous fields as diverse as operating systems and stock market predictions.While being relatively short to ensure the essentiality of content, a strong focus has been placed on self-containment, introducing the idea of pre/post-conditions and loop invariants to readers of all backgrounds. Containing programming exercises in Python, solutions will also be placed on the book's website.Table of ContentsPreliminaries; Greedy Algorithms; Divide and Conquer; Dynamic Programming; Online Algorithms; Randomized Algorithms; Appendix A: Number Theory and Group Theory; Appendix B: Relations; Appendix C: Logic 177 C.1 Propositional.

Read more less

Book SynopsisThis book provides a comprehensive description of the latest theory-supported numerical technologies, as well as scientific and engineering applications for water surface waves. Its contents are crafted to cater to a step-by-step learning of computational wave dynamics and ocean wave modeling. It provides a comprehensive description from underlying theories of free-surface flows, to practical computational applications for coastal and ocean engineering on the basis of computational fluid dynamics (CFD).The text may be used as a textbook for advanced undergraduate students and graduate students to understand the theoretical background of wave computations, and the recent progress of computational techniques for free-surface and interfacial flows, such as Volume of Fluid (VOF), Constrained Interpolation Profile (CIP), Lagrangian Particle (SPH, MPS), Distinct Element (DEM) and Euler-Lagrange Hybrid Methods.It is also suitable for researchers and engineers who wish to apply CFD techniques to ocean modeling and practical coastal problems involving sediment transport, wave-structure interaction and surf zone flows.Table of ContentsTheories of Flows in Ocean Waves; Turbulence Models; Numerical Strategies to Compute Free-Surface / Interface; Fundamentals of Computational Methods; Applied Computations of Breaking Waves; Sediment Transport and Wave-Structure Interactions; Computing Techniques of Volume of Fluid (VOF); Constrained Interpolation Profile (CIP); Lagrangian Particle (SPH, MPS); Distinct Element (DEM) and Euler-Lagrange Hybrid Methods; Computational Wave Dynamics for Coastal and Ocean Research.

Read more less

Book SynopsisThis is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines — Diliman, and De La Salle University. The proceedings provides a comprehensive view of the current development of fundamental research in formal method, programming language and programming development environment, bioinformatics, empathic and intelligent systems, and computing gaming in Japan and the Philippines.Table of ContentsProgramming Language Theory; Formal Method; Formal Systems for Biology; Programming Development Environment; Empathic Computing; Serious Games; Encoding; Intelligent Computation;

Read more less

Book SynopsisThis book brings together 106 papers presented at the Joint Conferences of 2015 International Conference on Computer Science and Engineering Technology (CSET2015) and 2015 International Conference on Medical Science and Biological Engineering (MSBE2015), which were held in Hong Kong on 30-31 May 2015.The joint conferences covered a wide range of research topics in new emerging technologies, ranging from computing to biomedical engineering. During the conferences, industry professionals, scholars and government agencies around the world gathered to share their latest research results and discuss the practical challenges they encountered. Their research articles were reviewed and selected by a panel of experts before being compiled into this proceedings. Combining research findings and industry applications, this proceedings should be a useful reference for researchers and engineers working in computing and biomedical science.

Read more less

Book Synopsis

Read more less

Book SynopsisDas Buch behandelt die Entwicklung von modernen zu digitalen Städten. Es skizziert neue Geschäftsmodelle durch Cloud Computing und Apps-Öko-Systeme im Umfeld von Smart-City-Projekten. Es geht auf die tiefgreifenden Veränderungen für Smart-City-Infrastruktur-Anbieter durch neuartige Daten-Management-basierte Geschäftsmodelle ein. Die Rolle der Bürger und das veränderte Selbstverständnis der Stadtverwaltungen ist ein weiterer Schwerpunkt. Die Autoren geben Handlungsempfehlungen für alle Akteure einer Smart City, um komplexe Lösungen im engen Verbund mit den Bürgern und Verwaltungen zu realisieren. Die erforderlichen Geschäftsmodelle werden praxistauglich in Anwendungsbeispielen dargestellt.Trade Review“... ein überschaubares Werk ... Handlungsempfehlungen für die Entscheidungsverantwortlichen solcher Initiativen ... gibt das Werk eine Anregung, wohin die urbane Mobilität hinführen könnte. Entsprechend richtet sich das Werk weniger an Informatiker oder Wirtschaftsinformatiker, sondern eher an Interessierte betreffend der Entwicklung urbaner Gebiete im digitalen Zeitalter.“ (in: HMD, Jg. 52, 2015, S. 638-639)Table of ContentsEinführung - Smart Cities: Herausforderungen und Chancen moderner Großstädte - Smart Cities: IT-Basistechnologien wie Cloud Computing und Apps-Öko-Systeme - Smart Cities: innovative Apps-basierte Geschäftsmodellansätze und Partner-Netzwerke - Smart Cities: Konsequenzen aus Sicht der Stadtverwaltungen - Mega Datendrehschreiben - Anwendungsbeispiele - Ausblick

Read more less

Book SynopsisDie Beiträge in diesem Herausgeberwerk bieten einen aktuellen Überblick über relevante Themen der modernen Wirtschaftsinformatik. Das Buch ist Andreas Meier von der Universität Freiburg, Schweiz, und seiner wissenschaftlichen Leistung gewidmet. Professor Meier hat durch sein großes Schaffen die Wirtschaftsinformatik in Theorie und Praxis geprägt und weiterentwickelt, was seine ehemaligen Doktoranden in verschiedenen Kapiteln aufzeigen. Sie präsentieren darin Ansätze, Modelle und Methoden theoretischer, angewandter, empirischer sowie gestaltungsorientierter Wirtschaftsinformatik. Das Buch richtet sich dabei an Wirtschaftsinformatiker, Informatiker und Wirtschaftswissenschaftler aller Couleur.Table of ContentsWirtschaftsinformatik: Theorie, Anwendung, Empirie, Gestaltungsorientierung - Grundlagen: Design, Innovation, Rigor vs. Relevanz, Synthetische Methoden

Read more less

Book SynopsisBegriffe.- Entwicklung und Umsetzung.- Zielkonzepte und Bewertung.- Systematik menschlicher Bedürfnisse.

Read more less

Book SynopsisVon der Strategie und Planung über die verschiedenen Teststufen bis zum Reporting und der Abnahme liefert der Autor das notwendige Grundlagenwissen zum Testmanagement. Außerdem bietet der Band eine strukturierte Anleitung zum Testen von Software. Neben dem Überblick über den gesamten Test-Prozess kommen in den Beispielen auch wichtige Details zur Sprache. Anhand von SAP Banking veranschaulichen die gewählten Beispiele die Besonderheiten und wie die Umsetzung in der Praxis gelingt.Table of ContentsTestumfang – Strategie – Dokumentation und Reporting – Testorganisation – Teststufen – Testumgebung – Abweichungsmanagement – Abnahmen – Projektplan – Risiken – Fallbeispiele aus dem SAP Banking

Read more less

Book SynopsisDiese Theorie-Einführung hat konsequent aktuelle Anwendungen im Blick. Seien es Suchmaschinen, Workflow-Managementsysteme, Web Services, Verschlüsselung von Informationen, Authentifizierungsprotokolle – all diese Technologien beruhen auf theoretischen Grundlagen der Informatik. So trägt das Buch dazu bei, dass Studierende die Grundlagen der Theoretischen Informatik nicht nur kennen lernen, sondern auch anwenden können, um effektiv und produktiv an informationstechnischen Problemlösungen mitwirken zu können. Wegen seiner speziellen inhaltlichen und didaktischen Qualität ist das Buch neben dem Einsatz in der Lehre auch für das Selbststudium geeignet.Table of ContentsEndliche Automaten und reguläre Sprachen - Kontextfreie Sprachen und Kellerautomaten - Turingmaschinen und Berechenbarkeit - Grenzen von Algorithmen - Komplexität, Effizienz und Effektivität - Vielfältige Anwendungen theoretischer Konzepte in der Praxis

Read more less

Book SynopsisThis book is a concerted effort to put together the rapidly growing facets of biological data. It provides a platform for the readers to think about integrative approaches to solve complex biological problems. This fundamental book deals with the simplest concepts of omics to recent advancements in the field. The content is divided into seven chapters that provide insight into various omics approaches, omics technologies, and its applications. Each chapter delves into different molecular scales: genomics, transcriptomics, proteomics, and metabolomics. Further to provide a holistic view a chapter detailing microbiome has been included in the book. The sub-sections in the chapters is dedicated to introducing the various analytical tools such as next generation sequencing, chromatin immunoprecipitation, mass spectrometry, peptide mass fingerprinting, RNA Seq and NMR spectroscopy. It entails a chapter focused on the bioinformatics resources for analysis of the omics data. In summary, this comprehensive book emphasizes the recent advancements in the study of biomolecules spanning from DNA to metabolites.Table of ContentsChapter 1. Introduction to omics.- Chapter 1.1. Background.- Chapter 1.2. Overview of omics.- Chapter 1.3. Overview of systems biology.- Chapter 1.4. Application of R language in omics analysis.- Chapter 2. Genomics.- Chapter 2.1. Introduction.- Chapter 2.2. The Human Genome Project.- Chapter 2.2.1. Mapping of the human genome.- Chapter 2.2.2. DNA sequencing.- Chapter 2.2.3. Genome Annotation.- Chapter 2.2.4. Genomic databases.- Chapter 2.3. Genomic variations.- Chapter 2.4. Functional Genomics.- Chapter 2.4.1. The ENCODE project.- Chapter 2.4.2. Gene expression profiling (DNA microarrays) .- Chapter 2.5. The Non-coding Genome.- Chapter 2.6. Comparative genomics.- Chapter 2.7. Epigenome and Epigenetics.- Chapter 2.7.1. DNA methylation.- Chapter 2.7.2. Histone modifications.- Chapter 2.7.3. Non-coding RNAs.- Chapter 2.7.4. Epigenetic mechanisms (X chromosome inactivation, Genomic imprinting).- Chapter 2.8. Genomic methods for studying complex diseases.- Chapter 2.8.1. GWAS.- Chapter 2.8.2. Next Generation Sequencing.- Chapter 2.8.3. Chromatin immunoprecipitation (ChIP) .- Chapter 2.8.4. Clinical genomics.- Chapter 3. Transcriptomics.- Chapter 3.1. RNA to transcriptome.- Chapter 3.1.1. Transcriptome and Transcriptomics.- Chapter 3.1.2. Principles of Transcriptomics.- Chapter 3.1.3. Technological approach to study Transcriptomes.- Chapter 3.1.3.1. Serial/Cap analysis of gene expression.- Chapter 3.1.3.2. Expression Sequence Tag.- Chapter 3.1.3.3. Microarray.- Chapter 3.1.3.4. RNA-seq.- Chapter 3.2. Metatranscriptome.- Chapter 3.2.1. Gene activity diversity.- Chapter 3.2.2. Gene expression analysis.- Chapter 3.3. Applications.- Chapter 3.3.1. Disease profiling.- Chapter 3.3.2. Ecology.- Chapter 3.3.3. Evolution.- Chapter 3.3.4. Gene function annotation.- Chapter 4. Proteomics.- Chapter 4.1. Protein to proteome.- Chapter 4.1.1. Proteome and Proteomics.- Chapter 4.1.2. Principles of Proteomics.- Chapter 4.1.3. Technological approach to study Proteomes.- Chapter 4.1.3.1. Mass spectrometry.- Chapter 4.1.3.2. Peptide Mass Fingerprinting.- Chapter 4.2. Metaproteome.- Chapter 4.2.1. Protein activity diversity.- Chapter 4.2.2. Protein expression analysis.- Chapter 4.3. Applications.- Chapter 4.3.1. Biomarker discovery.- Chapter 4.3.2. Lead identification.- Chapter 4.3.3. Mapping interaction network.- Chapter 5. Metabolomics.- Chapter 5.1. Metabolites to metabolome.- Chapter 5.2. Data Resources for Metabolomics.- Chapter 5.2.1. EMBL-EBI.- Chapter 5.2.2. BRENDA.- Chapter 5.2.3. HMDD.- Chapter 5.2.4. Sabio RK.- Chapter 5.3. Computational approaches for Metabolomics analysis.- Chapter 5.3.1. Network analysis metabolic pathway integration.- Chapter 5.3.2. Flux analysis.- Chapter 5.4. Applications.- Chapter 6. Microbiome .- Chapter 6.1. Microbe to Microbiome.- Chapter 6.1.1. Soil Microbiome.- Chapter 6.1.2. Plant Microbiome.- Chapter 6.1.3. Marine Microbiome.- Chapter 6.1.4. Human Microbiome.- Chapter 6.2. Host-microbiome interactions.- Chapter 6.2.1. Bacteriome.- Chapter 6.2.2. Mycobiome. .- Chapter 6.2.3. Virome.- Chapter 6.3. Microbiome in health and disease.- Chapter 6.4. Shaping the microbiome.- Chapter 6.5. Sequencing technologies for studying microbiome.- Chapter 6.5.1. 454.- Chapter 6.5.2 .Illumina.- Chapter 6.5.3. SOLiD.- Chapter 6.5.4. Ion Torrent.- Chapter 6.5.5. PacBio.- Chapter 6.6. Future perspectives.- Chapter 6.6.1. Prebiotics.- Chapter 6.6.2. Personalized Medicine.- Chapter 7. Bioinformatics resources .- Chapter 7.1. Bioinformatics approaches in Genomics.- Chapter 7.1.1. Structural genomics.- Chapter 7.1.1.1. Genome sequence assembly.- Chapter 7.1.1.2. Genome annotation.- Chapter 7.1.1.3. Comparative genomics.- Chapter 7.1.2. Functional genomics.- Chapter 7.1.2.1. Sequence-based approaches.- Chapter 7.1.2.2. Microarray-based approaches.- Chapter 7.2. Bioinformatics approaches in Proteomics.- Chapter 7.2.1. Protein expression analysis.- Chapter 7.2.2. Post-translational modifications.- Chapter 7.2.3. Protein-protein interactions.- Chapter 7.3. Bioinformatics approaches in Transciptomics.- Chapter 7.4. Bioinformatics approaches in Metablomics.- Chapter 7.4.1. Metabolomics tools.- Chapter 7.4.2. Metabolomics software.

Read more less

Book SynopsisA comprehensive assessment of electronic publishing. It offers original insights on a range of topics, including the financial costs involved, market forces, appropriate technological standards, licensing issues, intellectual property, copyright and associated user rights, and the changing roles of researchers, publishers, and librarians.

Read more less

Book Synopsis

Read more less