Concept

Méthode cangjie

Publications associées (43)

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

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Rodrigo Raya

We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our decomposition to obtain ...

2023

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

Rodrigo Raya

We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...

2023

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects.Sem ...

EPFL2023

Reproducibility dataset for CRYOWRF validation

Varun Sharma, Michael Lehning, Franziska Gerber

This dataset contains data and scripts for "CRYOWRF - a validation and the effect of blowing snow on the Antarctic SMB" (Gerber et al., 2022).* Simulation_setup: Namelists and input information to run the simulation. Some input files need to be downloaded ...

EPFL Infoscience2022

The Role of Hydraulic Failure in a Massive Mangrove Die-Off Event

Alice Jacqueline Frédérique Gauthey

Between late 2015 and early 2016, more than 7,000 ha of mangrove forest died along the coastline of the Gulf of Carpentaria, in northern Australia. This massive die-off was preceded by a strong 2015/2016 El Nino event, resulting in lower precipitation, a d ...

FRONTIERS MEDIA SA2022

Learning of physical systems: from inference to control

Babak Rahmani

To characterize a physical system to behave as desired, either its underlying governing rulesmust be known a priori or the system itself be accurately measured. The complexity of fullmeasurements of the system scales with its size. When exposed to real-wor ...

EPFL2022

Visual Focus of Attention Estimation in 3D Scene with an Arbitrary Number of Targets

Jean-Marc Odobez, Rémy Alain Siegfried

Visual Focus of Attention (VFOA) estimation in conversation is challenging as it relies on difficult to estimate information (gaze) combined with scene features like target positions and other contextual information (speaking status) allowing to disambigua ...

IEEE COMPUTER SOC2021

Computational Design of Steady 3D Dissection Puzzles

Bailin Deng, Peng Song, Xiaofei Wang

Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop ...

WILEY2019

An open platform for Aerosol InfraRed Spectroscopy analysis - AIRSpec

Satoshi Takahama, Matteo Reggente, Rudolf Höhn

AIRSpec is a platform consisting of several chemometric packages developed for analysis of Fourier transform infrared (FTIR) spectra of atmospheric aerosols. The packages are accessible through a browser-based interface, which also generates the necessary ...

2019

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