## Found 5,917 Documents (Results 1–100)

100
MathJax

Full Text:

### The simplicity of the $$C^\ast$$-algebras associated to arbitrary labeled spaces. (English)Zbl 07524616

MSC:  46L05 46L55
Full Text:

Full Text:

### Completely prime ideals in multiplicatively idempotent semirings. (English. Russian original)Zbl 07518138

Math. Notes 111, No. 4, 515-524 (2022); translation from Mat. Zametki 111, No. 4, 494-505 (2022).
MSC:  16Yxx 06Exx 08Bxx
Full Text:

Full Text:

Full Text:

Full Text:

### Laws of form. A fiftieth anniversary. Selected papers based on the presentations at the conference, Liverpool, UK, University, August 8–10, 2019 (to appear). (English)Zbl 07503110

Series on Knots and Everything 72. Singapore: World Scientific (ISBN 978-981-12-4742-2/hbk). 700 p. (2022).
Full Text:

### Hyperidentities. Boolean and De Morgan structures (to appear). (English)Zbl 07502861

Singapore: World Scientific (ISBN 978-981-12-5491-8/hbk). 550 p. (2022).
Full Text:

Full Text:

### Condition (K) for Boolean dynamical systems. (English)Zbl 07501628

MSC:  46L05 46L55
Full Text:

Full Text:

### Profinite completions and MacNeille completions of finitely presented MV-algebras. (English)Zbl 07495958

MSC:  06D35 06E15 06D50
Full Text:

Full Text:

### Constructing totally disjoint spectra plateaued functions and searching five-value spectrum functions in odd variables. (English)Zbl 07483887

MSC:  94Dxx 94Axx 06Exx
Full Text:

Full Text:

Full Text:

Full Text:

MSC:  94C11
Full Text:

Full Text:

### Identification, control and fault diagnosis of Boolean networks. (English)Zbl 1480.93003

Berichte aus der Automatisierungstechnik. Aachen: Shaker Verlag; Kaiserslautern: TU Kaiserslautern (Diss.) (ISBN 978-3-8440-8441-2/pbk). xi, 135 p. (2022).
MSC:  93-02 93E12 94C11

### Constructing depth-optimum circuits for adders and And-Or paths. (English)Zbl 07471556

MSC:  68Qxx 94Cxx 06Exx
Full Text:

### Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality. (English)Zbl 07469219

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 411-475 (2022).
Full Text:

### Beth definability in the logic KR. (English)Zbl 07469208

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 213-224 (2022).
MSC:  03B47 03G15 03G27
Full Text:

Full Text:

Full Text:

### Boolean ring cryptographic equation solving. (English)Zbl 07498223

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 252-272 (2021).
Full Text:

### Application of stochastic equations under nonclassical approximation schemes to construction and analysis of information struggle model. (English)Zbl 07491566

Walczak, Szymon (ed.), Proceedings of the contemporary mathematics in Kielce 2020, Kielce, Poland, February 24–27, 2021. Warsaw: De Gruyter/Sciendo. 217-231 (2021).
MSC:  03G05
Full Text:

### On the behavior of integrable functions at infinity. (English)Zbl 07491561

Walczak, Szymon (ed.), Proceedings of the contemporary mathematics in Kielce 2020, Kielce, Poland, February 24–27, 2021. Warsaw: De Gruyter/Sciendo. 145-155 (2021).
MSC:  03G05
Full Text:

### Features of a multivalued generalization of binary logic operations in linear algebra for problems of digital processing of current-output sensor signals. (English. Russian original)Zbl 07485021

Autom. Remote Control 82, No. 12, 2213-2223 (2021); translation from Datchiki Sist. 2019, No. 10, 62-69 (2019).
MSC:  94C11
Full Text:

Full Text:

Full Text:

Full Text:

### A note on extensions of homomorphisms of Boolean algebras of projections of commutative $$AW^*$$-algebras. (English)Zbl 07460058

Abel, Mart (ed.), Proceedings of the international conference on topological algebras and their applications, ICTAA 2021. In the memory of late Professor Mohamed (Hha) Oudadess, virtual conference, July 7–9, 2021. Tartu: Estonian Mathematical Society. Math. Stud., Tartu 8, 62-73 (2021).
MSC:  46L05 46L35 46L40

