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)
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)
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)
—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)
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)
Endophytes, found ubiquitous in all plant species in the world, contribute to their host plants by producing plenty of substances that provide protection and ultimately survival value to the plant. Many researches have proven that endophyte is a new and potential source of novel natural products for exploitation in modern medicine, agriculture and industry.(More)
Peste des petits ruminants (PPR), an acute and highly contagious disease, affects sheep, goats, and some small ruminants. The hemagglutinin (H) glycoprotein of the PPR virus (PPRV) is considered important for inducing protective immune responses. In this study, a suicidal DNA vaccine based on the Semliki Forest virus (SFV) replicon was constructed and(More)