{"id":"W2981749759","doi":"10.1007/s00165-019-00493-0","title":"Multiple model synchronization with multiary delta lenses with amendment andK-Putput","year":2019,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Compatibility (geochemistry); Binary number; Synchronization (alternating current); Consistency (knowledge bases); Lens (geology); Theory of computation; Composition (language); Underpinning; Theoretical computer science; Through-the-lens metering; Algorithm; Law; Mathematics; Artificial intelligence; Telecommunications; Physics; Arithmetic; Optics; Political science; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001877219,0.0002370458,0.0002808234,0.0001487,0.00009058647,0.00006671008,0.000586222,0.00005715354,0.000001987647],"category_scores_gemma":[0.000004363745,0.0001903694,0.00004063258,0.0002925222,0.00003688295,0.0009049962,0.00035606,0.0001629801,0.000004975463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008442515,"about_ca_system_score_gemma":0.0001056605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003793117,"about_ca_topic_score_gemma":0.000009738407,"domain_scores_codex":[0.9984686,0.00001895655,0.0002871933,0.0003866796,0.000429791,0.0004087165],"domain_scores_gemma":[0.9988956,0.00006456283,0.0002117926,0.0005518707,0.0002004546,0.00007576279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002885471,0.00007295509,0.004714684,0.00010879,0.00003403692,0.000009137015,0.0007835247,0.9234651,0.0004785122,0.04956115,0.00001892942,0.02072429],"study_design_scores_gemma":[0.0006821721,0.0005156276,0.0008949516,0.0002698976,0.000007598823,0.00003402351,0.000008014464,0.9851328,0.01191993,0.0001899645,0.00006937961,0.000275656],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2794679,0.00002368316,0.7193696,0.00002407216,0.00004357661,0.0003002347,0.000002713465,0.0005179154,0.000250269],"genre_scores_gemma":[0.5482979,0.00000148128,0.4516275,0.00002324556,0.00001545517,0.000003286794,0.000006087593,0.0000158022,0.00000922845],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.26883,"threshold_uncertainty_score":0.7763038,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006390746909799914,"score_gpt":0.1971267877601951,"score_spread":0.1907360408503952,"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."}}