Dimitrios Milios

According to our database1, Dimitrios Milios authored at least 28 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Revisiting the Effects of Stochasticity for Hamiltonian Samplers.
Proceedings of the International Conference on Machine Learning, 2022

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

A Unified View of Stochastic Hamiltonian Sampling.
CoRR, 2021

Model Selection for Bayesian Autoencoders.
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.
Proceedings of the 38th International Conference on Machine Learning, 2021

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

Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling.
CoRR, 2020

A Variational View on Bootstrap Ensembles as Bayesian Inference.
CoRR, 2020

2019
Dynamic Resource Shaping for Compute Clusters.
Proceedings of the 2019 IEEE International Congress on Big Data, 2019

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

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification.
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.
Proceedings of the ACM Symposium on Cloud Computing, 2018

2017
Policy learning in continuous-time Markov decision processes using Gaussian Processes.
Perform. Evaluation, 2017

2016
Smoothed model checking for uncertain Continuous-Time Markov Chains.
Inf. Comput., 2016

Property-Driven State-Space Coarsening for Continuous Time Markov Chains.
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.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015
Component aggregation for PEPA models: An approach based on approximate strong equivalence.
Perform. Evaluation, 2015

Machine Learning Methods in Statistical Model Checking and System Design - Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

U-Check: Model Checking and Parameter Synthesis Under Uncertainty.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
Probabilistic Programming Process Algebra.
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.
Intell. Decis. Technol., 2013

Markov Chain Simulation with Fewer Random Samples.
Electron. Notes Theor. Comput. Sci., 2013

Stochastic Modelling of the Kai-based Circadian Clock.
Electron. Notes Theor. Comput. Sci., 2013

2012
Compositional Approximate Markov Chain Aggregation for PEPA Models.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2011
Global Optimization of Analogy-Based Software Cost Estimation with Genetic Algorithms.
Proceedings of the Artificial Intelligence Applications and Innovations, 2011


  Loading...