Seldin, L.: search on Z-Library

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

Don't use scam websites

51

On the Role of Implication in Formal Logic

Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 577 KB

english, 2000

52

Aerobic endospore-forming bacteria isolated from Antarctic soils as producers of bioactive compounds of industrial interest

Vollú, Renata E., Jurelevicius, Diogo, Ramos, Larissa R., Peixoto, Raquel S., Rosado, Alexandre S., Seldin, Lucy

Journal:

Year:

2014

Language:

english

File:

PDF, 502 KB

english, 2014

53

Proximal Tubular Reabsorption and its Regulation

Jacobson, H R, Seldin, D W

Journal:

Annual Review of Pharmacology

Year:

1977

Language:

english

File:

PDF, 830 KB

english, 1977

54

Risk Management: Then and Now/Using Posterior Composites Appropriately

Seldin, Leslie W., Ferracane, Jack L.

Journal:

Journal of the American Dental Association

Year:

1992

Language:

english

File:

PDF, 13.40 MB

english, 1992

55

Dual isotope thallium and indium antimyosin SPECT imaging to identify acute infarct patients at further ischemic risk

Johnson, L. L., Seldin, D. W., Keller, A. M., Wall, R. M., Bhatia, K., Bingham, C. O., Tresgallo, M. E.

Journal:

Year:

1990

Language:

english

File:

PDF, 7.81 MB

english, 1990

56

Bacillus amyloliquefaciens TSBSO 3.8, a biosurfactant-producing strain with biotechnological potential for Microbial Enhanced Oil Recovery

V. M. Alvarez, D. Jurelevicius, J. M. Marques, P. M. De Souza, L. V. De Raujo, T. G. Barros, R. O. M. A. De Souza, D. M. G. Freire, L. Seldin

Year:

2015

Language:

english

File:

PDF, 1.18 MB

english, 2015

57

Bacterial endophytes of sweet potato tuberous roots affected by the plant genotype and growth stage

Marques, Joana Montezano, da Silva, Thais Freitas, Vollú, Renata Estebanez, de Lacerda, Jackeline Rossetti Mateus, Blank, Arie Fitzgerald, Smalla, Kornelia, Seldin, Lucy

Journal:

Applied Soil Ecology

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

58

H. W. JANSON 1913-1982

Journal:

Source: Notes in the History of Art

Year:

1982

Language:

english

File:

PDF, 162 KB

english, 1982

59

SPECIAL ISSUE IN MEMORY OF LEO STEINBERG (1920-2011) || EDITOR'S NOTE

Donna Seldin Janis

Journal:

Source: Notes in the History of Art

Year:

2012-2012

Language:

english

File:

PDF, 582 KB

english, 2012-2012

60

Bunder Maarten Wicher Visser. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.

Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 180 KB

english, 1970

61

Preface

DEZANI-CIANCAGLINI, MARIANGIOLA, LONGO, GIUSEPPE, SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 52 KB

english, 1999

62

On lists and other abstract data types in the calculus of constructions

SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

2000

Language:

english

File:

PDF, 231 KB

english, 2000

63

A Conflict of Value Systems: Emerging Adults in a Traditional World

Raymond L. Calabrese and Clement Seldin

Journal:

The High School Journal

Year:

1992

Language:

english

File:

PDF, 706 KB

english, 1992

64

FastPop: a rapid principal component derived method to infer intercontinental ancestry using genetic data

Li, Yafang, Byun, Jinyoung, Cai, Guoshuai, Xiao, Xiangjun, Han, Younghun, Cornelis, Olivier, Dinulos, James E., Dennis, Joe, Easton, Douglas, Gorlov, Ivan, Seldin, Michael F., Amos, Christopher I.

Journal:

BMC Bioinformatics

Year:

2016

Language:

english

File:

PDF, 959 KB

english, 2016

65

Hidden complexity in housing markets: a case for alternative models and techniques

Stephanie Rozelle Yates and Dr Elai, Dr, Wyman, David, Worzala, Elaine, Seldin, Maury

Journal:

International Journal of Housing Markets and Analysis

Year:

2013

Language:

english

File:

PDF, 211 KB

english, 2013

66

Immunoglobulin heavy light chain test quantifies clonal disease in patients with AL amyloidosis and normal serum free light chain ratio

Prokaeva, Tatiana, Spencer, Brian, Sun, Fangui, O’Hara, Richard M., Seldin, David C., Connors, Lawreen H., Sanchorawala, Vaishali

Journal:

Year:

2016

Language:

english

File:

PDF, 556 KB

english, 2016

67

Distribution of Anaerobic Hydrocarbon-Degrading Bacteria in Soils from King George Island, Maritime Antarctica

Sampaio, Dayanna Souza, Almeida, Juliana Rodrigues Barboza, de Jesus, Hugo E., Rosado, Alexandre S., Seldin, Lucy, Jurelevicius, Diogo

Journal:

Microbial Ecology

Year:

2017

Language:

english

File:

PDF, 2.52 MB

english, 2017

68

Service Satisfaction-Market Share Relationships in Partnered Hybrid Offerings

Arreola, Rafael Becerril, Zhou, Chen, Srinivasan, Raji, Seldin, Daniel

Journal:

Journal of Marketing

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

69

Advanced Development of Primary Pancreatic Organoid Tumor Models for High-Throughput Phenotypic Drug Screening

Hou, Shurong, Tiriac, Hervé, Sridharan, Banu Priya, Scampavia, Louis, Madoux, Franck, Seldin, Jan, Souza, Glauco R., Watson, Donald, Tuveson, David, Spicer, Timothy P.

Journal:

Year:

2018

Language:

english

File:

PDF, 1.93 MB

english, 2018

70

Topological Arrangement of Cardiac Fibroblasts Regulates Cellular Plasticity

