{"id":"W131783155","doi":"","title":"Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation","year":2012,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Symbolic computation; Symbolic-numeric computation; Computer science; Computation; Algebraic number; Theoretical computer science; Symbolic data analysis; Symbolic trajectory evaluation; The Symbolic; Algorithm; Mathematics; Model checking","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.004315887,0.001580313,0.001902047,0.001508311,0.001569509,0.006201982,0.00250381,0.002236959,0.04778497],"category_scores_gemma":[0.007816777,0.0007180575,0.001399097,0.001631147,0.001708868,0.004310429,0.003505345,0.004033589,0.01905715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001750953,"about_ca_system_score_gemma":0.003188478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002748745,"about_ca_topic_score_gemma":0.00412457,"domain_scores_codex":[0.9975272,0.0008015271,0.0002035784,0.0003489846,0.000900934,0.0002178598],"domain_scores_gemma":[0.9960069,0.001136148,0.0000891263,0.000944302,0.001422516,0.0004009806],"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.0007618175,0.0002783434,0.001006302,0.0007354388,0.0001843054,0.0005565664,0.0007251038,0.01226383,0.005918085,0.09847055,0.5229095,0.3561902],"study_design_scores_gemma":[0.0000819069,0.0001140663,0.0008220721,0.0004373501,0.00009966182,0.0004958223,0.0002300749,0.03981846,0.005120625,0.06417354,0.8885351,0.0000712361],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0141416,0.04357027,0.6265817,0.0298063,0.05246701,0.000522056,0.001845121,0.004498436,0.2265676],"genre_scores_gemma":[0.1598039,0.04270046,0.3570105,0.004084411,0.01740841,0.0009570629,0.01439271,0.004115366,0.3995272],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04778497,"threshold_uncertainty_score":0.1598566,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02013663726247937,"score_gpt":0.2712026100672826,"score_spread":0.2510659728048033,"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."}}