Concept

Multivariable calculus

Publications associées (39)

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

Analytic regularity and collocation approximation for elliptic PDEs with Random domain deformations

Fabio Nobile

In this work we consider the problem of approximating the statistics of a given Quantity of Interest (QoI) that depends on the solution of a linear elliptic PDE defined over a random domain parameterized by N random variables. The elliptic problem is remap ...

2016

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

Certified Reduced Basis Method for Parametrized Partial Differential Equations: a Combination with ANOVA Expansion

Denis Devaud

In many fields, the computation of an output depending on a field variable is of great interest. If the field variable depends on a high-dimensional parameter, the computational cost involved can be huge. Hence, it is necessary to find efficient and reliab ...

2012

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

H∞ Controller Design for Spectral MIMO Models by Convex Optimization

Alireza Karimi, Roland Longchamp, Gorka Galdos Sanz de Galdeano

A new method for robust ﬁxed-order H∞ controller design by convex optimization for multivariable systems is investigated. Linear Time-Invariant Multi-Input Multi- Output (LTI-MIMO) systems represented by a set of complex values in the frequency domain are ...

Elsevier2010

Continuity Properties of Law-Invariant (Quasi-)Convex Risk Functions on L∞

Gregor Svindland

We study continuity properties of law-invariant (quasi-)convex functions f : L1(Ω,F, P) to ( ∞,∞] over a non-atomic probability space (Ω,F, P) .This is a supplementary note to [12] ...

Springer Verlag2010

Reduced basis approximation for parametrized partial differential equations

Alfio Quarteroni, Gianluigi Rozza

In this chapter we describe the basic ideas of reduced basis (RB) approximation methods for rapid and reliable evaluation of input-output relationships in which the output is expressed as a functional of a field variable that is the solution of an input-pa ...

Springer2009

An introduction to reduced basis method for parametrized PDEs

Gianluigi Rozza

We provide an introduction on reduced basis (RB) method for the solution of parameterized partial differential equations (PDEs). We introduce all the main ingredients to describe the methodology and the algorithms used to build the approximation spaces and ...

WorldScientific2009

Analysis and implementation issues for the numerical approximation of parabolic equations with random coefficients

Fabio Nobile

We consider the problem of numerically approximating statistical moments of the solution of a time-dependent linear parabolic partial differential equation (PDE), whose coefficients and/or forcing terms are spatially correlated random fields. The stochasti ...

2009

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