منابع مشابه
An Overview of ELAN 1
This paper presents a comprehensive introduction to the ELAN rule-based programming language. We describe the main features of the language, the ELAN environment, and introduce bibliographic references to various papers addressing foundations, implementation and applications of ELAN.
متن کاملAn Overview of Candiduria
Candida microorganisms frequently exist as saprophytes on the external genitalia or urethra, however, yeast in measurable quantities are found in <1% of clean voided urine specimens. The overall frequency of Candida infections in hospitals has increased by 200% to 300% in the last decade, such that in a general hospital 5% of urine cultures may yield Candida species, and in tertiary-care center...
متن کاملAn Overview of Novel Anticoagulants
Arterial and venous thromboembolism is one of the most common causes of death worldwide. For almost seventy years, heparin, low molecular weight heparin, and vitamin K antagonists have been widely used in the prevention and treatment of thromboembolic disorders. However, many of the limitations of these traditional anticoagulants have led to the search for and attempts to introduce better drug ...
متن کاملREM (Reduce Elan Machine): Core of the New ELAN Compiler
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms. It supports the design of theorem provers, logic programming languages, constraint solvers and decision procedures. ELAN takes f...
متن کاملAn overview of clinical PET/CT
This article is intended to provide an overview of various aspects of clinical PET/CT. These include discussions of: (i) Important areas of clinical application; (ii) Opportunities in clinical research; (iii) Scanner and operating-mode considerations (e.g. BGO vs. LSO, LYSO or GSO scanners, 2D vs. 3D imaging). (iv) Study-specific considerations (e.g. patient preparation and positioning is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1998
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82552-6