{"id":"W1982173925","doi":"10.1007/s10617-014-9156-3","title":"A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools","year":2015,"lang":"en","type":"article","venue":"Design Automation for Embedded Systems","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Representation (politics); Systems engineering; Formalism (music); Formal methods; Software 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":[],"consensus_categories":[],"category_scores_codex":[0.003022566,0.0002037597,0.0003188304,0.0001629955,0.0001181556,0.0002270112,0.0005419589,0.0001610077,0.000001046728],"category_scores_gemma":[0.0005396027,0.0001642133,0.0001142324,0.000298722,0.00004438647,0.0008161094,0.0000272175,0.00008752963,0.000003746649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001163008,"about_ca_system_score_gemma":0.0001627176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007004962,"about_ca_topic_score_gemma":7.735741e-8,"domain_scores_codex":[0.9978195,0.0004765901,0.0006057884,0.0003327201,0.0005012794,0.0002641474],"domain_scores_gemma":[0.9942564,0.003962666,0.0004961652,0.0006789455,0.0005327631,0.0000730607],"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.00009047209,0.00001896211,0.000006588009,0.00003588084,0.00002114238,2.039858e-7,0.001501826,0.8909991,0.0003451008,0.1008406,0.001650501,0.004489658],"study_design_scores_gemma":[0.0007652021,0.0005351153,0.00002290026,0.0001104482,0.00001953843,0.000002046894,0.00007718862,0.9914162,0.004178527,0.001289177,0.001397919,0.0001857554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000110883,0.00004562532,0.9937342,0.00007528114,0.0004409662,0.004738487,0.0000301079,0.0008033811,0.00002101801],"genre_scores_gemma":[0.4586125,5.2219e-7,0.5400631,0.00005690448,0.00005082033,0.001142773,0.00003389872,0.00002027749,0.00001924064],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4585016,"threshold_uncertainty_score":0.6696425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1393975285923845,"score_gpt":0.3423715309493942,"score_spread":0.2029740023570097,"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."}}