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)

Bayesian optimisation of large-scale biophysical networks
ανά: Hadida, J, κ.ά.
Έκδοση: (2018)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
ανά: Wang, Peixin, κ.ά.
Έκδοση: (2024)

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)

Rapid Bayesian optimisation for synthesis of short polymer fiber materials
ανά: Cheng Li, κ.ά.
Έκδοση: (2017-07-01)

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)