Concept

Array (data type)

Related publications (228)

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...

Assoc Computing Machinery2016

A generic algorithm for checking exhaustivity of pattern matching

Fengyun Liu

2016

Reaching millikelvin resolution in Raman distributed temperature sensing using image processing

Luc Thévenaz, Marcelo Alfonso Soto Hernandez

Image processing is proposed and experimentally demonstrated to improve the capabilities of Raman distributed optical fibre sensors. The here reported technique consists in stacking consecutive one-dimensional Raman Stokes and anti-Stokes traces in two-dim ...

Spie-Int Soc Optical Engineering2016

Riemannian Optimization for Solving High-Dimensional Problems with Low-Rank Tensor Structure

Michael Maximilian Steinlechner

In this thesis, we present a Riemannian framework for the solution of high-dimensional optimization problems with an underlying low-rank tensor structure. Here, the high-dimensionality refers to the size of the search space, while the cost function is scal ...

EPFL2016

Broadband electronically tunable reflection-based phase shifter for active-steering microwave reflectarray systems in Ku-band

This document provides the design of an electronically reconfigurable microwave phase shifter for reflectarray systems. The phase shifter is based on a hybrid coupler with reflective circuits in three ports. Each reflective circuit introduces a phase varia ...

Taylor & Francis Ltd2016

LinoSPAD: a time-resolved 256x1 CMOS SPAD line sensor system featuring 64 FPGA-based TDC channels running at up to 8.5 giga-events per second

Edoardo Charbon, Claudio Bruschini, Harald Arjan Robert Homulle, Samuel Burri

LinoSPAD is a reconfigurable camera sensor with a 256x 1 CMOS SPAD (single-photon avalanche diode) pixel array connected to a low cost Xilinx Spartan 6 FPGA. The LinoSPAD sensor's line of pixels has a pitch of 24 pm and 40% fill factor. The FPGA implements ...

Spie-Int Soc Optical Engineering2016

A 16-Channel 1.1mm2 Implantable Seizure Control SoC with Sub-μW/Channel Consumption and Closed-Loop Stimulation in 0.18μm CMOS

Alexandre Schmid, Mahsa Shoaran, Yusuf Leblebici, Amirhossein Shahshahani, Masoud Shahshahani

We present a 16-channel seizure detection system-on-chip (SoC) with 0.92μW/channel power dissipation in a total area of 1.1mm² including a closed-loop neural stimulator. A set of four features are extracted from the spatially filtered neural data to achiev ...

IEEE2016

Highly efficient and gentle trapping of single cells in large microfluidic arrays for time-lapse experiments

Jürgen Brugger, Marco Grisi, Filiz Yesilköy

The isolation of single biological cells and their further cultivation in dedicated arrayed chambers are key to the collection of statistically reliable temporal data in cell-based biological experiments. In this work, we present a hydrodynamic single cell ...

Amer Inst Physics2016

Optimizing Information Leakage in Multicloud Storage Services

Karl Aberer, Rameez Rahman, Hao Zhuang

Many schemes have been recently advanced for storing data on multiple clouds. Distributing data over multiple cloud storage providers automatically provides users with a certain degree of information leakage control, for no single point of attack can leak ...

2016

Interoperation between Miniboxing and Other Generics Translations

Milos Stojanovic

Generics allow programmers to design algorithms and data structures that operate in the same way regardless of the data used by abstracting over data types. Generics are useful as they improve the programmer’s productivity by raising the level of abstracti ...

2015

Graph Chatbot

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.