{"id":"W2513565709","doi":"10.1145/2967973.2968601","title":"Iterated process analysis over lattice-valued regular expressions","year":2016,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Compute Canada","funders":"","keywords":"Message passing; Computer science; Iterated function; Theoretical computer science; Lattice (music); Semantics (computer science); Process (computing); Interdependence; Algorithm; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002918969,0.0007955328,0.0008075552,0.001440725,0.0006872247,0.002081654,0.001690393,0.0005560364,0.00171869],"category_scores_gemma":[0.008588429,0.0004198292,0.001891564,0.0008214967,0.002921849,0.002931823,0.001406281,0.001751657,0.0003107533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001486518,"about_ca_system_score_gemma":0.001546662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002926611,"about_ca_topic_score_gemma":0.002354851,"domain_scores_codex":[0.9972231,0.0009092499,0.0001384261,0.0004632631,0.000986814,0.0002791292],"domain_scores_gemma":[0.994314,0.003698715,0.000642807,0.0006732572,0.0005439172,0.0001273822],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002546737,0.000121416,0.003122114,0.0001712084,0.0001259457,0.000616135,0.0009257136,0.4781064,0.02268623,0.4493273,0.000471145,0.04407167],"study_design_scores_gemma":[0.0000126258,0.00003022594,0.0001015615,0.00001296555,0.00002087268,0.00004716417,0.0000437932,0.8828975,0.00601644,0.1100653,0.0007363781,0.00001526519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02328275,0.00002759785,0.975176,0.00004142011,0.00000757218,0.00003103765,0.0000257497,0.0004593987,0.0009484034],"genre_scores_gemma":[0.5628067,0.0000851647,0.4349161,0.00005272204,0.00002730513,0.0001628202,0.0001010955,0.0002533452,0.001594803],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002926611,"threshold_uncertainty_score":0.01543719,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02569352422599992,"score_gpt":0.3314852989982639,"score_spread":0.305791774772264,"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."}}