Buchumschlag

An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mir, Arnau, Mus, Alejandro, Riera, Juan Vicente
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Computation and Language Discrete Mathematics Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The unstable formula theorem revisited via algorithms
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2022)

Agnostic Online Learning and Excellent Sets
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2021)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
von: Bieniusa, Annette, et al.
Veröffentlicht: (2024)

Efficient reversal of transductions of sparse graph classes
von: Dreier, Jan, et al.
Veröffentlicht: (2026)

Boolean Variation and Boolean Logic BackPropagation
von: Nguyen, Van Minh
Veröffentlicht: (2023)

First-Order Logic and Twin-Width for Some Geometric Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2025)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
von: Van Caudenberg, Daimy, et al.
Veröffentlicht: (2025)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
von: Lyon, Tim S.
Veröffentlicht: (2022)

Logic-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Symbolic Sets for Proving Bounds on Rado Numbers
von: Ahmed, Tanbir, et al.
Veröffentlicht: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

SAT-Solving the Poset Cover Problem
von: Yuan, Chih-Cheng Rex, et al.
Veröffentlicht: (2025)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Verifying Sampling Algorithms via Distributional Invariants
von: Zilken, Daniel, et al.
Veröffentlicht: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Learning Foundations Beneath the Stars
von: Cardone, Felice, et al.
Veröffentlicht: (2026)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)

Hypergraph rewriting and Causal structure of $λ-$calculus
von: Bajaj, Utkarsh
Veröffentlicht: (2024)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
von: Dreier, Jan
Veröffentlicht: (2021)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

The Iteration Number of the Weisfeiler-Leman Algorithm
von: Grohe, Martin, et al.
Veröffentlicht: (2023)

The commutativity problem for effective varieties of formal series, and applications
von: Clemente, Lorenzo
Veröffentlicht: (2025)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
von: Carette, Titouan, et al.
Veröffentlicht: (2025)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
von: Li, Zhengyu, et al.
Veröffentlicht: (2025)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

An Expansion-Based Approach for Quantified Integer Programming
von: Hartisch, Michael, et al.
Veröffentlicht: (2025)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)