Dimitrios Milios

According to our database, Dimitrios Milios authored at least 30 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Imposing Functional Priors on Bayesian Neural Networks.

Bogdan L. Kozyrskiy, 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.

Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Maurizio Filippone

J. Mach. Learn. Res., 2022

Variational Bootstrap for Classification.

Bogdan L. Kozyrskiy, Dimitrios Milios, 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.

Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi

Proceedings of the International Conference on Machine Learning, 2022

2021

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

Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi

Entropy, 2021

A Unified View of Stochastic Hamiltonian Sampling.

Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi

CoRR, 2021

Model Selection for Bayesian Autoencoders.

Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Pietro Michiardi, Edwin V. Bonilla, Maurizio Filippone

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.

Gia-Lac Tran, Dimitrios Milios, Pietro Michiardi, Maurizio Filippone

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

2020

Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling.

Giulio Franzese, Rosa Candela, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi

CoRR, 2020

A Variational View on Bootstrap Ensembles as Bayesian Inference.

Dimitrios Milios, Pietro Michiardi, Maurizio Filippone

CoRR, 2020

2019

Dynamic Resource Shaping for Compute Clusters.

Francesco Pace, Dimitrios Milios, Damiano Carra, Pietro Michiardi

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

2018

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

Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi

CoRR, 2018

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

Dimitrios Milios, Guido Sanguinetti, David Schnoerr

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

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

Dimitrios Milios, Raffaello Camoriano, Pietro Michiardi, Lorenzo Rosasco, Maurizio Filippone

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.

Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

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

Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti

Perform. Evaluation, 2017

2016

Smoothed model checking for uncertain Continuous-Time Markov Chains.

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

Inf. Comput., 2016

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

Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti

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.

Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti

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

2015

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

Dimitrios Milios, Stephen Gilmore

Perform. Evaluation, 2015

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

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

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

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

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

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

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

Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti

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

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

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Probabilistic Programming Process Algebra.

Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti

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.

Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias

Intell. Decis. Technol., 2013

2012

Markov Chain Simulation with Fewer Random Samples.

Dimitrios Milios, 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.

Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark

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

Compositional Approximate Markov Chain Aggregation for PEPA Models.

Dimitrios Milios, Stephen Gilmore

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

2011

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

Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias

Proceedings of the Artificial Intelligence Applications and Innovations, 2011