{"id":"W3120511988","doi":"","title":"Modelling and Verification of Compatibility of Component Composition","year":2004,"lang":"en","type":"other","venue":"Memorial University Research Repository (Memorial University)","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; Petri net; Component (thermodynamics); Programming language; Theoretical computer science; Set (abstract data type); Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005520336,0.0009279422,0.00070037,0.001445572,0.001146095,0.002914921,0.00244464,0.001665656,0.002415012],"category_scores_gemma":[0.0162471,0.001064684,0.001420044,0.0008095387,0.003441922,0.002954215,0.003038227,0.00152368,0.0006006781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001714137,"about_ca_system_score_gemma":0.00397754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00775393,"about_ca_topic_score_gemma":0.005144024,"domain_scores_codex":[0.9911106,0.00307786,0.0006865123,0.001039862,0.003520666,0.000564515],"domain_scores_gemma":[0.9900594,0.005842235,0.001072122,0.001381429,0.001415702,0.0002290676],"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.0005049136,0.000287319,0.005603326,0.0004308284,0.0001482453,0.003104253,0.002620399,0.3401597,0.03599748,0.5563368,0.001586555,0.05322025],"study_design_scores_gemma":[0.0001086369,0.0001708562,0.0005598763,0.0001215635,0.0000852092,0.0004825671,0.000235535,0.828277,0.03966539,0.1137657,0.01646658,0.00006120531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05383936,0.0001266875,0.9357387,0.0002162891,0.00005751623,0.0003065802,0.00009192689,0.001403224,0.008219569],"genre_scores_gemma":[0.539997,0.0002383785,0.453568,0.00008852726,0.00003968892,0.0005488868,0.000293737,0.000306602,0.004919073],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00775393,"threshold_uncertainty_score":0.02919465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04796937265302466,"score_gpt":0.2619330427342637,"score_spread":0.2139636700812391,"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."}}