Abstract. We study a one-parameter family of countably piecewise linear interval maps, which, although Markov, fail the ‘large image property’. This leads to conservative as well as dissipative behaviour for different maps in the family with respect to Lebesgue. We investigate the transition between these two types, and study the associated thermodynamic formalism, describing in detail the seco...

We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family’s valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in...

For one parametric smooth family of pairs of control systems and profit densities on the circle, the transition between optimal strategies of cyclic and stationary types in the problem of maximization of infinite horizon averaged profit is studied. We show that only two types of such transition can be observed for a generic pair, study the corresponding singularities of the averaged profit as a...

Studies on members of protein families with similar structures but divergent sequences provide insights into the effects of sequence composition on the mechanism of folding. Members of the peripheral subunit-binding domain (PSBD) family fold ultrafast and approach the smallest size for cooperatively folding proteins. Phi-Value analysis of the PSBDs E3BD and POB reveals folding via nucleation-co...

BACKGROUND Family caregivers provide the stroke survivor with social support and continuity during the transition home from a rehabilitation facility. In this exploratory study we examined family caregivers' perceptions and experiences navigating the stroke rehabilitation system. The theories of continuity of care and complex adaptive systems were integrated to examine the transition from a str...

BACKGROUND Few studies have investigated transition programs and outcomes for young adults with disabilities as viewed from the parent perspective. The current Australian study provided a voice for parents to report on the experiences of and outcomes for young adults following their recent transition from school into post-school life. METHOD A mailed survey gathered statewide data from parent...

Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea of the approach is to approximate the optimal value function by a linear combination of basis functions and optimize it by linear programming. In this paper, we extend the existing HALP paradigm beyond the mixture of b...