{"id":"W2696905313","doi":"10.1145/2984639","title":"Non-interference in Partial Order Models","year":2016,"lang":"en","type":"article","venue":"ACM Transactions on Embedded Computing Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Undecidable problem; Decidability; Equivalence (formal languages); Automaton; Computer science; Concurrency; Theoretical computer science; Formalism (music); Bounded function; Cellular automaton; Mathematics; Discrete mathematics; Algorithm; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006392195,0.0002444869,0.0003012404,0.000298704,0.0002551748,0.0002217561,0.001672473,0.0001333598,0.00001078782],"category_scores_gemma":[0.00004448523,0.0001991405,0.000089805,0.0008257125,0.00005178398,0.0005520412,0.0000491705,0.0002656666,0.0001323509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001612997,"about_ca_system_score_gemma":0.0001075782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000114502,"about_ca_topic_score_gemma":0.00000945465,"domain_scores_codex":[0.9976131,0.0001793127,0.0006454452,0.0007421143,0.0003209086,0.0004991135],"domain_scores_gemma":[0.9975912,0.0005649057,0.0001752084,0.001391061,0.0001591515,0.0001184585],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007234562,0.0007138386,0.0003276,0.0001245736,0.0001109416,0.00003910702,0.01343568,0.6693613,0.002584318,0.07493329,0.0003087809,0.2379882],"study_design_scores_gemma":[0.0008259991,0.00009255858,0.00008028567,0.0004945014,0.000004523181,0.0000360396,0.0001988141,0.9938637,0.001696636,0.002177034,0.0002026585,0.0003272716],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02309718,0.00003708457,0.9729114,0.0006906298,0.001936857,0.0002879392,0.000002780991,0.0003678681,0.0006683234],"genre_scores_gemma":[0.9795433,0.00001029518,0.02001673,0.0001262026,0.0001182221,0.00003043004,5.608214e-7,0.00001771801,0.0001366036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9564461,"threshold_uncertainty_score":0.8120713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03967643528910551,"score_gpt":0.2761719093572023,"score_spread":0.2364954740680968,"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."}}