{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003658343,0.0009272273,0.001460226,0.001792768,0.001250691,0.005773129,0.003365016,0.001168667,0.01363596],"category_scores_gemma":[0.007946177,0.001923969,0.003385532,0.003462818,0.002380429,0.01434382,0.005023402,0.005063387,0.00552245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001578562,"about_ca_system_score_gemma":0.001779595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001599525,"about_ca_topic_score_gemma":0.001575934,"domain_scores_codex":[0.9952801,0.0008845422,0.0008515212,0.0009482945,0.001646986,0.0003886195],"domain_scores_gemma":[0.9957758,0.001962181,0.0002258384,0.001385793,0.0005350712,0.0001153033],"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.00009757634,0.00006702309,0.0003034531,0.0002854647,0.00005060428,0.00009993757,0.0007439167,0.004342597,0.004624648,0.7591548,0.006185212,0.2240448],"study_design_scores_gemma":[0.00006685526,0.00005829623,0.0002696161,0.0002964778,0.0001489872,0.0001979664,0.0002084135,0.04770372,0.02799368,0.772764,0.1502224,0.00006955806],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005955491,0.0007494869,0.9698884,0.0002998535,0.0001863316,0.00007710723,0.0001210391,0.004919028,0.01780315],"genre_scores_gemma":[0.09469613,0.001414228,0.8633639,0.0004495666,0.000313323,0.000288038,0.0008791608,0.00366945,0.03492615],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01363596,"threshold_uncertainty_score":0.04561687,"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."}}