We introduce basic principles that underlie a scientific approach to system engineering for computing systems. This approach is based upon fulfilling proof obligations, notably establishing proofs that system design and system dimensioning decisions are correct, before embarking on the implementation or the fielding of a computing system. A proof-based system engineering method which has been a...

Gravel-free, high-resolution (1-metre spacing, 32 channel) particle size data from the CRP-2/2A drill core indicate that many of the diamictites were likely deposited from floating ice. Textural dislocations occur at most sequence boundaries and provide independent corroboration of the sequence stratigraphic interpretation. Likewise the data largely support the correlation drawn (Fielding et al...

The Problem: The expressiveness of human language allows people to express the same idea in many different ways; they may use different words to refer to the same entity or employ different phrases to describe the same concept. Thus, an effective information retrieval (IR) and question answering (QA) system must be equipped to handle these variations, both when processing documents and when fie...

In this paper, the authors report on work done for an ESA project entitled “Mars Mission Onboard Planning and Scheduling” (MMOPS), exploring a limited form of onboard reasoning for space-related robotic systems. Striking a middle ground between ground-based and on-board planning, the authors describe experiments with an on-board “planning assistant” which repairs plans using “Timeline Validatio...

Anthony V. Moorman,1 Christine J. Harrison,1 Georgina A. N. Buck,2 Sue M. Richards,2 Lorna M. Secker-Walker,1 Mary Martineau,1 Gail H. Vance,3 Athena M. Cherry,4 Rodney R. Higgins,5 Adele K. Fielding,6 Letizia Foroni,6 Elisabeth Paietta,7 Martin S. Tallman,8 Mark R. Litzow,9 Peter H. Wiernik,7 Jacob M. Rowe,10 Anthony H. Goldstone,11 and Gordon W. Dewald, on behalf of the Medical Research Counc...

a Harvard T.H. Chan School of Public Health, 677 Huntington Avenue, Boston, MA 02115, USA; [email protected] b Harvard School of Dental Medicine, 188 Longwood Avenue, Boston, MA 02115, USA; [email protected] c University of California Los Angeles Fielding School of Public Health, 650 Charles E. Young Drive S., Los Angeles, CA 90095, USA; [email protected] d Doctor en...

Knowledge Networks selected the sample to accommodate the “none or low”, “some” and “high” retirement asset requirements based on its Financial Services profile data. Because of the economic downturn, it was possible that a person’s level of assets could have changed between the time it was collected in the Financial Services profile and the fielding of the main survey. Therefore current level ...

The sliding stop method of fielding in cricket is gaining popularity in schools and club cricket through its frequent exposure on television. The case history is reported of a cricketer who suffered a torn medial meniscus in his knee, a rare cricketing injury, while performing this technique incorrectly in a club game. The correct method of performing the technique is described in coaching manu...

We introduce basic principles that underlie proof-based system engineering, an engineering discipline aimed at computer-based systems. This discipline serves to avoid system engineering faults. It is based upon fulfilling proof obligations, notably establishing proofs that decisions regarding system design and system dimensioning are correct, before embarking on the implementation or the fieldi...

The first in this series Of three articles, published in the September-October 1997 issue of ARMOR. addressed American lank developmenJ during the HbrJd \\brs. This article focuses upon lhe Cold "'b, era prior to the development of the M I Abrams, illustrating the injlutnu oj the Soviet military threat. The desire to field a technologically superior lank that would more than offset Soviet numer...