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 20 of 25 for “"BOOLEAN ALGEBRA"”.
-
Boolean algebra: from digital circuits to deep learning applications
… e leis, incluindo a simplificação de expressões booleanas. São discutidos conceitos como a soma de produtos, o produto de somas e a construção de mapas de Karnaugh, fundamentais na otimização de circuitos digitais. Em seguida, aborda-se a aplicação da álgebra de Boole no design de circuitos …
-
Boolean algebra--a study and applications : with emphasis on possible applications in business
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Business & Engineering Administration, 1949.
-
Boolean-Valued Models of Set Theory When the Boolean Algebra Is a Proper Class in the Ground Model
Made available in DSpace on 2014-12-11T18:23:48Z (GMT). No. of bitstreams: 1 7212333.pdf: 1635163 bytes, checksum: 788a4cd116ac0b9256dcde5f7153f601 (MD5) Previous issue date: 1971
-
Some observations and results concerning submeasures on Boolean algebras
We investigate submeasures on Boolean algebras in the context of Maharam's problem and its solution. We generalise results that were originally proved for measures, to cases where additivity is not present. We investigate Talagrand's construction of a pathological exhaustive submeasure, attempting …
-
A General Semantic Model of Negation in Natural Language: Representation and Inference
… are two knowledge representation formalisms with Boolean semantics: a computable Boolean algebra for representing concepts and a computable Boolean algebra for representing the semantics of scalar predicate expressions of natural language that denote quantitative values. The UNO computer …
-
Boolean ultrapowers
The Boolean ultrapower construction is a generalisation of the ordinary ultrapower construction in that an arbitrary complete Boolean algebra replaces the customary powerset Boolean algebra. B. Koppelberg and S. Koppelberg [1976] show that the class of ordinary ultrapowers is properly contained in …
-
AN INTRODUCTION TO BOOLEAN ALGEBRAS
<p>This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of the topic, research began with the investigation of Boolean algebras in the area of Abstract Algebra. The content of this initial research used a particular notation. The ideas of partially ordered …
-
Boolean-valued probabilistic metric spaces
In this paper the Boolean valued method is used to develop a theory closely resembling the theory of probabilistic metric spaces. In this development the complete Boolean algebra used must have the form of the quotient algebra of some atomless probability space ($\Omega,{\cal A},P$) modulo its …
-
A control and sequencing language
… low-level languages (e.g. ladder logic, boolean algebra and assembly language) were used, but have now been replaced by specialised high-level languages. These languages provide more functionality and are easier to use. The dissertation examines one such high-level sequencing language …
-
Natively probabilistic computation
… including probabilistic generalizations of Boolean circuits, backtracking search and pure Lisp. I show how these tools let one compactly specify probabilistic generative models, generalize and parallelize widely used sampling algorithms like rejection sampling and Markov chain Monte Carlo, …
-
On the theory of Boolean vector spaces
"The concept of a (abstract) Boolean vector space is due to Subrahmanyam [6]1. In introducing this concept, Subrahmanyam was motivated by Foster [1] who demonstrated that each element of a p-ring R (with unity) can be represented as a type of "Boolean vector" over the Boolean algebra of all the …
-
Nelson Oppen combination as a rewrite theory
… integer arithmetic, arrays, uninterpreted and Boolean algebra. While solvers exist for many such theories or their subsets, it is common for interesting SMT problems to span multiple theories. SMT solvers typically use refinements of the Nelson-Oppen combination method, an algorithm for …
-
A GIS-based decision support for travel demand analysis
… simple statistical analyses and incorporates Boolean algebra based analysis. Among the most powerful features of the system are its user friendly interface and its graphical display capabilities. The Las Vegas metropolitan area is used as a case study for demonstration of the application of …
-
Topological Ramsey Spaces, Associated Ultrafilters, and Their Applications to the Tukey Theory of Ultrafilters and Dedekind Cuts of Nonstandard Arithmetic
… it is consistent with ZFC that the four-element Boolean algebra appears as an initial Tukey structure.</p>
-
The Relationship Between State Dissatisfaction and the Level of Conflict In State Dyads: the Revised Power Transition Theory
… Two comparative case studies are conducted with Boolean algebra to display the causal mechanisms behind variables. Cases are selected according to the results of statistical models. Consequently, this study can determine how the measurements of the two conditions work and why they seem to fail in …
-
FINITELY ADDITIVE MEASURES ON TOPOLOGICAL SPACES AND BOOLEAN ALGEBRAS
… o each other. The relation between charges on Boolean algebras and the induced measures on their Stone spaces is mentioned in this chapter. We also show that for any charge algebra, there exists a compact zero-dimensional space such that its charge algebra is isomorphic to the given charge …
-
Advanced risk and maintenance modelling in LNG carrier operations
… of their failure modes are established and Boolean algebra is applied to facilitate the evaluation of the failure probabilities and frequencies. Secondly, a GA model is developed to improve the safety levels of the LNG containment system and transfer arm, to minimise their maintenance costs …
-
VastMM-Tag: Semantic Indexing and Browsing of Videos for E-Learning
… a tag analogous to the visual concepts. A full Boolean algebra over the tags is provided to enable new composite tags such as 'text or code, but no presenter'. Finally, we quantify the effectiveness of our features and our browser through user studies, both observational and task driven. We find …
-
Graphs of integral distance and their properties
Understanding the geometries of points in space has been attractive to mathematicians for ages. As a model, twelve years ago, Kurz and Meyer [32] considered point sets in the m-dimensional a ne space Fmq over a nite eld Fq with q = pr elements, p prime, where each squared Euclidean distance of two …
Page 1 of 2