Learn More
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macro-molecules could in principle provide answers to some of the most important currently outstanding questions in the fields of biology, chemistry and medicine. A wide range of biologically interesting phenomena, however, occur over time(More)
Modem, high performance microprocessors are extremely complex machines which require substantial validation effort to ensure functional correctness prior to tapeout. Generating the corner cases to test these designs is a mostly manual process, where completion is hard to judge. Experience shows that the errors that are caught late in the design, many(More)
LKB1 is a tumor suppressor that may also be fundamental to cell metabolism, since LKB1 phosphorylates and activates the energy sensing enzyme AMPK. We generated muscle-specific LKB1 knockout (MLKB1KO) mice, and surprisingly, found that a lack of LKB1 in skeletal muscle enhanced insulin sensitivity, as evidenced by decreased fasting glucose and insulin(More)
Anton 2 is a second-generation special-purpose supercomputer for molecular dynamics simulations that achieves significant gains in performance, programmability, and capacity compared to its predecessor, Anton 1. The architecture of Anton 2 is tailored for fine-grained event-driven operation, which improves performance by increasing the overlap of(More)
In interactive behavioral synthesis, the designer can control the design process at every stage, including modifying the schedule of the design to improve its performance. In this paper, we present a methodology for performance optimization in interactive behavioral synthesis. Also proposed are several quality metrics and hints that can assist the user in(More)
Nuclear factor-κB (NF-κB) is a transcription factor with important roles in regulating innate immune and inflammatory responses. NF-κB is activated through the phosphorylation of its inhibitor, IκB, by the IκB kinase (IKK) complex. Physical exercise elicits changes in skeletal muscle gene expression, yet signaling cascades and transcription factors involved(More)
OBJECTIVE We determined whether muscle AMP-activated protein kinase (AMPK) has a role in the development of insulin resistance. RESEARCH DESIGN AND METHODS Muscle-specific transgenic mice expressing an inactive form of the AMPK alpha2 catalytic subunit (alpha2i TG) and their wild-type littermates were fed either a high-fat (60% kcal fat) or a control (10%(More)
One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that computations spanning more than a quadrillion clock cycles will produce valid scientific results. Our verification methodology addressed this problem by using a hierarchy of RTL,(More)
We determined whether lower insulin sensitivity persists in young, nonobese, nondiabetic Mexican-American [MA; n = 13, 27.0 +/- 2.0 yr, body mass index (BMI) 23.0 +/- 0.7] compared with non-Hispanic white (NHW; n = 13, 24.8 +/- 1.5 yr, BMI 22.8 +/- 0.6) males and females after accounting for cardiorespiratory fitness (maximal O(2) uptake), abdominal fat(More)