Publication

A Type-and-Effect System for Object Initialization

Related publications (47)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Electroadhesive gripping system and method for gripping an object

Herbert Shea, Vito Cacucciolo, Krishna Manaswi Digumarti

An electroadhesive gripping system and a method for gripping and manipulating an object are disclosed. The invention provides a novel approach particularly useful to pick fabrics or otherwise flat and flexible objects including a method relying on electroa ...

2023

This article proposes a reflection on the company towns’ actual conditions, presenting as a case study an up-to-date and articulated reconstruction of the conditions of habitability in Dalmine, Italy. The research strives on the phenomenon of company towns ...

Marsilio2022

Wrist-driven passive grasping: interaction-based trajectory adaption with a compliant anthropomorphic hand

Josephine Anna Eleanor Hughes, Kieran Daniel Gilday

The structure of the human musculo-skeletal systems shows complex passive dynamic properties, critical for adaptive grasping and motions. Through wrist and arm actuation, these passive dynamic properties can be exploited to achieve nuanced and diverse envi ...

IOP Publishing Ltd2021

Probabilistic Tracklet Scoring and Inpainting for Multiple Object Tracking

Mathieu Salzmann, Fatemehsadat Saleh

Despite the recent advances in multiple object tracking (MOT), achieved by joint detection and tracking, dealing with long occlusions remains a challenge. This is due to the fact that such techniques tend to ignore the long-term motion information. In this ...

IEEE COMPUTER SOC2021

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

ASSOC COMPUTING MACHINERY2020

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

, ,

The 3D localisation of an object and the estimation of its properties, such as shape and dimensions, are challenging under varying degrees of transparency and lighting conditions. In this paper, we propose a method for jointly localising container-like obj ...

2020

We investigate the impact of more realistic room simulation for training far-field keyword spotting systems without fine-tuning on in-domain data. To this end, we study the impact of incorporating the following factors in the room impulse response (RIR) ge ...

IEEE2020

Modular Total Synthesis and Cell-Based Anticancer Activity Evaluation of Ouabagenin and Other Cardiotonic Steroids with Varying Degrees of Oxygenation

Yimon Aye

A Cu(II)-catalyzed diastereoselective Michael/aldol cascade approach is used to accomplish concise total syntheses of cardiotonic steroids with varying degrees of oxygenation including cardenolides ouabagenin, sarmentologenin, 19-hydroxysarmentogenin, and ...

AMER CHEMICAL SOC2019