{"id":"W1893780431","doi":"10.3233/fi-2000-42103","title":"Models For Dependable Computation with Multiple Inputs and Some Hardness Results","year":2000,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computation; Computer science; Algorithm; Theoretical computer science","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.001304594,0.001337039,0.001383178,0.0009369432,0.001179068,0.002485067,0.002632006,0.002761497,0.006722607],"category_scores_gemma":[0.006598711,0.0007707587,0.002255291,0.001552406,0.002537567,0.005666793,0.002302924,0.003850865,0.0005373299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002116817,"about_ca_system_score_gemma":0.001085025,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002277999,"about_ca_topic_score_gemma":0.001946876,"domain_scores_codex":[0.9981638,0.0004727429,0.00009570634,0.0003586384,0.0006028884,0.0003062597],"domain_scores_gemma":[0.9944927,0.004065322,0.0004743526,0.0005000458,0.0002346013,0.0002330257],"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.00006678872,0.0001006951,0.0002971108,0.0002407304,0.00005502353,0.0002962771,0.0002030923,0.2341708,0.0008245328,0.751618,0.003819033,0.008307771],"study_design_scores_gemma":[0.00003102378,0.00002539163,0.0001003507,0.00002401234,0.00001742417,0.000100859,0.0000426943,0.2440017,0.0003188814,0.7521148,0.003210241,0.00001268874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04728313,0.001966181,0.9127112,0.005361275,0.0001390002,0.0002032683,0.0008794399,0.0003495074,0.03110707],"genre_scores_gemma":[0.8363093,0.004005421,0.1356103,0.001411967,0.0007760137,0.000932679,0.001582297,0.000245895,0.01912611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006722607,"threshold_uncertainty_score":0.02248931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02064399726817953,"score_gpt":0.2481183327975381,"score_spread":0.2274743355293586,"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."}}