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

Refine Results
  1. 1

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    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

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    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

    Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    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

    Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    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

    Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    A PRE-PROCESSING-FREE MENTAL STATE DETECTION MODEL USING NOISY ECG PLOTS AND DEEP TRANSFER LEARNING.

    Authors: Torghabeh, Farhad Abedinzadeh Modaresnia, Yeganeh Hosseini, Seyyed Abed

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

    Subject Terms: ARTIFICIAL neural networks, CONVOLUTIONAL neural networks, PATTERN recognition systems, ENSEMBLE learning, AFFECTIVE computing, DEEP learning, HUMAN activity recognition

    Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs

    Authors: Barbarossa, Davide Pistone, Paolo University of Bath Bath et al.

    Contributors: Barbarossa, Davide Pistone, Paolo University of Bath Bath et al.

    Source: Computer Science Logic 2024 (CSL 2024) ; https://hal.science/hal-04777395 ; Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩

    Subject Terms: Tropical semiring, Program metrics, Lawvere quantale, Theory of computation → Lambda calculus, Theory of computation → Categorical semantics, Theory of computation → Linear logic, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, Theory of computation Ñ Categorical semantics, Theory of computation Ñ Linear logic Relational semantics, Differential lambda-calculus, Relational semantics, [INFO]Computer Science [cs]

    Subject Geographic: Napoli, France

    Availability: https://hal.science/hal-04777395
    https://hal.science/hal-04777395v1/document
    https://hal.science/hal-04777395v1/file/LIPIcs.CSL.2024.14.pdf
    https://doi.org/10.4230/LIPIcs.CSL.2024.14

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    The Stack Inversion: On Algo-Centrism and the Complex Architecture of Automated Financial Securities Trading Systems.

    Authors: Hansen, Kristian Bondo

    Source: Science, Technology & Human Values; Sep2025, Vol. 50 Issue 5, p932-961, 30p

    Subject Terms: ELECTRONIC trading of securities, ALGORITHMIC bias, SECURITIES, RESPONDENTS, COMPUTER systems, TECHNOLOGICAL societies

    Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Current status and challenges in electroencephalography (EEG)-based driver fatigue detection: a comprehensive survey.

    Authors: Hassan, Jahid Naziullah, Shekh Rashid, Mamunur et al.

    Source: Cognitive Neurodynamics; 9/1/2025, Vol. 19 Issue 1, p1-38, 38p

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    Biosynthesis Strategies and Application Progress of Mandelic Acid Based on Biomechanical Properties.

    Authors: Yin, Jingxin An, Yi Gao, Haijun

    Source: Microorganisms; Aug2025, Vol. 13 Issue 8, p1722, 25p

    Subject Terms: BIOMECHANICS, BIOSYNTHESIS, ENZYME biotechnology, HYDROXY acids, SYNTHETIC biology, GREEN technology, SUSTAINABLE development, ENZYMES

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Save to List

Search Tools: