Page web dynamique

Applied sciences
Génie informatique
Réseau informatique
Navigateur web

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

The Dark Energy Survey: Data Release 1

Eduardo Sanchez, Xin Chen, Vanda Carla Costa Grisel, Aaron James Rossini, Yi Zhang, Jonathan Andrew Blazek, Jennifer Kaitlyn Olsen, Xi Chen, Augusto Martins Lima, Juan Andrei Villarroel Fernandez, Vikram Vinayak Karve, Josiane Angèle Charlotte Smith-Clerc, Craig Matthew Smith

We describe the first public data release of the Dark Energy Survey, DES DR1, consisting of reduced single-epoch images, co-added images, co-added source catalogs, and associated products and services assembled over the first 3 yr of DES science operations ...

IOP PUBLISHING LTD2018

Generalization of the Concept of Extents to Distributed Reaction Systems

Dominique Bonvin, Julien Léo Billeter, Diogo Filipe Mateus Rodrigues

In the chemical industry, a large class of processes involving reactions can be described by partial differential equations that depend on time and on one or more spatial coordinates. Examples of such distributed reaction systems are tubular reactors and r ...

Elsevier2017

A General Framework for Sensor Placement in Source Localization

Patrick Thiran, Brunella Marta Spinelli, Laura Elisa Celis

When an epidemic spreads in a given network of individuals or communities, can we detect its source using only the information provided by a small set of nodes? We propose a general framework that incorporates two dimensions. First, we can either rely excl ...

2019

LMS-Verify: Abstraction without Regret for Verified Systems Programming’

Tiark Rompf, Nada Amin

Performance critical software is almost always developed in C, as programmers do not trust high-level languages to deliver the same reliable performance. This is bad because low-level code in unsafe languages attracts security vulnerabilities and because d ...

Assoc Computing Machinery2017

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Towards a highly effective and robust Web credibility evaluation system

Karl Aberer, Xin Liu

By leveraging crowdsourcing, Web credibility evaluation systems (WCESs) have become a promising tool to assess the credibility of Web content, e.g., Web pages. However, existing systems adopt a passive Way to collect users' credibility ratings, which incur ...

Elsevier Science Bv2015

Wikipedia Chemical Structure Explorer: substructure and similarity searching of molecules from Wikipedia

Luc Patiny, Michaël Giuseppe Zasso

Background: Wikipedia, the world's largest and most popular encyclopedia is an indispensable source of chemistry information. It contains among others also entries for over 15,000 chemicals including metabolites, drugs, agrochemicals and industrial chemica ...

Biomed Central Ltd2015

Page 2 sur 2