{"id":"W205596015","doi":"10.1007/978-3-642-04238-6_65","title":"Optimal Multicore Scheduling: An Application of ASP Techniques","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Multi-core processor; Solver; Scheduling (production processes); Graph; Vertex cover; Answer set programming; Parallel computing; Theoretical computer science; Set (abstract data type); Mathematical optimization; Programming language; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007996843,0.0004685073,0.0005480517,0.0006509924,0.000174137,0.000258869,0.00377463,0.0004205649,0.000005283194],"category_scores_gemma":[0.00007949579,0.0004151628,0.0001335928,0.0005324184,0.0006084418,0.000645744,0.0007412313,0.0006219314,0.00001647894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001707294,"about_ca_system_score_gemma":0.0003894536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002208476,"about_ca_topic_score_gemma":0.00003028157,"domain_scores_codex":[0.9967676,0.00003274266,0.0005356543,0.001435587,0.0007184706,0.0005099548],"domain_scores_gemma":[0.9971821,0.0001796887,0.0004231869,0.001611575,0.000421297,0.0001821798],"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.000004364333,0.0000706112,0.00005253064,0.00002438985,0.000004440885,0.0000128393,0.0006129036,0.007802389,0.001096748,0.04616319,0.000002069327,0.9441535],"study_design_scores_gemma":[0.0001902685,0.00056016,0.0002438399,0.0002385077,0.00001039835,0.00005430587,2.485502e-7,0.8710258,0.02613068,0.09941891,0.001419708,0.000707151],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002502831,0.0003529282,0.9932557,0.0001499828,0.0003435635,0.0004600371,0.000002110073,0.000309022,0.004876384],"genre_scores_gemma":[0.2113935,0.00002611318,0.7877966,0.0003024862,0.0003391191,0.00001023276,0.000006173364,0.00001991704,0.0001058546],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9434464,"threshold_uncertainty_score":0.99983,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01739197931448233,"score_gpt":0.2668498456944376,"score_spread":0.2494578663799553,"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."}}