{"id":"W2121042490","doi":"","title":"On specifying systems that connect to the physical world","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Domain (mathematical analysis); Base (topology); Software; Software engineering; Industrial engineering; Risk analysis (engineering); Engineering; Mathematics; Programming language","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.001723473,0.0002754001,0.0004126402,0.0006009787,0.0001126036,0.0004701856,0.001158918,0.0001005359,0.000006636503],"category_scores_gemma":[0.002318774,0.0001898,0.00008250956,0.001394293,0.00006447027,0.0002673394,0.0005491554,0.0004897516,0.000006356564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000134712,"about_ca_system_score_gemma":0.00003526764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005419283,"about_ca_topic_score_gemma":0.00008417048,"domain_scores_codex":[0.9977122,0.0004310173,0.000251512,0.0006421889,0.0004378679,0.0005252482],"domain_scores_gemma":[0.9875287,0.01140545,0.00006533523,0.0008698631,0.00003731604,0.0000933092],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001961417,0.00003165077,0.003805095,0.0000180439,0.000009034031,0.00003683054,0.0001651187,0.0006556121,0.0001120827,0.04456286,0.02695075,0.9236333],"study_design_scores_gemma":[0.001520068,0.001946963,0.3055664,0.001057643,0.00003498414,0.0001579934,0.0001197546,0.002246293,0.08560331,0.2217832,0.3771254,0.002837984],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007175989,0.0006318522,0.9871581,0.001349182,0.0003302427,0.0003269488,0.00001014492,0.002147927,0.000869573],"genre_scores_gemma":[0.1550659,0.00002379138,0.8426266,0.0001962705,0.0003818519,0.0001745771,0.000005412317,0.00003101039,0.001494558],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9207953,"threshold_uncertainty_score":0.7739821,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1765420709555909,"score_gpt":0.3793008742886477,"score_spread":0.2027588033330567,"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."}}