نتایج جستجو برای: 20000 and 40000 ppm

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

Journal: :International Journal of Computer Applications 2011

Journal: :Journal of Sensor Science and Technology 2008

Journal: :CoRR 2016
Jingchao Chen

The robustness and correctness of SAT solvers are receiving more and more attention. In recent SAT competitions, a proof of unsatisfiability emitted by SAT solvers must be checked. So far, no proof checker has been efficient for every case. In the SAT competition 2016, some proofs were not verified within 20000 seconds. For this reason, we decided to develop a more efficient proof checker calle...

Journal: :IEEE Transactions on Communications 1990

2009
Alessandro Spizzirri Carla Migliaccio Lorenzo Cattorini Vincenzo Napolitano Pamela Del Monaco Maurizio Bravetti Marco Coccetta Roberto Cirocchi Giammario Giustozzi Francesco Sciannameo

Background Presacral tumors are most frequently benign, occasionally malignant with a slow growth. Their incidence is 1:40000 and they are asymptomatic in the 26–50% of cases. When visible symptoms occur, these are related to the dimensions of the tumor, to its location and to the presence of infection. We believe all presacral tumors should undergo a surgical resection, even if the patient is ...

Journal: :Asian journal of andrology 2010
Eva Lovrić Dubravka Bobonj Hizak Melita Perić Balja Tanja Lenicek Bozo Kruslin

Correspondence to: Dr Eva Lovrić, Department of Pathology and Cytology, Čakovec County Hospital, Ivana Gorana Kovačića 2E, Čakovec 40000, Croatia. Fax: +385-1379-7244 E-mail: [email protected] Received: 19 September 2009 Revised: 27 November 2009 Accepted: 25 December 2009 Published online: 22 February 2010 Letters to the Editor Asian Journal of Andrology (2010) 12: 451–452 © 2010 AJA, SIMM ...

2013
Victoria Bobicev

This paper reports on our work in the NLI shared task 2013 on Native Language Identification. The task is to automatically detect the native language of the TOEFL essays authors in a set of given test documents in English. The task was solved by a system that used the PPM compression algorithm based on an n-gram statistical model. We submitted four runs; word-based PPMC algorithm with normaliza...

2003
Yingying Wen Ian H. Witten Dianhui Wang

Hidden markov models (HMMs) and prediction by partial matching models (PPM) have been successfully used in language processing tasks including learning-based token identification. Most of the existing systems are domainand language-dependent. The power of retargetability and applicability of these systems is limited. This paper investigates the effect of the combination of HMMs and PPM on token...

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

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