×

Found 1,400 Documents (Results 1–100)

Numerical simulation of effluent discharges. Applications with OpenFOAM. (English) Zbl 1510.76001

IAHR Books. Boca Raton, FL: CRC Press (ISBN 978-1-032-02048-8/hbk; 978-1-032-02094-5/pbk; 978-1-003-18181-1/ebook). ix, 114 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reconstruction of generic anisotropic stiffness tensors from partial data around one polarization. arXiv:2307.03312

Preprint, arXiv:2307.03312 [math.DG] (2023).
BibTeX Cite
Full Text: arXiv

Reconstruction of transonic flow parameters in the cone wake. (English. Russian original) Zbl 1511.76048

J. Appl. Mech. Tech. Phys. 63, No. 6, 940-949 (2022); translation from Prikl. Mekh. Tekh. Fiz. 65, No. 6, 31-42 (2022).
MSC:  76H05 76F65 76M20
PDFBibTeX XMLCite
Full Text: DOI

MobsPy: a meta-species language for chemical reaction networks. (English) Zbl 1505.92072

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 277-285 (2022).
MSC:  92C42 92C40 92-04
PDFBibTeX XMLCite
Full Text: DOI

Turbulent flow structures around a wavy square cylinder based on large eddy simulation. (English. Russian original) Zbl 1501.76043

Fluid Dyn. 57, No. 1, 96-110 (2022); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2022, No. 1, 101-117 (2022).
PDFBibTeX XMLCite
Full Text: DOI

High-order accurate multi-sub-step implicit integration algorithms with dissipation control for second-order hyperbolic problems. arXiv:2209.13820

Preprint, arXiv:2209.13820 [math.NA] (2022).
MSC:  34-04 74-10 74H15
BibTeX Cite
Full Text: arXiv

Foundations and methods of stochastic simulation. A first course. 2nd edition. (English) Zbl 1503.00025

International Series in Operations Research & Management Science 316. Cham: Springer (ISBN 978-3-030-86193-3/hbk; 978-3-030-86196-4/pbk; 978-3-030-86194-0/ebook). xvi, 313 p. (2021).
MSC:  00A72 65C20 90-04
PDFBibTeX XMLCite
Full Text: DOI

Optimization of the selection of software elements in control systems with significantly different-speed processes. (English. Russian original) Zbl 1485.93020

Cybern. Syst. Anal. 57, No. 2, 185-189 (2021); translation from Kibern. Sist. Anal. 57, No. 2, 17-22 (2021).
MSC:  93-10 93-04
PDFBibTeX XMLCite
Full Text: DOI

Minha: large-scale distributed systems testing made practical. (English) Zbl 07650861

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 11, 17 p. (2020).
MSC:  68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

A multicopter design software tool for automated generation of simulation and visualization models. (English) Zbl 1504.93263

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 14th international conference, ICINCO 2017 Madrid, Spain, July 26–28, 2017 Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 495, 451-474 (2020).
MSC:  93C85 93-04
PDFBibTeX XMLCite
Full Text: DOI

Compositional assume-guarantee reasoning of control law diagrams using UTP. (English) Zbl 1486.68045

Adamatzky, Andrew (ed.) et al., From astrophysics to unconventional computation. Essays presented to Susan Stepney on the occasion of her 60th birthday. Cham: Springer. Emerg. Complex. Comput. 35, 215-254 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Erosion wear evaluation using Nektar++. (English) Zbl 1484.65266

Sherwin, Spencer J. (ed.) et al., Spectral and high order methods for partial differential equations, ICOSAHOM 2018. Selected papers from the ICOSAHOM conference, London, UK, July 9–13, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 134, 419-428 (2020).
PDFBibTeX XMLCite
Full Text: DOI

CFD analysis of tip clearance effects on the performance of transonic axial compressor. (English. Russian original) Zbl 1475.76113

Fluid Dyn. 55, No. 1, 133-144 (2020); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2020, No. 1, 136-150 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Counterexample- and simulation-guided floating-point loop invariant synthesis. (English) Zbl 1474.68055

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 156-177 (2020).
MSC:  68N30 65G50
PDFBibTeX XMLCite
Full Text: DOI

Computer modeling and simulation of dynamic systems using Wolfram SystemModeler. (English) Zbl 1451.37007

Singapore: Springer (ISBN 978-981-15-2802-6/pbk; 978-981-15-2803-3/ebook). xv, 263 p. (2020).
MSC:  37-04 37M05
PDFBibTeX XMLCite
Full Text: DOI

From fractals and cellular automata to biology. Information as order hidden within chance. (English) Zbl 1464.92002

Hackensack, NJ: World Scientific (ISBN 978-981-12-1715-9/hbk; 978-981-12-1717-3/ebook). x, 318 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Practical MATLAB modeling with Simulink. Programming and simulating ordinary and partial differential equations. (English) Zbl 1483.65002

Berkeley, CA: Apress (ISBN 978-1-4842-5798-2/pbk; 978-1-4842-5799-9/ebook). xxii, 473 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Dynamics on games: simulation-based techniques and applications to routing. (English) Zbl 07650332

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 35, 14 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The power of block-encoded matrix powers: improved regression techniques via faster Hamiltonian simulation. (English) Zbl 07561526

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 33, 14 p. (2019).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Numerical continuation and bifurcation analysis in a harvested predator-prey model with time delay using DDE-biftool. (English) Zbl 1447.34003

Mohd, Mohd Hafiz (ed.) et al., Dynamical systems, bifurcation analysis and applications. Collected papers of the SEAMS school 2018 on dynamical systems and bifurcation analysis, DySBA, Penang, Malaysia, August 6–13, 2018. Singapore: Springer. Springer Proc. Math. Stat. 295, 225-241 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modeling the dynamics of a charged drop of a viscous liquid. (English) Zbl 1445.76098

Kielanowski, Piotr (ed.) et al., Geometric methods in physics XXXVII. Workshop and summer school, Białowieża, Poland, July 1–7, 2018. Dedicated to Daniel Sternheimer on the occasion of his 80th birthday. Cham: Birkhäuser. Trends Math., 188-194 (2019).
MSC:  76W05 76D45 76M99
PDFBibTeX XMLCite
Full Text: DOI

The software package for satellite angular and orbital motion simulation. (Russian. English translation) Zbl 1441.93199

Mat. Model. 31, No. 12, 44-56 (2019); translation in Math. Models Comput. Simul. 12, No. 4, 561-568 (2020).
PDFBibTeX XMLCite
Full Text: DOI MNR

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

Biographic Reference

all top 3

Software