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.
Graphs and Combinatorial Optimization: from Theory to Applications [[electronic resource] ] : CTW 2023, Garmisch-Partenkirchen, Germany, June 20–22 / / edited by Andreas Brieden, Stefan Pickl, Markus Siegle
| Graphs and Combinatorial Optimization: from Theory to Applications [[electronic resource] ] : CTW 2023, Garmisch-Partenkirchen, Germany, June 20–22 / / edited by Andreas Brieden, Stefan Pickl, Markus Siegle |
| Autore | Brieden Andreas |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 519.6 |
| Altri autori (Persone) |
PicklStefan
SiegleMarkus |
| Collana | AIRO Springer Series |
| Soggetto topico |
Mathematical optimization
Graph theory Computer science - Mathematics Discrete mathematics Optimization Graph Theory Mathematics of Computing Applications of Discrete Mathematics |
| ISBN | 9783031468261 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On syntactical graphs-of-words -- k-slow Burning: Complexity and Upper Bounds -- Exact approaches for the Connected Vertex Cover problem -- Handling Sub-symmetry in Integer Programming using Activation Handlers -- Online Facility Location: comparing ad-hoc and MIP-based algorithms -- A Multivariate Complexity Analysis of the Generalized Noah’s Ark Problem -- On the Optimality Gap of Full Airport Slot Assignments: Capacity-limited Packing with Pareto Optimality Constraints -- The algorithmic complexity of the Paired Matching problem -- Edge Contraction and Forbidden Induced Subgraphs -- Rigidity of frameworks on spheres -- Discrepancies of subtrees.-Data-driven feasibility for the Resource Constraint Shortest Path Problem.-Monte-Carlo Integration on a Union of Polytopes -- Managing Time Expanded Networks: The Strong Lift Problem. |
| Record Nr. | UNINA-9910841861403321 |
Brieden Andreas
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
| Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 406 p. 98 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science |
| ISBN | 3-642-40196-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466031803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
| Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 406 p. 98 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science |
| ISBN | 3-642-40196-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483727503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNISA-996465723403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNINA-9910767527203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||