{"id":"W2615016184","doi":"10.1016/s1474-6670(17)36455-8","title":"Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems","year":2003,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Integrable system; Computer science; Focus (optics); Class (philosophy); Hybrid system; Theoretical computer science; Control (management); Nonlinear system; Property (philosophy); Control engineering; Control system; Distributed computing; Algebra over a field; Mathematics; Pure mathematics; Engineering; Artificial intelligence; Physics","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.0008501561,0.0004797061,0.0006938507,0.0006482567,0.000529232,0.002021487,0.0008205426,0.0006625983,0.002857061],"category_scores_gemma":[0.002294608,0.0003756636,0.0008571824,0.0003855401,0.001926162,0.00170789,0.003167992,0.001990989,0.0002459227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009977868,"about_ca_system_score_gemma":0.000524941,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008336544,"about_ca_topic_score_gemma":0.0007033257,"domain_scores_codex":[0.9993316,0.0001419158,0.00004512961,0.00008390804,0.0003039735,0.00009341872],"domain_scores_gemma":[0.9991172,0.0003602801,0.0001198727,0.0001861947,0.00009789806,0.00011863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005018055,0.00002466117,0.0002641412,0.00004140261,0.0000229597,0.0001299713,0.000316293,0.03755147,0.00433075,0.9490702,0.0003236507,0.007874354],"study_design_scores_gemma":[0.00003703003,0.00004607829,0.0002137471,0.00001609698,0.0000179022,0.000101974,0.0001236074,0.3573959,0.001735062,0.6362682,0.004021562,0.00002297292],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08253258,0.0002673042,0.9046655,0.0003291176,0.0001328138,0.00002908109,0.00006743379,0.0003133544,0.01166293],"genre_scores_gemma":[0.9052247,0.0003244025,0.08677618,0.0001059806,0.00006817125,0.00008212552,0.0001136919,0.00009883883,0.007205842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002857061,"threshold_uncertainty_score":0.009557843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02162625134369836,"score_gpt":0.2873041724676733,"score_spread":0.2656779211239749,"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."}}