Specification of patterns over time in Chicago homicide : increases and decreases, 1965-1981 /

"October 1985."

Hints to young architects ... together with a model specification: involving a great variety of instructive and suggestive matter,

Mode of access: Internet.

Some key problems concerning the specification, development and use of task identification and analyses /

Photocopy.

Patent specification.

Mode of access: Internet.

The specification of vector autoregressive moving average models

In this paper we propose a new identification method based on the residual white noise autoregressive criterion (Pukkila et al. , 1990) to select the order of VARMA structures. Results from extensive simulation experiments based on different model structures with varying number of observations and number of component series are used to demonstrate the performance of this new procedure. We also use economic and business data to compare the model structures selected by this order selection method with those identified in other published studies.

Rice morphogenesis and plant architecture: Measurement, specification and the reconstruction of structural development by 3D architectural modelling

Background and Aims The morphogenesis and architecture of a rice plant, Oryza sativa, are critical factors in the yield equation, but they are not well studied because of the lack of appropriate tools for 3D measurement. The architecture of rice plants is characterized by a large number of tillers and leaves. The aims of this study were to specify rice plant architecture and to find appropriate functions to represent the 3D growth across all growth stages. Methods A japonica type rice, 'Namaga', was grown in pots under outdoor conditions. A 3D digitizer was used to measure the rice plant structure at intervals from the young seedling stage to maturity. The L-system formalism was applied to create '3D virtual rice' plants, incorporating models of phenological development and leaf emergence period as a function of temperature and photoperiod, which were used to determine the timing of tiller emergence. Key Results The relationships between the nodal positions and leaf lengths, leaf angles and tiller angles were analysed and used to determine growth functions for the models. The '3D virtual rice' reproduces the structural development of isolated plants and provides a good estimation of the fillering process, and of the accumulation of leaves. Conclusions The results indicated that the '3D virtual rice' has a possibility to demonstrate the differences in the structure and development between cultivars and under different environmental conditions. Future work, necessary to reflect both cultivar and environmental effects on the model performance, and to link with physiological models, is proposed in the discussion.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Development of the Minimum Information Specification for in situ Hybridization and Immunohistochemistry Experiments (MISFISHIE)

We describe the creation process of the Minimum Information Specification for In Situ Hybridization and Immunohistochemistry Experiments (MISFISHIE). Modeled after the existing minimum information specification for microarray data, we created a new specification for gene expression localization experiments, initially to facilitate data sharing within a consortium. After successful use within the consortium, the specification was circulated to members of the wider biomedical research community for comment and refinement. After a period of acquiring many new suggested requirements, it was necessary to enter a final phase of excluding those requirements that were deemed inappropriate as a minimum requirement for all experiments. The full specification will soon be published as a version 1.0 proposal to the community, upon which a more full discussion must take place so that the final specification may be achieved with the involvement of the whole community. This paper is part of the special issue of OMICS on data standards.

Product performance and specification in new product development

This paper deals with product performance and specification in new product development. There are many different definitions of performance and specification in the literature. These are reviewed and a new classification scheme for product performance is proposed. The link between performance and specification is discussed in detail using a new model for the new product development process. The new model involves two stages, with each containing three main phases, and is useful for making decisions with regards to product performance and specification.

Robo1 regulates the development of major axon tracts and interneuron migration in the forebrain

The Slit genes encode secreted ligands that regulate axon branching, commissural axon pathfinding and neuronal migration. The principal identified receptor for Slit is Robo ( Roundabout in Drosophila). To investigate Slit signalling in forebrain development, we generated Robo1 knockout mice by targeted deletion of exon 5 of the Robo1 gene. Homozygote knockout mice died at birth, but prenatally displayed major defects in axon pathfinding and cortical interneuron migration. Axon pathfinding defects included dysgenesis of the corpus callosum and hippocampal commissure, and abnormalities in corticothalamic and thalamocortical targeting. Slit2 and Slit1/2 double mutants display malformations in callosal development, and in corticothalamic and thalamocortical targeting, as well as optic tract defects. In these animals, corticothalamic axons form large fasciculated bundles that aberrantly cross the midline at the level of the hippocampal and anterior commissures, and more caudally at the medial preoptic area. Such phenotypes of corticothalamic targeting were not observed in Robo1 knockout mice but, instead, both corticothalamic and thalamocortical axons aberrantly arrived at their respective targets at least 1 day earlier than controls. By contrast, in Slit mutants, fewer thalamic axons actually arrive in the cortex during development. Finally, significantly more interneurons ( up to twice as many at E12.5 and E15.5) migrated into the cortex of Robo1 knockout mice, particularly in both rostral and parietal regions, but not caudal cortex. These results indicate that Robo1 mutants have distinct phenotypes, some of which are different from those described in Slit mutants, suggesting that additional ligands, receptors or receptor partners are likely to be involved in Slit/Robo signalling.

Molecular control of cell type diversity in the developing spinal cord

1, During embryonic development, a diverse array of neurons and glia are generated at specific positions along the dorsoventral and rostro-caudal axes of the spinal cord from a common pool of precursor cells. 2. This cell type diversity can be distinguished by the spatially and temporally coordinated expression of several transcription factors that are also linked to cell type specification at a very early stage of spinal cord development. 3, Recent studies have started to uncover that the generation of cell type diversity in the developing spinal cord. Moreover, distinct cell types in the spinal cord appear to be determined by the spatially and temporally coordinated expression of transcription factors. 4. The expression of these factors also appears to be controlled by gradients of factors expressed by ventral and dorsal midline cells, namely Sonic hedgehog and members of the transforming growth factor-beta family. 5, Changes in the competence of precursor cells and local cell interactions may also play important roles in cell type specification within the developing spinal cord.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Partial completion of activity in business process specification

We examine the current workflow modelling capability from a new angle and demonstrate a weakness of current workflow specification languages in relation to execution of activities. This shortcoming is mainly due to serious limitations of the corresponding computational/execution model behind the business process modelling language constructs. The main purpose of this paper is the introduction of new specification/modelling constructs allowing for more precise representation of complex activity states during its execution. This new concept enables visibility of a new activity state–partial completion of activity, which in turn allows for a more flexible and precise enforcement/monitoring of automated business processes.