| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465998703316 |
|
|
Titolo |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings / / edited by Pascal Van Hentenryck, Laurence Wolsey |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-94921-X |
9786610949212 |
3-540-72397-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (399 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4510 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Numerical analysis |
Computer science—Mathematics |
Discrete mathematics |
Algorithms |
Operations research |
Artificial Intelligence |
Numerical Analysis |
Discrete Mathematics in Computer Science |
Operations Research and Decision Theory |
Discrete Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems -- The “Not-Too-Heavy Spanning Tree” Constraint -- Eliminating Redundant Clauses in SAT Instances -- Cost- |
|
|
|
|
|
|
|
|
|
|
|
Bounded Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1 Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional Interchangeability for Enhancing CSP Solving -- A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production -- Replenishment Planning for Stochastic Inventory Systems with Shortage Cost -- Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search -- The Deviation Constraint -- The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width -- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via Concavity Cuts -- Bender’s Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem -- A Large Neighborhood Search Heuristic for Graph Coloring -- Generalizations of the Global Cardinality Constraint for Hierarchical Resources -- A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewed and selected from 80 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910812002303321 |
|
|
Autore |
Schwartz Bernard <1923-1997, > |
|
|
Titolo |
The unpublished opinions of the Warren court / / Bernard Schwartz |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, New York ; ; Oxford, [England] : , : Oxford University Press, , 1985 |
|
©1985 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-43984-X |
0-19-536520-8 |
1-60129-582-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (483 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
SchwartzBernard <1923-1997.> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Judicial opinions - United States |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Introduction: The Warren Court and Its Members; 1. Alton v. Alton (1954): Consensual Divorce Manqué; 2. Dayton v. Dulles (1958): ""Faceless Informers"" and Due Process; 3. Perez v. Brownell and Trop v. Dulles (1958): Expatriation and Congressional Power; 4. Kennedy v. Mendoza-Martinez (1963): Expatriation as Punishment; 5. Bell v. Maryland (1964): Civil Rights versus Property Rights; 6. Estes v. Texas (1965): Television in the Courtroom; 7. Griswold v. Connecticut (1965): Penumbras and Privacy; 8. Time, Inc. v. Hill (1967): Privacy Suits and the First Amendment |
9. Shapiro v. Thompson (1969): Rational Basis, Compelling Interest, and Fundamental Rights10. Maxwell v. Bishop (1969): The Death Penalty in the Warren Court; 11. Brown v. Board of Education (1954, 1955): The Drafting Process in a Landmark Case |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
An important contribution to constitutional literature, this collection of ten unpublished decisions by the Warren Court puts the decision making process of the Supreme Court in a new light. By following the major changes that occur in each case from the circulation of tentative majorityopinions to the final issuance of opinion, the book portrays how the justices communicate with each other and how they are influenced by each other's arguments. Interpretations and |
|
|
|
|
|
|
|
|
|
|
commentaries by the author illuminate the significance of each case and provide insight into the different judicialphilosophies a |
|
|
|
|
|
| |