Priority-based Functional Reactive Programming (P-FRP) has been recently introduced as a new functional programming formalism for real-time systems. P-FRP allows static priority assignment and guarantees real-time response by preempting lower priority tasks. Due to the state-less nature of functional programs, preempted tasks in P-FRP are aborted and restarted after the higher priority tasks ha...

A plasticity model to predict the behavior of confined concrete is developed. The model is designed to implicitly account for the increase in strength and ductility due to confining a concrete member. The concrete model is implemented into a finite element (FE) model. By implicitly including the change in the strength and ductility in the material model, the confining material can be explicitly...

STUDY DESIGN Randomized parallel group comparative trial with a 1-year follow-up period. OBJECTIVE To compare in a population of patients with chronic low back pain, the effectiveness of a functional restoration program (FRP), including intensive physical training and a multidisciplinary approach, with an outpatient active physiotherapy program at 1-year follow-up. SUMMARY OF BACKGROUND DAT...

The paper discusses the results of an experimental investigation carried out on reinforced concrete (RC) beams strengthened in shear by externally bonded fiber reinforced plastic (FRP) sheets. The study is devoted to analyze the role that the transverse steel reinforcement and the beam slenderness ratio could play on the resistant mechanism of RC beams strengthened in shear by FRP composites. T...

Linear-time temporal logic (LTL) and functional reactive programming (FRP) are related via a Curry–Howard correspondence. Based on this observation, we develop a common categorical semantics for a subset of LTL and its corresponding flavor of FRP. We devise a class of categorical models, called fan categories, that explicitly reflect the notion of time-dependent trueness of temporal proposition...

Post-tetanic potentiation (PTP) at the calyx of Held synapse is caused by increases not only in release probability (P(r)) but also in the readily releasable pool size estimated from a cumulative plot of excitatory post-synaptic current amplitudes (RRP(cum)), which contribute to the augmentation phase and the late phase of PTP, respectively. The vesicle pool dynamics underlying the latter has n...

The successful validation of a numerical model is presented that can realistically approximate the shear behaviour of reinforced concrete (R/C) rectangular beams strengthened against shear with externally applied open hoop fibre reinforcing polymer (FRP) strips. For this purpose, the measured load-deformation response of ten (10) full-scale R/C beam specimens is utilised. These specimens were l...