{"id":"W2083418238","doi":"10.1109/ccece.2013.6567845","title":"A graphical software tool with integer linear programming for microcontroller input/output interface selection feasibility","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Graphical user interface; Interface (matter); Software; Integer programming; Microcontroller; User interface; XML; Application programming interface; Linear programming; Programming language; Embedded system; Operating system; Algorithm","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.000684736,0.0001940295,0.000216866,0.000116555,0.0001491893,0.0002686808,0.0005477762,0.0001216063,0.00002413842],"category_scores_gemma":[0.0003636327,0.00013888,0.00009328686,0.0005200512,0.00008243965,0.001065157,0.000119184,0.000228259,0.00004330978],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009419113,"about_ca_system_score_gemma":0.00007201518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005869338,"about_ca_topic_score_gemma":0.00002157761,"domain_scores_codex":[0.9983954,0.000111315,0.0003431124,0.0005689659,0.0002085293,0.0003726257],"domain_scores_gemma":[0.9986131,0.0001517106,0.0001265477,0.0004884132,0.0005322912,0.00008797707],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004410942,0.0006703509,0.01894723,0.000213755,0.000141141,8.139202e-7,0.001595726,0.0004079187,0.008204556,0.02654972,0.002086787,0.9407409],"study_design_scores_gemma":[0.003588934,0.002452842,0.02008064,0.00010512,0.00004133416,0.00008617297,0.0001459066,0.9017384,0.04638159,0.009901852,0.01438655,0.001090658],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05747773,0.00001470045,0.9394085,0.0004065062,0.0001423596,0.002029328,7.46364e-7,0.0004659354,0.00005414011],"genre_scores_gemma":[0.2722899,5.709131e-7,0.7266314,0.0001717543,0.00004257079,0.0005031189,0.000001550266,0.00001214398,0.0003469631],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9396502,"threshold_uncertainty_score":0.5663362,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02633969998411374,"score_gpt":0.2969687428821628,"score_spread":0.2706290428980491,"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."}}