{"id":"W1800402330","doi":"10.1007/3-540-40922-x_19","title":"Model Reductions and a Case Study","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Reduction (mathematics); Property (philosophy); Dependency graph; Algorithm; Graph; Dependency (UML); Model checking; Construct (python library); Theoretical computer science; State (computer science); Set (abstract data type); State variable; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002155328,0.0007006711,0.000578116,0.0009119079,0.002190828,0.002332922,0.001887132,0.002821729,0.01011123],"category_scores_gemma":[0.007697672,0.0003478458,0.001271891,0.001205824,0.002569984,0.002968898,0.002289665,0.00295307,0.001360365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001269814,"about_ca_system_score_gemma":0.000969309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003233399,"about_ca_topic_score_gemma":0.003985812,"domain_scores_codex":[0.9971861,0.001702159,0.00006588244,0.0001506842,0.0006445562,0.0002506026],"domain_scores_gemma":[0.9959831,0.002967851,0.0001015125,0.000638932,0.0002214391,0.00008715231],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002433208,0.0007926242,0.0006626439,0.0002001842,0.00002332902,0.003638414,0.001789883,0.01895103,0.002186211,0.9149629,0.01168625,0.04486322],"study_design_scores_gemma":[0.0002483758,0.0005359625,0.0008901417,0.0001779179,0.0001153551,0.004209569,0.004596252,0.09174287,0.01134297,0.7347636,0.1513074,0.00006955254],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.2609288,0.002385963,0.315568,0.01138101,0.0003551317,0.0007373993,0.0005350855,0.001624931,0.4064837],"genre_scores_gemma":[0.8627548,0.001439148,0.08391166,0.0005704437,0.00007963963,0.0004447788,0.0003823694,0.0004163303,0.05000092],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01011123,"threshold_uncertainty_score":0.03382546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04993290233842406,"score_gpt":0.3089524083253811,"score_spread":0.259019505986957,"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."}}