{"id":"W2076508696","doi":"10.1016/j.tcs.2005.11.008","title":"Efficient transitive closure of sparse matrices over closed semirings","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Transitive closure; Semiring; Transitive relation; Closure (psychology); Transitive reduction; Kleene algebra; Mathematics; Data structure; Sparse matrix; Combinatorics; Computer science; Discrete mathematics; Algorithm; Programming language","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.00199593,0.000918467,0.001713963,0.001095519,0.001102921,0.003505951,0.001512754,0.0007561313,0.006558189],"category_scores_gemma":[0.01176098,0.000886368,0.001346836,0.001829659,0.001367363,0.005809347,0.00318007,0.00219383,0.001049469],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001042009,"about_ca_system_score_gemma":0.001786402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002077866,"about_ca_topic_score_gemma":0.004236954,"domain_scores_codex":[0.9958251,0.00114084,0.0002946865,0.0006804703,0.001459709,0.0005993574],"domain_scores_gemma":[0.9879308,0.006780002,0.001021926,0.002587593,0.001158278,0.0005215194],"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.0009051951,0.0005143107,0.001379718,0.0006404892,0.0001132811,0.0004186368,0.001585255,0.06726913,0.026742,0.5990086,0.01942326,0.2820001],"study_design_scores_gemma":[0.0001276794,0.0003147424,0.0003762119,0.00007173683,0.00004686516,0.000325024,0.0005875605,0.2493005,0.01803195,0.720776,0.009996957,0.00004482464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1250992,0.0003558556,0.8597741,0.0006585816,0.0001094875,0.0002858118,0.001277824,0.002025853,0.01041332],"genre_scores_gemma":[0.6596569,0.0003893478,0.3280767,0.0002195558,0.0001542639,0.0002207691,0.00270681,0.0006681134,0.007907495],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006558189,"threshold_uncertainty_score":0.02193928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005652773324240412,"score_gpt":0.2308221720461556,"score_spread":0.2251693987219152,"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."}}