Criterios de búsqueda

Búsqueda

 


Resultado: 22518 registro(s)

6973

About Life

Concepts in Modern Biology

 

13th ed. Dordrecht: Springer, 2007.

ISBNs 9781402054174 9781402054181

Colección: SpringerLink


Cobertura temática

Acceder

26803

Abrégé du Livre des Pays

 

Presses de l’Ifpo, 1973.

ISBNs 9782351591130 9782351594193

Colección: Directory of Open Access Books


Cobertura temática

Acceder

28522

Absolutismus, ein unersetzliches Forschungskonzept? L'absolutisme, un concept irremplaçable?

Eine deutsch-französische Bilanz. Une mise au point franco-allemande Vol. 79

 

De Gruyter, 2014.

Título de la serie/colección: Pariser Historische Studien . ISSN 0479-5997,

ISBNs 9783486580952 9783486841329

Colección: Directory of Open Access Books

Resumen (en alemán): Die Frühe Neuzeit kannte eine Vielzahl von Diskursen, Performanzen und Repräsentationen, die auf eine Überhöhung des Monarchen abzielten, ohne sich jedoch zu einer kohärenten Gesamtheit zusammenzufügen. Ist das umfassende Forschungskonzept "Absolutismus" diesem heterogenen Befund angemessen? Die Beiträge gehen dieser Frage im Wesentlichen anhand von französischen Beispielen nach. Sie sehen Absolutismus dabei im Sinne neuerer kulturhistorischer Ansätze nicht als "objektive" Gegebenheit oder real existierende gesellschaftliche Struktur, sondern als frühneuzeitliche Konstruktion, als sozial und kulturell konstruierte Vorstellungswelt, in der Einflussmöglichkeiten und Herrschaftsansprüche zu allererst symbolisch repräsentiert wurden.


Cobertura temática

Acceder

16526

Absorption-Based Post-combustion Capture of Carbon Dioxide

 

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

Acceder

9668

Abstract Algebra

Vol. 242

 

13th ed. New York: Springer Science+Business Media, 2007.

Título de la serie/colección: Graduate Texts in Mathematics. ISSN 0072-5285,

ISBNs 9780387715674 9780387715681

Colección: SpringerLink


Cobertura temática

Acceder

9180

Abstract Computing Machines

A Lambda Calculus Perspective

 

13th ed. Berlin, Heidelberg: Springer-Verlag, 2005.

Título de la serie/colección: Texts in Theoretical Computer Science, An EATCS Series.

ISBNs 9783540211464 9783540273592

Colección: SpringerLink


Cobertura temática

Acceder

16527

Abstract Domains in Constraint Programming

 

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

Acceder

4732

Abstract Harmonic Analysis of Continuous Wavelet Transforms

Vol. 1863

 

13th ed. Berlin, Heidelberg: Springer-Verlag GmbH, 2005.

Título de la serie/colección: Lecture Notes in Mathematics. ISSN 0075-8434,

ISBNs 9783540242598 9783540315520

Colección: SpringerLink


Cobertura temática

Acceder

22943

Abstract Mathematical Cognition

 

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

Acceder

7491

Abstraction Refinement for Large Scale Model Checking

 

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

Acceder


Los iconos de las disciplinas fueron generados desde flaticon.com bajo licencia CC BY.