Rustan, P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Efficient weakest preconditions

K. Rustan M. Leino

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 104 KB

english, 2005

52

Generating error traces from verification-condition counterexamples

K. Rustan M. Leino, Todd Millstein, James B. Saxe

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

53

Micro-sequential contour blasting—how does it influence the surrounding rock mass?

Journal:

Engineering Geology

Year:

1998

Language:

english

File:

PDF, 906 KB

english, 1998

54

Annotation inference for modular checkers

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 94 KB

english, 2001

55

Real estate of names

K.Rustan M. Leino

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 35 KB

english, 2001

56

Virginity: A contribution to the specification of object-oriented software

K.Rustan M. Leino, Raymie Stata

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 70 KB

english, 1999

57

A semantic approach to secure information flow

Rajeev Joshi, K.Rustan M. Leino

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 132 KB

english, 2000

58

Joining specification statements

K.Rustan M. Leino, Rajit Manohar

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.12 MB

english, 1999

59

Gas chromatographic analysis of resveratrol in plasma, lipoproteins and cells after in vitro incubations

D Blache, I Rustan, P Durand, G Lesgards, N Loreau

Journal:

Journal of Chromatography B: Biomedical Sciences and Applications

Year:

1997

Language:

english

File:

PDF, 239 KB

english, 1997

60

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, Erik Poll

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

61

The demethylation of imipramine and clomipramine as apparent from their plasma kinetics

Adam Nagy, Rustan Johansson

Journal:

Psychopharmacology

Year:

1977

Language:

english

File:

PDF, 624 KB

english, 1977

62

Human brain tubulin purification: Decrease in soluble tubulin with age

Sau-chi B. Yan, Sutaeg Hwang, Timothy D. Rustan, William H. Frey

Journal:

Neurochemical Research

Year:

1985

Language:

english

File:

PDF, 1.18 MB

english, 1985

63

A life satisfaction measure: Additional validational data for the Congruity Life Satisfaction measure

M. Joseph Sirgy, Dennis Cole, Rustan Kosenko, H. Lee Meadow, Don Rahtz, Muris Cicic, Guang Xi Jin, Duygun Yarsuvat, David L. Blenkhorn, Natasha Nagpal

Journal:

Social Indicators Research

Year:

1995

Language:

english

File:

PDF, 1.31 MB

english, 1995

64

Conditional composition

Rajit Manohar, K. Rustan, M. Leino

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 779 KB

english, 1995

65

A method for showing progress

K. Rustan M. Leino

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 229 KB

english, 1995

66

Human acetylator genotype: Relationship to colorectal cancer incidence and arylamine N-acetyltransferase expression in colon cytosol

Jose W. Rodriguez, Ward G. Kirlin, Ronald J. Ferguson, Mark A. Doll, Kevin Gray, Timothy D. Rustan, Mark E. Lee, Katherine Kemp, Paul Urso, David W. Hein

Journal:

Archives of Toxicology

Year:

1993

Language:

english

File:

PDF, 990 KB

english, 1993

67

Acetylator genotype-dependent N-acetylation of arylamines in vivo and in vitro by hepatic and extrahepatic organ cytosols of Syrian hamsters congenic at the polymorphic acetyltransferase locus

David W. Hein, Timothy D. Rustan, William J. Martin, Kyle D. Bucher, Linda S. Miller, Erik J. Furman

Journal:

Archives of Toxicology

Year:

1992

Language:

english

File:

PDF, 646 KB

english, 1992

68

Chronic hyperglycaemia promotes lipogenesis and triacylglycerol accumulation in human skeletal muscle cells

V. Aas, E. T. Kase, R. Solberg, J. Jensen, A. C. Rustan

Journal:

Year:

2004

Language:

english

File:

PDF, 326 KB

english, 2004

69

Leukaemia inhibitory factor stimulates glucose transport in isolated cardiomyocytes and induces insulin resistance after chronic exposure

G. Florholmen, G. H. Thoresen, A. C. Rustan, J. Jensen, G. Christensen, V. Aas

Journal:

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

70

Liver X receptor antagonist reduces lipid formation and increases glucose metabolism in myotubes from lean, obese and type 2 diabetic individuals

E. T. Kase, G. H. Thoresen, S. Westerlund, K. Højlund, A. C. Rustan, M. Gaster

Journal:

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

71

Specification and verification challenges for sequential object-oriented programs

Gary T. Leavens, K. Rustan M. Leino, Peter Müller

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.91 MB

english, 2007

72

Computing Permutation Encodings

K. Rustan M. Leino

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 127 KB

english, 1999

73

Metabolic activation of aromatic and heterocyclicN-hydroxyarylamines by wild-type and mutant recombinant human NAT1 and NAT2 acetyltransferases

David W. Hein, Timothy D. Rustan, Ronald J. Ferguson, Mark A. Doll, Kevin Gray

Journal:

Archives of Toxicology

Year:

1994

