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...

תיאור מלא

מידע ביבליוגרפי
Main Authors:	Oh, H, Yang, H, Yi, K
פורמט:	Conference item
יצא לאור:	Association for Computing Machinery 2015

פריטים דומים

Adversarial attacks on graph classification via Bayesian optimisation
מאת: Wan, X, et al.
יצא לאור: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
מאת: Paul, S, et al.
יצא לאור: (2020)

Bayesian optimisation for automated machine learning
מאת: Ru, B
יצא לאור: (2022)

Bayesian optimisation of functions on graphs
מאת: Wan, X, et al.
יצא לאור: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
מאת: Jan Kaiser, et al.
יצא לאור: (2024-07-01)

Bayesian optimisation for breeding schemes
מאת: Julien Diot, et al.
יצא לאור: (2023-01-01)

Single and multi-objective real-time optimisation of an industrial injection moulding process via a Bayesian adaptive design of experiment approach
מאת: Mandana Kariminejad, et al.
יצא לאור: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
מאת: Ru, B, et al.
יצא לאור: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
מאת: M. Ghorbani, et al.
יצא לאור: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
מאת: 401526 Nikolaev, Nikolay Y., et al.
יצא לאור: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
מאת: Gonzalez, J, et al.
יצא לאור: (2016)

Practical Bayesian optimisation for hyperparameter tuning
מאת: Alvi, A
יצא לאור: (2019)

Practical Bayesian optimisation for hyperparameter tuning
מאת: Alvi, AS
יצא לאור: (2020)

Fast optimisation of the formability of dry fabric preforms: A Bayesian approach
מאת: Siyuan Chen, et al.
יצא לאור: (2023-06-01)

Sampling for Bayesian program learning
מאת: Ellis, Kevin M., et al.
יצא לאור: (2017)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
מאת: Wang, Peixin, et al.
יצא לאור: (2024)

Bayesian optimisation of large-scale biophysical networks
מאת: Hadida, J, et al.
יצא לאור: (2018)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
מאת: Yang An, et al.
יצא לאור: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
מאת: Wang, Z, et al.
יצא לאור: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
מאת: Osborne, M, et al.
יצא לאור: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
מאת: Colopy, G, et al.
יצא לאור: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
מאת: Davood Darvishi, et al.
יצא לאור: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
מאת: Bas Teusink, et al.
יצא לאור: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
מאת: Yang Zhang, et al.
יצא לאור: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
מאת: Wei , Hong Lim, et al.
יצא לאור: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
מאת: Gonzalo M. Figueroa-Torres, et al.
יצא לאור: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
מאת: Colopy, GW, et al.
יצא לאור: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
מאת: Kakudi, Habeebah Adamu, et al.
יצא לאור: (2019)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
מאת: Tarek Berghout, et al.
יצא לאור: (2024-07-01)

Program Optimisation‚ Naturally
מאת: Bird, R, et al.
יצא לאור: (2000)

Program Optimisation‚ Naturally
מאת: Bird, R, et al.
יצא לאור: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
מאת: A. Gui, et al.
יצא לאור: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
מאת: Yuhan Ma, et al.
יצא לאור: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
מאת: Jonas Glatthard, et al.
יצא לאור: (2022-12-01)

Bayesian programming /
מאת: Bessir̈e, Pierre, author, et al.
יצא לאור: (2014)

Parallel evolutionary programming techniques for strategy optimisation in air combat scenarios /
מאת: Istas F. Nusyirwan
יצא לאור: (2008)

A Trajectory Optimisation-Based Incremental Learning Strategy for Learning from Demonstration
מאת: Yuqi Wang, et al.
יצא לאור: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
מאת: Jolly, J, et al.
יצא לאור: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
מאת: Silver, Tom, et al.
יצא לאור: (2021)

Fast bayesian inference with batch bayesian quadrature via kernel recombination
מאת: Adachi, M, et al.
יצא לאור: (2022)