Pfenning, P.: search on Z-Library

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

51

A Bidirectional Refinement Type System for LF

William Lovas, Frank Pfenning

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 321 KB

english, 2008

52

Mobile pulse power systems for electric gun tests

Pfenning, T., Marinos, C., Howard, T., Hendrickson, M., Hargreaves, J.

Journal:

IEEE Transactions on Magnetics

Year:

1993

Language:

english

File:

PDF, 688 KB

english, 1993

53

Etiology of root rot and wilt disease of chickpea in Brazil

Azevedo, Daiana M. Q., Rocha, Fernando S., Costa, Cândido A., Pfenning, Ludwig H., da Costa, Sarah S., Melo, Maruzanete P., da Silva, Josiane G., Fernanades, Maria de Fátima G.

Journal:

Tropical Plant Pathology

Year:

2017

Language:

english

File:

PDF, 1.26 MB

english, 2017

54

Chronischer Schmerz bei Kindern und Jugendlichen: eine Ã¶konomische Betrachtung; Chronic pain in children and adolescents: an economic perspective;

Ruhe, Ann-Kristin, Wager, Julia, Linder, Roland, Meusch, Andreas, Pfenning, Ingo, Zernikow, Boris

Journal:

Year:

2020

File:

PDF, 518 KB

2020

55

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

56

VCG and AFLP analyses identify the same groups in the causal agents of mango malformation in Brazil

Cristiano S. Lima, Jean H. A. Monteiro, Natália C. Crespo, Sarah S. Costa, John F. Leslie, Ludwig H. Pfenning

Journal:

European Journal of Plant Pathology

Year:

2009

Language:

english

File:

PDF, 258 KB

english, 2009

57

The Nurse Practitioner's Role in the Management of Rheumatoid Arthritis

Karen I. Swanson, Stacey Pfenning

Journal:

The Journal for Nurse Practitioners

Year:

2011

Language:

english

File:

PDF, 239 KB

english, 2011

58

RELIABILITY OF TWO MEASURES OF HEALTH-RELATED QUALITY OF LIFE IN PATIENTS WITH MULTIPLE SCLEROSIS

PFENNINGS, LILIAN, COHEN, LEO, VAN DER PLOEG, HENK, POLMAN, CHRIS, LANKHORST, GUSTAAF

Journal:

Perceptual and Motor Skills

Year:

1998

Language:

english

File:

PDF, 164 KB

english, 1998

59

The ergo attribute system

Nord, Robert L., Pfenning, Frank

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

60

Sensitivity of resonant tunneling diode photodetectors

Pfenning, Andreas, Hartmann, Fabian, Langer, Fabian, Kamp, Martin, Höfling, Sven, Worschech, Lukas

Journal:

Year:

2016

Language:

english

File:

PDF, 5.39 MB

english, 2016

61

Photocurrent-voltage relation of resonant tunneling diode photodetectors

Pfenning, Andreas, Hartmann, Fabian, Rebello Sousa Dias, Mariama, Langer, Fabian, Kamp, Martin, Castelano, Leonardo Kleber, Lopez-Richard, Victor, Marques, Gilmar Eugenio, Höfling, Sven, Worschech, Lu

Journal:

Applied Physics Letters

Year:

2015

Language:

english

File:

PDF, 2.50 MB

english, 2015

62

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Unification and anti-unification in the calculus of constructions

Year:

1991

Language:

english

File:

PDF, 924 KB

english, 1991

63

Fusarium udum revisited: a common, but poorly understood member of the Fusarium fujikuroi species complex

Pfenning, Ludwig H., de Melo, Maruzanete Pereira, Costa, Marileide Moreira, Reis, Ailton, Cabral, Cleia Santos, Lima, Cristiano S., Abreu, Lucas M., Costa, Sarah S.

Journal:

Mycological Progress

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

64

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 2.37 MB

english, 1991

65

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

66

SENSOR BASED FINE TUNING OF NITROGEN FERTILIZER APPLICATIONS USING SPECTRAL FEEDBACK SIGNALS FROM TOMATO PLANTS (LYCOPERSICON ESCULENTUM MILL.)

Pfenning, J., Liebig, H.-P., Graeff, S., Claupein, W.

Journal:

Acta Horticulturae

Year:

2009

Language:

english

File:

PDF, 2.28 MB

english, 2009

67

The new koninginins T-U from Phomopsis stipata, an endophytic fungus isolated from Styrax camporum Pohl

Biasetto, Carolina R., Somensi, Andressa, Sordi, Renata, Chapla, Vanessa M., Ebrahimi, Samad N., Silva, Geraldo H., Teles, Helder L., Bolzani, Vanderlan da S., Young, Maria ClÃ¡udia M., Pfenning, Ludw

Journal:

Phytochemistry Letters

Year:

2020

File:

PDF, 802 KB

2020

68

Atmospheric release tests of monomethylamine

R.J. Lantzy, R.D. Myers, D.B. Pfenning, S.B. Millsap

Journal:

Journal of Loss Prevention in the Process Industries

Year:

1990

Language:

english

File:

PDF, 755 KB

english, 1990

69

Cadinane sesquiterpenoids of Phomopsis cassiae, an endophytic fungus associated with Cassia spectabilis (Leguminosae)

Geraldo Humberto Silva, Helder Lopes Teles, Lisinéia Maria Zanardi, Maria Claudia Marx Young, Marcos Nogueira Eberlin, Renato Hadad, Ludwig H. Pfenning, Claudio Miguel Costa-Neto, Ian Castro-Gamboa, V

Journal:

Year:

2006

Language:

english

File:

PDF, 131 KB

english, 2006

70

TPS: A theorem-proving system for classical type theory

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.80 MB

english, 1996

71

Fungal endophytes associated with the mistletoePhoradendron perrottettiiand its host treeTapirira guianensis

L. M. de Abreu, A. R. Almeida, M. Salgado, L. H. Pfenning

Journal:

Mycological Progress

Year:

2010

Language:

english

File:

PDF, 175 KB

english, 2010

72

Molecular profiling of the developing avian telencephalon: Regional timing and brain subdivision continuities

Chen, Chun-Chun, Winkler, Candace M., Pfenning, Andreas R., Jarvis, Erich D.

Journal:

The Journal of Comparative Neurology

Year:

2013

Language:

english

File:

PDF, 8.90 MB

english, 2013

73

ChemInform Abstract: Cytosporones O (I), P (IIa) and Q (IIb) from an Endophytic Cytospora sp.

Lucas M. Abrei, Richard K. Phipps, Ludwig H. Pfenning, Charlotte H. Gotfredsen, Jacqueline A. Takahashi, Thomas O. Larsen

Journal:

Year:

2010

File:

PDF, 19 KB

2010

74

Sesquiterpenes from Xylaria sp., an endophytic fungus associated with Piper aduncum (Piperaceae)

Geraldo H. Silva, Camila M. de Oliveira, Helder L. Teles, Patrícia M. Pauletti, Ian Castro-Gamboa, Dulce H.S. Silva, Vanderlan S. Bolzani, Maria C.M. Young, Claudio M. Costa-Neto, Ludwig H. Pfenning,

Journal:

Phytochemistry Letters

Year:

2010

Language:

english

File:

PDF, 154 KB

english, 2010

75

Activity-Induced DNA Breaks Govern the Expression of Neuronal Early-Response Genes

Madabhushi, Ram, Gao, Fan, Pfenning, Andreas R., Pan, Ling, Yamakawa, Satoko, Seo, Jinsoo, Rueda, Richard, Phan, Trongha X., Yamakawa, Hidekuni, Pao, Ping-Chieh, Stott, Ryan T., Gjoneska, Elizabeta, N

Journal:

Year:

2015

Language:

english

File:

PDF, 2.71 MB

english, 2015

76

Eine soziologische Systemanalyse und sozio-ökonomisches Review der Soziotechnik Energiewende; A Sociological Overview and Socio-Economical Review Analysis of the Socio-Technical-Transition of Renewable Energy Resources;

Journal:

Zeitschrift für Energiewirtschaft

Year:

2018

Language:

german

File:

PDF, 1.32 MB

german, 2018

77

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

78

Bioprospection of Cytotoxic Compounds in Fungal Strains Recovered from Sediments of the Brazilian Coast

Rodrigues, Bárbara S. F., Sahm, Bianca D. B., Jimenez, Paula C., Pinto, Francisco C. L., Mafezoli, Jair, Mattos, Marcos C., Rodrigues-Filho, Edson, Pfenning, Ludwig H., Abreu, Lucas M., Costa-Lotufo,

Journal:

Chemistry & Biodiversity

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

79

Creep equations for high temperature alloys on the basis of a parametric assessment of multi-heat data

Kloos, Karl Heinz, Granacher, Joachim, Pfenning, Andreas

Journal:

Year:

1996

Language:

english

File:

PDF, 433 KB

english, 1996

80

[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

81

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

82

A modal analysis of staged computation

Davies, Rowan, Pfenning, Frank

Journal:

Journal of the ACM

Year:

2001

Language:

english

File:

PDF, 613 KB

english, 2001

83

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - A linear logical framework

Cervesato, I., Pfenning, F.

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

84

Scalar field quantum inequalities in static spacetimes

Pfenning, Michael J., Ford, L. H.

Journal:

Physical Review D

Year:

1998

Language:

english

File:

PDF, 262 KB

english, 1998

85

Quantum inequalities for the electromagnetic field

Pfenning, Michael J.

Journal:

Physical Review D

Year:

2001

Language:

english

File:

PDF, 139 KB

english, 2001

86

[ACM Press the 1991 ACM SIGPLAN symposium - New Haven, Connecticut, United States (1991.06.17-1991.06.19)] Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91 - Compiling the polymorphic λ-calculus

Michaylov, Spiro, Pfenning, Frank

Year:

1991

Language:

english

File:

PDF, 922 KB

english, 1991

87

Parallel complexity analysis with temporal session types

Das, Ankush, Hoffmann, Jan, Pfenning, Frank

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

File:

PDF, 428 KB

2018

88

Anpassung des Defäkationsverhaltens der Larven vonAleochara curtulaGoeze an die raubparasitische Lebensweise imCalliphora-Puparium

Dietrich Fuldner, Ruthard Pfenning

Journal:

Year:

1973

File:

PDF, 1.09 MB

1973

89

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Structural cut elimination

Year:

1995

Language:

english

File:

PDF, 860 KB

english, 1995

90

First report and characterization of Fusarium circinatum, the causal agent of pitch canker in Brazil

Pfenning, Ludwig H., Costa, Sarah da Silva, Melo, Maruzanete Pereira de, Costa, Hélcio, Ventura, José Aires, Auer, Celso Garcia, Santos, Álvaro Figueredo dos

Journal:

Tropical Plant Pathology

Year:

2014

Language:

english

File:

PDF, 3.14 MB

english, 2014

91

The quality of food risk management in Europe: Perspectives and priorities

J.R. Houghton, G. Rowe, L.J. Frewer, E. Van Kleef, G. Chryssochoidis, O. Kehagia, S. Korzen-Bohr, J. Lassen, U. Pfenning, A. Strada

Journal:

Year:

2008

Language:

english

File:

PDF, 222 KB

english, 2008

92

[Institute of Electrical and Electronics Engineers 1985 IEEE International Solid-State Circuits Conference - New York, NY, USA (February 1985)] 1985 IEEE International Solid-State Circuits Conference. Digest of Technical Papers - Differential split-level CMOS logic for sub-nanoseconds speeds

Pfennings, L., Mol, W., Bastiaens, J., van Dijk, J.

Year:

1985

Language:

english

File:

PDF, 587 KB

english, 1985

93

A Comparison of Responsiveness Indices in Multiple Sclerosis Patients

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

Journal:

Quality of Life Research

Year:

1999

Language:

english

File:

PDF, 1.11 MB

english, 1999

94

An investigation into the radiation dose associated with different imaging systems for chest radiology

Marshall, N W, Faulkner, K, Busch, H P, Marsh, D M, Pfenning, H

Journal:

British Journal of Radiology

Year:

1994

Language:

english

File:

PDF, 785 KB

english, 1994

95

Inhibition of CD95/CD95L Signaling with APG101 Prevents Invasion and Enhances Radiation Therapy for Glioblastoma

Blaes, Jonas, Thomé, Carina M., Pfenning, Philipp-Niclas, Rübmann, Petra, Sahm, Felix, Wick, Antje, Bunse, Theresa, Schmenger, Torsten, Sykora, Jaromir, von Deimling, Andreas, Wiestler, Benedikt, Merz

Journal:

Molecular Cancer Research

Year:

2018

Language:

english

File:

PDF, 2.99 MB

english, 2018

96

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2830 || TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses

Pfenning, Frank, Smaragdakis, Yannis

Year:

2003

Language:

english

File:

PDF, 426 KB

english, 2003

97

Particle creation and energy conditions for a quantized scalar field in the presence of an external, time-dependent, Mamaev-Trunov potential

Pfenning, Michael J.

Journal:

Physical Review D

Year:

2018

Language:

english

File:

PDF, 534 KB

english, 2018

98

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2830 || The Convergence of AOP and Active Databases: Towards Reactive Middleware

Pfenning, Frank, Smaragdakis, Yannis

Year:

2003

Language:

english

File:

PDF, 208 KB

english, 2003

99

An HPLC Evaluation of Cytochalasin D Biosynthesis by Xylaria arbuscula Cultivated in Different Media

Amaral, Luciana da S., Rodrigues-Filho, Edson, Santos, Carolina A. A., de Abreu, Lucas M., Pfenning, Ludwig H.

Journal:

Natural Product Communications

Year:

2014

Language:

english

File:

PDF, 305 KB

english, 2014

100

LC/MS Confirmation of Ionophores in Animal Feeds

Turnipseed, Sherri B, Roybal, JosÃ© E, Pfenning, Allen P, Gonzales, Steve A, Hurlbut, Jeffrey A, Madson, Mark R

Journal:

Journal of AOAC International

Year:

2001

Language:

english

File:

PDF, 114 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски