Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
130
datasets available to search
ShareScore release 0.9.0
Dataset results
130 results for “Markov”
Molecular Markers in Cervical Cancer Screening in the Feasibility of the Mathematical Markov Model Analysis
ClinicalTrials.gov study NCT00889902. IPD Sharing: Not stated. Countries: 1. Publications: 0.
Budget Impact Analysis of Discontinuing Tyrosin Kinase Inhibitors in Patients With Chronic Myeloid Leukemia Achieving a Complete Molecular Response by Using Probabilistic Markov Approach
ClinicalTrials.gov study NCT03540654. IPD Sharing: NO. Countries: 1. Publications: 0.
VIPR HMM: A hidden Markov model for detecting recombination with microbial detection arrays
GEO Series GSE34490. Peribunyaviridae; Togaviridae; Alphavirus; Flavivirus; Chlorocebus aethiops; Flaviviridae. 114 samples. Type: Other.
Entanglement-optimal trajectories of many-body quantum Markov processes
<p>We develop a novel approach aimed at solving the equations of motion of open quantum many-body systems. It is based on a combination of generalized wave function trajectories and matrix product states. We introduce an adaptive quantum stochastic propagator, which minimizes the expected entanglement in the many-body quantum state, thus minimizing the computational cost of the matrix product state representation of each trajectory. We illustrate this approach on the example of a one-dimensional open Brownian circuit. We show that this model displays an entanglement phase transition between area and volume law when changing between different propagators and that our method autonomously finds an efficiently representable area law unraveling.</p>
Ivan Markovic Irac - Nacional hero bust
Source: Objaverse 1.0 / Sketchfab
Using Markov Models of Fault Growth Physics and Environmental Stresses to Optimize Control Actions
A contrived example of a dice throwing game was considered in order to provide some insight into the general problem developing prognostics-based control routines that utilize uncertain models of component fault dynamics and future environmental stresses to assess and mitigate risk. A generalized Markov modeling representation of fault dynamics was developed for the case that available modeling of fault growth physics and available modeling of future environ- mental stresses are represented by two independent Markov process models. A finite horizon dynamic programming algorithm was given for a Markov decision process representation of the prognostics-based control problem and this algorithm was used to identify an optimal control policy for the dice throwing game that is considered in this paper. The outcomes obtained from simulations of the optimizing control policy were observed to differ only slightly from the outcomes that would have been achievable if all modeling uncertainties were removed from the example dice throwing game.
Markov Modeling of Component Fault Growth Over A Derived Domain of Feasible Output Control Effort Modifications
This paper introduces a novel Markov process formulation of stochastic fault growth modeling, in order to facilitate the development and analysis of prognostics-based control adap- tation. A metric representing the relative deviation between the nominal output of a system and the net output that is ac- tually enacted by an implemented prognostics-based control routine, will be used to define the action space of the formu- lated Markov process. The state space of the Markov pro- cess will be defined in terms of an abstracted metric repre- senting the relative health remaining in each of the system’s components. The proposed formulation of component fault dynamics will conveniently relate feasible system output per- formance modifications to predictions of future component health deterioration.
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact
<div> <h1>Artefact for CAV 2024</h1> <a href="https://github.com/cxlvinchau/cav2024-experiments#artefact-for-cav-2024"></a></div> <p>This artefact accompanies the submission "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes".</p> <div> <h2>Contents of this artefact</h2> <a href="https://github.com/cxlvinchau/cav2024-experiments#contents-of-this-artefact"></a></div> <p>This artefact consists of two different folders, namely <code>data</code> and <code>software</code>.</p> <div> <h3>The <code>data</code> folder</h3> <a href="https://github.com/cxlvinchau/cav2024-experiments#the-data-folder"></a></div> <p>The <code>data</code> folder contains data and results presented in the experimental section, along with models and properties that have been used. For every model and type of query (mean-payoff or reachability), there is a separate folder, containing the following types of files:</p> <ul> <li><code>data.csv</code> - A csv file where each row corresponds to a query and a model the query was considered for. Every row then contains information on the runtimes and model sizes. A detailed explanation of the columns can be found in the <code>README.md</code> of the data folder.</li> <li>PRISM model files with <code>.nm</code> or <code>.prism</code> extension, corresponding to the models used for the experiments.</li> <li>PRISM property files with <code>.props</code> extension, corresponding to the queries used for the experiments.</li> <li>A <code>README.md</code> with notes on the origins of the models.</li> </ul> <div> <h3>The <code>software</code> folder</h3> <a href="https://github.com/cxlvinchau/cav2024-experiments#the-software-folder"></a></div> <p>The <code>software</code> directory contains our implementation of the presented techniques, including computation of the certificates (aka certification), computation of witnessing schedulers and the computation of minimal witnessing subsystems. It consists of the following components:</p> <ul> <li><code>cpmc</code> contains the Python implementation of the techniques and consists of several submodules: <ul> <li><code>cpmc/core</code> implements classes for representing MDPs and other modeling components</li> <li><code>cpmc/mean_payoff</code> implements the techniques for working with multi-objective mean-payoff queries</li> <li><code>cpmc/reachability</code> implements the techniques for working with multi-objective reachability queries</li> <li><code>cpmc/prism</code> implements the translation of subsystems to PRISM code</li> <li><code>cpmc/test</code> contains unit tests that can be run by navigating into the folder and running <code>pytest .</code></li> </ul> </li> <li><code>experiments</code> contains scripts and utility files for running the experiments: <ul> <li><code>experiments/phil.py</code> Script for running the dining philosophers experiment</li> <li><code>experiments/csn.py</code> Script for running the csn mean-payoff experiment</li> <li><code>experiments/csn_reachability.py</code> Script for running the csn reachability experiment</li> <li><code>experiments/sensors.py</code> Script for running the sensors experiment</li> <li><code>experiments/consensus.py</code> Script for running the consensus (coin) experiment</li> <li><code>experiments/firewire.py</code> Script for running the firewire experiment</li> <li><code>experiments/main.py</code> Command line interface for runnign the experiments</li> </ul> </li> </ul>
A Cost effective analysis of fixed-dose combination of dutasteride and tamsulosin compared with dutasteride monotherapy for Benign Prostatic Hyperplasia in Nigeria: a middle income perspective; Using an Interactive Markov Model
<p>Background: The number of Nigerian men presenting with benign prostatic hyperplasia is on the rise because of increase awareness about the ailment. With the renewed effort by the national health insurance scheme to cover the informal sector, it becomes imperative to determine the cost implication for managing Benign Prostatic Hyperplasia (BPH) and the cost effective drug combination to be adopted. The objective of this study is to estimate cost effective analysis (CEA) of fixed -dose combination of dutasteride and tamsulosin compared with dutasteride monotherapy from the health service provider perspective design. Methods: An interactive Markov’s model was used to generate incremental cost per QALY and incremental cost per life years gained. 2.9 million Men who were 50 years of age were fed into the model. The outcome measures included: costs of drug treatment, consultation, acute urinary retention(AUR), transurethral resection of prostate(TURP), hospitalisation post TURP, and quality adjusted life years (QALYs), incremental cost per life years gained, and incremental cost per QALY gained Results: fixed-dose combination of dutasteride and tamsulosin (FDCT) produced an Incremental cost-effectiveness ratios of US$1481.92 per Quality adjusted for life-years saved Conclusion: Universal FDCT provision for Nigeria has major economic implications. This study in the context of its limitations has demonstrated the cost effectiveness of FDCT for the long term treatment of patients with moderate to severe BPH from the perspective of a developing country. Currently, there are few studies available to give economic data evidence to policy makers in Nigeria which is applicable to developing countries with similar economies. As such, the findings in this study will be relevant to policy makers in these countries</p>
Elucidating the conformational change of Dengue envelope protein using Markov State Model
<p>This is the dataset of input files, parameter files and run files for the various protein conformations generated in the study "Elucidating the conformational change of Dengue envelope protein using Markov State Model"</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.