Publications related to Vector calculus

A Differential Electrochemical Readout ASIC with Heterogeneous Integration of Bio-nano Sensors for Amperometric Sensing

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Seyedeh Sara Ghoreishizadeh

A Monolithic biosensing platform is presented for miniaturized amperometric electrochemical sensing in CMOS. The system consists of a fully-integrated current readout circuit for differential current measurement as well as on-die sensors developed by growi ...

2017

Calculus of Variations for Differential Forms

Swarnendu Sil

In this thesis we study calculus of variations for differential forms. In the first part we develop the framework of direct methods of calculus of variations in the context of minimization problems for functionals of one or several differential forms of th ...

EPFL2016

Spin Caloritronics, origin and outlook

Jean-Philippe Ansermet, Sylvain Bréchet, Haiming Yu

Spin caloritronics refers to research efforts in spintronics when a heat current plays a role. In this review, we start out by reviewing the predictions that can be drawn from the thermodynamics of irreversible processes. This serves as a conceptual framew ...

Elsevier2016

Logarithmic estimates for continuity equations

Maria Colombo

The aim of this short note is twofold. First, we give a sketch of the proof of a recent result proved by the authors in the paper [7] concerning existence and uniqueness of renormalized solutions of continuity equations with unbounded damping coefficient. ...

2016

Sparsity-Based Data Reconstruction Models for Biomedical Imaging

Emrah Bostan

We propose new regularization models to solve inverse problems encountered in biomedical imaging applications. In formulating mathematical schemes, we base our approach on the sparse signal processing principles that have emerged as a central paradigm in t ...

EPFL2016

Implementing Higher-Kinded Types in Dotty

Martin Odersky, Guillaume André Fradji Martres, Dmytro Petrashko

dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...

ACM2016

An Inner-Product Calculus for Periodic Functions and Curves

Michaël Unser, Daniel Andreas Schmitter, Anaïs Laure Marie-Thérèse Badoual

Our motivation is the design of efficient algorithms to process closed curves represented by basis functions or wavelets. To that end, we introduce an inner-product calculus to evaluate correlations and

L _{ 2 }

distances between such curves. In partic ...

2016

Large subsets of discrete hypersurfaces in Z d contain arbitrarily many collinear points

Florian Karl Richter

In 1977 L.T. Ramsey showed that any sequence in Z 2 with bounded gaps contains arbitrarily many collinear points. Thereafter, in 1980, C. Pomerance provided a density version of this result, relaxing the condition on the sequence from having bounded gaps t ...

2016

A computational model for reference-frame synthesis with applications to motion perception

Michael Herzog, Aaron Michael Clarke

As discovered by the Gestaltists, in particular by Duncker, we often perceive motion to be within a non-retinotopic reference frame. For example, the motion of a reflector on a bicycle appears to be circular, whereas, it traces out a cycloidal path with re ...

Elsevier2016

The Essence of Dependent Object Types

Martin Odersky, Tiark Rompf, Nada Amin, Sandro Stucki, Karl Samuel Grütter

Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-

Springer International Publishing2016

Vector calculus

Graph Chatbot

Chat with Graph Search

A Differential Electrochemical Readout ASIC with Heterogeneous Integration of Bio-nano Sensors for Amperometric Sensing

Calculus of Variations for Differential Forms

Spin Caloritronics, origin and outlook

Logarithmic estimates for continuity equations

Sparsity-Based Data Reconstruction Models for Biomedical Imaging

Implementing Higher-Kinded Types in Dotty

An Inner-Product Calculus for Periodic Functions and Curves

Large subsets of discrete hypersurfaces in Z d contain arbitrarily many collinear points

A computational model for reference-frame synthesis with applications to motion perception

The Essence of Dependent Object Types

A Differential Electrochemical Readout ASIC with Heterogeneous Integration of Bio-nano Sensors for Amperometric Sensing

Implementing Higher-Kinded Types in Dotty

An Inner-Product Calculus for Periodic Functions and Curves

Spin Caloritronics, origin and outlook

Calculus of Variations for Differential Forms

Logarithmic estimates for continuity equations

A computational model for reference-frame synthesis with applications to motion perception

Sparsity-Based Data Reconstruction Models for Biomedical Imaging

The Essence of Dependent Object Types

Large subsets of discrete hypersurfaces in Z d contain arbitrarily many collinear points