Results 21 to 30 of about 1,203,304 (231)
Using logical constraints to validate statistical information about disease outbreaks in collaborative knowledge graphs: the case of COVID-19 epidemiology in Wikidata [PDF]
PeerJ Computer Science, 2022 Urgent global research demands real-time dissemination of precise data. Wikidata, a collaborative and openly licensed knowledge graph available in RDF format, provides an ideal forum for exchanging structured data that can be verified and consolidated ...
Houcemeddine Turki +10 more
doaj +2 more sources
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels
Music & Science, 2022 Traditional harmonic analysis annotations can be represented in a computer model of a piece of music by plain text strings. But whenever automated processing like analysis, comparison or retrieval is intended, a formal definition is helpful.
Markus Lepper +2 more
doaj +1 more source
Semantics through Pictures [PDF]
, 1997 A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed ''constraint diagrams'', which can be used to precisely characterise a range of sophisticated, static ...
Ali Hamie +5 more
core +2 more sources
The Semantics of Semantic Annotation [PDF]
, 2002 Semantic metadata will playa significant role in the provision of the Semantic Web. Agents will need metadata that describes the content of resources in order to perform operations, such as retrieval, over those resources. In addition, if rich semantic metadata is supplied, those agents can then employreasoning over the metadata, enhancing their ...
Bechhofer, Sean +4 more
openaire +4 more sources
Modulation Mining—Computer-Aided Exploration of Functional Chord Forms
Music & Science, 2023 The different labelling systems defined by the functional theories of harmony have been developed from about 1870 to 1950, without the help of computers. The complexity of harmonic labels spans from pure triads over added characteristic dissonances, over
Markus Lepper +2 more
doaj +1 more source
Ergo, An Open Access Journal of Philosophy, 2023 I argue that emojis are essentially little pictures, rather than words, gestures, expressives, or diagrams. 🎁 means that the world looks like that, from some viewpoint.
Emar Maier
doaj +2 more sources
Long-COVID Inducement Mechanism Based on the Path Module Correlation Coefficient
Mathematics, 2023 As the number of COVID-19 cases increases, the long-COVID symptoms become the focus of clinical attention. Based on the statistical analysis of long-COVID symptoms in European and Chinese populations, this study proposes the path module correlation ...
Ziqi Liu +3 more
doaj +1 more source
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]
, 1996 A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core +4 more sources