These recent years have witnessed the importance of indoor localization and tracking as people are spending more time indoors, which facilitates determining location an object. Indoor enables accurate reliable location-based services navigation within buildings, where GPS signals often weak or unavailable. With rapid progress smartphones their growing usage, smartphone-based positioning systems...

With the continuous development of the industrialization process, the countries all over the world gradually appeared lack of agricultural labor force and aging phenomenon, which was especially prominent in developed countries. However the agricultural robot with high operating efficiency, high qualities of work will play an increasingly important role in future agricultural production. Robot n...

Background: Low back pain is one of the most important health problems. Disk herniation is one of the common causes of low back pain. Accurate examination is the best and simplest diagnostic methods. Physical examination, Straight leg raise (SLR) and neurologic tests as well as other tests are usually used to locate the exact place of herniation. Paraclinical studies such as magnetic resonance ...

We present RSLR, an implicit higher order characterization of the class PP of those problems which can be decided in probabilistic polynomial time with error probability smaller than 1/2. Analogously, we can get a characterization of the class BPP. RSLR is an extension of Hofmann’s SLR with a probabilistic primitive. We prove that this system enjoys subject reduction. Polytime soundness is obta...

background: ninety percent of all people sometimes during their lives experience low back pain, and 30-40% develops radicular leg pain with the sciatica characteristics. although for clinical diagnosis of lumbar disc herniation (ldh) straight leg raising (slr) test in 85-90% of cases indicates ldh, but in our practice with ldh patients this test is frequently negative despite radicular leg pain...