Results 21 to 30 of about 1,189,261 (324)
Communications Biology, 2023 While brain function is supported and constrained by the underlying structure, the connectome-based link estimated by current approaches is either relatively moderate or accompanied by high model complexity, with the essential principles underlying ...
Yaqian Yang +7 more
doaj +1 more source
Global visibility of publications through Digital Object Identifiers
Frontiers in Research Metrics and Analytics, 2023 This brief research report analyzes the availability of Digital Object Identifiers (DOIs) worldwide, highlighting the dominance of large publishing houses and the need for unique persistent identifiers to increase the visibility of publications from ...
Houcemeddine Turki +3 more
doaj +1 more source
Biomedical semantics in the Semantic Web [PDF]
Journal of Biomedical Semantics, 2011 Abstract The Semantic Web offers an ideal platform for representing and linking biomedical information, which is a prerequisite for the development and application of analytical tools to address problems in data-intensive areas such as systems biology and translational medicine. As for any new paradigm, the adoption of the Semantic Web offers
Splendiani, A. +4 more
openaire +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
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
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
, 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
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
, 2011 Biopax community is producing sets of data in RDF files, but most of them are not available through query interfaces. The publication of SPARQL endpoints is feasible with current sets of data, but the use of reasoning in these interfaces is unfeasible in
Ismael Navas-Delgado +3 more
core +2 more sources