Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Concept

Array (data type)

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

Page 2 sur 2

Composite Data Types in Dynamic Dataflow Languages as Copyless Memory Sharing Mechanism

Marco Mattavelli, Endri Bezati, Aurélien François Gilbert Bloch

This paper presents new optimization approaches aiming at reducing the impact of memory accesses on the performance of dataflow programs. The approach is based on introducing a high level management of composite data types in dynamic dataflow programming l ...

2019

Two-Element Antenna-Active Phase Shifter Packaging at 77 GHz

Anja Skrivervik, Mirmehdi Seyyedesfahlan

This work presents a low cost and wire-bonded active phase shifter chip to RF circuitry on PCB board packaging for implementing a two-element phased array antenna at 77 GHz. The 1.5 mm × 1.1 mm chip is embedded in RO3003 PCB board and its GSG ports are wir ...

IEEE2019

The JET upgraded toroidal Alfven Eigenmode Diagnostic System

Ambrogio Fasoli, Duccio Testa, Patrick Blanchard

The Alfven Eigenmode Active Diagnostic system (AEAD) has undergone a major upgrade and redesign to provide a state-of-the-art excitation and real-time detection system for JET. The new system consists of individual 4 kW amplifiers allowing for increased cu ...

2019

Plano-concave mini-lens array for plenoptic imaging applications

Toralf Scharf, Alessandro Grosso

An array of plano-concave mini-lenses is designed to realize a particular version of Light Field camera known as Plenoptic Camera 1.2. The Delano diagram related to the on-axis optical channel of such a camera is computed to show its retro-focus behavior a ...

IEEE2019

Truly abstract interfaces for algebraic data types: the extractor typing problem

Martin Odersky, Nicolas Alexander Stucki, Paolo Giosuè Giarrusso

Pattern matching enables inspecting algebraic data types, but typically prevents hiding the implementation of the matched algebraic data type. In Scala, instead, extractors also allow pattern matching on non-algebraic data types and invoking methods on the ...

2018

Organoid arrays

Matthias Lütolf, Nathalie Brandenberg

The invention provides methods for producing arrays of organoids, the arrays thereof and uses of such arrays. ...

2018

Low-rank tensor methods for large Markov chains and forward feature selection methods

Francisco Santos Paredes Quartin de Macedo

In the first part of this thesis, we present and compare several approaches for the determination of the steady-state of large-scale Markov chains with an underlying low-rank tensor structure. Such structure is, in our context of interest, associated with ...

EPFL2018

Monolithic SPAD Arrays for High-Performance, Time-Resolved Single-Photon Imaging

Edoardo Charbon, Claudio Bruschini, Ivan Michel Antolovic, Samuel Burri, Arin Can Ülkü, Chunmin Zhang, Scott Anthony Lindner

SPAD (single-photon avalanche diode) arrays are single-photon sensors, which enable photon counting and unparalleled time-resolved imaging. In this paper, we will detail the architecture and characteristics of three representative SPAD arrays, implemented ...

IEEE2018

Learning with tensors: a framework based on convex optimization and spectral regularization

Quoc Tran Dinh

We present a framework based on convex optimization and spectral regularization to perform learning when feature observations are multidimensional arrays (tensors). We give a mathematical characterization of spectral penalties for tensors and analyze a uni ...

Springer2014