{"id":"W2171368936","doi":"10.1109/mwscas.2009.5235932","title":"Optimal trace compaction with property preservation","year":2009,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"TRACE (psycholinguistics); Computer science; Debugging; Property (philosophy); Overhead (engineering); Task (project management); Compaction; Representation (politics); Binary number; Computer engineering; Algorithm; Theoretical computer science; Programming language; Arithmetic; Mathematics; 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.0007153773,0.0007773082,0.0006061918,0.0008347012,0.0003083798,0.0007763304,0.001231017,0.0005242202,0.002897344],"category_scores_gemma":[0.004596747,0.0004127139,0.000745437,0.001082506,0.0009022403,0.001529173,0.001073501,0.0009384383,0.0005086089],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006200496,"about_ca_system_score_gemma":0.001184473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001366972,"about_ca_topic_score_gemma":0.002322675,"domain_scores_codex":[0.9986796,0.0003260913,0.00008203325,0.0002495702,0.0004500375,0.0002127545],"domain_scores_gemma":[0.9973672,0.00120952,0.000235594,0.0007863745,0.0003498236,0.00005143527],"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.0004723515,0.000282486,0.001677086,0.0003571548,0.0000735051,0.0004547072,0.0002138495,0.548437,0.06084035,0.06327229,0.003897649,0.3200216],"study_design_scores_gemma":[0.00006365893,0.0002145747,0.0003982426,0.00002921475,0.0000519245,0.0002534727,0.0000720745,0.8912721,0.04821089,0.05524961,0.004165598,0.00001854693],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03530246,0.0001467452,0.9597462,0.0001752248,0.00001929185,0.00009339502,0.0001325844,0.001720069,0.002663965],"genre_scores_gemma":[0.5781843,0.0002247322,0.4178209,0.0001302489,0.00002815454,0.0001425069,0.0005245661,0.00039327,0.002551274],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002897344,"threshold_uncertainty_score":0.009692609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02978616108103084,"score_gpt":0.2359846100898073,"score_spread":0.2061984490087765,"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."}}