{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000178299,0.00006546369,0.00006954055,0.00007007,0.00005519168,0.00004536367,0.0005392624,0.00003050101,0.00001563288],"category_scores_gemma":[0.00002182997,0.00004425828,0.00004066571,0.0002099979,0.00002202668,0.0002940331,0.000176775,0.00006858465,0.00002362365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002016898,"about_ca_system_score_gemma":0.00000968019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005567049,"about_ca_topic_score_gemma":8.778976e-8,"domain_scores_codex":[0.9993992,0.00001033292,0.0001457824,0.0001126454,0.000211904,0.0001201259],"domain_scores_gemma":[0.9996042,0.00004036526,0.0001158157,0.00009915845,0.000108361,0.00003211863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001394732,0.0004843008,0.04312682,0.00001718788,0.00004852018,1.375609e-7,0.002603685,0.01007167,0.000931982,0.7733248,0.07674331,0.09263368],"study_design_scores_gemma":[0.0004592377,0.000083027,0.1967084,0.0001327636,0.00001020706,0.00002481576,0.0001101735,0.7557046,0.02940851,0.009003676,0.00788454,0.0004701343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02505898,0.00002131338,0.899956,0.001440817,0.0005884907,0.0001189419,2.770267e-7,0.0002848282,0.07253028],"genre_scores_gemma":[0.916298,0.000005226764,0.0823401,0.0003875376,0.00006148845,0.000003951528,4.8739e-7,0.00000364466,0.0008996059],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.891239,"threshold_uncertainty_score":0.18048,"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."}}