PRATT, IAN: search on Z-Library

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

Don't use scam websites

51

Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2005

Language:

english

File:

PDF, 486 KB

english, 2005

52

The Hamiltonian Syllogistic

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 338 KB

english, 2011

53

Defining the prognosis of early stage chronic lymphocytic leukaemia patients

Chris Pepper, Aneela Majid, Thet Thet Lin, Saman Hewamana, Guy Pratt, Renata Walewska, Stefan Gesk, Reiner Siebert, Simon Wagner, Ben Kennedy, Fiona Miall, Zadie A. Davis, Ian Tracy, Anne C. Gardiner,

Journal:

British Journal of Haematology

Year:

2012

Language:

english

File:

PDF, 354 KB

english, 2012

54

A Complete Axiom System for Polygonal Mereotopology of the Real Plane

Ian Pratt, Dominik Schoop

Journal:

Journal of Philosophical Logic

Year:

1998

Language:

english

File:

PDF, 315 KB

english, 1998

55

Shape Representation Using Fourier Coefficients of the Sinusoidal Transform

Journal:

Journal of Mathematical Imaging and Vision

Year:

1999

Language:

english

File:

PDF, 135 KB

english, 1999

56

First-order qualitative spatial representation languages with convexity

Journal:

Spatial Cognition and Computation

Year:

1999

Language:

english

File:

PDF, 136 KB

english, 1999

57

Elementary Polyhedral Mereotopology

Ian Pratt-Hartmann, Dominik Schoop

Journal:

Journal of Philosophical Logic

Year:

2002

Language:

english

File:

PDF, 228 KB

english, 2002

58

Fragments of Language

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 136 KB

english, 2004

59

The storm surge of 21 February 1993

Journal:

Year:

1995

Language:

english

File:

PDF, 800 KB

english, 1995

60

Complete Logics for QSR: A Guide to Plane Mereotopology

OLIVER LEMON, IAN PRATT

Journal:

Journal of Visual Languages & Computing

Year:

1998

Language:

english

File:

PDF, 315 KB

english, 1998

61

Data-complexity of the two-variable fragment with counting quantifiers

Ian Pratt-Hartmann

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 463 KB

english, 2009

62

Repeated use of betamethasone in rabbits: Effects of treatment variation on adrenal suppression, pulmonary maturation, and pregnancy outcome

Leslie Pratt, Ronald R. Magness, Terry Phernetton, Susan K. Hendricks, David H. Abbott, Ian M. Bird

Journal:

American Journal of Obstetrics and Gynecology

Year:

1999

Language:

english

File:

PDF, 269 KB

english, 1999

63

Origin and stability of a permafrost methane hydrate occurrence in the Canadian Shield

Randy L. Stotler, Shaun K. Frape, Lasse Ahonen, Ian Clark, Shane Greene, Monique Hobbs, Elizabeth Johnson, Jean-Michel Lemieux, Richard Peltier, Lisa Pratt, Timo Ruskeeniemi, Ed Sudicky, Lev Tarasov

Journal:

Earth and Planetary Science Letters

Year:

2010

Language:

english

File:

PDF, 1.34 MB

english, 2010

64

Editors’ Preface

Nissim Francez, Ian Pratt-Hartmann

Journal:

Year:

2012

Language:

english

File:

PDF, 99 KB

english, 2012

65

4.21 Functional Categorisation of Tumour Cell p53/p21 Responses to Etoposide and Nutlin3a Exposure Correlates with Bi-allelic ATM Lesions and Mono- or Bi-allelic Lesions of TP53 in Chronic Lymphocytic Leukaemia

Ian Tracy, Giles Best, Anne Gardiner, Gulshanara Ahmed, Jade Forster, Adrian Copplestone, Guy Pratt, Feargal McNichol, Tanya Stankovic, David Oscier, Anton Parker

Journal:

Clinical Lymphoma Myeloma and Leukemia

Year:

2011

Language:

english

File:

PDF, 112 KB

english, 2011

66

A Substituting Meaning for the Equals Sign in Arithmetic Notating Tasks

Ian Jones and Dave Pratt

Journal:

Journal for Research in Mathematics Education

Year:

2012

Language:

english

File:

PDF, 329 KB

english, 2012

67

Activation of H2O2 by P450: evidence that the hydroxylating intermediate is iron(III)-coordinated H2O2 and not the ferryl FeO3+ complex

Pratt, John M., Ridd, T. Ian, King, Laurence J.

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1995

Language:

english

File:

PDF, 378 KB

english, 1995

68

