{"id":"W31703079","doi":"10.1007/978-3-319-00945-2_50","title":"Shuffle–Based Verification of Component Compatibility","year":2013,"lang":"en","type":"book-chapter","venue":"Advances in intelligent systems and computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Compatibility (geochemistry); Computer science; Petri net; Component (thermodynamics); Backward compatibility; Programming language; Distributed computing; Theoretical computer science; Operating system; Engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009350278,0.0004256469,0.0009308151,0.0003538953,0.00009524724,0.0001243508,0.0009281578,0.0002254021,0.000009716681],"category_scores_gemma":[0.00002609232,0.0004159518,0.0001187112,0.0001269982,0.0001283151,0.0003379353,0.0003307587,0.0003624062,0.00002872267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002192792,"about_ca_system_score_gemma":0.00007285523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001443489,"about_ca_topic_score_gemma":0.00001211574,"domain_scores_codex":[0.9964665,0.0001152838,0.001648443,0.0008920909,0.0005568611,0.0003208702],"domain_scores_gemma":[0.9969088,0.0005157284,0.00117165,0.001030114,0.0002747138,0.00009902532],"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.00001331431,0.00008637996,0.001175546,0.002199818,0.00004836814,0.0000106461,0.0007130777,0.1697794,0.00007311286,0.685966,0.00006033147,0.1398741],"study_design_scores_gemma":[0.0001931826,0.00008030567,0.000103053,0.003584381,0.000009903262,0.00001372626,0.00005673062,0.9744342,0.0001288245,0.004017249,0.01690722,0.0004712229],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001877749,0.02614518,0.9244264,0.00002148459,0.001778919,0.0009099385,0.000008626599,0.0001165722,0.04471507],"genre_scores_gemma":[0.9837,0.0005896894,0.014013,0.00002655418,0.0001275833,0.00001714707,0.00001508041,0.00003466207,0.001476227],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9818223,"threshold_uncertainty_score":0.9998292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03240876495341959,"score_gpt":0.2730974044345399,"score_spread":0.2406886394811203,"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."}}