Libros catálogo de títulos suscriptos
Criterios de búsqueda
50 Years of Artificial Intelligence
Essays Dedicated to the 50th Anniversary of Artificial Intelligence Vol. 4850
Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
13th ed. Berlin, Heidelberg: Springer-Verlag, 2007.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540772958 9783540772965
Colección: SpringerLink
Cobertura temática
ABCs of Gene Cloning, The
Wong, Dominic W. S.
2nd ed. Boston, MA: Springer Science+Business Media, 2006.
ISBNs 9780387286631 9780387286792
Colección: SpringerLink
Cobertura temática

Abiotic Stress
Molecular Genetics and Genomics
Mukesh Jain; Rohini Garg; Rajeev K Varshney
Frontiers Media SA, 2014.
Título de la serie/colección: Frontiers Research Topics. ISSN 1664-8714,
ISBNs 9782889193592
Colección: Directory of Open Access Books
Cobertura temática
Absorption-Based Post-combustion Capture of Carbon Dioxide
Paul Feron
Woodhead Publishing, 2016.
ISBNs 9780081005149
Colección: ScienceDirect
Resumen (en inglés):
Absorption-Based Post-Combustion Capture of Carbon Dioxide provides a comprehensive and authoritative review of the use of absorbents for post-combustion capture of carbon dioxide. As fossil fuel-based power generation technologies are likely to remain key in the future, at least in the short- and medium-term, carbon capture and storage will be a critical greenhouse gas reduction technique.
Post-combustion capture involves the removal of carbon dioxide from flue gases after fuel combustion, meaning that carbon dioxide can then be compressed and cooled to form a safely transportable liquid that can be stored underground.
- Provides researchers in academia and industry with an authoritative overview of the amine-based methods for carbon dioxide capture from flue gases and related processes
- Editors and contributors are well known experts in the field
- Presents the first book on this specific topic
Cobertura temática
Abstract Domains in Constraint Programming
Pelleau, Marie
Elsevier, 2015.
ISBNs 9781785480102
Colección: ScienceDirect
Resumen (en inglés):
Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables.
In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.
- Exploits the over-approximation methods to integrate AI tools in the methods of CP
- Exploits the relationships captured to solve continuous problems more effectively
- Learn from the developers of a solver capable of handling practically all abstract domains
Cobertura temática

Abstract Mathematical Cognition
Philippe Chassy; Wolfgang Grodd
Frontiers Media SA, 2016.
Título de la serie/colección: Frontiers Research Topics. ISSN 1664-8714,
ISBNs 9782889198160
Colección: Directory of Open Access Books
Cobertura temática
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, Fabio Somenzi
13th ed. Boston, MA: Springer Science+Business Media, 2006.
Título de la serie/colección: Series on Integrated Circuits and Systems. ISSN 1558-9412,
ISBNs 9780387341552 9780387346007
Colección: SpringerLink
Cobertura temática
Abstraction, Reformulation and Approximation
6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings Vol. 3607
Jean-Daniel Zucker, Lorenza Saitta
13th ed. Berlin, Heidelberg: Springer-Verlag GmbH, 2005.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540278726 9783540318828
Colección: SpringerLink
Cobertura temática
AC Power Conditioners
Design and Application
James Clark
Academic Press, 1990.
ISBNs 9780121754600
Colección: ScienceDirect
Resumen (en inglés): AC Power Conditioners: Design and Applications provides some insight into the various types of power line disturbances, problems that occur daily, and their corresponding solutions. This book is organized into four parts encompassing 14 chapters; each part deals with a different form of power protection.
Part I introduces the various types of power-line problems encountered that can be harmful to electronic equipment or the data it contains. Parts II and III are devoted to noise and surge reduction, as well as power line regulation. These parts describe the use of thyristor regulator, constant-voltage transformer, and linear and switching power-line regulators. Part IV focuses on blackout protection, with particular emphasis on the use of switching converter, thermal management, filters, and inverter control circuitry.
This book is intended primarily to students and researchers.
Cobertura temática
Accelerated Bridge Construction
Best Practices and Techniques
Mohiuddin Ali Khan
Butterworth-Heinemann, 2015.
ISBNs 9780124072244
Colección: ScienceDirect
Resumen (en inglés):
The traveling public has no patience for prolonged, high cost construction projects. This puts highway construction contractors under intense pressure to minimize traffic disruptions and construction cost. Actively promoted by the Federal Highway Administration, there are hundreds of accelerated bridge construction (ABC) construction programs in the United States, Europe and Japan. Accelerated Bridge Construction: Best Practices and Techniques provides a wide range of construction techniques, processes and technologies designed to maximize bridge construction or reconstruction operations while minimizing project delays and community disruption.
- Describes design methods for accelerated bridge substructure construction; reducing foundation construction time and methods by using pile bents
- Explains applications to steel bridges, temporary bridges in place of detours using quick erection and demolition
- Covers design-build systems' boon to ABC; development of software; use of fiber reinforced polymer (FRP)
- Includes applications to glulam and sawn lumber bridges, precast concrete bridges, precast joints details; use of lightweight aggregate concrete, aluminum and high-performance steel
Cobertura temática
- << Primero
- < Anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- Siguiente >
- Último >>
Los iconos de las disciplinas fueron generados desde flaticon.com bajo licencia CC BY.