Language:

english

File:

PDF, 490 KB

english, 1994

74

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 1.72 MB

english, 2005

75

Human myotubes from myoblast cultures undergoing senescence exhibit defects in glucose and lipid metabolism

Jan O. Nehlin, Marlene Just, Arild C. Rustan, Michael Gaster

Journal:

Year:

2011

Language:

english

File:

PDF, 745 KB

english, 2011

76

Inflammation and Repair in Viral Hepatitis C

Manuela G. Neuman, Kevin Sha, Rustan Esguerra, Sam Zakhari, Robert E. Winkler, Nir Hilzenrat, Jonathan Wyse, Curtis L. Cooper, Devanshi Seth, Mark D. Gorrell, Paul S. Haber, Geoffrey W. McCaughan, Mar

Journal:

Digestive Diseases and Sciences

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

77

Doomed program points

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

78

Reduced secretion of triacylglycerol in CaCo-2 cells transfected with intestinal fatty acid-binding protein

Ane Gedde-Dahl, Mari Ann Kulseth, Trine Ranheim, Christian A. Drevon, Arild C. Rustan

Journal:

Year:

2002

Language:

english

File:

PDF, 333 KB

english, 2002

79

The hypotriglyceridemic effect of dietary n−3 FA is associated with increased β-oxidation and reduced leptin expression

J. Ukropec, J. E. Reseland, D. Gasperikova, E. Demcakova, L. Madsen, R. K. Berge, A. C. Rustan, I. Klimes, C. A. Drevon, E. Sebökova

Journal:

Year:

2003

Language:

english

File:

PDF, 218 KB

english, 2003

80

Dose-Dependent Effects of Docosahexaenoic Acid Supplementation on Blood Lipids in Statin-Treated Hyperlipidaemic Subjects

Barbara J. Meyer, Tone Hammervold, Arild Chr. Rustan, Peter R. C. Howe

Journal:

Year:

2007

Language:

english

File:

PDF, 272 KB

english, 2007

81

Eicosapentaenoic and docosahexaenoic acid affect mitochondrial and peroxisomal fatty acid oxidation in relation to substrate preference

Lise Madsen, Arild C. Rustan, Hege Vaagenes, Kjetil Berge, Endre Dyrøy, Rolf K. Berge

Journal:

Year:

1999

Language:

english

File:

PDF, 675 KB

english, 1999

82

Lipid metabolism in human skeletal muscle cells: effects of palmitate and chronic hyperglycaemia

V. Aas, M. Rokling-Andersen, A. J. Wensaas, G. H. Thoresen, E. T. Kase, A. C. Rustan

Journal:

Acta Physiologica

Year:

2005

Language:

english

File:

PDF, 266 KB

english, 2005

83

Tetradecylthioacetic acid attenuates dyslipidaemia in male patients with type 2 diabetes mellitus, possibly by dual PPAR-α/δ activation and increased mitochondrial fatty acid oxidation

K. Løvås, T. H. Røst, J. Skorve, R. J. Ulvik, O. A. Gudbrandsen, P. Bohov, A. J. Wensaas, A. C. Rustan, R. K. Berge, E. S. Husebye

Journal:

Diabetes, Obesity and Metabolism

Year:

2009

Language:

english

File:

PDF, 196 KB

english, 2009

84

Dietary supplementation of tetradecylthioacetic acid increases feed intake but reduces body weight gain and adipose depot sizes in rats fed on high-fat diets

A. J. Wensaas, A. C. Rustan, M. H. Rokling-Andersen, R. Caesar, J. Jensen, O. Kaalhus, B. A. Graff, O. A. Gudbrandsen, R. K. Berge, C. A. Drevon

Journal:

Diabetes, Obesity and Metabolism

Year:

2009

Language:

english

File:

PDF, 947 KB

english, 2009

85

Cafestol (a Coffee Lipid) Decreases Uptake of Low-Density Lipoprotein (LDL) in Human Skin Fibroblasts and Liver Cells

A. C. RUSTAN, B. HALVORSEN, T. RANHEIM, C. A. DREVONC

Journal:

Annals of the New York Academy of Sciences

Year:

1997

Language:

english

File:

PDF, 314 KB

english, 1997

86

Omega-3 and Omega-6 Fatty Acids in the Insulin Resistance Syndrome : Lipid and Lipoprotein Metabolism and Atherosclerosis

A. C. RUSTAN, M. S. NENSETER, C. A. DREVON

Journal:

Annals of the New York Academy of Sciences

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

87

Electrical Stimulation Improves Insulin Responses in a Human Skeletal Muscle Cell Model of Hyperglycemia

VIGDIS AAS, SIRI TORBLÅ, MERETHE H. ANDERSEN, JØRGEN JENSEN, ARILD CHR. RUSTAN

Journal:

Annals of the New York Academy of Sciences

Year:

2002

Language:

english

File:

PDF, 3.56 MB

english, 2002

88

