Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Type algébrique de données

Publications associées (25)

Contact networks across ages: computational analysis of epidemiological dynamics

Gianrocco Lazzari

For decades mathematical modeling in epidemiology has helped understanding the dynamics of infectious diseases, as well as describe possible intervention scenarios to prevent and control them. However, such models were relying on several assumptions, such ...

EPFL2020

From Trees to Barcodes and Back Again: Theoretical and Statistical Perspectives

Kathryn Hess Bellwald, Lida Kanari, Adélie Eliane Garin

Methods of topological data analysis have been successfully applied in a wide range of fields to provide useful summaries of the structure of complex data sets in terms of topological descriptors, such as persistence diagrams. While there are many powerful ...

2020

Interplay of intrinsic and extrinsic states in pinning and passivation of m-plane facets of GaN n-p-n junctions

Yi Wang, Nicolas Grandjean, Jean-François Carlin, Raphaël Butté

Intrinsic and extrinsic pinning and passivation of ...

AMER INST PHYSICS2020

Discrete choice and machine learning: Thomson and Thompson?

Michel Bierlaire

Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...

2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019