{"id":"W2791546773","doi":"10.1007/s10703-018-0317-z","title":"Inferring event stream abstractions","year":2018,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Air Force Office of Scientific Research","keywords":"Computer science; Programming language; Scala; Event (particle physics); Specification language; Notation; Theoretical computer science; Java","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.003764231,0.001166779,0.0008603725,0.00312678,0.0009020357,0.00324207,0.001698623,0.001468567,0.004587329],"category_scores_gemma":[0.02323595,0.001133599,0.002441822,0.001742786,0.001156166,0.004607612,0.003133629,0.002538381,0.001191041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001344961,"about_ca_system_score_gemma":0.002430482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00436613,"about_ca_topic_score_gemma":0.005088728,"domain_scores_codex":[0.9957445,0.001024746,0.0002996793,0.0008816755,0.001679761,0.0003696089],"domain_scores_gemma":[0.9902749,0.005704624,0.000618609,0.002055868,0.001113956,0.0002321182],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001007479,0.0005012226,0.0329391,0.0007723569,0.0004833917,0.001642588,0.001640606,0.1906118,0.02636193,0.4178826,0.01173919,0.3144177],"study_design_scores_gemma":[0.00005501276,0.00006239318,0.001928612,0.00007948748,0.0001590852,0.0001855235,0.0002303979,0.7530177,0.01872554,0.2110302,0.01448928,0.00003677159],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02735193,0.0001215443,0.9654915,0.0003215436,0.0000846027,0.0001340648,0.0008037666,0.003212696,0.0024784],"genre_scores_gemma":[0.4322628,0.0003874589,0.5593423,0.0001872182,0.0001255409,0.0001599003,0.003135657,0.0005913973,0.003807746],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004587329,"threshold_uncertainty_score":0.01990736,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06975814659087953,"score_gpt":0.3957318738214263,"score_spread":0.3259737272305468,"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."}}