Full Text:

### Reverse derivative ascent: a categorical approach to learning Boolean circuits. (English)Zbl 1477.68275

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 247-260 (2021).
Full Text:

Full Text:

### Minimal contact circuits for characteristic functions of spheres. (English. Russian original)Zbl 07452433

Discrete Math. Appl. 31, No. 6, 403-408 (2021); translation from Diskretn. Mat. 32, No. 3, 68-75 (2020).
MSC:  94C11 94D10
Full Text:

### On the complexity of monotone circuits for threshold symmetric Boolean functions. (English. Russian original)Zbl 07452427

Discrete Math. Appl. 31, No. 5, 345-366 (2021); translation from Diskretn. Mat. 32, No. 1, 81-109 (2020).
MSC:  94C11 94D10
Full Text:

Full Text:

### On operator-valued infinitesimal Boolean and monotone independence. (English)Zbl 07451481

MSC:  46L53 46L54
Full Text:

Full Text:

### Hyper-MacNeille completions of Heyting algebras. (English)Zbl 07450688

MSC:  06D20 06B23 06D15
Full Text:

### Quotients of the Booleanization of an inverse semigroup. (English)Zbl 07450045

Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 71-94 (2021).
Full Text:

### On generalized derivations of MV-algebras. (Chinese. English summary)Zbl 07448869

MSC:  06D35 06E05
Full Text:

### On I-V hesitant fuzzy ideals of Boolean algebras. (Chinese. English summary)Zbl 07448814

MSC:  06E20 06B10

### I-V hesitant fuzzy sub-algebras of Boolean algebras. (Chinese. English summary)Zbl 07448522

MSC:  06E75 08A30 08A72
Full Text:

Full Text:

### On the representation of Boolean magmas and Boolean semilattices. (English)Zbl 07442317

Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 289-312 (2021).
MSC:  08-XX 06-XX
Full Text:

### Testing of read-once functions in extended elementary bases. (English. Russian original)Zbl 07441907

Mosc. Univ. Comput. Math. Cybern. 45, No. 3, 96-102 (2021); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 3, 13-19 (2021).
MSC:  94C11
Full Text:

Full Text:

### Boolean valued analysis: background and results. (English)Zbl 1482.06003

Kusraev, Anatoly G. (ed.) et al., Operator theory and differential equations. Selected papers based on the presentations at the 15th conference on order analysis and related problems of mathematical modeling, Vladikavkaz, Russia, July 15–20, 2019. Cham: Birkhäuser. Trends Math., 91-105 (2021).
MSC:  06F25 46A40 03C90
Full Text:

### Proceedings of the 51st IEEE international symposium on multiple-valued logic, ISMVL 2021, online event, May 25–27, 2021. (English)Zbl 1475.94002

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-7281-9224-6). xiv, 216 p. (2021).
Full Text:

Full Text:

### Boolean-complement based fault-tolerant electronic device architectures. (English. Russian original)Zbl 07434178

Autom. Remote Control 82, No. 8, 1403-1417 (2021); translation from Avtom. Telemekh. 2021, No. 8, 140-158 (2021).
MSC:  94C11
Full Text:

### Restricted Lie algebras having a distributive lattice of restricted subalgebras. (English)Zbl 07433004

MSC:  17B50 17B05 06D05
Full Text:

### Modeling the pancreatic cancer microenvironment in search of control targets. (English)Zbl 1475.92052

MSC:  92C32 92C42 94C11
Full Text:

MSC:  20Mxx
Full Text:

Full Text:

### On read-once functions over $$\mathbb{Z}_3$$. (English)Zbl 1482.94091

MSC:  94C11 11T71 60C05
Full Text:

### A note on extensions of non-additive measures. (English)Zbl 1480.28006

MSC:  28A60 06E05 81P10
Full Text:

### Equidecomposition in cardinal algebras. (English)Zbl 07419442

MSC:  08A65 28A60
Full Text:

### Perfect extensions of de Morgan algebras. (English)Zbl 07416348

MSC:  06B10 06D30
Full Text:

Full Text:

### Logic gates, circuits, processors, compilers and computers. (English)Zbl 1473.68005

Cham: Springer (ISBN 978-3-030-68552-2/pbk; 978-3-030-68553-9/ebook). xiv, 251 p. (2021).
Full Text:

