2,522 results on '"Ciabattoni, A."'
Search Results
302. Intermediate Logics: From Hypersequents to Concurrent Computation.
303. Formal approaches to rule-based systems in medicine: The case of CADIAG-2
304. Mīmā\d{m}sā deontic logic: proof theory and applications.
305. Radiological pattern in ARDS patients: partitioned respiratory mechanics, gas exchange and lung recruitability
306. Lymph nodal radiotherapy in breast cancer: what are the unresolved issues?
307. A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.
308. Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.
309. Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.
310. Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.
311. A Natural Deduction System for Intuitionistic Fuzzy Logic
312. Dante Alive
313. Hip-Hop, Rock, and Heavy Metal Dante
314. Introduction
315. Patterns of Care for Breast Radiotherapy in Italy: Breast IRRadiATA (Italian Repository of Radiotherapy dATA) Feasibility Study
316. Algebraic proof theory for substructural logics: Cut-elimination and completions.
317. Immediately restored full arch‐fixed prosthesis on implants placed in both healed and fresh extraction sockets after computer‐planned flapless guided surgery. A 3‐year follow‐up study
318. Quantified Propositional Gödel Logics.
319. On Urquhart's C Logic.
320. Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.
321. First-order satisfiability in Gödel logics: An NP-complete fragment.
322. "Decameron" 2: Filomena's Rule between Fortune and Human Agency
323. Musical Ways around Ineffability ("Paradiso" 10–15)
324. Rhabdoid tumor predisposition syndrome caused by SMARCB1 constitutional deletion: prenatal detection of new case of recurrence in siblings due to gonadal mosaicism
325. Intensity-Modulated Radiotherapy in the Treatment of Pancreatic Adenocarcinoma – A Review
326. PROFILING INFORMAL EXPERIENCE WITH ENGLISH: An instrument for data collection.
327. Robust Control of a Photovoltaic Battery System via Fuzzy Sliding Mode Approach
328. Particle Swarm Optimization Based Sliding Mode Control Design: Application to a Quadrotor Vehicle
329. Human Indoor Localization for AAL Applications: An RSSI Based Approach
330. Dante Alighieri
331. On the (fuzzy) logical content of CADIAG-2.
332. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.
333. Local Failure After Accelerated Partial Breast Irradiation with Intraoperative Radiotherapy with Electrons: An Insight into Management and Outcome from an Italian Multicentric Study
334. Real time step length estimation on smartphone.
335. A novel computer vision based e-rehabilitation system: From gaming to therapy support.
336. IoT based indoor personal comfort levels monitoring.
337. Stress Detection in Computer Users From Keyboard and Mouse Dynamics
338. 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
339. Application of a Supervised Improved PID for the scheduling of energy feeding in a PV - battery system
340. Clinical Reasoning: Wilbrand’s Knee, Scotoma of Traquair, and Normal Tension Glaucoma
341. Patterns of Care for Breast Radiotherapy in Italy: Breast IRRadiATA (Italian Repository of Radiotherapy dATA) Feasibility Study
342. Behavioural changes in farmed sea bass (Dicentrarchus labrax) experimentally infected by Anisakis nematodes
343. AIRO Breast Cancer Group Best Clinical Practice 2022 Update
344. Optical Coherence Tomography Angiography in Chiasmitis
345. Introduzione dei curatori
346. On the Undecidability of some Sub-Classical First-Order Logics.
347. Bounded Contraction in Systems with Linearity.
348. Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
349. Using the Bolus in Post-mastectomy Radiation Therapy (PMRT): A National Survey on Behalf of the Italian Association of Radiotherapy and Clinical Oncology (AIRO) Breast Cancer Group
350. Optical Coherence Tomography Angiography Findings in Optic Nerve Sheath Meningioma
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.