Publications associées à Philosophie des mathématiques

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Mean value theorems for collections of lattices with a prescribed group of symmetries

Nihar Prakash Gargava

Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...

EPFL2024

Positive Definite Completions and Continuous Graphical Models

Kartik Waghmare

This thesis concerns the theory of positive-definite completions and its mutually beneficial connections to the statistics of function-valued or continuously-indexed random processes, better known as functional data analysis. In particular, it dwells upon ...

EPFL2023

Arterial pulse wave modeling and analysis for vascular-age studies: a review from VascAgeNet

Vasiliki Bikia, Patrick Segers

Arterial pulse waves (PWs) such as blood pressure and photoplethysmogram (PPG) signals contain a wealth of information on the cardiovascular (CV) system that can be exploited to assess vascular age and identify individuals at elevated CV risk. We review th ...

AMER PHYSIOLOGICAL SOC2023

Mathematical Foundations of Adaptive Isogeometric Analysis

Annalisa Buffa, Rafael Vazquez Hernandez

This paper reviews the state of the art and discusses recent developments in the field of adaptive isogeometric analysis, with special focus on the mathematical theory. This includes an overview of available spline technologies for the local resolution of ...

SPRINGER2022

Improved spiking neural network for intershaft bearing fault diagnosis

Jun Wang, Tianfu Li

The intershaft bearing is located between the high and low-pressure rotors of the aero-engine, where the working environment is harsh, the load variation range is large, and the lubrication and heat dissipation are poor. The fault of the intershaft bearing ...

ELSEVIER SCI LTD2022

Grassmannian diffusion maps based surrogate modeling via geometric harmonics

Ketson Roberto Maximiano Dos Santos

A novel surrogate model based on the Grassmannian diffusion maps (GDMaps) and utilizing geometric harmonics (GH) is developed for predicting the response of complex physical phenomena. The method utilizes GDMaps to obtain a low-dimensional representation o ...

Wiley2022

Il demone dell'analogia: Ovvero affinità e divergenze fra il compagno aristotele e noi

Nicola Braghieri

This laconic discourse uses the Aristotelian authority to define the role of the analogical procedure in the government of the architectural composition. Respecting its ambiguous balance between mathematical method and attitude of the imagination, analogy ...

2021

Asymptotically Optimal Contextual Bandit Algorithm Using Hierarchical Structures

Hakan Gökcesu, Kaan Gökcesu

We propose an online algorithm for sequential learning in the contextual multiarmed bandit setting. Our approach is to partition the context space and, then, optimally combine all of the possible mappings between the partition regions and the set of bandit ...

2019

Distributed state estimation for discrete-time linear time invariant systems: A survey

Colin Neil Jones, Francisco Fernandes Castro Rego

Motivated by the increasing availability and quality of miniaturized sensors, computers, and wireless communication devices arid given their enormous potential, the use of wireless sensor networks (WSN) has become widespread. Because in many applications o ...

2019

Replicating portfolio approach to capital calculation

Mathieu Jacques David Cambou, Damir Filipovic

The replicating portfolio (RP) approach to the calculation of capital for life insurance portfolios is an industry standard. The RP is obtained from projecting the terminal loss of discounted asset–liability cash flows on a set of factors generated by a fa ...

2018

Secure numerical and logical multi party operations

Bin Lu

We derive algorithms for efficient secure numerical and logical operations in the semi-honest model ensuring statistical or perfect security for secure multi-party computation (MPC). To derive our algorithms for trigonometric functions, we use basic mathem ...

Elsevier Science Bv2017

Vision-Based Sense and Avoid Algorithms for Unmanned Aerial Vehicles

Steven Adriaan Roelofsen

The field of Unmanned Aerial Vehicles (UAVs), also known as drones, is rapidly growing, both in terms of size and of number of applications. Civil applications range from mapping, inspection, search and rescue, taking aerial footage, to art show, entertain ...

EPFL2017

Complex blood flow patterns in an idealized left ventricle: A numerical study

Alfio Quarteroni, Anna Tagliabue

In this paper, we study the blood flow dynamics in a three-dimensional (3D) idealized left ventricle of the human heart whose deformation is driven by muscle contraction and relaxation in coordination with the action of the mitral and aortic valves. We pro ...

American Institute of Physics2017

Efficient computation of Sommerfeld integral tails - methods and algorithms

Juan Ramon Mosig, Krzysztof Michalski

A review is presented of the most effective methods for the computation of Sommerfeld integral tails. Such integrals, which are often oscillatory, singular and divergent, commonly arise in layered media Green functions. The mathematical foundations of vari ...

Taylor & Francis Ltd2016

3D-Printed Shepp-Logan Phantom as a Real-World Benchmark for MRI

Dimitri Nestor Alice Van De Ville, Jeffrey Adam Kasten, François Lazeyras

Purpose: As prescribed and reliable geometrical entities, phantoms have served as indispensable validation tools in a variety of MR-related topics. Though a number of phantoms have been conceived, certain applications may warrant highly customized geometri ...

Wiley-Blackwell2016

Polynomial diffusions and applications in finance

Damir Filipovic, Martin Larsson

This paper provides the mathematical foundation for polynomial diffusions. They play an important role in a growing range of applications in finance, including financial market models for interest rates, credit risk, stochastic volatility, commodities and ...

Springer Verlag2016

Modern techniques and applications for real-time non-rigid registration

Mark Pauly, Sofien Bouaziz, Hao Li, Andrea Tagliasacchi

Registration algorithms are an essential component of many computer graphics and computer vision systems. With recent technological advances in RGBD sensors (color plus depth), an active area of research is in techniques combining color, geometry, and lear ...

2016

Interior Tomography Using 1D Generalized Total Variation. Part I: Mathematical Foundation

Michaël Unser, John Paul Ward

Motivated by the interior tomography problem, we propose a method for exact reconstruction of a region of interest of a function from its local Radon transform in any number of dimensions. Our aim is to verify the feasibility of a one-dimensional reconstru ...

Siam Publications2015

A Unified Formulation of Gaussian Versus Sparse Stochastic Processes-Part I: Continuous-Domain Theory

Michaël Unser, Pouya Dehghani Tafti

We introduce a general distributional framework that results in a unifying description and characterization of a rich variety of continuous-time stochastic processes. The cornerstone of our approach is an innovation model that is driven by some generalized ...

Ieee-Inst Electrical Electronics Engineers Inc2014