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

Concept

Heyting arithmetic

Related publications (6)

chi-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Mark Pauly, Florin Isvoranu, Francis Julian Panetta

The chi-Shells is a new kind of deployable reticulated shells that has features comparable to other traditional shells. Its deployment uses the mechanical properties of a beam grid to generate a three-dimensional shape. This new generation of reticulated s ...

INT CENTER NUMERICAL METHODS ENGINEERING2019

X-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Mark Pauly, Florin Isvoranu, Francis Julian Panetta

The χ-Shells is a new kind of deployable reticulated shells that has features comparable to other traditional shells. Its deployment uses the mechanical properties of a beam grid to generate a three-dimensional shape. This new generation of reticulated she ...

International Association for Shell and Spatial Structures (IASS)2019

Cryptographic Hash Functions in Groups and Provable Properties

Juraj Sarinay

We consider several "provably secure" hash functions that compute simple sums in a well chosen group (G,*). Security properties of such functions provably translate in a natural way to computational problems in G that are simple to define and possibly also ...

EPFL2011

Distributed Coverage: From Deterministic to Probabilistic Models

Alcherio Martinoli, Nicolaus Correll

For the multi-robot coverage problem determin- istic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide provable completeness and promise good performance under perfect conditions, probabil ...

2007

Robust Distributed Coverage using a Swarm of Miniature Robots

Alcherio Martinoli, Nicolaus Correll

For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide provable completeness and promise good performance under perfect conditions, probabilis ...

2007

The TopModL Initiative

Frédéric Fondement

We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an open-source initiative, with the goal of building a development community to p ...

2005

Related publications (6)