Search results

We prove the first hardness results against efficient proof search by quantum algorithms. We show that underLearning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weaklyautomate TC0-Frege. This extends the line of results of Krajííček and Pudlík(Information and Computation, 1998), Bonet, Pitassi, and Raz (SIAM Journal on Computing, 2000),and Bonet

Particulate methane monooxygenase (pMMO) is an enzyme that converts methane into methanol at ambient temperature and pressure. Over the past three decades, the metal content and location of the active site have been highly controversial. Recent single-particle cryogenic electron-microscopy (cryo-EM) structures have furthered this debate. In this study, three cryo-EM structures (PDB entries 7s4h, 7

We analyze the stability of the logit evolutionary dynamics in population games, possibly with multiple heterogeneous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise

The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is

We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi

The vast bandwidth available at sub-THz frequencies holds great promise for high-speed wireless access, precise localization, and advanced sensing applications. However, fundamental physical constraints and technological limitations make the deployment of reliable sub-THz networks challenging. We propose a new paradigm for sub-THz coverage by transmitting the RF signals over polymer microwave fibe

We develop a Lyapunov-based analysis of Korpelevich’s extragradient method and show that it achieves an o(1/k) last-iterate convergence rate of the constructed Lyapunov function. This Lyapunov function simultaneously upper bounds several standard measures of optimality, which allows our analysis to sharpen existing last-iterate convergence guarantees for these measures. Moreover, the same analysis

This is the Replicated Computational Results (RCR) Report for the article “Testing Abstractions for Cyber-Physical Control Systems.” The article empirically studies how substituting different components in Cyber-Physical Systems (CPSs) testing with simulators impacts the fault-exposition. This RCR report describes the artefacts used in the article, how to use the testing setups used in the article

Whereas theoretical attacks on standardized crypto primitives rarely lead to actual practical attacks, the situation is different for side-channel attacks. Improvements in the performance of side-channel attacks are of utmost importance.In this paper, we propose a framework to be used in key-recovery side-channel attacks on CCA-secure post-quantum encryption schemes. The basic idea is to construct

In this work, we introduce novel techniques for adapting the SCA-LDPC framework to NTRU-style Key Encapsulation Mechanisms (KEMs). Our approach significantly reduces the required measurements compared to prior analyses under similar oracle noise, validated through extensive simulations, and shows robustness against decision errors in the constructed oracle. Furthermore, we present the first docume

In this work, we introduce novel techniques for adapting the SCA-LDPC framework to conduct efficient plaintext-checking (PC) oracle-based side-channel attacks on NTRU-style Key Encapsulation Mechanisms (KEMs). We specifically address the unique algebraic structure of the NTRU and NTRU Prime schemes, demonstrating how to extract information related to secret variables from side channels and modeled

Navigating complex environments requires Unmanned Aerial Vehicles (UAVs) and autonomous systems to perform trajectory tracking and obstacle avoidance in realtime. While many control strategies have effectively utilized linear approximations, addressing the non-linear dynamics of UAV, especially in obstacle-dense environments, remains a key challenge that requires further research. This paper intro

In this paper, we unify two already published results on state feedback H-infinity optimality. Previously, optimality has been shown for a particular controller structure in the case that the open-loop state matrix is symmetric, as well as in the case that the closed-loop system is internally positive. By contrast, the main result of the present paper gives optimality based on neither of these two

Balcinrenone (AZD9977) is a selective mineralocorticoid receptor modulator in development in combination with dapagliflozin for treatment of heart failure with impaired kidney function and chronic kidney disease. A prespecified concentration–QT analysis was performed based on data from a phase I single ascending dose study prospectively designed as a thorough QT study substitute. Oral single doses

Exceptional are the instances where explicit solutions to optimal control problems are obtainable. Of particular interest are the explicit solutions derived for minimax problems, as they provide a framework for addressing challenges involving adversarial conditions and uncertainties. This thesis presents explicit solutions to a novel class of minimax optimal control problems for positive linear sy

This paper gives an overview of the approach of working methods at the Aedas R&D Computational Design and Research [CDR] Group. It first contextualizes research in architectural practice and tries to propose an explanation for the difficulties in implementing it; then explains the evolution of the groups' computing approach from bespoke to heuristic sets of lightweight applications. It conclud

When it comes to innovation, economic growth, affluence and international attractiveness, there are currently few places in the world that can compare with the San Francisco Bay Area. However, new megatrends such as Sustainability, can challenge its attractiveness. Scholars talk about the “Nordic approach”.In the geographical area of Southern Scandinavia, ‘The Strait Area’, the focus is on Sustain

We study an information design problem to reduce congestion in transportation networks. In presence of an uncertain network state, the central planner may sends private signals to the users, with the goal of steering the user equilibrium towards the system optimum flow. We consider private signals and provide sufficient conditions under which optimality may be achieved by information provision in

We deal with a control problem for a complex social network in which each agent has an action and an opinion, evolving according to a coevolutionary model. In particular, we consider a scenario in which a committed minority - a set of stubborn nodes - aims to steer a population, initially at a consensus, to a different consensus state. Our study focuses on determining the conditions under which su