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

Nombre réel calculable

Science formelle
Informatique théorique
Theory of computation
Théorie de la calculabilité

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

Page 2 sur 2

Digital model-making and the encoding of design intent : notes on the computational synthesis of form

Nathaniel Zuelzke

Across many generations, including the digitally naïve and savvy, digital technologies introduce something other to the design process. This other quality ranges from inaccessibility to facile but opaque production of complexity, yet in all cases has obscu ...

EPFL2012

Finite Element Method on Riemann Surfaces and Applications to the Laplacian Spectrum

Marc Maintrot

The objective of this PhD thesis is the approximate computation of the solutions of the Spectral Problem associated with the Laplace operator on a compact Riemann surface without boundaries. A Riemann surface can be seen as a gluing of portions of the Hype ...

EPFL2012

Extent-based incremental identification of reaction kinetics from spectroscopic data

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Identification of kinetic models is an important step for the monitoring, control and optimization of chemical and pharmaceutical processes. Furthermore, the availability of a first-principles model often leads to substantial reduction in process developme ...

2012

Estimating uncertainty of alcohol-attributable fractions for infectious and chronic diseases

Background: Alcohol is a major risk factor for burden of disease and injuries globally. This paper presents a systematic method to compute the 95% confidence intervals of alcohol-attributable fractions (AAFs) with exposure and risk relations stemming from ...

2011

Phase extraction in speckle interferometry by a circle fitting procedure in the complex plane

Pierre Jacquot, Sébastien Equis

In speckle interferometry (SI), temporal signals are amplitude- and frequency-modulated signals and exhibit a fluctuating background. Prior to phase computation, this background intensity must be eliminated. Here our approach is to build a complex signal f ...

Optical Society of America2011

Expressiveness And Closure Properties For Quantitative Languages

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the ma ...

2010

Derivatives with respect to metrics and applications: subgradient marching algorithm

This paper introduces a subgradient descent algorithm to compute a Riemannian metric that minimizes an energy involving geodesic distances. The heart of the method is the Subgradient Marching Algorithm to compute the derivative of the geodesic distance wit ...

Springer2010