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 handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors)
| Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 245 p.) |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Constraint programming (Computer science) |
| ISBN | 3-540-92243-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
| Record Nr. | UNINA-9910483942303321 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors)
| Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 245 p.) |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Constraint programming (Computer science) |
| ISBN | 3-540-92243-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
| Record Nr. | UNISA-996466005403316 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constraint Programming and Decision Making [[electronic resource] /] / edited by Martine Ceberio, Vladik Kreinovich
| Constraint Programming and Decision Making [[electronic resource] /] / edited by Martine Ceberio, Vladik Kreinovich |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 209 p. 33 illus.) |
| Disciplina | 005.11 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-04280-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithmics of Checking Whether a Mapping Is Injective, Surjective, and/or Bijective -- Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints -- Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-Criteria Decision Making .-Interval Linear Programming Techniques in Constraint Programming and Global Optimization.-Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization.-Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty .-Why Tensors.-Adding Constraints – A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems.-Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems Become Algorithmically Solvable -- Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization -- Optimization of the Choquet Integral using Genetic Algorithm -- Optimization of the Choquet Integral using Genetic Algorithm -- Scalable, Portable, Verifiable Kronecker Products on Multi-Scale Computers -- Reliable and Robust Synthesis of QFT controller using ICSP -- Towards an Efficient Bisection of Ellipsoids -- .-An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets -- Graph Subdivision Methods in Interval Global Optimization -- An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications -- Why Curvature in L-Curve: Combining Soft Constraints -- Surrogate Models for Mixed Discrete-Continuous Variables Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky’s Theorem Revisited. |
| Record Nr. | UNINA-9910299486303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| 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 | ||
| ||
Constraints in Computational Logics: Theory and Applications [[electronic resource] ] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen
| Constraints in Computational Logics: Theory and Applications [[electronic resource] ] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 316 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Mathematical logic Artificial intelligence Computer logic Computer programming Computer System Implementation Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-45406-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming. |
| Record Nr. | UNISA-996465715603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constraints in Computational Logics: Theory and Applications [[electronic resource] ] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen
| Constraints in Computational Logics: Theory and Applications [[electronic resource] ] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 316 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Software engineering Mathematical logic Artificial intelligence Computer logic Computer programming Computer System Implementation Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-45406-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming. |
| Record Nr. | UNINA-9910767541503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraints Meet Concurrency [[electronic resource] /] / by Jacopo Mauro
| Constraints Meet Concurrency [[electronic resource] /] / by Jacopo Mauro |
| Autore | Mauro Jacopo |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Paris : , : Atlantis Press : , : Imprint : Atlantis Press, , 2014 |
| Descrizione fisica | 1 online resource (151 pages) : illustrations |
| Disciplina | 005.11 |
| Collana | Atlantis Studies in Computing |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 94-6239-067-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based Approach to Manage a Solver Portfolio -- Broadcast messages in Jolie -- Interruptible request responses in Jolie -- Conclusions -- References -- Proofs. |
| Record Nr. | UNINA-9910300155903321 |
Mauro Jacopo
|
||
| Paris : , : Atlantis Press : , : Imprint : Atlantis Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coroutines [[electronic resource] ] : A Programming Methodology, a Language Design and an Implementation / / by C.D. Marlin
| Coroutines [[electronic resource] ] : A Programming Methodology, a Language Design and an Implementation / / by C.D. Marlin |
| Autore | Marlin C.D |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (XIV, 254 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming Techniques |
| ISBN | 3-540-38378-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming with coroutines -- A programming language with coroutines -- The design of the semantics of the language -- The syntax of the language -- The implementation of the language -- Conclusions and further research. |
| Record Nr. | UNISA-996465477303316 |
|
Marlin C.D
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Creating Google Chrome Extensions [[electronic resource] /] / by Prateek Mehta
| Creating Google Chrome Extensions [[electronic resource] /] / by Prateek Mehta |
| Autore | Mehta Prateek |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 167 p. 113 illus. in color.) |
| Disciplina | 005.11 |
| Collana | The Expert's Voice in Web Development |
| Soggetto topico |
Computer programming
Software engineering Web Development Programming Techniques Software Engineering |
| ISBN | 1-4842-1775-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to Google Chrome Extensions -- 2. Architecture Overview -- 3. API Availability and Messaging -- 4. More about Extensions. |
| Record Nr. | UNINA-9910254751103321 |
|
Mehta Prateek
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
