335 results on '"Ciancaglini M"'
Search Results
52. Material Balance Analysis of Naturally or Artificially Fractured Shale Gas Reservoirs to Maximize Final Recovery
53. STUDIO DEL FLUSSO EMATICO RETINICO E DELLA PAPILLA OTTICA MEDIANTE FLUSSIMETRIA A SCANSIONE LASER
54. Studio del flusso ematico retinico e della papilla ottica mediante flussimetria a scansione laser
55. Types and Computational Rules
56. Intersection Types for Lambda-Trees
57. INFINITE LAMBDA CALCULUS AND TYPES
58. Logical semantics for concurrent lambda-calculus
59. In vivo analysis of conjunctiva in gold micro shunt implantation for glaucoma
60. Filter Models for a Parallel and Non-deterministic lambda-calculus
61. Anterior segment OCT in glaucoma
62. The use of a standardized exercise as a provocative test in pigmentary dispersion syndrome
63. Effects of brimonidine 0.2% on blue-yellow perimetry of glaucomatous patients
64. Ocular hypotensive effect of ketanserin in patients with primary open angle glaucoma
65. Intraocular pressure increase after phacoemulsification and foldable silicone lens implantation using Healon GV®
66. Correlation in foveal thickness measurements between spectral-domain and time-domain optical coherence tomography in normal individuals
67. Amniotic membrane transplantation for the management of corneal epithelial defects: an in vivo confocal microscopic study
68. Observer interpretation variability of peripapillary flow using the Heidelberg Retina Flowmeter
69. Compositional characterisations of λ-terms using intersection types
70. A complete characterization of complete intersection-type preorders
71. Management of Scleral Rupture during Retinal Detachment Surgery: A Case Report
72. Normalisation is Insensible to lambda-Term Identity or Difference.
73. Approximation Theorems for Intersection Type Systems
74. The role of the uveoscleral outflow in the management of pigmentary glaucoma: a 24-month study comparing latanoprost with timolol
75. Blood circulation and morphology of optic nerve head in primary open-angle glaucoma
76. Flowmetry of optic nerve head and visual field defect in glaucomatous eyes
77. Retinal nerve fibre layer (RNFL) thickness measurements, using optical coherence tomography (OCT), after silicone oil tamponade
78. Treatment of retinal tears and lattice degenerations in fellow eyes in high risk patients suffering retinal detachment: a prospective study
79. A Case of Quiescent Choroidal Melanoma: Early Echographic Signs of Reactivation
80. Delayed postoperative use of 5‐fluorouracil in primary open angle glaucoma
81. The ability of bacteria to use Na-hyaluronate as a nutrient
82. Hypoxanthine and xanthine levels in human aqueous humor from cataractous eyes
83. Long term results of intraoperative mitomycin C in the treatment of recurrent pterygium.
84. Long-Term Results of Krupin-Denver Valve Implants in Filtering Surgery for Neovascular Glaucoma
85. Colour vision and persistent microalbuminuria in children with type-1 (insulin-dependent) diabetes mellitus: a longitudinal study
86. 2433 Long term results of the krupin eye short valve shunt
87. 2147 Role of topical treatment with heparin eye-drops in the prevention of after-cataract
88. 2234 Tear secretion study in Fuchs' heterochromic iridocyclitis
89. 3347 Metabolism of polycyclic aromatic hydrocarbons in bovine lens
90. Prevalence of Myopia in Open Angle Glaucoma
91. Oral administration of forskolin and rutin contributes to intraocular pressure control in primary open angle glaucoma patients under maximum tolerated medical therapy.
92. Discrimination by parallel observers.
93. Correlation in foveal thickness measurements between spectral-domain and time-domain optical coherence tomography in normal individuals.
94. Observer interpretation variability of peripapillary flow using the Heidelberg Retina Flowmeter.
95. Partial Types and Intervals
96. Losartan Potassium Oral Administration Decreased Intraocular Pressure in Humans: A Pilot Study.
97. A new type assignment for λ-terms.
98. Functional Characters of Solvable Terms.
99. Topical Nonsteroidal Anti-Inflammatory Drugs in Uncomplicated Cataract Surgery: Effect of Sodium Naproxen
100. A filter lambda model and the completeness of type assignement
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.