Learn More
Application markets such as Apple’s App Store and Google’s Play Store have played an important role in the popularity of smartphones and mobile devices. However, keeping malware out of application markets is an ongoing challenge. While recent work has developed various techniques to determine what applications do, no work has provided a technical approach(More)
Birds are the most species-rich class of tetrapod vertebrates and have wide relevance across many research fields. We explored bird macroevolution using full genomes from 48 avian species representing all major extant clades. The avian genome is principally characterized by its constrained size, which predominantly arose because of lineage-specific erosion(More)
As the mobile platform continues to pervade all aspects of human activity, and mobile applications, or mobile apps for short, on this platform tend to be faulty just like other types of software, there is a growing need for automated testing techniques for mobile apps. Modelbased testing is a popular and important testing approach that operates on a model(More)
The Tibetan Plateau and surroundings contain the largest number of glaciers outside the polar regions1. These glaciers are at the headwaters of many prominent Asian rivers and are largely experiencing shrinkage2, which affects the water discharge of large rivers such as the Indus3,4. The resulting potential geohazards5,6 merit a comprehensive study of(More)
Mobile malware attempts to evade detection during app analysis by mimicking security-sensitive behaviors of benign apps that provide similar functionality (e.g., sending SMS messages), and suppressing their payload to reduce the chance of being observed (e.g., executing only its payload at night). Since current approaches focus their analyses on the types(More)
Orofacial clefts are among the most common types of birth defects, but their clinical presentation has not been well described in a geographically diverse US population. To describe the birth prevalence and phenotype of nonsyndromic clefts, we used data from the National Birth Defects Prevention Study (NBDPS), a multi-site, population-based, case-control(More)
Recently, Deep Convolutional Neural Networks (DCNNs) have been applied to the task of human pose estimation, and have shown its potential of learning better feature representations and capturing contextual relationships. However, it is difficult to incorporate domain prior knowledge such as geometric relationships among body parts into DCNNs. In addition,(More)
BACKGROUND Congenital anomalies are a leading cause of infant morbidity and mortality. Studies suggest associations between environmental contaminants and some anomalies, although evidence is limited. METHODS We used data from the California Center of the National Birth Defects Prevention Study and the Children's Health and Air Pollution Study to estimate(More)
In this paper we show how a number of interesting linear control system analysis and design problems can be reduced to Quantiier Elimination (QE) problems. We assume a xed structure for the compensator, with design parameters q i. The problems considered are problems that currently have no general solution. However, the problems must be of modest complexity(More)
Low reprogramming efficiency and reduced pluripotency have been the two major obstacles in induced pluripotent stem (iPS) cell research. An effective and quick method to assess the pluripotency levels of iPS cells at early stages would significantly increase the success rate of iPS cell generation and promote its applications. We have identified a conserved(More)