{"id":"W2028115158","doi":"10.3166/jesa.45.221-236","title":"Approche pour l’intégration du raffinement formel dans le processus de conception des SoCs","year":2011,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Philosophy","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.001944024,0.0007415434,0.000520098,0.0008274016,0.0008110564,0.00320445,0.00111632,0.001783044,0.00746301],"category_scores_gemma":[0.003439226,0.0006084249,0.001044812,0.0003518364,0.001063648,0.001821924,0.00176378,0.001485101,0.001674974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008044753,"about_ca_system_score_gemma":0.00121129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002749664,"about_ca_topic_score_gemma":0.003152522,"domain_scores_codex":[0.9979733,0.00055971,0.0001179572,0.0003134321,0.0008688266,0.0001667889],"domain_scores_gemma":[0.9986135,0.0004819976,0.00008239168,0.0003528042,0.0004128713,0.00005651514],"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.0006725894,0.0003001186,0.0024919,0.0007722786,0.0002463906,0.001733183,0.002986416,0.1221595,0.1752619,0.2421423,0.004719147,0.4465144],"study_design_scores_gemma":[0.0001428959,0.0005161731,0.001317893,0.0004219921,0.0002333909,0.001327576,0.000703499,0.6346225,0.1542691,0.06074961,0.1455756,0.000119815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01665711,0.0001888663,0.974551,0.0002492791,0.00007884374,0.0001016875,0.0000289218,0.001377441,0.006766947],"genre_scores_gemma":[0.3635703,0.000424212,0.6142879,0.0002697479,0.00005718811,0.000264186,0.0001956042,0.0004615092,0.02046942],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00746301,"threshold_uncertainty_score":0.02496624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04365428380597398,"score_gpt":0.2612906719429761,"score_spread":0.2176363881370021,"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."}}