Results 151 to 160 of about 4,882 (287)
Linear Concurrent Constraint Programming: Operational and Phase Semantics
, 2001 François Fages +2 more
openalex +1 more source
Operational Semantics for Fun and Profit
, 2005 The FDR refinement-checking tool, available free for academic purposes. [5] relies fundamentally upon the congruences between operational and denotational semantics for CSP, in order to determine a denotational property by exploring an operationally presented system.
openaire +3 more sources
Journal of the Association for Information Science and Technology, EarlyView.Abstract The BookSampo Linked Data portal was deployed in 2011 by the Finnish Public Libraries and has today nearly 2 million annual users. Its Linked Data covers virtually all Finnish fiction literature but the data has not been used for data analyses in Digital Humanities. This paper discusses how the Knowledge Graph can be used for literary research
Annastiina Ahola +2 more
wiley +1 more source
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
, 2001 Agostino Cortesi +2 more
openalex +1 more source
Prerequisite Relations Annotation Tool: Annotation and analysis of educational relations in texts
Journal of the Association for Information Science and Technology, EarlyView.Abstract Relations between terms in texts have long been studied in linguistics and specialized knowledge domains, especially when occurring in educational materials like textbooks, where they play a crucial role in guiding instructional design and learning.
Chiara Alzetta, Ilaria Torre
wiley +1 more source
A Methodological Approach to Prioritize Digital Twin Development in Manufacturing
Applied Stochastic Models in Business and Industry, EarlyView.ABSTRACT The digital age has brought about a need for organizations to utilize Digital Twins to improve operational efficiency and decision‐making. However, it is difficult for companies to identify and prioritize Digital Twin initiatives that meet the needs of their stakeholders and align with the capabilities of the company and its strategic plans ...
Sara Blasco Román, Till Böttjer
wiley +1 more source
Well-behaved Translations between Structural Operational Semantics
, 2002 Hiroshi Watanabe
openalex +1 more source
High-level small-step operational semantics for transactions [PDF]
, 2008 Katherine F. Moore, Dan Grossman
openalex +1 more source
An Operational Semantics for Yul
We present a big-step and small-step operational semantics for Yul -- the intermediate language used by the Solidity compiler to produce EVM bytecode -- in a mathematical notation that is congruous with the literature of programming languages, lends itself to language proofs, and can serve as a precise, widely accessible specification for the language.
Koutavas, Vasileios +2 more
openaire +2 more sources
Regional Shopping Objectives in British Grocery Retail Transactions Using Segmented Topic Models
Applied Stochastic Models in Business and Industry, EarlyView.ABSTRACT Understanding the customer behaviours behind transactional data has high commercial value in the grocery retail industry. Customers generate millions of transactions every day, choosing and buying products to satisfy specific shopping needs.
Mariflor Vega Carrasco +4 more
wiley +1 more source