‎In wireless communication systems‎, ‎space-time codes are applied to encode data when multiple antennas are used in the receiver and transmitter‎. ‎The concept of diversity is very crucial in designing space-time codes‎. ‎In this paper‎, ‎using the equivalent definition of full diversity space-time codes‎, ‎we first characterize all real and complex $2times 2$ rate one linear dispersion space-...

this is a longitudinal case study of two farsi-speaking children learning english: ‘bernard’ and ‘melissa’, who were 7;4 and 8;4 at the start of data collection. the research deals with the initial state and further development in the child second language (l2) acquisition of syntax regarding the presence or absence of copula as a functional category, as well as the role and degree of l1 influe...

Phase–correlated CT is the measurement of an organ that exhibits quasi–periodic motion. Dedicated image reconstruction algorithms utilize only those data ranges that have been acquired within the desired motion phase and achieve to produce motion free image data. Dynamic CT means covering an organ of interest multiple times to monitor the concentration of contrast agents over the time. Thus inf...

Zusammenfassung Dieser Beitrag beschreibt den Nachweis von KontrollflußEigenschaften von Algorithmen, wie z. B. Terminierung, mittels Modellprüfung temporaler Logik. Der Algorithmus wird dabei durch einen endlichen abstrakten Automaten modelliert, dessen Zustände beschreiben, an welcher Stelle sich der Kontrollfluß momentan im Algorithmus befindet. Das Verfahren wird anhand der Spezifikation ei...

A main challenge in radiotherapy is to precisely take into account organs deformation and motion in order to adapt the treatment to each patient. This is particularly important in lung cancer where breathing leads to large displacements. In this work, breath holding techniques (with Active Breath Control device) were used to reduce movements during treatment. We study thorax and lung deformatio...

We study ex post information rents in sequential screening models where the agent receives private ex ante and ex post information. The principal has to pay ex post information rents for preventing the agent to coordinate lies about his ex ante and ex post information. When the agent’s ex ante information is discrete, these rents are positive, whereas they are zero in continuous models. Consequ...

Lambeosaurine hadrosaurs are duck-billed dinosaurs known for their large head crests, which researchers hypothesize were resonators for vocal calls. This paper describes the motivation and process of iteratively designing a musical instrument and interactive sound installation based on imagining the sounds of this extinct dinosaur. We used scientific research as a starting point to create a mea...