Department of Computer Science
21 – 30 of 1753
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Exploring exploration in Bayesian 0ptimization
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding high-dimensional Bayesian optimization
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Leveraging axis-aligned subspaces for high-dimensional Bayesian optimization with group testing
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
(
- Contribution to journal › Article
-
Mark
Assertions in software testing : survey, landscape, and trends
(
- Contribution to journal › Article
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
(
- Contribution to journal › Article
-
Mark
Study of the use of property probes in an educational setting
(
- Contribution to journal › Article
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
(
- Contribution to journal › Article
-
Mark
Lifting with colourful sunflowers
2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding