Pfenning, M J: search on Z-Library

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

Don't use scam websites

101

Algorithms for Equality and Unification in the Presence of Notational Definitions

Frank Pfenning, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 751 KB

english, 1998

102

Kinetic Effects of Terbium Ions on Muscarinic Acetylcholine Receptors of Murine Neuroblastoma Cells

Esam E. El-Fakahany, Michael Pfenning, Elliott Richelson

Journal:

Journal of Neurochemistry

Year:

1984

Language:

english

File:

PDF, 636 KB

english, 1984

103

Neurotensin Stimulates Inositol Phospholipid Metabolism and Calcium Mobilization in Murine Neuroblastoma Clone N1E-115

R. M. Snider, C. Forray, M. Pfenning, E. Richelson

Journal:

Journal of Neurochemistry

Year:

1986

Language:

english

File:

PDF, 500 KB

english, 1986

104

Consumer Evaluations of Food Risk Management Quality in Europe

E. Van Kleef, J. R. Houghton, A. Krystallis, U. Pfenning, G. Rowe, H. Van Dijk, I. A. Van der Lans, L. J. Frewer

Journal:

Year:

2007

Language:

english

File:

PDF, 635 KB

english, 2007

105

Coagulation of Ventricular Myocardium Using Radiofrequency Alternating Current: Bio-Physical Aspects and Experimental Findings

WILHELM HAVERKAMP, GERHARD HINDRICKS, HARTMUT GULKER, ULRICH RISSEL, WINNFRIED PFENNINGS, MARTIN BORGGREFE, GUNTER BREITHARDT

Journal:

Pacing and Clinical Electrophysiology

Year:

1989

Language:

english

File:

PDF, 4.02 MB

english, 1989

106

Alternative life histories in the water strider Gerris lacustris: time constraint on wing morph and voltinism

Brenda Pfenning, Sabine Gerstner, Hans Joachim Poethke

Journal:

Entomologia Experimentalis et Applicata

Year:

2008

Language:

english

File:

PDF, 230 KB

english, 2008

107

A health-related quality of life questionnaire for multiple sclerosis Patients

L. E. M. A. Pfennings, H. M. Van der Ploeg, L. Cohen, I. Bramsen, C. H. Polman, G. J. Lankhorst, L. Vleugels

Journal:

Acta Neurologica Scandinavica

Year:

1999

Language:

english

File:

PDF, 743 KB

english, 1999

108

Note by the Guest Editors

Wilfried Sieg, Frank Pfenning

Journal:

Year:

1998

File:

PDF, 18 KB

1998

109

A comparison of responsiveness indices in multiple sclerosis patients

Lilian E.M.A. Pfennings, Henk M. van der Ploeg, Leo Cohen, Chris H. Polman

Journal:

Quality of Life Research

Year:

1999

Language:

english

File:

PDF, 109 KB

english, 1999

110

[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 4098 || Formal Verification of Infinite State Systems Using Boolean Methods

Pfenning, Frank

Year:

2006

Language:

english

File:

PDF, 189 KB

english, 2006

111

Higher-order abstract syntax

Pfenning, F., Elliot, C.

Journal:

ACM SIGPLAN Notices

Year:

1988

Language:

english

File:

PDF, 985 KB

english, 1988

112

Gadofluorine M enhanced MRI in experimental glioma: Superior and persistent intracellular tumor enhancement compared with conventional MRI

Leonie Jestaedt, Dieter Lemke, Markus Weiler, Philipp-Niclas Pfenning, Sabine Heiland, Wolfgang Wick, Martin Bendszus

Journal:

Journal of Magnetic Resonance Imaging

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

113

Über eine azidimetrische Bestimmung von Alkalijodiden

E. Rupp, F. Pfenning, M. Horn

Journal:

Analytical and Bioanalytical Chemistry

Year:

1911

Language:

german

File:

PDF, 112 KB

german, 1911

114

Kobalt und Nickel

J. J. Lurje, M. J. Troitzkaja, B. S. Evans, E. Rupp, F. Pfenning, E. N. Deutschman, A. W. Wolokitin, S. Ishimaru, L. Wolkowa, J. Schmulewitsch, J. W. Smirnowa, I. I. Pomeranz, R. D. Midson

Journal:

Analytical and Bioanalytical Chemistry

Year:

1938

Language:

german

File:

PDF, 729 KB

german, 1938

115

Logical approximation for program analysis

Simmons, Robert J., Pfenning, Frank

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 1.17 MB

english, 2011

116

Antifungal metabolites from Colletotrichum gloeosporioides, an endophytic fungus in Cryptocarya mandioccana Nees (Lauraceae)

Maysa L. Inácio, Geraldo H. Silva, Helder L. Teles, Henrique C. Trevisan, Alberto J. Cavalheiro, Vanderlan da S. Bolzani, Maria C.M. Young, Ludwig H. Pfenning, Ângela R. Araújo

Journal:

Biochemical Systematics and Ecology

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

117

Patch density, movement pattern, and realised dispersal distances in a patch-matrix landscape—a simulation study

S. Hein, B. Pfenning, T. Hovestadt, H.-J. Poethke

Journal:

Ecological Modelling

Year:

2004

Language:

english

File:

PDF, 181 KB

english, 2004

118

The effect of patch constellation on the exchange of individuals between habitat-islands

Brenda Pfenning, Thomas Hovestadt, Hans Joachim Poethke

Journal:

Ecological Modelling

Year:

2004

Language:

english

File:

PDF, 170 KB

english, 2004

119

Phthalates production from Curvularia senegalensis (Speg.) Subram, a fungal species associated to crops of commercial value

Esther M.F. Lucas, Lucas M. Abreu, Ivanildo E. Marriel, Ludwig H. Pfenning, Jacqueline A. Takahashi

Journal:

Microbiological Research

Year:

2008

Language:

english

File:

PDF, 194 KB

english, 2008

120

A comparative genomics approach to identifying the plasticity transcriptome

Andreas R Pfenning, Russell Schwartz, Alison L Barth

Journal:

BMC Neuroscience

Year:

2007

Language:

english

File:

PDF, 652 KB

english, 2007

121

A multidisciplinary cognitive behavioural programme for coping with chronic neuropathic pain following spinal cord injury: the protocol of the CONECSI trial

Matagne Heutink, Marcel WM Post, Peter Luthart, Lilian EMA Pfennings, Catja A Dijkstra, Eline Lindeman

Journal:

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

122

The effect of angiotensins I, II, and III on formation of cyclic GMP in murine neuroblastoma clone N1E-115

Judith A. Gilbert, Michael A. Pfenning, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1984

Language:

english

File:

PDF, 239 KB

english, 1984

123

Inhibition by ethanol of forskolin-stimulated adenylate cyclase in a murine neuroblastoma clone (N1E-115)

Scott Stenstrom, Marvin Seppala, Michael Pfenning, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1985

Language:

english

File:

PDF, 524 KB

english, 1985

124

Effect of the antitumor drug caracemide on the neurochemistry of murine neuroblastoma cells (clone N1E-115)

Michael Mckinney, Michael Pfenning, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1986

Language:

english

File:

PDF, 850 KB

english, 1986

125

Neurotensin and its analogs—Correlation of specific binding with stimulation of cyclic GMP formation in neuroblastoma clone N1E-115

Judith A. Gilbert, C.Jill Moses, Michael A. Pfenning, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1986

Language:

english

File:

PDF, 950 KB

english, 1986

126

Neurotensin(8–13): Comparison of novel analogs for stimulation of cyclic GMP formation in neuroblastoma clone N1E-115 and receptor binding to human brain and intact N1E-115 cells

Judith A. Gilbert, Daniel J. McCormick, Michael A. Pfenning, Kiyoko S. Kanba, Lori J. Enloe, Andrew Moore, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1989

Language:

english

File:

PDF, 688 KB

english, 1989

127

Desensitization of muscarinic M1 receptors of murine neuroblastoma cells (clone N1E-115) without receptor down-regulation and protein kinase C activity

Shigenobu Kanba, Kiyoko S. Kanba, Michael McKinney, Michael Pfenning, Robert Abraham, Soichiro Nomura, Lori Enloes, Scott Mackey, Elliott Richelson

Journal:

Biochemical Pharmacology

Year:

1990

Language:

english

File:

PDF, 1.18 MB

english, 1990

128

Structure-antinociceptive activity of neurotensin and some novel analogues in the periaqueductal gray region of the brainstem

Nayef R.F. Al-Rodhan, Elliott Richelson, Judith A. Gilbert, Daniel J. McCormick, Kiyoko S. Kanba, Michael A. Pfenning, Al Nelson, Eric W. Larson, Tony L. Yaksh

Journal:

Year:

1991

Language:

english

File:

PDF, 876 KB

english, 1991

129

Blockade by antidepressants and related compounds of biogenic amine uptake into rat brain synaptosomes: Most antidepressants selectively block norepinephrine uptake

Elliott Richelson, Michael Pfenning

Journal:

European Journal of Pharmacology

Year:

1984

Language:

english

File:

PDF, 674 KB

english, 1984

130

Lithium ions have a potent and selective inhibitory effect on cyclic GMP formation stimulated by neurotensin, angiotensin II and bradykinin

Shigenobu Kanba, Michael Pfenning, Kiyoko S. Kanba, Elliott Richelson

Journal:

European Journal of Pharmacology

Year:

1986

Language:

english

File:

PDF, 418 KB

english, 1986

131

Hyperfiltration of mixtures of non-electrolytes: Influence of selective solvation of counterions

D. Pfenning, D. Woermann

Journal:

Journal of Membrane Science

Year:

1990

Language:

english

File:

PDF, 309 KB

english, 1990

132

Perceptions of food risk management among key stakeholders: Results from a cross-European study

Ellen van Kleef, Lynn J. Frewer, George M. Chryssochoidis, Julie R. Houghton, Sara Korzen-Bohr, Thanassis Krystallis, Jesper Lassen, Uwe Pfenning, Gene Rowe

Journal:

Year:

2006

Language:

english

File:

PDF, 237 KB

english, 2006

133

Chemical and molecular characterization of Phomopsis and Cytospora-like endophytes from different host plants in Brazil

Lucas M. Abreu, Sarah S. Costa, Ludwig H. Pfenning, Jacqueline A. Takahashi, Thomas O. Larsen, Birgitte Andersen

Journal:

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

134

Activation by glutathione: A possible contribution to the mutagenicity of patulin

Carolin Pfenning, Leane Lehmann

Journal:

Toxicology Letters

Year:

2012

Language:

english

File:

PDF, 85 KB

english, 2012

135

Effect of nitrate, organic carbon, and temperature on potential denitrification rates in nitrate-rich riverbed sediments

K.S. Pfenning, P.B. McMahon

Journal:

Journal of Hydrology

Year:

1997

Language:

english

File:

PDF, 571 KB

english, 1997

136

A Digital Field Memory for Television Receivers

Pelgrom, Marcel J. M., Annegarn, Marcel J. J. C., Harwig, Hendrik A., Peuscher, Henkjan F., Pfennings, Leo C. M. G., Raven, Jan G., Slob, Arie, Slotboom, Jan W., Veendrick, Harry J. M.

Journal:

IEEE Transactions on Consumer Electronics

Year:

1983

Language:

english

File:

PDF, 3.93 MB

english, 1983

137

Psychological functioning in primary progressive versus secondary progressive multiple sclerosis

Luc Vleugels, Lilian Pfennings, Frans Pouwer, Leo Cohen, Pierre Ketelaer, Chris Polman, Gustaaf Lankhorst, Henk van der Ploeg

Journal:

Psychology and Psychotherapy: Theory, Research and Practice

Year:

1998

Language:

english

File:

PDF, 486 KB

english, 1998

138

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 822 || Higher-Order Abstract Syntax with induction in Coq

Pfenning, Frank

Year:

1994

Language:

english

File:

PDF, 857 KB

english, 1994

139

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2830 || A Journey from Interpreters to Compilers and Virtual Machines

Pfenning, Frank, Smaragdakis, Yannis

Year:

2003

Language:

english

File:

PDF, 44 KB

english, 2003

140

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2830 ||

Pfenning, Frank, Smaragdakis, Yannis

Year:

2003

Language:

english

File:

PDF, 988 KB

english, 2003

141

412 The importance of nasal allergen specific IgA and eosinophils in seasonal allergic rhnitis

BUBAK, M, WENTZMURTHA, P, DUNNETTE, S, KEUTING, M, WALLEN, N, WEILER, D, BUTTERFIELD, J, BLOMGRCN, J, PFENNING, M, GLEICH, G

Journal:

Journal of Allergy and Clinical Immunology

Year:

1991

Language:

english

File:

PDF, 173 KB

english, 1991

142

P54 Irradiation-enhanced mammalian target of rapamycin (mTOR)-targeted glioblastoma therapy with CCI-779 (temsirolimus)

M. Weiler, P.-N. Pfenning, A.-L. Thiepold, L. Jestaedt, B. Berger, M. Bendszus, W. Wick

Journal:

European Journal of Cancer Supplements

Year:

2009

Language:

english

File:

PDF, 54 KB

english, 2009

143

A 14 ns 256 K×1 CMOS SRAM with multiple test modes

Voss, P.H., Pfennings, L.C.M.G., Phelan, C.G., O'Connell, C.M., Davies, T.J., Ontrop, H., Bell, S.A., Salters, R.H.W.

Journal:

IEEE Journal of Solid-State Circuits

Year:

1989

Language:

english

File:

PDF, 634 KB

english, 1989

144

A 40 MHz multi applicable digital signal processing chip

Veendrick, H.J.M., Pfennings, L.C.

Journal:

IEEE Journal of Solid-State Circuits

Year:

1982

Language:

english

File:

PDF, 672 KB

english, 1982

145

Differential split-level CMOS logic for subnanosecond speeds

Pfennings, L.C.M.G., Mol, W.G.L., Bastiaens, J.J.J., van Dijk, J.M.F.

Journal:

IEEE Journal of Solid-State Circuits

Year:

1985

Language:

english

File:

PDF, 987 KB

english, 1985

146

Radiation-Induced Genomic Instability: Delayed Mutagenic and Cytogenetic Effects of X Rays and Alpha Particles

John B. Little, Hatsumi Nagasawa, Tracy Pfenning and Helen Vetrovs

Journal:

Radiation Research

Year:

1997

Language:

english

File:

PDF, 561 KB

english, 1997

147

Isolation, identification and antimicrobial activity of propolis-associated fungi

de Souza, Giovanni Gontijo, Pfenning, Ludwig Heinrich, de Moura, Fabiana, Salgado, Mírian, Takahashi, Jacqueline Aparecida

Journal:

Natural Product Research

Year:

2013

Language:

english

File:

PDF, 64 KB

english, 2013

148

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Pattern Graphs and Rule-Based Models: The Semantics of Kappa

Pfenning, Frank

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

149

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 ||

Pfenning, Frank

Year:

2013

Language:

english

File:

PDF, 5.09 MB

english, 2013

150

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || A Proof System for Compositional Verification of Probabilistic Concurrent Processes

Pfenning, Frank

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013