{"id":"W2769044384","doi":"","title":"Work-in-progress: modelling probabilistic timing analysis","year":2017,"lang":"en","type":"article","venue":"Embedded Software","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Probabilistic logic; Computer science; Statistical model; Probabilistic analysis of algorithms; Probabilistic relevance model; Probabilistic CTL; Process (computing); Code (set theory); Execution time; Divergence-from-randomness model; Theoretical computer science; Parallel computing; Programming language; Machine learning; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0008017273,0.0002533771,0.0004904054,0.0003509307,0.000504704,0.00121513,0.00225544,0.000131018,0.00002221109],"category_scores_gemma":[0.0003633491,0.0002467073,0.0002240169,0.0007941571,0.00009321319,0.001177814,0.0005102706,0.0002613691,0.0001076614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001120796,"about_ca_system_score_gemma":0.00009181877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001158137,"about_ca_topic_score_gemma":0.00004081441,"domain_scores_codex":[0.9975327,0.0001076102,0.0004921943,0.0008165871,0.0004731604,0.0005777697],"domain_scores_gemma":[0.9966771,0.0001743023,0.0003810569,0.002466859,0.000141739,0.0001589467],"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.00001788133,0.0001085198,0.09218438,0.0001160602,0.0003133448,0.0002282879,0.004747142,0.8689836,0.000009722837,0.00261606,0.0001427534,0.03053221],"study_design_scores_gemma":[0.0003269123,0.00001842847,0.009175945,0.0002245341,0.00008905243,0.000006765142,0.00005724215,0.9862554,0.00005423571,0.003268359,0.00008085304,0.0004422363],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06957444,0.0002858176,0.9283395,0.0001978245,0.0003219743,0.0002924788,0.000001361874,0.0003684486,0.0006181585],"genre_scores_gemma":[0.6595736,0.000002478256,0.3400849,0.00001596031,0.00006943958,0.00004027183,0.000002969639,0.00001611449,0.0001942724],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5899992,"threshold_uncertainty_score":0.9999985,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04372164591286296,"score_gpt":0.2944737158277456,"score_spread":0.2507520699148826,"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."}}