{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005659991,0.0006531409,0.001229528,0.000339603,0.001000764,0.00007588813,0.008442361,0.0009957491,0.004932191],"category_scores_gemma":[0.00009830987,0.0008782501,0.0004860383,0.0003472573,0.0005367757,0.002040039,0.002401494,0.0007630103,0.0004273512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001810917,"about_ca_system_score_gemma":0.00318961,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.0310731,"about_ca_topic_score_gemma":0.09661467,"domain_scores_codex":[0.9967594,0.0001151834,0.0006105416,0.000994298,0.0008492606,0.000671291],"domain_scores_gemma":[0.9947275,0.0007909743,0.001581302,0.001389013,0.001221386,0.0002898225],"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.0005364718,0.0001425263,0.000001656812,0.0003204042,0.0004236183,0.00009209608,0.001535317,0.00009912003,0.00002037169,0.005773329,0.9752325,0.01582258],"study_design_scores_gemma":[0.001632939,0.0004058552,0.0001264437,0.0008963523,0.0001491149,0.00002867712,0.004072281,0.003325569,0.0003681765,0.00002627563,0.9881948,0.0007734736],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0002482294,0.003116313,0.1817461,0.003290519,0.0007838347,0.001876507,0.0003725784,0.0003247323,0.8082412],"genre_scores_gemma":[0.01530001,0.00311762,0.05248118,0.0002254481,0.00005865172,0.000001565806,0.0002356639,0.00005192753,0.928528],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1292649,"threshold_uncertainty_score":0.9993668,"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."}}