Concept
Computability theory
Related publications (48)
Exploring High-Performance and Energy-Efficient Architectures for Edge AI-Enabled Applications
Joshua Alexander Harrison Klein
The desire and ability to place AI-enabled applications on the edge has grown significantly in recent years. However, the compute-, area-, and power-constrained nature of edge devices are stressed by the needs of the AI-enabled applications, due to a gener ...
EPFL2024Efficient Sequential and Parallel Algorithms for Multistage Stochastic Integer Programming Using Proximity
Friedrich Eisenbrand, Moritz Andreas Venzin, Jana Tabea Cslovjecsek
We consider the problem of solving integer programs of the form min {c^⊺ x : Ax = b, x ∈ ℤ_{⩾ 0}}, where A is a multistage stochastic matrix in the following sense: the primal treedepth of A is bounded by a parameter d, which means that the columns of A ca ...
Schloss Dagstuhl - Leibniz-Zentrum für Informatik2021Accelerating materials discovery for solid state electrolytes
The development of new solid-state electrolytes is a key step
in improving the performance and safety of battery technology.
Although the use of first-principle methods has proved invaluable
in better understanding the process at play in these materials, ...
EPFL2020Parallel integro-differential equation solving via multi-channel reciprocal bianisotropic metasurface augmented by normal susceptibilities
Analog optical signal processing has dramatically transcended the speed and energy limitations accompanied with its digital microelectronic counterparts. Motivated by recent metasurface?s evolution, the angular scattering diversity of a reciprocal passive ...
IOP PUBLISHING LTD2019Method and device for proving his identity
Serge Vaudenay, Ioana Cristina Carlson
The invention is related to a method allowing a prover holding a secret key (x) to prove its identity to a verifier and to prove to this verifier that he is within a predetermined distance of this verifier, said method comprising an initialization phase du ...
2018Guessing the Fingerings
Some strings instruments, such as guitar or violin, can play the same note using different fingerings. To find out which string has been used, we developed an algorithm that compute the inharmonicity of a given audio sample, and then use it to identify the ...
2018Undecidability through Fourier series
In computability theory a variety of combinatorial systems are encountered (word problems, production systems) that exhibit undecidability properties. Here we seek such structures in the realm of Analysis, more specifically in the area of Fourier Analysis. ...
Elsevier Science Bv2016Shapes from pixels
Martin Vetterli, Arash Amini, Loïc Arnaud Baboulaz, Mitra Fatemi
Continuous-domain visual signals are usually captured as discrete (digital) images. This operation is not invertible in general, in the sense that the continuous-domain signal cannot be exactly reconstructed based on the discrete image, unless it satisfies ...
Institute of Electrical and Electronics Engineers2016A framework for evaluating urban land use mix from crowd-sourcing data
Population in urban areas has been increasing at an alarming rate in the last decades. This evidence, together with the rising availability of massive data from cities, has motivated research on sustainable urban development. In this paper we present a GIS ...
2016Numerical Approximation of Flows in Random Porous Media
The objective of this thesis is to develop efficient numerical schemes to successfully tackle problems arising from the study of groundwater flows in a porous saturated medium; we deal therefore with partial differential equations(PDE) having random coeffi ...
EPFL2016