Search Results for statistical analysis.

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series

Yazar

Ryabko, Daniil. author.

https://doi.org/10.1007/978-3-030-12564-6

Format:

Electronic Resources

Alıntı:

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series Ryabko, Daniil. author.

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

Yazar

Vishnevskiy, Vladimir M. editor.

https://doi.org/10.1007/978-3-030-36614-8

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science. https://scigraph.springernature.com/ontologies

An Introduction to Metaheuristics for Optimization

Yazar

Chopard, Bastien. author.

https://doi.org/10.1007/978-3-319-93073-2

Format:

Electronic Resources

Alıntı:

Transition in Optimization Problems -- Performance and Limitations of Metaheuristics -- Statistical Analysis

Information theory : 50 years of discovery

Yazar

Verdú, Sergio, 1958-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273551

Format:

Electronic Resources

Alıntı:

Unconsummated Union (A. Ephremides & B. Hajek). Data Compression and Harmonic Analysis (D. Donoho, et al

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Yazar

Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946

https://doi.org/10.1007/978-3-030-27181-7

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science. https://scigraph.springernature.com/ontologies

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

Statistical Model Checking in Nondeterministic Continuous Time -- Statistical Model-Checking of Incomplete

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Statistical Model Checking -- Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Yazar

Shi, Yong. editor.

https://doi.org/10.1007/978-3-319-93713-7

Format:

Electronic Resources

Alıntı:

Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with

	{displayName}	{count}
{error}