{"id":"W6888506950","doi":"10.21227/ffkx-a427","title":"The Effects of Tool Selection on the Schedulability of SCADE Generated Software: Dataset","year":2019,"lang":"en","type":"dataset","venue":"IEEE DataPort","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Aerospace; Compiler; Automotive industry; Code (set theory); Software; Selection (genetic algorithm); Code generation; Minification; Software tool","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.003671155,0.0007811192,0.001023761,0.0002247412,0.0003282288,0.0001005506,0.003043552,0.000605686,0.0002284718],"category_scores_gemma":[0.005784799,0.0004597651,0.0002093869,0.001130697,0.0007134499,0.0003147903,0.0004490305,0.001415999,0.003707485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002530772,"about_ca_system_score_gemma":0.000964728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001113317,"about_ca_topic_score_gemma":0.0004008403,"domain_scores_codex":[0.994144,0.001060562,0.001337515,0.001153054,0.00163393,0.0006709294],"domain_scores_gemma":[0.9875049,0.002925563,0.001917396,0.007138915,0.0004144723,0.00009878138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000366038,0.0003591071,0.0001390856,0.0009596454,0.0004871276,0.000008245303,0.000005594469,0.00009491478,0.009176432,0.000009582058,0.9882735,0.0001207404],"study_design_scores_gemma":[0.0005520866,0.0003458843,0.0005682628,0.0002794641,0.0005652815,0.00001757578,0.000005121497,0.00005516215,0.05348935,0.00002180409,0.9436325,0.0004675309],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.013642,0.0001326037,0.00002396198,0.00002873549,0.001794573,0.002526518,0.9817969,0.00005214657,0.000002528746],"genre_scores_gemma":[0.0005986012,0.0001528266,0.00006644923,0.0001685337,0.000294588,0.0001785682,0.9983753,0.0001168333,0.0000482795],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.04464101,"threshold_uncertainty_score":0.9997854,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02314202117542109,"score_gpt":0.2888155736148837,"score_spread":0.2656735524394626,"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."}}