Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz
| Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
| Autore | Cruz Jorge |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 006.3 |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Constraints (Artificial intelligence)
Differential equations Interval analysis (Mathematics) Biophysics - Mathematical models |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-24343-0
9786610243433 1-4237-9924-0 1-60750-121-X 600-00-0376-5 1-60129-102-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
| Record Nr. | UNINA-9910449786603321 |
Cruz Jorge
|
||
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz
| Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
| Autore | Cruz Jorge |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 006.3 |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Constraints (Artificial intelligence)
Differential equations Interval analysis (Mathematics) Biophysics - Mathematical models |
| ISBN |
1-280-24343-0
9786610243433 1-4237-9924-0 1-60750-121-X 600-00-0376-5 1-60129-102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
| Record Nr. | UNINA-9910783420503321 |
|
Cruz Jorge
|
||
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint reasoning for differential models / / Jorge Cruz
| Constraint reasoning for differential models / / Jorge Cruz |
| Autore | Cruz Jorge |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 006.3 |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Constraints (Artificial intelligence)
Differential equations Interval analysis (Mathematics) Biophysics - Mathematical models |
| ISBN |
1-280-24343-0
9786610243433 1-4237-9924-0 1-60750-121-X 600-00-0376-5 1-60129-102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
| Record Nr. | UNINA-9910821280203321 |
|
Cruz Jorge
|
||
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint-based reasoning / / edited by Eugene C. Freuder and Alan K. Mackworth
| Constraint-based reasoning / / edited by Eugene C. Freuder and Alan K. Mackworth |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, 1994 |
| Descrizione fisica | 1 online resource (403 pages) : illustrations |
| Disciplina | 006.3 |
| Altri autori (Persone) |
FreuderEugene C
MackworthAlan K |
| Soggetto topico |
Constraints (Artificial intelligence)
Reasoning |
| Soggetto non controllato | COMPUTER SCIENCE/Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910260644903321 |
| Cambridge, Mass., : MIT Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraints
| Constraints |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.11 |
| Soggetto topico |
Constraint programming (Computer science)
Constraints (Artificial intelligence) Programmation par contraintes Contraintes (Intelligence artificielle) Computers |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computers |
| ISSN | 1572-9354 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Constraints (Boston) |
| Record Nr. | UNINA-9910142803903321 |
| [Dordrecht], : Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraints
| Constraints |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.11 |
| Soggetto topico |
Constraint programming (Computer science)
Constraints (Artificial intelligence) Programmation par contraintes Contraintes (Intelligence artificielle) Computers |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computers |
| ISSN | 1572-9354 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Constraints (Boston) |
| Record Nr. | UNISA-996208164003316 |
| [Dordrecht], : Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of constraint satisfaction / Edward Tsang
| Foundations of constraint satisfaction / Edward Tsang |
| Autore | Tsang, Edward |
| Pubbl/distr/stampa | London ; San Diego : Academic Press, c1993 |
| Descrizione fisica | xx, 320 p. : ill. ; 24 cm |
| Disciplina | 006.33 |
| Soggetto topico | Constraints (Artificial intelligence) |
| ISBN | 0127016104 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000891309707536 |
|
Tsang, Edward
|
||
| London ; San Diego : Academic Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings / / Andrea Lodi, Michela Milano, Paolo Toth, (eds.)
| Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings / / Andrea Lodi, Michela Milano, Paolo Toth, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XI, 369 p. 70 illus.) |
| Disciplina | 519.64 |
| Altri autori (Persone) |
LodiAndrea
MilanoMichela TothPaolo |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Constraints (Artificial intelligence)
Constraint programming (Computer science) Combinatorial optimization Artificial intelligence Operations research |
| ISBN |
1-280-38701-7
9786613564931 3-642-13520-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a MIP-Cut Metascheme -- Challenges for CPAIOR in Computational Sustainability -- Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving -- On Matrices, Automata, and Double Counting -- The Increasing Nvalue Constraint -- Improving the Held and Karp Approach with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning for Binary Programs -- Hybrid Methods for the Multileaf Collimator Sequencing Problem -- Automatically Exploiting Subproblem Equivalence in Constraint Programming -- Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition -- Integrated Maintenance Scheduling for Semiconductor Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected Subgraph Problems in Wildlife Conservation -- Consistency Check for the Bin Packing Constraint Revisited -- A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts -- An In-Out Approach to Disjunctive Optimization -- A SAT Encoding for Multi-dimensional Packing Problems -- Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach -- On the Design of the Next Generation Access Networks -- Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches -- Constraint Programming and Combinatorial Optimisation in Numberjack -- Automated Configuration of Mixed Integer Programming Solvers -- Upper Bounds on the Number of Solutions of Binary Integer Programs -- Matrix Interdiction Problem -- Strong Combination of Ant Colony Optimization with Constraint Programming Optimization -- Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios -- Constraint Programming with Arbitrarily Large Integer Variables -- Constraint-Based Local Search for Constrained Optimum Paths Problems -- Stochastic Constraint Programming by Neuroevolution with Filtering -- The Weighted Spanning Tree Constraint Revisited -- Constraint Reasoning with Uncertain Data Using CDF-Intervals -- Revisiting the Soft Global Cardinality Constraint -- A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling -- Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution -- Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results -- Boosting Set Constraint Propagation for Network Design -- More Robust Counting-Based Search Heuristics with Alldifferent Constraints. |
| Record Nr. | UNINA-9910484528903321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / / Laurent Perron, Michael A. Trick (eds.)
| Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / / Laurent Perron, Michael A. Trick (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (XII, 394 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
PerronLaurent
TrickMichael A |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Constraints (Artificial intelligence)
Constraint programming (Computer science) Combinatorial optimization - Data processing Operations research - Technique Artificial intelligence - Technique |
| ISBN | 3-540-68155-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Airline Scheduling: Accomplishments, Opportunities and Challenges -- Selected Challenges from Distribution and Commerce in the Airline and Travel Industry -- 30 Years of Constraint Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New Filtering for the Constraint in the Context of Non-Overlapping Rectangles -- Multi-stage Benders Decomposition for Optimizing Multicore Architectures -- Fast and Scalable Domino Portrait Generation -- Gap Reduction Techniques for Online Stochastic Project Scheduling -- Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver -- Cost Propagation – Numerical Propagation for Optimization Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs -- Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting -- The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems -- A Novel Approach For Detecting Symmetries in CSP Models -- Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization -- Optimal Deployment of Eventually-Serializable Data Services -- Counting Solutions of Knapsack Constraints -- From High-Level Model to Branch-and-Price Solution in G12 -- Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint -- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic -- A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem -- Short Papers -- Counting Solutions of Integer Programs Using Unrestricted Subtree Detection -- Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts -- A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems -- Solving a Log-Truck Scheduling Problem with Constraint Programming -- Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints -- Connections in Networks: A Hybrid Approach -- Efficient Haplotype Inference with Combined CP and OR Techniques -- Integration of CP and Compilation Techniques for Instruction Sequence Test Generation -- Propagating Separable Equalities in an MDD Store -- The Weighted Cfg Constraint -- CP with ACO -- A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract) -- Constraint Optimization and Abstraction for Embedded Intelligent Systems -- A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs -- Guiding Stochastic Search by Dynamic Learning of the Problem Topography -- Hybrid Variants for Iterative Flattening Search -- Global Propagation of Practicability Constraints -- The Polytope of Tree-Structured Binary Constraint Satisfaction Problems -- A Tabu Search Method for Interval Constraints -- The Steel Mill Slab Design Problem Revisited -- Filtering Atmost1 on Pairs of Set Variables -- Extended Abstract -- Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints. |
| Altri titoli varianti |
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
Integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems CPAIOR 2008 |
| Record Nr. | UNINA-9910483327903321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31-June 2, 2006 : proceedings / / J. Christopher Beck, Barbara M. Smith (eds.)
| Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31-June 2, 2006 : proceedings / / J. Christopher Beck, Barbara M. Smith (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 301 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BeckJ. Christopher
SmithBarbara <1948-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Constraints (Artificial intelligence)
Constraint programming (Computer science) Combinatorial optimization Artificial intelligence Operations research |
| ISBN | 3-540-34307-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Opt Art -- Planning for Mixed Discrete Continuous Domains -- Duality in Optimization and Constraint Satisfaction -- Technical Papers -- A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs -- The Range Constraint: Algorithms and Implementation -- On the Separability of Subproblems in Benders Decompositions -- A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem -- The Power of Semidefinite Programming Relaxations for MAX-SAT -- Expected-Case Analysis for Delayed Filtering -- Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming -- Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP -- AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems -- The Timetable Constrained Distance Minimization Problem -- Conflict-Directed A* Search for Soft Constraints -- Event-Driven Probabilistic Constraint Programming -- Online Stochastic Reservation Systems -- Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling -- Open Constraints in a Closed World -- Conditional Lexicographic Orders in Constraint Satisfaction Problems -- An Efficient Hybrid Strategy for Temporal Planning -- Improved Algorithm for the Soft Global Cardinality Constraint. |
| Altri titoli varianti | CPAIOR 2006 |
| Record Nr. | UNINA-9910483811503321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
