Dimitrios Milios

37 papers A* 4B 2C 1Misc 1Journal 17Unranked 12

Year	Rank	Type	Title / Venue / Authors
2023	C	`conf`	Imposing Functional Priors on Bayesian Neural Networks. ICPRAM Bogdan L. Kozyrskiy, Dimitrios Milios, Maurizio Filippone
2022	J	`jnl`	All You Need is a Good Functional Prior for Bayesian Deep Learning. J. Mach. Learn. Res. Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Maurizio Filippone
2022	A*	`conf`	Revisiting the Effects of Stochasticity for Hamiltonian Samplers. ICML Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi
2022	B	`conf`	Variational Bootstrap for Classification. KES Bogdan L. Kozyrskiy, Dimitrios Milios, Maurizio Filippone
2021	J	`jnl`	A Scalable Bayesian Sampling Method Based on Stochastic Gradient Descent Isotropization. Entropy Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi
2021	J	`jnl`	A Unified View of Stochastic Hamiltonian Sampling. CoRR Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi
2021	A*	`conf`	Model Selection for Bayesian Autoencoders. NeurIPS Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Pietro Michiardi, Edwin V. Bonilla, Maurizio Filippone
2021	J	`jnl`	Model Selection for Bayesian Autoencoders. CoRR Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Pietro Michiardi, Edwin V. Bonilla, Maurizio Filippone
2021	A*	`conf`	Sparse within Sparse Gaussian Processes using Neighbor Information. ICML Gia-Lac Tran, Dimitrios Milios, Pietro Michiardi, Maurizio Filippone
2020	J	`jnl`	A Variational View on Bootstrap Ensembles as Bayesian Inference. CoRR Dimitrios Milios, Pietro Michiardi, Maurizio Filippone
2020	J	`jnl`	All You Need is a Good Functional Prior for Bayesian Deep Learning. CoRR Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Maurizio Filippone
2020	J	`jnl`	Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling. CoRR Giulio Franzese, Rosa Candela, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi
2020	J	`jnl`	Sparse within Sparse Gaussian Processes using Neighbor Information. CoRR Gia-Lac Tran, Dimitrios Milios, Pietro Michiardi, Maurizio Filippone
2019	—	`conf`	Dynamic Resource Shaping for Compute Clusters. BigData Congress Francesco Pace, Dimitrios Milios, Damiano Carra, Pietro Michiardi
2018	J	`jnl`	A Data-Driven Approach to Dynamically Adjust Resource Allocation for Compute Clusters. CoRR Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi
2018	—	`conf`	Data-Driven Resource Shaping for Compute Clusters. SoCC Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi
2018	A*	`conf`	Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification. NeurIPS Dimitrios Milios, Raffaello Camoriano, Pietro Michiardi, Lorenzo Rosasco, Maurizio Filippone
2018	J	`jnl`	Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification. CoRR Dimitrios Milios, Raffaello Camoriano, Pietro Michiardi, Lorenzo Rosasco, Maurizio Filippone
2018	—	`conf`	Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. QEST Dimitrios Milios, Guido Sanguinetti, David Schnoerr
2017	J	`jnl`	Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2017	J	`jnl`	Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference. CoRR Dimitrios Milios, Guido Sanguinetti, David Schnoerr
2016	—	`conf`	Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	—	`conf`	Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
2016	J	`jnl`	Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
2016	J	`jnl`	Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2015	J	`jnl`	Component aggregation for PEPA models: An approach based on approximate strong equivalence. Perform. Evaluation Dimitrios Milios, Stephen Gilmore
2015	—	`conf`	Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. CMSB Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2015	B	`conf`	Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. RV Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2015	—	`conf`	Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
2015	—	`conf`	U-Check: Model Checking and Parameter Synthesis Under Uncertainty. QEST Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2014	—	`conf`	Probabilistic Programming Process Algebra. QEST Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
2013	J	`jnl`	A genetic algorithm approach to global optimization of software cost estimation by analogy. Intell. Decis. Technol. Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias
2012	—	`conf`	Compositional Approximate Markov Chain Aggregation for PEPA Models. EPEW/UKPEW Dimitrios Milios, Stephen Gilmore
2012	—	`conf`	Markov Chain Simulation with Fewer Random Samples. PASM/PDMC Dimitrios Milios, Stephen Gilmore
2012	—	`conf`	Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
2011	Misc	`conf`	Global Optimization of Analogy-Based Software Cost Estimation with Genetic Algorithms. AIAI Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias