Results 1 to 10 of about 1,713,760 (284)
Disjunctive bases: normal forms and model theory for modal logics [PDF]
Logical Methods in Computer Science, 2022 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Sebastian Enqvist, Yde Venema
doaj +5 more sources
On the Normality of Numbers to Different Bases [PDF]
Journal of the London Mathematical Society, 2013 We prove independence of normality to different bases We show that the set of real numbers that are normal to some base is Sigma^0_4 complete in the Borel hierarchy of subsets of real numbers. This was an open problem, initiated by Alexander Kechris, and
Becher, Verónica, Slaman, Theodore A.
core +5 more sources
Normal bases and irreducible polynomials
Finite Fields and Their Applications, 2018 Let $\mathbb{F}_q$ denote the finite field of $q$ elements and $\mathbb{F}_{q^n}$ the degree $n$ extension of $\mathbb{F}_q$. A normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F} _q$ is a basis of the form $\{\alpha,\alpha^q,\dots,\alpha^{q^{n-1 ...
Cao, Wei, Han, Shanmeng, Huang, Hua
core +2 more sources
Non-Hermitian quantum walks uncover dynamical quantum phase transitions under self-normal and biorthogonal bases [PDF]
Light: Science & ApplicationsThe differences in critical times and critical momenta between self-normal and biorthogonal dynamical quantum phase transitions are revealed. The theoretical analysis is experimentally validated through multiple quench processes using a one-dimensional ...
Guangzhen Li, Luqi Yuan
doaj +2 more sources
Slim normal bases and basefield transforms [PDF]
Applicable Algebra in Engineering, Communications and Computing, 2007 In this article, we define the notion of slim (normal) bases and show their existence for various fields. As an application, an algorithm will be given that computes the spectrum of a basefield transform by merely using O(n) additions.
exaly +3 more sources
Study of antidiabetic activity of two novel Schiff base derived dibromo and dichloro substituted compounds in streptozotocin-nicotinamide-induced diabetic rats: pilot study [PDF]
Brazilian Journal of Pharmaceutical Sciences, 2023 Schiff bases are aldehyde-or ketone-like chemical compounds in which an imine or azomethine group replaces the carbonyl group. Such compounds show various beneficial biological activities, such as anti-inflammation and antioxidants.
Kamelia Saremi +3 more
doaj +1 more source
Normal Forms of Conditional Belief Bases Respecting Inductive Inference
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Normal forms of syntactic entities play an important role in many different areas in computer science. In this paper, we address the question of how to obtain normal forms and minimal normal forms of conditional belief bases in order to, e.g., ease ...
Christoph Beierle, Jonas Haldimann
doaj +1 more source
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Conditional knowledge bases consisting of qualitative conditionals play a predominant role in knowledge representation and reasoning. In this paper, we develop a full map of all consistent conditional knowledge bases over a small signature in different ...
Christoph Beierle +2 more
doaj +1 more source
Agronomy, 2020 Belowground nitrogen (N) transfer from legumes to non-legumes provides an important N source for crop yield and N utilization. However, whether root contact facilitates N transfer and the extent to which N transfer contributes to crop productivity and N ...
Zeqiang Shao +8 more
doaj +1 more source
ℒ-Realcompactifications and Normal Bases [PDF]
Journal of the Australian Mathematical Society, 1969 In a recent paper (see [2]), Orrin Frink introduced a method to provide Hausdorff compactifications for Tychonoff or completely regular T1 spaces X. His method utilized the notion of a normal base. A normal base ℒ for the closed sets of a space X is a base which is a disjunctive ring of sets, disjoint members of which may be separated by disjoint ...
Aló, Richard A., Shapiro, Harvey L.
openaire +1 more source