## Found 2,708 Documents (Results 1–100)

100
MathJax

### System identification and adaptive control (to appear). (English)Zbl 06210591

New York, NY: Springer (ISBN 978-1-4614-3202-9/hbk; 978-1-4614-3203-6/ebook). 500 p. (2024).

### 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
Full Text:

MSC:  93-XX
Full Text:

Full Text:

Full Text:

### Synchronization of dynamical systems on Riemannian manifolds by an extended PID-type control theory: numerical evaluation. (English)Zbl 07595646

MSC:  37C05 53Z30 53Z50
Full Text:

### Fault detection and diagnosis strategy based on k-nearest neighbors and fuzzy C-means clustering algorithm for industrial processes. (English)Zbl 1496.93069

MSC:  93C42 62P30
Full Text:

### A generalized probabilistic monitoring model with both random and sequential data. (English)Zbl 07574292

MSC:  93E03 62P30
Full Text:

### 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).
Full Text:

### Dynamic systems. Modeling, simulation, and analysis (to appear). (English)Zbl 07565713

Cambridge: Cambridge University Press (ISBN 978-1-107-17979-0/hbk). (2022).

Full Text:

### 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).
Full Text:

### A scattering theory for linearised gravity on the exterior of the Schwarzschild black hole. I: The Teukolsky equations. (English)Zbl 07545286

MSC:  83Cxx 35Lxx 53Zxx
Full Text:

Full Text:

### An efficient model for scaffold mediated bone regeneration. (English)Zbl 1492.92033

MSC:  92C50 92C10 35G46
Full Text:

### Transformational supervisor synthesis for evolving systems. (English)Zbl 1492.93116

MSC:  93C65 68Q45
Full Text:

Full Text:

Full Text:

Full Text:

### Data science, analytics and machine learning with R (to appear). (English)Zbl 07527512

Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-824271-1). 720 p. (2022).

### MATLAB. A practical introduction to programming and problem solving. 6th edition. (English)Zbl 1486.68001

Amsterdam: Elsevier/Butterworth-Heinemann (ISBN 978-0-323-91750-6/pbk; 978-0-323-98611-3/ebook). 640 p. (2022).

### Online reconstruction and diagnosibility analysis of multiplicative fault models for process-related faults. (English)Zbl 1489.93080

MSC:  93C83 62P30
Full Text:

### Varying coefficient models and design choice for Bayes linear emulation of complex computer models with limited model evaluations. (English)Zbl 1485.62169

MSC:  62P30 62F15 60G15
Full Text:

Full Text:

Full Text:

Full Text:

### Fundamentals of partial differential equations. (English)Zbl 07486995

Singapore: Springer (ISBN 978-981-16-9864-4/hbk; 978-981-16-9865-1/ebook). xv, 551 p. (2022).
Full Text:

### Mathematics and software verification. (English)Zbl 07481172

Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022).
Full Text:

Full Text:

Full Text:

Full Text:

### 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).
Full Text:

### 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).
Full Text:

### Software defect prediction model based on distance metric learning. (English)Zbl 1491.68051

MSC:  68N30 68T05
Full Text:

### 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
Full Text:

### 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
Full Text:

Full Text:

### 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).
Full Text:

### 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
Full Text:

### Method of statistical synthesis of design solutions for unmanned aerial vehicles from experimental data. (English)Zbl 07527588

MSC:  93C85 93B50 62P30
Full Text:

### Neural software vulnerability analysis using rich intermediate graph representations of programs. (English)Zbl 1483.68078

MSC:  68N30 68R10 68T05
Full Text:

### Self-similarity techniques for chaotic attractors with many scrolls using step series switching. (English)Zbl 07499235

MSC:  28A80 26A33 37D45
Full Text:

### Motion of a simple pendulum: a digital technology approach. (English)Zbl 1491.97042

MSC:  97M50 70F20 34A05
Full Text:

### Porous invariants. (English)Zbl 1493.68117

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 172-194 (2021).
MSC:  68N30
Full Text:

### Reflections on termination of linear loops. (English)Zbl 1493.68126

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 51-74 (2021).
MSC:  68N30
Full Text:

Full Text:

### 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
Full Text:

### 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).
Full Text:

### 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).
Full Text:

Full Text:

### Hall for workshop of metasynthetic engineering: the origin, development status and future. (Chinese. English summary)Zbl 1488.93003

MSC:  93A15 93B50
Full Text:

### Solving engineering optimization problems without penalty. (English)Zbl 07446896

MSC:  90-XX 93-XX
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Dam anomaly assessment based on sequential variational autoencoder and evidence theory. (English)Zbl 1481.62122

MSC:  62P30 62N86 68T05
Full Text:

Full Text:

Full Text:

Full Text:

### 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).
Full Text:

### Prediction and identification of physical systems by means of physically-guided neural networks with meaningful internal layers. (English)Zbl 07414343

MSC:  93-XX 68-XX
Full Text:

### 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).
Full Text:

### 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
Full Text:

Full Text:

### An SDN routing algorithm based on deep reinforcement learning. (Chinese. English summary)Zbl 1488.68001

MSC:  68M10 68T07
Full Text:

### Truck versus human 2.0: mathematical follow-up under increasing pressure, and how Kepler’s laws come to the rescue. (English)Zbl 1473.97038

MSC:  97M50 70E55
Full Text:

### 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).
Full Text:

Full Text:

Full Text:

Full Text:

### Mathematics and mechanics – the interplay. Volume I. The basics. (English)Zbl 1491.00005

Berlin: Springer (ISBN 978-3-662-63205-5/hbk; 978-3-662-63207-9/ebook). xxxvi, 1019 p. (2021).
Full Text:

### Multivariate feature extraction based supervised machine learning for fault detection and diagnosis in photovoltaic systems. (English)Zbl 1466.93083

MSC:  93C35 93B70 62P30
Full Text:

### MOR software. (English)Zbl 07359325

Benner, Peter (ed.) et al., Model order reduction. Volume 3: Applications. Berlin: De Gruyter. 431-460 (2021).
Full Text:

### Model order reduction in microelectronics. (English)Zbl 1466.78016

Benner, Peter (ed.) et al., Model order reduction. Volume 3: Applications. Berlin: De Gruyter. 111-143 (2021).
Full Text:

### 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).
Full Text:

### Data-driven design of fault detection and isolation method for distributed homogeneous systems. (English)Zbl 1465.93012

MSC:  93A15 93C83 62P30
Full Text:

### Deadlock and WCET analysis of barrier-synchronized concurrent programs. (English)Zbl 1473.68050

MSC:  68N30 68Q85
Full Text:

### 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).
Full Text:

### 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).
Full Text:

### 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).
Full Text:

Full Text:

Full Text:

### Statistical learning for analysis of networked control systems over unknown channels. (English)Zbl 1461.93182

MSC:  93B70 93D05 62P30
Full Text:

### An introduction to bond graph modeling with applications. (English)Zbl 1465.93001

Boca Raton, FL: CRC Press (ISBN 978-0-367-52341-1/hbk; 978-1-003-05774-1/ebook). ix, 256 p. (2021).
Full Text:

### A novel metaheuristic optimizer inspired by behavior of jellyfish in ocean. (English)Zbl 07329296

MSC:  90-XX 93-XX
Full Text:

### Statistical information based two-layer model predictive control with dynamic economy and control performance for non-Gaussian stochastic process. (English)Zbl 1459.93043

MSC:  93B45 93E03 62P30
Full Text:

Full Text:

### Analysis and modeling of a passive force sensor based on Villari effect. (English)Zbl 07318309

MSC:  70-XX 74-XX
Full Text:

### A novel grey prediction model based on quantile regression. (English)Zbl 1455.93105

MSC:  93C41 62P30
Full Text:

### Advances in structural engineering – optimization. Emerging trends in structural optimization. (English)Zbl 1480.68006

Studies in Systems, Decision and Control 326. Cham: Springer (ISBN 978-3-030-61847-6/hbk; 978-3-030-61848-3/ebook). viii, 310 p. (2021).
Full Text:

### 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).
Full Text:

### An intelligent model to predict the development time and budget of software projects. (English)Zbl 07623354

MSC:  68T05 97R40 68T35 68N30
Full Text:

### 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).
Full Text:

MSC:  62Pxx
Full Text:

### A kriging method for fuzzy spatial data. (English)Zbl 1483.93336

MSC:  93C42 62P30
Full Text:

Full Text:

Full Text:

Full Text:

### On-line anomaly detection with advanced independent component analysis of multi-variate residual signals from causal relation networks. (English)Zbl 1479.62040

MSC:  62H25 60G35 62P30
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3