نتایج جستجو برای: enumeration technique

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

Journal: :Mathematics of Computation 2009

Journal: :SSRN Electronic Journal 2015

Journal: :Proceedings of the VLDB Endowment 2015

Journal: :Journal of Experimental Psychology: Human Perception and Performance 2013

2007
Barry Cooper Andrea Sorbi Xiaoding Yi

We prove the following three theorems on the enumeration degrees of Σ2 sets. Theorem A: There exists a nonzero noncuppable Σ 0 2 enumeration degree. Theorem B: Every nonzero ∆2 enumeration degree is cuppable to 0e by an incomplete total enumeration degree. Theorem C: There exists a nonzero low ∆2 enumeration degree with the anticupping property.

Journal: :Arch. Math. Log. 2010
Mariya Ivanova Soskova

We prove that a sequence of sets containing representatives of cupping partners for every nonzero ∆2 enumeration degree cannot have a ∆ 0 2 enumeration. We also prove that no subclass of the Σ 2 enumeration degrees containing the nonzero 3-c.e. enumeration degrees can be cupped to 0e by a single incomplete Σ 2 enumeration degree.

Journal: :Collegium antropologicum 2010
Zoran Siftar Mirjana Mariana Kardum Paro Ivica Sokolić Aida Nazor Zlata Flegar Mestrić

Participation in external quality assessment is an integral part of laboratory work and mandatory when the results have a clinical application, which is one of the requirements of standard 15189 for accreditation of medical laboratories. Institute of Clinical Chemistry, the first laboratory accredited for clinical cell analysis by flow cytometry in Croatia, participated in UKNEQAS for Leukocyte...

Journal: :Combinatorics, Probability & Computing 2008
Vincent Vatter

Zeilberger’s enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply to many more permutation classes and describe the Maple package WilfPlus, which implements this process. We also compare enumeration schemes to three other systematic enumeration techniques: generating trees, substitution decomposi...

My half-century journey started from synthetic organic chemistry. During the first stage of my journey, my interest in stereochemistry was initiated through the investigation on the participation of steric effects in reactive intermediates, cylophanes, strained heterocycles, and organic compounds for photography. In chemoinformatics as the next stage of the journey, I proposed the concept of im...

2012
HRISTO A. GANCHEV MARIYA I. SOSKOVA

We give an alternative definition of the enumeration jump operator. We prove that the class of total enumeration degrees and the class of low enumeration degrees are first order definable in the local structure of the enumeration degrees.

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

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