Dimitrios Milios

Maurizio Filippone

Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods, 2023

2022

All You Need is a Good Functional Prior for Bayesian Deep Learning.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2022

Variational Bootstrap for Classification.

[BibT_eX]

[DOI]

Bogdan L. Kozyrskiy

Maurizio Filippone

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Revisiting the Effects of Stochasticity for Hamiltonian Samplers.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

2021

A Scalable Bayesian Sampling Method Based on Stochastic Gradient Descent Isotropization.

[BibT_eX]

[DOI]

Entropy, 2021

A Unified View of Stochastic Hamiltonian Sampling.

[BibT_eX]

[DOI]

CoRR, 2021

Model Selection for Bayesian Autoencoders.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Sparse within Sparse Gaussian Processes using Neighbor Information.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling.

[BibT_eX]

[DOI]

CoRR, 2020

A Variational View on Bootstrap Ensembles as Bayesian Inference.

[BibT_eX]

[DOI]

Pietro Michiardi

Maurizio Filippone

CoRR, 2020

2019

Dynamic Resource Shaping for Compute Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Congress on Big Data, 2019

2018

A Data-Driven Approach to Dynamically Adjust Resource Allocation for Compute Clusters.

[BibT_eX]

[DOI]

CoRR, 2018

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference.

[BibT_eX]

[DOI]

David Schnoerr

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Data-Driven Resource Shaping for Compute Clusters.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

Policy learning in continuous-time Markov decision processes using Gaussian Processes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

2016

Smoothed model checking for uncertain Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Inf. Comput., 2016

Property-Driven State-Space Coarsening for Continuous Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015

Component aggregation for PEPA models: An approach based on approximate strong equivalence.

[BibT_eX]

[DOI]

Stephen Gilmore

Perform. Evaluation, 2015

Machine Learning Methods in Statistical Model Checking and System Design - Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

U-Check: Model Checking and Parameter Synthesis Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Probabilistic Programming Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

A genetic algorithm approach to global optimization of software cost estimation by analogy.

[BibT_eX]

[DOI]

Ioannis Stamelos

Christos Chatzibagias

Intell. Decis. Technol., 2013

2012

Markov Chain Simulation with Fewer Random Samples.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Stochastic Modelling of the Kai-based Circadian Clock.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Compositional Approximate Markov Chain Aggregation for PEPA Models.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2011

Global Optimization of Analogy-Based Software Cost Estimation with Genetic Algorithms.

[BibT_eX]

[DOI]