Automated Analysis of Concurrent and Real-Time Software

This paper surveys the current status of our work on automated anal-ysis of the logical and timing properties of concurrent software based on the constrained expression approach. It describes our analysis toolset, reports some extremely encouraging results of using the toolset to ana-lyze logical properties of nontrivial concurrent systems, and discusses the modifications we have made to the toolset to apply it to analyzing tim-ing properties. It then outlines ongoing and planned research directed at further improving these methods

Damage function for historic paper. Part I: Fitness for use

Background In heritage science literature and in preventive conservation practice, damage functions are used to model material behaviour and specifically damage (unacceptable change), as a result of the presence of a stressor over time. For such functions to be of use in the context of collection management, it is important to define a range of parameters, such as who the stakeholders are (e.g. the public, curators, researchers), the mode of use (e.g. display, storage, manual handling), the long-term planning horizon (i.e. when in the future it is deemed acceptable for an item to become damaged or unfit for use), and what the threshold of damage is, i.e. extent of physical change assessed as damage. Results In this paper, we explore the threshold of fitness for use for archival and library paper documents used for display or reading in the context of access in reading rooms by the general public. Change is considered in the context of discolouration and mechanical deterioration such as tears and missing pieces: forms of physical deterioration that accumulate with time in libraries and archives. We also explore whether the threshold fitness for use is defined differently for objects perceived to be of different value, and for different modes of use. The data were collected in a series of fitness-for-use workshops carried out with readers/visitors in heritage institutions using principles of Design of Experiments. Conclusions The results show that when no particular value is pre-assigned to an archival or library document, missing pieces influenced readers/visitors’ subjective judgements of fitness-for-use to a greater extent than did discolouration and tears (which had little or no influence). This finding was most apparent in the display context in comparison to the reading room context. The finding also best applied when readers/visitors were not given a value scenario (in comparison to when they were asked to think about the document having personal or historic value). It can be estimated that, in general, items become unfit when text is evidently missing. However, if the visitor/reader is prompted to think of a document in terms of its historic value, then change in a document has little impact on fitness for use

Micrositing variability and mean flow scaling for marine turbulence in Ramsey Sound

We present turbulence results from two acoustic Doppler current profiler measurement campaigns carried out in Ramsey Sound at two locations within 50mof one another. The first measurements were taken in 2009 and the second in 2011; both include a complete spring–neap cycle. In this paper we characterise turbulence through turbulent kinetic energy (TKE) density and integral lengthscales and their relationships with one another and with mean flow parameters. We briefly describe the methods used to calculate these parameters. We find that a flood–ebb asymmetry is present in the data from both measurement campaigns, but although the flood tides are similar at both locations, the ebb tides are much more energetic in the 2011 data than the 2009 data. We suggest that this may be due to differences in seabed features between the two measurement locations. Dimensional analysis is employed to investigate how TKE scales with mean flow velocity; we find that the expected quadratic scaling is not well supported by the data at either measurement location. As a consequence, flows that have more energetic turbulence may instead appear to be less turbulent if judged by turbulence intensity. We investigate the correlation between lengthscales and TKE density and find that it is highly site-specific: it should not be assumed that for a given measurement location highly energetic turbulence is associated with larger flow structures or vice versa

Local host-dependent persistence of the entomopathogenic nematode Steinernema carpocapsae used to control the large pine weevil Hylobius abietis

Entomopathogenic nematodes (EPN) applied inundatively to suppress insect pests are more likely to persist and establish in stable agroecosystems than in annual crops. We investigated a system of intermediate stability: three stumps harbouring the large pine weevil (Hylobius abietis L.; Coleoptera: Curculionidae), a major European forestry pest. We tested whether persistence of EPN Steinernema carpocapsae Weiser (Rhabditida: Steinernematidae) applied around stumps is maintained by recycling of EPN through pine weevils developing within stumps. Steinernema carpocapsae was detected in soil around and under the bark of treated tree stumps up to two years, but not 4–5 years after application. Differences in nematode presence between sites were better explained by tree species (pine or spruce) than soil type (mineral or peat). Presence of S. carpocapsae in soil was positively correlated with the number of H. abietis emerging from untreated stumps the previous year, which was greater for pine stumps than spruce stumps

