{"id":"W4320494682","doi":"10.3390/a16020105","title":"Union Models for Model Families: Efficient Reasoning over Space and Time","year":2023,"lang":"en","type":"article","venue":"Algorithms","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Ontario Tech University","funders":"Natural Sciences and Engineering Research Council of Canada; Ontario Trillium Foundation","keywords":"Computer science; Metamodeling; Representation (politics); Theoretical computer science; Graph; Set (abstract data type); Dimension (graph theory); Artificial intelligence; Mathematics; Programming language","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.0004188181,0.0001596414,0.0001691476,0.0001733004,0.00009897962,0.00008071735,0.0003797847,0.00008097693,6.356852e-7],"category_scores_gemma":[0.000009880584,0.0001604421,0.00004997745,0.000375148,0.00002615191,0.000255539,0.0003164397,0.00008953531,0.00001155929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004840453,"about_ca_system_score_gemma":0.00003168705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002502651,"about_ca_topic_score_gemma":2.436214e-7,"domain_scores_codex":[0.9988607,0.00001818686,0.0001417044,0.0004263241,0.0002226216,0.0003304582],"domain_scores_gemma":[0.9992772,0.00008330632,0.0000391526,0.000450116,0.00006295788,0.0000872279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001422863,0.00001171781,0.000003159261,0.00001703901,0.000008950286,0.000004230556,0.0006814268,0.8019034,0.0002776657,0.1570919,0.001746997,0.03825218],"study_design_scores_gemma":[0.000171902,0.00003875466,0.00002315423,0.00004153865,0.000004299672,0.000005167625,0.000002705731,0.986905,0.0003732362,0.01014437,0.002097248,0.0001925587],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003630541,0.00005802434,0.993687,0.0001631773,0.00009524545,0.0002987174,0.00001392795,0.001895561,0.0001578129],"genre_scores_gemma":[0.02698658,0.00004786856,0.9720172,0.0000454151,0.0000370428,0.00009326822,0.000009560915,0.00003083473,0.0007321976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1850017,"threshold_uncertainty_score":0.6542639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01451568975351779,"score_gpt":0.2445755208529662,"score_spread":0.2300598310994484,"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."}}