Generalization by symbolic abstraction in cascaded recurrent networks

Generalization performance in recurrent neural networks is enhanced by cascading several networks. By discretizing abstractions induced in one network, other networks can operate on a coarse symbolic level with increased performance on sparse and structural prediction tasks. The level of systematicity exhibited by the cascade of recurrent networks is assessed on the basis of three language domains. (C) 2004 Elsevier B.V. All rights reserved.

Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.

Towards identifying the new structures formed on the γ-radiolysis of Ultem

Ultem irradiated up to 10.0 MGy has been analysed using C-13, H-1 and D-2 proton-carbon and proton-proton correlation NMR spectroscopy to shed light on the formation of new structures. Chemical shifts and correlation data were used to determine the structure or partial structures of several new components. The spectra indicated the presence of new groups and structures involving the isopropylidene group, the imide ring, and hydrogen-abstraction reactions. Possible pathways for formation of the new structures are proposed and the G-values for their formation have been estimated. (C) 2003 Elsevier Science Ltd. All rights reserved.

Rearrangement of 2-quinolyl- and 1-isoquinolylcarbenes to naphthylnitrenes

2-Quinolylcarbene 23 and 1-isoquinolylcarbene 33 are generated by flash vacuum thermolysis (FVT) of the corresponding triazolo[1,5-a]quinoline and triazolo[5,1-a]isoquinoline 19 and 29, as well as 2-(5-tetrazolyl)quinoline and 1-(5-tetrazolyl)isoquinoline 20 and 30, respectively. These carbenes rearrange to 1- and 2-naphthylnitrene 21 and 31, respectively, and the nitrenes are also generated by FVT of 1- and 2-naphthyl azides 18 and 28. The products of FVT of both the nitrene and carbene precursors are the 2- and 3-cyanoindenes 26 and 27 together with the nitrene dimers, viz. azonaphthalenes 25 and 35, and the H-abstraction products, aminonaphthalenes 24 and 34. All the azide, triazole, and tetrazole precursors yield 3-cyanoindene 26 as the principal ring contraction product under conditions of low FVT temperature (340-400 degreesC) and high pressure (1 Torr N-2 as carrier gas for the purpose of collisional deactivation). This ring contraction reaction is strongly subject to chemical activation, which caused extensive isomerization of 3-cyanoindene to 2-cyanoindene under conditions of low pressure (10(-3) Torr). 2-Cyanoindene is calculated to be ca. 1.7 kcal/mol below 3-cyanoindene in energy; accordingly, high-temperature FVT of these cyanoindenes always gives mixtures of the two compounds with the 2-cyano isomer dominating. Photolysis of trizolo[1,5-a]quinoline 19 and triazolo[5,1-a]isoquinoline 29 in Ar matrixes causes partial ring opening to the corresponding 2-diazomethylquinoline 19' and 1-diazomethylisoquinoline 29'. The photolysis of the former gives rise to a small amount of the cyclic ketenimine 22, the intermediate connecting 2-quinolylcarbene and 1-naphthylnitrene.

Community-based programmes to prevent pedestrian injuries in children 0-14 years: A systematic review

Community-based models for injury prevention have become an accepted part of the overall injury control strategy. This systematic review of the scientific literature examines the evidence for their effectiveness in reducing pedestrian injury in children 0-14 years of age. A comprehensive search of the literature was performed using the following study selection criteria: community-based intervention study; target population was children under 14 years; outcome measure is either pedestrian injury rates or observed child pedestrian or vehicle driver behaviour; and use of a community control or an historical control in the study design. Quality assessment and data abstraction was guided by a standardized procedure and performed independently by two authors. Data synthesis was in tabular and text form with meta-analysis not being possible due to the discrepancy in methods and measures between the studies.

Numerical investigation of seawater intrusion at Gooburrum, Bundaberg, Queensland, Australia

Seawater intrusion in coastal agricultural areas due to groundwater abstraction is a major environmental problem along the northeastern coast of Australia. Management options are being explored using numerical modelling, however, questions remain concerning the appropriate level of sophistication in models, choice of seaward boundary conditions, and how to accommodate heterogeneity and data uncertainty. The choice of seaward boundary condition is important since it affects the amount of salt transported into the aquifers and forms the focus of the present study. The impact of this boundary condition is illustrated for the seawater-intrusion problem in the Gooburrum aquifers, which occur within Tertiary sedimentary strata. A two-dimensional variable-density groundwater and solute-transport model was constructed using the computer code 2DFEMFAT (Cheng et al. 1998). The code was tested against an experiment for a steady-state freshwater-saltwater interface and against the Elder (Elder 1967) free-convection problem. Numerical simulations show that the imposition of the commonly-used equivalent hydrostatic freshwater heads, combined with a constant salt concentration at the seaward boundary, results in overestimated seawater intrusion in the lower Gooburrum aquifer. Since the imposition of this boundary condition allows water flow across the boundary, which subsequently takes salt into the aquifer, a careful check is essential to estimate whether too much mass of salt is introduced.

