2,522 results on '"Ciabattoni, A."'
Search Results
252. From Axioms to Analytic Rules in Nonclassical Logics.
253. Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
254. From Display to Labelled Proofs for Tense Logics
255. Personal monitoring and health data acquisition in smart homes
256. Density Elimination and Rational Completeness for First-Order Logics.
257. Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
258. Service QoS Composition at the Level of Part Names.
259. Modular Cut-Elimination: Finding Proofs or Counterexamples.
260. Coreografie dantesche
261. Changing the narrative: a social reconstruction of anorexia nervosa
262. Molecularly distinct memory CD4+ T cells are induced by SARS-CoV-2 infection and mRNA vaccination
263. Cervical cancer in Cape Verde: reappraisal upon referral to a tertiary cancer centre
264. Inflammation durably imprints memory CD4+ T cells
265. reappraisal upon referral to a tertiary cancer centre
266. A neonatal mouse model characterizes transmissibility of SARS-CoV-2 variants and reveals a role for ORF8
267. AIRO Breast Cancer Group
268. Taming bounded depth with nested sequents
269. Subordination Algebras as Semantic Environment of Input/Output Logic
270. Uniform Rules and Dialogue Games for Fuzzy Logics
271. Intraocular Tuberculosis: A Challenging Case Mimicking Wet Age-Related Macular Degeneration
272. Real-time fall detection system by using mobile robots in smart homes.
273. A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone.
274. A sensor fusion approach for measuring emotional customer experience in an intelligent retail environment.
275. Real-time mental stress detection based on smartwatch.
276. Multimedia experience enhancement through affective computing.
277. A Gamification Approach For Residential Electricity Demand Decarbonization
278. Caring for Atypical Wounds in Patients With Severe Obesity
279. Cervical cancer in Cape Verde: reappraisal upon referral to a tertiary cancer centre
280. Molecularly distinct memory CD4+ T cells are induced by SARS-CoV-2 infection and mRNA vaccination
281. Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
282. A comparative study of driver torque demand prediction methods
283. A neonatal mouse model characterizes transmissibility of SARS-CoV-2 variants and reveals a role for ORF8
284. Reirradiation on spine metastases: an Italian survey on behalf of palliative care and reirradiation study groups of Italian association of radiotherapy and clinical oncology (AIRO)
285. Automated Generation of Analytic Calculi for Logics with Linearity.
286. Hypersequent and Display Calculi - a Unified Perspective.
287. Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.
288. IORT with electrons as boost strategy during breast conserving therapy in limited stage breast cancer: Long term results of an ISIORT pooled analysis
289. Proof theory for locally finite many-valued logics: Semi-projective logics
290. The 2022 Assisi Think Tank Meeting: White paper on optimising radiation therapy for breast cancer
291. From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
292. Bounded Lukasiewicz Logics.
293. Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics
294. Intermediate Logics: From Hypersequents to Concurrent Computation.
295. Formal approaches to rule-based systems in medicine: The case of CADIAG-2
296. Mīmā\d{m}sā deontic logic: proof theory and applications.
297. Radiological pattern in ARDS patients: partitioned respiratory mechanics, gas exchange and lung recruitability
298. Lymph nodal radiotherapy in breast cancer: what are the unresolved issues?
299. A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.
300. Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.