{"id":"W1594982746","doi":"10.1007/11532378_15","title":"A Practical MHP Information Analysis for Concurrent Java Programs","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Java; Variety (cybernetics); Programming language; Range (aeronautics); Distributed computing; Software engineering; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001082942,0.0004331642,0.0005610512,0.001404188,0.0002539394,0.001053107,0.001873817,0.0003124535,0.000009061009],"category_scores_gemma":[0.0001702231,0.0003987996,0.0002788746,0.001221132,0.0003307115,0.001413203,0.0007127526,0.0005188399,0.00002216937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000289898,"about_ca_system_score_gemma":0.0005757146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008514131,"about_ca_topic_score_gemma":0.00002559707,"domain_scores_codex":[0.9968948,0.00003285601,0.0007230516,0.0009307328,0.0008386566,0.0005798405],"domain_scores_gemma":[0.9973329,0.0004029823,0.000530512,0.0009572846,0.0006049616,0.0001714162],"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.000003843207,0.00003666991,0.00003592414,0.00002436543,0.00004906602,0.000003576957,0.0003558757,0.1094707,8.075835e-7,0.03830726,0.0001235597,0.8515883],"study_design_scores_gemma":[0.0002107955,0.0001921182,0.00002801008,0.00009165418,0.00004798515,0.00001894258,9.651112e-8,0.9667496,0.0001165271,0.01393847,0.01813108,0.0004747091],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000003128749,0.00009737117,0.9950152,0.001446078,0.0006700017,0.0007860902,0.000005491581,0.0004797316,0.001496894],"genre_scores_gemma":[0.02819289,0.0000362722,0.9701781,0.001061496,0.0002731942,0.00004217101,0.00005094443,0.0000142413,0.0001506846],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8572789,"threshold_uncertainty_score":0.9999839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03244970569755555,"score_gpt":0.3090443089362728,"score_spread":0.2765946032387173,"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."}}