{"id":"W2141016810","doi":"","title":"Proceedings of Formal Methods 2009 Doctoral Symposium, November 6, 2009, Eindhoven, The Netherlands","year":2009,"lang":"en","type":"article","venue":"Data Archiving and Networked Services (DANS)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"RWTH Aachen University; Radboud Universiteit","keywords":"Formal methods; Computer science; Library science; Software 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00132272,0.0002895469,0.0003224883,0.00009843822,0.0002026003,0.0002354626,0.003418083,0.00008519089,0.000002146181],"category_scores_gemma":[0.000003554179,0.0002057211,0.00005582613,0.0004358686,0.00006638484,0.00132652,0.001219305,0.0003254412,0.000001212022],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001310284,"about_ca_system_score_gemma":0.0000216278,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001150094,"about_ca_topic_score_gemma":0.00002966346,"domain_scores_codex":[0.9981475,0.00006554885,0.0003964494,0.0005744738,0.0002848679,0.0005311791],"domain_scores_gemma":[0.9984128,0.0001341165,0.0002031581,0.001062488,0.0000631543,0.000124262],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000140111,0.0002802887,0.01495934,0.0005305815,0.0002199659,0.00001466171,0.01631981,0.007502728,0.02218515,0.07121247,0.009792837,0.856842],"study_design_scores_gemma":[0.0002482169,0.0001939984,0.01984967,0.0002964446,0.00003745964,0.00005237635,0.00002508411,0.9410263,0.0009442671,0.002516397,0.03443812,0.0003716322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04686918,0.0004073543,0.9507332,0.0003402835,0.0001146164,0.0002167558,0.00005367745,0.0004018244,0.0008631547],"genre_scores_gemma":[0.3449058,0.000257862,0.6539463,0.0004504432,0.0002507601,0.00001369395,0.0000751984,0.00002489087,0.00007502653],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9335236,"threshold_uncertainty_score":0.8389065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01777045115705116,"score_gpt":0.2766952497014989,"score_spread":0.2589247985444477,"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."}}