YU, Jingyi, Seldin, Marcus M, Fu, Kai, Li, Shen, Lam, Larry, Wang, Ping, Wang, Yijie, Huang, Dian, Nguyen, Thang L, Wei, Bowen, Kulkarni, Rajan P, Di Carlo, Dino, Teitell, Michael, Pellegrini, Matteo,

Journal:

Circulation Research

Year:

2018

Language:

english

File:

PDF, 2.39 MB

english, 2018

71

A Dallas Doctor Who Spoke Truth to Power: Three Perspectives

Fordtran, John S., Prince, Robert, Seldin, Donald W.

Journal:

Baylor University Medical Center Proceedings

Year:

2012

Language:

english

File:

PDF, 700 KB

english, 2012

72

Ancestry inference using principal component analysis and spatial analysis: a distance-based analysis to account for population substructure

Byun, Jinyoung, Han, Younghun, Gorlov, Ivan P., Busam, Jonathan A., Seldin, Michael F., Amos, Christopher I.

Journal:

Year:

2017

Language:

english

File:

PDF, 2.21 MB

english, 2017

73

Lambda-Calculus and Combinators, an Introduction || Care of your pet combinator

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

74

On the generation, maintenance, and correction of metabolic alkalosis

Jacobson, H. R., Seldin, D. W.

Journal:

American journal of physiology. Renal physiology

Year:

1983

Language:

english

File:

PDF, 2.24 MB

english, 1983

75

Measurement of intrarenal blood flow. I. Analysis of microsphere method

Katz, MA, Blantz, RC, Rector FC,, Seldin, DW

Journal:

American Journal of Physiology -- Legacy Content

Year:

1971

Language:

english

File:

PDF, 2.84 MB

english, 1971

76

Systems genetics applications in metabolism research

Seldin, Marcus, Yang, Xia, Lusis, Aldons J.

Journal:

Nature Metabolism

Year:

2019

Language:

english

File:

PDF, 1.39 MB

english, 2019

77

Lambda-Calculus and Combinators, an Introduction || Preface

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 87 KB

2008

78

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in λ

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 208 KB

2008

79

Lambda-Calculus and Combinators, an Introduction || The formal theories λβ and CLw

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 123 KB

2008

80

Lambda-Calculus and Combinators, an Introduction || Confluence proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 168 KB

2008

81

Lambda-Calculus and Combinators, an Introduction || The undecidability theorem

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 108 KB

2008

82

Lambda-Calculus and Combinators, an Introduction || Bound variables and α-conversion

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 112 KB

2008

83

Lambda-Calculus and Combinators, an Introduction || The λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 200 KB

2008

84

Lambda-Calculus and Combinators, an Introduction || Generalizations of typing

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 311 KB

2008

85

Lambda-Calculus and Combinators, an Introduction || Correspondence between λ and CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 201 KB

2008

86

Lambda-Calculus and Combinators, an Introduction || Extensionality in λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 121 KB

2008

87

Lambda-Calculus and Combinators, an Introduction || References

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 140 KB

2008

88

Lambda-Calculus and Combinators, an Introduction || Strong normalization proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 165 KB

2008

89

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 321 KB

2008

90

Lambda-Calculus and Combinators, an Introduction || Extensionality in combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 145 KB

2008

91

Lambda-Calculus and Combinators, an Introduction || Representing the computable functions

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 198 KB

2008

92

Lambda-Calculus and Combinators, an Introduction || Scott's D∞ and other models

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 271 KB

2008

93

Lambda-Calculus and Combinators, an Introduction || The power of λ and combinators

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 160 KB

2008

94

Lambda-Calculus and Combinators, an Introduction || Models of λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 231 KB

2008

95

Lambda-Calculus and Combinators, an Introduction || Combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 153 KB

2008

96

Lambda-Calculus and Combinators, an Introduction || Models of CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 136 KB

2008

97

Microbial enhanced oil recovery potential of surfactin-producing Bacillus subtilis AB2.0

Alvarez, Vanessa Marques, GuimarÃ£es, Carolina Reis, Jurelevicius, Diogo, de Castilho, Livia Vieira Araujo, de Sousa, Joab Sampaio, da Mota, Fabio Faria, Freire, Denise Maria GuimarÃ£es, Seldin, Lucy

Journal:

Year:

2020

File:

PDF, 672 KB

2020

98

Comparison of Paenibacillus azotofixans Strains Isolated from Rhizoplane, Rhizosphere, and Non-Root-Associated Soil from Maize Planted in Two Different Brazilian Soils

Seldin, Lucy, Rosado, Alexandre Soares, da Cruz, Davi William, Nobrega, Alberto, van Elsas, Jan Dirk, Paiva, Edilson

Journal:

Applied and Environmental Microbiology

Year:

1998

File:

PDF, 471 KB

1998

99

Application of rhamnolipid surfactant for remediation of toxic metals of long- and short-term contamination sites

Lopes, C. S. C., Teixeira, D. B., Braz, B. F., Santelli, R. E., de Castilho, L. V. A., Gomez, J. G. C., P. V. Castro, R., Seldin, L., Freire, D. M. G.

Journal:

International Journal of Environmental Science and Technology

Year:

2020

File:

PDF, 944 KB

2020

100

A pipeline for the genetic improvement of a biological control agent enhances its potential for controlling soil-borne plant pathogens

CÃ´rtes, Marcio Vinicius de Carvalho Barros, Oliveira, Maythsulene Inacio de Sousa, Mateus, Jackeline Rossetti, Seldin, Lucy, Silva-Lobo, Valacia Lemes, Freire, Denise Maria GuimarÃ£es

Journal:

Biological Control

Year:

2021

File:

PDF, 1.90 MB

2021