{"id":"W2119388436","doi":"10.1142/s0129054107005479","title":"SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES","year":2007,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Programming language; Synchronization (alternating current); Object (grammar); Object-oriented programming; Inheritance (genetic algorithm); Automaton; Theoretical computer science; Artificial intelligence","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.001959617,0.00008580886,0.0001541158,0.0009920744,0.0000854266,0.0002100415,0.002319189,0.00003075444,0.000009243786],"category_scores_gemma":[0.0001889621,0.00007047109,0.00008015669,0.0009309648,0.0002312265,0.001417622,0.0003174748,0.0001437404,0.000008269647],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000120046,"about_ca_system_score_gemma":0.000349905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005139658,"about_ca_topic_score_gemma":0.00003110057,"domain_scores_codex":[0.9979008,0.00003564273,0.0006434209,0.0001895609,0.001019501,0.0002110475],"domain_scores_gemma":[0.9976832,0.0001781635,0.000510142,0.0002586186,0.001271231,0.00009861295],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00002671314,0.000493424,0.01694625,0.000007555642,0.00005053568,0.0001711043,0.003648188,0.001340221,0.01153,0.7637052,0.0002528421,0.2018279],"study_design_scores_gemma":[0.007596128,0.002362098,0.6191471,0.0006312619,0.00003819292,0.003212422,0.001397261,0.1096427,0.09073868,0.1016977,0.06197907,0.001557444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05513222,0.00006587365,0.9398836,0.0004342137,0.002569012,0.00006345178,4.360151e-7,0.0000175007,0.001833721],"genre_scores_gemma":[0.9080009,0.000007003406,0.09163899,0.00007517268,0.0002414442,7.247515e-7,6.941846e-7,0.0000025769,0.00003242923],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8528687,"threshold_uncertainty_score":0.4309669,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01770261419507057,"score_gpt":0.3274741712441289,"score_spread":0.3097715570490583,"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."}}