Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Kleene"”.
-
Kleene-Type Results for Weighted Tree-Automata
… of this thesis is the generalization of the Kleene-theorem to formal tree-series over commutative semirings (the Kleene theorem states the coincidence between rational and recognizable formal languages). To this end weighted tree-languages are introduced and the Kleene-theorem is proved for …
-
Mean curvature flow self-shrinkers with genus and asymptotically conical ends
… published as the joint work [KMø 1] with Stephen Kleene, and the result in (2) was proven in collaboration with Kleene-Kapouleas, and appeared in [KKMø 0]. The results in (3) are contained in the preprint [Mø1].
-
Quantifier rank spectrum of L-infinity-omega
… to generalize the classical proof of the Suslin-Kleene Separation Theorem to the context of sheaves on a partial Grothendieck topology.
-
ZStream : a cost-based query processor for composite event detection
… such as conjunction, disjunction, negation and Kleene Closure. ZStream uses a tree-based plan for both the logical and physical representation of query patterns. Using this tree-based infrastructure, ZStream is able to unify the evaluation of sequence, conjunction, disjunction, negation, and …
-
Sharp and Unsharp Structures. A Unifying Framework for Algebraic Logic
… including Boolean algebras, Stone algebras, Kleene algebras, and 3-valued MV algebras, find ample representation through injective hulls in regular double Stone algebras. In the second part, the focus shifts to structures relevant in the context of quantum logics. Starting from the concept of …
-
Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji
… Razmotreni primeri uključuju Lukasiewicz-evu, Kleene-jevu i Priest-ovu trovalentnu logiku, Belnap-ovu četvorovalentnu logiku, Gödel-ove i McKay-eve m-valentne logike, i Heyting-ovu i Dummett-ovu beskonačnovalentnu logiku.
-
Measuring the Validity of the Formal Elements Art Therapy Scale to Assess for Anxiety in Middle School Aged Children
<p>The purpose of this study is to determine if the Draw a Person Picking an Apple from a Tree (PPAT) art directive, assessed using the Formal Elements Art Therapy Scale (FEATS), is a valid and reliable assessment of anxiety in middle school aged children. A total of 51 middle school age children …
-
Watershed nonpoint source management system: a geographic information system approach
A comprehensive, distributed parameter, annual, watershed nonpoint source management system (WATNPS) was developed for land management planning. WATNPS simulates annual sediment, nitrogen (chemical and livestock organic), and phosphorus (chemical and livestock organic) yields from nonpoint sources. …
-
TRACTABLE DEPTH-BOUNDED APPROXIMATIONS TO SOME PROPOSITIONAL LOGICS. TOWARDS MORE REALISTIC MODELS OF LOGICAL AGENTS.
… (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural …
-
Variantes de la concatenación en computación con ADN
… condicional (análoga a la operación de Kleene pero ahora restringida). Estos son los "malos" resultados. Los "buenos" aparecen cuando se consideran gramáticas y reglas de reescritura. Ahora, el poder generativo surge al establecer la siguiente analogía. Una regla de reescritura A- w en …
-
Substructurality and residuation in logic and algebra
… concept of a recognizable language as defined by Kleene. More specifically, we introduce the notion of a recognizable element of a residuated lattice by a finite module and provide a characterization of such an element in the spirit of Myhill’s characterization of recognizable languages. Further, …