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.
Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone
| Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone |
| Autore | Gori Roberta |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina |
570.285
570.113 |
| Altri autori (Persone) |
MilazzoPaolo
TribastoneMirco |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN | 3-031-71671-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910887805503321 |
Gori Roberta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / / edited by Mirco Tribastone, Stephen Gilmore
| Computer Performance Engineering [[electronic resource] ] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / / edited by Mirco Tribastone, Stephen Gilmore |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 253 p. 101 illus.) |
| Disciplina | 004.2/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Software engineering Computer communication systems Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Simulation and Modeling Energy Policy, Economics and Management |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36781-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Trading Power Consumption against Performance by Reserving Blocks of Servers -- Operational Semantics for Product-Form Solution -- Moment Closures for Performance Models with Highly Non-linear Rates -- Scale-Freeness of SPA Models with Weighted Immediate Actions -- Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems -- Tradeoff between Accuracy and Efficiency in the Time-Parallel Simulation of Monotone Systems -- Compositional Approximate Markov Chain Aggregation for PEPA Models -- A Path Connection Availability Model for MANETs with Random Waypoint Mobility -- Formal Performance Modelling: From Protocols to People -- SRN Models for Analysis of Multihop Wireless Ad Hoc Networks -- Don’t Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation -- PCTMC Models of Wireless Sensor Network Protocols -- A Novel Approach to Energy Efficient Content Distribution with BitTorrent -- Performance Modelling of Magnetohydrodynamics Codes -- Optimisation of Patch Distribution Strategies for AMR Applications -- Energy Consumption in the Office -- On the (Page) Ranking of Professional Tennis Players -- Towards a Volunteer Cloud Architecture. |
| Record Nr. | UNISA-996465674803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / / edited by Mirco Tribastone, Stephen Gilmore
| Computer Performance Engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / / edited by Mirco Tribastone, Stephen Gilmore |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 253 p. 101 illus.) |
| Disciplina | 004.2/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Software engineering Computer networks Computer simulation Energy policy System Performance and Evaluation Software Engineering Computer Communication Networks Simulation and Modeling Energy Policy, Economics and Management |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-36781-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Trading Power Consumption against Performance by Reserving Blocks of Servers -- Operational Semantics for Product-Form Solution -- Moment Closures for Performance Models with Highly Non-linear Rates -- Scale-Freeness of SPA Models with Weighted Immediate Actions -- Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems -- Tradeoff between Accuracy and Efficiency in the Time-Parallel Simulation of Monotone Systems -- Compositional Approximate Markov Chain Aggregation for PEPA Models -- A Path Connection Availability Model for MANETs with Random Waypoint Mobility -- Formal Performance Modelling: From Protocols to People -- SRN Models for Analysis of Multihop Wireless Ad Hoc Networks -- Don’t Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation -- PCTMC Models of Wireless Sensor Network Protocols -- A Novel Approach to Energy Efficient Content Distribution with BitTorrent -- Performance Modelling of Magnetohydrodynamics Codes -- Optimisation of Patch Distribution Strategies for AMR Applications -- Energy Consumption in the Office -- On the (Page) Ranking of Professional Tennis Players -- Towards a Volunteer Cloud Architecture. |
| Record Nr. | UNINA-9910739418903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone
| Quantitative Evaluation of Systems [[electronic resource] ] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (377 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | TribastoneMirco |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science - Mathematics Computer engineering Computer networks Software engineering Artificial intelligence Theory of Computation Mathematics of Computing Computer Engineering and Networks Software Engineering Artificial Intelligence |
| ISBN | 3-031-43835-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Agent Verification and Control with Probabilistic Model Checking -- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics -- Jajapy: a learning library for stochastic models -- Introducing Asynchronicity to Probabilistic Hyperproperties -- A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems -- An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains -- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker -- Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions -- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy -- Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders -- Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets -- On the Trade-off Between Efficiency and Precision of Neural Abstraction -- Equilibrium Analysis of Markov Regenerative Processes -- Max-entropy sampling for deterministic timed automata under linear duration constraints -- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows -- Matching Distributions under Structural Constraints -- Comparing Two Approaches to Include Stochasticity in Hybrid Automata -- Analysis of an epoch commit protocol for distributed processing systems -- Causal Reversibility Implies Time Reversibility -- Deductive Controller Synthesis for Probabilistic Hyperproperties -- Model Abstraction and Conditional Sampling with Score-Based Diffusion Model -- Probabilistic Counterexample Guidance for Safer Reinforcement Learning -- Symbolic Semantics for Probabilistic Programs -- Verification of Quantum Systems using Barrier Certificates. |
| Record Nr. | UNISA-996550557403316 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone
| Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (377 pages) |
| Disciplina |
004.0151
004.25 |
| Altri autori (Persone) | TribastoneMirco |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science - Mathematics Computer engineering Computer networks Software engineering Artificial intelligence Theory of Computation Mathematics of Computing Computer Engineering and Networks Software Engineering Artificial Intelligence |
| ISBN |
9783031438356
3031438353 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Agent Verification and Control with Probabilistic Model Checking -- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics -- Jajapy: a learning library for stochastic models -- Introducing Asynchronicity to Probabilistic Hyperproperties -- A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems -- An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains -- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker -- Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions -- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy -- Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders -- Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets -- On the Trade-off Between Efficiency and Precision of Neural Abstraction -- Equilibrium Analysis of Markov Regenerative Processes -- Max-entropy sampling for deterministic timed automata under linear duration constraints -- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows -- Matching Distributions under Structural Constraints -- Comparing Two Approaches to Include Stochasticity in Hybrid Automata -- Analysis of an epoch commit protocol for distributed processing systems -- Causal Reversibility Implies Time Reversibility -- Deductive Controller Synthesis for Probabilistic Hyperproperties -- Model Abstraction and Conditional Sampling with Score-Based Diffusion Model -- Probabilistic Counterexample Guidance for Safer Reinforcement Learning -- Symbolic Semantics for Probabilistic Programs -- Verification of Quantum Systems using Barrier Certificates. |
| Record Nr. | UNINA-9910746086903321 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||