{"id":"W2282111065","doi":"10.4230/dagrep.4.10.51","title":"Optimal algorithms and proofs (Dagstuhl Seminar 14421)","year":2015,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Digital Image Processing Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Council for Research in the Social Sciences, Columbia University; Universität Wien; Julius-Maximilians-Universität Würzburg; Université de Fribourg; Kungliga Tekniska Högskolan; University of Toronto; Universität Ulm; University of Leeds; Middlesex University; State University of New York; National Institute of Informatics; Univerzita Karlova v Praze; Technische Universität Chemnitz","keywords":"Mathematical proof; Computer science; Theoretical computer science; Algorithm; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009908968,0.000541903,0.0005363745,0.0003429235,0.0002679585,0.001988159,0.001842865,0.0002508048,0.000003167437],"category_scores_gemma":[0.000250439,0.0004910209,0.0001513818,0.0004870395,0.0002799055,0.006577176,0.001475868,0.0004177157,0.00009179355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001599977,"about_ca_system_score_gemma":0.0002149758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001029276,"about_ca_topic_score_gemma":0.000002239818,"domain_scores_codex":[0.9967392,0.00003263071,0.001021931,0.0004962131,0.0007609181,0.0009490954],"domain_scores_gemma":[0.9972523,0.00009634859,0.0004462476,0.001020669,0.00064072,0.0005436423],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003275744,0.00197331,0.005836748,0.002519671,0.000478677,0.0001468091,0.0585738,0.0002326596,0.0003078103,0.04092453,0.1372459,0.7514325],"study_design_scores_gemma":[0.006658159,0.002430477,0.0003723499,0.0007946363,0.00009556692,0.001341115,0.002332123,0.5989283,0.01955982,0.01988208,0.3446191,0.002986295],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03210787,0.0003087707,0.9484377,0.000791246,0.0006878955,0.001444215,0.0001712316,0.001549872,0.01450122],"genre_scores_gemma":[0.1936907,0.00003318188,0.8032421,0.001220211,0.0001737904,0.0002581998,0.0001418268,0.00007906558,0.001160903],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7484462,"threshold_uncertainty_score":0.9997541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02797773942102074,"score_gpt":0.2809186440718057,"score_spread":0.2529409046507849,"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."}}