| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910376554303321 |
|
|
Titolo |
ABAC '16 : proceedings of the 2016 ACM International Workshop on Attribute Based Access Control : March 11, 2016, New Orleans, LA, USA / / sponsored by ACM SIGSAC |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : ACM, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (76 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Application software |
Data protection |
Computer networks - Access control |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910689468703321 |
|
|
Titolo |
Environmental protection in an era of dramatic economic growth in Latin America : hearing before the Subcommittee on Western Hemisphere, Peace Corps, Narcotics, and Terrorism of the Committee on Foreign Relations, United States Senate, One Hundred Sixth Congress, second session, July 25, 2000 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 42 p.) |
|
|
|
|
|
|
Soggetti |
|
Economic development - Environmental aspects - Latin America |
Environmental economics - Latin America |
Environmental policy - Latin America |
United States Relations Latin America |
Latin America Relations United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910149631303321 |
|
|
Autore |
Bergman David |
|
|
Titolo |
Decision diagrams for optimization / / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 254 p. 79 illus.) |
|
|
|
|
|
|
Collana |
|
Artificial Intelligence: Foundations, Theory, and Algorithms, , 2365-3051 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Operations research |
Decision making |
Mathematical optimization |
Management science |
Computers |
Artificial Intelligence |
Operations Research/Decision Theory |
Discrete Optimization |
Operations Research, Management Science |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Historical Overview -- Exact Decision Diagrams -- Relaxed Decision Diagrams -- Restricted Decision Diagrams -- Branch-and-Bound Based on Decision Diagrams -- Variable Ordering -- Recursive Modeling -- MDD-Based Constraint Programming -- MDD Propagation for Sequence Constraints -- Sequencing and Single-Machine Scheduling -- Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general- |
|
|
|
|
|
|
|
|
|
|
purpose solution methods as well as problem-specific techniques. The book will be useful for researchers and practitioners in discrete optimization and constraint programming. "Decision Diagrams for Optimization is one of the most exciting developments emerging from constraint programming in recent years. This book is a compelling summary of existing results in this space and a must-read for optimizers around the world." [Pascal Van Hentenryck]. |
|
|
|
|
|
| |