{"id":"W2612445428","doi":"","title":"Strongly Connected Components in graphs, formal proof of Tarjan1972 algorithm","year":2016,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"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.002342518,0.001007771,0.0004854794,0.001990445,0.001607856,0.00257284,0.00171108,0.00117068,0.01211008],"category_scores_gemma":[0.0113753,0.001063086,0.001848205,0.001474934,0.003979219,0.003876553,0.003031523,0.004021401,0.002096219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002198396,"about_ca_system_score_gemma":0.003042447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004046198,"about_ca_topic_score_gemma":0.006046058,"domain_scores_codex":[0.9984165,0.0003702494,0.0000925741,0.0003481001,0.0006180038,0.0001546021],"domain_scores_gemma":[0.9950192,0.003121082,0.0001867501,0.0005747307,0.0009373982,0.0001608341],"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.00009396396,0.0001462608,0.0008436538,0.0004207548,0.00003155664,0.0003537138,0.001112437,0.01332703,0.005705032,0.9138345,0.01036841,0.05376264],"study_design_scores_gemma":[0.000138849,0.0001274251,0.0009030566,0.0002700818,0.00006909588,0.0004656138,0.0003021133,0.05168779,0.01283627,0.8488411,0.08428674,0.00007197852],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0229564,0.001012354,0.9314109,0.00285839,0.0004044579,0.0003091557,0.0005294368,0.00236066,0.03815825],"genre_scores_gemma":[0.2600585,0.001670737,0.7090066,0.001026383,0.0003200587,0.0008251303,0.001030272,0.000908804,0.0251535],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01211008,"threshold_uncertainty_score":0.04051226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02896939037415305,"score_gpt":0.262117333551516,"score_spread":0.233147943177363,"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."}}