Selective scattering between Floquet-Bloch and Volkov states in a topological insulator

The coherent optical manipulation of solids is emerging as a promising way to engineer novel quantum states of matter. The strong time periodic potential of intense laser light can be used to generate hybrid photon-electron states. Interaction of light with Bloch states leads to Floquet-Bloch states which are essential in realizing new photo-induced quantum phases. Similarly, dressing of free electron states near the surface of a solid generates Volkov states which are used to study non-linear optics in atoms and semiconductors. The interaction of these two dynamic states with each other remains an open experimental problem. Here we use Time and Angle Resolved Photoemission Spectroscopy (Tr-ARPES) to selectively study the transition between these two states on the surface of the topological insulator Bi2Se3. We find that the coupling between the two strongly depends on the electron momentum, providing a route to enhance or inhibit it. Moreover, by controlling the light polarization we can negate Volkov states in order to generate pure Floquet-Bloch states. This work establishes a systematic path for the coherent manipulation of solids via light-matter interaction.Comment: 21 pages, 6 figures, final version to appear in Nature Physic

DNA topoisomerases participate in fragility of the oncogene RET

Fragile site breakage was previously shown to result in rearrangement of the RET oncogene, resembling the rearrangements found in thyroid cancer. Common fragile sites are specific regions of the genome with a high susceptibility to DNA breakage under conditions that partially inhibit DNA replication, and often coincide with genes deleted, amplified, or rearranged in cancer. While a substantial amount of work has been performed investigating DNA repair and cell cycle checkpoint proteins vital for maintaining stability at fragile sites, little is known about the initial events leading to DNA breakage at these sites. The purpose of this study was to investigate these initial events through the detection of aphidicolin (APH)-induced DNA breakage within the RET oncogene, in which 144 APHinduced DNA breakpoints were mapped on the nucleotide level in human thyroid cells within intron 11 of RET, the breakpoint cluster region found in patients. These breakpoints were located at or near DNA topoisomerase I and/or II predicted cleavage sites, as well as at DNA secondary structural features recognized and preferentially cleaved by DNA topoisomerases I and II. Co-treatment of thyroid cells with APH and the topoisomerase catalytic inhibitors, betulinic acid and merbarone, significantly decreased APH-induced fragile site breakage within RET intron 11 and within the common fragile site FRA3B. These data demonstrate that DNA topoisomerases I and II are involved in initiating APH-induced common fragile site breakage at RET, and may engage the recognition of DNA secondary structures formed during perturbed DNA replication

Acute Kawasaki Disease: Not Just for Kids

Kawasaki Disease is a small-to-medium-vessel vasculitis that preferentially affects children. Kawasaki Disease can occur in adults, but the presentation may differ from that observed in children. Typical findings in both adults and children include fever, conjunctivitis, pharyngitis, and skin erythema progressing to a desquamating rash on the palms and soles. Adults more frequently present with cervical adenopathy (93% of adults vs. 15% of children), hepatitis (65% vs. 10%), and arthralgia (61% vs. 24–38%). In contrast, adults are less frequently affected by meningitis (10% vs. 34%), thrombocytosis (55% vs. 100%), and coronary artery aneurysms (5% vs. 18–25%). We report a case of acute Kawasaki Disease in a 24-year-old man who presented with rash, fever, and arthritis. He was successfully treated with high-dose aspirin and intravenous immunoglobulin (IVIG). Our case highlights the importance of considering Kawasaki Disease in adults presenting with symptoms commonly encountered in a general medical practice

Non-invasive management of peripheral arterial disease.

