{"id":"W2159356489","doi":"10.1023/b:aurc.0000030902.91316.b9","title":"Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Arithmetic function; Linearization; Logical data model; Very-large-scale integration; Computer science; Logical conjunction; Theoretical computer science; Arithmetic; Control (management); Mathematics; Algebra over a field; Pure mathematics; Nonlinear system; Programming language; Discrete mathematics; Artificial intelligence; Software engineering; Embedded system; Data modeling","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.006596037,0.001693944,0.001756771,0.002495632,0.002475558,0.0057355,0.003242793,0.003302283,0.003900021],"category_scores_gemma":[0.01534464,0.0008210466,0.002049105,0.001618007,0.01863383,0.01711727,0.003981192,0.008826443,0.001081447],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002651294,"about_ca_system_score_gemma":0.002140166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00117078,"about_ca_topic_score_gemma":0.0007878825,"domain_scores_codex":[0.9965404,0.001328114,0.0002305067,0.0005968739,0.001037003,0.000267125],"domain_scores_gemma":[0.992251,0.006077957,0.0003115734,0.00084129,0.0003782871,0.0001399626],"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.00001625792,0.00000400688,0.00003204922,0.00003917753,0.000006154424,0.0000305999,0.0001444094,0.0005028535,0.00009847793,0.9928203,0.001115536,0.005190086],"study_design_scores_gemma":[0.00001576323,0.000012571,0.00002026814,0.00002647289,0.000006919353,0.00004211062,0.00002613723,0.002079021,0.0005102303,0.9857658,0.01148476,0.000009977408],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008054391,0.00943348,0.944681,0.006215661,0.001392788,0.00005852347,0.000141494,0.0005227008,0.02950001],"genre_scores_gemma":[0.5016046,0.01454044,0.4424421,0.00693287,0.003512115,0.0007653147,0.0002938754,0.0007017989,0.02920692],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006596037,"threshold_uncertainty_score":0.03488362,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04248148558181747,"score_gpt":0.3155178514476328,"score_spread":0.2730363658658154,"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."}}