Concept

Histoire du calcul infinitésimal

Publications associées (14)

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain, Jonathan Immanuel Brachthäuser

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 \emph{match ...

2021

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

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

Calculus of variations with differential forms

Bernard Dacorogna, Saugata Bandyopadhyay, Swarnendu Sil

We study integrals of the form integral(Omega) f (d omega), where 1

European Mathematical Soc2015

Le "Fragmentum de inventionibus scientiarum" de Diego Palomino

Nouara Chekhar

The objective of this PhD thesis is the translation of, and the mathematical commentary on, a 16th-century Latin book. Its author, Diego Palomino is not well known. With a background in theology, he was a prior. In order to obtain his PhD at the University ...

EPFL2012

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation

Alena Simalatsar

This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarchical approach that couples the independent and different by nature framework ...

ACM2011

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Enhancement of e-learning in geomatics by the integration of dynamic mathematics' tools

Pierre-Yves Gilliéron, Arnaud Deshogues

The Swiss Federal Institute of Technology in Lausanne (EPFL) has introduced a Learning Management System (LMS) based on Moodle. This trend was a source of motivation for our teaching staff who have initiated a project called Exomatic for the enhancement of ...

ISPRS2010

Fractional Splines, Wavelet Bases, and Applications

Michaël Unser

The purpose of this presentation is to describe a recent family of basis functions—the fractional B-splines—which appear to be intimately connected to fractional calculus. Among other properties, we show that they are the convolution kernels that link the ...

ENSEIRB2004

Mobile Objects "Must" Move Safely

Sébastien Briais

Øjeblik is a lexically-scopted, object-based calculus that represents a distribution-free subset of the LAN-based programming language Obliq. The surrogate operation on Øjeblik-objects, which is the abstraction of migration on Obliq-objects, is a combined ...

2002

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search