A work domain analysis framework for modelling intensive care unit patients

Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One pioneering effort suggested that clinical abstraction is not based on means-ends relations, whereas another effort downplayed the role of bio-regulatory mechanisms. In this paper it is argued that bio-regulatory mechanisms that govern physiological behaviour must be part of WDA models of patients as the systems at the core of intensive care units. Furthermore it is argued that because the inner functioning of patients is not completely known, clinical abstraction is based on hypothetico-deductive abstract reasoning. This paper presents an alternative modelling framework that conforms to the broader aspirations of WDA. A modified version of the viable systems model is used to represent the patient system as a nested dissipative structure while aspects of the recognition primed decision model are used to represent the information resources available to clinicians in ways that support lsquoif...thenrsquo conceptual relations. These two frameworks come together to form the recursive diagnostic framework, which may provide a more appropriate foundation for information display design in the intensive care unit.

Using the canonical modelling approach to simplify the simulation of function in functional-structural plant models

Functional-structural plant models that include detailed mechanistic representation of underlying physiological processes can be expensive to construct and the resulting models can also be extremely complicated. On the other hand, purely empirical models are not able to simulate plant adaptability and response to different conditions. In this paper, we present an intermediate approach to modelling plant function that can simulate plant response without requiring detailed knowledge of underlying physiology. Plant function is modelled using a 'canonical' modelling approach, which uses compartment models with flux functions of a standard mathematical form, while plant structure is modelled using L-systems. Two modelling examples are used to demonstrate that canonical modelling can be used in conjunction with L-systems to create functional-structural plant models where function is represented either in an accurate and descriptive way, or in a more mechanistic and explanatory way. We conclude that canonical modelling provides a useful, flexible and relatively simple approach to modelling plant function at an intermediate level of abstraction.

Functional-structural plant modelling using a combination of architectural analysis, L-systems and a canonical model of function

This paper presents a new method for producing a functional-structural plant model that simulates response to different growth conditions, yet does not require detailed knowledge of underlying physiology. The example used to present this method is the modelling of the mountain birch tree. This new functional-structural modelling approach is based on linking an L-system representation of the dynamic structure of the plant with a canonical mathematical model of plant function. Growth indicated by the canonical model is allocated to the structural model according to probabilistic growth rules, such as rules for the placement and length of new shoots, which were derived from an analysis of architectural data. The main advantage of the approach is that it is relatively simple compared to the prevalent process-based functional-structural plant models and does not require a detailed understanding of underlying physiological processes, yet it is able to capture important aspects of plant function and adaptability, unlike simple empirical models. This approach, combining canonical modelling, architectural analysis and L-systems, thus fills the important role of providing an intermediate level of abstraction between the two extremes of deeply mechanistic process-based modelling and purely empirical modelling. We also investigated the relative importance of various aspects of this integrated modelling approach by analysing the sensitivity of the standard birch model to a number of variations in its parameters, functions and algorithms. The results show that using light as the sole factor determining the structural location of new growth gives satisfactory results. Including the influence of additional regulating factors made little difference to global characteristics of the emergent architecture. Changing the form of the probability functions and using alternative methods for choosing the sites of new growth also had little effect. (c) 2004 Elsevier B.V. All rights reserved.

Community-based programmes to prevent falls in children: A systematic review

Objective: We systematically reviewed the literature to examine the evidence for the effectiveness of community-based interventions to reduce fall-related injury in children aged 0-16 years. Methods: We performed a comprehensive search of the literature using the following study selection criteria: community-based intervention study; target population was children aged 0-16 years; outcome measure was fall-related injury rates; and either a community control or historical control was used in the study design. Quality assessment and data abstraction were guided by a standardized procedure and performed independently by two authors. Results: Only six studies fitting the inclusion criteria were identified in our search and only two of these used a trial design with a contemporary community control. Neither of the high quality evaluation studies showed an effect from the intervention and while authors of the remaining studies reported effective falls prevention programmes, the pre- and post-intervention design, uncontrolled for background secular trends, makes causal inferences from these studies difficult. Conclusion: There is a paucity of research studies from which evidence regarding the effectiveness of community-based intervention programmes for the prevention of fall-related injury in children could be based.

Community-based programs to promote care seat restraints in children 0-16 years - A systematic review

Study Objective: Community-based models for injury prevention have become an accepted part of the overall injury control strategy. This systematic review of the scientific literature examines the evidence for their effectiveness in reducing injury due to inadequate car seat restraint use in children 0-16 years of age. Methods: A comprehensive search of the literature was performed using the following study selection criteria: community-based intervention study: target population was children aged 0-16 years of age; outcome measure was either injury rates due to motor vehicle crashes or observed changes in child restraint use; and use of community control or historical control in the study design. Quality assessment and data abstraction was guided by a standardized procedure and performed independently by two authors. Data synthesis was in tabular and text form with meta-analysis not being possible due to the discrepancy in methods and measures between the studies. Results: This review found eight studies, that met all the inclusion criteria. In the studies that measured injury outcomes, significant reductions in risk of motor vehicle occupant injury (33-55%) were reported in the study communities. For those studies reporting observed car seat restraint use the community-based programs were successful in increasing toddler restraint use in 1-5 year aged children by up to 11%; child booster seat use in 4-8 year aged children by up to 13%; rear restraint use in children aged 0-15 years by 8%; a 50% increase in restraint use in pre-school aged children in a high-risk community; and a 44% increase in children aged 5-11 years. Conclusion: While this review highlights that there is some evidence to support the effectiveness of community-based programs to promote car restraint use and/or motor vehicle occupant injury, limitations in the evaluation methodologies of the studies requires the results to be interpreted with caution. There is clearly a need for further high quality program evaluation research to develop an evidence base. (C) 2004 Elsevier Ltd. All rights reserved.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage