×

Found 2,708 Documents (Results 1–100)

100
MathJax

Machine learning techniques for monitoring of knock intensity in gas-fueled marine engines. (English) Zbl 07624894

Zattoni, Elena (ed.) et al., 15th European workshop on advanced control and diagnosis, ACD 2019. Proceedings of the workshop, Bologna, Italy, November 21–22, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 613-627 (2022).
MSC:  93-XX
PDF BibTeX XML Cite
Full Text: DOI

Using computational synthetic biology tools to modulate gene expression within a microbiome. (English) Zbl 1496.92044

Jin, Lingling (ed.) et al., Comparative genomics. 19th international conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13234, 235-259 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Mathematical modeling. A dynamical systems approach to analyze practical problems in STEM disciplines. (English) Zbl 1496.00055

Mathematical Engineering. Cham: Springer (ISBN 978-3-031-04728-2/hbk; 978-3-031-04729-9/ebook). xvii, 564 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Probability and random variables for electrical engineering. Probability: measurement of uncertainty. (English) Zbl 1471.60004

Studies in Systems, Decision and Control 390. Cham: Springer (ISBN 978-3-030-82921-6/hbk; 978-3-030-82924-7/pbk; 978-3-030-82922-3/ebook). xii, 170 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Mathematical topics on modelling complex systems. In memory of Professor Valentin Afraimovich. (English) Zbl 1493.37004

Nonlinear Physical Science. Singapore: Springer; Beijing: Higher Education Press (ISBN 978-981-16-4168-8/hbk; 978-981-16-4169-5/ebook). x, 184 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Module integration using graph grammars (MIGRATE). (English) Zbl 07556531

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 87-103 (2021).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Verifying the correctness of distributed systems via mergeable parallelism. (English) Zbl 07556494

Qin, Shengchao (ed.) et al., Dependable software engineering. Theories, tools, and applications. 7th international symposium, SETTA 2021, Beijing, China, November 25–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13071, 122-140 (2021).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Improving thread-modular abstract interpretation. (English) Zbl 07543923

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Toward neural-network-guided program synthesis and verification. (English) Zbl 07543917

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 236-260 (2021).
MSC:  68N30 68T05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Verifying graph programs with monadic second-order logic. (English) Zbl 1492.68043

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Evaluation diversity for graph conditions. (English) Zbl 1492.68074

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 122-141 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Statistical and nonstatistical methods for estimating the impulse characteristic of a dynamical system. (English. Russian original) Zbl 1476.93149

J. Comput. Syst. Sci. Int. 60, No. 2, 192-201 (2021); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2021, No. 2, 25-34 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Data flow analysis of asynchronous systems using infinite abstract domains. (English) Zbl 1473.68110

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 30-58 (2021).
MSC:  68Q85 68M14 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bayesian inference of state space models. Kalman filtering and beyond. (English) Zbl 1480.62003

Springer Texts in Statistics. Cham: Springer (ISBN 978-3-030-76123-3/hbk; 978-3-030-76124-0/ebook). xv, 495 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Model order reduction in mechanical engineering. (English) Zbl 07359314

Benner, Peter (ed.) et al., Model order reduction. Volume 3: Applications. Berlin: De Gruyter. 33-73 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Nonlinear time-delay systems. A geometric approach. (English) Zbl 1464.93001

SpringerBriefs in Electrical and Computer Engineering. Control, Automation and Robotics. Cham: Springer (ISBN 978-3-030-72025-4/pbk; 978-3-030-72026-1/ebook). x, 105 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Observer design for nonlinear dynamical systems. Differential geometric methods. (English) Zbl 1466.93001

Lecture Notes in Control and Information Sciences 487. Cham: Springer (ISBN 978-3-030-73741-2/hbk; 978-3-030-73744-3/pbk; 978-3-030-73742-9/ebook). xiii, 192 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Linear algebra 1. The foundations for students of mathematics and physics. 2nd edition. (Lineare Algebra 1. Grundlagen für Studierende der Mathematik und Physik.) (German) Zbl 1473.15003

Berlin Springer Spektrum (ISBN 978-3-662-63262-8/pbk; 978-3-662-63263-5/ebook). xviii, 433 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Partial differential equations. An introduction. (English) Zbl 1452.35001

Mathematical Engineering, Manufacturing, and Management Sciences. Boca Raton, FL: CRC Press (ISBN 978-0-367-61322-8/hbk; 978-1-003-10518-3/ebook). xi, 83 p. (2021).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software