We analyze the impact of leniency programs on the behavior of firms participating in illegal cartel agreements in a two-stage repeated game model. Our approach takes into account asymmetric punishment effect and allows to discuss the design of leniency programs in the setting with asymmetries. The main contribution of the paper is that we consider heterogeneous firms. This heterogeneity results...

Problem: Epidemiologic studies show that social anxiety is among the most prevalent of all mental disorders and very less attention has been given to this area. Methods: The purpose of this exploratory study was to identify the adolescents with social anxiety and teach the JPMR technique to those who would score high on social anxiety scale. The data were collected from 193 high school adolesce...

The aim of a distributed checkpointing algorithm is to efficiently restore the execution state of distributed applications in face of hardware or software failures. Originally, such algorithms were devised for fixed networking systems, of which computing components communicate with each other via wired networks. Therefore, those algorithms usually suffer from heavy networking costs coming from ...

The purpose of this study was to investigate whether perceived parenting practices and parenting style dimensions (strictness and involvement) are associated with adolescents' consumption of sugar-sweetened beverages. In this cross-sectional study, secondary school students (n = 383, mean age 13.5 years) completed a self-administered questionnaire on their consumption of sugar-sweetened beverag...

A system based on the notion of a flow graph is used to specify formally and to implement a compiler for a lazy functional language. The compiler takes a simple functional language as input and generates C. The generated C program can then be compiled, and loaded with an extensive run-time system to provide the facility to experiment with different analysis techniques. The compiler provides a s...

We study the strictness of the modal μ-calculus hierarchy over some restricted classes of transition systems. First, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite models. Second, we prove that over transitive systems the hierarchy collapses to the alternation-free fragment. In order to do t...