1 – 10 of 1797
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Assessing the risks and opportunities posed by AI-enhanced influence operations on social media
- Contribution to journal › Article
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
(2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
-
Mark
Unified framework for entropy search and expected improvement in Bayesian optimization
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Code-based Cryptography: Attacking and Constructing Cryptographic Systems
(2025) In Series of licentiate and doctoral theses
- Thesis › Doctoral thesis (compilation)
-
Mark
Submission to the United Nations to identify the terms of reference and modalities for the establishment and functioning of the Independent International Scientific Panel on AI and Global Dialogue on AI Governance
(2025)
- Book/Report › Report
-
Mark
A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
(2025)
- Book/Report › Conference proceeding (editor)
-
Mark
Virtual imaging trials in medicine : A brief takeaway of the lessons from the first international summit
- Contribution to journal › Article
