×

Found 258 Documents (Results 1–100)

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).

iBATCGH: integrative Bayesian analysis of transcriptomic and CGH data. (English) Zbl 1357.62010

Frigessi, Arnoldo (ed.) et al., Statistical analysis for high dimensional data. The Abel symposium 2014. Selected papers based on the presentations at the 11th Abel symposium, Kabelvåg, Norway, May 5 – May 9, 2014. Cham: Springer (ISBN 978-3-319-27097-5/hbk; 978-3-319-27099-9/ebook). Abel Symposia 11, 105-123 (2016).
Full Text: DOI

Hidden Markov models for time series. An introduction using R. 2nd edition. (English) Zbl 1362.62005

Monographs on Statistics and Applied Probability 150. Boca Raton, FL: CRC Press (ISBN 978-1-4822-5383-2/hbk; 978-1-032-17949-0/pbk; 978-1-315-37248-8/ebook). xxviii, 370 p. (2016).
MSC:  62-01 62M10 62M05 62-04 65C40 62F15 65C60
Full Text: DOI

On Shannon’s duality of a source and a channel and nonanticipative communication and communication for control. (English) Zbl 1404.94029

van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 291-305 (2015).
MSC:  94A24 60J10
Full Text: DOI

Reducing the number of queries in interactive value iteration. (English) Zbl 1405.91114

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 139-152 (2015).
MSC:  91B06 90C40 91-04

Pareto landscapes analyses via graph-based modeling for interactive decision-making. (English) Zbl 1306.90169

Tantar, Alexandru-Adrian (ed.) et al., EVOLVE – a bridge between probability, set oriented numerics, and evolutionary computation V. Selected papers based on the presentations at the international conference, Beijing, China, July 1–4, 2014. Cham: Springer (ISBN 978-3-319-07493-1/pbk; 978-3-319-07494-8/ebook). Advances in Intelligent Systems and Computing 288, 97-113 (2014).
Full Text: DOI

Basic and advanced Bayesian structural equation modeling. With applications in the medical and behavioral sciences. (English) Zbl 1282.62056

Wiley Series in Probability and Statistics. Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-66952-5/hbk; 978-1-118-35888-7/ebook). xvii, 367 p. (2012).
Full Text: DOI

Cryptanalysis of randomized arithmetic codes based on Markov model. (English) Zbl 1292.94164

Wu, Chuan-Kun (ed.) et al., Information security and cryptology. 7th international conference, Inscrypt 2011, Beijing, China, November 30–December 3, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34703-0/pbk). Lecture Notes in Computer Science 7537, 341-362 (2012).
MSC:  94A60
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