×

Found 578 Documents (Results 1–100)

On stabilization of an explicit difference scheme for a nonlinear parabolic equation. (English. Russian original) Zbl 07637725

Dokl. Math. 106, No. 2, 326-331 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 506, 30-36 (2022).
PDF BibTeX XML Cite
Full Text: DOI

BiqBin: moving boundaries for NP-hard problems by HPC. (English) Zbl 1440.90061

Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 327-339 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Basins of attraction for higher-dimensional nonlinear dynamical systems: preliminary results on the case study of a sympodial tree. (English) Zbl 1477.70003

Kovacic, Ivana (ed.) et al., IUTAM symposium on exploiting nonlinear dynamics for engineering systems. ENOLIDES 2018. Proceedings of the IUTAM symposium, Novi Sad, Serbia, July 15–19, 2018. Cham: Springer. IUTAM Bookser. 37, 27-36 (2020).
MSC:  70-08 65P99
PDF BibTeX XML Cite
Full Text: DOI

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
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

Main Field

all top 3

Software