{"id":"W844332498","doi":"10.1007/978-3-662-46675-9_9","title":"A Generalized Formal Framework for Partial Modeling","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Formalism (music); Semantics (computer science); Granularity; Modeling language; Formal semantics (linguistics); Theoretical computer science; Formal methods; Formal specification; Programming language; Focus (optics); Software; Software engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00128425,0.0005960346,0.0006340962,0.0006300258,0.0002029304,0.0004457755,0.003623921,0.0005668802,0.000005468795],"category_scores_gemma":[0.00006944281,0.0005747158,0.000201167,0.0003482906,0.000215015,0.0008774024,0.001499058,0.0008168491,0.000009484154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003859916,"about_ca_system_score_gemma":0.0005917061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001365824,"about_ca_topic_score_gemma":0.000008222001,"domain_scores_codex":[0.996012,0.00001916618,0.000588007,0.001439788,0.0009810948,0.0009599049],"domain_scores_gemma":[0.997236,0.0002263525,0.0002042313,0.001621842,0.0004527219,0.0002588274],"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.000005543318,0.0000071257,9.97389e-7,0.00001925371,0.000005526374,0.000009250739,0.0002488473,0.3732737,0.000008689151,0.401447,0.00001792309,0.2249562],"study_design_scores_gemma":[0.0001426662,0.00009649956,1.856035e-7,0.0001924313,0.000004802655,0.00001740298,8.446996e-9,0.6017429,0.0002310616,0.3937903,0.003375241,0.0004064825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002461867,0.0004042058,0.9958307,0.0003373903,0.001724833,0.0007163615,0.00001006149,0.0008525647,0.00009922785],"genre_scores_gemma":[0.01192676,0.00001739876,0.9865264,0.0004579938,0.0008720333,0.00007288766,0.000007295673,0.00005939663,0.00005983473],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2284692,"threshold_uncertainty_score":0.9996704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04429867629019905,"score_gpt":0.2855968262878982,"score_spread":0.2412981499976992,"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."}}