×

Found 131 Documents (Results 1–100)

HyperPCTL model checking by probabilistic decomposition. (English) Zbl 1502.68189

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, 209-226 (2022).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On partial gene transfer and its impact on gene tree reconstruction. (English) Zbl 1496.92057

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, 168-186 (2022).
MSC:  92D10 92D15
PDFBibTeX XMLCite
Full Text: DOI

Minimax detection (MAD) for computer security: a dynamic program characterization. (English) Zbl 07526401

Kamhoua, Charles A. (ed.) et al., Game theory and machine learning for cyber security. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons. 113-136 (2021).
MSC:  68M25 68T05 91A80
PDFBibTeX XMLCite
Full Text: DOI

Secure discrete-time linear-quadratic mean-field games. (English) Zbl 1484.91039

Zhu, Quanyan (ed.) et al., Decision and game theory for security. 11th international conference, GameSec 2020, College Park, MD, USA, October 28–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12513, 203-222 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Finite frames for sparse signal processing. (English) Zbl 1262.42010

Casazza, Peter G. (ed.) et al., Finite frames. Theory and applications. Boston, MA: Birkhäuser (ISBN 978-0-8176-8372-6/hbk; 978-0-8176-8373-3/ebook). Applied and Numerical Harmonic Analysis, 303-335 (2013).
MSC:  42C15 94A12
PDFBibTeX XMLCite
Full Text: DOI

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

all top 3

Software