×

Found 154 Documents (Results 1–100)

Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022).
MSC:  68Q45 68T20 90B35
PDFBibTeX XMLCite
Full Text: DOI

Automata-driven partial order reduction and guided search for LTL model checking. (English) Zbl 1498.68160

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 151-173 (2022).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Parameter learning algorithms for continuous model improvement using operational data. (English) Zbl 1491.68165

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 115-124 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Model selection using Cramér-von Mises distance. (English) Zbl 1349.62499

Steland, Ansgar (ed.) et al., Stochastic models, statistics and their applications. Collected papers based on the presentations at the 12th workshop, Wrocław, Poland, February 2015. Cham: Springer (ISBN 978-3-319-13880-0/hbk; 978-3-319-13881-7/ebook). Springer Proceedings in Mathematics & Statistics 122, 39-47 (2015).
MSC:  62N05 62E17
PDFBibTeX XMLCite
Full Text: DOI

Change point estimation in regression models with fixed design. (English) Zbl 1407.62104

Rykov, Vladimir V. (ed.) et al., Mathematical and statistical models and methods in reliability. Applications to medicine, finance, and quality control. Invited papers based on the presentation at the 6th international conference (MMR 2009), Moscow, Russia, June 22–26, 2009. Boston, MA: Birkhäuser. Stat. Ind. Technol., 207-221 (2010).
MSC:  62G05 62G08 62G20
PDFBibTeX XMLCite
Full Text: DOI

Variations on Whitehead’s problem and the structure of Ext. (English) Zbl 1193.13013

Göbel, Rüdiger (ed.) et al., Models, modules and abelian groups. In memory of A. L. S. Corner. Berlin: Walter de Gruyter (ISBN 978-3-11-019437-1/hbk). 407-413 (2008).
PDFBibTeX XMLCite

Statistics for locally scaled point processes. (English) Zbl 05243456

Baddeley, Adrian (ed.) et al., Case studies in spatial point process modeling. Most papers based on the presentation at the international conference on spatial point process modeling and its applications, Benicàssim, Castellon, Spain, April 4–8, 2004. New York, NY: Springer. Lect. Notes Stat. 185, 99-123 (2006).
MSC:  62-XX
PDFBibTeX XMLCite
Full Text: DOI

On six problems posed by Jarik Nešetřil. (English) Zbl 1116.05081

Klazar, Martin (ed.) et al., Topics in discrete mathematics. Dedicated to Jarik Nešetřil on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-33698-2/hbk). Algorithms and Combinatorics 26, 613-627 (2006).
MSC:  05C99
PDFBibTeX XMLCite

The Hugin tool for learning Bayesian networks. (English) Zbl 1251.68247

Nielsen, Thomas Dyhre (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40494-5/pbk). Lect. Notes Comput. Sci. 2711, 594-605 (2003).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Modal logics for cryptographic processes. (English) Zbl 1270.03038

Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 124-141 (2002).
MSC:  03B45 68Q85 94A60
PDFBibTeX XMLCite
Full Text: DOI

Generic polynomials. Constructive aspects of the inverse Galois problem. (English) Zbl 1042.12001

Mathematical Sciences Research Institute Publications 45. Cambridge: Cambridge University Press (ISBN 0-521-81998-9/hbk). ix, 258 p. (2002).
MSC:  12F12 12-02
PDFBibTeX XMLCite
Full Text: Link

Stochastic models of reliability and maintenance: An overview. (English) Zbl 0873.62108

Özekici, Süleyman (ed.), Reliability and maintenance of complex systems. Proceedings of the NATO ASI on Current issues and challenges in the reliability and maintenance of complex systems, held in Kemer-Antalya, Turkey, June 12-22, 1995. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 154, 3-36 (1996).
MSC:  62N05 90B25
PDFBibTeX XMLCite

Model theoretic algebra: with particular emphasis on fields, rings, modules. (English) Zbl 0728.03026

Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989).
PDFBibTeX XMLCite

Queueing theory and its applications. Liber amicorum for J. W. Cohen. (English) Zbl 0657.60114

CWI Monographs, 7. Amsterdam etc.: North-Holland. xxii, 446 p. $ 97.25; Dfl. 185.00 (1988).
Reviewer: H.Daduna
PDFBibTeX XMLCite

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

Biographic Reference

all top 3

Software