2,521 results on '"Ciabattoni, A."'
Search Results
52. Anisotropic wood-hydrogel composites: Extending mechanical properties of wood towards soft materials’ applications
53. A typed parallel {\lambda}-calculus via 1-depth intermediate proofs
54. Taming Bounded Depth with Nested Sequents.
55. Dante Alighieri : Born : 1265, Florence, Died : 1321 Ravenna
56. Environmental constrained medium-term energy planning: The case study of an Italian university campus as a multi-carrier local energy community
57. Behavioural changes in farmed sea bass (Dicentrarchus labrax) experimentally infected by Anisakis nematodes
58. Classical Proofs as Parallel Programs
59. Hypersequents and Systems of Rules: Embeddings and Applications
60. Preface - MSCS.
61. Ways to improve breast cancer patients' management and clinical outcome: The 2020 Assisi Think Tank Meeting
62. Clinical Reasoning: Wilbrand’s Knee, Scotoma of Traquair, and Normal Tension Glaucoma
63. Optical Coherence Tomography Angiography in Chiasmitis
64. Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach
65. Dyadic Obligations: Proofs and Countermodels via Hypersequents
66. On Normative Reinforcement Learning via Safe Reinforcement Learning
67. Hip-Hop, Rock, and Heavy Metal Dante
68. Dante Alive
69. Observation of broadband super-absorption of electromagnetic waves through space-time symmetry breaking.
70. M\=im\=a\d{m}s\=a deontic logic: proof theory and applications
71. The dosimetric impact of axillary nodes contouring variability in breast cancer radiotherapy: An AIRO multi-institutional study
72. A validation study of a continuous automatic measurement of the mechanical power in ARDS patients
73. Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
74. Enforcing ethical goals over reinforcement-learning policies
75. A Kelsenian Deontic Logic.
76. A Normative Supervisor for Reinforcement Learning Agents.
77. The Gentle Murder Paradox in Sanskrit Philosophy.
78. Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms.
79. Human-in-the-Loop Approach to Safe Navigation of a Smart Wheelchair via Brain Computer Interface
80. Cognitive Buildings for Increasing Elderly Fire Safety in Public Buildings: Design and First Evaluation of a Low-Impact Dynamic Wayfinding System
81. Bilattice CADIAG-II: Theory and Experimental Results
82. Introduction
83. The role of radiation therapy technologist in interventional radiotherapy (brachytherapy) in Italy: Italian Association of Radiotherapy and Clinical Oncology (AIRO) and Italian Association of Radiation Therapy and Medical Physics Technologists (AITRO) joint project
84. G\'odel Logic: from Natural Deduction to Parallel Computation
85. Omission of adjuvant radiotherapy for older adults with early-stage breast cancer particularly in the COVID era: A literature review (on the behalf of Italian Association of Radiotherapy and Clinical Oncology)
86. lncRNA CARINH regulates expression and function of innate immune transcription factor IRF1 in macrophages.
87. Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
88. Intraocular Tuberculosis: A Challenging Case Mimicking Wet Age-Related Macular Degeneration
89. A Kelsenian Deontic Logic
90. A typed parallel lambda-calculus via 1-depth intermediate proofs.
91. Machine Learning-as-a-Service for Consumer Electronics Fault Diagnosis: a Comparison between Matlab and Azure ML.
92. Stress Detection in Computer Users From Keyboard and Mouse Dynamics.
93. Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.
94. Radiological pattern in ARDS patients: partitioned respiratory mechanics, gas exchange and lung recruitability
95. State of the art in breast intraoperative electron radiation therapy after intraoperative ultrasound introduction
96. IOERT versus external beam electrons for boost radiotherapy in stage I/II breast cancer: 10-year results of a phase III randomized study
97. Latent class analysis to predict intensive care outcomes in Acute Respiratory Distress Syndrome: a proposal of two pulmonary phenotypes
98. Managing plug-in electric vehicles in eco-environmental operation optimization of local multi-energy systems
99. ESTRO IORT Task Force/ACROP recommendations for intraoperative radiation therapy with electrons (IOERT) in breast cancer
100. The 2018 assisi think tank meeting on breast cancer: International expert panel white paper
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.