{"id":"W2904654454","doi":"10.1007/978-3-030-02215-0","title":"Languages, Design Methods, and Tools for Electronic System Design","year":2018,"lang":"en","type":"book","venue":"Lecture notes in electrical engineering","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Electronic system-level design and verification; Design language; Computer architecture; Software engineering; Software design; Software; Systems engineering; Programming language; Software development; Engineering","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.003468846,0.002427943,0.001196753,0.001997715,0.0007504781,0.004464176,0.002326838,0.0015558,0.01261181],"category_scores_gemma":[0.006533339,0.001754838,0.001593104,0.002620516,0.002898157,0.004487449,0.002248666,0.005240296,0.006365826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001215412,"about_ca_system_score_gemma":0.001980687,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009406857,"about_ca_topic_score_gemma":0.001302599,"domain_scores_codex":[0.9964438,0.001310549,0.0003546061,0.0003010552,0.001447981,0.000142042],"domain_scores_gemma":[0.9969112,0.001974484,0.0001246437,0.0005595069,0.0003571138,0.00007304889],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000047616,0.00007166848,0.0001511379,0.001900013,0.00006484118,0.0001168665,0.0005158475,0.009771744,0.003612494,0.5929232,0.03423782,0.3565868],"study_design_scores_gemma":[0.0000541412,0.00006132533,0.00009814098,0.0006151183,0.00004004652,0.000380572,0.0001049782,0.02265777,0.00283985,0.6174883,0.3556217,0.00003814399],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004776893,0.006948072,0.9762514,0.0005741332,0.0003602362,0.00008097869,0.0001171262,0.001397312,0.01379319],"genre_scores_gemma":[0.01564215,0.01150954,0.9383069,0.00062003,0.0004649589,0.0006099832,0.0005378557,0.00116539,0.03114322],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01261181,"threshold_uncertainty_score":0.04219067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02122447581992624,"score_gpt":0.2867988445150924,"score_spread":0.2655743686951661,"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."}}