Criterios de búsqueda

Gran Área: Ingeniería, ciencia y tecnología
Área: Ingenierías, ciencia y tecnologías (general)
Subárea: Ingeniería, ciencia y tecnología (general)

Búsqueda

 


Resultado: 2684 registro(s)

13303

Absolute Honesty

Building a Corporate Culture That Values Straight Talk and Rewards Integrity

 

AMACOM - Book Division of American Management Association, 2003.

ISBNs 9780814407813 9781621983408

Colección: Knovel


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

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

16528

AC Power Conditioners

Design and Application

 

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

Acceder

10896

Accelerated Testing

A Practitioner's Guide to Accelerated and Reliability Testing

 

SAE International, 2006.

ISBNs 9780768006902 9780768033526

Colección: Knovel


Cobertura temática

Acceder

15056

Accelerating Lean Six Sigma Results

How to Achieve Improvement Excellenceâ„¢ in the New Economy

 

J. Ross Publishing Inc., 2011.

ISBNs 9781604270549 9781680151688

Colección: Knovel


Cobertura temática

Acceder

13328

Accidental Manager

Get the Skills You Need to Excel in Your New Career

 

AMACOM - Book Division of American Management Association, 2004.

ISBNs 9780814471807 9781621983651

Colección: Knovel


Cobertura temática

Acceder

13306

Accounting Demystified

 

AMACOM - Book Division of American Management Association, 2004.

ISBNs 9780814407905 9781621983439

Colección: Knovel


Cobertura temática

Acceder

12667

Achieving Project Management Success in the Federal Government

 

Management Concepts Inc., 2010.

ISBNs 9781567262759 9781613447703

Colección: Knovel


Cobertura temática

Acceder

15454

Acoustics and Audio Technology

 

3rd ed. J. Ross Publishing Inc., 2012.

ISBNs 9781604270525 9781680154900

Colección: Knovel


Cobertura temática

Acceder


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