{"id":"W180856257","doi":"10.5220/0002500101890192","title":"Efficient Interpretation of Large Quantifications in a Process Algebra","year":2006,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Interpreter; Process calculus; Computer science; Interpretation (philosophy); Process (computing); Expression (computer science); Code (set theory); Code generation; Programming language; Algebra over a field; Logarithm; Theoretical computer science; Abstract interpretation; Mathematics; Operating system; Key (lock)","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.005223457,0.0009692486,0.001098415,0.001468526,0.001098384,0.003672446,0.001650276,0.0007936746,0.005470188],"category_scores_gemma":[0.01283438,0.001098636,0.002031998,0.001750623,0.003330505,0.006719564,0.002939835,0.002818155,0.0008459266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001852783,"about_ca_system_score_gemma":0.001802116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002231449,"about_ca_topic_score_gemma":0.002397938,"domain_scores_codex":[0.9941342,0.002123532,0.0004579021,0.0005991234,0.002267028,0.0004182426],"domain_scores_gemma":[0.9929602,0.00460943,0.0004884305,0.0008918768,0.0009394268,0.0001107911],"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.0003798805,0.0001215306,0.0008481378,0.0004697299,0.00009032112,0.0004484807,0.001088059,0.07335224,0.02908618,0.7638237,0.002714627,0.1275771],"study_design_scores_gemma":[0.0001126984,0.00006761434,0.0002154718,0.0000806301,0.00007831501,0.0001588388,0.0001919305,0.4033185,0.04076842,0.5411134,0.01382921,0.00006511865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01143431,0.00009372773,0.9838024,0.0001716343,0.00003230472,0.00007715364,0.00007687608,0.002122561,0.002188874],"genre_scores_gemma":[0.2452837,0.000182633,0.7504423,0.0001338045,0.00006562862,0.0001245156,0.000243453,0.0009965932,0.002527387],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005470188,"threshold_uncertainty_score":0.02762461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004892447387234417,"score_gpt":0.250156475262953,"score_spread":0.2452640278757186,"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."}}