{"id":"W2010112143","doi":"10.1007/s10990-005-4877-4","title":"BIT: A Very Compact Scheme System for Microcontrollers","year":2005,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; Université Laval","keywords":"Microcontroller; Scheme (mathematics); Bit (key); Computer science; Arithmetic; Computer hardware; Embedded system; Mathematics; Computer network","routes":{"ca_aff":true,"ca_fund":true,"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.0003908286,0.000162368,0.0002961541,0.0001782409,0.0001536783,0.0002365402,0.0002761066,0.00008265163,6.410542e-7],"category_scores_gemma":[0.00001526798,0.0001539837,0.00008073828,0.0001918551,0.00002444678,0.0004289431,0.00004568594,0.00007307134,0.00001366853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009600079,"about_ca_system_score_gemma":0.00004440443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000348637,"about_ca_topic_score_gemma":0.000005660906,"domain_scores_codex":[0.998826,0.00008116302,0.0003389129,0.0003434635,0.0001631299,0.0002472786],"domain_scores_gemma":[0.9992294,0.0001898102,0.0001441587,0.0002283509,0.0001123321,0.00009596656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001925197,0.0003561975,0.002533974,0.001438319,0.0003740356,0.0000220855,0.01315402,0.004911689,0.09543225,0.4420194,0.04987057,0.3896949],"study_design_scores_gemma":[0.001440907,0.0001409769,0.001134756,0.0001433418,0.00001318028,0.00007915756,0.0001206974,0.9827495,0.005507709,0.001274557,0.007079342,0.0003158343],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05771049,0.0003962116,0.9382672,0.0006467038,0.0001915973,0.0007597035,0.000004682397,0.0006513417,0.001372104],"genre_scores_gemma":[0.9105362,0.000005153296,0.08892948,0.0001806974,0.0001986152,0.00004611231,0.00000608894,0.0000123887,0.00008528818],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9778379,"threshold_uncertainty_score":0.6279274,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01446104556126964,"score_gpt":0.2639002782903432,"score_spread":0.2494392327290735,"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."}}