{"id":"W4320032399","doi":"","title":"Preserving Opacity on Interval Markov Chains under Simulation","year":2016,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Markov chain; Interval (graph theory); Opacity; Computer science; Markov process; Examples of Markov chains; Markov property; Markov model; Mathematics; Statistics; Machine learning; Combinatorics; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006683464,0.001030055,0.001613251,0.001735536,0.001258386,0.004170308,0.001866267,0.001585274,0.002808136],"category_scores_gemma":[0.05089391,0.001157922,0.002460537,0.001363603,0.005153696,0.007272384,0.005356854,0.004951125,0.0003019261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003625287,"about_ca_system_score_gemma":0.002817949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004519799,"about_ca_topic_score_gemma":0.002464827,"domain_scores_codex":[0.9919292,0.002157075,0.0005980261,0.001432458,0.002449016,0.001434356],"domain_scores_gemma":[0.92856,0.05222417,0.005761316,0.007997079,0.002942999,0.002514459],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004462429,0.0001034974,0.005277543,0.0001474928,0.00009724512,0.0005416768,0.001126485,0.332389,0.00469047,0.6395404,0.0003392127,0.01530076],"study_design_scores_gemma":[0.00005486347,0.00007529073,0.0003642729,0.00003064905,0.00003821848,0.00008207301,0.00005085906,0.5570705,0.002977717,0.4386176,0.000612672,0.00002518369],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1843803,0.0002171017,0.809732,0.0004894511,0.00003225538,0.0001007833,0.0002634498,0.001253907,0.003530771],"genre_scores_gemma":[0.9449256,0.0002487102,0.05234251,0.0001720141,0.0000804685,0.0001493999,0.0002718629,0.00017881,0.001630628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006683464,"threshold_uncertainty_score":0.03534597,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02723445121378136,"score_gpt":0.2519218029350648,"score_spread":0.2246873517212834,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}