{"id":"W1775126135","doi":"10.1007/978-3-540-77442-6_8","title":"Unification of Arrays in Spreadsheets with Logic Programming","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Spreadsheets and End-User Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Unification; Computer science; Template; Matching (statistics); Programming language; Logic programming; Key (lock); Theoretical computer science; Generic programming; Data structure; Focus (optics); Algorithm; Mathematics","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.001414874,0.0004997122,0.0005940851,0.001366941,0.000121144,0.0002939466,0.002813587,0.0002928936,0.000009967408],"category_scores_gemma":[0.00005235552,0.0004176115,0.0000856472,0.001356926,0.0005897423,0.0005416538,0.0007388929,0.000744679,0.00001089882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002728483,"about_ca_system_score_gemma":0.000407545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009292913,"about_ca_topic_score_gemma":0.0002872453,"domain_scores_codex":[0.9960041,0.00003201082,0.0007247724,0.001432772,0.00102606,0.0007802799],"domain_scores_gemma":[0.9973826,0.0003379124,0.0004816198,0.001348771,0.0003104679,0.000138655],"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.00001407475,0.0000739669,0.0007154098,0.00007939754,0.000009669021,0.0001311024,0.001518577,0.08095565,0.0001675331,0.04505648,0.00000267275,0.8712755],"study_design_scores_gemma":[0.001063815,0.0008946178,0.003799496,0.002795937,0.0000189869,0.0002299016,0.000002507981,0.8774604,0.004259499,0.1059861,0.001665958,0.001822777],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000609308,0.0002167673,0.9905251,0.0002662614,0.0005586832,0.0004640444,0.000001220398,0.0001324128,0.007226266],"genre_scores_gemma":[0.3423813,0.00001361774,0.657125,0.0002344658,0.0001535914,0.000005428232,0.000004228301,0.00002768351,0.00005468358],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8694527,"threshold_uncertainty_score":0.9998276,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03158209850135571,"score_gpt":0.2627877266648067,"score_spread":0.2312056281634509,"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."}}