نتایج جستجو برای: land sat

تعداد نتایج: 130262  

Journal: :Developmental Cell 2009

Journal: :Combinatorics, Probability & Computing 2023

Abstract In this paper we study a variation of the random $k$ -SAT problem, called polarised -SAT, which contains both classical model and version monotone another well-known NP-complete SAT. there is polarisation parameter $p$ , in half clauses each variable occurs negated with probability pure otherwise, while other probabilities are interchanged. For $p=1/2$ get model, at extreme have fully ...

2009
Martin Ellmerer Martin Haluzik Jan Blaha Jaromir Kremen Stepan Svacina Andreas Plasnik Dimas Ikeoka Manfred Bodenlenz Lukas Schaupp Johannes Plank Thomas R. Pieber

Minimally invasive techniques to access subcutaneous adipose tissue for glucose monitoring are successfully applied in type1 diabetic and critically ill patients. During critical illness, the addition of a lactate sensor might enhance prognosis and early intervention. Our objective was to evaluate SAT as a site for lactate measurement in critically ill patients. In 40 patients after major cardi...

2008
Ştefan Andrei Albert M.K. Cheng Gheorghe Grigoraş Lawrence J. Osborne

Theorem proving is a challenging task for formal verification of systems. There exist many efforts to efficiently solve this problem, based for example on rewriting rules and/or SAT-based techniques. We propose an alternative of SAT-based techniques by using instead a counting SAT-based technique (denoted also #SAT). A SAT solver tests if a propositional formula F has at least one truth assignm...

Journal: :Journal on Satisfiability, Boolean Modeling and Computation 2019

Journal: :Random Structures & Algorithms 2021

Journal: :journal of rangeland science 2013
moslem hadidi ali ariapour marzban faramarzi

the major aim of processing satellite images is to prepare topical and effectivemaps. the selection of appropriate classification methods plays an important role. amongvarious methods existing for image classification, artificial neural network method is ofhigh accuracy. in present study, tm images of 1987, and etm+ images of 2000 and 2006were analyzed using artificial fuzzy artmap neural netwo...

2012
Georg Weissenbacher Sharad Malik

Contemporary satisfiability solvers are the corner-stone of many successful applications in domains such as automated verification and artificial intelligence. The impressive advances of SAT solvers, achieved by clever engineering and sophisticated algorithms, enable us to tackle Boolean Satisfiability (SAT) problem instances with millions of variables – which was previously conceived as a hope...

Journal: :The Onderstepoort journal of veterinary research 2006
J M K Hyera M Letshwenyo K B Monyame G Thobokwe A R Pilane N Mapitse E K Baipoledi

A serological survey was conducted in apparently healthy, unvaccinated indigenous Tswana goats and sheep in Kasane, Maun and Shakawe districts in northwestern Botswana in order to determine in these animals, the levels of exposure to the South African Territories (SAT) serotypes: SAT 1, SAT 2 and SAT 3 of foot-and-mouth disease virus (FMDV). A total of 250, 142 and 134 goat sera originating res...

Journal: :AI Magazine 2012
Matti Järvisalo Daniel Le Berre Olivier Roussel Laurent Simon

is satisfiable is one of the most fundamental problems in computer science, known as the canonical NP-complete Boolean satisfiability (SAT) problem (Biere et al. 2009). In addition to its theoretical importance, major advances in the development of robust implementations of decision procedures for SAT, SAT solvers, have established SAT as an important declarative approach for attacking various ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید