×

Found 423 Documents (Results 1–100)

26th international conference on theory and applications of satisfiability testing, SAT 2023, Alghero, Italy, July 4–8, 2023. (English) Zbl 1517.68023

LIPIcs – Leibniz International Proceedings in Informatics 271. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-286-0). xvii, 30 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

3D image reconstruction using C-dual attention network from multi-view images. (English) Zbl 1517.94019

PDFBibTeX XMLCite
Full Text: DOI

Finite element approximation for the delayed generalized Burgers-Huxley equation with weakly singular kernel: Part II Non-Conforming and DG approximation. arXiv:2310.07788

Preprint, arXiv:2310.07788 [math.NA] (2023).
BibTeX Cite
Full Text: arXiv

Finite element approximation for a delayed generalized Burgers-Huxley equation with weakly singular kernels: Part I Well-posedness, Regularity and Conforming approximation. arXiv:2309.01636

Preprint, arXiv:2309.01636 [math.NA] (2023).
BibTeX Cite
Full Text: arXiv

Mitigating anomalies in parallel branch-and-bound based algorithms for mixed-integer nonlinear optimization. (English) Zbl 1528.90163

Ljubić, Ivana (ed.) et al., Combinatorial optimization. 7th international symposium, ISCO 2022, virtual event, May 18–20, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13526, 143-156 (2022).
MSC:  90C11 90C57 90C27
PDFBibTeX XMLCite
Full Text: DOI

On (Simple) decision tree rank. (English) Zbl 07799593

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 15, 16 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Strong Consistency and Rate of Convergence of Switched Least Squares System Identification for Autonomous Markov Jump Linear Systems. arXiv:2112.10753

Preprint, arXiv:2112.10753 [cs.LG] (2021).
BibTeX Cite
Full Text: arXiv

A relaxed technical assumption for posterior sampling-based reinforcement learning for control of unknown linear systems. arXiv:2108.08502

Preprint, arXiv:2108.08502 [eess.SY] (2021).
BibTeX Cite
Full Text: arXiv

Algebraic branching programs, border complexity, and tangent spaces. (English) Zbl 07561749

Saraf, Shubhangi (ed.), 35th computational complexity conference, CCC 2020, July 28–31, 2020, Saarbrücken, Germany, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 169, Article 21, 24 p. (2020).
MSC:  68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

MaxSAT resolution and subcube sums. (English) Zbl 07331028

Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 295-311 (2020).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hardness characterisations and size-width lower bounds for QBF resolution. (English) Zbl 1498.03149

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). 209-223 (2020).
MSC:  03F20 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Strict practical stability of impulsive differential system in terms of two measures. (English) Zbl 1444.90114

Deo, Naokant (ed.) et al., Mathematical analysis II – Optimisation, differential equations and graph theory. Proceedings of the international conference on recent advances in pure and applied mathematics 2018, ICRAPAM 2018, New Delhi, India, October 23–25, 2018. Dedicated to the memory of Prof. Niranjan Singh. Singapore: Springer. Springer Proc. Math. Stat. 307, 87-95 (2020).
MSC:  90C31 34D20 34K20
PDFBibTeX XMLCite
Full Text: DOI

Bimonoids for hyperplane arrangements. (English) Zbl 1498.52001

Encyclopedia of Mathematics and its Applications 173. Cambridge: Cambridge University Press (ISBN 978-1-108-49580-6/hbk; 978-1-108-86311-7/ebook). xx, 832 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Building strategies into QBF proofs. (English) Zbl 07559123

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 14, 18 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Short proofs in QBF expansion. (English) Zbl 1441.68085

Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 19-35 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Lower bound techniques for QBF proof systems. (English) Zbl 1487.03067

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. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 2, 8 p. (2018).
MSC:  03F20 03B35 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

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