We give a complete classification of torsion pairs in the cluster category of Dynkin type Dn, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type Dn by providing their generating function explicitly.

|An abstract algorithm speci cation with idealized arithmetic must be made concrete with realistic arithmetic in the nal phase of the \algorithm-toimplementation" design process in order to assess power consumption, hardware cost, and execution speed. In this paper, an infrastructure for re ning an idealized model to get an architecture-dependent speci cation with nite precision is introduced. ...

Current tools for design and implementation of embedded systems lack sufficient support for handling the different development phases. These phases usually include design of control laws, supervision logic, real-time task scheduling, modeling of communication, etc. The heterogeneity of modern embedded control systems puts high demands on design and simulation tools. Many control systems are hyb...

Wireless Sensor Networks(WSN) are battery powered. Hence every aspect of WSN is to be designed with energy constrain. Communication is the largest consumer of energy in WSN. Hence energy consumption during communication must be reduced to the minimum possible. This paper focuses on reduced energy consumption on communication. Classification techniques are used to classify sensor data to reduce ...

Introduction: Launched in 2004, and having awoken from deep space hibernation early in 2014, the Rosetta spacecraft [1] arrived at the comet designated 67P/Churyumov-Gerasimenko [2] on 6 August 2014. The spacecraft is currently in orbit around the comet and will hopefully continue to provide high quality science data for several more months to come. On 12 November 2014 the Philae lander element...

A MoC with push and pull processing 2 A MoC with push and pull processing 3 Abstract This report studies a model of computation (MoC) that supports Push-Pull communication between software components. Push represents message transfer that is initiated by the producer. On the contrast, Pull represents message transfer that is initiated by the consumer. Push-Pull messaging mechanisms have been us...