Timed automata are a convenient framework for modelling and reasoning about real-time systems. While these models are now well-understood, they do not offer a convenient way of taking timing imprecisions into account. Several solutions (e.g. parametric guard enlargement) have been proposed over the last ten years to take such imprecisions into account. In this paper, we propose a novel approach...

This study was conducted to analyze Kosovo's most common parenting styles based on secondary school students' perceptions. There are four of parenting: 1) Authoritative parents, 2) authoritarian 3) Permissive, tolerant 4) uninvolved (negligent) parents. The concluded with students in two gymnasiums Klina and Gjakova. Out 1334 participants who took part the study, 848 were female, 486 male. A qu...

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system ...

The current war has, like past conflicts, presented the medical community with opportunities to innovate novel approaches to old problems. Although trauma anesthesia is provided adequately in the majority of cases, a standardized approach for treating these complex and critically ill patients is lacking. While this technique was developed for anesthesia in non-permissive environments, the princ...

This article presents the first version of a permissive graphical patcher (referred to in the text as SCPGP) dedicated to fluid interconnection and control of SuperCollider Synths. With SCPGP, the user programs her/his SynthDefs normally as code in the SuperCollider environment, along with a minimal amount of additional information on these SynthDefs, and programs Patterns according to a simple...

We propose a new approach for teaching a humanoid-robot a task online without pre-set data provided in advance. In our approach, human acts as a collaborator and also as a teacher. The proposed approach enables the humanoid-robot to learn a task through multi-component interactive architecture. The components are designed with the respect to human methodology for learning a task through empiric...

We introduce permissive nominal terms. Nominal terms are one way to extend first-order terms with binding. They lack some properties of firstand higher-order terms: Terms must be reasoned on in a context of ‘freshness assumptions’; it is not always possible to ‘choose a fresh variable symbol’ for a nominal term; and it is not always possible to ‘alpha-convert a bound variable symbol’. Permissiv...

Concanavalin A (Con A) concentration dependence of agglutinability of a mutant of Rous sarcoma virus which is temperature-sensitive for transformation was examined. Con A agglutinability of the virion was quantitatively expressed by measuring radioactivities of 60 to 70 S RNA extracted from Con A-agglutinated material. The mutant grown at a permissive temperature (35 degrees C) agglutinated at ...

Mononuclear cells which were isolated from rheumatoid synovial effusions and cultured without prior separation failed to support the growth of herpes simplex virus (HSV). However, subpopulations of T lymphocytes separated on the basis of cell size or receptors for sheep red cells were, in isolation, permissive for this virus. Virus growth in these permissive cells was blocked by cocultivation w...

This paper examines the debate between permissive and impermissive forms of Bayesianism. It briefly discusses some considerations that might be offered by both sides of the debate, and then replies to some new arguments in favor of impermissivism offered by Roger White. First, it argues that White’s (2010) defense of Indifference Principles is unsuccessful. Second, it contends that White’s (200...