Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
Shuhei Miyashita, Flurin Casanova, Max Lungarella,...
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
— In an opportunistic spectrum sharing (OSS) wireless network there are two types of users: primary users and secondary users. The primary users own the license for the system ba...
Weblog is increasingly important over time with researchers anxious to learn why millions of Internet users are so eager to post their own diary on the web everyday. This study co...
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...