{"id":"W2109627209","doi":"10.1109/icdar.1995.601962","title":"Analyzing the logical structure of data flow diagrams in software documents","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Diagrammatic reasoning; Data flow diagram; Computer science; Logical data model; Concurrency; Formalism (music); Data structure; Theoretical computer science; Notation; Software; Programming language; Flowchart; Equivalence (formal languages); Data modeling; Algorithm; Software engineering; Mathematics; Database; Discrete 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":[],"consensus_categories":[],"category_scores_codex":[0.0003245493,0.0000628628,0.0000891547,0.00004000445,0.00003712331,0.00005518289,0.002036724,0.00004089176,0.0001543048],"category_scores_gemma":[0.0002180591,0.00003655879,0.00001580965,0.0004331542,0.00004218282,0.000718092,0.0005639232,0.0001148715,0.000009457604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001478384,"about_ca_system_score_gemma":0.000004816401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002297918,"about_ca_topic_score_gemma":0.00002291773,"domain_scores_codex":[0.9991572,0.0001146874,0.0001911787,0.00024057,0.0001652453,0.0001311296],"domain_scores_gemma":[0.998602,0.00009917985,0.00006165283,0.001192125,0.00002223637,0.00002285928],"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.000002249216,0.00005924824,0.01834469,0.00001350654,0.00001154186,0.00000281421,0.0005824972,0.0007606798,0.0004166616,0.02760083,0.001044434,0.9511608],"study_design_scores_gemma":[0.0001642548,0.0000299287,0.02477204,0.00001185728,0.000003612456,0.000005643793,0.00002000592,0.9642364,0.001469222,0.008234823,0.0009413779,0.0001107894],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01423565,0.0001145028,0.9848465,0.0002069318,0.0001155704,0.00009117956,0.000005191808,0.00003896299,0.0003454837],"genre_scores_gemma":[0.3728744,0.00001519944,0.6270027,0.00005541045,0.00001176542,8.500145e-7,0.000003447638,0.0000015525,0.00003471627],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9634758,"threshold_uncertainty_score":0.3784774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08355708970866374,"score_gpt":0.3258790509264552,"score_spread":0.2423219612177915,"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."}}