×

zbMATH — the first resource for mathematics

Found 20,370 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Panin, Artem A.; Plyasunov, Alexander V.
Stability analysis for pricing. (English) Zbl 07315672
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, 57-69 (2020).
MSC:  91B24 91A65 91A80 68Q17
PDF BibTeX XML Cite
\textit{A. A. Panin} and \textit{A. V. Plyasunov}, Commun. Comput. Inf. Sci. 1275, 57--69 (2020; Zbl 07315672)
Full Text: DOI
Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain
A tier-based typed programming language characterizing feasible functionals. (English) Zbl 07299494
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 535-549 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{E. Hainry} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 535--549 (2020; Zbl 07299494)
Full Text: DOI
Fearnley, John; Ibsen-Jensen, Rasmus; Savani, Rahul
One-clock priced timed games are PSPACE-hard. (English) Zbl 07299484
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 397-409 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{J. Fearnley} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 397--409 (2020; Zbl 07299484)
Full Text: DOI
Blondin, Michael; Raskin, Mikhail
The complexity of reachability in affine vector addition systems with states. (English) Zbl 07299471
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 224-236 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{M. Blondin} and \textit{M. Raskin}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 224--236 (2020; Zbl 07299471)
Full Text: DOI
Zhuk, Dmitriy; Martin, Barnaby
QCSP monsters and the demise of the Chen conjecture. (English) Zbl 07298233
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). 91-104 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Zhuk} and \textit{B. Martin}, 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). 91--104 (2020; Zbl 07298233)
Full Text: DOI
Campercholi, Miguel; Tellechea, Mauricio; Ventura, Pablo
Deciding quantifier-free definability in finite algebraic structures. (English) Zbl 07297790
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 23-41 (2020).
MSC:  03B70 68Q17
PDF BibTeX XML Cite
\textit{M. Campercholi} et al., Electron. Notes Theor. Comput. Sci. 348, 23--41 (2020; Zbl 07297790)
Full Text: DOI
Lushchakova, I. N.
Geometric algorithms for finding a point in the intersection of balls. (English. Russian original) Zbl 07294456
Autom. Remote Control 81, No. 5, 869-882 (2020); translation from Avtom. Telemekh. 2020, No. 5, 139-155 (2020).
Reviewer: Frank Plastria (Brussels)
MSC:  65D18 51M04 51N20 68Q25 68U05
PDF BibTeX XML Cite
\textit{I. N. Lushchakova}, Autom. Remote Control 81, No. 5, 869--882 (2020; Zbl 07294456); translation from Avtom. Telemekh. 2020, No. 5, 139--155 (2020)
Full Text: DOI
Kolpakov, Roman M.; Posypkin, Mikhail A.
Effective parallelization strategy for the solution of subset sum problems by the branch-and-bound method. (English. Russian original) Zbl 07291226
Discrete Math. Appl. 30, No. 5, 313-325 (2020); translation from Diskretn. Mat. 31, No. 4, 20-37 (2019).
MSC:  90C27 90C57
PDF BibTeX XML Cite
\textit{R. M. Kolpakov} and \textit{M. A. Posypkin}, Discrete Math. Appl. 30, No. 5, 313--325 (2020; Zbl 07291226); translation from Diskretn. Mat. 31, No. 4, 20--37 (2019)
Full Text: DOI
Hladík, Milan
An overview of polynomially computable characteristics of special interval matrices. (English) Zbl 07285515
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). Studies in Computational Intelligence 835, 295-310 (2020).
MSC:  68T37
PDF BibTeX XML Cite
\textit{M. Hladík}, Stud. Comput. Intell. 835, 295--310 (2020; Zbl 07285515)
Full Text: DOI
Sasamal, Trailokya Nath; Singh, Ashutosh Kumar; Mohan, Anand
Quantum-dot cellular automata based digital logic circuits: a design perspective. (English) Zbl 1448.68013
Studies in Computational Intelligence 879. Singapore: Springer (ISBN 978-981-15-1822-5/hbk; 978-981-15-1823-2/ebook). xiv, 178 p. (2020).
MSC:  68-01 68Q06 68Q07 68Q09 68Q80 81P68 81Q37
PDF BibTeX XML Cite
\textit{T. N. Sasamal} et al., Quantum-dot cellular automata based digital logic circuits: a design perspective. Singapore: Springer (2020; Zbl 1448.68013)
Full Text: DOI
Pulina, Luca (ed.); Seidl, Martina (ed.)
Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. (English) Zbl 07277672
Lecture Notes in Computer Science 12178. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). xi, 538 p. (2020).
MSC:  68-06 68Q25 68R07 68T20 00B25
PDF BibTeX XML Cite
\textit{L. Pulina} (ed.) and \textit{M. Seidl} (ed.), Theory and applications of satisfiability testing -- SAT 2020. 23rd international conference, Alghero, Italy, July 3--10, 2020. Proceedings. Cham: Springer (2020; Zbl 07277672)
Full Text: DOI
Sahai, Tuhin
Dynamical systems theory and algorithms for NP-hard problems. (English) Zbl 07271598
Junge, Oliver (ed.) et al., Advances in dynamics, optimization and computation. A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-030-51263-7/hbk; 978-3-030-51264-4/ebook). Studies in Systems, Decision and Control 304, 183-206 (2020).
MSC:  68Q 68Q17 68Q25 65Y20 90C60 37N30
PDF BibTeX XML Cite
\textit{T. Sahai}, Stud. Syst. Decis. Control 304, 183--206 (2020; Zbl 07271598)
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
all top 3
Biographic Reference
all top 3
Software