Results 11 to 20 of about 246,716 (195)
The semantic view of computation and the argument from the cognitive science practice [PDF]
Synthese, 2022 According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations ...
Calzavarini, Fabrizio +1 more
openaire +2 more sources
CCRO: Citation’s Context & Reasons Ontology
IEEE Access, 2019 Research papers can be visualized as a networked information space that contains a collection of information entities, inter-connected by directed links, commonly known as citation graph.
Imran Ihsan, Muhammad Abdul Qadir
doaj +1 more source
Nanomaterials, 2022 We study a new technique for solving the fundamental challenge in nanophotonic design: fast and accurate characterization of nanoscale photonic devices with minimal human intervention.
Xinyu Chen +6 more
doaj +1 more source
Full abstraction for fair testing in CCS [PDF]
, 2013 In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully
B. Ahrens +10 more
core +5 more sources
Interpolation in computing science: the semantics of modularization [PDF]
Synthese, 2008 Inspired by ``Module algebra'' [\textit{J. A. Bergstra}, \textit{J. Heering} and \textit{P. Klint}, J. Assoc. Comput. Mach. 37, No.~2, 335--372 (1990; Zbl 0696.68040)], the author introduces Theory Algebra (TA), an algebraic theory of logical theories with three operations: union, hiding and application of interpretations, where a \textit{theory} is a ...
openaire +3 more sources
A Combinatorial Approach to the Computation of the Fractional Edge Dimension of Graphs
Mathematics, 2021 E. Yi recently introduced the fractional edge dimension of graphs. It has many applications in different areas of computer science such as in sensor networking, intelligent systems, optimization, and robot navigation.
Nosheen Goshi +3 more
doaj +1 more source
How Do Living Systems Create Meaning?
Philosophies, 2020 Meaning has traditionally been regarded as a problem for philosophers and psychologists. Advances in cognitive science since the early 1960s, however, broadened discussions of meaning, or more technically, the semantics of perceptions, representations ...
Chris Fields, Michael Levin
doaj +1 more source
Modal logics are coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina +4 more
core +5 more sources
A Unified Approach for Extremal General Exponential Multiplicative Zagreb Indices
Axioms, 2023 The study of the maximum and minimal characteristics of graphs is the focus of the significant field of mathematics known as extreme graph theory. Finding the biggest or smallest graphs that meet specified criteria is the main goal of this discipline ...
Rashad Ismail +4 more
doaj +1 more source
Semantic wiki for learning and teaching computer science
Je-LKS: Journal of E-Learning and Knowledge Society, 2013 This paper discusses the use of a collaborative learning environment, specifically designed for computer science education. In particular, we investigate how students (may) meaningfully learn computer science and how web technologies (may) support them in this process.
COCCOLI, MAURO +2 more
openaire +4 more sources