Publications related to Turing reduction

Isogeny Problems with Level Structure

Given two elliptic curves and the degree of an isogeny between them, finding the isogeny is believed to be a difficult problem—upon which rests the security of nearly any isogeny-based scheme. If, however, to the data above we add information about the beh ...

2024

Implementing water recirculation in a novel portable plasma-activated water reactor enhances antimicrobial effect against Escherichia coli

Ivo Furno, Alan Howling, Fabio Avino, Rita Agus, Brayden Graham Myers, Lorenzo Ibba, Leonardo Zampieri

The need for sustainable and reliable decontamination methods is driven by concerns regarding antibiotic resistance, as well as environmental and cost -efficiency challenges associated with traditional methods. Plasmaactivated water (PAW) holds significant ...

Elsevier Science Sa2024

First-principle based predictions of the effects of negative triangularity on DTT scenarios

Olivier Sauter, Gabriele Merlo, Alberto Mariani

Plasmas with negative triangularity (NT) shape have been recently shown to be able to achieve H-mode levels of confinement in L-mode, avoiding detrimental edge localised modes. Therefore, this plasma geometry is now studied as a possible viable option for ...

IOP Publishing Ltd2024

Optimal Design Operation Strategies of a Hyperloop Transportation System

Denis Tudor

In the last decades, transportation demand growth has played a major role in the increase of global CO2 footprint. At the same time, a number of countries have scheduled measurable and substantial cutback of CO2 emissions by 2050. As the transportation sec ...

EPFL2023

Possible restoration of particle-hole symmetry in the 5/2-quantized Hall state at small magnetic field

Frédéric Mila, Loïc Jean Pierre Herviou

Motivated by the experimental observation of a quantized 5/2 thermal conductance at filling nu = 5/2, a result incompatible with both the Pfaffian and the anti-Pfaffian states, we have pushed the expansion of the effective Hamiltonian of the 5/2-quantized ...

AMER PHYSICAL SOC2023

Efficient lattice Green's function method for bounded domain problems

William Curtin, Max Ludwig Hodapp, Ankit Gupta

The lattice Green's function method (LGFM) is the discrete counterpart of the continuum boundary element method and is a natural approach for solving intrinsically discrete solid mechanics problems that arise in atomistic-continuum coupling methods. Here, ...

Wiley2022

Flow Time Scheduling and Prefix Beck-Fiala

Ola Nils Anders Svensson, Lars Rohwedder

We relate discrepancy theory with the classic scheduling problems of minimizing max flow time and total flow time on unrelated machines. Specifically, we give a general reduction that allows us to transfer discrepancy bounds in the prefix Beck-Fiala (bound ...

ASSOC COMPUTING MACHINERY2022

Narrowband Optical Coupler Using Fano Interference in First Order Diffraction

Olivier Martin, Benjamin Gallinet, Giorgio Quaranta, Fabian Michael Lütolf

Light coupling in waveguides has been extensively investigated in a variety of contexts, from photonic integrated circuits to biosensing and near-eye displays for augmented reality. Here, narrowband diffraction is reported using a Fano interference effect ...

AMER CHEMICAL SOC2021

Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths

Adam Teodor Polak

One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in n^{3-o(1)} time, and it is widely open whether it has an O(n^{3-ε}) time algorithm for ε > 0. To better understand APSP, one often strives to obtain subcubic t ...

Schloss Dagstuhl -- Leibniz-Zentrum für Informatik2021

What graph neural networks cannot learn: depth vs width

Andreas Loukas

This paper studies the expressive power of graph neural networks falling within the message-passing framework (GNNmp). Two results are presented. First, GNNmp are shown to be Turing universal under sufficient conditions on their depth, width, node attribut ...

2020

Assessing the impact of non-pharmaceutical interventions on SARS-CoV-2 transmission in Switzerland

Andrea Rinaldo, Jacques Fellay, Francisco Javier Perez Saez, Joseph Chadi Benoit Lemaitre

Following the rapid dissemination of COVID-19 cases in Switzerland, large-scale non-pharmaceutical interventions (NPIs) were implemented by the cantons and the federal government between 28 February and 20 March 2020. Estimates of the impact of these inter ...

2020

Effect of dynamic strain ageing on environmental degradation of fracture resistance of low-alloy RPV steels in high-temperature water environments

Philippe Spätig, Hans-Peter Seifert, Zaiqing Que

Elastic plastic fracture mechanics tests on different low-alloy reactor pressure vessel (RPV) steels in air and various simulated light water reactor environments revealed a clear, but moderate reduction of the fracture initiation resistance of RPV steels ...

2019

Responses of permanent grasslands to drought during the plant growing season: combining agronomic, functional and ecophysiological approaches

Amarante Vitra

Extreme summer drought events are predicted to increase in intensity and frequency within the current century. The resulting water scarcity could dramatically impact human activities related to agriculture, due to the strong relationship between precipitat ...

EPFL2019

Block Oriented Programming: Automating Data-Only Attacks

Mathias Josef Payer

With the widespread deployment of Control-Flow Integrity (CFI), control-flow hijacking attacks, and consequently code reuse attacks, are significantly more difficult. CFI limits control flow to well-known locations, severely restricting arbitrary code exec ...

ASSOC COMPUTING MACHINERY2018

Reduced Numerical Approximation of Reduced Fluid-Structure Interaction Problems With Applications in Hemodynamics

Simone Deparis, Claudia Maria Colciago

This paper deals with fast simulations of the hemodynamics in large arteries by considering a reduced model of the associated fluid-structure interaction problem, which in turn allows an additional reduction in terms of the numerical discretisation. The re ...

2018

Pedestal properties of H-modes with negative triangularity using the EPED-CH model

Olivier Sauter, Antoine Pierre Emmanuel Alexis Merle

The EPED model has been designed to predict the pedestal height and width from a minimal set of parameters and using the stability of the pedestal region for global MHD peeling-ballooning (P-B) modes as well as local kinetic ballooning modes (KBMs). This a ...

IOPscience2017

Impact of climate change in Switzerland on socioeconomic snow indices

Michael Lehning, Charles Fierz

Snow is a key element for many socioeconomic activities in mountainous regions. Due to the sensitivity of the snow cover to variations of temperature and precipitation, major changes caused by climate change are expected to happen. We analyze the evolution ...

Springer Verlag2017

Recompression Of Hadamard Products Of Tensors In Tucker Format

Daniel Kressner, Lana Perisa

The Hadamard product features prominently in tensor-based algorithms in scientific computing and data analysis. Due to its tendency to significantly increase ranks, the Hadamard product can represent a major computational obstacle in algorithms based on lo ...

Siam Publications2017

SmarPer: Context-Aware and Automatic Runtime-Permissions for Mobile Devices

Jean-Pierre Hubaux, Kévin Clément Huguenin, Italo Ivan Dacosta Petrocelli, Joana Catarina Soares Machado, Mohammad Emtiyaz Khan, Katarzyna Lucja Olejnik

Permission systems are the main defense that mobile platforms, such as Android and iOS, offer to users to protect their private data from prying apps. However, due to the tension between usability and control, such systems have several limitations that oft ...

IEEE2017

On verifying causal consistency

Rachid Guerraoui, Jad Hamza

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...