Deriving Relationship Between Semantic Models - An Approach for cCSP [PDF]
International Journal of Computer Science and Information
Security, IJCSIS, Vol. 7, No. 1, pp. 47-54, January 2010, USA, 2010 Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different purposes. Building equivalence between different semantic models of a language strengthen its formal foundation.
arxiv
Ontology‐Based Digital Infrastructure for Data‐Driven Glass Development
Advanced Engineering Materials, EarlyView.This work addresses the inefficiencies in traditional glass development by implementing an ontology‐based digital infrastructure coupled with a high‐throughput robotic melting system. The approach integrates machine learning models, predictive tools, and a semantic database.
Ya‐Fan Chen +20 more
wiley +1 more source
Rapid character scoring and tabulation of large leaf‐image libraries using Adobe Bridge
Applications in Plant Sciences, Volume 10, Issue 6, November-December 2022., 2022 Abstract Premise Digital image libraries are an integral part of specimen‐based research. However, coding and extracting metadata for hundreds of specimens on a personal computer can be complex. In addition, most existing workflows require downsampling or platform switching and do not link character data directly to the images.
Gabriella Rossetto‐Harris +4 more
wiley +1 more source
Archeomatica, 2016 The Shape and Semantics Modelling Group of CNR-IMATI (an Institute of the Italian National Research Council) is active on several research topics related to shape modelling and retrieval.
Bianca Falcidieno
doaj +2 more sources
Lexical Semantics and Knowledge Representation in Multilingual Text Generation Manfred Stede (Technische Universität Berlin) Boston: Kluwer Academic Publishers (The Kluwer international series in engineering and computer science, volume 492), 1999, xv+219 pp; hardbound, ISBN 0-7923-8419-9, $129.00, £84.00, Dfl 265.00 [PDF]
, 2000 Barbara Di Eugenio
openalex +1 more source
Advanced Engineering Materials, EarlyView.In the current research, how environmental impacts of products can be tracked through complex production networks using semantic data and environmental impact calculations is demonstrated. Here, the example of secondary copper production and the subsequent production of copper alloys is discussed.
Mohsin Sajjad +3 more
wiley +1 more source
KupferDigital: Ontology‐Based Digital Representation for the Copper Life Cycle
Advanced Engineering Materials, EarlyView.It is demonstrated how data from different stages in the life cycle of a copper product can be stored in an ontology‐based data space. In order to showcase the methods and tools used in the project, four use cases are presented that show how data from different sources can be semantically described and queried from a shared data space.
Miriam Eisenbart +18 more
wiley +1 more source
Craniogenetic studies in Sus scrofa: With emphasis on the ‘orbitosphenoid’ problem
The Anatomical Record, EarlyView., 2023 Abstract The orbitosphenoid is a skeletal element of the endocranium of extant mammals. However, it has also been described in many of their fossil ancestors. Craniogenetic studies show that it is composed of two types of bone: first, the cartilaginous ala orbitalis and parts of the trabecular plate are transformed by endochondral ossification; second,
Wolfgang Maier, Ulla Lächele, Irina Ruf
wiley +1 more source
Neurolinguistics Research Advancing Development of a Direct-Speech Brain-Computer Interface
iScience, 2018 A direct-speech brain-computer interface (DS-BCI) acquires neural signals corresponding to imagined speech, then processes and decodes these signals to produce a linguistic output in the form of phonemes, words, or sentences.
Ciaran Cooney +2 more
doaj
Computing and Comparing Semantics of Programs in Multi-valued Logics [PDF]
arXiv, 2000 The different semantics that can be assigned to a logic program correspond to different assumptions made concerning the atoms whose logical values cannot be inferred from the rules. Thus, the well founded semantics corresponds to the assumption that every such atom is false, while the Kripke-Kleene semantics corresponds to the assumption that every ...
arxiv