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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Oh, H, Yang, H, Yi, K
Формат:	Conference item
Хэвлэсэн:	Association for Computing Machinery 2015

Ижил төстэй зүйлс

Adversarial attacks on graph classification via Bayesian optimisation
-н: Wan, X, зэрэг
Хэвлэсэн: (2021)

Robust reinforcement learning with Bayesian optimisation and quadrature
-н: Paul, S, зэрэг
Хэвлэсэн: (2020)

Bayesian optimisation for automated machine learning
-н: Ru, B
Хэвлэсэн: (2022)

Bayesian optimisation of functions on graphs
-н: Wan, X, зэрэг
Хэвлэсэн: (2024)

Reinforcement learning-trained optimisers and Bayesian optimisation for online particle accelerator tuning
-н: Jan Kaiser, зэрэг
Хэвлэсэн: (2024-07-01)

Bayesian optimisation for breeding schemes
-н: Julien Diot, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2024-11-01)

Interpretable neural architecture search via Bayesian optimisation with Weisfeiler-Lehman kernels
-н: Ru, B, зэрэг
Хэвлэсэн: (2021)

An active machine learning approach for optimal design of magnesium alloys using Bayesian optimisation
-н: M. Ghorbani, зэрэг
Хэвлэсэн: (2024-04-01)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
-н: 401526 Nikolaev, Nikolay Y., зэрэг
Хэвлэсэн: (2006)

GLASSES: Relieving the myopia of Bayesian optimisation
-н: Gonzalez, J, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2023-06-01)

Sampling for Bayesian program learning
-н: Ellis, Kevin M., зэрэг
Хэвлэсэн: (2017)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
-н: Wang, Peixin, зэрэг
Хэвлэсэн: (2024)

Bayesian optimisation of large-scale biophysical networks
-н: Hadida, J, зэрэг
Хэвлэсэн: (2018)

Optimising General Configuration of Wing-Sailed Autonomous Sailing Monohulls Using Bayesian Optimisation and Knowledge Transfer
-н: Yang An, зэрэг
Хэвлэсэн: (2023-03-01)

Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper−Parameters
-н: Wang, Z, зэрэг
Хэвлэсэн: (2014)

Bayesian Gaussian processes for sequential prediction, optimisation and quadrature
-н: Osborne, M, зэрэг
Хэвлэсэн: (2010)

Bayesian optimisation of Gaussian processes for identifying the deteriorating patient
-н: Colopy, G, зэрэг
Хэвлэсэн: (2017)

Sensitivity Analysis of Grey Linear Programming for Optimisation Problems
-н: Davood Darvishi, зэрэг
Хэвлэсэн: (2021-01-01)

Understanding the adaptive growth strategy of Lactobacillus plantarum by in silico optimisation.
-н: Bas Teusink, зэрэг
Хэвлэсэн: (2009-06-01)

Structure Learning of Bayesian Network Based on Adaptive Thresholding
-н: Yang Zhang, зэрэг
Хэвлэсэн: (2019-07-01)

Particle Swarm Optimisation with Improved Learning Strategy
-н: Wei , Hong Lim, зэрэг
Хэвлэсэн: (2015)

Optimisation of microalgal cultivation via nutrient-enhanced strategies: the biorefinery paradigm
-н: Gonzalo M. Figueroa-Torres, зэрэг
Хэвлэсэн: (2021-03-01)

Bayesian optimisation of personalised models for patient vital-sign monitoring
-н: Colopy, GW, зэрэг
Хэвлэсэн: (2017)

Diagnosing Metabolic Syndrome Using Genetically Optimised Bayesian ARTMAP
-н: Kakudi, Habeebah Adamu, зэрэг
Хэвлэсэн: (2019)

Fault Diagnosis in Drones via Multiverse Augmented Extreme Recurrent Expansion of Acoustic Emissions with Uncertainty Bayesian Optimisation
-н: Tarek Berghout, зэрэг
Хэвлэсэн: (2024-07-01)

Program Optimisation‚ Naturally
-н: Bird, R, зэрэг
Хэвлэсэн: (2000)

Program Optimisation‚ Naturally
-н: Bird, R, зэрэг
Хэвлэсэн: (2000)

Neuroadaptive Bayesian optimisation to study individual differences in infants’ engagement with social cues
-н: A. Gui, зэрэг
Хэвлэсэн: (2024-08-01)

Adaptive Mission Abort Planning Integrating Bayesian Parameter Learning
-н: Yuhan Ma, зэрэг
Хэвлэсэн: (2024-08-01)

Optimal Cold Atom Thermometry Using Adaptive Bayesian Strategies
-н: Jonas Glatthard, зэрэг
Хэвлэсэн: (2022-12-01)

Bayesian programming /
-н: Bessir̈e, Pierre, author, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2024-06-01)

Optimising testing strategies when conducting MAIA microperimetry: MAIA optimisation and evolution
-н: Jolly, J, зэрэг
Хэвлэсэн: (2018)

Few-Shot Bayesian Imitation Learning with Logical Program Policies
-н: Silver, Tom, зэрэг
Хэвлэсэн: (2021)

Fast bayesian inference with batch bayesian quadrature via kernel recombination
-н: Adachi, M, зэрэг
Хэвлэсэн: (2022)