Learning a strategy for adapting a program analysis via Bayesian optimisation

Learning a strategy for adapting a program analysis via Bayesian optimisation

<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyser. An ideal analy...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Oh, H, Yang, H, Yi, K
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2015

Míreanna comhchosúla

Adversarial attacks on graph classification via Bayesian optimisation
de réir: Wan, X, et al.
Foilsithe / Cruthaithe: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
de réir: Paul, S, et al.
Foilsithe / Cruthaithe: (2020)

Bayesian optimisation for automated machine learning
de réir: Ru, B
Foilsithe / Cruthaithe: (2022)

Bayesian optimisation of functions on graphs
de réir: Wan, X, et al.
Foilsithe / Cruthaithe: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
de réir: Jan Kaiser, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Bayesian optimisation for breeding schemes
de réir: Julien Diot, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Single and multi-objective real-time optimisation of an industrial injection moulding process via a Bayesian adaptive design of experiment approach
de réir: Mandana Kariminejad, et al.
Foilsithe / Cruthaithe: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
de réir: Ru, B, et al.
Foilsithe / Cruthaithe: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
de réir: M. Ghorbani, et al.
Foilsithe / Cruthaithe: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
de réir: 401526 Nikolaev, Nikolay Y., et al.
Foilsithe / Cruthaithe: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
de réir: Gonzalez, J, et al.
Foilsithe / Cruthaithe: (2016)

Practical Bayesian optimisation for hyperparameter tuning
de réir: Alvi, A
Foilsithe / Cruthaithe: (2019)

Practical Bayesian optimisation for hyperparameter tuning
de réir: Alvi, AS
Foilsithe / Cruthaithe: (2020)

Fast optimisation of the formability of dry fabric preforms: A Bayesian approach
de réir: Siyuan Chen, et al.
Foilsithe / Cruthaithe: (2023-06-01)

Sampling for Bayesian program learning
de réir: Ellis, Kevin M., et al.
Foilsithe / Cruthaithe: (2017)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
de réir: Wang, Peixin, et al.
Foilsithe / Cruthaithe: (2024)

Bayesian optimisation of large-scale biophysical networks
de réir: Hadida, J, et al.
Foilsithe / Cruthaithe: (2018)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
de réir: Yang An, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
de réir: Wang, Z, et al.
Foilsithe / Cruthaithe: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
de réir: Osborne, M, et al.
Foilsithe / Cruthaithe: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
de réir: Colopy, G, et al.
Foilsithe / Cruthaithe: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
de réir: Davood Darvishi, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
de réir: Bas Teusink, et al.
Foilsithe / Cruthaithe: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
de réir: Yang Zhang, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
de réir: Wei , Hong Lim, et al.
Foilsithe / Cruthaithe: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
de réir: Gonzalo M. Figueroa-Torres, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
de réir: Colopy, GW, et al.
Foilsithe / Cruthaithe: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
de réir: Kakudi, Habeebah Adamu, et al.
Foilsithe / Cruthaithe: (2019)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
de réir: Tarek Berghout, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Program Optimisation‚ Naturally
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2000)

Program Optimisation‚ Naturally
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
de réir: A. Gui, et al.
Foilsithe / Cruthaithe: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
de réir: Yuhan Ma, et al.
Foilsithe / Cruthaithe: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
de réir: Jonas Glatthard, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Bayesian programming /
de réir: Bessir̈e, Pierre, author, et al.
Foilsithe / Cruthaithe: (2014)

Parallel evolutionary programming techniques for strategy optimisation in air combat scenarios /
de réir: Istas F. Nusyirwan
Foilsithe / Cruthaithe: (2008)

A Trajectory Optimisation-Based Incremental Learning Strategy for Learning from Demonstration
de réir: Yuqi Wang, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
de réir: Jolly, J, et al.
Foilsithe / Cruthaithe: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
de réir: Silver, Tom, et al.
Foilsithe / Cruthaithe: (2021)

Fast bayesian inference with batch bayesian quadrature via kernel recombination
de réir: Adachi, M, et al.
Foilsithe / Cruthaithe: (2022)