{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00616008,0.0002083993,0.0002610931,0.0002969528,0.0003313932,0.0004720959,0.004160312,0.00007245028,0.000005370236],"category_scores_gemma":[0.00192797,0.0001459071,0.00005877635,0.001767894,0.002254576,0.0008218199,0.0007345224,0.0003471848,0.00001229689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002903098,"about_ca_system_score_gemma":0.0004951435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000261427,"about_ca_topic_score_gemma":1.973706e-7,"domain_scores_codex":[0.9967135,0.00003420133,0.0004180766,0.0006517314,0.0008776907,0.001304854],"domain_scores_gemma":[0.9960806,0.002531632,0.0001024121,0.0005239575,0.0006488168,0.0001125608],"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.00002956324,0.00002876375,0.00002584442,0.00004274339,0.000006952288,6.065464e-7,0.0007785946,0.0005935462,0.001599851,0.9913693,0.0001475886,0.005376657],"study_design_scores_gemma":[0.0003120086,0.0007498452,0.0001554103,0.000070462,0.000004368985,0.00004319292,0.0000131019,0.9171239,0.00691847,0.07422174,0.0002052327,0.0001822337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005566701,0.0001953651,0.9922594,0.000302326,0.0004294825,0.0009735813,6.335375e-7,0.0001645028,0.0001079935],"genre_scores_gemma":[0.945815,0.00001200232,0.05365619,0.0001384476,0.0001943935,0.0001612253,9.908408e-8,0.00001480185,0.000007855171],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9402483,"threshold_uncertainty_score":0.8307079,"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."}}