Catégorie

Codage des caractères

Publications associées (8)

Data for Paper "Scalable Semantic 3D Mapping of Coral Reefs with Deep Learning"

Anders Meibom, Devis Tuia, Guilhem Maurice Louis Banc-Prandi, Jonathan Paul Sauder

Example Data for DeepReefMap This dataset contains input videos in MP4 format taken with GoPro Hero 10 Cameras in Reefs in the Red Sea to demonstrate the DeepReefMap tool, which is described in the paper "Scalable Semantic 3D Mapping of Coral Reefs with De ...

EPFL Infoscience2024

A class of 2-local finite spectra which admit a v1/2-self-map

Philip Egger

At the prime 2, Behrens, Hill, Hopkins and Mahowald showed that M-2 (1, 4) admits a 32-periodic v(2)-self-map. More recently, in joint work with Mahowald, we showed that A(1) also admits a 32-periodic v(2)-self-map. This leads to the question of whether th ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2020

Visual Analysis of Maya Glyphs via Crowdsourcing and Deep Learning

Gülcan Can

In this dissertation, we study visual analysis methods for complex ancient Maya writings. The unit sign of a Maya text is called glyph, and may have either semantic or syllabic significance. There are over 800 identified glyph categories, and over 1400 var ...

EPFL2017

Synthesizing efficient systems in probabilistic environments

Barbara Jobstmann, David Parker

We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...

Springer2016

Cuba, Best Practices: quel potentiel d'élargissement

The present article evaluates the knowledge that can be attributed to the application of « Best Practices » in the field of urban habitat. It especially aims at identifying the conditions of innovation in such a setting, as well as defining the necessary c ...

2007

Secretive Birds: Privacy in Population Protocols

Rachid Guerraoui, Eric Ruppert

We study private computations in a system of tiny mobile agents. We consider the mobile population protocol model of Angluin et al. [2] and ask what can be computed without ever revealing any input to a curious adversary. We show that any computable predic ...

2007

Algorithms for Interface Synthesis

Vasu Singh, Dirk Thilo Beyer

A temporal interface for a software component is a ﬁnite automaton that speciﬁes the legal sequences of calls to functions that are provided by the component. We compare and evaluate three different algorithms for automatically extracting temporal interfac ...

Springer2007

Identification of multi-input systems: variance analysis and input design issues

Dominique Bonvin, Alireza Karimi, Ljubisa Miskovic

This paper examines the identification of multi-input systems. Motivated by an experiment design problem (should one excite the various inputs simultaneously or separately), we examine the effect of an additional input on the variance of the estimated coef ...

2006