Results 51 to 60 of about 4,882 (287)
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science, 2004 The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications
Hennicker, Rolf +2 more
openaire +3 more sources
Extended Connectors: Structuring Glue Operators in BIP [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities.
Eduard Baranov, Simon Bliudze
doaj +1 more source
Modular Structural Operational Semantics
BRICS Report Series, 2004 Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
openaire +5 more sources
Handcrafted Inversions Made Operational on Operational Semantics [PDF]
, 2013 When reasoning on formulas involving large-size inductively defined relations, such as the semantics of a real programming language, many steps require the inversion of a hypothesis. The built-in "inversion" tactic of Coq can then be used, but it suffers from severe controllability, maintenance and efficiency issues, which makes it unusable in practice
Monin, Jean-François, Shi, Xiaomu
openaire +5 more sources
A review of artificial intelligence in brachytherapy
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen +4 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
An Effect System for Algebraic Effects and Handlers [PDF]
Logical Methods in Computer Science, 2014 We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect
Andrej Bauer, Matija Pretnar
doaj +1 more source
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose To assess the predictive capability of CT radiomics features for early recurrence (ER) of pancreatic ductal adenocarcinoma (PDAC). Methods Postoperative PDAC patients were retrospectively selected, all of whom had undergone preoperative CT imaging and surgery. Both patients with resectable or borderline‐resectable pancreatic cancer met
Xinze Du +7 more
wiley +1 more source
Causality in the Semantics of Esterel: Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics
MohammadReza Mousavi
doaj +1 more source
Compositional Operators in Distributional Semantics [PDF]
Springer Science Reviews, 2014 This survey presents in some detail the main advances that have been recently taking place in Computational Linguistics towards the unification of the two prominent semantic paradigms: the compositional formal semantics view and the distributional models of meaning based on vector spaces. After an introduction to these two approaches, I review the most
openaire +4 more sources