نتایج جستجو برای: ural
تعداد نتایج: 1439 فیلتر نتایج به سال:
In the optimization of test sets for black-box conformance testing of objects specified and modelled as a finite state machine (FSM), a popular transformation is that under a certain precondition, a tail of a test is removed and appended to some other test. We propose a weaker precondition under which the transformation remains fault-coverage-preserving. Along with a weaker precondition, we pro...
K. Held , I. A. Nekrasov, G. Keller, V. Eyert, N. Blümer, A. K. McMahan, R. T. Scalettar, Th. Pruschke, V. I. Anisimov, and D. Vollhardt 1 Max-Planck Institute for Solid State Research, 70569 Stuttgart, Germany 2 Institute of Metal Physics, Russian Academy of Sciences – Ural Division, Yekaterinburg GSP-170, Russia 3 Theoretical Physics III, Center for Electronic Correlations and Magnetism, Inst...
This paper* describes a .al, ural language p~rsi.g algorithm &)r unresu'icl,ed I,ext which uses a probabilhq-hased scoring funct,iow I,o sele(:l, I,he "besC: parse of ~/ sent,enos acc:ording t,c~ a given gra0nunar. The parser~ "Pearl~ ix a i,hne-asynciironous t)ol,l,orn-u 1) chart, parser with Earley-l,ype I,Ol)-dowil t)redic:l,ion which pursues I,he }6gtmsl,-s(:ori.g t,heory in I,he (:|larl,, ...
The impact of winter atmospheric blocking over the Ural Mountains region (UB) coincident with different phases of the North Atlantic Oscillation (NAO) on the sea ice variability over the Barents and Kara Seas (BKS) in winter is investigated. It is found that the UB in conjunction with the positive phase of the NAO (NAOþ) leads to the strongest sea ice decline. During this phase composites and t...
Biophysicochemical properties of the eroded southern chernozem (Trans-Ural Steppe, Russia) with emphasis on 13C NMR spectroscopy humic acids | Azamat Suleymanov, Vyacheslav Polyakov, Mikhail Komissarov, Ruslan Ilyusya Gabbasova, Timur Garipov, Irik Saifullin, Evgeny Abakumov Agricultural Journals
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید