{"id":"W2034471623","doi":"10.4204/eptcs.77.5","title":"Initial Semantics for Strengthened Signatures","year":2012,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"European Regional Development Fund; Eesti Teadusfondi; McGill University; Villum Fonden","keywords":"Arity; Semantics (computer science); Syntax; Modular design; Signature (topology); Abstract syntax","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005364103,0.0009187414,0.0008392476,0.002460071,0.001811407,0.004937746,0.002955842,0.001706439,0.00810806],"category_scores_gemma":[0.00720799,0.0007986744,0.002609987,0.001449381,0.004805696,0.01394694,0.007803153,0.00491393,0.002310981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002633155,"about_ca_system_score_gemma":0.002329066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001211555,"about_ca_topic_score_gemma":0.001115312,"domain_scores_codex":[0.9946797,0.001147058,0.0006592327,0.0009297953,0.001837074,0.0007470171],"domain_scores_gemma":[0.9948429,0.001281623,0.0004479795,0.001481247,0.001575091,0.0003711956],"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.00003623529,0.00001943363,0.0001718537,0.00007666478,0.00001469314,0.00009832159,0.0006570003,0.0006924408,0.002393137,0.9884142,0.0005831729,0.006842915],"study_design_scores_gemma":[0.00002847928,0.00007113436,0.0002203109,0.00009180615,0.00007108953,0.000264324,0.0002129222,0.008297171,0.00727489,0.9437552,0.03964558,0.00006721148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04579498,0.0007432999,0.909915,0.001314264,0.0004353365,0.0001546287,0.0005431845,0.00170216,0.03939714],"genre_scores_gemma":[0.5879666,0.0009928538,0.3766401,0.001396346,0.0006730075,0.0005643459,0.0009447162,0.001207507,0.02961444],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00810806,"threshold_uncertainty_score":0.02836841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01114818797802225,"score_gpt":0.2668316497745944,"score_spread":0.2556834617965721,"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."}}