{"id":"W3081143976","doi":"10.14232/actacyb.285246","title":"Interval-Based Simulation of Zélus IVPs using DynIbex","year":2020,"lang":"en","type":"article","venue":"Acta Cybernetica","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Executable; Computer science; Compiler; Programming language; Interval (graph theory); Extension (predicate logic); Workflow; Task (project management); Scripting language; Theoretical computer science; Algorithm; Database; 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.000368466,0.000332656,0.0003097919,0.0003061211,0.0002129265,0.0004589987,0.0006886661,0.0003671407,0.005689556],"category_scores_gemma":[0.001045348,0.0002293208,0.0003887459,0.0001474447,0.0003396513,0.0003584004,0.0006027668,0.0005104252,0.0004415677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003350255,"about_ca_system_score_gemma":0.0005480836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001965285,"about_ca_topic_score_gemma":0.001517994,"domain_scores_codex":[0.9998253,0.00004176876,0.00001266441,0.00002418216,0.00006950001,0.00002660971],"domain_scores_gemma":[0.9995933,0.000239795,0.00003718059,0.00005083569,0.00005779383,0.00002104445],"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.0001334284,0.00003213491,0.001719668,0.0001531129,0.00002297527,0.000132946,0.0001645781,0.9628179,0.007226851,0.01203854,0.001211908,0.01434601],"study_design_scores_gemma":[0.00001937766,0.00004268629,0.0002721662,0.00001663125,0.000006571994,0.00003204919,0.00001888341,0.9888827,0.005419058,0.002022695,0.003259063,0.00000813232],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1771554,0.0001711656,0.789167,0.0001303038,0.0001039454,0.0001243266,0.001029558,0.01252762,0.01959068],"genre_scores_gemma":[0.8332311,0.0001259939,0.1610024,0.00004232067,0.000009545822,0.0002584181,0.0007155357,0.0008857795,0.003728882],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005689556,"threshold_uncertainty_score":0.01903349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05654059433357841,"score_gpt":0.2959740899431766,"score_spread":0.2394334956095982,"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."}}