Fuzzy ontologies allow the representation of imprecise structured knowledge, typical in many real-world application domains. A key factor in the practical success of fuzzy ontologies is the availability of highly optimized reasoners. This short paper discusses a novel optimization technique: a reduction of the size of the optimization problems obtained during the inference by the fuzzy ontology...

The traditional control systems are a set of hardware and software infrastructure domain and qualified personnel to facilitate the functions of analysis, planning, decision-making, management and coordination of business processes. Human interaction with the components of these systems is done using a specified in advance script dialogue "menu", mainly based on human intellect and unproductive ...

Mullerian duct anomalies are an uncommon but often treatable cause of infertility. Patients with müllerian duct anomalies are known to have a higher incidence of infertility, repeated first-trimester spontaneous abortions, fetal intrauterine growth retardation, fetal malposition, preterm labor, and retained placenta. The role of imaging is to help detect, diagnose, and distinguish surgically co...

Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program correctness, automatic test case generation, and proof carrying code. One might imagine VC applications would use the theoretically most appealing VC generation algorithm. This is often not the case. The most theoretically appealing algorithms are based upon weakest ...

Feline spongiform encephalopathy (FSE) is considered to be related to bovine spongiform encephalopathy (BSE) and has been reported in domestic cats as well as in captive wild cats including cheetahs, first in the United Kingdom (UK) and then in other European countries. In France, several cases were described in cheetahs either imported from UK or born in France. Here we report details of two o...

Commentary " The FEBSTAT [Consequences of Prolonged Febrile Seizures in Childhood] study was designed to prospectively examine the association between prolonged febrile seizures and development of HS [hippocampal sclerosis] and associated temporal Human Herpesvirus 6 and 7 in Febrile Status Epilepticus: The FEBSTAT Study. PURPOSE: In a prospective study, Consequences of Prolonged Febrile Seizur...

In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the conside...

BACKGROUND Children with severe/difficult-to-treat asthma experience high morbidity including frequent severe exacerbations. More knowledge is required to identify predictors of these exacerbations to reduce their occurrence. OBJECTIVE To investigate the risk of future severe exacerbations (FSEs) in children with severe/difficult-to-treat asthma and recent severe exacerbations (RSEs). METHO...

OBJECTIVE Our goal was to evaluate the decreased sensitivity of RARE-derived pulse sequences to susceptibility effects. MATERIALS AND METHODS A variety of RARE-derived T2-weighted fast SE echo (FSE) sequences with echo trains from 6 to 16 were compared with conventional SE (CSE) sequences by means of MRI in phantoms (iron oxides), volunteers (n = 10), and patients (n = 13) with old hemorrhagi...