{"id":"W7033459015","doi":"","title":"Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems:FMWS’08 Toronto, Canada 23 August 2008","year":2008,"lang":"en","type":"book","venue":"IT University Of Copenhagen (IT University of Copenhagen)","topic":"Bluetooth and Wireless Communication Technologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Formal methods; Government (linguistics); Work (physics); Agency (philosophy)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002979289,0.00200708,0.001142651,0.00131943,0.001626786,0.004723283,0.002046871,0.001392924,0.117569],"category_scores_gemma":[0.00415431,0.0008933226,0.000886132,0.001956576,0.001961869,0.00209032,0.001808345,0.002549576,0.02688102],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01229697,"about_ca_system_score_gemma":0.01095361,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.1902072,"about_ca_topic_score_gemma":0.3015645,"domain_scores_codex":[0.9981911,0.0002671109,0.00007694949,0.0003033915,0.000966205,0.0001952107],"domain_scores_gemma":[0.9975575,0.0004544078,0.00004697872,0.0002648107,0.001386312,0.0002899365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009259532,0.00005311904,0.0002863239,0.0003977569,0.00002482432,0.0001542251,0.0009059958,0.002540773,0.001971284,0.04359528,0.6968238,0.2531539],"study_design_scores_gemma":[0.00001520392,0.00002090041,0.0003719307,0.0001873571,0.00001218602,0.000109831,0.000154008,0.002642409,0.0007872118,0.007540398,0.9881395,0.00001913682],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003997648,0.04301352,0.6540281,0.01812576,0.01860969,0.000612811,0.005135518,0.007126031,0.2493511],"genre_scores_gemma":[0.01624965,0.01676007,0.1174602,0.001028528,0.001878288,0.0004190862,0.007046975,0.002770094,0.8363872],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8097928,"threshold_uncertainty_score":0.3933076,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02219341075597075,"score_gpt":0.2420447749393687,"score_spread":0.2198513641833979,"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."}}