{"id":"W128640981","doi":"","title":"SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems","year":2005,"lang":"en","type":"article","venue":"Iowa State University Digital Repository (Iowa State University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Grantová Agentura České Republiky; Enterprise Ireland; Fonds Québécois de la Recherche sur la Nature et les Technologies; National Science Foundation","keywords":"Component (thermodynamics); Computer science; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001330459,0.0002570724,0.0003031017,0.0006105007,0.0002331476,0.000188293,0.0008019651,0.00008429545,7.829553e-7],"category_scores_gemma":[0.00005835526,0.0003231527,0.00008302896,0.0006396829,0.000250542,0.002844683,0.0002534251,0.00018059,0.000007705379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005804265,"about_ca_system_score_gemma":0.0001264013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003647884,"about_ca_topic_score_gemma":0.000004765284,"domain_scores_codex":[0.9983543,0.0000745759,0.0002670255,0.0006031535,0.0003359361,0.0003649889],"domain_scores_gemma":[0.9984146,0.0002543678,0.0003670207,0.0004113546,0.0003402257,0.0002124401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00214071,0.001595585,0.02346414,0.001514235,0.0008076678,0.001153842,0.0101833,0.6509178,0.1469772,0.07530019,0.003167746,0.08277764],"study_design_scores_gemma":[0.01075504,0.001791474,0.05883165,0.001006871,0.0003133948,0.0002707805,0.01427609,0.1589469,0.1313317,0.001578464,0.6155207,0.005376997],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2200126,0.00007637443,0.7757983,0.00007419014,0.0001924434,0.0002817696,0.00005193388,0.0004691104,0.003043313],"genre_scores_gemma":[0.9419215,0.0001274642,0.05045732,0.000008871217,0.00003085096,2.938012e-7,0.00001673845,0.00002172231,0.007415236],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7253409,"threshold_uncertainty_score":0.999922,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01472704185586059,"score_gpt":0.1879603908482544,"score_spread":0.1732333489923938,"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."}}