×

Found 5,917 Documents (Results 1–100)

100
MathJax

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: arXiv Link

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software