Results 41 to 50 of about 5,812 (235)
Extended RDF: Computability and Complexity Issues [PDF]
, 2015 ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based
Analyti, Anastasia +3 more
core +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
The Semantics of Abstract Program Slicing
, 2008 The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values.
Damiano Zanardini, Zanardini, Damiano
core +1 more source
The Case of Aspect in Sentiment Analysis: Seeking Attention or Co-Dependency?
Machine Learning and Knowledge Extraction, 2022 (1) Background: Aspect-based sentiment analysis (SA) is a natural language processing task, the aim of which is to classify the sentiment associated with a specific aspect of a written text.
Anastazia Žunić +2 more
doaj +1 more source
AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective
Advanced Intelligent Discovery, EarlyView.The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Despite growing attention to the circular bioeconomy (CBE), the steel industry currently lacks a standardised, sectoral measurement framework to facilitate a low‐carbon transition. In this study, a decision‐support framework for evaluating CBE performance in the steel industry is proposed.
Ali Zamani Babgohari +2 more
wiley +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 +1 more source
The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
Моделирование и анализ информационных систем, 2018 During deductive verification of programs written in imperative languages, the generation and proof of verification conditions corresponding to loops can cause difficulties, because each one must be provided with an invariant whose construction is often ...
Dmitry Kondratyev +2 more
doaj +1 more source
The axiomatic semantics of programs based on Hoare's logic [PDF]
Acta Informatica, 1984 This paper is about the Floyd-Hoare principle which says that the semantics of a programming language can be formally specified by axioms and rules of inference for proving the correctness of programs written in the language. We study the simple language WP of while-programs and Hoare's system for partial correctness and we calculate the relational ...
Jan A. Bergstra, John V. Tucker
openaire +1 more source
Defining the end point of status epilepticus: A scoping review and framework for standardization
Epilepsia, EarlyView.Abstract Status epilepticus (SE) is a life‐threatening neurological emergency with consensus‐driven definitions for onset but no standardized criteria for its end point. This gap creates uncertainty in research and clinical practice. We conducted a scoping review to evaluate how end points have been defined in SE research and to identify key areas of ...
Fawad A. Khan +6 more
wiley +1 more source