Publications related to 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, Ondrej Lhoták, Paolo Giosuè Giarrusso

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, Ondrej Lhoták, Paolo Giosuè Giarrusso

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, Aryan Rezaei Rad, Henry V. Burton, Petras Vestartas, Nicolas Henry Pierre Louis Rogeau

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, Samuel Rosset, Herbert Shea, 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

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

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, Phillip Tomé, Cyril Botteron

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

Vehicle recognition from multi-spectral and LiDAR elevation data with object-oriented analysis

André-Gilles Dumont, Sofia Samoili

This research study addresses issues of transport modeling aiming to the recognition of vehicles, with perspective to generate a knowledge base for an automatic recognition of vehicles from similar type of data. Based on two datasets consisted of multi-spe ...

2011

Object Duplicate Detection

Péter Vajda

With the technological evolution of digital acquisition and storage technologies, millions of images and video sequences are captured every day and shared in online services. One way of exploring this huge volume of images and videos is through searching a ...

EPFL2011

Compression with Graphical Constraints: An Interactive Browser

Amin Karbasi, Morteza Zadimoghaddam

We study the problem of navigating/searching through a database of objects with potentially different popularities using a membership oracle. The membership oracle, given a subset of objects

A

, and a target object

t

, determines whether

A

contains

t

...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Pose Estimation for Category Specific Multiview Object Localization

Pascal Fua, Vincent Lepetit, Mustafa Özuysal

We propose an approach to overcome the two main challenges of 3D multiview object detection and localization: The variation of object features due to changes in the viewpoint and the variation in the size and aspect ratio of the object. Our approach procee ...

IEEE2009

Multi-view video segmentation and tracking for video surveillance

Touradj Ebrahimi, Frédéric Dufaux, Thien Ha Minh, Gelareh Mohammadi

Tracking moving objects is a critical step for smart video surveillance systems. Despite the complexity increase, multiple camera systems exhibit the undoubted advantages of covering wide areas and handling the occurrence of occlusions by exploiting the di ...

2009

Failure detectors as type boosters

Rachid Guerraoui

The power of an object type T can be measured as the maximum number n of processes that can solve consensus using only objects of T and registers. This number, denoted cons(T), is called the consensus power of T. This paper addresses the question of the we ...

Springer-Verlag2008

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007

A Variational Model for Object Segmentation Using Boundary Information and Shape Prior Driven by the Mumford-Shah Functional

Jean-Philippe Thiran, Pierre Vandergheynst, Xavier Bresson

In this paper, we propose a new variational model to segment an object belonging to a given shape space using the active contour method, a geometric shape prior and the Mumford-Shah functional. The core of our model is an energy functional composed by thre ...

Springer, Kluwer Academic Publishers2006