{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003053385,0.001590553,0.001045337,0.00148302,0.001400958,0.003714606,0.002680509,0.00130507,0.007035461],"category_scores_gemma":[0.003569698,0.0011016,0.002880063,0.002107331,0.004134661,0.007344269,0.003308219,0.004279519,0.002202698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001916435,"about_ca_system_score_gemma":0.001746638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002916222,"about_ca_topic_score_gemma":0.002969116,"domain_scores_codex":[0.9978704,0.0008846793,0.000218275,0.0003352589,0.0005494073,0.00014183],"domain_scores_gemma":[0.9985261,0.000543296,0.0000747954,0.0005301281,0.0002590898,0.00006655024],"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.00000493774,0.000006247283,0.00002668411,0.00005501828,0.000006636058,0.00003801973,0.0001525775,0.002437929,0.0003029928,0.9845108,0.001015628,0.01144257],"study_design_scores_gemma":[0.000009195298,0.00001191425,0.00002673812,0.00005377494,0.0000202538,0.00008096946,0.00005131666,0.01733478,0.0004434973,0.9428711,0.03908443,0.0000120745],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007825115,0.0003859914,0.9905974,0.000350074,0.00006544339,0.00004337602,0.00009090031,0.0004359048,0.007248363],"genre_scores_gemma":[0.09558379,0.001391346,0.8905886,0.0004082677,0.0002921403,0.0004897153,0.0005898002,0.0005065547,0.01014982],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007035461,"threshold_uncertainty_score":0.02353597,"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."}}