{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001247786,0.001012863,0.0006431466,0.001090293,0.0004692343,0.002010515,0.00108408,0.0005701621,0.02344269],"category_scores_gemma":[0.004064054,0.0004652601,0.001489695,0.001566273,0.002140799,0.003760069,0.00220475,0.002873816,0.006074924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001044817,"about_ca_system_score_gemma":0.0008094123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001380446,"about_ca_topic_score_gemma":0.001045002,"domain_scores_codex":[0.998334,0.00038256,0.0001303188,0.0004134728,0.000603582,0.0001361147],"domain_scores_gemma":[0.9983991,0.0007156862,0.0001216774,0.000418072,0.0003002519,0.00004524622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001282923,0.00003966102,0.0003674861,0.0005274593,0.00003755768,0.0002332744,0.0006062647,0.01713065,0.005919067,0.8070521,0.01426539,0.1536929],"study_design_scores_gemma":[0.00003680275,0.00009131616,0.0003314235,0.0001382882,0.00004140702,0.0002398761,0.00007114273,0.06559946,0.007928274,0.8077799,0.1176977,0.00004446148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006170287,0.001039034,0.9728291,0.0007125147,0.0004254064,0.00005570484,0.0003772241,0.002245131,0.01614559],"genre_scores_gemma":[0.3012342,0.0024909,0.6446434,0.001134213,0.001371144,0.0003818214,0.001544807,0.002072635,0.04512692],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02344269,"threshold_uncertainty_score":0.07842362,"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."}}