Learn More
Self-adjusting computation offers a language-centric approach to writing programs that can automatically respond to modifications to their data (e.g., inputs). Except for several domain-specific implementations, however, all previous implementations of self-adjusting computation assume mostly functional, higher-order languages such as Standard ML. Prior to(More)
SUMMARY Autosomal dominant nocturnal frontal lobe epilepsy (ADNFLE) is known to be partly caused by mutations in the transmembrane domain (TM) 1-3 of the genes of the neuronal nicotinic acetylcholine receptor (nAChR) alpha4-subunit (CHRNA4), beta2-subunit (CHRNB2) and alpha2-subunit (CHRNA2). The more common cases of sporadic nocturnal frontal lobe epilepsy(More)
A newly emerged H7N9 virus has caused 132 human infections with 37 deaths in China since 18 February 2013. Control measures in H7N9 virus-positive live poultry markets have reduced the number of infections; however, the character of the virus, including its pandemic potential, remains largely unknown. We systematically analyzed H7N9 viruses isolated from(More)
OBJECTIVE To make early diagnosis of IT15 gene mutation in a Wuhan juvenile-onset Huntington disease (HD) family, for providing them with genetic counseling, and making preparation for the further research on pathogenesis and experimental therapy of HD. METHODS According to the principle of informed consent, we extracted genomic DNA from peripheral blood(More)
Computational problems that involve dynamic data, such as physics simulations and program development environments, have been an important subject of study in programming languages. Building on this work, recent advances in self-adjusting computation have developed techniques that enable programs to respond automatically and efficiently to dynamic changes(More)
Schistosoma egg-induced liver granuloma is a dynamic inflammatory reaction that results from complex immune responses to the infection. However, the role of B cells in inflammatory granuloma development is not yet fully understood. We report here that B cell function is required for S. japonicum egg-induced granuloma pathology in early infection. Both OBF-1(More)
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We show how to decompose this certification into two components, which can be respectively handled by the complementary verification techniques, theorem proving and model checking.(More)
OBJECTIVE To explore the relation between parahippocampal structures, such as the amygdala and the entorhinal cortex (EC), with verbal and nonverbal memory in patients with medial temporal lobe epilepsy (MTLE) with visually normal MR imaging findings by volumetric measurements using magnetic resonance imaging (MRI). METHODS Thirty-six consecutive patients(More)