Архитектон, 2022 The subject of the study is the specificity of the professional competence of an environment designer in the context of the convergence of science and art.
Petrashen Evgeniya P.
doaj +2 more sources
GRAPHIC REALIZATION FOUNDATIONS OF LOGIC-SEMANTIC MODELING IN DIDACTICS
Образование и наука, 2017 Introduction. Nowadays, there are not a lot of works devoted to a graphic method of logic-semantic modeling of knowledge. Meanwhile, an interest towards this method increases due to the fact of essential increase of the content of visual component in ...
V. E. Steinberg, A. F. Mustayev
doaj +3 more sources
Step-Indexed Relational Reasoning for Countable Nondeterminism [PDF]
Logical Methods in Computer Science, 2013 Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems.
Lars Birkedal +2 more
doaj +3 more sources
A system for deduction-based formal verification of workflow-oriented software models
International Journal of Applied Mathematics and Computer Science, 2014 The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj +3 more sources
Logical-semantic knowledge model for the knowledge base of a lecturer
Радіоелектронні і комп'ютерні системиThe subject of this study is the process of synthesizing a graphical logical-semantic knowledge representation model with an open architecture for the knowledge base of a university lecturer.
Serhii Dotsenko +3 more
doaj +2 more sources
Instruments of subject-to-subject interaction in blended learning: visual didactic regulators [PDF]
SHS Web of Conferences, 2021 Research background implies changing the mechanisms of subject-to-subject interaction, control, and feedback when transiting to distance and mixed learning; one of the areas of difficulties that arise during such transition is the search for a way to ...
Asadullin Rail +4 more
doaj +1 more source
A Unified Approach to Semantic Information and Communication Based on Probabilistic Logic
IEEE Access, 2022 Traditionally, studies on technical communication (TC) are based on stochastic modeling and manipulation. This is not sufficient for semantic communication (SC) where semantic elements are logically connected, rather than stochastically correlated.
Jinho Choi, Seng W. Loke, Jihong Park
doaj +1 more source
Method of Document Level Relation Extraction Based on Fusion of Relational Transfer Information Using Double Graph [PDF]
Jisuanji kexue, 2023 Document-level relation extraction refers to the extraction of entities and their relations from long paragraphs of unstructured text.Compared to traditional sentence-level relation extraction,document-level relation extraction requires the integration ...
KOU Jiaying, ZHAO Weidong, LIU Xianhui
doaj +1 more source
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
IEEE Access, 2022 The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and semantic ...
Robin Mross +4 more
doaj +1 more source
Detailed Clinical Models: Representing Knowledge, Data and Semantics in Healthcare Information Technology [PDF]
Healthcare Informatics Research, 2014 ObjectivesThis paper will present an overview of the developmental effort in harmonizing clinical knowledge modeling using the Detailed Clinical Models (DCMs), and will explain how it can contribute to the preservation of Electronic Health Records (EHR ...
William T. F. Goossen
doaj +1 more source