×

Found 150 Documents (Results 1–100)

100
MathJax

Computability of limit sets for two-dimensional flows. (English) Zbl 07495195

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 494-503 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI Link

Mathematical model of four-dimensional parametric systems based on block diagonal matrix with \(2\times 2\) blocks. (English) Zbl 1481.93050

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 22nd international conference, DCCN 2019, Moscow, Russia, September 23–27, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1141, 139-151 (2019).
MSC:  93C15 34C25
PDF BibTeX XML Cite
Full Text: DOI

Grazing in impulsive differential equations. (English) Zbl 1390.34038

Volchenkov, Dimitri (ed.) et al., Regularity and stochasticity of nonlinear dynamical systems. Cham: Springer (ISBN 978-3-319-58061-6/hbk; 978-3-319-58062-3/ebook). Nonlinear Systems and Complexity 21, 111-159 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Asymptotic behavior of solutions of Lorenz-like systems: analytical results and computer error structures. (English. Russian original) Zbl 1385.34014

Vestn. St. Petersbg. Univ., Math. 50, No. 1, 15-23 (2017); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 62, No. 1, 25-37 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Quantitative model refinement as a solution to the combinatorial size explosion of biomodels. (English) Zbl 1283.92038

Feret, Jérôme (ed.) et al., Proceedings of the 2nd international workshop on static analysis and systems biology (SASB 2011), Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 284, 35-53 (2012).
MSC:  92C42
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

Classification

all top 3

Software