{"id":"W1836437957","doi":"10.1007/978-3-540-85361-9_19","title":"Unfolding-Based Diagnosis of Systems with an Evolving Topology","year":2008,"lang":"en","type":"article","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Correctness; Petri net; Computer science; Theoretical computer science; Categorical variable; Exploit; Rule-based machine translation; Graph; Algorithm; Topology (electrical circuits); Mathematics; Artificial intelligence; Machine learning","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.0004856123,0.0002025038,0.0002976223,0.0004093568,0.0001436603,0.0001010611,0.002020126,0.00008591777,0.000001835994],"category_scores_gemma":[0.00003637782,0.0001696368,0.00003363906,0.001722022,0.000479751,0.0007743794,0.0002791033,0.0002031021,9.541013e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001217031,"about_ca_system_score_gemma":0.0002812864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001848288,"about_ca_topic_score_gemma":0.00002538662,"domain_scores_codex":[0.997999,0.00006882488,0.0002827593,0.0006854371,0.000522765,0.0004412276],"domain_scores_gemma":[0.9981897,0.000290126,0.0001202672,0.001035371,0.0002498284,0.0001147071],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004217714,0.00008474335,0.05107288,0.00003209411,0.000003379135,0.00007100528,0.0007610493,0.8989574,0.0003101354,0.002957455,0.000006155204,0.04573942],"study_design_scores_gemma":[0.0001603986,0.0004547531,0.004183656,0.0001210674,0.000001488275,0.00009215427,1.107911e-7,0.9724568,0.02180916,0.0004668924,0.00003708569,0.0002164303],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09685619,0.0001468544,0.9019568,0.0001260542,0.0003453205,0.0001896143,7.944825e-7,0.0003756307,0.000002726321],"genre_scores_gemma":[0.5169541,0.000002656638,0.4829143,0.00007654708,0.00002684486,0.0000193278,2.861021e-7,0.000005871328,8.497909e-8],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4200979,"threshold_uncertainty_score":0.6917588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01522656609717504,"score_gpt":0.2406053551753163,"score_spread":0.2253787890781412,"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."}}