{"id":"W2549747513","doi":"10.1007/978-3-319-47075-7_35","title":"Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring","year":2016,"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":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Executable; Correctness; Liveness; Computer science; Code (set theory); Code generation; Power consumption; Embedded system; Resource (disambiguation); Microcontroller; Real-time computing; Reliability engineering; Distributed computing; Power (physics); Programming language; Engineering; Operating system","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.001003395,0.0008433729,0.0003767577,0.0005012813,0.0004071219,0.0008409735,0.001228474,0.0007704066,0.003587488],"category_scores_gemma":[0.004029382,0.0003612092,0.0005187896,0.0005935254,0.000739991,0.0009618615,0.0006152968,0.0009086845,0.000811821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006014162,"about_ca_system_score_gemma":0.001067867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00449435,"about_ca_topic_score_gemma":0.006153566,"domain_scores_codex":[0.9994123,0.0001864199,0.00004473276,0.0001120241,0.0002073798,0.00003720198],"domain_scores_gemma":[0.9967063,0.002218943,0.0001292279,0.000369819,0.0005183836,0.00005723411],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005031917,0.0002330189,0.004375895,0.001065075,0.0000940837,0.000839351,0.001136715,0.1897049,0.08628917,0.0337471,0.03089836,0.6511131],"study_design_scores_gemma":[0.00007383012,0.0001036675,0.001051136,0.00005086339,0.00003746463,0.0002823092,0.0001095585,0.9080657,0.04907831,0.02475666,0.01635713,0.00003333286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03391806,0.0004192138,0.9395481,0.0006639707,0.00009332487,0.0001413503,0.0005860007,0.02141403,0.003215916],"genre_scores_gemma":[0.2527983,0.0002374591,0.7395343,0.0001468749,0.00003844652,0.0001341421,0.000796518,0.002280246,0.004033773],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00449435,"threshold_uncertainty_score":0.01200134,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06847144322963174,"score_gpt":0.2928264516653117,"score_spread":0.22435500843568,"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."}}