| 000 | 04820nam a22006375i 4500 | ||
|---|---|---|---|
| 001 | 978-3-030-59854-9 | ||
| 003 | DE-He213 | ||
| 005 | 20240730171137.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 201102s2020 sz | s |||| 0|eng d | ||
| 020 |
_a9783030598549 _9978-3-030-59854-9 |
||
| 024 | 7 |
_a10.1007/978-3-030-59854-9 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aQuantitative Evaluation of Systems _h[electronic resource] : _b17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / _cedited by Marco Gribaudo, David N. Jansen, Anne Remke. |
| 250 | _a1st ed. 2020. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
| 300 |
_aXI, 298 p. 97 illus., 44 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12289 |
|
| 505 | 0 | _aMachine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . | |
| 520 | _aThis book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies. | ||
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 0 |
_aComputer science _xMathematics. _93866 |
|
| 650 | 0 |
_aMathematical statistics. _99597 |
|
| 650 | 0 |
_aComputer networks . _931572 |
|
| 650 | 1 | 4 |
_aTheory of Computation. _997251 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _931857 |
| 650 | 2 | 4 |
_aComputer Communication Networks. _997254 |
| 650 | 2 | 4 |
_aMathematics of Computing. _931875 |
| 700 | 1 |
_aGribaudo, Marco. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _997256 |
|
| 700 | 1 |
_aJansen, David N. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _997258 |
|
| 700 | 1 |
_aRemke, Anne. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _997259 |
|
| 710 | 2 |
_aSpringerLink (Online service) _997260 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030598532 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030598556 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12289 _997262 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-59854-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c87415 _d87415 |
||