{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002506228,0.002246441,0.0009160973,0.00224681,0.000647922,0.001820865,0.002515881,0.001106574,0.02952834],"category_scores_gemma":[0.00919405,0.001190019,0.001994917,0.001074198,0.0009207437,0.001603294,0.002121691,0.001844561,0.004806287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006323179,"about_ca_system_score_gemma":0.001588337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001645741,"about_ca_topic_score_gemma":0.002031905,"domain_scores_codex":[0.9976442,0.0007487548,0.0002060099,0.0002776426,0.0009130504,0.0002103971],"domain_scores_gemma":[0.9947648,0.004003364,0.0002728041,0.0002988958,0.000560264,0.00009984655],"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.0009464173,0.0004172487,0.002371052,0.001524676,0.0001727749,0.001346831,0.0006559922,0.319871,0.04235601,0.1005477,0.03868406,0.4911062],"study_design_scores_gemma":[0.0003159266,0.000176028,0.0003058617,0.0002222289,0.00007181546,0.0004220748,0.00007984713,0.8816991,0.02905109,0.03422089,0.0533409,0.00009426838],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.002065844,0.00003921507,0.979528,0.00008804713,0.00002244526,0.00009671811,0.0002392842,0.01408278,0.003837783],"genre_scores_gemma":[0.05278557,0.0001053677,0.9394765,0.0001292088,0.00002476256,0.00060419,0.0008188727,0.003261232,0.002794294],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02952834,"threshold_uncertainty_score":0.09878218,"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."}}