Search Results - 2012 ACM Subject Classification Theory of computation → Linear logic*

Böhm and Taylor for All!

Authors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Contributors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Source: 9th International on Formal Structure for Computation Deduction
https://hal.science/hal-04797294
9th International on Formal Structure for Computation Deduction, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.29⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation Linear logic Differential linear logic Taylor expansion of lambda-terms Böhm trees Process calculi .FSCD.2024.26, Theory of computation Linear logic, Differential linear logic, Taylor expansion of lambda-terms, Böhm trees, Process calculi .FSCD.2024.26, Linear logic, Process calculi, Theory of computation → Linear logic, Theory of computation → Denotational semantics, Theory of computation → Operational semantics, Theory of computation → Lambda calculus, Theory of computation → Process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Tallinn, Estonia

Time: Tallinn, Estonia

Availability: https://hal.science/hal-04797294
https://hal.science/hal-04797294v1/document
https://hal.science/hal-04797294v1/file/BohmTaylor.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2024.29

Parallelism in Soft Linear Logic

Authors: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

Contributors: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic

File Description: application/pdf

Access URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271468v1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.26
https://hal.science/hal-03374648v1
https://doi.org/10.4230/lipics...10
https://hal.science/hal-03374648v1/document

Parallelism in Soft Linear Logic

Authors: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

Contributors: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

Source: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Subject Geographic: Göttingen, Germany

Availability: https://hal.science/hal-03374648
https://hal.science/hal-03374648v1/document
https://hal.science/hal-03374648v1/file/PSLL-CSL%20-%20Final.pdf
https://doi.org/10.4230/LIPIcs.10

Research on the classification of EEG signals for dementia and its interpretability using the GWOCS agorithm.

Authors: Wang, Ruofan Xu, Haojie Ma, Yijia et al.

Source: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p

An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets

Authors: Chouquet, Jules Vaux, Lionel Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Contributors: Chouquet, Jules Vaux, Lionel Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Source: CSL 2018 ; https://hal.science/hal-01835242 ; CSL 2018, Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.14⟩

Subject Terms: differential linear logic, cut elimination, proof nets, linear logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Birmingham, United Kingdom

Availability: https://hal.science/hal-01835242
https://hal.science/hal-01835242v1/document
https://hal.science/hal-01835242v1/file/main.pdf
https://doi.org/10.4230/LIPIcs.CSL.2018.14

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Authors: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Subject Terms: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

Simulating Subjects: The Promise and Peril of Artificial Intelligence Stand-Ins for Social Agents and Interactions.

Authors: Kozlowski, Austin C. Evans, James

Source: Sociological Methods & Research; Aug2025, Vol. 54 Issue 3, p1017-1073, 57p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, LANGUAGE models, GENERATIVE artificial intelligence, COMPUTATIONAL intelligence

Socializing AI: Integrating Social Network Analysis and Deep Learning for Precision Dairy Cow Monitoring—A Critical Review.

Authors: Parivendan, Sibi Chakravathy Sailunaz, Kashfia Neethirajan, Suresh

Source: Animals (2076-2615); Jul2025, Vol. 15 Issue 13, p1835, 48p

Subject Terms: ARTIFICIAL intelligence, DEEP learning, ETHICAL problems, PRECISION farming, DAIRY cattle, SOCIAL network analysis, ANIMAL welfare, SCIENTIFIC observation

An efficient Parkinson's disease detection using smoothed pseudo-Wigner Ville distribution and MobileNetV2 convolutional neural network.

Authors: Klinton, Amaladass P. Jeba, Priya S. Thomas, George S. et al.

Source: Health & Technology; May2025, Vol. 15 Issue 3, p589-599, 11p

A comprehensive review on application of cognitive behavioral therapy in emotional AI solutions for mental well-being.

Authors: Pawar, Bimba Mahajan, Smita Kolhar, Shrikrishna

Source: Discover Psychology; 12/3/2025, Vol. 5 Issue 1, p1-35, 35p

Comparative analysis on artificial intelligence methods for DTI and DTBA prediction in drug repurposing.

Authors: Kumar, Sheo Singh, Amritpal

Source: Medicinal Chemistry Research; Oct2025, Vol. 34 Issue 10, p2086-2114, 29p