BACKGROUND: Peripheral arterial disease (PAD) is common and symptoms can be debilitating and lethal. Risk management, exercise, radiological and surgical intervention are all valuable therapies, but morbidity and mortality rates from this disease are increasing. Circulatory enhancement can be achieved using simple medical electronic devices, with claims of minimal adverse side effects. The evidence for these is variable, prompting a review of the available literature. METHODS: Embase and Medline were interrogated for full text articles in humans and written in English. Any external medical devices used in the management of peripheral arterial disease were included if they had objective outcome data. RESULTS: Thirty-one papers met inclusion criteria, but protocols were heterogenous. The medical devices reported were intermittent pneumatic compression (IPC), electronic nerve (NMES) or muscle stimulators (EMS), and galvanic electrical dressings. In patients with intermittent claudication, IPC devices increase popliteal artery velocity (49-70 %) and flow (49-84 %). Gastrocnemius EMS increased superficial femoral artery flow by 140 %. Over 4.5-6 months IPC increased intermittent claudication distance (ICD) (97-150 %) and absolute walking distance (AWD) (84-112 %), with an associated increase in quality of life. NMES of the calf increased ICD and AWD by 82 % and 61-150 % at 4 weeks, and 26 % and 34 % at 8 weeks. In patients with critical limb ischaemia IPC reduced rest pain in 40-100 % and was associated with ulcer healing rates of 26 %. IPC had an early limb salvage rate of 58-83 % at 1-3 months, and 58-94 % at 1.5-3.5 years. No studies have reported the use of EMS or NMES in the management of CLI. CONCLUSION: There is evidence to support the use of IPC in the management of claudication and CLI. There is a building body of literature to support the use of electrical stimulators in PAD, but this is low level to date. Devices may be of special benefit to those with limited exercise capacity, and in non-reconstructable critical limb ischaemia. Galvanic stimulation is not recommended

Quantifying vertical mixing in estuaries

© 2008 The Authors. This is an open-access article distributed under the terms of the Creative Commons Attribution Noncommercial License. The definitive version was published in Environmental Fluid Mechanics 8 (2008): 495-509, doi:10.1007/s10652-008-9107-2.Estuarine turbulence is notable in that both the dissipation rate and the buoyancy frequency extend to much higher values than in other natural environments. The high dissipation rates lead to a distinct inertial subrange in the velocity and scalar spectra, which can be exploited for quantifying the turbulence quantities. However, high buoyancy frequencies lead to small Ozmidov scales, which require high sampling rates and small spatial aperture to resolve the turbulent fluxes. A set of observations in a highly stratified estuary demonstrate the effectiveness of a vessel-mounted turbulence array for resolving turbulent processes, and for relating the turbulence to the forcing by the Reynolds-averaged flow. The observations focus on the ebb, when most of the buoyancy flux occurs. Three stages of mixing are observed: (1) intermittent and localized but intense shear instability during the early ebb; (2) continuous and relatively homogeneous shear-induced mixing during the mid-ebb, and weakly stratified, boundary-layer mixing during the late ebb. The mixing efficiency as quantified by the flux Richardson number Rf was frequently observed to be higher than the canonical value of 0.15 from Osborn (J Phys Oceanogr 10:83–89, 1980). The high efficiency may be linked to the temporal–spatial evolution of shear instabilities.The funding for this research was obtained from ONR Grant N00014-06-1-0292 and NSF Grant OCE-0729547

Tertiary hypothyroidism in a dog

<p/> <p>A nine-year-old male entire Labrador was diagnosed with pituitary dependent hyperadrenocorticism. Following seven months of successful mitotane therapy, the dog presented with marked weight gain, seborrhoea and alopecia. Routine clinicopathological analyses revealed marked hypercholesterolaemia. Serum total and free thyroxine (T4) concentrations were below their respective reference ranges. Serum thyroid stimulating hormone (cTSH) concentration was within reference range. TSH and thyrotropin releasing hormone (TRH) response tests revealed adequate stimulation of total T4 in both, and cTSH in the latter test. Magnetic resonance imaging revealed a mass arising from the pituitary fossa, with suprasellar extension. A diagnosis of tertiary hypothyroidism was made. Following four weeks of levothyroxine therapy, circulating cholesterol concentration had declined, weight loss had ensued and dermatological abnormalities had improved. Euthanasia was performed four months later due to the development of neurological signs. A highly infiltrative pituitary adenoma, with effacement of the overlying hypothalamus was identified on post mortem examination. Tertiary hypothyroidism has not been previously reported in dogs.</p