Learn More
— We propose a methodology to determine the occurrence of falls from among other common human movements. The source data is collected by wearable and mobile platforms based on three-axis accelerometers to measure subject kinematics. Our signal processing consists of preprocessing, pattern recognition and classification. One problem with data acquisition is(More)
Endophytc fungi were collected from the barks, branches and leaves of Taxus chinensis var. mairei from the Jiangxi, Zhejiang and Chongqing regions of China and their influences on geographic and tissue investigated. A total of 145 fungal taxa were identified based on molecular techniques, of these 125 taxa (86.2 %) belonging to Ascomycota, 14 (9.7 %) to(More)
We address the problem of verifying Probabilistic Computation Tree Logic (PCTL) properties of Markov Decision Processes (MDPs) whose state transition probabilities are only known to lie within uncertainty sets. We first introduce the model of Convex-MDPs (CMDPs), i.e., MDPs with convex uncertainty sets. CMDPs generalize Interval-MDPs (IMDPs) by allowing(More)
—Automatic synthesis of a reactive system from its formal specification is appealing but often difficult due to the tedium of writing auxiliary specifications, especially on the environment. In several instances, specifications are found unrealizable as a result of insufficient environmental assumptions. We present an approach to this problem for synthesis(More)
Farnesyl diphosphate synthase (FPS; EC2.5.1.1/EC2. 5.1.10) catalyzes the synthesis of farnesyl diphosphate, and provides precursor for biosynthesis of sesquiterpene and isoprenoids containing more than 15 isoprene units in Ginkgo biloba. Here we report the cloning, characterization and functional analysis of a new cDNA encoding FPS from G. biloba. The(More)
Measuring a distance using phase measurements is a common practice in many areas of engineering. Almost inevitably these measurements are accompanied by noise, and are always subject to ambiguity resulting from the phase of modulo <formula formulatype="inline"><tex Notation="TeX">$2\pi$</tex></formula>. In the presence of phase ambiguity, where for instance(More)
— The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specification or the circuit implementation. In this context, we study and prove properties of mutations to finite-state systems. Since faults can be viewed as mutations, our theory(More)
Systems are increasingly being constructed from off-the-shelf components acquired through a globally distributed and untrusted supply chain. Often only post-synthesis gate-level netlists or actual silicons are available for security inspection. This makes reasoning about hardware trojans particularly challenging given the enormous scale of the problem.(More)
During the epidemic period of the novel H7N9 viruses, an influenza A (H9N2) virus was isolated from a 7-year-old boy with influenza-like illness in Yongzhou city of Hunan province in November 2013. To identify the possible source of infection, environmental specimens collected from local live poultry markets epidemiologically linked to the human case in(More)