×

Found 1,363 Documents (Results 1–100)

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

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

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

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

EpiGRAM: practical garbled RAM. (English) Zbl 1497.68179

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 3-33 (2022).
MSC:  68Q06 94A60
PDF BibTeX XML Cite
Full Text: DOI

Emerging capabilities and applications of artificial higher order neural networks. (English) Zbl 1481.68011

Advances in Computational Intelligence and Robotics (ACIR). Hershey, PA: Engineering Science Reference/IGI Global (ISBN 978-1-7998-3563-9; 978-1-7998-3564-6/pbk; 978-1-7998-3565-3/ebook). 540 p. (2022).
MSC:  68-02 68Q06 68T05
PDF BibTeX XML Cite
Full Text: DOI

Graph neural networks: foundations, frontiers, and applications. (English) Zbl 1476.68001

Singapore: Springer (ISBN 978-981-16-6053-5/hbk; 978-981-16-6056-6/pbk; 978-981-16-6054-2/ebook). xxxvi, 689 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Energy complexity of satisfying assignments in monotone circuits: on the complexity of computing the best case. (English) Zbl 1498.68107

Wu, Weili (ed.) et al., Algorithmic aspects in information and management. 15th international conference, AAIM 2021, virtual event, December 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13153, 380-391 (2021).
MSC:  68Q06 68Q17 68Q27
PDF BibTeX XML Cite
Full Text: DOI

A logical characterization of constant-depth circuits over the reals. (English) Zbl 07547731

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 16-30 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Verifying low-dimensional input neural networks via input quantization. (English) Zbl 1497.68310

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 206-214 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Exploiting verified neural networks via floating point numerical error. (English) Zbl 1497.68309

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 191-205 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Static analysis of ReLU neural networks with tropical polyhedra. (English) Zbl 1497.68304

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 166-190 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Constructions for quantum indistinguishability obfuscation. (English) Zbl 1497.81039

Longa, Patrick (ed.) et al., Progress in cryptology – LATINCRYPT 2021. 7th international conference on cryptology and information security in Latin America, Bogotá, Colombia, October 6–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12912, 24-43 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Round efficient secure multiparty quantum computation with identifiable abort. (English) Zbl 1487.81034

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 436-466 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
PDF BibTeX XML Cite
Full Text: DOI HAL

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

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

Formal verification of integer multiplier circuits using algebraic reasoning: a survey. (English) Zbl 07410738

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. 1-27 (2021).
MSC:  68V15 68Q06
PDF BibTeX XML Cite
Full Text: DOI

Formal semantics and verification of network-based biocomputation circuits. (English) Zbl 1472.68057

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Reservoir computing for forecasting large spatiotemporal dynamical systems. (English) Zbl 1482.68203

Nakajima, Kohei (ed.) et al., Reservoir computing. Theory, physical implementations, and applications. Singapore: Springer. Nat. Comput. Ser., 117-138 (2021).
MSC:  68T05 37D45 68Q06
PDF BibTeX XML Cite
Full Text: DOI

On the characteristics and structures of dynamical systems suitable for reservoir computing. (English) Zbl 1482.68201

Nakajima, Kohei (ed.) et al., Reservoir computing. Theory, physical implementations, and applications. Singapore: Springer. Nat. Comput. Ser., 97-116 (2021).
MSC:  68T05 37N99 68Q06
PDF BibTeX XML Cite
Full Text: DOI

Computational thinking: a perspective on computer science. (English) Zbl 1490.68001

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software