×

Found 6,190 Documents (Results 1–100)

Revisiting BoolTest – on randomness testing using Boolean functions. (English) Zbl 07726577

Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 471-491 (2023).
MSC:  94D10 94C11
PDF BibTeX XML Cite
Full Text: DOI

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

Series on Knots and Everything 72. Singapore: World Scientific (ISBN 978-981-12-4742-2/hbk; 978-981-12-4744-6/ebook). 700 p. (2023).
PDF BibTeX XML Cite
Full Text: DOI

About all and nothing: Meinongian views of all and nothing as maximal and minimal objects of thought. (English) Zbl 07740523

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 375-394 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 07740510

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions. (English. Russian original) Zbl 07670195

J. Comput. Syst. Sci. Int. 61, No. 4, 539-566 (2022); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2022, No. 4, 66-94 (2022).
MSC:  94C11
PDF BibTeX XML Cite
Full Text: DOI

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics. (English) Zbl 07668113

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 507-529 (2022).
MSC:  03G25 03B20 06D20
PDF BibTeX XML Cite
Full Text: arXiv

Retracted: Synthesis of reversible circuits consisting of NOT, CNOT and 2-CNOT gates with small number of additional inputs. (English. Russian original) Zbl 1509.94179

Discrete Math. Appl. 32, No. 6, 439-444 (2022); translation from Diskretn. Mat. 33, No. 3, 46-54 (2021); retraction note Discrete Math. Appl. 32, No. 6, 418 (2022).
MSC:  94C11 68Q06
PDF BibTeX XML Cite
Full Text: DOI

An extension of ERODE to reduce Boolean networks by backward Boolean equivalence. (English) Zbl 1505.92069

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 294-301 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Variable-depth simulation of most permissive Boolean networks. (English) Zbl 1505.92080

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 138-157 (2022).
MSC:  92C42 92C40 94C11
PDF BibTeX XML Cite
Full Text: DOI arXiv

Prioritization of candidate genes through Boolean networks. (English) Zbl 1505.92079

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 89-121 (2022).
MSC:  92C42 92D10 94C11
PDF BibTeX XML Cite
Full Text: DOI

Abstract simulation of reaction networks via Boolean networks. (English) Zbl 1505.92077

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 21-40 (2022).
MSC:  92C42 92C40 94C11
PDF BibTeX XML Cite
Full Text: DOI

On the complexity of implementation of characteristic functions of the spheres by circuits of functional elements. (English. Russian original) Zbl 1507.94076

Mosc. Univ. Math. Bull. 77, No. 3, 127-130 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 3, 18-20 (2022).
MSC:  94C11 68Q06 94D10
PDF BibTeX XML Cite
Full Text: DOI

Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007

Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022).
MSC:  68-02 68Q45 94C11
PDF BibTeX XML Cite
Full Text: DOI

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

Main Field

all top 3

Software