Polynomial Interrupt Timed Automata

Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They are well suited to model and analyze real-time operating systems. Here we extend ITA with polynomial guards and updates, leading to the class of polynomial ITA (PolITA). We prove the decidability of the reachability and model checking of a timed version of CTL by an adaptation of the cylindrical decomposition method for the first-order theory of reals. Compared to previous approaches, our procedure handles parameters and clocks in a unified way. Moreover, we show that PolITA are incomparable with stopwatch automata. Finally additional features are introduced while preserving decidability

Osteochondral impaction of the posterior acetabular surface without cortical fracture of any wall or column: an undescribed pattern of acetabular injury

Surgical treatment of a unusual acetabular fracture is described. This fracture was characterized by impaction and breaking down of the posterior articular surface and comminution of lamina quadrilatera lower portion, without cortical fracture of both columns. The fracture was treated surgically through the Kocher–Langenbeck approach. A small hole was created in the acetabulum posterior wall, the impacted fragment was reduced, and the bone defect was filled with autologous bone from the greater trochanter. A plate was shaped in order to fix both bone graft and fractured fragment

Relationship between disease course in the temporomandibular joints and mandibular growth rotation in patients with juvenile idiopathic arthritis followed from childhood to adulthood

<p>Abstract</p> <p>Objective</p> <p>To investigate the relationship between radiographic JIA disease course in the TMJs and mandibular growth rotation, compared with growth in healthy individuals.</p> <p>Methods</p> <p>From a larger series of JIA patients followed from childhood to adulthood, 26 were included; 11 without and 15 with bilateral radiographic TMJ involvement. Joint morphology and function were assessed at baseline, 2-, 4-, 6- and 27 years follow-up. Mandibular growth rotation (anterior, posterior or none) was assessed from cephalometric evaluations at childhood and adulthood, with observations from 16 healthy individuals as controls. TMJ disease course and mandibular growth rotation were assessed independently and their relationship analysed. Non-parametric statistical methods were applied to test differences between groups.</p> <p>Results</p> <p>In the normal TMJ group of JIA patients the joint morphology was similar at the follow-ups and all patients had good function both in childhood and in adulthood. The mandibular growth rotation was similar to that of healthy controls, i.e. predominantly in anterior direction. In the abnormal TMJ group different JIA TMJ disease courses were observed and associated with changes in the mandibular growth rotation (p = 0.007).</p> <p>Progressing JIA TMJ disease course was related to posterior mandibular growth rotation and improving disease course to anterior mandibular growth rotation.</p> <p>Conclusion</p> <p>A relationship was found between JIA disease course in the TMJs and mandibular growth rotation, suggesting that a favourable growth could be regained in patients with improvement in TMJ morphology and/or TMJ function. To confirm this, further research on larger patient series is needed.</p

Getting into hot water:sick guppies frequent warmer thermal conditions

Ectotherms depend on the environmental temperature for thermoregulation and exploit thermal regimes that optimise physiological functioning. They may also frequent warmer conditions to up-regulate their immune response against parasite infection and/or impede parasite development. This adaptive response, known as ‘behavioural fever’, has been documented in various taxa including insects, reptiles and fish, but only in response to endoparasite infections. Here, a choice chamber experiment was used to investigate the thermal preferences of a tropical freshwater fish, the Trinidadian guppy (Poecilia reticulata), when infected with a common helminth ectoparasite Gyrodactylus turnbulli, in female-only and mixed-sex shoals. The temperature tolerance of G. turnbulli was also investigated by monitoring parasite population trajectories on guppies maintained at a continuous 18, 24 or 32 °C. Regardless of shoal composition, infected fish frequented the 32 °C choice chamber more often than when uninfected, significantly increasing their mean temperature preference. Parasites maintained continuously at 32 °C decreased to extinction within 3 days, whereas mean parasite abundance increased on hosts incubated at 18 and 24 °C. We show for the first time that gyrodactylid-infected fish have a preference for warmer waters and speculate that sick fish exploit the upper thermal tolerances of their parasites to self medicate

Selection for Replicases in Protocells

PMCID: PMC3649988This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Bilateral Multi-Electrode Neurophysiological Recordings Coupled to Local Pharmacology in Awake Songbirds

