×

zbMATH — the first resource for mathematics

Found 1,149 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Khandeev, Vladimir; Panasenko, Anna
Exact algorithm for the one-dimensional quadratic Euclidean cardinality-weighted 2-clustering with given center problem. (English) Zbl 07315669
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 30-35 (2020).
MSC:  90 68 91
PDF BibTeX XML Cite
\textit{V. Khandeev} and \textit{A. Panasenko}, Commun. Comput. Inf. Sci. 1275, 30--35 (2020; Zbl 07315669)
Full Text: DOI
Gan, Ting; Xia, Bican; Xue, Bai; Zhan, Naijun; Dai, Liyun
Nonlinear Craig interpolant generation. (English) Zbl 07306421
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 415-438 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{T. Gan} et al., Lect. Notes Comput. Sci. 12224, 415--438 (2020; Zbl 07306421)
Full Text: DOI
Wang, Jie; Magron, Victor
A second order cone characterization for sums of nonnegative circuits. (English) Zbl 07300104
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 450-457 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{J. Wang} and \textit{V. Magron}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 450--457 (2020; Zbl 07300104)
Full Text: DOI
Chen, Sitan; Li, Jerry; Moitra, Ankur
Efficiently learning structured distributions from untrusted batches. (English) Zbl 07298302
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 960-973 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Chen} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 960--973 (2020; Zbl 07298302)
Full Text: DOI
Mohanty, Sidhanth; Raghavendra, Prasad; Xu, Jeff
Lifting sum-of-squares lower bounds: degree-2 to degree-4. (English) Zbl 07298292
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 840-853 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Mohanty} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 840--853 (2020; Zbl 07298292)
Full Text: DOI
Cherapanamjeri, Yeshwanth; Hopkins, Samuel B.; Kathuria, Tarun; Raghavendra, Prasad; Tripuraneni, Nilesh
Algorithms for heavy-tailed statistics: regression, covariance estimation, and beyond. (English) Zbl 07298273
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 601-609 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{Y. Cherapanamjeri} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 601--609 (2020; Zbl 07298273)
Full Text: DOI
Sokolov, Dmitry
(Semi)algebraic proofs over \(\{\pm 1\}\) variables. (English) Zbl 07298232
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 78-90 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Sokolov}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 78--90 (2020; Zbl 07298232)
Full Text: DOI
Alekseev, Yaroslav; Grigoriev, Dima; Hirsch, Edward A.; Tzameret, Iddo
Semi-algebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (English) Zbl 07298230
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 54-67 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{Y. Alekseev} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 54--67 (2020; Zbl 07298230)
Full Text: DOI
Wang, Jie; Li, Haokun; Xia, Bican
A new sparse SOS decomposition algorithm based on term sparsity. (English) Zbl 07246266
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 347-354 (2019).
MSC:  68W30
PDF BibTeX XML Cite
\textit{J. Wang} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 347--354 (2019; Zbl 07246266)
Full Text: DOI
Gaar, Elisabeth; Wiegele, Angelika; Krenn, Daniel; Margulies, Susan
An optimization-based sum-of-squares approach to Vizing’s conjecture. (English) Zbl 1444.68303
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 155-162 (2019).
MSC:  68W30 13P10 68R10 90C22
PDF BibTeX XML Cite
\textit{E. Gaar} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 155--162 (2019; Zbl 1444.68303)
Full Text: DOI
Ramasubramanian, Bhaskar; Niu, Luyao; Clark, Andrew; Bushnell, Linda; Poovendran, Radha
Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates. (English) Zbl 1440.68038
Alpcan, Tansu (ed.) et al., Decision and game theory for security. 10th international conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11836, 385-403 (2019).
MSC:  68M25 68Q60 91A80
PDF BibTeX XML Cite
\textit{B. Ramasubramanian} et al., Lect. Notes Comput. Sci. 11836, 385--403 (2019; Zbl 1440.68038)
Full Text: DOI
Kel’manov, Alexander; Khandeev, Vladimir
The problem \(K\)-means and given \(J\)-centers: polynomial solvability in one dimension. (English) Zbl 1429.90096
Bykadorov, Igor (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1090, 207-216 (2019).
MSC:  90C47 90C39
PDF BibTeX XML Cite
\textit{A. Kel'manov} and \textit{V. Khandeev}, Commun. Comput. Inf. Sci. 1090, 207--216 (2019; Zbl 1429.90096)
Full Text: DOI
Kel’manov, A. V.; Khandeev, V. I.
Polynomial-time solvability of the one-dimensional case of an NP-hard clustering problem. (English. Russian original) Zbl 07150939
Comput. Math. Math. Phys. 59, No. 9, 1553-1561 (2019); translation from Zh. Vychisl. Mat. Mat. Fiz. 59, No. 9, 1617-1625 (2019).
MSC:  68Q25 90C20
PDF BibTeX XML Cite
\textit{A. V. Kel'manov} and \textit{V. I. Khandeev}, Comput. Math. Math. Phys. 59, No. 9, 1553--1561 (2019; Zbl 07150939); translation from Zh. Vychisl. Mat. Mat. Fiz. 59, No. 9, 1617--1625 (2019)
Full Text: DOI
Dietmann, Rainer; Elsholtz, Christian
Sums of two numbers having only prime factors congruent to one modulo four. (English) Zbl 07087895
Pańkowski, Łukasz (ed.) et al., Number theory week 2017. Proceedings of the conference on the occasion of the 60th birthday of Jerzy Kaczorowski, Poznań, Poland, September 4–8, 2017. Warsaw: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-44-7/pbk). Banach Center Publications 118, 177-179 (2019).
MSC:  11E25 11N36 11P32
PDF BibTeX XML Cite
\textit{R. Dietmann} and \textit{C. Elsholtz}, Banach Cent. Publ. 118, 177--179 (2019; Zbl 07087895)
Full Text: DOI
Raghavendra, Prasad; Schramm, Tselil; Steurer, David
High dimensional estimation via sum-of-squares proofs. (English) Zbl 1451.90113
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3389-3423 (2018).
MSC:  90C22
PDF BibTeX XML Cite
\textit{P. Raghavendra} et al., in: Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3389--3423 (2018; Zbl 1451.90113)
Full Text: DOI
Berkholz, Christoph
The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs. (English) Zbl 07228402
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 11, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{C. Berkholz}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 11, 14 p. (2018; Zbl 07228402)
Full Text: DOI
Pereira, Thiago; Aloise, Daniel; Brimberg, Jack; Mladenović, Nenad
Review of basic local searches for solving the minimum sum-of-squares clustering problem. (English) Zbl 1421.90067
Pardalos, Panos M. (ed.) et al., Open problems in optimization and data analysis. Based on the summer school on challenges and open problems in optimization and data science, Deucalion Summer Institute for Advanced Studies in Optimization, Mathematics, and Data Science, Greece, August 2016. Cham: Springer. Springer Optim. Appl. 141, 249-270 (2018).
MSC:  90B40 90C20 62H30 90C59
PDF BibTeX XML Cite
\textit{T. Pereira} et al., Springer Optim. Appl. 141, 249--270 (2018; Zbl 1421.90067)
Full Text: DOI
Kothari, Pravesh K.; Mehta, Ruta
Sum-of-squares meets Nash: lower bounds for finding any equilibrium. (English) Zbl 1428.68163
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1241-1248 (2018).
MSC:  68Q17 68Q25 68W25 90C27 91A10
PDF BibTeX XML Cite
\textit{P. K. Kothari} and \textit{R. Mehta}, in: Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC '18, Los Angeles, CA, USA, June 25--29, 2018. New York, NY: Association for Computing Machinery (ACM). 1241--1248 (2018; Zbl 1428.68163)
Full Text: DOI
Kothari, Pravesh K.; Steinhardt, Jacob; Steurer, David
Robust moment estimation and improved clustering via sum of squares. (English) Zbl 1434.62125
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1035-1046 (2018).
MSC:  62H30 68T05
PDF BibTeX XML Cite
\textit{P. K. Kothari} et al., in: Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC '18, Los Angeles, CA, USA, June 25--29, 2018. New York, NY: Association for Computing Machinery (ACM). 1035--1046 (2018; Zbl 1434.62125)
Full Text: DOI
Hopkins, Samuel B.; Li, Jerry
Mixture models, robustness, and sum of squares proofs. (English) Zbl 1428.68240
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1021-1034 (2018).
MSC:  68T05 62F35 62H30
PDF BibTeX XML Cite
\textit{S. B. Hopkins} and \textit{J. Li}, in: Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC '18, Los Angeles, CA, USA, June 25--29, 2018. New York, NY: Association for Computing Machinery (ACM). 1021--1034 (2018; Zbl 1428.68240)
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
Classification
Biographic Reference
all top 3
Software