{"id":"W4241344291","doi":"10.1145/996893.996861","title":"Jedd","year":2004,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Compiler; Binary decision diagram; Key (lock); Java; Data structure; Theoretical computer science; Operating system","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.001238915,0.0006149409,0.0005512925,0.001280617,0.0007446901,0.002848059,0.001503741,0.0007501302,0.04785922],"category_scores_gemma":[0.003884742,0.000507737,0.0009355351,0.0009029068,0.0006366209,0.002907704,0.003078241,0.001365981,0.02452395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007839332,"about_ca_system_score_gemma":0.00167602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001320797,"about_ca_topic_score_gemma":0.001870554,"domain_scores_codex":[0.9982936,0.0002147479,0.0001728303,0.0003604442,0.0008018606,0.0001565903],"domain_scores_gemma":[0.9982444,0.0003683437,0.00009372629,0.0006035002,0.0005898677,0.0001001648],"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.0003940222,0.0001412779,0.003067902,0.001095929,0.00005096428,0.0004950146,0.0005075802,0.004761645,0.01235806,0.171935,0.2031889,0.6020038],"study_design_scores_gemma":[0.00003192487,0.00003344249,0.0003638399,0.00006732775,0.00001707255,0.0003554539,0.00005880748,0.007063829,0.007390891,0.01711019,0.9674823,0.0000248795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.008551534,0.001261116,0.7669455,0.001684012,0.001707345,0.0003754815,0.008596904,0.07083119,0.140047],"genre_scores_gemma":[0.1025391,0.002295837,0.6589805,0.003320404,0.000454827,0.0006993571,0.03448668,0.02224495,0.1749784],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04785922,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04506831693114505,"score_gpt":0.2952424756677303,"score_spread":0.2501741587365853,"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."}}