A Distinction That Needs Elaborating
نویسندگان
چکیده
منابع مشابه
A case of acute rheumatic fever with new criteria, a disease that needs to be considered
Introduction: Acute rheumatic fever is an autoimmune disease that mainly affects the large joints. Early treatment of a throat infection following group A streptococcus prevents of acute rheumatic fever. Given the low prevalence of the disease, especially in a situation where there is excessive use of antibiotics in Iran, this study intends to report a patient with Acute rheumatic fever with mi...
متن کاملElaborating the Profiles
CONCEPTUAL FRAMEWORK This special issue addresses the questions: What is the role and impact of Information and Communications Technology (ICT) on the process of internationalization in higher education? How is this internationalization process related to general models of change that are in motion? In particular, the articles in this special issue explore how the use of ICT influences the futu...
متن کاملElaborating a Decentralized Market Information System
A Decentralized Market Information System (DMIS) that aggregates and provides information about markets is an important component for achieving markets in Grid and Peer-to-Peer systems. The proposed work is the development of a framework for the DMIS, which fulfils the economic provision within the main technical requirements like scalability towards nodes and data attributes and robustness aga...
متن کاملElaborating Domain Descriptions
In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...
متن کاملElaborating on the alias calculus
In this research-in-progress report, we elaborate on the alias calculus introduced in [1], [2]. The alias calculus is to determine whether two reference expressions at the given program point may address the same object at the run-time (in other words, whether one expression may be an alias of the other expression). The main intended application of the alias calculus is to support deductive ver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1961
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.133.3445.11