Publications related to Initial and terminal objects

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

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

Conditional Flatness, Fiberwise Localizations, And Admissible Reflections

Jérôme Scherer

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localizatio ...

CAMBRIDGE UNIV PRESS2023

On minimal tilting complexes in highest weight categories

Jonathan Gruber

We explain the construction of minimal tilting complexes for objects of highest weight categories and we study in detail the minimal tilting complexes for standard objects and simple objects. For certain categories of representations of complex simple Lie ...

2022

Effects of item distinctiveness on the retrieval of objects and object-location bindings from visual working memory

Yury Markov

Visual working memory (VWM) is prone to interference from stored items competing for its limited capacity. Distinctiveness or similarity of the items is acknowledged to affect this competition, such that poor item distinctiveness causes a failure to discri ...

2022

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

EPFL2021

Archiving the Leftovers of Science: Metadata and Histories of Scientific Institutions

Alina Volynskaya

In this article, I focus on digital scientific archives which are made up of the leftovers of science, such as drafts, obsolete instruments, photographs, documentation, etc. The artifacts exhibited in such collections were neither meant to be representatio ...

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

Combinatorics of Loop Equations for Branched Covers of Sphere

Nicolas Gerson Orantin

We prove, in a purely combinatorial way, the spectral curve topological recursion for the problem of enumeration of bi-colored maps, which are dual objects to dessins d'enfant. Furthermore, we give a proof of the quantum spectral curve equation for this pr ...

OXFORD UNIV PRESS2018

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

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

Obligatory averaging in mean size perception

Aire Raidvee

The perception of ensemble characteristics is often regarded as an antidote to an established bottleneck in focused attention and working memory, both of which appear to be limited in capacity to a few objects only. In order to test the associative law of ...

Elsevier2014

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

Homotopic Descent over Monoidal Model Categories

The starting point for this project is the article of Kathryn Hess [11]. In this article, a homotopic version of monadic descent is developed. In the classical setting, one constructs a category D(𝕋) of coalgebras in the Eilenberg-Moore category of ...

EPFL2011

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

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

Method to generate, verify and deny an undeniable signature

Serge Vaudenay, Jean Monnerat

The aim of the invention is to propose the generation, verification and denial of an undeniable signature which has a size smaller than the currently available undeniable signatures, i.e. less than 80 bits. This aim is achieved by the method to generate an ...

2008