Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Año de publicación

Mostrando 10 de 4.764 registro(s)

Filtros tipo temática quitar todos
libros

Abiotic stress tolerance in plants

Identificadores:  ISBN 978-1-4020-4388-8 (impreso) 978-1-4020-4389-5 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros

About Life: Concepts in Modern Biology

Identificadores:  ISBN 978-1-4020-5417-4 (impreso) 978-1-4020-5418-1 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

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 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

Achieving Inclusive Growth in China Through Vertical Specialization

Identificadores:  ISBN 978-0-08-100627-6 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

Vertical Specialization and Inclusive Growth in China discusses the two interrelated developments that have transformed the Chinese economy in recent years. First, the global community has increased calls to foster inclusive economic growth, with China embracing this trend. Second, the explosive growth in China’s trade resulting from international vertical specialization production and trade networks which has complicated the notion of inclusive growth in the Chinese context.

This book assesses these two trends quantitatively, giving evidence of the link between vertical specialization and inclusive growth, and then decomposing the inclusive growth effects of vertically specialized trade into six components: GDP growth, export growth, FDI, environment, employment, and innovation. It further explores the differing impact of conventional trade and processing trade on inclusive growth, providing direction for future policy. This second book by the author to consider vertical specialization stresses the importance of integration in driving inclusive growth.

  • Argues that inclusive growth and vertical specialization analyses must be performed together
  • Gives quantitative evidence for the link between vertical specialization and inclusive growth in China
  • Investigates the different impact of conventional trade and processing trade on transition to inclusive growth in China, using comparative analysis techniques
  • Offers insight on forming future policy in China to increase inclusive growth
libros

Acid Rain: Deposition to Recovery

Identificadores:  ISBN 978-1-4020-5884-4 (impreso) 978-1-4020-5885-1 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

libros

Acidic Proteins of the Nucleus

Identificadores:  ISBN 978-0-12-156930-3 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

Acidic Proteins of the Nucleus focuses on the functional role of acidic nuclear proteins in differential gene expression. Historically, these proteins are referred to as acidic in nature because they are insoluble in dilute mineral acids and their amino acid composition shows a preponderance of acidic over basic amino acid residues.
After an introduction to DNA-binding proteins and transcriptional control in prokaryotic and eukaryotic systems, the subsequent chapters describe various approaches for isolating, separating, and characterizing acidic nuclear proteins. The core chapters specifically cover the isolation, fractionation, and characterization of acidic nuclear phosphoproteins, and the role of these proteins in cell proliferation, cell differentiation, and cell cycle. The last two chapters address the role of acidic nuclear protein in binding steroid hormones and in gene regulation. Each chapter contains some previously unpublished work and provides recommendations for future research.
This book will be a good reference background for researchers of acidic nuclear proteins.
libros

Acoustic Reflex, The: Basic Principles and Clinical Applications

Identificadores:  ISBN 978-0-12-643450-7 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

The Acoustic Reflex discusses the acoustic reflex - its magnitude in differential diagnosis, threshold, latency, and other related topics.
The book covers different topics such as the neurophysiological basis of the acoustic middle-ear reflex and its characteristics; impedance concepts relating to it; and theories of middle-ear muscle function. The text also encompasses the evaluation of the response time of acoustic-immittance instruments; the contralateral acoustic-reflex threshold and its application for prediction of hearing loss; the magnitude and growth of the acoustic; the ipsilateral acoustic reflex; and the acoustic reflex latency.
The monograph is recommended for clinicians and researchers in audiology, deaf education, hearing science, neurology, otolaryngology, physiology, and psychology. The book will also serve as a reference text in a course on impedance.
libros

Acrylamide and Other Hazardous Compounds in Heat-Treated Foods

Identificadores:  ISBN 978-1-84569-011-3 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática

Although the aim of cooking foods is to make them more appetizing and microbiologically safe, it is now known that cooking and food processing at high temperatures generate various kinds of toxic substances, such as heterocyclic amines and acrylamide, via the Maillard reaction. Summarising the latest research in this field, this important collection discusses both the formation of health-hazardous compounds during heat treatment of foods and practical methods to minimise their formation.

Part one analyses the formation of hazardous compounds in heat-treated foods such as meat, potatoes, cereal and coffee. Part two discusses the health risks posed by heat-induced toxicants. It includes chapters on bio-monitoring, exposure assessment and risk assessment, as well as chapters on the risks of specific compounds. The final part of the book is concerned with the key area of minimising the formation of harmful compounds in food products. This can be achieved by controlling processing conditions and modifying ingredients, among other methods.

With its distinguished editors and international team of contributors with unrivalled academic and industry experience, Acrylamide and other hazardous compounds in heat-treated foods, is invaluable for all those concerned with this crucial safety issue throughout the food industry.
  • Analyses the formation of health hazardous compounds during heat treatment of foods
  • Discusses practical methods to minimise formation
  • Distinguished editors and international team of contributors
libros

Actin-Monomer-Binding Proteins

Pekka Lappalainen
Identificadores:  ISBN 978-0-387-46405-3 (impreso) 978-0-387-46407-7 (en línea)

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Cobertura temática