A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

Pyrolysis and combustion of cellulose. VIII. Thermally initiated reactions of phosphonomethyl amide flame retardants

Several N-(phosphonomethyl) amides have previously been reported to act as particularly effective flame retardants for cellulose. It has also been demonstrated previously that the efficiency of a flame retardant on cellulose frequently parallels its ability to phosphorylate cellulosic hydroxyls at elevated temperatures. This study of the hydrolysis and alcoholysis reactions of N-(phosphonomethyl) amides establishes their unique reactivity. An explanation for this high reactivity is proposed on the basis of intramolecular assistance of the attack of water or alcohols at phosphorus by the carbonyl oxygen of the amide moiety.     

Revising threshold functions

A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in terms of the resource one is interested in) is polynomial in the syntactic distance between the initial and the target concept, but only polylogarithmic in the number of variables in the universe. We give an efficient revision algorithm in the model of learning with equivalence and membership queries for threshold functions, and some negative results showing, for instance, that threshold functions cannot be revised efficiently from either type of query alone. The algorithms work in a general revision model where both deletion and addition type revision operators are allowed.     

Contracting, prompting, and reinforcing substance use disorder continuing care: A randomized clinical trial.

Although continuing care is strongly related to positive treatment outcomes for substance use disorder (SUD), participation rates are low and few effective interventions are available. In a randomized clinical trial with 150 participants (97% men), 75 graduates of a residential Veterans Affairs Medical Center SUD program who received an aftercare contract, attendance prompts, and reinforcers (CPR) were compared to 75 graduates who received standard treatment (STX). Among CPR participants, 55% completed at least 3 months of aftercare, compared to 36% in STX. Similarly, CPR participants remained in treatment longer than those in STX (5.5 vs. 4.4 months). Additionally, CPR participants were more likely to be abstinent compared to STX (57% vs. 37%) after 1 year. The CPR intervention offers a practical means to improve adherence among individuals in SUD treatment. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Bench-Scale Testing of Nanofiltration for Seawater Desalination

A dual-staged nanofiltration process is being evaluated as an alternative to reverse osmosis for seawater desalination. The primary goal of this system is to reduce energy consumption while producing potable water at an acceptable recovery rate. Investigation of this system at the bench-scale level focused on membrane surface characterization, ion rejection (including boron, bromide, and iodide rejection), and flux decline. Results from this study showed that two commercially available nanofiltration membranes can effectively desalinate seawater. Although fouling was apparent—and resulted in approximately 20% flux decline over 3 days—a critical flux was not identifiable. Operation of the system at different cross-flow velocities revealed the significance of hydrodynamic conditions on the polarization modulus, and hence on membrane performance.     

Prevention and Mitigation Strategies to Address Recent Brittle Fractures in Steel Bridges

Brittle fracture results in unplanned loss of service, very costly repairs, concern regarding the future safety of the structure, and potential loss of life. These types of failures are most critical when there is no evidence of fatigue cracking leading up to the fracture and the fracture origin is concealed from view. Hence, the failure occurs without warning and the details are, essentially, noninspectable. In these cases, it appears desirable to take a proactive approach and introduce preventative retrofits to reduce the potential for future crack development. These efforts will help ensure that the likelihood of unexpected fractures is minimized. This paper examines the behavior of two bridge structures in which brittle fractures have developed in recent times, discusses the causes of the failures, and offers suggested design strategies for prevention and retrofit mitigation techniques. In situations where considerable uncertainty exists in the prediction of accumulated damage or in the ability to reliably inspect critical details, preemptive retrofit strategies appear to be highly desirable.     

Emergency department status boards: user-evolved artefacts for inter- and intra-group coordination

Large, easily viewed status boards are commonly used in some healthcare settings such as emergency departments, operating theaters, intensive care units, and inpatient wards. Because these artefacts were developed by front-line users, and have little to no supervisory or regulatory control, they offer valuable insights into the theories of work and hazard held by those users. Although the status boards case were locally developed over many years for within-group coordination, they have also become useful for between-group coordination across organizational boundaries. In this paper, we compare and contrast the use of such status boards in two disparate settings: a US emergency department, and a UK pediatric ward, and note striking similarities in their form and usage, despite the large differences in setting.     

Creating a Student Centered Learning Environment at the University of Denver

A team of faculty members at the University of Denver changed the learning environment in key courses in the Department of Engineering from predominately teacher centered to student centered. Through this funded project new grading methods were implemented, classrooms were renovated and wired with studio layouts to facilitate learning, the Engineering Circuits Laboratory was rewired and instrumented for automated data acquisition and reporting, and two new pedagogical approaches were developed. At the onset of the project, six goals were established related to student learning. The introduction of industry standard hardware and software provided students with unprecedented hands‐on experience and project related activities stimulated faculty innovations in other current and future courses. Assessment results indicate that the new grading system improved the clarity of expectations for students before assignments were given resulting in increased reported motivation for learning in many courses. Even though course GPAs did not always reflect higher achievement on graded work, faculty members firmly believe that deeper understanding was achieved because more complex material was assimilated.