![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dimitrios Milios
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c20]Bogdan L. Kozyrskiy, Dimitrios Milios, Maurizio Filippone:
Imposing Functional Priors on Bayesian Neural Networks. ICPRAM 2023: 450-457 - 2022
- [j6]Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Maurizio Filippone:
All You Need is a Good Functional Prior for Bayesian Deep Learning. J. Mach. Learn. Res. 23: 74:1-74:56 (2022) - [c19]Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi:
Revisiting the Effects of Stochasticity for Hamiltonian Samplers. ICML 2022: 6744-6778 - [c18]Bogdan L. Kozyrskiy, Dimitrios Milios, Maurizio Filippone:
Variational Bootstrap for Classification. KES 2022: 1222-1231 - 2021
- [j5]Giulio Franzese
, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi
:
A Scalable Bayesian Sampling Method Based on Stochastic Gradient Descent Isotropization. Entropy 23(11): 1426 (2021) - [c17]Gia-Lac Tran, Dimitrios Milios, Pietro Michiardi, Maurizio Filippone:
Sparse within Sparse Gaussian Processes using Neighbor Information. ICML 2021: 10369-10378 - [c16]Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Pietro Michiardi, Edwin V. Bonilla, Maurizio Filippone:
Model Selection for Bayesian Autoencoders. NeurIPS 2021: 19730-19742 - [i11]Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Pietro Michiardi, Edwin V. Bonilla, Maurizio Filippone:
Model Selection for Bayesian Autoencoders. CoRR abs/2106.06245 (2021) - [i10]Giulio Franzese, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi:
A Unified View of Stochastic Hamiltonian Sampling. CoRR abs/2106.16200 (2021) - 2020
- [i9]Dimitrios Milios, Pietro Michiardi, Maurizio Filippone:
A Variational View on Bootstrap Ensembles as Bayesian Inference. CoRR abs/2006.04548 (2020) - [i8]Giulio Franzese, Rosa Candela, Dimitrios Milios, Maurizio Filippone, Pietro Michiardi:
Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling. CoRR abs/2006.05087 (2020) - [i7]Gia-Lac Tran, Dimitrios Milios, Pietro Michiardi, Maurizio Filippone:
Sparse within Sparse Gaussian Processes using Neighbor Information. CoRR abs/2011.05041 (2020) - [i6]Ba-Hien Tran, Simone Rossi, Dimitrios Milios, Maurizio Filippone:
All You Need is a Good Functional Prior for Bayesian Deep Learning. CoRR abs/2011.12829 (2020)
2010 – 2019
- 2019
- [c15]Francesco Pace, Dimitrios Milios, Damiano Carra, Pietro Michiardi:
Dynamic Resource Shaping for Compute Clusters. BigData Congress 2019: 45-54 - 2018
- [c14]Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi:
Data-Driven Resource Shaping for Compute Clusters. SoCC 2018: 527 - [c13]Dimitrios Milios, Raffaello Camoriano, Pietro Michiardi, Lorenzo Rosasco, Maurizio Filippone:
Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification. NeurIPS 2018: 6008-6018 - [c12]Dimitrios Milios, Guido Sanguinetti
, David Schnoerr:
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. QEST 2018: 289-305 - [i5]Dimitrios Milios, Raffaello Camoriano, Pietro Michiardi, Lorenzo Rosasco, Maurizio Filippone:
Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification. CoRR abs/1805.10915 (2018) - [i4]Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi:
A Data-Driven Approach to Dynamically Adjust Resource Allocation for Compute Clusters. CoRR abs/1807.00368 (2018) - 2017
- [j4]Ezio Bartocci
, Luca Bortolussi
, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
:
Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation 116: 84-100 (2017) - [i3]Dimitrios Milios, Guido Sanguinetti, David Schnoerr:
Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference. CoRR abs/1711.01863 (2017) - 2016
- [j3]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. 247: 235-253 (2016) - [c11]Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
:
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST 2016: 3-18 - [c10]Ezio Bartocci
, Luca Bortolussi
, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
:
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST 2016: 244-259 - [i2]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR abs/1605.09703 (2016) - [i1]Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti:
Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR abs/1606.01111 (2016) - 2015
- [j2]Dimitrios Milios, Stephen Gilmore:
Component aggregation for PEPA models: An approach based on approximate strong equivalence. Perform. Evaluation 94: 43-71 (2015) - [c9]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. CMSB 2015: 40-51 - [c8]Ezio Bartocci
, Luca Bortolussi
, Dimitrios Milios, Laura Nenzi
, Guido Sanguinetti
:
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB 2015: 156-172 - [c7]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. QEST 2015: 89-104 - [c6]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. RV 2015: 323-341 - 2014
- [c5]Anastasis Georgoulas
, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
:
Probabilistic Programming Process Algebra. QEST 2014: 249-264 - 2013
- [j1]Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias:
A genetic algorithm approach to global optimization of software cost estimation by analogy. Intell. Decis. Technol. 7(1): 45-58 (2013) - 2012
- [c4]Dimitrios Milios, Stephen Gilmore:
Compositional Approximate Markov Chain Aggregation for PEPA Models. EPEW/UKPEW 2012: 96-110 - [c3]Chris J. Banks
, Allan Clark, Anastasis Georgoulas
, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - [c2]Dimitrios Milios, Stephen Gilmore:
Markov Chain Simulation with Fewer Random Samples. PASM/PDMC 2012: 183-197 - 2011
- [c1]Dimitrios Milios, Ioannis Stamelos, Christos Chatzibagias:
Global Optimization of Analogy-Based Software Cost Estimation with Genetic Algorithms. EANN/AIAI (2) 2011: 350-359
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint