×

Found 158 Documents (Results 1–100)

Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022).
MSC:  68T05 68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Vibration control of active structures. An introduction. 4th updated and expanded edition. (English) Zbl 1443.74002

Solid Mechanics and Its Applications 246. Cham: Springer (ISBN 978-3-319-72295-5/hbk; 978-3-319-72296-2/ebook). xxiv, 518 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Merging cellular automata rules to optimise a solution to the modulo-\(n\) problem. (English) Zbl 1432.68288

Kari, Jarkko (ed.), Cellular automata and discrete complex systems. 21st IFIP WG 1.5 international workshop, AUTOMATA 2015, Turku, Finland, June 8–10, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9099, 196-209 (2015).
MSC:  68Q80 37B15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software