Results 41 to 50 of about 241,032 (325)
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
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 +1 more source
Frontiers in ImagingIntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit +9 more
doaj +1 more source
TOR: modular search with hookable disjunction [PDF]
, 2014 Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Demoen, Bart +3 more
core +1 more source
e-assessment using latent semantic analysis in the computer science domain [PDF]
Proceedings of the Workshop on eLearning for Computational Linguistics and Computational Linguistics for eLearning - eLearn '04, 2004 Latent Semantic Analysis (LSA) is a statistical Natural Language Processing (NLP) technique for inferring meaning from a text. Existing LSA-based applications focus on formative assessment in general domains. The suitability of LSA for summative assessment in the domain of computer science is not well known. The results from the pilot study reported in
Pete Thomas +3 more
openaire +1 more source
, 1958 In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management.
Shimm, Melvin G.
core +1 more source
A Comparison of Petri Net Semantics under the Collective Token Philosophy [PDF]
, 1998 In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
E. Best +15 more
core +5 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Impact of Co-Occurrences of Code Smells and Design Patterns on Internal Code Quality Attributes
IET SoftwareThe structural features of a code section that may indicate a more serious issue with the design of a system or code are known as code smells. Design patterns, on the other hand, are meant to describe the best reusable solution for creating object ...
Sania Imran, Irum Inayat, Maya Daneva
doaj +1 more source
Advanced Functional Materials, EarlyView.AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu +5 more
wiley +1 more source