پاییز 91

پاییز و زمستان 91

Schoonschip '91

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

Isabelle-91

Min introduces the type form (of object-formulae) and the infix constant −→ (for objectimplication). The constant [[ ]] maps form to the predefined type prop of meta-logic propositions. The proposition [[P ]] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-p...

85 - 91 Nzira Lukwa.pmd

Mosquito repellent plants are used in the rural areas of Zimbabwe despite the fact that very few of them have been biologically evaluated. Leaves of the plant Lippia javanica, were collected from Mumurwi village, Zimbabwe and evaluated for repellency against laboratory reared Aedes aegypti mosquitoes. Major plant compounds were identified using Thin Layer Chromatography (TLC) and Mass Spectrome...

Tf-uiht120004 91..101

Context: Electronic cigarettes (e-cigarettes) are becoming increasingly popular yet their effects on health remain unknown. Objective: To conduct the first comprehensive and standardized assessment of the acute impact of active and passive e-cigarette smoking on serum cotinine and lung function, as compared to active and passive tobacco cigarette smoking. Materials and methods: Fifteen smokers ...

C3fd20159g 91..112

Solid surfaces generally respond sensitively to their environment. Gas phase or liquid phase species may adsorb and react with individual surface atoms altering the solid-gas and solid-liquid electronic and chemical properties of the interface. A comprehensive understanding of chemical and electrochemical interfaces with respect to their responses to external stimuli is still missing. The evolu...