Results 31 to 40 of about 230,301 (307)
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
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
Interpolation in computing science: the semantics of modularization [PDF]
Synthese, 2008 The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules.
openaire +3 more sources
Immersive learning research [PDF]
, 2018 Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin +3 more
core +2 more sources
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 +5 more sources
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 +4 more sources
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
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review
, 2022 Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Cheng, Yixin, Nunes, Bernardo Pereira
openaire +2 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 categorization of content and process concepts relevant to computer science education [PDF]
International Journal of Research Studies in Computing, 2013 A major task in planning the computer science curriculum is the specification of teaching and learning contents. This work needs to be based on knowledge of the content and process concepts central to the discipline of computer science. These central concepts are applicable or observable in multiple domains of computer science, can be taught on every ...
Andreas Zendler +3 more
openaire +2 more sources