{"id":"W1548719679","doi":"10.5555/1357910.1357998","title":"A formalization of global simulation models for continuous/discrete systems","year":2007,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Toolbox; Computer science; Representation (politics); Synchronization (alternating current); Discrete event simulation; Simulation language; Theoretical computer science; Simulation modeling; Continuous modelling; Distributed computing; Formal verification; Systems simulation; Discrete modelling; Discrete system; Programming language; Simulation; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002330296,0.001148796,0.0006338817,0.0008186011,0.0005076097,0.002302809,0.001322699,0.00107902,0.004026083],"category_scores_gemma":[0.003493312,0.0005110968,0.001647778,0.0006303486,0.002553489,0.002622838,0.001613898,0.002787551,0.000865889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001022228,"about_ca_system_score_gemma":0.001496809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001752893,"about_ca_topic_score_gemma":0.001201261,"domain_scores_codex":[0.998143,0.0005824684,0.0001925865,0.0003140965,0.0006050068,0.0001628157],"domain_scores_gemma":[0.9983591,0.0007863275,0.0001579914,0.000360345,0.0002697336,0.00006639756],"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.00003731509,0.0000359054,0.0002199103,0.0001594319,0.00002312441,0.000181674,0.0003228995,0.0573795,0.005174824,0.9235039,0.0007557323,0.01220573],"study_design_scores_gemma":[0.00007011944,0.0001625905,0.0002457432,0.0002115439,0.0001054589,0.0003952878,0.0001234959,0.4541033,0.01325906,0.4664918,0.06478099,0.00005068512],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001944537,0.0001394897,0.9942124,0.00009905289,0.00003905343,0.00004292437,0.00007490264,0.0003189712,0.003128661],"genre_scores_gemma":[0.3239143,0.001096744,0.6667036,0.0003056715,0.0001783859,0.0007034728,0.0007394293,0.0003864242,0.005971956],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004026083,"threshold_uncertainty_score":0.01346862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1376046375673957,"score_gpt":0.4649588592908527,"score_spread":0.327354221723457,"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."}}