Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/Context/RequestContext.php on line 321
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact) - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)

From MaRDI portal
(Redirected from Dataset:6697803)



DOI10.5281/zenodo.13919108Zenodo13919108MaRDI QIDQ6697803

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 11 October 2024

Copyright license: No records found.



Description

This artifact contains the raw data of our experiments as well as scripts and benchmarks to reproduce the experiments.Furthermore, the considered version of Storm is included, which contains our implementation. Please also consider the artifact of the conference paper available at zenodo which has been accepted by the TACAS Artifact evaluation committee. This artifact contains:`LICENSE`: The license document.`README.md`: The instructions.`raw_data.zip`: The raw data obtained during our experiments`raw_data_with_results.zip`: The raw data, also including the resulting stationary distributions and evts in an explicit format. (84 GB!)`reproduce.zip` contains benchmarks and scripts for reproducing the experiments`storm-0b1cae2a94f06984f3cf4cecf5a5090e9bc71a56.zip` is the exact Storm version we considered.






This page was built for dataset: Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Computing_Expected_Visiting_Times_and_Stationary_Distributions_in_Markov_Chains:_Fast_and_Accurate_(Artifact)&oldid=44860306"
Powered by MediaWiki