×

zbMATH — the first resource for mathematics

Found 414 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek
Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. (English) Zbl 1375.68006
Studies in Systems, Decision and Control 113. Cham: Springer (ISBN 978-3-319-59836-9/hbk; 978-3-319-59837-6/ebook). viii, 225 p. (2018).
MSC:  68-02 68M07 68Q45 94C10
PDF BibTeX XML Cite
\textit{A. Barkalov} et al., Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. Cham: Springer (2018; Zbl 1375.68006)
Full Text: DOI
Voronenko, Andrei A.; Vyalyi, Mikhail N.
Lower estimate for the cardinality of the domain of universal functions for the class of linear Boolean functions. (English. Russian original) Zbl 1421.06005
Discrete Math. Appl. 27, No. 5, 319-324 (2017); translation from Diskretn. Mat. 28, No. 4, 50-57 (2016).
MSC:  06E30 94C10
PDF BibTeX XML Cite
\textit{A. A. Voronenko} and \textit{M. N. Vyalyi}, Discrete Math. Appl. 27, No. 5, 319--324 (2017; Zbl 1421.06005); translation from Diskretn. Mat. 28, No. 4, 50--57 (2016)
Full Text: DOI
Alman, Josh; Williams, Ryan
Probabilistic rank and matrix rigidity. (English) Zbl 1369.68212
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 641-652 (2017).
MSC:  68Q17 15A03 15B34 65T50 68Q05 94C10
PDF BibTeX XML Cite
\textit{J. Alman} and \textit{R. Williams}, in: Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC '17, Montreal, QC, Canada, June 19--23, 2017. New York, NY: Association for Computing Machinery (ACM). 641--652 (2017; Zbl 1369.68212)
Full Text: DOI
Voronenko, A. A.
On the outcome of false images of linear \(k\)-valued functions for composite numbers \(k\) when the number of variables increases. (English. Russian original) Zbl 1354.06008
Mosc. Univ. Comput. Math. Cybern. 40, No. 2, 79-82 (2016); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 2, 28-31 (2016).
MSC:  06E30 94C10
PDF BibTeX XML Cite
\textit{A. A. Voronenko}, Mosc. Univ. Comput. Math. Cybern. 40, No. 2, 79--82 (2016; Zbl 1354.06008); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 2, 28--31 (2016)
Full Text: DOI
Axelsen, Holger Bock; Jakobi, Sebastian; Kutrib, Martin; Malcher, Andreas
A hierarchy of fast reversible Turing machines. (English) Zbl 06631928
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 29-44 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
\textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9138, 29--44 (2015; Zbl 06631928)
Full Text: DOI
Voronenko, A. A.; Kaftan, D. V.
On the generation of false images of linear Boolean functions. (English. Russian original) Zbl 1358.94017
Mosc. Univ. Comput. Math. Cybern. 38, No. 4, 174-176 (2014); translation from Vestn. Mosk. Univ., Ser. XV 2014, No. 4, 37-39 (2014).
MSC:  94C10 06E30
PDF BibTeX XML Cite
\textit{A. A. Voronenko} and \textit{D. V. Kaftan}, Mosc. Univ. Comput. Math. Cybern. 38, No. 4, 174--176 (2014; Zbl 1358.94017); translation from Vestn. Mosk. Univ., Ser. XV 2014, No. 4, 37--39 (2014)
Full Text: DOI
Davydow, A. P.; Nikolenko, S. I.
Circuit complexity of linear functions: gate elimination and feeble security. (English. Russian original) Zbl 1262.94022
J. Math. Sci., New York 188, No. 1, 35-46 (2013); translation from Zap. Nauchn. Semin. POMI 399, 65-87 (2012).
MSC:  94A60 94C10
PDF BibTeX XML Cite
\textit{A. P. Davydow} and \textit{S. I. Nikolenko}, J. Math. Sci., New York 188, No. 1, 35--46 (2013; Zbl 1262.94022); translation from Zap. Nauchn. Semin. POMI 399, 65--87 (2012)
Full Text: DOI
Declerck, Philippe
Discrete event systems in dioid algebra and conventional algebra. (English) Zbl 1304.93003
Focus. Automation and Control Series. Hoboken, NJ: John Wiley & Sons; London: ISTE (ISBN 978-1-84821-461-3/hbk; 978-1-118-57968-8/ebook). viii, 156 p. (2013).
MSC:  93-02 93C65 93C95 93A30 15A80 90C05
PDF BibTeX XML Cite
\textit{P. Declerck}, Discrete event systems in dioid algebra and conventional algebra. Hoboken, NJ: John Wiley \& Sons; London: ISTE (2013; Zbl 1304.93003)
Full Text: DOI
Shapira, Yair
Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. (English) Zbl 1260.65097
Computational Science & Engineering 9. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-611972-16-0/pbk). xxxii, 776 p. (2012).
Reviewer: T. C. Mohan (Dehra Dun)
MSC:  65M99 65N99 68N19 68W30 65Fxx 35Qxx 65-02 65Y05
PDF BibTeX XML Cite
\textit{Y. Shapira}, Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2012; Zbl 1260.65097)
Barkalov, A. A.; Titarenko, L. A.; Efimenko, K. N.
Optimization of circuits of compositional microprogram control units implemented on FPGA. (English. Russian original) Zbl 1300.94129
Cybern. Syst. Anal. 47, No. 1, 166-174 (2011); translation from Kibern. Sist. Anal. 2011, No. 1, 179-188 (2011).
MSC:  94C10
PDF BibTeX XML Cite
\textit{A. A. Barkalov} et al., Cybern. Syst. Anal. 47, No. 1, 166--174 (2011; Zbl 1300.94129); translation from Kibern. Sist. Anal. 2011, No. 1, 179--188 (2011)
Full Text: DOI
Lu, Yi; Desmedt, Yvo
Bias analysis of a certain problem with applications to E0 and Shannon cipher. (English) Zbl 1297.94089
Rhee, Kyung-Hyune (ed.) et al., Information security and cryptology – ICISC 2010. 13th international conference, Seoul, Korea, December 1–3, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24208-3/pbk). Lecture Notes in Computer Science 6829, 16-28 (2011).
MSC:  94A60 06E30 68P25 68Q25 94C10
PDF BibTeX XML Cite
\textit{Y. Lu} and \textit{Y. Desmedt}, Lect. Notes Comput. Sci. 6829, 16--28 (2011; Zbl 1297.94089)
Full Text: DOI
Koryagin, K. N.
Level structure of Zhegalkin polynomials, properties of test sets, and an annihilator search algorithm. (Russian, English) Zbl 1224.06022
Zh. Vychisl. Mat. Mat. Fiz. 50, No. 7, 1334-1340 (2010); translation in Comput. Math., Math. Phys. 50, No. 7, 1267-1273 (2010).
MSC:  06E30 94C10
PDF BibTeX XML Cite
\textit{K. N. Koryagin}, Zh. Vychisl. Mat. Mat. Fiz. 50, No. 7, 1334--1340 (2010; Zbl 1224.06022); translation in Comput. Math., Math. Phys. 50, No. 7, 1267--1273 (2010)
Full Text: DOI Link
Mogbil, Virgile
Non-deterministic Boolean proof nets. (English) Zbl 1306.03015
van Eekelen, Marko (ed.) et al., Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). Lecture Notes in Computer Science 6324, 131-145 (2010).
MSC:  03B70 03F05 03F07 03F52 68Q05 68Q10 68Q15 94C10
PDF BibTeX XML Cite
\textit{V. Mogbil}, Lect. Notes Comput. Sci. 6324, 131--145 (2010; Zbl 1306.03015)
Full Text: DOI
Rabani, Yuval; Shpilka, Amir
Explicit construction of a small epsilon-net for linear threshold functions. (English) Zbl 1304.94136
Proceedings of the 41st annual ACM symposium on theory of computing, STOC ’09. Bethesda, MD, USA, May 31 – June 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-613-7). 649-658 (2009).
MSC:  94C10 68U05 94B15
PDF BibTeX XML Cite
\textit{Y. Rabani} and \textit{A. Shpilka}, in: Proceedings of the 41st annual ACM symposium on theory of computing, STOC '09. Bethesda, MD, USA, May 31 -- June 2, 2009. New York, NY: Association for Computing Machinery (ACM). 649--658 (2009; Zbl 1304.94136)
Full Text: DOI
Burckel, Serge; Gioan, Emeric; Thomé, Emmanuel
Mapping computation with no memory. (English) Zbl 1253.68125
Calude, Cristian S. (ed.) et al., Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03744-3/pbk). Lecture Notes in Computer Science 5715, 85-97 (2009).
MSC:  68Q05 94C10
PDF BibTeX XML Cite
\textit{S. Burckel} et al., Lect. Notes Comput. Sci. 5715, 85--97 (2009; Zbl 1253.68125)
Full Text: DOI
Groth, Jens
Linear algebra with sub-linear zero-knowledge arguments. (English) Zbl 1252.94068
Halevi, Shai (ed.), Advances in cryptology – CRYPTO 2009. 29th annual international cryptology conference, Santa Barbara, CA, USA, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03355-1/pbk). Lecture Notes in Computer Science 5677, 192-208 (2009).
MSC:  94A60 94A62 94C10
PDF BibTeX XML Cite
\textit{J. Groth}, Lect. Notes Comput. Sci. 5677, 192--208 (2009; Zbl 1252.94068)
Full Text: DOI
Mogbil, Virgile; Rahli, Vincent
Uniform circuits, & Boolean proof nets. (English) Zbl 1132.03351
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 401-421 (2007).
MSC:  03F52 03B70 03F07 68Q15 94C10
PDF BibTeX XML Cite
\textit{V. Mogbil} and \textit{V. Rahli}, Lect. Notes Comput. Sci. 4514, 401--421 (2007; Zbl 1132.03351)
Full Text: DOI
Kołodziejczyk, Leszek Aleksander; Thapen, Neil
The polynomial and linear hierarchies in \(\text{V}^{0}\). (English) Zbl 1151.03350
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 408-415 (2007).
MSC:  03F30 68Q15 94C10
PDF BibTeX XML Cite
\textit{L. A. Kołodziejczyk} and \textit{N. Thapen}, Lect. Notes Comput. Sci. 4497, 408--415 (2007; Zbl 1151.03350)
Full Text: DOI
Friedman, Joel
Linear transformations in Boolean complexity theory. (English) Zbl 1151.68023
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 307-315 (2007).
MSC:  68Q17 94C10
PDF BibTeX XML Cite
\textit{J. Friedman}, Lect. Notes Comput. Sci. 4497, 307--315 (2007; Zbl 1151.68023)
Full Text: DOI
Rutten, J. J. M. M.
Algebra, bitstreams, and circuits. (English) Zbl 1083.68043
Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 231-250 (2005).
MSC:  68Q10 68Q70 68Q55 94C10
PDF BibTeX XML Cite
\textit{J. J. M. M. Rutten}, Contrib. Gen. Algebra 16, 231--250 (2005; Zbl 1083.68043)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software