Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...
Katayon Radkhah, Stefan Kurowski, Thomas Lens, Osk...
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
Marcel van Amstel, Mark van den Brand, Luc Engelen
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Background: GPR17 is a G-protein-coupled receptor located at intermediate phylogenetic position between two distinct receptor families: the P2Y and CysLT receptors for extracellul...
Chiara Parravicini, Graziella Ranghino, Maria P. A...