A weakness measure for GR(1) formulae

In spite of the theoretical and algorithmic developments for system synthesis in recent years, little effort has been dedicated to quantifying the quality of the specifications used for synthesis. When dealing with unrealizable specifications, finding the weakest environment assumptions that would ensure realizability is typically a desirable property; in such context the weakness of the assumptions is a major quality parameter. The question of whether one assumption is weaker than another is commonly interpreted using implication or, equivalently, language inclusion. However, this interpretation does not provide any further insight into the weakness of assumptions when implication does not hold. To our knowledge, the only measure that is capable of comparing two formulae in this case is entropy, but even it fails to provide a sufficiently refined notion of weakness in case of GR(1) formulae, a subset of linear temporal logic formulae which is of particular interest in controller synthesis. In this paper we propose a more refined measure of weakness based on the Hausdorff dimension, a concept that captures the notion of size of the omega-language satisfying a linear temporal logic formula. We identify the conditions under which this measure is guaranteed to distinguish between weaker and stronger GR(1) formulae. We evaluate our proposed weakness measure in the context of computing GR(1) assumptions refinements

Occipital Proton Magnetic Resonance Spectroscopy ((1)H-MRS) Reveals Normal Metabolite Concentrations in Retinal Visual Field Defects

BACKGROUND: Progressive visual field defects, such as age-related macular degeneration and glaucoma, prevent normal stimulation of visual cortex. We investigated whether in the case of visual field defects, concentrations of metabolites such as N-acetylaspartate (NAA), a marker for degenerative processes, are reduced in the occipital brain region. METHODOLOGY/PRINCIPAL FINDINGS: Participants known with glaucoma, age-related macular degeneration (the two leading causes of visual impairment in the developed world), and controls were examined by proton MR spectroscopic ((1)H-MRS) imaging. Absolute NAA, Creatine and Choline concentrations were derived from a single-voxel in the occipital region of each brain hemisphere. No significant differences in metabolites concentrations were found between the three groups. CONCLUSIONS/SIGNIFICANCE: We conclude that progressive retinal visual field defects do not affect metabolite concentration in visual brain areas suggesting that there is no ongoing occipital degeneration. We discuss the possibility that metabolite change is too slow to be detectable

Metabolic analysis of the interaction between plants and herbivores

Insect herbivores by necessity have to deal with a large arsenal of plant defence metabolites. The levels of defence compounds may be increased by insect damage. These induced plant responses may also affect the metabolism and performance of successive insect herbivores. As the chemical nature of induced responses is largely unknown, global metabolomic analyses are a valuable tool to gain more insight into the metabolites possibly involved in such interactions. This study analyzed the interaction between feral cabbage (Brassica oleracea) and small cabbage white caterpillars (Pieris rapae) and how previous attacks to the plant affect the caterpillar metabolism. Because plants may be induced by shoot and root herbivory, we compared shoot and root induction by treating the plants on either plant part with jasmonic acid. Extracts of the plants and the caterpillars were chemically analysed using Ultra Performance Liquid Chromatography/Time of Flight Mass Spectrometry (UPLCT/MS). The study revealed that the levels of three structurally related coumaroylquinic acids were elevated in plants treated on the shoot. The levels of these compounds in plants and caterpillars were highly correlated: these compounds were defined as the ‘metabolic interface’. The role of these metabolites could only be discovered using simultaneous analysis of the plant and caterpillar metabolomes. We conclude that a metabolomics approach is useful in discovering unexpected bioactive compounds involved in ecological interactions between plants and their herbivores and higher trophic levels.

Generalization of auditory sensory and cognitive learning in typically developing children

Despite the well-established involvement of both sensory (“bottom-up”) and cognitive (“top-down”) processes in literacy, the extent to which auditory or cognitive (memory or attention) learning transfers to phonological and reading skills remains unclear. Most research has demonstrated learning of the trained task or even learning transfer to a closely related task. However, few studies have reported “far-transfer” to a different domain, such as the improvement of phonological and reading skills following auditory or cognitive training. This study assessed the effectiveness of auditory, memory or attention training on far-transfer measures involving phonological and reading skills in typically developing children. Mid-transfer was also assessed through untrained auditory, attention and memory tasks. Sixty 5- to 8-year-old children with normal hearing were quasi-randomly assigned to one of five training groups: attention group (AG), memory group (MG), auditory sensory group (SG), placebo group (PG; drawing, painting), and a control, untrained group (CG). Compliance, mid-transfer and far-transfer measures were evaluated before and after training. All trained groups received 12 x 45-min training sessions over 12 weeks. The CG did not receive any intervention. All trained groups, especially older children, exhibited significant learning of the trained task. On pre- to post-training measures (test-retest), most groups exhibited improvements on most tasks. There was significant mid-transfer for a visual digit span task, with highest span in the MG, relative to other groups. These results show that both sensory and cognitive (memory or attention) training can lead to learning in the trained task and to mid-transfer learning on a task (visual digit span) within the same domain as the trained tasks. However, learning did not transfer to measures of language (reading and phonological awareness), as the PG and CG improved as much as the other trained groups. Further research is required to investigate the effects of various stimuli and lengths of training on the generalization of sensory and cognitive learning to literacy skills

Axonal Dynamics of Excitatory and Inhibitory Neurons in Somatosensory Cortex

Electrophysiology-delivery of fluorescent viral vectors-and two-photon microscopy were used to demonstrate the rapidity of axonal restructuring of both excitatory and inhibitory neurons in rodent cortical layer II/III following alterations in sensory experience

Paediatric CT scan usage and referrals of children to computed tomography in Germany-a cross-sectional survey of medical practice and awareness of radiation related health risks among physicians

<p>Abstract</p> <p>Background</p> <p>Computed tomography (CT) is a major source of ionizing radiation exposure in medical diagnostic. Compared to adults, children are supposed to be more susceptible to health risks related to radiation. The purpose of a cross-sectional survey among office-based physicians in Germany was the assessment of medical practice in paediatric CT referrals and to investigate physicians' knowledge of radiation doses and potential health risks of radiation exposure from CT in children.</p> <p>Methods</p> <p>A standardized questionnaire was distributed to all paediatricians and surgeons in two defined study areas. Furthermore, the study population included a random sample of general practitioners in the two areas. The questionnaire covered the frequency of referrals for paediatric CT examinations, the medical diagnoses leading to paediatric CT referrals, physicians' knowledge of radiation doses and potential health risks of radiation exposure from CT in children.</p> <p>Results</p> <p>A total of 295 (36.4%) physicians responded. 59% of the doctors had not referred a child to CT in the past year, and approximately 30% referred only 1-5 children annually. The most frequent indications for a CT examination in children were trauma or a suspected cancer. 42% of the referrals were related to minor diagnoses or unspecific symptoms. The participants underestimated the radiation exposure due to CT and they overestimated the radiation exposure due to conventional X-ray examinations.</p> <p>Conclusions</p> <p>In Germany, the frequency of referrals of children to computed tomography is moderate. The knowledge on the risks from radiation exposure among office-based physicians in our sample varied, but there was a tendency to underestimate potential CT risks. Advanced radiological training might lead to considerable amendments in terms of knowledge and practice of CT referral.</p