We show how the paradigm of learning-based testing (LBT) can be applied to automate speci cation-based black-box testing of reactive systems using term rewriting technology. A general model for a reactive system can be given by an extended Mealy automata (EMA) over an abstract data type (ADT). A nite state EMA over an ADT can be e ciently learned in polynomial time using the CGE regular inferen...

We explore how and by how much assumptions about elasticities of substitution affect estimates of the cost of GHG emissions reduction policies in computable general equilibrium (CGE) models using G-Cubed, an intertemporal CGE model, to carry out a sensitivity and factor decomposition analysis. The results suggest that the average abatement cost rises non-linearly as elasticities are reduced. Su...

The endocrine status of patients receiving proton radiation for tumors of the upper clivus was reviewed to evaluate the effect of high dose treatment on the pituitary gland. The fourteen patients had chordomas or low grade chondrosarcomas and were all treated by the same techniques. The median tumor dose was 69.7 Cobalt Gray Equivalent (CGE) with a range from 66.6 to 74.4 CGE. (CGE is used beca...

Cortical interneurons originate from subpallial precursors and migrate into the cortex during development. Using genetic lineage tracing in transgenic mice we examine the contribution of two germinal zones, the septum and the lateral ganglionic eminence/caudal ganglionic eminence (LGE/CGE) to interneurons of the cortex. We find that the septal neuroepithelium does not generate interneurons for ...

Methicillin-resistant Staphylococcus aureus (MRSA) has become an important nosocomial pathogen, causing considerable morbidity and mortality. During the last 20 years, a variety of genotyping methods have been introduced for screening the prevalence of MRSA. In this study, we developed and evaluated an improved approach capillary gel electrophoresis based multilocus variable-number tandem-repea...

Neuronal excitability has been shown to control the migration and cortical integration of reelin-expressing cortical interneurons (INs) arising from the caudal ganglionic eminence (CGE), supporting the possibility that neurotransmitters could regulate this process. Here we show that the ionotropic serotonin receptor 3A (5-HT(3A)R) is specifically expressed in CGE-derived migrating interneurons ...

Growing water scarcity is one of the central challenges for sustainability in China, given its burgeoning industry and huge population, especially in the arid and semi-arid inland river basin where precipitation is very limited. Industrial transformation is an important engine of economic growth, which is required to be implemented by governments at all levels in China. Economic models have gen...

The conventional input-output model has been widely criticised, both justly and unjustly, for its limiting assumptions. One of these assumptions is homogeneity of degree one. This paper explores some approaches to minimise this limitation of traditional input-output analysis by removing the assumption of linear coefficients for the intermediate and household sectors. As is well documented in th...

OBJECTIVE Cerebral gas embolism (CGE) is a potentially catastrophic complication of central venous catheters (CVCs) manipulation or accidental disconnection, which is rarely reported in the literature. This systematic review aims to characterize the clinical manifestations, imaging features and outcome of CGE associated with CVCs. METHODS Systematic literature search of all published cases of...