Volgen
Alkis Gotovos
Alkis Gotovos
Max Planck Institute for Software Systems (MPI-SWS)
Geverifieerd e-mailadres voor mpi-sws.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Safe exploration for optimization with Gaussian processes
Y Sui, A Gotovos, J Burdick, A Krause
International conference on machine learning, 997-1005, 2015
4492015
Active learning for level set estimation
A Gotovos
Eidgenössische Technische Hochschule Zürich, Department of Computer Science,, 2013
1872013
Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments
L Heng, A Gotovos, A Krause, M Pollefeys
2015 IEEE International Conference on Robotics and Automation (ICRA), 1071-1078, 2015
1532015
Fully autonomous focused exploration for robotic environmental monitoring
G Hitz, A Gotovos, MÉ Garneau, C Pradalier, A Krause, RY Siegwart
2014 IEEE International Conference on Robotics and Automation (ICRA), 2658-2664, 2014
902014
Systematic testing for detecting concurrency errors in Erlang programs
M Christakis, A Gotovos, K Sagonas
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
742013
Fast Gaussian process based gradient matching for parameter identification in systems of nonlinear ODEs
P Wenk, A Gotovos, S Bauer, NS Gorbach, A Krause, JM Buhmann
The 22nd International Conference on Artificial Intelligence and Statistics …, 2019
522019
Non-Monotone Adaptive Submodular Maximization.
A Gotovos, A Karbasi, A Krause
IJCAI, 1996-2003, 2015
402015
On the existence of universal lottery tickets
R Burkholz, N Laha, R Mukherjee, A Gotovos
arXiv preprint arXiv:2111.11146, 2021
392021
Sampling from probabilistic submodular models
A Gotovos, H Hassani, A Krause
Advances in Neural Information Processing Systems 28, 2015
382015
Test-driven development of concurrent programs using concuerror
A Gotovos, M Christakis, K Sagonas
Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, 51-61, 2011
372011
Scaling up continuous-time Markov chains helps resolve underspecification
A Gotovos, R Burkholz, J Quackenbush, S Jegelka
Advances in Neural Information Processing Systems 34, 14580-14592, 2021
122021
Discrete sampling using semigradient-based product mixtures
A Gotovos, H Hassani, A Krause, S Jegelka
arXiv preprint arXiv:1807.01808, 2018
52018
Dynamic systematic testing of concurrent Erlang programs
AS Gotovos
42011
Fast detection of novel problematic patterns based on dictionary learning and boundary detection of failure regions
F de Morsier, C Nathalie, D DeMaris, M Gabrani, A Gotovos, A Krause
SPIE Advanced Lithography 2014, 2014
3*2014
Strong log-concavity does not imply log-submodularity
A Gotovos
arXiv preprint arXiv:1910.11544, 2019
22019
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation
N Kotalwar, A Gotovos, A Singla
arXiv preprint arXiv:2406.05053, 2024
12024
Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming
A Ghosh, L Malva, A Gotovos, D Hooshyar, A Singla
arXiv preprint arXiv:2411.14275, 2024
2024
Sampling from Probabilistic Submodular Models
A Gotovos
ETH Zurich, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–18