Background: B-cell lymphoblastic leukaemia (B-ALL) is a malignancy of immature B-cells with several described recurrent genetic abnormalities. These have distinct clinico-pathological associations and show regional variation in prevalence. In all previously reported series, the translocation t(1;19) uncommon, comprising 40 years age, but also 8.1% children. Crude survival rates were overall poo...

Automatic Repeat Request (ARQ) is a control error mechanism based on the retransmissions of lost packet. This mechanism is adequate for an important number of communication protocols where reliability is of prime importance. Formal methods are indispensable for the development of these protocols in order to ensure their correctness. In this paper, we study the practical aspects of applying Even...

Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; fr...

trace language Abstract a trace language L by reducing it w.r.t. a behavior pattern Ba trace language L by reducing it w.r.t. a behavior pattern B

We present a bit-parallel approach to degenerated approximate pattern matching problem. That is the problem of finding approximate matches of a “special” pattern in a text of degenerate symbols. The special pattern P = s1 ∗ (a1,b1) . . . sl ∗ (al,bl) sl+1 ∗ (al+1,bl+1) . . . sω, such that symbol ∗ (a,b) is a sequence of at most b but at least a “don’t care” symbols which match any symbol within...

Key points • Expressed by the physiological phasic events of NREM sleep, including arousals, cyclic alternating pattern represents the most complex arrangement of sleep microstructure. • Cyclic alternating pattern is organized in sequences organized in successive cycles. Each cyclic alternating pattern cycle is composed of a phase A (phasic events) and a phase B (background rhythm). • Cyclic al...

Neuromodulation is often thought to have a static, gain-setting function in neural circuits. Here we report a counter example: the neuromodulatory effect of a serotonergic neuron is dependent on the interval between its spikes and those of the neuron being modulated. The serotonergic dorsal swim interneurons (DSIs) are members of the escape swim central pattern generator (CPG) in the mollusk Tr...

UNLABELLED (11)C-ABP-688 is a selective tracer for the mGluR5 receptor. Its kinetics is fast and thus favourable for an equilibrium approach to determine receptor-related parameters. The purpose of this study was to test the hypothesis that the pattern of the (11)C-ABP688 uptake using a bolus-plus-infusion (B/I) protocol at early time points corresponds to the perfusion and at a later time poin...