{"id":"W2903407100","doi":"10.4204/eptcs.284.7","title":"A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper)","year":2018,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Software Engineering Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Documentation; Code (set theory); Software; Programming language; Source code; Product (mathematics); Extension (predicate logic); Software engineering; Set (abstract data type)","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.001833215,0.001633379,0.0006357409,0.001508738,0.0007830529,0.003813083,0.002394677,0.001697022,0.0897865],"category_scores_gemma":[0.008827106,0.0007256714,0.0007626085,0.001544126,0.0009981361,0.002953774,0.002312316,0.002185282,0.02580707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007438348,"about_ca_system_score_gemma":0.001172182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007244257,"about_ca_topic_score_gemma":0.0008375994,"domain_scores_codex":[0.9985315,0.0004386709,0.0001417868,0.0001880424,0.0006123755,0.0000875878],"domain_scores_gemma":[0.9951991,0.001731288,0.0002241826,0.001352701,0.001179004,0.0003136456],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002278529,0.0001626957,0.0002665446,0.001245036,0.00002927957,0.0008046735,0.0012205,0.01125089,0.02058308,0.1915072,0.2178251,0.5548773],"study_design_scores_gemma":[0.00004759437,0.0002534795,0.0003216242,0.0003098208,0.00001149391,0.000675659,0.0001602205,0.006205322,0.008056429,0.02896746,0.9549358,0.00005508831],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001308861,0.0003641227,0.9590811,0.0003414354,0.0009241282,0.0004075371,0.001247963,0.009430703,0.02689419],"genre_scores_gemma":[0.0187114,0.0009834896,0.8883785,0.0005279137,0.0004441333,0.001282723,0.003578556,0.00507065,0.08102266],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.0897865,"threshold_uncertainty_score":0.3003657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01716191288092039,"score_gpt":0.2750405078965424,"score_spread":0.257878595015622,"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."}}