{"id":"W7046372805","doi":"","title":"Compositional verification using interface recognizers/suppliers","year":2001,"lang":"en","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Interface (matter); Component (thermodynamics); Feature (linguistics); Software; Set (abstract data type)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003665382,0.001836121,0.001227919,0.001709072,0.002527538,0.003472228,0.003442792,0.001880251,0.04970669],"category_scores_gemma":[0.01178479,0.001606924,0.002703343,0.001051418,0.002312512,0.005191604,0.004052659,0.002012798,0.01702852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002832689,"about_ca_system_score_gemma":0.009374527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.04222309,"about_ca_topic_score_gemma":0.05718761,"domain_scores_codex":[0.9950609,0.000984104,0.0002933814,0.0007719338,0.002289094,0.0006005844],"domain_scores_gemma":[0.9893884,0.002439328,0.000288435,0.004624316,0.003143749,0.0001156551],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001204653,0.0004519723,0.003216733,0.001253071,0.0001453786,0.001060952,0.0009083475,0.04030593,0.06121049,0.2017546,0.07716487,0.6113229],"study_design_scores_gemma":[0.0003786303,0.0001711412,0.001271832,0.0003252764,0.0003560143,0.0005216047,0.000446915,0.5077786,0.2596244,0.1217279,0.1072276,0.0001699328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01080165,0.0001152415,0.9193432,0.0003030118,0.0001546689,0.0004314753,0.001078129,0.03513572,0.0326369],"genre_scores_gemma":[0.2489271,0.000213726,0.6668029,0.0003689975,0.00006672296,0.0003034944,0.004714989,0.0121394,0.06646259],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04970669,"threshold_uncertainty_score":0.1662855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006196434149352384,"score_gpt":0.1677991366426583,"score_spread":0.1616027024933059,"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."}}