Translation of large-scale data into a coherent model that allows one to simulate, predict and control cellular behavior is far from being resolved. Assuming that long-term cellular behavior is reflected in the gene expression kinetics, we infer a dynamic gene regulatory network from time-series measurements of DNA microarray data of hepatocyte growth factor-induced migration of primary human k...

We investigated the relationship between a 2000-year history of nomadic migration and climate change in historical China. By using updated data and statistical methods, the study solved several unanswered questions from past research about the relationship between climate change and the nomadic migration, especially over the long term and on a large spatial scale. The study used correlation ana...

Making high quality and reliable software systems remains a difficult problem. One approach to address this problem is automated verification which attempts to demonstrate algorithmically that a software system meets its specification. However, verification of software systems is not easy: such systems are often modeled using abstractions of infinite structures such as unbounded integers, infin...

Why do people choose interaction partners who see them as they see themselves? Self-verification theorists propose that a desire to bolster perceptions of predictability and control underlies such activities. In contrast, advocates of positivity strivings argue that people choose such interaction partners in the hope of making themselves feel good. Two studies tested these competing explanation...

Governments should be uncompromising in jointly seeking both information and privacy goals for the data that is in their stewardship. The GAO’s 2001 report on Record Linkage and Privacy places a combined high priority on information gains and privacy issues–and presents this position in contrast to an alternative “zero-sum approach” that conceptualizes privacy and information mainly, or only in...