{"id":"W2136503680","doi":"10.1145/996841.996861","title":"Jedd","year":2004,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":76,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008504618,0.00003866886,0.00004123799,0.00002440459,0.00001809775,0.00001761733,0.0003348091,0.00001488383,0.000003305712],"category_scores_gemma":[0.0001573152,0.00003211633,0.0000144457,0.0001233774,0.000009305619,0.0002076797,0.00009188124,0.00003816448,0.00007314185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001958639,"about_ca_system_score_gemma":0.00001287536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002778334,"about_ca_topic_score_gemma":4.465507e-7,"domain_scores_codex":[0.9996828,0.000006759517,0.00004348687,0.0001079506,0.00005748169,0.0001015139],"domain_scores_gemma":[0.9996325,0.00008007786,0.000007163215,0.0002454806,0.00001127261,0.00002353466],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[2.160837e-7,0.000006630738,0.00001246207,0.000001777979,0.000001989915,0.000009603956,0.0001144563,0.1831498,0.0008413218,0.7850123,0.00006435945,0.03078512],"study_design_scores_gemma":[0.0002364162,0.000040802,0.001124016,0.000005380934,5.862029e-7,0.00002479312,0.000009158809,0.0005482663,0.04081105,0.9533921,0.003624626,0.0001827723],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00058416,0.00003564402,0.995745,0.0004480457,0.0002189579,0.00001918062,3.435706e-8,0.001014649,0.001934339],"genre_scores_gemma":[0.04838787,0.000002693165,0.9512247,0.0001582166,0.00001356461,0.000002139453,4.672823e-8,0.000002275792,0.0002085211],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1826015,"threshold_uncertainty_score":0.1309666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02738874702038036,"score_gpt":0.2739633675431562,"score_spread":0.2465746205227758,"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."}}