[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Flow Clustering Using Machine Learning Techniques

Barakat, Chadi, Pratt, Ian

Year:

2004

Language:

english

File:

PDF, 186 KB

english, 2004

69

High pressure thermal hydrolysis as pre-treatment to increase the methane yield during anaerobic digestion of microalgae

Keymer, Philip, Ruffell, Ian, Pratt, Steven, Lant, Paul

Journal:

Bioresource Technology

Year:

2013

Language:

english

File:

PDF, 895 KB

english, 2013

70

Tropical forests

Abbs, Ian C., Pratt, Julian R., Dallman, Margaret J., Sacks, Steven H.

Journal:

Environmental Policy and Law

Year:

1980

Language:

english

File:

PDF, 403 KB

english, 1980

71

Analysis of activated T cell infiltrates in rat renal allografts by gamma camera imaging after injection of 123iodine-interleukin 2

Abbs, Ian C., Pratt, Julian R., Dallman, Margaret J., Sacks, Steven H.

Journal:

Transplant Immunology

Year:

1993

Language:

english

File:

PDF, 740 KB

english, 1993

72

Reviews and Notices of Books.

Abbs, Ian C., Pratt, Julian R., Dallman, Margaret J., Sacks, Steven H.

Journal:

Year:

1854

Language:

english

File:

PDF, 390 KB

english, 1854

73

Temporal Prepositions and Temporal Generalized Quantifiers

Ian Pratt and Nissim Francez

Journal:

Linguistics and Philosophy

Year:

2001

Language:

english

File:

PDF, 3.45 MB

english, 2001

74

Expressivity in Polygonal, Plane Mereotopology

Ian Pratt and Dominik Schoop

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 414 KB

english, 2000

75

Practical experience with wireless networks integration using Mobile IPv6

Chakravorty, Rajiv, Vidales, Pablo, Subramanian, Kavitha, Pratt, Ian, Crowcroft, Jon

Journal:

ACM SIGMOBILE Mobile Computing and Communications Review

Year:

2003

Language:

english

File:

PDF, 219 KB

english, 2003

76

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

Kazakov, Yevgeny, Pratt-Hartmann, Ian

Year:

2009

Language:

english

File:

PDF, 318 KB

english, 2009

77

Recombinant pro-regions from papain and papaya proteinase IV are selective high affinity inhibitors of the mature papaya enzymes

Taylor, Mark A.J., Baker, Kenneth C., Briggs, Geoffrey S., Connerton, Ian F., Cummings, Nicola J., Pratt, Kathryn A., Revell, Dean F., Freedman, Robert B., Goodenough, Peter W.

Journal:

Protein Engineering Design and Selection

Year:

1995

Language:

english

File:

PDF, 454 KB

english, 1995

78

Book reviews

Messina, Anthony M., Ewing, Katherine Pratt, Light, Ivan, Bankston, Carl L., Jeffers, Syd, Waldinger, Roger, Ho, Calvin, Nagel, Caroline, Law, Ian, Wilton, Shauna, Hampshire, James, Ho, Wing-Chung, Ap

Journal:

Ethnic and Racial Studies

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

79

Thermochemistry of alkali-metal hexachloro- and hexabromo-tungstates(IV) and -rhenates(IV)

Burgess, John, Cartwright, S. James, Haigh, Ian, Peacock, Raymond D., Taylor, Paul, Jenkins, H. Donald B., Pratt, Kenneth F.

Journal:

Journal of the Chemical Society Dalton Transactions

Year:

1979

Language:

english

File:

PDF, 774 KB

english, 1979

80

Macrocyclic and macropolycyclic compounds based upon 1,3-disubstituted propane units

Pratt, John A. E., Sutherland, Ian O., Newton, Roger F.

Journal:

Journal of the Chemical Society Perkin Transactions 1

Year:

1988

Language:

english

File:

PDF, 1.45 MB

english, 1988

81

Peroxidatic activity of haem octapeptide complexes with anilines, naphthols and phenols

Cunningham, Ian D., Bachelor, John L., Pratt, John M.

Journal:

Journal of the Chemical Society Perkin Transactions 2

Year:

1994

Language:

english

File:

PDF, 546 KB

english, 1994

82

Experimental determination of the standard reduction potential of the gold(I) ion

Johnson, Peter R., Pratt, John M., Tilley, R. Ian

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1978

Language:

english

File:

PDF, 195 KB

english, 1978

83

Kinetic study of the H2O2 oxidation of phenols, naphthols and anilines catalysed by the haem octapeptide microperoxidase-8

Cunningham, Ian D., Bachelor, John L., Pratt, John M.

Journal:

Journal of the Chemical Society Perkin Transactions 2

Year:

1991

Language:

english

File:

PDF, 669 KB

english, 1991

84

Performance issues with general packet radio service

Chakravorty, Rajiv, Pratt, Ian

Journal:

Journal of Communications and Networks

Year:

2002

Language:

english

File:

PDF, 367 KB

english, 2002

85

Trustworthy Computing for the Cloud-Mobile Era: A Leap Forward in Systems Architecture.

Banga, Gaurav, Crosby, Simon, Pratt, Ian

Journal:

IEEE Consumer Electronics Magazine

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

86

Proteomics-Based Strategies To Identify Proteins Relevant to Chronic Lymphocytic Leukemia

Alsagaby, Suliman A., Khanna, Sanjay, Hart, Keith W., Pratt, Guy, Fegan, Christopher, Pepper, Christopher, Brewis, Ian A., Brennan, Paul

Journal:

Journal of Proteome Research

Year:

2014

Language:

english

File:

PDF, 1.88 MB

english, 2014

87

Two-Variable First-Order Logic with Equivalence Closure

Kieroński, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia

Journal:

SIAM Journal on Computing

Year:

2014

Language:

english

File:

PDF, 690 KB

english, 2014

88

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Two-Variable First-Order Logic with Equivalence Closure

Kieronski, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

89

Conditionalization and total knowledge

Pratt-Hartmann, Ian

Journal:

Journal of Applied Non-Classical Logics

Year:

2008

Language:

english

File:

PDF, 231 KB

english, 2008

90

[ACM Press the 2nd international conference - Boston, MA, USA (2004.06.06-2004.06.09)] Proceedings of the 2nd international conference on Mobile systems, applications, and services - MobiSYS '04 - MAR

Rodriguez, Pablo, Chakravorty, Rajiv, Chesterfield, Julian, Pratt, Ian, Banerjee, Suman

Year:

2004

Language:

english

File:

PDF, 413 KB

english, 2004

91

Kinetics of reaction of hydrogen atoms with ethylene

Pratt, Graham, Veltman, Ian

Journal:

Journal of the Chemical Society Faraday Transactions 1

Year:

1976

Language:

english

File:

PDF, 400 KB

english, 1976

92

[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 ||

Barakat, Chadi, Pratt, Ian

Year:

2004

Language:

english

File:

PDF, 6.37 MB

english, 2004

93

Detailed Analysis of Auditory Brainstem Responses in Patients with Noise-induced Tinnitus

Attias, Joseph, Pratt, Hum, Reshef, Idit, Bresloff, Ian, Horowitz, Gil, Polyakov, Audrey, Shemesh, Zecharia

Journal:

International Journal of Audiology

Year:

1996

Language:

english

File:

PDF, 186 KB

english, 1996

94

A Topological Constraint Language with Component Counting

Pratt-Hartmann, Ian

Journal:

Journal of Applied Non-Classical Logics

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

95

Prehospital Use of Magnesium Sulfate as Neuroprotection in Acute Stroke

Saver, Jeffrey L., Starkman, Sidney, Eckstein, Marc, Stratton, Samuel J., Pratt, Franklin D., Hamilton, Scott, Conwit, Robin, Liebeskind, David S., Sung, Gene, Kramer, Ian, Moreau, Gary, Goldweber, Ro

Journal:

New England Journal of Medicine

Year:

2015

Language:

english

File:

PDF, 453 KB

english, 2015

96

[ACM Press the 4th annual Symposium - Santa Clara, California (2013.10.01-2013.10.03)] Proceedings of the 4th annual Symposium on Cloud Computing - SOCC '13 - COLO

Dong, YaoZu, Ye, Wei, Jiang, YunHong, Pratt, Ian, Ma, ShiQing, Li, Jian, Guan, HaiBing

Year:

2013

Language:

english

File:

PDF, 605 KB

english, 2013

97

Prevalence of reduced fibrinogen binding to platelets in a population of Thoroughbreds

Norris, Jeffrey W., Pratt, Suzanne M., Hunter, Jessica F., Gardner, Ian A., Tablin, Fern

Journal:

American Journal of Veterinary Research

Year:

2007

Language:

english

File:

PDF, 693 KB

english, 2007

98

LOGICS FOR THE RELATIONAL SYLLOGISTIC

PRATT-HARTMANN, IAN, MOSS, LAWRENCE S.

Journal:

The Review of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 330 KB

english, 2009

99

Characterization of the key antigenic components and pre-clinical immune responses to a meningococcal disease vaccine based on Neisseria lactamica outer membrane vesicles

Finney, Michelle, Vaughan, Thomas, Taylor, Stephen, Hudson, Michael J., Pratt, Catherine, Wheeler, Jun X., Vipond, Caroline, Feavers, Ian, Jones, Christopher, Findlow, Jamie, Borrow, Ray, Gorringe, An

Journal:

Year:

2008

Language:

english

File:

PDF, 975 KB

english, 2008

100

Inside the Virtual Robotics Challenge: Simulating Real-Time Robotic Disaster Response

Aguero, Carlos E., Koenig, Nate, Chen, Ian, Boyer, Hugo, Peters, Steven, Hsu, John, Gerkey, Brian, Paepcke, Steffi, Rivero, Jose L., Manzo, Justin, Krotkov, Eric, Pratt, Gill

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2015

Language:

english

File:

PDF, 1.93 MB

english, 2015

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@z-lib.do

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