Learn More
Considerable data support the idea that forkhead box O1 (Foxo1) drives the liver transcriptional program during fasting and is then inhibited by thymoma viral proto-oncogene 1 (Akt) after feeding. Here we show that mice with hepatic deletion of Akt1 and Akt2 were glucose intolerant, insulin resistant and defective in their transcriptional response to(More)
A subset F ⊂ V (G) is called an R2-vertex-cut of G if G− F is disconnected and each vertex u ∈ V (G)− F has at least two neighbors in G− F . The cardinality of a minimum R2-vertexcut of G, denoted by κ2(G), is the R2-vertex-connectivity of G. In this work, we prove that κ(Sn) = 6(n− 3) for n ≥ 4, where Sn is the n-dimensional star graph. © 2008 Elsevier(More)
We propose a new approximate numerical algorithm for the steady–state solution of general structured ergodic Markov models. The approximation uses a state–space encoding based on multiway decision diagrams and a transition rate encoding based on a new class of edge–valued decision diagrams. The new method retains the favorable properties of a previously(More)
Livestock-associated methicillin-resistant Staphylococcus aureus (LA-MRSA) is an emerging public health threat. The aims of this study were to identify nasal carriage of MRSA in finishing pigs from different geographical areas of Taiwan and to compare the genetic features of LA-MRSA with other countries. A total of 299 swine nasal samples were collected(More)
LKB1 is a master kinase that regulates metabolism and growth through adenosine monophosphate-activated protein kinase (AMPK) and 12 other closely related kinases. Liver-specific ablation of LKB1 causes increased glucose production in hepatocytes in vitro and hyperglycaemia in fasting mice in vivo. Here we report that the salt-inducible kinases (SIK1, 2 and(More)
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extension of the possible state variable domains. After implementing both breadth-first and saturationbased state-space generation with this new data structure in our tool SmArT, we are(More)
A pot experiment was conducted to study the effects of rice cropping on elemental sulfur (S0) oxidation in three paddy soils under flooded conditions. Unaltered wet samples of paddy soils derived from cinnamon soil, black soil and red soil, respectively, were used. Repacked soils were incubated for 14, 28 and 42 days with or without addition of 2,000 mg(More)
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farkas’ algorithm, and compute a generator set from which any p-semiflow for the Petri net can be derived through a linear combination. We demonstrate the effectiveness of four(More)
MF59 is an oil-in-water emulsion adjuvant approved for influenza vaccines for human use in Europe. Due to its Th2 inducing properties, MF59 is seldom tested for cancer vaccines. In this study, MF59 formulated with a C-type CpG oligodeoxynucleotide (YW002) was tested for its Th1 adjuvant activity to induce immune responses to HSP65-MUC1, a recombinant fusion(More)
Foot-and-mouth disease (FMD) is a highly contagious disease of cloven-hoofed animals. To prevent the spread of FMDV, inactivated virus vaccines are used to immunize animals in developing countries. However, there are safety concerns. In addition, it is difficult to distinguish the vaccinated animals from those naturally infected ones. In our lab, we have(More)