Results 61 to 70 of about 246,716 (195)
The Theory of Finitely Supported Structures and Choice Forms [PDF]
Scientific Annals of Computer Science, 2018 The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj +1 more source
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
A formal theory of conceptual modeling universals [PDF]
, 2004 Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
Pluggable AOP: Designing Aspect Mechanisms for Third-party Composition
, 2005 Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this manner have a fixed, non-extensible AOP functionality. In this paper we consider
Kojarski, Sergei, Lorenz, David H.
core +3 more sources
Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
Science & PhilosophyLogic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj +1 more source
, 2021 The transformations of society impose new configurations in the way the disciplines are composed and related. In this context, multi and interdisciplinary can provide answers for the solution problems that are not solved within the classical sciences. One of these relationships resides between Information Science and Computer Science, whose interaction
Coneglian, Cato Saraiva +2 more
openaire +3 more sources
Path querying on acyclic graphs using Boolean grammars
Труды Института системного программирования РАН, 2019 Graph data models are widely used in different areas of computer science such as bioinformatics, graph databases, social networks and static code analysis. One of the problems in graph data analysis is querying for specific paths.
Ekaterina Nikolaevna Shemetova +1 more
doaj +1 more source
Proceedings of the 13th international conference on World Wide Web, 2004 We present a Semantic Web application that we callCS AKTive Space. The application exploits a wide range of semantically heterogeneousand distributed content relating to Computer Science research in theUK. This content is gathered on a continuous basis using a variety of methods including harvesting and scraping as well as adopting a range models for ...
schraefel, m.c. +4 more
openaire +3 more sources
Real-time and Probabilistic Temporal Logics: An Overview [PDF]
, 2010 Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction.
Konur, Savas
core
AxiomsThis paper explores the computational challenges of clique transversal problems in d-degenerate graphs, which are commonly encountered across theoretical computer science and various network applications. We examine d-degenerate graphs to highlight their
Chuan-Min Lee
doaj +1 more source