purpose : to evaluate the efficacy of pattern visual evoked potentials (pvep), standard automated perimetry (sap), short-wavelength automated perimetry (swap), contrast sensitivity (cs), stereoacuity testing in detecting subclinical visual impairment in visually asymptomatic patients with multiple sclerosis (ms) and no history of optic neuritis methods : twenty-seven eyes of 27 patients (7 male...

The United States military is continuing to research and is beginning to employ OWL-related information representation technologies. The Joint Explosive Ordnance Disposal (JEOD) Decision Support System (DSS) is using OWL to present relevant procedural information to warfighters. The United States Air Force (USAF) is experimenting with representing portions of the Foreign Clearance Guide (FCG) i...

In pipe spool assemblies used in construction, pre-fabrication errors inevitably occur due to the complexity of the tasks involved in the pipe spool fabrication process, the inaccuracy of the tools employed for performing these tasks, human error, and inadequate inspection and monitoring during the process. Permanent deflections may also occur during shipment and transportation. After delivery ...

This paper reports on the experiments with the Contour Crafting Automated Construction process using sulfur concrete as the choice of construction material. Sulfur concrete has numerous terrestrial applications and is potentially an ideal construction material for planetary construction. On Mars, sulfur can be found in abundance and the range of temperature variation on the planet is within the...

Replanning via determinization is a recent, popular approach for online planning in MDPs. In this paper we adapt this idea to classical, non-stochastic domains with partial information and sensing actions, presenting a new planner: SDR (Sample, Determinize, Replan). At each step we generate a solution plan to a classical planning problem induced by the original problem. We execute this plan as ...

Video recording of construction operations provides an understandable data that could be used to analyze and improve construction performance. Despite the benefits, manual stopwatch study of previously recorded videos can be laborintensive, may suffer from biases of the observers, and impractical after substantial period of observations. To address these limitations, this paper presents a new v...

In this volume all worldwide conducted approaches following an on-site factory approach were analysed. Thirty different systems were identified, resulting in an application of automated/robotic on-site factory technology about 60 times.The analysis was for each system split into a more technical part and a part that focuses on indicators related to productivity, efficiency, and economic perform...

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...