×

Found 569 Documents (Results 1–100)

100
MathJax

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

Molecular dynamics performance evaluation with modern computer architecture. (English) Zbl 07250764

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11974, 322-329 (2020).
MSC:  65-XX
PDF BibTeX XML Cite
Full Text: DOI

Preliminary model of saturated flow using cellular automata. (English) Zbl 07249933

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11973, 256-268 (2020).
MSC:  65-XX
PDF BibTeX XML Cite
Full Text: DOI

Distributed deep learning on heterogeneous computing resources using gossip communication. (English) Zbl 1437.68155

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 220-227 (2020).
MSC:  68T07 68M10 68M14
PDF BibTeX XML Cite
Full Text: DOI

Generation of block structured grids on complex domains for high performance simulation. (English) Zbl 1457.65237

Garanzha, Vladimir A. (ed.) et al., Numerical geometry, grid generation and scientific computing. Proceedings of the 9th international conference, NUMGRID 2018 / Voronoi 150, celebrating the 150th anniversary of G.F. Voronoi, Moscow, Russia, December 3–5, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 131, 87-99 (2019).
MSC:  65N50 86A05
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