{"id":"W1970823361","doi":"10.1007/s10817-010-9212-z","title":"Preface: Special Issue of Selected Extended Papers of CADE-22","year":2010,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Presentation (obstetrics); Implementation; Automated theorem proving; Process (computing); Automated reasoning; Library science; Operations research; Information retrieval; Software engineering; Artificial intelligence; Programming language; Mathematics; Medicine","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.003125213,0.002108322,0.002257416,0.008007614,0.001763989,0.007438332,0.002207072,0.002135335,0.1913296],"category_scores_gemma":[0.01201608,0.0006634109,0.001281486,0.005143728,0.000572474,0.003025449,0.002180903,0.002741429,0.08621684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002080235,"about_ca_system_score_gemma":0.002379109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002739441,"about_ca_topic_score_gemma":0.004891838,"domain_scores_codex":[0.9977419,0.0002968172,0.0002324084,0.0003197844,0.001230256,0.0001788389],"domain_scores_gemma":[0.9858274,0.002127562,0.0005560225,0.001049774,0.008643312,0.001795857],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005677427,0.00002582797,0.0000705823,0.000174728,0.00001011466,0.00003060322,0.000008381379,0.000154321,0.0002205974,0.0004932274,0.9714792,0.02727582],"study_design_scores_gemma":[0.00003228758,0.00005766366,0.0007685464,0.0002075651,0.00002337137,0.00008132748,0.00002736602,0.0005976174,0.0003450988,0.001259873,0.9965803,0.0000191385],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.001235154,0.03180126,0.009847798,0.02665836,0.8561509,0.0003448544,0.003847384,0.001266471,0.06884792],"genre_scores_gemma":[0.01112314,0.0273105,0.00710107,0.008864783,0.3584369,0.0004312183,0.01306719,0.002661713,0.5710036],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1913296,"threshold_uncertainty_score":0.6400614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003887711449382002,"score_gpt":0.2369633458947635,"score_spread":0.2330756344453815,"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."}}