Construction of Syrian Hamster Lines Congenic at the Polymorphic Acetyltransferase Locus (NAT2): Acetylator Genotype-Dependent N- and O-Acetylation of Arylamine Carcinogens

D.W. Hein, M.A. Doll, T.D. Rustan, K. Gray, R.J. Ferguson, Y. Feng

Journal:

Toxicology and Applied Pharmacology

Year:

1994

File:

PDF, 868 KB

1994

89

Acetylator Genotype-Dependent Formation of 2-Aminofluorene-Hemoglobin Adducts in Rapid and Slow Acetylator Syrian Hamsters Congenic at the NAT2 Locus

Y. Feng, T.D. Rustan, R.J. Ferguson, M.A. Doll, D.W. Hein

Journal:

Toxicology and Applied Pharmacology

Year:

1994

File:

PDF, 611 KB

1994

90

Higher Frequency of Aberrant Crypt Foci in Rapid Than Slow Acetylator Inbred Rats Administered the Colon Carcinogen 3,2′-Dimethyl-4-aminobiphenyl

Yi Feng, Adrian J. Fretland, Timothy D. Rustan, Wen Jiang, William K. Becker, David W. Hein

Journal:

Toxicology and Applied Pharmacology

Year:

1997

Language:

english

File:

PDF, 389 KB

english, 1997

91

Plasma levels of imipramine and desipramine in man after different routes of administration

Adam Nagy, Rustan Johansson

Journal:

Naunyn-Schmiedeberg's Archives of Pharmacology

Year:

1975

Language:

english

File:

PDF, 856 KB

english, 1975

92

Eicosapentaenoic acid, but not docosahexaenoic acid, increases mitochondrial fatty acid oxidation and upregulates 2,4-dienoyl-CoA reductase gene expression in rats

Nina Willumsen, Hege Vaagenes, Øyvind Lie, Arild C. Rustan, Rolf K. Berge

Journal:

Year:

1996

Language:

english

File:

PDF, 1.54 MB

english, 1996

93

The hypotriglyceridemic effect of eicosapentaenoic acid in rats is reflected in increased mitochondrial fatty acid oxidation followed by diminished lipogenesis

Nina Willumsen, Jon Skorve, Sofie Hexeberg, Arild C. Rustan, Rolf K. Berge

Journal:

Year:

1993

Language:

english

File:

PDF, 811 KB

english, 1993

94

Effects of non-β-oxidizable sulfur-substituted fatty acid analogues on synthesis and secretion of triacylglycerol and cholesterol in cultured rat hapatocytes

Jon Skorve, Arild C. Rustan, Rolf K. Berge

Journal:

Year:

1995

Language:

english

File:

PDF, 807 KB

english, 1995

95

Stepwise refinement of heap-manipulating code in Chalice

Leino, K. Rustan M., Yessenov, Kuat

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 584 KB

english, 2012

96

Dietary Supplementation with 22-S-Hydroxycholesterol to Rats Reduces Body Weight Gain and the Accumulation of Liver Triacylglycerol

Eili Tranheim Kase, Nataša Nikolić, Nina Pettersen Hessvik, Åse-Karine Fjeldheim, Jørgen Jensen, G. Hege Thoresen, Arild C. Rustan

Journal:

Year:

2012

Language:

english

File:

PDF, 469 KB

english, 2012

97

Benfotiamine increases glucose oxidation and downregulates NADPH oxidase 4 expression in cultured human myotubes exposed to both normal and high glucose concentrations

D. A. Fraser, N. P. Hessvik, N. Nikolić, V. Aas, K. F. Hanssen, S. K. Bøhn, G. H. Thoresen, A. C. Rustan

Journal:

Genes & Nutrition

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

98

Longitudinal changes in gingival condition in crowded and noncrowded dentitions subjected to fixed orthodontic treatment

Rustan Glans, Erik Larsson, Bjørn Øgaard

Journal:

American Journal of Orthodontics and Dentofacial Orthopedics

Year:

2003

Language:

english

File:

PDF, 47 KB

english, 2003

99

Synthesis, molecular modeling studies and biological evaluation of fluorine substituted analogs of GW 501516

Calin C. Ciocoiu, Aina W. Ravna, Ingebrigt Sylte, Arild C. Rustan, Trond Vidar Hansen

Journal:

Bioorganic & Medicinal Chemistry

Year:

2011

Language:

english

File:

PDF, 1.55 MB

english, 2011

100

Rodent models of the human acetylation polymorphism: Comparisons of recombinant acetyltransferases

David W Hein, Mark A Doll, Adrian J Fretland, Kevin Gray, Anne C Deitz, Yi Feng, Wen Jiang, Timothy D Rustan, Shelly L Satran, Timothy R Wilkie Sr.

Journal:

Mutation Research/Fundamental and Molecular Mechanisms of Mutagenesis

Year:

1997

Language:

english

File:

PDF, 160 KB

english, 1997