Concept

Formules de Vincenty

Publications associées (7)

Verification of selective laser melting heat source models with operando X-ray diffraction data

Helena Van Swygenhoven, Steven Van Petegem, Samy Hocine

The output obtained from operando X-ray diffraction experiments on Ti-6Al-4V is used to verify the accuracy of four FEM models in predicting the temperature evolution of the solidified domain, the cooling rates of the alpha and beta phases, and the influen ...

ELSEVIER2021

Cohomology Of Large Semiprojective Hyperkahler Varieties

Tamás Hausel

In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkahler manifolds including toric hyperkahler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulti ...

Soc Mathematique France2015

Constructing reparameterization invariant metrics on spaces of plane curves

Martins Bruveris, Martin Bauer

Metrics on shape spaces are used to describe deformations that take one shape to another, and to define a distance between shapes. We study a family of metrics on the space of curves, which includes several recently proposed metrics, for which the metrics ...

Elsevier2014

Positivity for Kac polynomials and DT-invariants of quivers

Tamás Hausel

We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas-invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich Soibelman ...

Annal Mathematics2013

Eigensensing And Deconvolution For The Reconstruction Of Heat Absorption Profiles From Photoacoustic Tomography Data

Dimitri Nestor Alice Van De Ville, Thierry Blu, Zafer Dogan

Photoacoustic tomography (PAT) is a relatively recent imaging modality that is promising for breast cancer detection and breast screening. It combines the high intrinsic contrast of optical radiation with acoustic imaging at submillimeter spatial resolutio ...

Ieee2013

An Efficient Algorithm for Level Set Method Preserving Distance Function

Jean-Philippe Thiran, Xavier Bresson, Dominique Zosso, Virginia Estellers Casas

The level set method is a popular technique for tracking moving interfaces in several disciplines including computer vision and fluid dynamics. However, despite its high flexibility, the original level set method is limited by two important numerical issue ...

Institute of Electrical and Electronics Engineers2012

ACCESS - Algebraic Concurrent Events for System Specification

Access is a new algebraic specification formalism, which focuses on the fine description of the ``true'' concurrency and on a high degree of expressivity. Systems are specified by a set of local states, whose value changes under the occurrence of events. B ...

1994

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