Publications associées à Mathematical object

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

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

Geometric Learning: Leveraging differential geometry for learning and control

Bernardo Fichera

In this thesis, we concentrate on advancing high-level behavioral control policies for robotic systems within the framework of Dynamical Systems (DS). Throughout the course of this research, a unifying thread weaving through diverse fields emerges, and tha ...

EPFL2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Stronger serial dependence in the depth plane than the fronto-parallel plane between realistic objects: Evidence from virtual reality

David Pascucci

Visual estimates of stimulus features are systematically biased toward the features of previously encountered stimuli. Such serial dependencies have often been linked to how the brain maintains perceptual continuity. However, serial dependence has mostly b ...

2023

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

Riccardo Puppi

Modern manufacturing engineering is based on a ``design-through-analysis'' workflow. According to this paradigm, a prototype is first designed with Computer-aided-design (CAD) software and then finalized by simulating its physical behavior, which usually i ...

EPFL2022

Every Elementary Higher Topos Has A Natural Number Object

Nima Rasekh

We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by defining the loop space of the circle and showing that we can construct a natural number object out of it. Part of the proof involves showing that various de ...

2021

Learning (from) the Electron Density: Transferability, Conformational and Chemical Diversity

Anne-Clémence Corminboeuf, Ksenia Briling, Alberto Fabrizio, Andrea Grisafi

Machine-learning in quantum chemistry is currently booming, with reported applications spanning all molecular properties from simple atomization energies to complex mathematical objects such as the many-body wavefunction. Due to its central role in density ...

2020

Monotonic Prefix Consistency in Distributed Systems

Rachid Guerraoui, Dragos-Adrian Seredinschi, Jad Hamza

We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries are alwa ...

2018

Geometric multiscale modeling of the cardiovascular system, between theory and practice

Alfio Quarteroni, Christian Vergara

This review paper addresses the so called geometric multiscale approach for the numerical simulation of blood flow problems, from its origin (that we can collocate in the second half of '90s) to our days. By this approach the blood fluid-dynamics in the wh ...

Elsevier2016

Kan spectra, group spectra and twisting structures

Marc Stephan

Kan spectra provide a combinatorial model for the stable homotopy category. They were introduced by Dan Kan in 1963 under the name semisimplicial spectra. A Kan spectrum is similar to a pointed simplicial set, but it has simplices in negative degrees as we ...

EPFL2015

5e{x+y}: Searching over Mathematical Content in Digital Libraries

Karl Aberer

This paper presents 5ex+y, a system that is able to extract, index and query mathematical content expressed as mathematical expressions, complementing the CERN Document Server (CDS). We present the most important aspects of its design, our approach to mode ...

ACM2015

Method and apparatus for multiple object tracking with k-shortest paths

Pascal Fua, François Fleuret, Jérôme Berclaz

Trajectories of objects are estimated by determining the optimal solution(s) of a tracking model on the basis of an occupancy probability distribution. The occupancy probability distribution is the probability of presence of objects over a set of discrete ...

2013

Invariant Higher-Order Variational Problems II

Tudor Ratiu, François Gay-Balmaz

Motivated by applications in computational anatomy, we consider a second-order problem in the calculus of variations on object manifolds that are acted upon by Lie groups of smooth invertible transformations. This problem leads to solution curves known as ...

Springer Verlag2012

Mechanism-Based Approach for the Deployment of a Tensegrity-Ring Module

Ian Smith, Landolf-Giosef-Anastasios Rhode-Barbarigos, Nizar Bel Hadj Ali, Costanza Schulin, René Motro

Tensegrity structures are spatial systems composed of tension and compression components in a self-equilibrated prestress stable state. Although the concept is over 60 years old, few tensegrity-based structures have been used for engineering purposes. Tens ...

2012

Deployment of a Pentagonal Hollow-Rope Tensegrity Module

Ian Smith, Landolf-Giosef-Anastasios Rhode-Barbarigos, Nizar Bel Hadj Ali, René Motro

Tensegrity structures are spatial reticulated structures composed of cables and struts. Tensegrity systems are good candidates for adaptive and deployable structures and thus have applications in various engineering fields. A “hollow-rope” tensegrity syste ...

2011

Compression with Graphical Constraints: An Interactive Browser

Amin Karbasi, Morteza Zadimoghaddam

We study the problem of navigating/searching through a database of objects with potentially different popularities using a membership oracle. The membership oracle, given a subset of objects

A

, and a target object

t

, determines whether

A

contains

t

...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Coupling matrix synthesis of dissipative microwave filters

Michael Mattes, Francisco Edén Sorolla Rosario, Diego Navarro Tapia

This study reviews the coupling matrix synthesis of dissipative microwave filters. It compares it to the synthesis of lossless transfer functions and shows that by correctly interpreting the mathematical operations in the lossless case, that is especially ...

Institution of Engineering and Technology2011

Microscopy image resolution improvement by deconvolution of complex fields

Christian Depeursinge, Nicolas Pavillon, Muhammed Fatih Toy, Yann Jérôme Michel Pascal Cotte

Based on truncated inverse filtering, a theory for deconvolution of complex fields is studied. The validity of the theory is verified by comparing with experimental data from digital holographic microscopy (DHM) using a high-NA system (NA=0.95). Comparison ...

Optical Society of America2010

Categorical Foundations for K-theory

Nicolas Mathieu Michel

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily c ...

EPFL2010

Order-adjoint monads and injective objects

Gavin Jay Seal

Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T ...

Elsevier2010