×

Found 369 Documents (Results 1–100)

On the geometry and the topology of parametric curves. (English) Zbl 1483.68502

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). 281-288 (2020).

On the complexity of reachability in parametric Markov decision processes. (English) Zbl 07649922

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019).
MSC:  68Q85

Univariate ideal membership parameterized by rank, degree, and number of generators. (English) Zbl 1528.68147

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 7, 18 p. (2018).
Full Text: DOI

Lower complexity bounds for parametric stochastic Itô integration. (English) Zbl 1405.60073

Owen, Art B. (ed.) et al., Monte Carlo and quasi-Monte Carlo methods, MCQMC 2016. Proceedings of the 12th international conference on ‘Monte Carlo and quasi-Monte Carlo methods in scientific computing’, Stanford, CA, August 14–19, 2016. Cham: Springer (ISBN 978-3-319-91435-0/hbk; 978-3-319-91436-7/ebook). Springer Proceedings in Mathematics & Statistics 241, 295-312 (2018).
MSC:  60H05 65C30 65Y20
Full Text: DOI

Sink evacuation on trees with dynamic confluent flows. (English) Zbl 1398.05098

Seok-Hee Hong (ed.), 27th international symposium on algorithms and computation, ISAAC 2016, Sydney, Australia, December 12–14, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-026-2). LIPIcs – Leibniz International Proceedings in Informatics 64, Article 25, 13 p. (2016).

Min-max-min robustness: a new approach to combinatorial optimization under uncertainty based on multiple solutions. (English) Zbl 1354.90168

Pióro, Michał (ed.) et al., Proceedings of the 7th international network optimization conference (INOC), Warsaw, Poland, May 18–20, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 52, 45-52, electronic only (2016).
MSC:  90C47 90C31 90C27
Full Text: DOI

Testing Poisson binomial distributions. (English) Zbl 1377.62065

Indyk, Piotr (ed.), Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4–6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-374-7; 978-1-61197-373-0/ebook). 1829-1840 (2015).
MSC:  62F03 68Q25

Sketching for \(M\)-estimators: a unified approach to robust regression. (English) Zbl 1372.68120

Indyk, Piotr (ed.), Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4–6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-374-7; 978-1-61197-373-0/ebook). 921-939 (2015).
MSC:  68Q25 62F35 62J05
Full Text: DOI

Polynomial time in the parametric lambda calculus. (English) Zbl 1367.68054

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 288-301 (2015).
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

all top 3

Software