Non-Contrast Brain CT Images Segmentation Enhancement: Lightweight Pre-Processing Model for Ultra-Early Ischemic Lesion Recognition and Segmentation.

Authors: Samarin, Aleksei Savelev, Alexander Toropov, Aleksei et al.

Source: Journal of Imaging; Oct2025, Vol. 11 Issue 10, p359, 29p

What Makes a Good Theory, and How Do We Make a Theory Good?

Authors: Guest, Olivia

Source: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p508-522, 15p

The Problem-Ladenness of Theory.

Authors: Levenstein, Daniel De Santo, Aniello Heijnen, Saskia et al.

Source: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p548-571, 24p

MACHINE-LEARNING TECHNIQUES IN MULTIPLE SCLEROSIS PREDICTION USING EEG.

Authors: Soleimanidoust, Leila Rezai, Abdalhossein Barghamadi, Hamideh et al.

Source: Biomedical Engineering: Applications, Basis & Communications; Apr2025, Vol. 37 Issue 2, p1-14, 14p

Subject Terms: ARTIFICIAL neural networks, COMPUTER-aided diagnosis, MACHINE learning, DEEP reinforcement learning, EXTREME learning machines, REINFORCEMENT learning, SUPERVISED learning, SCALP

Linear logic using negative connectives: extended version

Authors: Miller, Dale Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Contributors: Miller, Dale Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Source: FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-05067259 ; FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. pp.26:1-26:26, ⟨10.4230/LIPIcs.FSCD.2025.26⟩

Subject Terms: Linear logic, multifocused proofs, sequent calculus, 2012 ACM Subject Classification Theory of computation → Proof theory, Theory of computation→ Linear logic, [INFO]Computer Science [cs]

Subject Geographic: Birmingham, United Kingdom

Availability: https://hal.science/hal-05067259
https://hal.science/hal-05067259v1/document
https://hal.science/hal-05067259v1/file/root.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2025.26

A Systematic Survey of Automatic Image Description Generation Systems.

Authors: Sreela, S. R. Idicula, Sumam Mary

Source: International Journal of Image & Graphics; Jan2026, Vol. 26 Issue 1, p1-26, 26p

Core-Guided Linear Programming-Based Maximum Satisfiability

Authors: Katsirelos, George Mathématiques et Informatique Appliquées (MIA Paris-Saclay) AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE) et al.

Contributors: Katsirelos, George Mathématiques et Informatique Appliquées (MIA Paris-Saclay) AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE) et al.

Source: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
https://hal.inrae.fr/hal-05222608
28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Aug 2025, Glasgow, United Kingdom. pp.17:1-17:17, ⟨10.4230/LIPIcs.SAT.2025.17⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Discrete optimization, maximum satisfiability, core-guided solvers, linear programming, Theory of computation → Discrete optimization, Mathematics of computing → Combinatorial optimization, Theory of computation → Logic, Mathematics of computing → Solvers, 2012 ACM Subject Classification Theory of computation → Discrete optimization Mathematics of computing → Combinatorial optimization Theory of computation → Logic Mathematics of computing → Solvers phrases maximum satisfiability, Mathematics of computing → Solvers phrases maximum satisfiability, [INFO]Computer Science [cs]

Subject Geographic: Glasgow, United Kingdom

Availability: https://hal.inrae.fr/hal-05222608
https://hal.inrae.fr/hal-05222608v1/document
https://hal.inrae.fr/hal-05222608v1/file/k-sat25.pdf
https://doi.org/10.4230/LIPIcs.SAT.2025.17

oFVSD: a Python package of optimized forward variable selection decoder for high-dimensional neuroimaging data.

Authors: Tung Dang Fermin, Alan S. R. Machizawa, Maro G.

Source: Frontiers in Neuroinformatics; 2023, p1-14, 14p

Subject Terms: MACHINE learning, PYTHON programming language, FEATURE selection, MAGNETIC resonance imaging, SCIENTIFIC community, BRAIN imaging

A novel clustered-based binary grey wolf optimizer to solve the feature selection problem for uncovering the genetic links between non-Hodgkin lymphomas and rheumatologic diseases.

Authors: Karadayı Ataş, Pınar

Source: Health Information Science & Systems; 5/2/2025, Vol. 13 Issue 1, p1-22, 22p