Here we describe a protocol for bilateral multielectrode neurophysiological recordings during intracerebral pharmacological manipulations in awake songbirds. This protocol encompasses fitting adult animals with head-posts and recording chambers, and acclimating them to periods of restraint. The adaptation period is followed by bilateral penetrations of multiple electrodes to obtain acute, sensory-driven neurophysiological responses before versus during the application of pharmacological agents of interest. These local manipulations are achieved by simultaneous and restricted drug infusions carried out independently for each hemisphere. We have used this protocol to elucidate how neurotransmitter and neuroendocrine systems shape the auditory and perceptual processing of natural, learned communication signals. However, this protocol can be used to explore the neurochemical basis of sensory processing in other small vertebrates. Representative results and troubleshooting of key steps of this protocol are presented. Following the animal\u27s recovery from head-post and recording chamber implantation surgery, the length of the procedure is 2 d

Gravitational Waves from Gravitational Collapse

Gravitational wave emission from the gravitational collapse of massive stars has been studied for more than three decades. Current state of the art numerical investigations of collapse include those that use progenitors with realistic angular momentum profiles, properly treat microphysics issues, account for general relativity, and examine non--axisymmetric effects in three dimensions. Such simulations predict that gravitational waves from various phenomena associated with gravitational collapse could be detectable with advanced ground--based and future space--based interferometric observatories.Comment: 68 pages including 13 figures; revised version accepted for publication in Living Reviews in Relativity (http://www.livingreviews.org

Hierarchy Theory of Evolution and the Extended Evolutionary Synthesis: Some Epistemic Bridges, Some Conceptual Rifts

Contemporary evolutionary biology comprises a plural landscape of multiple co-existent conceptual frameworks and strenuous voices that disagree on the nature and scope of evolutionary theory. Since the mid-eighties, some of these conceptual frameworks have denounced the ontologies of the Modern Synthesis and of the updated Standard Theory of Evolution as unfinished or even flawed. In this paper, we analyze and compare two of those conceptual frameworks, namely Niles Eldredge’s Hierarchy Theory of Evolution (with its extended ontology of evolutionary entities) and the Extended Evolutionary Synthesis (with its proposal of an extended ontology of evolutionary processes), in an attempt to map some epistemic bridges (e.g. compatible views of causation; niche construction) and some conceptual rifts (e.g. extra-genetic inheritance; different perspectives on macroevolution; contrasting standpoints held in the “externalism–internalism” debate) that exist between them. This paper seeks to encourage theoretical, philosophical and historiographical discussions about pluralism or the possible unification of contemporary evolutionary biology

Rituximab in B-Cell Hematologic Malignancies: A Review of 20 Years of Clinical Experience

Rituximab is a human/murine, chimeric anti-CD20 monoclonal antibody with established efficacy, and a favorable and well-defined safety profile in patients with various CD20-expressing lymphoid malignancies, including indolent and aggressive forms of B-cell non-Hodgkin lymphoma. Since its first approval 20 years ago, intravenously administered rituximab has revolutionized the treatment of B-cell malignancies and has become a standard component of care for follicular lymphoma, diffuse large B-cell lymphoma, chronic lymphocytic leukemia, and mantle cell lymphoma. For all of these diseases, clinical trials have demonstrated that rituximab not only prolongs the time to disease progression but also extends overall survival. Efficacy benefits have also been shown in patients with marginal zone lymphoma and in more aggressive diseases such as Burkitt lymphoma. Although the proven clinical efficacy and success of rituximab has led to the development of other anti-CD20 monoclonal antibodies in recent years (e.g., obinutuzumab, ofatumumab, veltuzumab, and ocrelizumab), rituximab is likely to maintain a position within the therapeutic armamentarium because it is well established with a long history of successful clinical use. Furthermore, a subcutaneous formulation of the drug has been approved both in the EU and in the USA for the treatment of B-cell malignancies. Using the wealth of data published on rituximab during the last two decades, we review the preclinical development of rituximab and the clinical experience gained in the treatment of hematologic B-cell malignancies, with a focus on the well-established intravenous route of administration. This article is a companion paper to A. Davies, et al., which is also published in this issue