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 |
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 : 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 |
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 : 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 | ||
|