Note taking is a common way for physicians to collect information from their patients in medical inquiries and diagnoses. Many times, when describing the pathology in medical records, a physician also draws diagrams and/or anatomical sketches along with the free-text narratives. The ability to understand unstructured handwritten texts and drawings in patient record could lead to implementation ...

The AGV (automated guided vehicle) was introduced in UK in 1953 for transporting. But nowadays, due to their high efficiency, flexibility, reliability, safety and system scalability, they are used in various application in industries. In brief, the AGV robot is a system which typically made up of vehicle chassis, embedded controller, motors, drivers, navigation and collision avoidance sensors, ...

one of the main requirements for providing software security is the enforcement of access control policies, which is sometimes referred to as the heart of security. the main purpose of access control policies is to protect resources of the system against unauthorized accesses. any error in the implementation of access control policies may lead to undesirable outcomes. hence, we should ensure th...

The search for possible formalizations of logical calculi that are well suited for computer implementations is in the core of the methodological studies in the area of Automated Reasoning (cf. [1], [4], [5]). The theory of resolution proof systems developed in [4] provides a formal framework for the construction and study of the deductive proof systems based on the resolution principle. Resolut...

Trichinellosis is an important zoonosis and the most common source of human infection is meat from pigs and wild boars. The European Union (EU) supports alternative pig production systems (organic and free-ranging) as sustainable farming systems. However, these systems that allow outdoor access for farm animals, may create new or reintroduce old risks to public health. During the last years, al...

We devise automated workflows for the calculation of Helmholtz and Gibbs free energies their temperature pressure dependence provide corresponding computational tools. employ non-equilibrium thermodynamics evaluating energy solid liquid phases at a given reversible scaling computing over wide range temperatures, including direct integration $P$-$T$ coexistence lines. By changing chemistry inter...

NATURE METHODS | VOL.10 NO.4 | APRIL 2013 | 361 We present a genome-wide approach to map DNA double-strand breaks (DSBs) at nucleotide resolution by a method we termed BLESS (direct in situ breaks labeling, enrichment on streptavidin and next-generation sequencing). We validated and tested BLESS using human and mouse cells and different DSBs-inducing agents and sequencing platforms. BLESS was a...

BACKGROUND To examine Chinese soldiers' acute stress responses, we did this study. METHODS The soldiers completed the Acute Stress Response Scale (ASRS) when engaged in major tasks, such as earthquake rescue in Wenchuan, Sichuan, and maintaining social stability in Urumchi, Xinjiang. The ASRS has good reliability and validity. The study enrolled 1,832 male soldiers. RESULTS The results show...