Nondeterminism and boolean operations in pda's
Journal of Computer and System Sciences, 1978 AbstractThere are nondeterministic context-free languages that cannot be expressed as a Boolean formula over deterministic context-free languages. The closure of the context-free languages under intersection does not yield closure under complementation.
openaire +1 more source
A topological characterization of an almost Boolean algebra
Extracta MathematicaeFor any Boolean space X and a discrete almost distributive lattice D, it is proved that the set C(X, D) of all continuous mappings of X into D, when D is equipped with the discrete topology, is an almost Boolean algebra under pointwise operations ...
K. Ramanuja Rao +3 more
doaj +1 more source
Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings [PDF]
, 2006 Despite the ubiquity of ROBDDs in program analysis, and extensive literature on ROBDD minimisation, there is a dearth of work on approximating ROBDDs.
Kettle, Neil +5 more
core +1 more source
DIMENSIONAL ADJUSTMENTS FOR BOOLEAN OPERATIONS
, 2021 One of the benefits of the 3MF language is that it allows to encode a single geometry representation when multiple instances of the same object are willed to be printed.
INC, HP
core
The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models [PDF]
, 2011 This volume of the Annals of Operations Research, contains a collection of papers published in memory of Peter L. Hammer. As we recall further down, Peter made substantial contributions to several areas of operations research and discretemathematics ...
Maffray, Frédéric +9 more
core +1 more source
Approximate BDD Minimization by Weighted A* [PDF]
, 2008 Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis. The size of BDDs depends on a chosen variable ordering, i.e.
Rudiger Ebendt +3 more
core +1 more source
Boolean Operations in Open-Source Blender Project
, 2006 This paper describes the work of a new implementation of the Boolean operations of Blender. Blender is a modelling and animation 3D software with GNU General Public License (GPL). Boolean operations are a useful tool for modelling.
Grau, Sergi, Silva, David, Freixas, Marc
core +1 more source
Boolean operations between extended octrees
, 1991 This paper describes the Extended Octree model that are an exact representation for polyhedra. Boolean Operations in this model perform in linear time, as they include an implicit spacial localization of the objects.
Ayala Vallespí, M. Dolors +2 more
core +1 more source
Optimized Homomorphic Evaluation of Boolean Functions
Transactions on Cryptographic Hardware and Embedded SystemsWe propose a new framework to homomorphically evaluate Boolean functions using the Torus Fully Homomorphic Encryption (TFHE) scheme. Compared to previous approaches focusing on Boolean gates, our technique can evaluate more complex Boolean functions ...
Nicolas Bon +2 more
doaj +1 more source
Idealising mesh modelling for haptic enabled services and operands
, 2012 Communicating the knowledge and science of product engineering, analysis and manufacturing planning is an area of continued research driven by the digital economy.
Arnez, Victor +9 more
core +1 more source