Results 31 to 40 of about 705,934 (125)
Querying with Łukasiewicz logic.
[EN]In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of Łukasiewicz propositional logic to query databases in a fuzzy ...
Codara, Pietro +4 more
core +1 more source
A linear Diophantine Z‐number Aczel–Alsina t‐norm operator is implemented for solving a linear Diophantine Z‐number problem, along with explaining its reliability, along with the solution derived. Some basic mathematical characteristics of the introduced operator, such as monotonicity, boundedness, and homogeneity, are rigorously deduced mathematically
Muhammad Umar Mirza +4 more
wiley +1 more source
Łukasiewicz-Topos Models of Neural Networks, Cell Genome and Interactome Nonlinear Dynamic Models [PDF]
A categorical and Łukasiewicz-Topos framework for Algebraic Logic models of nonlinear dynamics in complex functional systems such as Neural Networks, Cell Genome and Interactome Networks is introduced.
Baianu, Professor I.C.
core
Alexandrov LF‐Rough Topogenous Structures: Theory and Applications
The aim of this paper is to investigate the relationships between Alexandrov LF‐rough topogenous spaces and Alexandrov LF‐rough closure (interior) spaces based on LF‐rough sets. We establish several mappings inspired by the subsethood degree of two LF‐subsets to generate Alexandrov LF‐rough topogenous order spaces.
Ahmed A. Ramadan +3 more
wiley +1 more source
An asymptotically tight bound on countermodels for Łukasiewicz logic [PDF]
Let ϕ be a formula of Łukasiewicz infinite-valued propositional logic having a total of l many occurrences of n distinct propositional variables (call l the length of ϕ). Results in Aguzzoli and Ciabattoni [Finiteness in infinite-valued Łukasiewicz logic,
Aguzzoli, Stefano, S. Aguzzoli
core +1 more source
Logiques dialogiques ‘multivalentes’
Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
Understanding Water System Manager's Motivations for and Their Perceived Benefits of Consolidation
ABSTRACT Across the United States, policymakers are busy developing incentive programs and mandatory policies to speed up adoption of consolidations and reduce the number of regulated water systems. Little attention, however, has been paid to why water system managers themselves, whose cooperation, if not leadership, is often required, pursue ...
Kristin Babson Dobbin +3 more
wiley +1 more source
SUMMARY LEUNIG (LUG) and LEUNIG_HOMOLOG (LUH) are Groucho/Tup1‐type transcriptional co‐regulators in Arabidopsis thaliana that act redundantly across multiple developmental and environmental response pathways. Their specific contributions to flower development, however, have remained unclear due to embryonic lethality of double mutants.
Rosario Vega‐León +11 more
wiley +1 more source
New complexity results for Łukasiewicz logic
One aspect that has been poorly studied in multiple-valued logics, and in particular in Łukasiewicz logic, is the generation of instances of varying difficulty for evaluating, comparing and improving satisfiability solvers.
Bofill Arasa, Miquel +3 more
core +1 more source
Perovskite Microwires for Room Temperature Exciton‐Polariton Neural Network
Exciton‐polaritons are explored as a novel platform for optical neuromorphic computing at room temperature using a monocrystalline perovskite waveguide. Demonstrating non‐equilibrium Bose‐Einstein condensation, this work achieves machine learning tasks such as classification and object detection, marking a key advance toward energy‐efficient, practical
Andrzej Opala +9 more
wiley +1 more source

