{"id":"W2255858640","doi":"","title":"The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Component (thermodynamics); Computer science; Development environment; Rewriting; Architecture; Software engineering; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003116184,0.0002070504,0.0001688246,0.0001240469,0.0008581055,0.0003981577,0.001886122,0.0001411502,0.0001303233],"category_scores_gemma":[0.0002846343,0.000164275,0.00008614094,0.0002984051,0.0002786647,0.000183414,0.0003884884,0.0002904286,0.0003896323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001005994,"about_ca_system_score_gemma":0.00001936847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007376786,"about_ca_topic_score_gemma":0.00006075588,"domain_scores_codex":[0.9960294,0.002136434,0.0003417066,0.0006306514,0.0004216757,0.0004400753],"domain_scores_gemma":[0.9963785,0.0006926173,0.0002562674,0.002418909,0.0001186805,0.0001349752],"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.000001964811,0.0005484032,0.0009812663,0.000007809794,0.00001153248,0.000007899791,0.001112281,0.0001331568,0.0005687631,0.7484549,0.0001708196,0.2480012],"study_design_scores_gemma":[0.001145163,0.00001862688,0.001921467,0.0001045572,0.00002014373,0.00003950377,0.0003048001,0.543384,0.01837506,0.03371321,0.4001842,0.0007893274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003411729,0.001145069,0.8903537,0.02353445,0.0001487723,0.0004677465,0.000002327765,0.000491839,0.08044431],"genre_scores_gemma":[0.9708853,0.0002457886,0.0249474,0.0002100701,0.00001862624,0.0000677709,0.00001433411,0.00001829994,0.003592445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9674735,"threshold_uncertainty_score":0.6698939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01623672130865207,"score_gpt":0.199270213598756,"score_spread":0.1830334922901039,"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."}}