Piecewise Boolean algebras and their domains

Piecewise Boolean algebras and their domains

Manylion Llyfryddiaeth
Prif Awdur:	Heunen, C
Fformat:	Conference item
Cyhoeddwyd:	Springer 2014

Eitemau Tebyg

Arithmatic version of boolean algebra
gan: Azram, Mohammad, et al.
Cyhoeddwyd: (2009)

Arithmetic version of boolean algebra
gan: Azram, Mohammad, et al.
Cyhoeddwyd: (2009)

Arithmetic version of boolean algebra
gan: Azram, Mohammad, et al.
Cyhoeddwyd: (2009)

Arithmetic version of boolean algebra
gan: Azram, Mohammad, et al.
Cyhoeddwyd: (2010)

The theory of commuting Boolean algebras
gan: Yan, Catherine Huafei
Cyhoeddwyd: (2008)

On The Boolean Algebra of Shape Analysis Constraints
gan: Kuncak, Viktor, et al.
Cyhoeddwyd: (2005)

Enrichments of Boolean algebras by Presburger predicates
gan: Derakhshan, J, et al.
Cyhoeddwyd: (2017)

Orderings and Boolean algebras not isomorphic to recursive ones
gan: Feiner, Lawrence, 1942-
Cyhoeddwyd: (2011)

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
gan: Kuncak, Viktor, et al.
Cyhoeddwyd: (2005)

The complexity of promise SAT on non-Boolean domains
gan: Brandts, A, et al.
Cyhoeddwyd: (2020)

The complexity of promise SAT on non-Boolean domains
gan: Brandts, A, et al.
Cyhoeddwyd: (2021)

Waste reduction guideline for production line using boolean algebra
gan: Mohamad Sazuan, Sarifudin
Cyhoeddwyd: (2022)

Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-Complete
gan: Kuncak, Viktor
Cyhoeddwyd: (2007)

Boolean algebra--a study and applications : with emphasis on possible applications in business
gan: Burrows, James H. (James Henry)
Cyhoeddwyd: (2005)

Piecewise deterministic Markov processes for scalable Monte Carlo on restricted domains
gan: Bierkens, J, et al.
Cyhoeddwyd: (2018)

H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics
gan: Abramsky, S, et al.
Cyhoeddwyd: (2012)

Piecewise smooth chebfuns
gan: Pachόn, R, et al.
Cyhoeddwyd: (2008)

Piecewise smooth chebfuns
gan: Pachon, R, et al.
Cyhoeddwyd: (2008)

Piecewise-smooth chebfuns
gan: Pachon, R, et al.
Cyhoeddwyd: (2010)

Active lattices determine AW*−algebras
gan: Heunen, C, et al.
Cyhoeddwyd: (2014)

Diagonalizing matrices over AW*-algebras
gan: Heunen, C, et al.
Cyhoeddwyd: (2013)

Diagonalizing matrices over AW*−algebras
gan: Heunen, C, et al.
Cyhoeddwyd: (2012)

Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples
gan: Derakhshan, J, et al.
Cyhoeddwyd: (2013)

Relationships between post and Boolean algebras with application to multi-valued switching theory / [mikrofilem]
gan: 334687 Wojcik, Anthony Stephen

Relative Frobenius algebras are groupoids
gan: Heunen, C, et al.
Cyhoeddwyd: (2012)

Boolean Mereology
gan: Wu, Xinhe
Cyhoeddwyd: (2022)

Boolean Classes
gan: McAllester, David, et al.
Cyhoeddwyd: (2004)

A Topos for Algebraic Quantum Theory
gan: Heunen, C, et al.
Cyhoeddwyd: (2009)

A topos for algebraic quantum theory
gan: Heunen, C, et al.
Cyhoeddwyd: (2009)

Piecewise-linear network theory
Cyhoeddwyd: (2004)

Piecewise truckload network procurement
gan: Huang, Jefferson
Cyhoeddwyd: (2012)

Mode-doubling and tripling in reaction-diffusion patterns on growing domains: a piecewise linear model.
gan: Crampin, E, et al.
Cyhoeddwyd: (2002)

Probabilistic representation and manipulation of Boolean functions using free Boolean diagrams
gan: Shen, Amelia H. (Amelia Huimin)
Cyhoeddwyd: (2006)

Boolean Hedonic Games
gan: Aziz, H, et al.
Cyhoeddwyd: (2016)

Iterated Boolean games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2015)

Iterated Boolean games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2013)

Piecewise Linear Parametrization of Canonical Bases
gan: Lusztig, George
Cyhoeddwyd: (2015)

Control and estimation of piecewise affine systems
gan: Xu, Jun
Cyhoeddwyd: (2008)

Trusting SVM for piecewise linear CNNs
gan: Berrada, L, et al.
Cyhoeddwyd: (2017)

Trusting SVM for piecewise linear CNNs
gan: Berrada, L, et al.
Cyhoeddwyd: (2016)