Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Año de publicación

Mostrando 10 de 3.881 registro(s)

Filtros tipo temática quitar todos

libros Acceso Abierto
Agregar a Mi catálogo

A violência oculta do trabalho: as lesões por esforços repetitivos

Más información

ISBNs: 9788575412824 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1999 Directory of Open access Books acceso abierto

Cobertura temática: Ciencias de la computación e información - Ciencias de la salud  


libros Acceso Abierto
Agregar a Mi catálogo

Ableism in Academia: Theorising experiences of disabilities and chronic illnesses in higher education

Más información

ISBNs: 978-1-78735-498-2 (impreso) 978-1-78735-497-5 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2020 Directory of Open access Books acceso abierto
No requiere 2020 JSTOR acceso abierto

Cobertura temática: Ciencias de la salud - Ciencias sociales - Educación - Sociología  


Abstract Domains in Constraint Programming

Más información

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

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2015 ScienceDirect

Cobertura temática: Ciencias biológicas - Medicina básica - Ciencias de la salud - Otras ciencias sociales  

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

Abstraction, Refinement and Proof for Probabilistic Systems

Más información

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

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Medicina clínica - Ciencias de la salud - Ciencias sociales  


libros Acceso Abierto
Agregar a Mi catálogo

Academic Ableism: Disability and Higher Education

Más información

ISBNs: 978-0-47207-371-9 (impreso) 978-0-47290-072-5 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2017 Directory of Open access Books acceso abierto
No requiere 2017 JSTOR acceso abierto

Cobertura temática: Ciencias de la salud - Ciencias sociales - Educación  


Academic Medicine: A Guide for Clinicians

Más información
Autores/as: Robert B. Taylor

ISBNs: 978-0-387-28956-4 (impreso) 978-0-387-34450-8 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la salud  


Acceleration and Improvement of Protein Identification by Mass Spectrometry

Más información

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

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ciencias de la salud - Biotecnología médica - Otras ciencias sociales  


libros Acceso Abierto
Agregar a Mi catálogo

Access to Knowledge in Brazil

Más información

ISBNs: 9781849660785 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2010 Directory of Open access Books acceso abierto

Cobertura temática: Ciencias de la salud - Ciencia política  

Access to Knowledge in Brazil addresses the issues currently facing intellectual property and innovation in the context of developing countries. This book explores how copyrights and patents have influenced the rapidly growing economy of Brazil. This volume contains grassroots perspective sand new research, which is not available anywhere else.

libros Acceso Abierto
Agregar a Mi catálogo

Accident Analysis and Prevention

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias médicas y de la salud - Ciencias de la salud - Otras ciencias médicas  


libros Acceso Abierto
Agregar a Mi catálogo

Acervo documental sobre sexualidad y salud reproductiva de adolescentes y jóvenes

Más información

978-6-07628-419-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2000 Directory of Open access Books acceso abierto
No requiere 2000 JSTOR acceso abierto

Cobertura temática: Ciencias de la salud