{"id":"W1857058067","doi":"10.1109/ccece.1995.526284","title":"High-level timing analysis using constraint logic programming and interval arithmetic","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Constraint logic programming; Interval arithmetic; Computer science; Arithmetic; Logic programming; Concurrent constraint logic programming; Interval (graph theory); Constraint (computer-aided design); Constraint programming; Constraint satisfaction; Programming language; Algorithm; Theoretical computer science; Mathematics; Mathematical optimization; Artificial intelligence","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.002365126,0.0009365197,0.0006936398,0.001065627,0.0005086767,0.00204916,0.002002338,0.0007432044,0.003101334],"category_scores_gemma":[0.006440772,0.0005242854,0.00142118,0.001252271,0.001097093,0.002765771,0.0009143897,0.001555374,0.0005099178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009309696,"about_ca_system_score_gemma":0.00185008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003422655,"about_ca_topic_score_gemma":0.003668279,"domain_scores_codex":[0.9974422,0.0007100491,0.0001649109,0.0003581463,0.001136557,0.0001880181],"domain_scores_gemma":[0.9963722,0.002286412,0.0004379115,0.0004958343,0.000352319,0.00005527461],"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.0001680879,0.0000832818,0.0009088694,0.0006077762,0.0001364836,0.0004752186,0.0002311346,0.4933861,0.03652103,0.3259661,0.001529825,0.139986],"study_design_scores_gemma":[0.0000450867,0.00008295855,0.0001984797,0.00005898556,0.00005661961,0.0001623302,0.00002998008,0.8985447,0.02440807,0.06971084,0.006662185,0.00003979115],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002524144,0.00005138554,0.9963173,0.00003062246,0.000006514951,0.00002615506,0.00004471619,0.0003492254,0.0006499814],"genre_scores_gemma":[0.1204211,0.0003582142,0.8778594,0.00005512343,0.00002394337,0.000137364,0.0001961083,0.000156795,0.0007919857],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003422655,"threshold_uncertainty_score":0.01250815,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1774005277989675,"score_gpt":0.333114463212382,"score_spread":0.1557139354134146,"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."}}