Concept

Philosophie des mathématiques

Publications associées (59)

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

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

Deep learning tools for the measurement of animal behavior in neuroscience

Alexander Mathis, Mackenzie Mathis

Recent advances in computer vision have made accurate, fast and robust measurement of animal behavior a reality. In the past years powerful tools specifically designed to aid the measurement of behavior have come to fruition. Here we discuss how capturing ...

2020

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

Damir Filipovic, Mathieu Jacques David Cambou

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

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