Results 21 to 30 of about 1,176 (208)
Modalities for an Allegorical Conceptual Data Model
Axioms, 2014 Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal ...
Bartosz Zieliński +2 more
doaj +1 more source
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing, 2022 Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems.
Adnan Rashid, Sa’ed Abed, Osman Hasan
doaj +1 more source
Graph Decomposition Techniques in Neutrosophic Zero Divisor Models of Commutative Ring [PDF]
Neutrosophic Sets and SystemsThis research establishes the framework for neutrosophic zero divisor graphs, extending the capabilities of existing fuzzy zero divisor graph models. While fuzzy models account for partial uncertainty through degrees of membership, they often fail to ...
K. Gunasekar, P. Muralikrishna
doaj +1 more source
Semantic Observation Integration
Future Internet, 2012 Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn +3 more
doaj +1 more source
Matrix Semantics for Classical Logic: The Case of the Lattice O6
Bulletin of the Section of LogicIt is well established that classical propositional logic is Boolean. However, this view has recently been challenged. In their paper Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum ...
Ela Drozdowska
doaj +1 more source
Logic minimization and rule extraction for identification of functional sites in molecular sequences
BioData Mining, 2012 Background Logic minimization is the application of algebraic axioms to a binary dataset with the purpose of reducing the number of digital variables and/or rules needed to express it.
Cruz-Cano Raul +2 more
doaj +1 more source
Q-Neutrosophic Spherical-Cubic Soft Algebra for Enhancing Residential Space Art Design Courses Quality in IoT-Enabled Smart Factories [PDF]
Neutrosophic Sets and SystemsThis paper introduces a new mathematical model called Q-Neutrosophic Spherical-Cubic Soft Evaluation Algebra (Q-NSCSEA) to support the improvement of educational practices in residential space art design courses. These courses are increasingly integrated
Xiaodan Kong
doaj +1 more source
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source
جغرافیا و پایداری محیط, 2020 Landslide is one of the most destructive types of erosion on slopes, which causes a lot of financial and human losses. Since it is difficult to predict the occurrence of landslides, it is very important to identify landslide-sensitive areas and the ...
Jamal Mosaffaie +3 more
doaj +1 more source
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems [PDF]
Applied Categorical Structures, 2006 This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems / sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \(\pi\)-institutions. The latter arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently ...
openaire +2 more sources