{"id":"W7062619191","doi":"","title":"Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6 - 9, 2008 ; proceedings","year":2008,"lang":"en","type":"article","venue":"","topic":"Thermal Analysis in Power Transmission","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Work (physics); Set (abstract data type); Field (mathematics); Noise (video)","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.01158971,0.001232576,0.001133946,0.001627159,0.001379019,0.00484125,0.002374854,0.001403444,0.01565361],"category_scores_gemma":[0.02920702,0.001615055,0.0007716655,0.001356388,0.00436139,0.00687843,0.002427078,0.00380118,0.002622284],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002947658,"about_ca_system_score_gemma":0.006765738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01548076,"about_ca_topic_score_gemma":0.02274586,"domain_scores_codex":[0.9892531,0.004118752,0.0006864484,0.0006857565,0.004868372,0.0003875012],"domain_scores_gemma":[0.9720639,0.01519142,0.000512916,0.005350524,0.00627558,0.0006057054],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001064155,0.0007316855,0.003853016,0.001346629,0.0001691379,0.0002228526,0.002142884,0.01767404,0.02161518,0.191366,0.09586813,0.6639463],"study_design_scores_gemma":[0.0006383559,0.001424487,0.005612785,0.001873183,0.0003689557,0.0008644029,0.001905222,0.2979158,0.1128858,0.2267827,0.3495168,0.0002116253],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02048485,0.004545678,0.9427631,0.004352477,0.0008532303,0.0003639536,0.0005925834,0.009257833,0.01678628],"genre_scores_gemma":[0.2297719,0.006763477,0.7171408,0.000647789,0.0003180467,0.0005974369,0.002533888,0.005873799,0.03635287],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01565361,"threshold_uncertainty_score":0.06129295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01506147409314964,"score_gpt":0.2127542311693489,"score_spread":0.1976927570761992,"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."}}