{"id":"W2418666916","doi":"10.22215/etd/2005-06597","title":"Compliance verification of a design model with respect to its specification model in the context of software defined radios : a model transformation approach","year":2005,"lang":"en","type":"dissertation","venue":"","topic":"Digital Rights Management and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Communications Research Centre Canada; Canadian Heritage; Communications and Information Technology Ontario; Library and Archives Canada; Natural Sciences and Engineering Research Council of Canada","funders":"","keywords":"Context (archaeology); Transformation (genetics); Computer science; Software; Operating system; Geography","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.0005121803,0.0002867869,0.0003933374,0.000374954,0.00006236232,0.0001157222,0.00122525,0.0001242705,0.000001145135],"category_scores_gemma":[0.00002367302,0.0002013532,0.00008684253,0.0007017971,0.00002616033,0.001162821,0.00001805736,0.0001636341,0.000004845574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009284673,"about_ca_system_score_gemma":0.0002301669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000130226,"about_ca_topic_score_gemma":0.0001784673,"domain_scores_codex":[0.9978158,0.0000684812,0.0006973992,0.0004963257,0.0007029724,0.0002190194],"domain_scores_gemma":[0.9985068,0.00006255577,0.0003975554,0.0006541398,0.0003336078,0.00004537765],"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.0003190667,0.0002938914,7.300749e-7,0.0002314482,0.00001531022,1.661646e-7,0.01849964,0.6244203,0.0002152278,0.3483012,0.0001766195,0.007526371],"study_design_scores_gemma":[0.0004445157,0.00009847556,0.00007978101,0.0001209776,0.00002190938,5.80229e-7,0.000615393,0.9895178,0.00182978,0.007019258,0.000009887533,0.0002416508],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006661675,0.00005265084,0.9621351,0.0001871018,0.00001480243,0.001886064,0.0000202175,0.00006169733,0.02898065],"genre_scores_gemma":[0.7886145,0.00003362412,0.2097017,0.00007331125,0.000005639741,0.0001873811,0.0002444255,0.00001555042,0.001123845],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7819528,"threshold_uncertainty_score":0.8210946,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09117088057001049,"score_gpt":0.2708721867674247,"score_spread":0.1797013061974142,"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."}}