{"id":"W120358129","doi":"10.3233/jcm-2006-6s107","title":"Generating Maude formal specifications from AUML diagrams","year":2006,"lang":"en","type":"article","venue":"Journal of Computational Methods in Sciences and Engineering","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Computer science; Programming language","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.003739699,0.0009090794,0.0004942257,0.001695224,0.0007641318,0.002151596,0.002018111,0.001167798,0.004221148],"category_scores_gemma":[0.01342709,0.001053885,0.001734235,0.0006227559,0.001138089,0.001874687,0.002050547,0.001954251,0.001557001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001131628,"about_ca_system_score_gemma":0.002268415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00409502,"about_ca_topic_score_gemma":0.004578141,"domain_scores_codex":[0.996137,0.00156538,0.0003202245,0.000391987,0.00138568,0.0001996809],"domain_scores_gemma":[0.9945422,0.003244101,0.0003841376,0.0007423685,0.00100237,0.00008471107],"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.0001386306,0.000102574,0.001216268,0.0006968091,0.00008328494,0.0009674716,0.002241091,0.07435843,0.02218905,0.7975867,0.00574299,0.09467666],"study_design_scores_gemma":[0.000168348,0.0001523043,0.0003837743,0.0004024617,0.0001249386,0.0008637948,0.0005793415,0.4246033,0.0785581,0.2304369,0.2635963,0.0001304391],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002405357,0.00005584282,0.9941058,0.00008124346,0.00002730869,0.0001387689,0.0002466979,0.001255786,0.001683115],"genre_scores_gemma":[0.0427455,0.0002177034,0.9520072,0.00008450288,0.00001636038,0.000506085,0.00112913,0.0006281857,0.002665272],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004221148,"threshold_uncertainty_score":0.01977766,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06425205886490312,"score_gpt":0.3382258259840847,"score_spread":0.2739737671191815,"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."}}