Tags
Language
Tags

Research in Computational Molecular Biology

Posted By: AvaxGenius
Research in Computational Molecular Biology

Research in Computational Molecular Biology: 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings by Itsik Pe'er
English | EPUB | 2022 | 413 Pages | ISBN : 3031047486 | 44.8 MB

This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected from 188 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

Theory of Computation

Posted By: AvaxGenius
Theory of Computation

Theory of Computation by Dexter C. Kozen
English | PDF | 2006 | 422 Pages | ISBN : 1846282977 | 2.7 MB

Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of computing, as well as providing an introduction to some more advanced contemporary topics. This innovative text focuses primarily, although by no means exclusively, on computational complexity theory: the classification of computational problems in terms of their inherent complexity. It incorporates rigorous treatment of computational models, such as deterministic, nondeterministic, and alternating Turing machines; circuits; probabilistic machines; interactive proof systems; automata on infinite objects; and logical formalisms. Although the complexity universe stops at polynomial space in most treatments, this work also examines higher complexity levels all the way up through primitive and partial recursive functions and the arithmetic and analytic hierarchies.

Elementary Functions: Algorithms and Implementation (Repost)

Posted By: AvaxGenius
Elementary Functions: Algorithms and Implementation (Repost)

Elementary Functions: Algorithms and Implementation by Jean-Michel Muller
English | PDF | 2006 | 273 Pages | ISBN : 0817643729 | 2 MB

"An important topic, which is on the boundary between numerical analysis and computer science…. I found the book well written and containing much interesting material, most of the time disseminated in specialized papers published in specialized journals difficult to find. Moreover, there are very few books on these topics and they are not recent."
–Numerical Algorithms (review of the first edition)

Research in Computational Molecular Biology

Posted By: AvaxGenius
Research in Computational Molecular Biology

Research in Computational Molecular Biology: 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings by Itsik Pe'er
English | PDF | 2022 | 413 Pages | ISBN : 3031047486 | 31.2 MB

This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected from 188 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

Artificial Intelligence and Machine Learning

Posted By: AvaxGenius
Artificial Intelligence and Machine Learning

Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers by Mitra Baratchi
English | PDF | 2021 | 213 Pages | ISBN : 303076639X | 21.2 MB

This book contains a selection of the best papers of the 32nd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2020, held in Leiden, The Netherlands, in November 2020. Due to the COVID-19 pandemic the conference was held online.
The 12 papers presented in this volume were carefully reviewed and selected from 41 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.

Notes on Introductory Combinatorics

Posted By: AvaxGenius
Notes on Introductory Combinatorics

Notes on Introductory Combinatorics by George Pólya
English | PDF | 2010 | 202 Pages | ISBN : 0817631232 | 97.5 MB

Developed from the authors’ introductory combinatorics course, this book focuses on a branch of mathematics which plays a crucial role in computer science. Combinatorial methods provide many analytical tools used for determining the expected performance of computer algorithms. Elementary subjects such as combinations and permutations, and mathematical tools such as generating functions and Pólya’s Theory of Counting, are covered, as are analyses of specific problems such as Ramsey Theory, matchings, and Hamiltonian and Eulerian paths.

Augmented Marked Graphs (Repost)

Posted By: AvaxGenius
Augmented Marked Graphs (Repost)

Augmented Marked Graphs by King Sing Cheung
English | PDF | 2014 | 157 Pages | ISBN : 3319064274 | 4.6 MB

Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.

A Brief History of Computing (Repost)

Posted By: AvaxGenius
A Brief History of Computing (Repost)

A Brief History of Computing By Gerard O’Regan
English | PDF | 2008 | 255 Pages | ISBN : 1848000839 | 119.31 MB

The history of computing has its origins at the outset of civilization. As towns and communities evolved there was a need for increasingly sophisticated calculations. This book traces the evolution of computation, from early civilisations 3000 B.C. to the latest key developments in modern times.

Big Data: Grundlagen, Systeme und Nutzungspotenziale (Repost)

Posted By: AvaxGenius
Big Data: Grundlagen, Systeme und Nutzungspotenziale (Repost)

Big Data: Grundlagen, Systeme und Nutzungspotenziale by Daniel Fasel
Deutsch | PDF,EPUB | 2016 | 384 Pages | ISBN : 3658115882 | 17.7 MB

Dieser Herausgeber-Band bietet eine umfassende Einführung in das Gebiet Big Data. Neben einer Markteinschätzung und grundlegenden Konzepten (semantische Modellbildung, Anfragesprachen, Konsistenzgewährung etc.) werden wichtige NoSQL-Systeme (Key/Value Store, Column Store, Document Store, Graph Database) vorgestellt und erfolgreiche Anwendungen aus unterschiedlichen Perspektiven erläutert.

Memory Architecture Exploration for Programmable Embedded Systems

Posted By: AvaxGenius
Memory Architecture Exploration for Programmable Embedded Systems

Memory Architecture Exploration for Programmable Embedded Systems by Peter Grun
English | PDF | 2002 | 139 Pages | ISBN : 1402073240 | 5.6 MB

Memory Architecture Exploration for Programmable Embedded Systems addresses efficient exploration of alternative memory architectures, assisted by a "compiler-in-the-loop" that allows effective matching of the target application to the processor-memory architecture. This new approach for memory architecture exploration replaces the traditional black-box view of the memory system and allows for aggressive co-optimization of the programmable processor together with a customized memory system.

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

Posted By: AvaxGenius
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components by G. Nicolescu
English | PDF | 2007 | 156 Pages | ISBN : 140206151X | 5.6 MB

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical).

The Codesign of Embedded Systems: A Unified Hardware/Software Representation

Posted By: AvaxGenius
The Codesign of Embedded Systems: A Unified Hardware/Software Representation

The Codesign of Embedded Systems: A Unified Hardware/Software Representation by Sanjaya Kumar
English | PDF | 1996 | 288 Pages | ISBN : 0792396367 | 22.3 MB

Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration.

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Posted By: AvaxGenius
Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Retargetable Compiler Technology for Embedded Systems: Tools and Applications by Rainer Leupers
English | PDF | 2001 | 179 Pages | ISBN : 0792375785 | 17.2 MB

It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance tradeoffs. In order to avoid time-consuming assembly language programming during design space exploration, compilers are needed.

Transactions on Petri Nets and Other Models of Concurrency I

Posted By: AvaxGenius
Transactions on Petri Nets and Other Models of Concurrency I

Transactions on Petri Nets and Other Models of Concurrency I by Kurt Jensen
English | PDF | 2008 | 265 Pages | ISBN : 3540892869 | 8 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains:

Hypercomputation: Computing Beyond the Church-Turing Barrier

Posted By: AvaxGenius
Hypercomputation: Computing Beyond the Church-Turing Barrier

Hypercomputation: Computing Beyond the Church-Turing Barrier by Apostolos Syropoulos
English | PDF | 2008 | 253 Pages | ISBN : 0387308865 | 2.3 MB

Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation, covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine.