{"id":"W2130788249","doi":"10.1109/icdt.2007.46","title":"Component Compatibility and Its Verification","year":2007,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Compatibility (geochemistry); Computer science; Component (thermodynamics); Petri net; Programming language; Theoretical computer science; Distributed computing; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0008806422,0.00005347621,0.0000738312,0.00004799531,0.00005955699,0.00004729085,0.0002689368,0.00002545351,0.00000421867],"category_scores_gemma":[0.00001995176,0.0000476329,0.00001158287,0.0001546303,0.00001088636,0.0002112258,0.0001097183,0.00004241931,0.00003106977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003502677,"about_ca_system_score_gemma":0.000009853655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001780507,"about_ca_topic_score_gemma":0.000009552622,"domain_scores_codex":[0.9992622,0.00002564862,0.0001849003,0.0002350531,0.0001618868,0.0001302801],"domain_scores_gemma":[0.9994372,0.00008023437,0.00003996031,0.0003201022,0.00005872958,0.00006375841],"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.00001914369,0.0002203088,0.01541735,0.00009005452,0.00002041919,0.00001340176,0.002496373,0.0006488878,0.05606763,0.7904987,0.0005639562,0.1339438],"study_design_scores_gemma":[0.0002139708,0.00002264866,0.07602228,0.00001171852,0.000001282448,0.00001824424,0.00003197466,0.9077117,0.01368965,0.0008891614,0.001246773,0.0001405458],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3612328,0.00009951844,0.6345462,0.0001094723,0.0001212792,0.00006554236,1.716076e-7,0.00009512273,0.003729838],"genre_scores_gemma":[0.9634291,0.000003006527,0.03639774,0.00009037909,0.00001934047,0.000001061019,5.53878e-7,0.000001871588,0.0000569539],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9070629,"threshold_uncertainty_score":0.1942413,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.043679810690436,"score_gpt":0.2839072347002116,"score_spread":0.2402274240097756,"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."}}