### Genmul: generating architecturally complex multipliers to challenge formal verification tools. (English)Zbl 07410746

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 177-191 (2021).
MSC:  68Q60 68Q06 94C11
Full Text:

### Hybrid control of Toffoli and Peres gates. (English)Zbl 07410745

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 167-175 (2021).
MSC:  68Q06 94C11
Full Text:

### Translation techniques for reversible circuit synthesis with positive and negative controls. (English)Zbl 07410744

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 143-165 (2021).
MSC:  68Q06 94C11
Full Text:

### Axiomatizing Boolean differentiation. (English)Zbl 07410741

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021).
Full Text:

### Fast optimal synthesis of symmetric index generation functions. (English)Zbl 07410740

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 59-81 (2021).
MSC:  68Q06 94C11
Full Text:

### The vital role of machine learning in developing emerging technologies. (English)Zbl 07410739

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 29-57 (2021).
MSC:  68T05 68Q06 94C11
Full Text:

Full Text:

Full Text:

MSC:  03G05
Full Text:

### A consistency result on long cardinal sequences. (English)Zbl 1480.54024

Reviewer: K. P. Hart (Delft)
Full Text:

Full Text:

### On a property of linear Boolean functions. (English. Russian original)Zbl 07398627

Mosc. Univ. Comput. Math. Cybern. 45, No. 2, 85-86 (2021); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 2, 43-44 (2021).
MSC:  06Exx 94Axx 94Cxx
Full Text:

Full Text:

### An enhanced diagnosis method for weak fault features of bearing acoustic emission signal based on compressed sensing. (English)Zbl 07393523

MSC:  94A12 94C11
Full Text:

### Tight and cover-to-join representations of semilattices and inverse semigroups. (English)Zbl 07393029

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 183-192 (2021).
MSC:  20M18 20M30 46L05
Full Text:

### Bounds on Shannon functions of lengths of contact closure tests for contact circuits. (English. Russian original)Zbl 1483.94079

Discrete Math. Appl. 31, No. 3, 165-178 (2021); translation from Diskretn. Mat. 32, No. 3, 49-67 (2020).
MSC:  94C11 94C12 94D10
Full Text:

Full Text:

### Measurable Riesz spaces. (English)Zbl 1478.46006

MSC:  46A40 06E05
Full Text:

Full Text:

### On the complexity of the clone membership problem. (English)Zbl 07379118

MSC:  68Q17 08A40
Full Text:

Full Text:

Full Text:

Full Text:

### Asymptotics for the complexity of Boolean functions with small number of ones. (English. Russian original)Zbl 07369699

Math. Notes 109, No. 2, 256-261 (2021); translation from Mat. Zametki 109, No. 2, 257-263 (2021).
MSC:  94Cxx 06Exx 68Qxx
Full Text:

### Sheffer operations in complemented posets. (English)Zbl 07369664

MSC:  06A11 06E30 03G25
Full Text:

### Autonomous Boolean network and physical random number generator based on XOR gate. (Chinese. English summary)Zbl 1474.94064

MSC:  94A60 94C11 94D10
Full Text:

### From-below Boolean matrix factorization algorithm based on MDL. (English)Zbl 07363864

MSC:  06E25 06A05
Full Text:

Full Text:

Full Text:

### Constructing vectorial bent functions via second-order derivatives. (English)Zbl 07358461

MSC:  06Exx 94Cxx
Full Text:

### Translating between the representations of a ranked convex geometry. (English)Zbl 07358322

MSC:  06Axx 06Exx 52Axx
Full Text:

Full Text:

### On the degree of restrictions of $$q$$-valued logic vector functions to linear manifolds. (English. Russian original)Zbl 07356574

Discrete Math. Appl. 31, No. 2, 127-134 (2021); translation from Diskretn. Mat. 32, No. 2, 61-70 (2020).
MSC:  06E30 94C11
Full Text:

### On the use of binary operations for the construction of a multiply transitive class of block transformations. (English. Russian original)Zbl 1481.94162

Discrete Math. Appl. 31, No. 2, 91-111 (2021); translation from Diskretn. Mat. 32, No. 2, 85-111 (2020).
MSC:  94C11
Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3