Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Año de publicación

Mostrando 10 de 2.930 registro(s)

Filtros tipo temática quitar todos
libros

Abstract Domains in Constraint Programming

Identificadores:  ISBN 978-1-78548-010-2 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

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
libros

Abstraction, Refinement and Proof for Probabilistic Systems

Identificadores:  ISBN 978-0-387-40115-7 (impreso) 978-0-387-27006-7 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros

Acceleration and Improvement of Protein Identification by Mass Spectrometry

Identificadores:  ISBN 978-1-4020-3318-6 (impreso) 978-1-4020-3319-3 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros Acceso Abierto

Access to Knowledge in Brazil

Identificadores:  ISBN 9781849660785 (impreso)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros Acceso Abierto

Accountability in Public Policy Partnerships

Identificadores:  ISBN 978-0-230-23897-8 (impreso) 978-0-230-29061-7 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros

Acoustic Bubble, The

Identificadores:  ISBN 978-0-12-441920-9 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

The Acoustic Bubble describes the interaction of acoustic fields with bubbles in liquid.

The book consists of five chapters. Chapter 1 provides a basic introduction to acoustics, including some of the more esoteric phenomena that can be seen when high-frequency high-intensity underwater sound is employed. Chapter 2 discusses the nucleation of cavitation and basic fluid dynamics, while Chapter 3 draws together the acoustics and bubble dynamics to discuss the free oscillation of a bubble and acoustic emissions from such activity. The acoustic probes that are often applied to study the behavior of a bubble when an externally-applied acoustic field drives it into oscillation is deliberated in Chapter 4. The last chapter outlines a variety of effects associated with acoustically-induced bubble activity. The bubble detection, sonoluminescence, sonochemistry, and pulse enhancement are also covered.

This publication is a good reference for physics and engineering students and researchers intending to acquire knowledge of the acoustic interactions of acoustic fields with bubbles.
libros

Acquired Cystic Disease of the Kidney and Renal Cell Carcinoma: Complications of Long-Term Dialysis

Identificadores:  ISBN 978-4-431-69479-3 (impreso) 978-4-431-69481-6 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros Acceso Abierto

Active ageing and solidarity between generations in Europe: First results from SHARE after the economic crisis

Identificadores:  ISBN 9783110295467 (impreso) 9783110295450 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

SHARE is an international survey designed to answer the societal challenges that face us due to rapid population ageing. How do Europeans age? Under which circumstances do older people and their families live, how healthy and active are they, and how did the crisis affect them? The authors of this multidisciplinary book have taken a first step toward answering these questions based on the recent SHARE data including a new social networks module.
libros

Active Processes and Otoacoustic Emissions in Hearing

Identificadores:  ISBN 978-0-387-71467-7 (impreso) 978-0-387-71469-1 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros Acceso Abierto

Actuele bestaansonzekerheid

Identificadores:  ISBN 9789462984608 (impreso)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

Sociale zekerheid dient de bestaanszekerheid te garanderen. Maar bestaanszekerheid is een steeds groter begrip geworden, dat ook te maken heeft met vraagstukken van identiteit en veiligheid. Door grote migratiebewegingen veranderde in relatief korte tijd, vooral in de grote steden, de samenstelling van de bevolking. Daarnaast werd veiligheid een steeds groter thema, enerzijds door de reële toename van de problemen, anderzijds door een groeiend maatschappelijk onbehagen. De zekerheid van het bestaan is niet alleen een materiële kwestie, maar heeft steeds meer te maken met het wegvallen van (veronderstelde) vanzelfsprekendheden. Daarbij is de afstand tussen publieke sector en burgers gegroeid. Het komt erop aan de zekerheid weer meer rond burgers te organiseren. De vervreemdende werking van de instituties zal moeten worden omgezet in nieuwe arrangementen van kleine zekerheden.