{"id":"W6989104286","doi":"","title":"Algebraic Processors","year":2007,"lang":"en","type":"dissertation","venue":"MacSphere (McMaster University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Algebraic number; Algebraic operation; Equivalence (formal languages); Algebraic expression; Algebra over a field; Algebraic theory; Task (project management)","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.001628578,0.0007667102,0.0007435863,0.001404446,0.001971015,0.005279248,0.002142189,0.001036619,0.0463661],"category_scores_gemma":[0.006296913,0.0006965001,0.001725256,0.001430564,0.003657526,0.008554055,0.004608774,0.002849607,0.01424279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001675859,"about_ca_system_score_gemma":0.002205886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00102116,"about_ca_topic_score_gemma":0.001280121,"domain_scores_codex":[0.9975148,0.0004916007,0.0002165411,0.0005843216,0.0009128223,0.0002798816],"domain_scores_gemma":[0.9968496,0.000859872,0.0002120031,0.001067678,0.0008671923,0.0001435923],"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.00004667239,0.00002571339,0.0002671973,0.0001842708,0.00001365386,0.00006895357,0.000339183,0.001088668,0.001476555,0.9412928,0.00999151,0.04520484],"study_design_scores_gemma":[0.00004221368,0.00005182566,0.0002271868,0.0001126637,0.00004533382,0.000369398,0.0001941574,0.007673725,0.007569601,0.5265787,0.4571029,0.00003222332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008317026,0.0006921086,0.8002684,0.001418107,0.000547064,0.0003778705,0.0009231662,0.005400448,0.1820558],"genre_scores_gemma":[0.2072265,0.002108279,0.645211,0.001286268,0.0007446587,0.0005914944,0.002953639,0.002838163,0.13704],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0463661,"threshold_uncertainty_score":0.1551101,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01460762346454629,"score_gpt":0.2252731402771258,"score_spread":0.2106655168125795,"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."}}