{"id":"W1582462262","doi":"10.1007/11951148_7","title":"Timed Use Case Maps","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001330669,0.0005614458,0.0004830231,0.0009547031,0.0003097876,0.0009671886,0.003136084,0.0004185241,0.00001716383],"category_scores_gemma":[0.0002118408,0.0005345126,0.0001385056,0.0007788175,0.0007608847,0.001536652,0.001300958,0.0008907668,0.0001187037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004174498,"about_ca_system_score_gemma":0.0003843313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001158046,"about_ca_topic_score_gemma":0.00007220487,"domain_scores_codex":[0.9959043,0.00007701354,0.000644586,0.001671678,0.0009784234,0.0007239683],"domain_scores_gemma":[0.9962822,0.0005376081,0.0003749506,0.002329243,0.0002953293,0.0001806504],"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.000005070369,0.00003655011,0.00002909825,0.00003751146,0.000008794722,0.002313337,0.0003393113,0.0255614,0.0001013075,0.08526391,0.0002748501,0.8860289],"study_design_scores_gemma":[0.00027266,0.0001520899,0.00009761374,0.0002225422,0.0000117259,0.003527688,6.406465e-8,0.852841,0.002305758,0.1268519,0.01263096,0.001085925],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006390801,0.0001891518,0.9909834,0.0002018868,0.002270838,0.0004208262,0.00001138024,0.0002832507,0.005575404],"genre_scores_gemma":[0.009194367,0.00001271345,0.9881985,0.0007811906,0.0003840656,0.00001076765,0.000009244767,0.00003866995,0.001370537],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8849429,"threshold_uncertainty_score":0.9997106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03311866584520364,"score_gpt":0.2731488095954892,"score_spread":0.2400301437502855,"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."}}