Publications associées à Every Elementary Higher Topos Has A Natural Number Object

Effects of item distinctiveness on the retrieval of objects and object-location bindings from visual working memory

Visual working memory (VWM) is prone to interference from stored items competing for its limited capacity. Distinctiveness or similarity of the items is acknowledged to affect this competition, such that poor item distinctiveness causes a failure to discri ...

2022

Safe initialization of objects

Fengyun Liu

The inception of object-oriented programming introduces a category of bugs related to object construction: initialization errors. Every newly created object goes through several initialization states: starting from a state where all fields are uninitialize ...

EPFL2020

Safe Initialization of Objects

Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...

2020

A Type-and-Effect System for Object Initialization

Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...

ASSOC COMPUTING MACHINERY2020

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Nicolas Henry Pierre Louis Rogeau, Aryan Rezaei Rad, Petras Vestartas, Henry V. Burton

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

The effect of “objecthood” in the Ebbinghaus illusion

Michael Herzog, Aline Françoise Cretenoud, Einat Rashal

In the Ebbinghaus illusion, observers overestimate the size of a target when it is surrounded by large flakers and compared with a control target surrounded by small flankers. We examined whether “objecthood” – the degree to which an object is a cohesive e ...

2017

Versatile soft grippers with intrinsic electroadhesion based on multifunctional polymer actuators

Dario Floreano, Herbert Shea, Samuel Rosset, Jun Shintake, Bryan Edward Schubert

A highly versatile soft gripper that can handle an unprecedented range of object types is developed based on a new design of dielectric elastomer actuators employing an interdigitated electrode geometry, simultaneously maximizing both electroadhesion and e ...

Wiley-V C H Verlag Gmbh2016

StreamFlow 1.0: an extension to the spatially distributed snow model Alpine3D for hydrological modelling and deterministic stream temperature prediction

Michael Lehning, Wolf Hendrik Huwald, Francesco Comola, Tristan Jonas Brauchli, Mathias Thierry Pierre Bavay, Aurélien Gallice

Climate change is expected to strongly impact the hydrological and thermal regimes of Alpine rivers within the coming decades. In this context, the development of hydrological models accounting for the specific dynamics of Alpine catchments appears as one ...

Copernicus Gesellschaft Mbh2016

Computational Approach to the Geometry of Compact Riemann Surfaces

Manuel Racle

The goal of this document is to provide a generalmethod for the computational approach to the topology and geometry of compact Riemann surfaces. The approach is inspired by the paradigms of object oriented programming. Our methods allow us in particular to ...

EPFL2013

Location System and Corresponding Calibration Method

Pierre-André Farine, Cyril Botteron, Phillip Tomé

The present invention relates to a location system, for locating at least one object within a predefined cell, comprising at least first and second receivers (A, B, C, D), first and second transmitters respectively, including first and second internal cloc ...

2012