{"id":"W1969398050","doi":"10.5555/603095.603116","title":"Solution of parallel language equations for logic synthesis","year":2001,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Context (archaeology); Square (algebra); Component (thermodynamics); Regular language; Automaton; Operator (biology); Composition (language); Theoretical computer science; Programming language; Algorithm; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003935996,0.00004136494,0.00006620076,0.0000541328,0.00004678416,0.00001486954,0.000301859,0.00003065468,0.00002549244],"category_scores_gemma":[0.0004928429,0.00003568291,0.00003849763,0.000175817,0.0000196169,0.0002414648,0.0000357743,0.00001921165,0.00001728935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001741004,"about_ca_system_score_gemma":0.00001567662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002678745,"about_ca_topic_score_gemma":0.000006273396,"domain_scores_codex":[0.9995109,0.00003977311,0.0001405493,0.0001168139,0.000087819,0.0001041731],"domain_scores_gemma":[0.9993155,0.0002492815,0.00006712387,0.0002906393,0.00005778326,0.00001967797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004722705,0.00003779314,0.00003503398,0.000008650067,0.000004252941,1.941673e-7,0.0002518073,0.000253135,0.005008537,0.9180568,0.0001636292,0.07617547],"study_design_scores_gemma":[0.0001392396,0.00006564664,0.001169109,0.000008464536,0.000007863975,0.000003936213,0.00007638056,0.9549994,0.02464095,0.01773715,0.001044808,0.0001070862],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001235391,0.00003458807,0.9932019,0.0004428514,0.0000828007,0.0001460716,0.000001289296,0.00007898016,0.004776139],"genre_scores_gemma":[0.2648995,0.00000686436,0.7347127,0.00005326873,0.00001356902,0.0000476732,9.997449e-7,0.000001857754,0.0002636086],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9547462,"threshold_uncertainty_score":0.1455107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08379085514172536,"score_gpt":0.3456706451729516,"score_spread":0.2618797900312262,"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."}}