{"id":"W6989052414","doi":"","title":"ACTC, une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles","year":2000,"lang":"fr","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":"Set (abstract data type); Context (archaeology); Work (physics); Process (computing)","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.003187702,0.001826137,0.001042959,0.001669966,0.002726848,0.007373901,0.002431528,0.002194134,0.04044696],"category_scores_gemma":[0.00724782,0.001818913,0.002095214,0.001336712,0.002626022,0.004367374,0.001991349,0.004522977,0.01738494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003992629,"about_ca_system_score_gemma":0.007968378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06929672,"about_ca_topic_score_gemma":0.0458549,"domain_scores_codex":[0.9943277,0.0007451457,0.0003340565,0.0009836726,0.003202855,0.0004065797],"domain_scores_gemma":[0.9949057,0.001346882,0.0001656549,0.001713196,0.001596625,0.000271918],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009903356,0.0002147552,0.0008876303,0.0006871375,0.0000900493,0.0005062519,0.001578499,0.005931805,0.05746418,0.3102301,0.1254874,0.4959318],"study_design_scores_gemma":[0.0002081107,0.0001183576,0.0008130819,0.0002010043,0.00008354177,0.0005234279,0.0001923012,0.05650062,0.0852052,0.02111042,0.8349145,0.0001294293],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007781912,0.001396087,0.8490878,0.0009113935,0.001164624,0.0006204598,0.001783824,0.05534472,0.08190924],"genre_scores_gemma":[0.09490605,0.001881584,0.5625477,0.0008530088,0.0005346514,0.0008041062,0.005183693,0.01650738,0.3167818],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06929672,"threshold_uncertainty_score":0.1377867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00368481975047518,"score_gpt":0.1622294482009544,"score_spread":0.1585446284504792,"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."}}