{"id":"W2984750599","doi":"10.1007/978-3-030-34365-1_1","title":"Declarative Approach to Model Checking for Context-Aware Applications","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","topic":"Context-Aware Activity Recognition Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Context (archaeology); Programming language; Cognitive science; Psychology; History","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.006081346,0.001665903,0.001454769,0.001707906,0.001270693,0.006116279,0.006962118,0.002043314,0.004059081],"category_scores_gemma":[0.01524153,0.00247536,0.003441174,0.001430905,0.003038314,0.006891279,0.004536332,0.006233776,0.001297052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001633834,"about_ca_system_score_gemma":0.003852155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007278265,"about_ca_topic_score_gemma":0.01120421,"domain_scores_codex":[0.9919337,0.002576349,0.0009973051,0.0008983556,0.002947286,0.000646883],"domain_scores_gemma":[0.9893712,0.006034647,0.0005047556,0.002490738,0.001424392,0.0001742159],"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.0003777533,0.0005863185,0.002231398,0.001501839,0.0005097464,0.0008233699,0.001418033,0.1786364,0.01683029,0.5879141,0.01554325,0.1936275],"study_design_scores_gemma":[0.00007272356,0.00008863291,0.0002443054,0.0002644743,0.0002819019,0.0002909601,0.0001877059,0.6426978,0.01897756,0.3141193,0.02270037,0.00007429899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001755862,0.0001716761,0.9936627,0.0002371514,0.00004234062,0.00009987824,0.0001728055,0.002597013,0.00126052],"genre_scores_gemma":[0.1100253,0.0004919449,0.8830862,0.0006850554,0.0001152913,0.0003918317,0.001020083,0.001019484,0.003164856],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007278265,"threshold_uncertainty_score":0.03216159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05174079150478006,"score_gpt":0.2620212517529067,"score_spread":0.2102804602481267,"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."}}