Publications related to Theory of computation

Graph generative deep learning models with an application to circuit topologies

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison.Managing their complexity and facilitating their design drove part of the co-evolution of moder ...

EPFL2024

The Two Times Problem: Where Is the Problem?

Michael Herzog

Gruber et al. (2022) offered a framework how to explain "Physical time within human time", solving the 'two times problem: Here, I am asking whether such a problem exists at all. To question the question, I will appeal to neurobiological, evolutionary, and ...

Brill2024

On the Theory and Practice of Modern Secure Messaging

Daniel Patrick Collins

Billions of people now have conversations daily over the Internet. A large portion of this communication takes place via secure messaging protocols that offer "end-to-end encryption'" guarantees and resilience to compromise like the widely-used Double Ratc ...

EPFL2024

Planetary-Scale Byzantine Fault Tolerance

Matteo Monti

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

EPFL2024

Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning

Philippe Schwaller, Jeff Guo

Sample efficiency is a fundamental challenge in de novo molecular design. Ideally, molecular generative models should learn to satisfy a desired objective under minimal calls to oracles (computational property predictors). This problem becomes more apparen ...

Amer Chemical Soc2024

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

Reactive collision-free motion generation in joint space via dynamical systems and sampling-based MPC

Aude Billard, Mikhail Koptev, Nadia Barbara Figueroa Fernandez

Dynamical system (DS) based motion planning offers collision-free motion, with closed-loop reactivity thanks to their analytical expression. It ensures that obstacles are not penetrated by reshaping a nominal DS through matrix modulation, which is construc ...

Sage Publications Ltd2024

Ghost imaging using two SPAD array detectors: a parameter study towards the realization of a 3D quantum microscope

Edoardo Charbon, Claudio Bruschini, Paul Mos, Yang Lin

Quantum ghost imaging can be an important tool in making optical measurements. One of the most useful aspects of ghost imaging is the unique ability to correlate two sets of independently collected information. We aim to use the principles of ghost imaging ...

Spie-Int Soc Optical Engineering2024

Functional-Basis Analysis of Non-Stationary Signals in Modern Power Grids: Theory and Implementation in Embedded Systems

Alexandra Cameron Karpilow

Situational awareness strategies are essential for the reliable and secure operation of the electric power grid which represents critical infrastructure in modern society. With the rise of converter-interfaced renewable generation and the consequent shift ...

EPFL2024

Variational quantum time evolution without the quantum geometric tensor

Giuseppe Carleo, Riccardo Rossi, Julien Sebastian Gacon, Jannes Willy E. Nys, Stefan Woerner

Realand imaginary -time quantum state evolutions are crucial in physics and chemistry for exploring quantum dynamics, preparing ground states, and computing thermodynamic observables. On near -term devices, variational quantum time evolution is a promising ...

College Pk2024

Theory of computation

Graph Chatbot

Chat with Graph Search

Graph generative deep learning models with an application to circuit topologies

The Two Times Problem: Where Is the Problem?

On the Theory and Practice of Modern Secure Messaging

Planetary-Scale Byzantine Fault Tolerance

Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning

Efficient Continual Finite-Sum Minimization

Reactive collision-free motion generation in joint space via dynamical systems and sampling-based MPC

Ghost imaging using two SPAD array detectors: a parameter study towards the realization of a 3D quantum microscope

Functional-Basis Analysis of Non-Stationary Signals in Modern Power Grids: Theory and Implementation in Embedded Systems

Variational quantum time evolution without the quantum geometric tensor

On the Theory and Practice of Modern Secure Messaging

Graph generative deep learning models with an application to circuit topologies

Ghost imaging using two SPAD array detectors: a parameter study towards the realization of a 3D quantum microscope

Functional-Basis Analysis of Non-Stationary Signals in Modern Power Grids: Theory and Implementation in Embedded Systems

Variational quantum time evolution without the quantum geometric tensor

Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning

Reactive collision-free motion generation in joint space via dynamical systems and sampling-based MPC

Planetary-Scale Byzantine Fault Tolerance

Efficient Continual Finite-Sum Minimization

The Two Times Problem: Where Is the Problem?