نتایج جستجو برای: variant
تعداد نتایج: 96808 فیلتر نتایج به سال:
TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.
Ludwig's angina is a potentially life threatening diffuse cellulitis usually resulting from odontogenic infection. We report a case of Ludwig's angina resulting from self administration of an acidic chemical to treat toothache.
On the Riemann hypothesis we establish a uniform upper estimate for zeta(s)/zeta (s + A), 0 < or = A, on the critical line. We use this to give a purely complex-analytic variant of Báez-Duarte's proof of a strengthened Nyman-Beurling criterion for the validity of the Riemann Hypothesis. We investigate function-theoretically some of the functions defined by Báez-Duarte in his study and we show t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید