×

Found 591 Documents (Results 1–100)

100
MathJax

ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 07498176

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021).
MSC:  68P05 68N18
PDF BibTeX XML Cite
Full Text: DOI

Stochastic optimal control of a descriptor system. (English. Russian original) Zbl 1454.93296

Cybern. Syst. Anal. 56, No. 2, 204-212 (2020); translation from Kibern. Sist. Anal. 2020, No. 2, 42-52 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Feedback minimum principle for optimal control problems in discrete-time systems and its applications. (English) Zbl 1439.49065

Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 449-460 (2019).
MSC:  49N35
PDF BibTeX XML Cite
Full Text: DOI

(In)efficiency and reasonable cost models. (English) Zbl 1433.68084

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 23-43 (2018).
MSC:  68N18 03B40 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Automatic space bound analysis for functional programs with garbage collection. (English) Zbl 1415.68058

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 543-563 (2018).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Thermodynamics and optimal control of porous media flows in oil field development. (English. Russian original) Zbl 1457.76154

Dokl. Math. 97, No. 2, 131-136 (2018); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 479, No. 3, 241-246 (2018).
PDF BibTeX XML Cite
Full Text: DOI

The dynamic geometry of interaction machine: a call-by-need graph rewriter. (English) Zbl 1440.68044

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 32, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Optimal control of undamped Sobolev-type retarded systems. (English. Russian original) Zbl 1383.49004

Math. Notes 102, No. 3, 297-309 (2017); translation from Mat. Zametki 102, No. 3, 323-338 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Parallel functional arrays. (English) Zbl 1380.68095

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 706-718 (2017).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Cost functionals for large random trees. (English) Zbl 1411.68032

Neininger, Ralph (ed.) et al., Proceedings of the 27th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms – AofA’16, Kraków, Poland, July 4–8, 2016. Kraków: Jagiellonian University, Department of Theoretical Computer Science. 10 p. (2016).
MSC:  68P05 60C05 68W40
PDF BibTeX XML Cite
Full Text: arXiv

Synthesis of optimal switched systems. (English. Russian original) Zbl 1391.49047

J. Comput. Syst. Sci. Int. 54, No. 5, 715-737 (2015); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2015, No. 5, 48-72 (2015).
MSC:  49K21 93C30 49L20
PDF BibTeX XML Cite
Full Text: DOI

Optimal position targeting with stochastic linear-quadratic costs. (English) Zbl 1328.49015

Palczewski, Andrzej (ed.) et al., Advances in mathematics of finance. Selected papers of the 6th general AMaMeF and Banach Center Conference, Warsaw, Poland, June 10–15, 2013. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-27-0). Banach Center Publications 104, 9-24 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

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