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.
Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / / edited by Laurent Michel
| Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / / edited by Laurent Michel |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXV, 456 p. 87 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-319-18008-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207294403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / / edited by Laurent Michel
| Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / / edited by Laurent Michel |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXV, 456 p. 87 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-319-18008-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483898803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / / edited by Helmut Simonis
| Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / / edited by Helmut Simonis |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 482 p. 88 illus.) |
| Disciplina | 518 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-319-07046-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes -- Mining (Soft-) Skypatterns Using Dynamic CSP -- Modelling with Option Types in MiniZinc -- Interactive Design of Sustainable Cities with a Distributed Local Search Solver -- Sliced Table Constraints: Combining Compression and Tabular Reduction -- The PrePack Optimization Problem -- An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments -- Local Search for a Cargo Assembly Planning Problem -- A Logic Based Benders’ Approach to the Concrete Delivery Problem -- Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing -- Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can -- An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem -- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency -- Representative Encodings to Translate Finite CSPs into SAT -- SAT and Hybrid Models of the Car Sequencing Problem -- Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling -- Cost Impact Guided LNS -- Proteus: A Hierarchical Portfolio of Solvers and Transformations -- Buffered Resource Constraint: Algorithms and Complexity -- Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems -- Parallel Combinatorial Optimization with Decision Diagrams -- A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems -- Parallel Depth-Bounded Discrepancy Search -- Self-splitting of Workload in Parallel Computation -- The Markov Transition Constraint -- New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling -- Dynamic Controllability and Dispatchability Relationships. |
| Record Nr. | UNISA-996203719903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / / edited by Helmut Simonis
| Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / / edited by Helmut Simonis |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 482 p. 88 illus.) |
| Disciplina | 518 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-319-07046-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes -- Mining (Soft-) Skypatterns Using Dynamic CSP -- Modelling with Option Types in MiniZinc -- Interactive Design of Sustainable Cities with a Distributed Local Search Solver -- Sliced Table Constraints: Combining Compression and Tabular Reduction -- The PrePack Optimization Problem -- An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments -- Local Search for a Cargo Assembly Planning Problem -- A Logic Based Benders’ Approach to the Concrete Delivery Problem -- Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing -- Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can -- An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem -- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency -- Representative Encodings to Translate Finite CSPs into SAT -- SAT and Hybrid Models of the Car Sequencing Problem -- Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling -- Cost Impact Guided LNS -- Proteus: A Hierarchical Portfolio of Solvers and Transformations -- Buffered Resource Constraint: Algorithms and Complexity -- Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems -- Parallel Combinatorial Optimization with Decision Diagrams -- A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems -- Parallel Depth-Bounded Discrepancy Search -- Self-splitting of Workload in Parallel Computation -- The Markov Transition Constraint -- New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling -- Dynamic Controllability and Dispatchability Relationships. |
| Record Nr. | UNINA-9910483788903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / / edited by Carla Gomes, Meinolf Sellmann
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / / edited by Carla Gomes, Meinolf Sellmann |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 403 p. 74 illus.) |
| Disciplina | 658.53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-642-38171-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466178603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / / edited by Carla Gomes, Meinolf Sellmann
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / / edited by Carla Gomes, Meinolf Sellmann |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 403 p. 74 illus.) |
| Disciplina | 658.53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence Operations research Management science Numerical Analysis Mathematical Applications in Computer Science Discrete Mathematics in Computer Science Artificial Intelligence Operations Research, Management Science |
| ISBN | 3-642-38171-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483888003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction au traitement mathématique des images - méthodes déterministes [[electronic resource] /] / by Maïtine Bergounioux
| Introduction au traitement mathématique des images - méthodes déterministes [[electronic resource] /] / by Maïtine Bergounioux |
| Autore | Bergounioux Maïtine |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVII, 241 p. 168 ill.) |
| Disciplina | 003.3 |
| Collana | Mathématiques et Applications |
| Soggetto topico |
Mathematical models
Fourier analysis Partial differential equations Computer science—Mathematics Computer mathematics Mathematical optimization Mathematical Modeling and Industrial Mathematics Fourier Analysis Partial Differential Equations Mathematical Applications in Computer Science Optimization |
| ISBN | 3-662-46539-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Introduction -- Traitement ponctuel des images numériques -- Débruitage par fitrage linéaire -- Débruitage par méthodes non linéaires -- Segmentation -- Morphologie mathématique -- Applications -- Quelques outils mathématiques -- Récapitulatif des différents procédés de traitement -- Littérature -- Index. . |
| Record Nr. | UNINA-9910392743803321 |
Bergounioux Maïtine
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Catalan Numbers [[electronic resource] /] / by Steven Roman
| An Introduction to Catalan Numbers [[electronic resource] /] / by Steven Roman |
| Autore | Roman Steven |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
| Descrizione fisica | 1 online resource (XII, 121 p. 44 illus.) |
| Disciplina | 511.6 |
| Collana | Compact Textbooks in Mathematics |
| Soggetto topico |
Combinatorics
Graph theory Sequences (Mathematics) Computer science—Mathematics Computer mathematics Graph Theory Sequences, Series, Summability Mathematical Applications in Computer Science Discrete Mathematics in Computer Science |
| ISBN | 3-319-22144-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Dyck Words -- The Catalan Numbers -- Catalan Numbers and Paths -- Catalan Numbers and Trees -- Catalan Numbers and Geometric Widgits -- Catalan Numbers and Algebraic Widgits -- Catalan Numbers and Interval Structures -- Catalan Numbers and Partitions -- Catalan Numbers and Permutations -- Catalan Numbers and Semiorders -- Exercises -- Solutions and Hints -- Appendix A: A Brief Introduction to Partially Ordered Sets -- Appendix B: A Brief Introduction to Graphs and Trees -- Index. |
| Record Nr. | UNINA-9910300257203321 |
|
Roman Steven
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Computational Origami [[electronic resource] /] / by Tetsuo Ida
| An Introduction to Computational Origami [[electronic resource] /] / by Tetsuo Ida |
| Autore | Ida Tetsuo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 217 p. 2 illus.) |
| Disciplina | 516.00285 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Computer science—Mathematics
Computer mathematics Symbolic and Algebraic Manipulation Mathematical Applications in Computer Science |
| ISBN | 3-319-59189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to origami -- Origami geometry and basic folds -- Algebra of folds -- Origami geometry vs. Euclid geometry -- Examples -- Origami theorems and verification -- Extensions of basic folds -- Three-dimensional origami. |
| Record Nr. | UNINA-9910416082503321 |
|
Ida Tetsuo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Computational Origami [[electronic resource] /] / by Tetsuo Ida
| An Introduction to Computational Origami [[electronic resource] /] / by Tetsuo Ida |
| Autore | Ida Tetsuo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 217 p. 2 illus.) |
| Disciplina | 516.00285 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Computer science—Mathematics
Computer mathematics Symbolic and Algebraic Manipulation Mathematical Applications in Computer Science |
| ISBN | 3-319-59189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to origami -- Origami geometry and basic folds -- Algebra of folds -- Origami geometry vs. Euclid geometry -- Examples -- Origami theorems and verification -- Extensions of basic folds -- Three-dimensional origami. |
| Record Nr. | UNISA-996465471303316 |
|
Ida Tetsuo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
