×

Found 40 Documents (Results 1–40)

ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. (English) Zbl 1459.68122

Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Noncommutative geometry, quantum fields and motives. (English) Zbl 1209.58007

Colloquium Publications. American Mathematical Society 55. Providence, RI: American Mathematical Society (AMS)/Hindustan Book Agency (ISBN 978-0-8218-4210-2/hbk). xxii, 785 p. (2008).
PDFBibTeX XMLCite

An overview on observer tools for nonlinear systems. (English) Zbl 1222.93035

Besançon, Gildas (ed.), Nonlinear observers and applications. Papers based on the presentations at the 28th Grenoble international summer school on control, Grenoble, France, September 2007. Berlin: Springer (ISBN 978-3-540-73502-1/pbk). Lecture Notes in Control and Information Sciences 363, 1-33 (2007).
MSC:  93B07 93C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software