{"id":"W984026403","doi":"","title":"Abstract Acceleration in Linear relation analysis (extended version)","year":2013,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Emera (Canada)","funders":"","keywords":"Acceleration; Relation (database); Linear acceleration; Mathematics; Computer science; Physics; Classical mechanics; Data mining","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.007821565,0.0003566286,0.0004631479,0.0009244266,0.0002628522,0.0007011658,0.00235682,0.0004890246,0.0002006836],"category_scores_gemma":[0.00174154,0.0003990272,0.0002906175,0.001821961,0.0001105935,0.001054938,0.001464043,0.0009672382,0.0002131702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000323414,"about_ca_system_score_gemma":0.0002597554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001528186,"about_ca_topic_score_gemma":0.0006906533,"domain_scores_codex":[0.9928049,0.004123847,0.0009169921,0.001120864,0.0006581335,0.0003752206],"domain_scores_gemma":[0.9929202,0.0008760819,0.0008996775,0.003278496,0.001867235,0.0001583274],"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.00003404307,0.001830214,0.01370545,0.0003826576,0.0006083184,0.00001367562,0.02097628,0.02006237,0.006462186,0.6858788,0.001233237,0.2488128],"study_design_scores_gemma":[0.0003319786,3.66783e-7,0.2287449,0.0003830375,0.00006817126,0.000001706679,0.00003170607,0.7480623,0.01231497,0.008522208,0.001097054,0.0004415303],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1185895,0.0002078158,0.8604496,0.003041588,0.0004344909,0.0005576522,0.00001413779,0.0003149643,0.01639022],"genre_scores_gemma":[0.5153415,0.0001753498,0.4828466,0.0000466764,0.00001684033,0.00008219761,0.0004077929,0.00001916816,0.001063862],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.728,"threshold_uncertainty_score":0.9998462,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02519061736080492,"score_gpt":0.2714493942609802,"score_spread":0.2462587769001753,"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."}}