Evolutionary games model a common type of interactions in a variety of complex, networked, natural systems and social systems. Given such a system, uncovering the interacting structure of the underlying network is key to understanding its collective dynamics. Based on compressive sensing, we develop an efficient approach to reconstructing complex networks under game-based interactions from small amounts of data. The method is validated by using a variety of model networks and by conducting an actual experiment to reconstruct a social network. While most existing methods in this area assume oscillator networks that generate continuous-time data, our work successfully demonstrates that the extremely challenging problem of reverse engineering of complex networks can also be addressed even when the underlying dynamical processes are governed by realistic, evolutionary-game type of interactions in discrete time.

At least since the late nineteenth century, researchers have sought an explanation for infantile amnesia (IA)—the lack of autobiographical memories dating from early childhood—and childhood amnesia (CA), faster forgetting of events up until the age of about seven. Evidence suggests that IA occurs across altricial species, and a number of studies using animal models have converged on the hypothesis that maturation of the hippocampus is an important factor. But why does the hippocampus mature at one time and not another, and how does that maturation relate to memory? Our hypothesis is rooted in theories of embodied cognition, and it provides an explanation both for hippocampal development and the end of IA. Specifically, the onset of locomotion prompts the alignment of hippocampal place cells and grid cells to the environment, which in turn facilitates the ontogeny of long-term episodic memory and the end of IA. That is, because the animal can now reliably discriminate locations, location becomes a stable cue for memories. Furthermore, as the mode of human locomotion shifts from crawling to walking, there is an additional shift in the alignment of the hippocampus that marks the beginning of adult-like episodic memory and the end of CA. Finally, given a reduction in self-locomotion and exploration with aging, the hypothesis suggests a partial explanation for cognitive decline with aging.

Despite wide applications of high-throughput biotechnologies in cancer research, many biomarkers discovered by exploring large-scale omics data do not provide satisfactory performance when used to predict cancer treatment outcomes. This problem is partly due to the overlooking of functional implications of molecular markers. Here, we present a novel computational method that uses evolutionary conservation as prior knowledge to discover bona fide biomarkers. Evolutionary selection at the molecular level is nature's test on functional consequences of genetic elements. By prioritizing genes that show significant statistical association and high functional impact, our new method reduces the chances of including spurious markers in the predictive model. When applied to predicting therapeutic responses for patients with acute myeloid leukemia and to predicting metastasis for patients with prostate cancers, the new method gave rise to evolution-informed models that enjoyed low complexity and high accuracy. The identified genetic markers also have significant implications in tumor progression and embrace potential drug targets. Because evolutionary conservation can be estimated as a gene-specific, position-specific, or allele-specific parameter on the nucleotide level and on the protein level, this new method can be extended to apply to miscellaneous “omics” data to accelerate biomarker discoveries.

Modern software applications are commonly built by leveraging pre-fabricated modules, e.g. application programming interfaces (APIs), which are essential to implement the desired functionalities of software applications, helping reduce the overall development costs and time. When APIs deal with security-related functionality, it is critical to ensure they comply with their design requirements since otherwise unexpected flaws and vulnerabilities may consequently occur. Often, such APIs may lack sufficient specification details, or may implement a semantically-different version of a desired security model to enforce, thus possibly complicating the runtime enforcement of security properties and making it harder to minimize the existence of serious vulnerabilities. This paper proposes a novel approach to address such a critical challenge by leveraging the notion of software assertions. We focus on security requirements in role-based access control models and show how proper verification at the source-code level can be performed with our proposed approach as well as with automated state-of-the-art assertion-based techniques.