Search Results - THEORETICAL COMPUTER SCIENCE

Refine Results
  1. 1

    Solomon Marcus Contributions to Theoretical Computer Science and Applications by Cristian S. Calude, Gheorghe Păun

    Published in Axioms (2021-04-01)
    “…Solomon Marcus (1925–2016) was one of the founders of the Romanian theoretical computer science. His pioneering contributions to automata and formal language theories, mathematical linguistics and natural computing have been widely recognised internationally. …”
    Get full text
    Article


  2. 2

    Axiomatization of betweenness in order-theoretic trees by Bruno Courcelle

    Published in Logical Methods in Computer Science (2021-02-01)
    Get full text
    Article


  3. 3

    A Proof Theoretic Analysis of Intruder Theories by Alwen F Tiu, Rajeev Gore, Jeremy Dawson

    Published in Logical Methods in Computer Science (2010-09-01)
    Get full text
    Article


  4. 4

    Automata in SageMath---Combinatorics meet Theoretical Computer Science by Clemens Heuberger, Daniel Krenn, Sara Kropf

    Get full text
    Article


  5. 5

    Preface on Novel Aspects in Theoretical and Computational Surface Science (NATCSS) by Seung Geol Lee, Ian Shuttleworth, Herbert M. Urbassek, Byungchan Han, Alfredo Juan

    Published in Applied Surface Science Advances (2024-09-01)
    Get full text
    Article


  6. 6

    Inductive Definition and Domain Theoretic Properties of Fully Abstract by Vladimir Sazonov

    Published in Logical Methods in Computer Science (2007-09-01)
    Get full text
    Article


  7. 7

    A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence by Lenore Blum, Manuel Blum

    Published in Engineering (2023-06-01)
    Get full text
    Article


  8. 8

    Theoretical Design Science in Human–Computer Interaction: A Practical Concern? by John M. Carroll

    Published in Artifact (2007-09-01)
    “…The authors ground their perspective with reference to the philosophy of science and through analysis of a design research exemplar, and suggest a set of criteria for evaluating research products in theoretical design science.…”
    Get full text
    Article


  9. 9

    A duality theoretic view on limits of finite structures: Extended version by Mai Gehrke, Tomáš Jakl, Luca Reggio

    Published in Logical Methods in Computer Science (2022-01-01)
    “…These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively.…”
    Get full text
    Article


  10. 10

    Induced betweenness in order-theoretic trees by Bruno Courcelle

    Get full text
    Article


  11. 11

    A Finite-Model-Theoretic View on Propositional Proof Complexity by Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

    Published in Logical Methods in Computer Science (2022-06-01)
    Get full text
    Article


  12. 12

    Generating Turing Machines by Use of Other Computation Models by Leszek Dubiel

    Published in Computer Science (2003-01-01)
    Subjects: “…Theoretical aspects of computer science…”
    Get full text
    Article


  13. 13

    Artificial Intelligence (ChatGPT) and Bloom’s Taxonomy in Theoretical Computer Science Education by Hashim Habiballa, Martin Kotyrba, Eva Volna, Vladimir Bradac, Martin Dusek

    Published in Applied Sciences (2025-01-01)
    “…The study focuses on evaluating the performance of AI-based tools, specifically ChatGPT versions 3.5 and 4.0, in comparison to human students in the field of Theoretical Computer Science Education. The experiment aims to assess the capabilities of both AI and human subjects in solving learning tasks based on Bloom’s Taxonomy. …”
    Get full text
    Article


  14. 14

    Current Key Intersections between Theoretical and Computational Archaeology by Martin Hinz, Jan Kolář, Monika Baumanova, Julian Laabs, Maria Wunderlich, Margaux Depaermentier, Michael Kempf

    Subjects: “…computational archaeology…”
    Get full text
    Article


  15. 15

    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics by Robert Constable, Wojciech Moczydlowski

    Published in Logical Methods in Computer Science (2008-09-01)
    Get full text
    Article


  16. 16

    Electroactive polymer gels as probabilistic reservoir automata for computation by Vincent Strong, William Holderbaum, Yoshikatsu Hayashi

    Published in iScience (2022-12-01)
    Get full text
    Article


  17. 17

    The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function by Vassilios Gregoriades

    Published in Logical Methods in Computer Science (2011-11-01)
    Get full text
    Article


  18. 18

    From Theoretical Network to Bedside: Translational Application of Brain-Inspired Computing in Clinical Medicine by Tinen L. Iles

    Published in Applied Sciences (2022-06-01)
    Get full text
    Article


  19. 19

    Theoretical Aspects of Computing by G. Ciobanu

    Published in Scientific Annals of Computer Science (2014-12-01)
    “…We devote this issue of the Scientific Annals of Computer Science to the 11th International Colloquium on Theoretical Aspects of Computing. …”
    Get full text
    Article


  20. 20

    Fundamental Physics and Computation: The Computer-Theoretic Framework by Sergio Miguel-Tomé, Ángel L. Sánchez-Lázaro, Luis Alonso-Romero

    Published in Universe (2022-01-01)
    “…The central goal of this manuscript is to survey the relationships between fundamental physics and computer science. We begin by providing a short historical review of how different concepts of computer science have entered the field of fundamental physics, highlighting the claim that the universe is a computer. …”
    Get full text
    Article


Search Tools: