{"id":"W4296938093","doi":"","title":"Validating a dynamic signature monitoring approach using the LTL model checking technique","year":2004,"lang":"en","type":"preprint","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Signature (topology); Computer science; Model checking; Algorithm; Mathematics","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","scholarly_communication","open_science","research_integrity"],"consensus_categories":["metaepi_narrow","research_integrity"],"category_scores_codex":[0.003675209,0.001385173,0.001094749,0.001028461,0.001159053,0.001825249,0.00628172,0.001818416,0.000001304347],"category_scores_gemma":[0.0009024787,0.001226977,0.0006639035,0.001409506,0.0002258718,0.0007031919,0.006147052,0.004964606,0.000002028512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003156056,"about_ca_system_score_gemma":0.001856696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006249651,"about_ca_topic_score_gemma":0.00005912501,"domain_scores_codex":[0.9931265,0.0005127865,0.001248603,0.002123913,0.001251669,0.001736562],"domain_scores_gemma":[0.9927447,0.000436492,0.001261454,0.004747191,0.0004270027,0.0003831926],"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.0000196618,0.0003284485,0.002105369,0.0005223852,0.0001506609,0.0001150718,0.001740484,0.9537407,0.01556686,0.01174356,0.0003299534,0.01363685],"study_design_scores_gemma":[0.0001666323,0.00003870833,0.0001829371,0.001287919,0.00007674086,0.0003308952,0.00002921668,0.8521549,0.01288294,0.1317145,0.00000988198,0.001124762],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004973517,0.002528974,0.9616832,0.0007833113,0.0004008709,0.002715431,0.00003481044,0.02660952,0.000270403],"genre_scores_gemma":[0.4479949,0.0000658489,0.5496827,0.0003349809,0.0001791573,0.001517278,0.00002032265,0.0001530991,0.00005163257],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4430214,"threshold_uncertainty_score":0.9998899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03016117812969912,"score_gpt":0.2755443541943241,"score_spread":0.245383176064625,"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."}}