×

Found 2,005 Documents (Results 1–100)

Polymorphisms, their associated operator theory, self-similar fractals, and harmonic analysis. (English) Zbl 07840357

Jha, Sangita (ed.) et al., Recent developments in fractal geometry and dynamical systems. AMS special session. Fractal geometry and dynamical systems, virtual, May 14–15, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 797, 37-59 (2024).
Full Text: DOI

Basics of Kaiyu Markov models: reproducibility theorems – a validation of the infinite Kaiyu representation. (English) Zbl 1533.91286

Saito, Saburo (ed.) et al., Recent advances in modeling and forecasting Kaiyu. Tools for predicting and verifying the effects of urban revitalization policy. Singapore: Springer. New Front. Reg. Sci., Asian Perspect. 36, 79-153 (2023).
MSC:  91B42 60J20
Full Text: DOI

On the use of model and logical embeddings for model checking of probabilistic systems. (English) Zbl 1543.68203

Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 115-131 (2023).
Full Text: DOI

Modelling data-aware stochastic processes – discovery and conformance checking. (English) Zbl 1541.68255

Gomes, Luis (ed.) et al., Application and theory of Petri nets and concurrency. 44th international conference, Petri NETS 2023, Lisbon, Portugal, June 25–30, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13929, 77-98 (2023).
MSC:  68Q85 68Q87
Full Text: DOI

Variational and diffusion problems in random walk spaces. (English) Zbl 07756354

Progress in Nonlinear Differential Equations and Their Applications 103. Cham: Birkhäuser (ISBN 978-3-031-33583-9/hbk; 978-3-031-33586-0/pbk; 978-3-031-33584-6/ebook). xv, 386 p. (2023).
Full Text: DOI

On probabilistic monitorability. (English) Zbl 1528.68246

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 325-342 (2022).
MSC:  68Q85 68Q60 68Q87
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software