1,809 research outputs found
Exercises to develop the ability to classify words and to outline paragraphs grade IV.
Thesis (Ed.M.)--Boston Universit
The ACIGA Data Analysis programme
The Data Analysis programme of the Australian Consortium for Interferometric
Gravitational Astronomy (ACIGA) was set up in 1998 by the first author to
complement the then existing ACIGA programmes working on suspension systems,
lasers and optics, and detector configurations. The ACIGA Data Analysis
programme continues to contribute significantly in the field; we present an
overview of our activities.Comment: 10 pages, 0 figures, accepted, Classical and Quantum Gravity,
(Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves,
Tirrenia, Pisa, Italy, 6-11 July 2003
Teaching Australian high school students to think critically about health claims: a cluster randomized trial
Formal Specification and Testing of a Management Architecture
The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture
Regional and temporal trends in blood mercury concentrations and fish consumption in women of child bearing Age in the united states using NHANES data from 1999–2010
Observations of Crew Dynamics during Mars Analog Simulations
This presentation reviews the crew dynamics during two simulations of Mars Missions. Using an analog of a Mars habitat in two locations, Flashline Mars Arctic Research Station (FMARS) which is located on Devon Island at 75 deg North in the Canadian Arctic, and the Mars Desert Research Station (MDRS) which is located in the south of Utah, the presentation examines the crew dynamics in relation to the leadership style of the commander of the mission. The difference in the interaction of the two crews were shown to be related to the leadership style and the age group in the crew. As much as possible the habitats and environment was to resemble a Mars outpost. The difference between the International Space Station and a Mars missions is reviewed. The leadership styles are reviewed and the contrast between the FMARS and the MDRS leadership styles were related to crew productivity, and the personal interactions between the crew members. It became evident that leadership styles and interpersonal skill had more affect on mission success and crew dynamics than other characteristics
Australia’s Alcohol and Other Drug Telephone Information, Referral, and Counselling Services: A Guide to Quality Service Provision.
Ann Roche, Keith Evans, Tania Steenson, Ken Pidd, Nicole Lee, Lynette Cusack
Effects of nitrogen additions on above- and belowground carbon dynamics in two tropical forests
Zero and First-Order Phase Shift Correction for Field Map Estimation with Dual-Echo GRE Using Bipolar Gradients
A simple phase error correction technique used for field map estimation with a generally available dual-echo gradient-echo (GRE) sequence is presented. Magnetic field inhomogeneity maps estimated using two separate GRE volume acquisitions at different echo times are prone to dynamic motion errors between acquisitions. By using the dual-echo sequence, the data are collected during two back-to-back readout gradients in opposite polarity after a single radio frequency pulse, and interecho motion artifacts and alignment errors in field map estimation can be factored out. Residual phase error from the asymmetric readout pulses is modeled as an affine term in the readout direction. Results from phantom and human data suggest that the first-order phase correction term stays constant over time and, hence, can be applied to different data acquired with the same protocol over time. The zero-order phase correction term may change with time and is estimated empirically for different scans.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/85843/1/Fessler31.pd
Testing refinements by refining tests
One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal specifications, and a number of different methods have been derived for state based languages such as Z, B and VDM. However, in addition to deriving tests from a formal specification, we might wish to refine the specification further before its implementation. The purpose of this paper is to explore the relationship between testing and refinement. As our model for test generation we use a DNF partition analysis for operations written in Z, which produces a number of disjoint test cases for each operation. In this paper we discuss how the partition analysis of an operation alters upon refinement, and we develop techniques that allow us to refine abstract tests in order to generate test cases for a refinement. To do so we use (and extend existing) methods for calculating the weakest data refinement of a specification
- …