نتایج جستجو برای: prob
تعداد نتایج: 1888 فیلتر نتایج به سال:
Mapping the spatial distribution of soil pollutants is essential for delineating contaminated areas. Currently, geostatistical interpolation, kriging, is increasingly used to estimate pollutant concentrations in soils. The kriging-based approach, indicator kriging (IK), may be used to model the uncertainty of mapping. However, a smoothing effect is usually produced when using kriging in polluta...
BACKGROUND To determine if oral metronidazole (MTZ-400 mg bid) with 2% vaginal clindamycin-cream (Clind) or a Lactobacillus acidophilus vaginal-probiotic containing oestriol (Prob) reduces 6-month bacterial vaginosis (BV) recurrence. METHODS Double-blind placebo-controlled parallel-group single-site study with balanced randomization (1:1:1) conducted at Melbourne Sexual Health Centre, Austral...
"In this paper, a numerical algorithm is used for solving control prob- lems related to Kolmogorov systems. It proved the convergence of and by it re-obtained, approach, controllability investigated problems."
We present the integration of the Kodkod high-level interface to SAT-solvers into the kernel of ProB. As such, predicates from B, Event-B, Z and TLA can be solved using a mixture of SAT-solving and ProB’s own constraint-solving capabilities developed using constraint logic programming: the first-order parts which can be dealt with by Kodkod and the remaining parts solved by the existing ProB ke...
8] S. Hanks and D. McDermott. Modeling a dynamic and uncertain world I: symbolic and prob-abilistic reasoning about change.
While refinement is at the heart of the B Method so far no automatic refinement checker has been developed for it. In this paper we present a refinement checking algorithm and implementation for B. It is based on using an operational semantics of B, obtained in practice by the ProB animator. The refinement checker has been integrated into ProB toolset and we present various case studies and emp...
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions which cannot be represented explicitly by a tool. We present a scheme with which higher-order recursive functions can be encoded in B, and establish soundness of this scheme. We then describe a symbolic representation for...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید