Exploiting Errors for Efficiency: A Survey from Circuits to Applications

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Over the past years, implantable closed-loop neural interfaces have received increasing attention for their potential to enhance the understanding of the brain, treat neurological disorders, and provide unprecedented opportunities for individuals with para ...

We present a massively parallel and scalable nodal discontinuous Galerkin finite element method (DGFEM) solver for the time-domain linearized acoustic wave equations. The solver is implemented using the libParanumal finite element framework with extensions ...

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

This article outlines the advancements made in broadening the application scope of the OpenMC neutron transport code to include thermohydraulic coupling and nuclear data uncertainty propagation. These developments primarily involve the incorporation of the ...

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

Information theory has allowed us to determine the fundamental limit of various communication and algorithmic problems, e.g., the channel coding problem, the compression problem, and the hypothesis testing problem. In this work, we revisit the assumptions ...

This paper presents a geometry-driven approach to form-finding with reused stock elements. Our proposed workflow uses a K-mean algorithm to cluster stock elements and incorporate their geometrical values early in the form-finding process. A feedback loop i ...

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

FLUKA is a general purpose Monte Carlo code able to describe the transport and interaction of any particle and nucleus type in complex geometries over an energy range extending from thermal neutrons to ultrarelativistic hadron collisions. It has many diffe ...

Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety. Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably du ...

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

It's been a little more than 40 years since researchers first suggested exploiting quantum physics to build more powerful computers. During this time, we have seen the development of many quantum algorithms and significant technological advances to make th ...

Disclosed herein is a method for labelling a portion of a device, said method comprising the steps of providing a first substrate layer of a transparent or translucent material, depositing a first coloured material onto said first substrate layer in a labe ...

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

A data storage medium (2) comprising a stacked plurality of layers (9), each layer composed of a layer material selected from a group comprising at least two different dielectric materials, adjacent layers being formed of different materials, and at least ...

High-level synthesis (HLS) is the process of automatically generating circuits out of high-level language descriptions. Previous research has shown that dynamically scheduled HLS through elastic circuit generation is successful at exploiting parallelism in ...

Explainable Artificial Intelligence (XAI) plays a crucial role in enabling human understanding and trust in deep learning systems, often defined as determining which features are most important to a model's prediction. As models get larger, more ubiquitous ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

SiliFish is an open-source desktop application tomodel and study zebrafish swimming. Here, we explain how to define the general parameters of the model, define cell populations, place them within the spinal cord, and define their projections. We explain ho ...

LoRaWAN is nowadays one of the most popular protocols for low-power Internet of Things communications. Although its physical layer, namely LoRa, has been thoroughly studied in the literature, aspects related to the synchronization of LoRa receivers have re ...

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

Chat with Graph Search

Neurostimulation and Wireless Data Transmission Circuits for Implantable High-Density Neural Interfaces

Massively parallel nodal discontinous Galerkin finite element method simulator for room acoustics

Type-Level Programming with Match Types

Tool Developments in the OpenMC Code: Correlated Sampling and Transient Fission Matrix Approach Coupled to OpenFOAM

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

On Speed and Advantage : Results in Information Velocity and Monitoring Problems

Geometry-Driven Stock-Constrained Truss Design via Equilibrium-Based Structural Models

Scaling Language Features for Program Verification

New Capabilities of the FLUKA Multi-Purpose Code

Abstractions for Type-Level Programming

Hardware and Software Support for RPC-Centric Server Architecture

Practical Compilation of Quantum Programs

Method for labelling a device and devices obtanaible therefrom

Dynamic Linkers Are the Narrow Waist of Operating Systems

Non-volatile data storage medium and system

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

The future of human-centric eXplainable Artificial Intelligence (XAI) is not post-hoc explanations

Automated Verification of Network Function Binaries

SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)

A Low-Complexity LoRa Synchronization Algorithm Robust to Sampling Time Offsets