منابع مشابه
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...
متن کاملTrr 1988
Transportation Research Record: Journal of the Transportation Research Board, No. 1988, Transportation Research Board of the National Academies, Washington, D.C., 2006, pp. 63–66. The analytical procedures for all-way stop-controlled intersections in the 2000 edition of the Highway Capacity Manual (HCM) lack a model to estimate the 95th percentile queue length. This is considered a major shortc...
متن کامل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 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tidsskrift for Den norske legeforening
سال: 2009
ISSN: 0029-2001
DOI: 10.4045/tidsskr.09.33173