Background & Aims: Brucellosis is a public health problem in many developing countries, including Iran. Diagnosis is based on history, clinical manifestations and positive serum agglutination test (SAT) or Wright test. The purpose of this study was to evaluate the diagnostic value of SAT in pediatric Brucellosis. Methods: In this prospective study, during 2 years, 52 patients with clinical feat...

Die rasante technologische Entwicklung der letzten zwei Jahrzehnte ermöglicht heute die dauerhafte Speicherung riesiger Datenmengen durch den Computer. In fast allen Wissenschaften werden große Datenmengen gespeichert, die analysiert und verstanden werden müssen. Aber nicht nur in der Wissenschaft, sondern auch in kommerziellen Anwendungen und auch im alltäglichen Leben entstehen große Datenmen...

We describe LMHS, an open source weighted partial maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SAT-IP MaxSAT solver that implements the implicit hitting set approach to MaxSAT. On top of the main algorithm, LMHS offers integrated preprocessing, solution enumeration, an incremental API, and the use of a choice of SAT and IP solvers. We describe the main features of LMHS, and give emp...

Background and objective: Magnetic resonance imaging (MRI) is the most sensitive technique to detect multiple sclerosis (MS) plaques in central nervous system. In some cases, the patients who were suspected to MS, Whereas MRI images are normal, but whether patients don’t have MS plaques or MRI images are not enough optimized enough in order to show MS plaques? The aim of the current study is ...

We describe two new probabilistic planning techniques|c-maxplan and zander|that generate contingent plans in probabilistic propositional domains. Both operate by transforming the planning problem into a stochastic satis ability problem and solving that problem instead. c-maxplan encodes the problem as an E-Majsat instance, while zander encodes the problem as an S-Sat instance. Although S-Sat pr...