{"id":"W1488127252","doi":"10.1109/etfa.2005.1612748","title":"Generative Programming for Programmable Logic Controllers","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Logic programming; Generative grammar; Programmable logic controller; Inductive programming; Artificial intelligence; Programming paradigm; Operating system","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.0004419701,0.0001399833,0.0001988287,0.00007952226,0.0001788237,0.0003684787,0.000541207,0.0000570611,0.000003323879],"category_scores_gemma":[0.00002804706,0.0001108157,0.0000956689,0.0003100056,0.00002770636,0.0003252317,0.00008818854,0.00005076638,0.00001564718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006479175,"about_ca_system_score_gemma":0.00005992681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006862309,"about_ca_topic_score_gemma":0.00003924237,"domain_scores_codex":[0.9986085,0.00003762438,0.0002873299,0.0004110553,0.0002042147,0.00045124],"domain_scores_gemma":[0.9992458,0.00009972532,0.00009475748,0.0003437602,0.0001646779,0.00005134123],"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.0000116284,0.0001047983,0.0001764676,0.00002438762,0.0000264207,0.000007247811,0.0001089914,0.008323328,0.001045884,0.8921768,0.003930398,0.09406366],"study_design_scores_gemma":[0.001335525,0.0001658164,0.0000130149,0.00001302429,0.000006782069,0.00001413564,0.00003646149,0.9068728,0.00227551,0.03089686,0.05808368,0.000286399],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007192154,0.0002286985,0.9891438,0.0007344952,0.000270733,0.001006506,9.497994e-7,0.0004669175,0.007428669],"genre_scores_gemma":[0.292826,6.420757e-7,0.7040532,0.0001736732,0.0001585062,0.000371528,0.000003334078,0.000008502522,0.00240466],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8985494,"threshold_uncertainty_score":0.4518934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03119445767438018,"score_gpt":0.2690495664781548,"score_spread":0.2378551088037746,"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."}}