Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Coalgebra (2)
- Informacje dla studentów (in Polish) (2)
- Modal logic (2)
- Algebraic theories (1)
- Algorithms (1)
-
- Belief functions (1)
- Biogaz; oksy-reforming; wodór (1)
- Categorical Semantics (1)
- Category Theory (1)
- Coalgebras (1)
- Completeness (1)
- Computational and artificial intelligence (1)
- Contradictory problems (1)
- Cover modality (1)
- DSmT (1)
- Extension engineering (1)
- Extentics (1)
- Finite Elements (1)
- Information fusion (1)
- Integrity constraints (1)
- Modal Logic (1)
- Neutrosophic logic; indeterminacy; indeterminate model; indeterminate element; indeterminate mass; indeterminate fusion rules; DSmT; DST; TBM (1)
- Prace ze studentami (in Polish) (1)
- Presentation of functors (1)
- Presentations by generators and relations (1)
- Relation lifting (1)
- Sifted colimits (1)
- Stochastic Logic (1)
- Stone duality (1)
- Thermal Signature Generation (1)
- Publication
- Publication Type
Articles 1 - 10 of 10
Full-Text Articles in Other Mathematics
Validation Of Weak Form Thermal Analysis Algorithms Supporting Thermal Signature Generation, Elton Lewis Freeman
Validation Of Weak Form Thermal Analysis Algorithms Supporting Thermal Signature Generation, Elton Lewis Freeman
Masters Theses
Extremization of a weak form for the continuum energy conservation principle differential equation naturally implements fluid convection and radiation as flux Robin boundary conditions associated with unsteady heat transfer. Combining a spatial semi-discretization via finite element trial space basis functions with time-accurate integration generates a totally node-based algebraic statement for computing. Closure for gray body radiation is a newly derived node-based radiosity formulation generating piecewise discontinuous solutions, while that for natural-forced-mixed convection heat transfer is extracted from the literature. Algorithm performance, mathematically predicted by asymptotic convergence theory, is subsequently validated with data obtained in 24 hour diurnal field experiments for …
Extended Pcr Rules For Dynamic Frames, Florentin Smarandache, Jean Dezert
Extended Pcr Rules For Dynamic Frames, Florentin Smarandache, Jean Dezert
Branch Mathematics and Statistics Faculty and Staff Publications
In most of classical fusion problems modeled from belief functions, the frame of discernment is considered as static. This means that the set of elements in the frame and the underlying integrity constraints of the frame are fixed forever and they do not change with time. In some applications, like in target tracking for example, the use of such invariant frame is not very appropriate because it can truly change with time. So it is necessary to adapt the Proportional Conflict Redistribution fusion rules (PCR5 and PCR6) for working with dynamical frames. In this paper, we propose an extension of …
Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický
Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický
Engineering Faculty Articles and Research
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.
Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …
Ogólnotechniczne Podstawy Biotechnologii Z Elementami Grafiki Inżynierskiej Ćw., Wojciech M. Budzianowski
Ogólnotechniczne Podstawy Biotechnologii Z Elementami Grafiki Inżynierskiej Ćw., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Materiały Odstresowujące, Wojciech M. Budzianowski
Materiały Odstresowujące, Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema
Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema
Engineering Faculty Articles and Research
We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.
As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …
Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz
Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.
Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu
Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu
Branch Mathematics and Statistics Faculty and Staff Publications
In this article one proposes several numerical examples for applying the extension set to 2D- and 3D-spaces. While rectangular and prism geometrical figures can easily be decomposed from 2D and 3D into 1D linear problems, similarly for the circle and the sphere, it is not possible in general to do the same for other geometrical figures.
Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache
Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses. The best approach for dealing with such models is the neutrosophic logic.
Hydrogen Production From Biogas By Oxy-Reforming: Reaction System Analysis, Aleksandra Terlecka, Wojciech M. Budzianowski
Hydrogen Production From Biogas By Oxy-Reforming: Reaction System Analysis, Aleksandra Terlecka, Wojciech M. Budzianowski
Wojciech Budzianowski
Oxy-reforming is emerging as an interesting alternative to conventional methods of hydrogen generation. The current article characterises this process through analysis of individual reactions: SMR (steam methane reforming), WGS (water gas shift) and CPO (catalytic partial oxidation). Analyses relate to optimisation of thermal conditions thus enabling cost-effectivenes of the process.