{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":94,"total_is_capped":false,"direct_labels_cover":1,"predictions_cover":94,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"3f3649e009bc","filters":{"venue":"Science of Computer Programming"}},"results":[{"id":"W2101832700","doi":"10.1016/j.scico.2009.02.007","title":"Comparison and evaluation of code clone detection techniques and tools: A qualitative approach","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":1002,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; clone (Java method); Schema (genetic algorithms); Taxonomy (biology); Set (abstract data type); Source code; Context (archaeology); Data mining; Software engineering; Artificial intelligence; Programming language; Information retrieval","authors":[{"name":"Chanchal K. Roy","is_ca":true},{"name":"James R. Cordy","is_ca":true},{"name":"Rainer Koschke","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09302423369983133,"gpt":0.4135048661088837,"spread":0.3204806324090523,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.06751613,0.0009250151,0.001252711,0.01042756,0.003314513,0.003911766,0.00272869,0.001492608,0.003521432],"category_scores_gemma":[0.1885977,0.0006571646,0.0008824534,0.006134626,0.003738722,0.004539489,0.003357158,0.001176953,0.0003958225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01035605,"about_ca_system_score_gemma":0.008320644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005362688,"about_ca_topic_score_gemma":0.008035923,"domain_scores_codex":[0.920544,0.05109779,0.004268378,0.002386802,0.01968436,0.002018739],"domain_scores_gemma":[0.6118573,0.2841516,0.01165211,0.006570915,0.08381553,0.001952553],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"qualitative","study_design_scores_codex":[0.004674595,0.003157068,0.06038065,0.01909419,0.0005671383,0.0008507641,0.2653497,0.007058442,0.05505494,0.03810852,0.005716073,0.5399879],"study_design_scores_gemma":[0.001551412,0.01756948,0.1371625,0.01041809,0.002172018,0.001629485,0.5069697,0.03805796,0.178806,0.03920225,0.06571417,0.0007469126],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8260685,0.00226788,0.1285611,0.002345588,0.0001311666,0.00757683,0.002049899,0.0003472939,0.03065179],"genre_scores_gemma":[0.9351101,0.0007325293,0.0572611,0.0002382839,0.00002055432,0.00343681,0.00035184,0.0001153071,0.002733572],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06751613,"threshold_uncertainty_score":0.3570637,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2128466029","doi":"10.1016/j.scico.2006.04.002","title":"The TXL source transformation language","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":358,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"University of Toronto","keywords":"Computer science; Rewriting; Programming language; Parsing; Functional programming; Context (archaeology)","authors":[{"name":"James R. Cordy","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00920624451607326,"gpt":0.2357112333274883,"spread":0.226504988811415,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001147277,0.001097073,0.0007642891,0.001493759,0.0007084939,0.003808749,0.002772877,0.001065467,0.04970329],"category_scores_gemma":[0.004678899,0.001059563,0.001305574,0.001544034,0.001089021,0.004742674,0.003616697,0.004146756,0.03745378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007887486,"about_ca_system_score_gemma":0.001803482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001215262,"about_ca_topic_score_gemma":0.001019984,"domain_scores_codex":[0.9985349,0.0002489678,0.0001757192,0.0002803234,0.0006144035,0.0001455998],"domain_scores_gemma":[0.9976927,0.0006471108,0.0001408423,0.0009425019,0.0004749758,0.0001018372],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004503073,0.0002109159,0.001148795,0.001087961,0.00007345004,0.0005247373,0.0006761039,0.003980379,0.01559766,0.3091443,0.3232159,0.3438896],"study_design_scores_gemma":[0.0001992747,0.00007699242,0.0004427913,0.0003021758,0.00006853387,0.0007726067,0.0001640741,0.0289623,0.05182554,0.1704727,0.7466107,0.0001023236],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003414168,0.000267745,0.7756622,0.0008629785,0.0005130768,0.0001926395,0.01071446,0.1719097,0.03646311],"genre_scores_gemma":[0.134721,0.001892359,0.5589851,0.001928952,0.0007023168,0.001140808,0.06157727,0.1372267,0.1018255],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04970329,"threshold_uncertainty_score":0.1662741,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1988680012","doi":"10.1016/j.scico.2005.10.008","title":"Modeling component connectors in Reo by constraint automata","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":307,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Automaton; Component (thermodynamics); Equivalence (formal languages); Constraint (computer-aided design); Cable gland; Theoretical computer science; Model checking; Programming language; Discrete mathematics; Mathematics","authors":[{"name":"Christel Baier","is_ca":false},{"name":"Marjan Sirjani","is_ca":false},{"name":"Farhad Arbab","is_ca":true},{"name":"Jan Rutten","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01884987414813196,"gpt":0.27851848124175,"spread":0.2596686070936181,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001907628,0.001127886,0.0009124511,0.001112981,0.0009962275,0.003630015,0.002713691,0.001979943,0.008400873],"category_scores_gemma":[0.006354854,0.00139513,0.002246,0.001277525,0.002225866,0.005186937,0.002368194,0.002237413,0.001647342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001172387,"about_ca_system_score_gemma":0.001927081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009677315,"about_ca_topic_score_gemma":0.01623084,"domain_scores_codex":[0.9981248,0.0005409066,0.0001457658,0.0004624798,0.0004248687,0.0003011463],"domain_scores_gemma":[0.9959192,0.002097498,0.0004175629,0.0009814197,0.0004122886,0.000172038],"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.0002286701,0.000153404,0.00140889,0.000249616,0.00007073493,0.0007748938,0.0006578571,0.3316738,0.01432813,0.6190818,0.001096287,0.03027583],"study_design_scores_gemma":[0.0000736373,0.00004859578,0.0001756876,0.0000545636,0.00007680588,0.0001673348,0.0001393596,0.8260574,0.01348747,0.1446284,0.01503115,0.00005965128],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01483175,0.00006553858,0.9756147,0.0001022249,0.00003613455,0.0001262381,0.0001252333,0.001269133,0.007829065],"genre_scores_gemma":[0.3243844,0.0002632415,0.6641281,0.0001363965,0.00002062893,0.0003792489,0.0004332635,0.0008337577,0.009420943],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009677315,"threshold_uncertainty_score":0.02810377,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2126063715","doi":"10.1016/s0167-6423(99)00036-2","title":"How do program understanding tools affect how programmers understand programs?","year":2000,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":155,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria; Simon Fraser University","funders":"","keywords":"Computer science; Program comprehension; Programmer; Source code; Software engineering; Human–computer interaction; Usability; Affect (linguistics); Comprehension; Software; Programming language; Data science; Software system","authors":[{"name":"M.-A. Storey","is_ca":true},{"name":"Kevin Wong","is_ca":true},{"name":"Hausi Müller","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06352619708920401,"gpt":0.2932363916898035,"spread":0.2297101946005995,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006999307,0.0005715303,0.0004524066,0.001230229,0.0009915588,0.007193794,0.0009154821,0.002658373,0.003694713],"category_scores_gemma":[0.1685285,0.0008390545,0.0004537546,0.0009699252,0.00200332,0.01386785,0.001933549,0.002641962,0.0007066537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008825883,"about_ca_system_score_gemma":0.0008612786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001951936,"about_ca_topic_score_gemma":0.002533257,"domain_scores_codex":[0.9900138,0.005779189,0.0003017991,0.001408004,0.001884746,0.0006123791],"domain_scores_gemma":[0.8258317,0.1406218,0.01339372,0.007109981,0.01046014,0.002582544],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.002369674,0.002404824,0.4779847,0.0009214426,0.0007222313,0.000805009,0.09726113,0.004994939,0.07594778,0.03115215,0.009314342,0.2961219],"study_design_scores_gemma":[0.0003556443,0.001612074,0.7501581,0.0005664442,0.001255176,0.001036246,0.05563253,0.03366573,0.05165534,0.07823149,0.02542089,0.0004104253],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9562377,0.0004660661,0.0218674,0.001687068,0.00005586201,0.00006088728,0.0001027423,0.0005999436,0.01892227],"genre_scores_gemma":[0.9919962,0.000145215,0.005755283,0.0002916915,0.00001471377,0.00003018581,0.00007255148,0.0004116586,0.001282501],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007193794,"threshold_uncertainty_score":0.03701633,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1763929460","doi":"10.1016/s0167-6423(02)00058-8","title":"A change impact model for changeability assessment in object-oriented software systems","year":2002,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":110,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"","keywords":"Maintainability; Computer science; Software metric; Software maintenance; Change impact analysis; Software; Software system; Software quality; Object-oriented programming; Software sizing; Software development; Software engineering; Object-oriented design; Reliability engineering; Component-based software engineering; Systems engineering; Programming language","authors":[{"name":"M. Ajmal Chaumun","is_ca":true},{"name":"Hind Kabaili","is_ca":true},{"name":"Rudolf K. Keller","is_ca":true},{"name":"F. Lustman","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06438464849421065,"gpt":0.3370059452025773,"spread":0.2726212967083666,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003078137,0.0009779414,0.0007405296,0.003709173,0.000769847,0.002205344,0.001915454,0.001977488,0.004656151],"category_scores_gemma":[0.01449558,0.0004492531,0.001292868,0.002080738,0.00153621,0.00536985,0.001509616,0.00180688,0.0008660705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001681736,"about_ca_system_score_gemma":0.00121313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005568153,"about_ca_topic_score_gemma":0.003961944,"domain_scores_codex":[0.9968262,0.0008925053,0.0001974806,0.0003557641,0.001447896,0.0002801368],"domain_scores_gemma":[0.9930673,0.003847515,0.0007332378,0.0008438019,0.001272988,0.0002351954],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002143639,0.000544088,0.008080559,0.000233847,0.0001781995,0.000373287,0.0006172596,0.6042904,0.005496221,0.2258871,0.002711307,0.1513733],"study_design_scores_gemma":[0.00002661282,0.0001280657,0.001285319,0.00002127331,0.00005943288,0.0001013297,0.00006607852,0.9192698,0.001086465,0.0763881,0.001542283,0.00002533506],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03105722,0.0001382677,0.9554427,0.000575338,0.00004933002,0.0002531983,0.0001467496,0.0007739848,0.01156332],"genre_scores_gemma":[0.8285438,0.0002152026,0.1650412,0.0001817115,0.00006508637,0.000434533,0.000270655,0.0001488024,0.005098926],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005568153,"threshold_uncertainty_score":0.01627892,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2128799871","doi":"10.1016/j.scico.2012.08.003","title":"Studying software evolution using topic models","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":94,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal; Queen's University","funders":"","keywords":"Computer science; Structuring; Topic model; Software evolution; Source code; Software; Software development; Data science; Software maintenance; Task (project management); Software system; Code (set theory); Generative grammar; Software engineering; Information retrieval; Software construction; Artificial intelligence; Programming language","authors":[{"name":"Stephen W. Thomas","is_ca":true},{"name":"Bram Adams","is_ca":true},{"name":"Ahmed E. Hassan","is_ca":true},{"name":"Dorothea Blostein","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05347133154518463,"gpt":0.3013226588468253,"spread":0.2478513273016407,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.006650657,0.0006665324,0.001048011,0.003067068,0.0009902626,0.002900288,0.001443651,0.001952693,0.00260305],"category_scores_gemma":[0.05207142,0.0009069428,0.001532467,0.003603913,0.0009540666,0.008290567,0.00131521,0.001991365,0.0003526295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001456497,"about_ca_system_score_gemma":0.0007379748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005330964,"about_ca_topic_score_gemma":0.004831108,"domain_scores_codex":[0.9966814,0.002448042,0.0001032021,0.0003427077,0.0002457036,0.0001788817],"domain_scores_gemma":[0.9218579,0.0719838,0.002026898,0.001930685,0.001362927,0.0008378187],"domain_codex":null,"domain_gemma":"methods","domain_candidate":"methods","domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007989627,0.0008040297,0.1246332,0.0008349631,0.001327178,0.0006139522,0.006384851,0.3455988,0.006379063,0.3097241,0.006347086,0.1965539],"study_design_scores_gemma":[0.00006084682,0.0001191836,0.008352459,0.00003474368,0.0001738346,0.0001660218,0.0007050404,0.8728534,0.0008785827,0.1144823,0.002143844,0.00002972936],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.655942,0.002896077,0.3319842,0.002891073,0.00007529467,0.00009907073,0.0002422938,0.0003217765,0.005548089],"genre_scores_gemma":[0.9719566,0.0009479143,0.02464849,0.00008693719,0.0001172086,0.00009711576,0.0002601373,0.00009288617,0.001792852],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9933493,"threshold_uncertainty_score":0.03517246,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2081869633","doi":"10.1016/j.scico.2005.10.003","title":"GXL: A graph-based standard exchange format for reengineering","year":2005,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":88,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Interoperability; XML; Data exchange; Graph; Theoretical computer science; Programming language; Graph rewriting; Database; World Wide Web","authors":[{"name":"Richard C. Holt","is_ca":true},{"name":"Andy Schürr","is_ca":false},{"name":"Susan Elliott Sim","is_ca":false},{"name":"Andreas Winter","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01315442017528603,"gpt":0.2539888164817442,"spread":0.2408343963064582,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004633728,0.0019124,0.001055667,0.003211341,0.001062858,0.004558257,0.003072564,0.002743753,0.03123308],"category_scores_gemma":[0.01470032,0.001336179,0.001436838,0.002974174,0.001010505,0.006400184,0.003299061,0.004181048,0.01657061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00130376,"about_ca_system_score_gemma":0.002047692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003924699,"about_ca_topic_score_gemma":0.004249163,"domain_scores_codex":[0.9969038,0.0009500803,0.0005928733,0.0003555763,0.000940171,0.0002574497],"domain_scores_gemma":[0.9902537,0.003225708,0.0005716282,0.004236888,0.001422101,0.0002899695],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001603542,0.000550813,0.002156336,0.00135391,0.0001514995,0.0007822497,0.001170666,0.03731928,0.01268694,0.338481,0.3021249,0.3016189],"study_design_scores_gemma":[0.0004633917,0.0002414351,0.000716998,0.0004710355,0.0001056227,0.0004627262,0.0002633923,0.1166499,0.03369343,0.226757,0.6199238,0.000251312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003612809,0.0001019172,0.8471989,0.0006005582,0.0003867491,0.0004565457,0.01422682,0.1241153,0.009300435],"genre_scores_gemma":[0.09088597,0.0008304495,0.7434081,0.001338014,0.0002387554,0.002052424,0.07609423,0.05398586,0.03116621],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03123308,"threshold_uncertainty_score":0.104485,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2066610756","doi":"10.1016/j.scico.2011.01.002","title":"A framework for evolution of modelling languages","year":2011,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":60,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Model transformation; Language evolution; Modeling language; Software evolution; Domain (mathematical analysis); Process (computing); Domain-specific language; Programming language; Artificial intelligence; Theoretical computer science; Software engineering; Software; Software development; Cognitive science","authors":[{"name":"Bart Meyers","is_ca":false},{"name":"Hans Vangheluwe","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03548450210508491,"gpt":0.2798738074975644,"spread":0.2443893053924794,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005979783,0.0009200602,0.0009728795,0.002184888,0.001959469,0.004702874,0.004199812,0.002441875,0.004530597],"category_scores_gemma":[0.01247488,0.001285547,0.003120203,0.001724599,0.004250044,0.007365547,0.004535259,0.004999879,0.001051716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002486339,"about_ca_system_score_gemma":0.002528397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006013085,"about_ca_topic_score_gemma":0.004728807,"domain_scores_codex":[0.996946,0.001229051,0.0003216597,0.000446443,0.0008322632,0.0002244842],"domain_scores_gemma":[0.994904,0.00189197,0.0003102717,0.001788102,0.0008104846,0.0002950855],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009330496,0.00001383534,0.000128912,0.00004531582,0.00001917874,0.00006468907,0.0003443278,0.007411368,0.0004930956,0.977433,0.0007082371,0.01332867],"study_design_scores_gemma":[0.00002297276,0.00002727673,0.00009236106,0.00009689839,0.00004892574,0.0001249247,0.0001093968,0.07355996,0.001155384,0.8743087,0.05041695,0.00003620293],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00131631,0.0001898951,0.9941942,0.0004341784,0.00005845479,0.00004571258,0.00004439641,0.0005128325,0.003204002],"genre_scores_gemma":[0.05254871,0.0004618145,0.9428549,0.0001814463,0.00007150268,0.0002314558,0.0002039384,0.0004358259,0.00301045],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006013085,"threshold_uncertainty_score":0.03162444,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1998844879","doi":"10.1016/s0167-6423(99)00029-5","title":"A calculus of functional BSP programs","year":2000,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Research Canada; Ericsson (Canada)","funders":"","keywords":"Computer science; Confluence; Mathematical proof; Extension (predicate logic); Process calculus; Calculus (dental); Reduction (mathematics); Functional programming; Programming language; Pi calculus; Process (computing); Theoretical computer science; Algorithm; Mathematics","authors":[{"name":"Frédéric Loulergue","is_ca":false},{"name":"Gaétan Hains","is_ca":false},{"name":"Christian Foisy","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02356556207407858,"gpt":0.2448996145174379,"spread":0.2213340524433593,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00123506,0.0005920618,0.0004543512,0.001347664,0.001828436,0.003270039,0.001247384,0.0009023255,0.009685311],"category_scores_gemma":[0.002723345,0.0005077077,0.0008761533,0.001451828,0.002266416,0.004122085,0.00197534,0.002158128,0.001825388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001222384,"about_ca_system_score_gemma":0.001006906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001544242,"about_ca_topic_score_gemma":0.001037356,"domain_scores_codex":[0.9991552,0.0001603668,0.0000448822,0.000126471,0.0003995318,0.0001136579],"domain_scores_gemma":[0.9990309,0.0003304361,0.00006744519,0.0001629714,0.0002650524,0.000143163],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001226889,0.000007215607,0.00004836369,0.00001879736,0.000002457526,0.00004793906,0.00009060084,0.0004386147,0.0008361391,0.9906274,0.001318509,0.006551697],"study_design_scores_gemma":[0.00001769231,0.00001593816,0.0001190409,0.00001904418,0.00001144641,0.0001925179,0.00006002339,0.009799933,0.00139308,0.9564702,0.03188564,0.0000155027],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02315343,0.0005885821,0.9003127,0.001317298,0.0003997931,0.0000813647,0.0004881761,0.001968,0.07169052],"genre_scores_gemma":[0.5989497,0.001224251,0.3358854,0.0008408632,0.0006598469,0.0002628331,0.0006770842,0.0005475127,0.06095245],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009685311,"threshold_uncertainty_score":0.03240061,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2063743474","doi":"10.1016/j.scico.2009.12.004","title":"Decision-making coordination and efficient reasoning techniques for feature-based configuration","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Feature model; Process (computing); Feature (linguistics); Product (mathematics); Stakeholder; Quality (philosophy); Domain engineering; Software; Software product line; Risk analysis (engineering); Domain (mathematical analysis); Exploit; Software engineering; Software development; Process management; Component-based software engineering; Computer security; Programming language","authors":[{"name":"Marcílio Mendonça","is_ca":true},{"name":"Donald Cowan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0151187916130799,"gpt":0.3156040255252115,"spread":0.3004852339121316,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005055859,0.001264871,0.001532168,0.001812579,0.001616407,0.004227043,0.004074663,0.001507932,0.008147751],"category_scores_gemma":[0.01781958,0.0009789324,0.001727235,0.001806924,0.001679416,0.005032901,0.003212652,0.002310812,0.00118556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001431958,"about_ca_system_score_gemma":0.002409126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004887219,"about_ca_topic_score_gemma":0.005772308,"domain_scores_codex":[0.9946322,0.001742958,0.000505224,0.001068245,0.001600057,0.0004512889],"domain_scores_gemma":[0.9919316,0.004250666,0.000607949,0.002200166,0.0007835207,0.0002261721],"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.0007166001,0.0004845502,0.002045288,0.000312896,0.0002683252,0.0004767958,0.000938552,0.349733,0.009060936,0.1649381,0.006389537,0.4646354],"study_design_scores_gemma":[0.00008534051,0.00005567424,0.0003079203,0.00003445011,0.00009035718,0.0001156414,0.0001221947,0.8256954,0.006783297,0.1639456,0.002724618,0.00003949378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006174604,0.00004844815,0.9908425,0.0001276031,0.00001627614,0.00008692984,0.00006374922,0.0009587728,0.001681015],"genre_scores_gemma":[0.2652145,0.0000822024,0.73271,0.0000654079,0.00002765702,0.0001798032,0.0002886283,0.0001655883,0.001266214],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008147751,"threshold_uncertainty_score":0.02725691,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2125899403","doi":"10.1016/j.scico.2006.01.003","title":"Semantics and scoping of aspects in higher-order languages","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Saskatchewan","funders":"National Science Foundation","keywords":"Computer science; Scope (computer science); Programming language; Perl; Programmer; Semantics (computer science); Scheme (mathematics); Software engineering","authors":[{"name":"Christopher Dutchyn","is_ca":true},{"name":"David B. Tucker","is_ca":false},{"name":"Shriram Krishnamurthi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02604234629225109,"gpt":0.3022022089453869,"spread":0.2761598626531357,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01001451,0.0008507375,0.001235023,0.003863294,0.003114728,0.006687924,0.002024404,0.002425567,0.002628907],"category_scores_gemma":[0.02204237,0.002020293,0.003116524,0.004065202,0.008144403,0.02067693,0.004999802,0.004175729,0.0004965196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002190194,"about_ca_system_score_gemma":0.002842029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003411753,"about_ca_topic_score_gemma":0.003415855,"domain_scores_codex":[0.9917688,0.002908178,0.001513595,0.00085885,0.002104567,0.0008459808],"domain_scores_gemma":[0.9753689,0.01497818,0.001659437,0.004177873,0.003263202,0.0005524876],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000813007,0.00003805008,0.00127339,0.0001606086,0.00003508581,0.0002125972,0.002399484,0.002685886,0.001659604,0.9755257,0.0004318986,0.01549648],"study_design_scores_gemma":[0.00002607385,0.00002496021,0.000258862,0.00009406259,0.00007895102,0.0001469341,0.0004799068,0.007800509,0.002894526,0.9821362,0.006029745,0.00002930616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09664169,0.0008889631,0.8842895,0.001108692,0.0001544748,0.0002410591,0.0003014417,0.0007806662,0.01559343],"genre_scores_gemma":[0.8008944,0.001013943,0.1891419,0.0002953963,0.0001737473,0.0003204775,0.0006391624,0.0006585147,0.006862495],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01001451,"threshold_uncertainty_score":0.05296242,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2001616837","doi":"10.1016/j.scico.2010.05.007","title":"Internal axioms for domain semirings","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":56,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université Laval","funders":"","keywords":"Axiom; Kleene algebra; Computer science; Domain (mathematical analysis); Simple (philosophy); Modal; Algebra over a field; Set (abstract data type); Relational algebra; State (computer science); Theoretical computer science; Algorithm; Discrete mathematics; Mathematics; Programming language; Pure mathematics; Relational database; Data mining","authors":[{"name":"Jules Desharnais","is_ca":true},{"name":"Georg Struth","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01538404305182833,"gpt":0.307715587988258,"spread":0.2923315449364297,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005669951,0.001050698,0.0009615042,0.002586061,0.002203666,0.005858902,0.001810968,0.001716098,0.007096509],"category_scores_gemma":[0.00724389,0.001541068,0.002810056,0.001459521,0.006364397,0.01161602,0.004650188,0.007121213,0.002421135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002036613,"about_ca_system_score_gemma":0.001338162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001110695,"about_ca_topic_score_gemma":0.001192641,"domain_scores_codex":[0.9945138,0.001607697,0.0007538603,0.000989651,0.001564728,0.0005703067],"domain_scores_gemma":[0.9912357,0.004322467,0.0003328334,0.001849933,0.001731285,0.0005277962],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001454131,0.00001629832,0.0001300964,0.00004610857,0.000009157336,0.00005112493,0.0003327313,0.0003142759,0.0004945753,0.9933169,0.0008606082,0.004413595],"study_design_scores_gemma":[0.00003386874,0.00002013938,0.0001583324,0.00004414617,0.00003218383,0.0001125616,0.0002277357,0.002639713,0.002529534,0.9764749,0.0177092,0.00001768283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02009517,0.0005708162,0.9259288,0.001032753,0.0003535474,0.0001645141,0.0006769859,0.001101393,0.0500761],"genre_scores_gemma":[0.5915611,0.001305315,0.3749785,0.001360763,0.0006799874,0.0007821226,0.0034633,0.001121634,0.02474723],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007096509,"threshold_uncertainty_score":0.0299859,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2027110574","doi":"10.1016/s0167-6423(00)00004-6","title":"On a formal semantics of tabular expressions","year":2001,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Documentation; Semantics (computer science); Formal methods; Syntax; Readability; Formal semantics (linguistics); Software engineering; Artificial intelligence","authors":[{"name":"Ryszard Janicki","is_ca":true},{"name":"Ridha Khédri","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02854579184539554,"gpt":0.3014508763400059,"spread":0.2729050844946104,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005170823,0.001298259,0.001258161,0.002496009,0.002854544,0.006750227,0.003082034,0.002606199,0.008445715],"category_scores_gemma":[0.01273277,0.001580792,0.002979902,0.00414813,0.007270039,0.01819945,0.005340289,0.005165775,0.002051958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002534728,"about_ca_system_score_gemma":0.002445756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003928044,"about_ca_topic_score_gemma":0.00363734,"domain_scores_codex":[0.9959058,0.001342156,0.0004971504,0.0006148424,0.001183019,0.0004569301],"domain_scores_gemma":[0.9926105,0.00378207,0.0004904417,0.001197972,0.001618184,0.0003008854],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002567205,0.00001347677,0.00006115773,0.00005887345,0.000006710667,0.00003694011,0.0003111454,0.001317078,0.0004446946,0.989115,0.001336204,0.007273098],"study_design_scores_gemma":[0.00002881438,0.00002280877,0.00005881228,0.00008738627,0.00002827836,0.00008912749,0.0001449083,0.011238,0.001069033,0.9651302,0.02207253,0.00003009228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006125644,0.0006787567,0.9775025,0.001650717,0.0004128574,0.0001086633,0.0002937107,0.001198244,0.01202887],"genre_scores_gemma":[0.239207,0.002213602,0.7379041,0.002325184,0.001123236,0.0005855793,0.001413355,0.001551041,0.01367686],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008445715,"threshold_uncertainty_score":0.02825373,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1554047564","doi":"10.1016/s0167-6423(01)00026-0","title":"Formal methods: the very idea","year":2002,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Work (physics); Domain (mathematical analysis); Formal methods; Silver bullet; Software engineering","authors":[{"name":"Daniel M. Berry","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04903776775227458,"gpt":0.3372662906134681,"spread":0.2882285228611935,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01387956,0.00148334,0.001615067,0.002619979,0.002769227,0.007561416,0.002950992,0.005389345,0.005034124],"category_scores_gemma":[0.01906469,0.001074391,0.002049758,0.001062982,0.03696312,0.02154586,0.003855611,0.01212125,0.002151836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004037801,"about_ca_system_score_gemma":0.00382824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002223776,"about_ca_topic_score_gemma":0.0009045635,"domain_scores_codex":[0.9928833,0.003952348,0.0002803801,0.0008254307,0.001792333,0.0002662166],"domain_scores_gemma":[0.9831838,0.01242977,0.0003628203,0.002028647,0.001464283,0.000530634],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001086896,0.000009613273,0.0000382171,0.00006098235,0.000007435961,0.000008803179,0.0001916707,0.0001912994,0.00006185561,0.9933015,0.002320231,0.003797586],"study_design_scores_gemma":[0.00002012027,0.000009930449,0.00001962939,0.00007283396,0.000004362438,0.00002507282,0.00005442628,0.0005532937,0.0001023543,0.9622615,0.03686659,0.000009841111],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003668506,0.03819481,0.7861088,0.08789472,0.007030683,0.000153565,0.0002194472,0.0007323192,0.07599711],"genre_scores_gemma":[0.4198793,0.02757476,0.4449825,0.03289497,0.01627477,0.001197942,0.0003961672,0.001176122,0.05562355],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01387956,"threshold_uncertainty_score":0.07340306,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1993807037","doi":"10.1016/j.scico.2009.10.007","title":"Rigi—An environment for software reverse engineering, exploration, visualization, and redocumentation","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"Center for Advanced Study, University of Illinois at Urbana-Champaign; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Reverse engineering; Software engineering; Visualization; Interoperability; Scripting language; Extensibility; Parsing; Software; Process (computing); Programming language; World Wide Web; Artificial intelligence","authors":[{"name":"Holger M. Kienle","is_ca":true},{"name":"Hausi Müller","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01630893437158457,"gpt":0.2878898918151171,"spread":0.2715809574435326,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00384071,0.002432853,0.001932473,0.002224318,0.0008642356,0.003644073,0.005661873,0.001617777,0.03238906],"category_scores_gemma":[0.008893183,0.001775331,0.002466921,0.001416869,0.001030014,0.004464763,0.005557167,0.003945358,0.01307408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006067924,"about_ca_system_score_gemma":0.001840334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002350403,"about_ca_topic_score_gemma":0.004033535,"domain_scores_codex":[0.9974411,0.0006783374,0.0001781418,0.0004119161,0.001092364,0.0001982092],"domain_scores_gemma":[0.9951134,0.002397893,0.0002412336,0.001614477,0.0003728553,0.0002601456],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002387337,0.0006854179,0.002593488,0.002411927,0.0005775482,0.0009843857,0.001608721,0.02192651,0.030426,0.06405771,0.3608103,0.5115306],"study_design_scores_gemma":[0.001204341,0.0004151767,0.001986859,0.0005016761,0.0002607562,0.001029795,0.0002554308,0.2743123,0.05893004,0.06858795,0.5920135,0.0005021323],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.002592006,0.0004425075,0.5278517,0.0002278498,0.0001510969,0.0002862826,0.003684598,0.4558502,0.008913747],"genre_scores_gemma":[0.04957659,0.001238313,0.8484036,0.0004965256,0.0001302922,0.001018536,0.01658346,0.06724218,0.01531048],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03238906,"threshold_uncertainty_score":0.1083522,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3125453126","doi":"10.1016/j.scico.2014.11.007","title":"The Sensemaking-Coevolution-Implementation Theory of software design","year":2014,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Open Source Software Innovations","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Coevolution; Sensemaking; Software; Software engineering; Programming language; Theoretical computer science; Human–computer interaction","authors":[{"name":"Paul Ralph","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0208030716805239,"gpt":0.2871346905404559,"spread":0.266331618859932,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008276145,0.001026603,0.001028855,0.001978466,0.001755361,0.006228404,0.002670521,0.002920713,0.006067265],"category_scores_gemma":[0.02108907,0.0006345115,0.001448112,0.001794848,0.01449029,0.008450468,0.002549422,0.00366631,0.0008400589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003888863,"about_ca_system_score_gemma":0.00368932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001782257,"about_ca_topic_score_gemma":0.001084054,"domain_scores_codex":[0.9917223,0.005297312,0.0003245433,0.0008367532,0.001496393,0.0003227353],"domain_scores_gemma":[0.9879238,0.008654646,0.0005393435,0.00159315,0.0009590972,0.0003299611],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005860638,0.00002048974,0.000163405,0.00003259242,0.000009900456,0.00001182762,0.0002716303,0.002068146,0.00008537761,0.9927713,0.0001683184,0.004391157],"study_design_scores_gemma":[0.00001718577,0.00002204677,0.0001006166,0.00002869045,0.000008448018,0.00003025669,0.00009228222,0.00847344,0.0001522638,0.9883431,0.002724792,0.000006890233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01924937,0.001243787,0.8528647,0.005388116,0.0001240378,0.0001921769,0.00005545568,0.000112258,0.1207703],"genre_scores_gemma":[0.7866677,0.001153793,0.2010631,0.0007124366,0.0001303624,0.0006590425,0.00006655224,0.00007678166,0.009470205],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008276145,"threshold_uncertainty_score":0.043769,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2088108067","doi":"10.1016/j.scico.2013.11.025","title":"Understanding database schema evolution: A case study","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"Japan Society for the Promotion of Science; Fonds De La Recherche Scientifique - FNRS","keywords":"Computer science; Database schema; Database; Reverse engineering; Schema (genetic algorithms); Database design; Schema migration; Database model; Information schema; Data science; Schema evolution; Software engineering; Information retrieval; Semi-structured model; Programming language","authors":[{"name":"Anthony Cleve","is_ca":false},{"name":"Maxime Gobert","is_ca":false},{"name":"Loup Meurice","is_ca":false},{"name":"Jerome Maes","is_ca":false},{"name":"Jens Weber","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08599344345401087,"gpt":0.3132914522561743,"spread":0.2272980088021634,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003870698,0.0004069593,0.0003107073,0.001260825,0.001644427,0.00324134,0.002102868,0.003402842,0.002296136],"category_scores_gemma":[0.02465983,0.0004868298,0.0005201671,0.001792821,0.001303625,0.005426948,0.001817813,0.002181933,0.0003332435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001675047,"about_ca_system_score_gemma":0.001505006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007293737,"about_ca_topic_score_gemma":0.01410731,"domain_scores_codex":[0.9972711,0.001325224,0.0001689479,0.0004135736,0.0006640574,0.000157057],"domain_scores_gemma":[0.9720416,0.02202084,0.001182037,0.00243518,0.001893338,0.0004270461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"qualitative","study_design_scores_codex":[0.00107447,0.003639274,0.1217696,0.002066146,0.0002006457,0.02691948,0.1697217,0.03017208,0.0328131,0.07696737,0.01248437,0.5221718],"study_design_scores_gemma":[0.0003386107,0.001521778,0.05660826,0.001189691,0.0005790081,0.04219767,0.1506045,0.3823785,0.08896092,0.07943961,0.1958642,0.0003170922],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8877336,0.0007346077,0.09236269,0.00398237,0.00004850999,0.0003514585,0.0005608238,0.0006450215,0.01358093],"genre_scores_gemma":[0.9003116,0.0005092286,0.09400111,0.0003401381,0.00001749897,0.000064295,0.0005756981,0.0001721999,0.00400831],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007293737,"threshold_uncertainty_score":0.02047044,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2051051963","doi":"10.1016/j.scico.2010.06.009","title":"Bridging the gap between software architecture rationale formalisms and actual architecture documents: An ontology-driven approach","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"Fondo de Fomento al Desarrollo Científico y Tecnológico","keywords":"Computer science; Software engineering; Documentation; Ontology; Software architecture; Architecture; Bridging (networking); Reuse; Information retrieval; Software; Data science; World Wide Web; Programming language","authors":[{"name":"Claudia López","is_ca":false},{"name":"Víctor Codocedo","is_ca":false},{"name":"Hernán Astudillo","is_ca":false},{"name":"Luiz Marcio Cysneiros","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02824231510490536,"gpt":0.2911715243241744,"spread":0.262929209219269,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02156951,0.0006427443,0.001172717,0.006861802,0.002798456,0.01319065,0.004331023,0.003376323,0.00219274],"category_scores_gemma":[0.04401283,0.001831085,0.001790013,0.005727846,0.005102948,0.02628462,0.006525772,0.005548075,0.000614744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00510999,"about_ca_system_score_gemma":0.01272925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008325871,"about_ca_topic_score_gemma":0.01130727,"domain_scores_codex":[0.9817488,0.006902269,0.002066765,0.001199708,0.007290798,0.0007915256],"domain_scores_gemma":[0.9623148,0.02164863,0.002924669,0.005911954,0.006332996,0.0008668963],"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.00005553838,0.0001606382,0.001586065,0.0003554053,0.0000732574,0.0003250657,0.006043921,0.005268749,0.002685791,0.9191238,0.001874097,0.06244766],"study_design_scores_gemma":[0.00007901165,0.00006012879,0.001369695,0.0008627841,0.0001415731,0.0005579451,0.007600299,0.09709398,0.005202441,0.8165616,0.07036688,0.00010355],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0216973,0.0005452289,0.9654971,0.004680202,0.00008841868,0.0001792871,0.0003624219,0.0002536752,0.00669639],"genre_scores_gemma":[0.246312,0.001104079,0.7482644,0.0006362169,0.00005125456,0.000344718,0.00117319,0.0002390756,0.001875055],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02156951,"threshold_uncertainty_score":0.1140718,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1999284448","doi":"10.1016/j.scico.2012.01.004","title":"Taupe : Visualizing and analyzing eye-tracking data","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Program comprehension; Documentation; Software engineering; Plug-in; Extensibility; Eye tracking; Software; Process (computing); Human–computer interaction; Usability; Context (archaeology); Software system; Data science; Programming language; Artificial intelligence","authors":[{"name":"Benoît De Smet","is_ca":false},{"name":"Lorent Lempereur","is_ca":false},{"name":"Zohreh Sharafi","is_ca":true},{"name":"Yann‐Gaël Guéhéneuc","is_ca":true},{"name":"Giuliano Antoniol","is_ca":true},{"name":"Naji Habra","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04910834378222158,"gpt":0.3630185884685466,"spread":0.3139102446863251,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008182754,0.001539409,0.0008171012,0.004012585,0.0005032646,0.001971639,0.001011192,0.0009019059,0.02252563],"category_scores_gemma":[0.003102102,0.000491182,0.0007802032,0.001810913,0.0002320419,0.001567657,0.00141196,0.0007498043,0.004409418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003106336,"about_ca_system_score_gemma":0.0008022861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003760182,"about_ca_topic_score_gemma":0.007595098,"domain_scores_codex":[0.9996518,0.00004852123,0.0000330845,0.00009713111,0.0001265766,0.00004282049],"domain_scores_gemma":[0.9989216,0.0005488583,0.0001110983,0.0001199282,0.0002194123,0.00007908315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001454631,0.0002334175,0.005365842,0.00224301,0.000540095,0.0009919942,0.001617539,0.005668648,0.1758282,0.004293986,0.1128655,0.6888971],"study_design_scores_gemma":[0.0006219826,0.0008041883,0.04496331,0.0006307804,0.0007042658,0.003502637,0.002203327,0.439113,0.3047672,0.02833207,0.1738104,0.0005468339],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.03956535,0.001134957,0.770238,0.0002815374,0.0003396478,0.0007965616,0.01983382,0.1611506,0.006659509],"genre_scores_gemma":[0.1446514,0.001416472,0.8203623,0.000270034,0.000115365,0.001644385,0.01018866,0.009313615,0.0120378],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02252563,"threshold_uncertainty_score":0.07535577,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2067377566","doi":"10.1016/j.scico.2010.11.010","title":"An empirical study on inconsistent changes to code clones at the release level","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Software evolution; Software release life cycle; Software; clone (Java method); Software quality; Software development; Perspective (graphical); Quality (philosophy); Code (set theory); Empirical research; Source code; Software engineering; Software construction; Programming language; Artificial intelligence; Statistics; Biology","authors":[{"name":"Nicolas Bettenburg","is_ca":true},{"name":"Weiyi Shang","is_ca":true},{"name":"Walid M. Ibrahim","is_ca":true},{"name":"Bram Adams","is_ca":true},{"name":"Ying Zou","is_ca":true},{"name":"Ahmed E. Hassan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06513932518415562,"gpt":0.3623689497781702,"spread":0.2972296245940146,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01541674,0.0003734003,0.0004424987,0.002584822,0.00127061,0.001959332,0.001693081,0.001737807,0.003997073],"category_scores_gemma":[0.2800513,0.0005431284,0.0004107082,0.002778576,0.002120249,0.003433886,0.001383774,0.002942611,0.0006066738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001219415,"about_ca_system_score_gemma":0.001300657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003709873,"about_ca_topic_score_gemma":0.004851873,"domain_scores_codex":[0.9814799,0.009311834,0.001894501,0.00202269,0.004602051,0.0006890274],"domain_scores_gemma":[0.2937554,0.5736138,0.08197597,0.02302686,0.02422729,0.003400643],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.001266849,0.002319647,0.9624238,0.0002080122,0.0001440347,0.0004646898,0.00793324,0.0005256055,0.001349873,0.001098979,0.0006378362,0.02162756],"study_design_scores_gemma":[0.0001278272,0.001767679,0.9791659,0.0001338492,0.0002118056,0.001117451,0.009718454,0.002967691,0.001630935,0.0009333957,0.002181905,0.00004305382],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9979311,0.0001553547,0.0005937818,0.0001187978,0.000006997066,0.00003189968,0.00009503852,0.00001453752,0.001052499],"genre_scores_gemma":[0.9985579,0.00007305897,0.0006009914,0.00008866614,0.00001086768,0.00002703282,0.0002266213,0.000027627,0.0003872698],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01541674,"threshold_uncertainty_score":0.08153248,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2153256103","doi":"10.1016/j.scico.2014.05.008","title":"A survey of grammatical inference in software engineering","year":2014,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Grammar induction; Inference; Rule-based machine translation; Artificial intelligence; Grammar; Natural language processing; Variety (cybernetics); Software; Programming language; Class (philosophy); Linguistics","authors":[{"name":"Andrew Stevenson","is_ca":true},{"name":"James R. Cordy","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02218549995902884,"gpt":0.2829273807883984,"spread":0.2607418808293695,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006788498,0.0008625108,0.001930278,0.008422466,0.001719607,0.005303703,0.002498617,0.002607226,0.007988327],"category_scores_gemma":[0.02971088,0.001166426,0.001272558,0.01155042,0.003539171,0.017308,0.002590143,0.002849886,0.00280845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002044167,"about_ca_system_score_gemma":0.003219017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002469283,"about_ca_topic_score_gemma":0.002629411,"domain_scores_codex":[0.9945332,0.002208916,0.0007108037,0.001050533,0.001296043,0.0002005729],"domain_scores_gemma":[0.9671652,0.0276432,0.000608031,0.00207117,0.002291136,0.0002211679],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00007699445,0.0001181045,0.003871682,0.003456612,0.00009535296,0.0001886225,0.0008644193,0.003720533,0.001218167,0.272644,0.01457236,0.6991732],"study_design_scores_gemma":[0.00002909046,0.00009294755,0.003895408,0.002245758,0.0001299237,0.001146103,0.0008219291,0.02637982,0.00313132,0.6537858,0.3082426,0.00009932126],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.01732188,0.3316728,0.5751345,0.01489951,0.001116007,0.0001612553,0.00116207,0.001416911,0.05711519],"genre_scores_gemma":[0.1937814,0.4221343,0.3580458,0.005531684,0.005525473,0.0002708794,0.003673641,0.00137705,0.009659723],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.008422466,"threshold_uncertainty_score":0.03590143,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2113772893","doi":"10.1016/j.scico.2013.03.015","title":"Using heuristics to estimate an appropriate number of latent topics in source code analysis","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Latent Dirichlet allocation; Source code; Topic model; Heuristics; Set (abstract data type); Locality; Cluster analysis; Code review; Code (set theory); KPI-driven code analysis; Software; Programming language; Theoretical computer science; Information retrieval; Static program analysis; Software development; Artificial intelligence","authors":[{"name":"Scott Grant","is_ca":true},{"name":"James R. Cordy","is_ca":true},{"name":"David B. Skillicorn","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03221342878942683,"gpt":0.3421796663322614,"spread":0.3099662375428346,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006223495,0.001541678,0.001999658,0.005413289,0.001719794,0.003174651,0.002280052,0.002720847,0.001654401],"category_scores_gemma":[0.03925086,0.001448033,0.002053682,0.003823862,0.001318767,0.004389585,0.00190302,0.003874375,0.0007225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001833752,"about_ca_system_score_gemma":0.003327069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01149352,"about_ca_topic_score_gemma":0.01797255,"domain_scores_codex":[0.9950288,0.002604074,0.0003225575,0.001087149,0.000532651,0.0004248293],"domain_scores_gemma":[0.9615428,0.03343609,0.001110277,0.001454951,0.001932054,0.0005239409],"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.00215426,0.001252885,0.03564565,0.0008120415,0.0008286635,0.0002937843,0.002005057,0.2527653,0.01981872,0.02619516,0.01466198,0.6435665],"study_design_scores_gemma":[0.000140466,0.00005520409,0.00267795,0.00004209265,0.0001140143,0.00006486457,0.0001818426,0.9671396,0.002837802,0.02600445,0.0007042755,0.00003749715],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05945667,0.0004781093,0.9372499,0.0002595281,0.00004116278,0.0001513719,0.0003178031,0.001621816,0.0004237025],"genre_scores_gemma":[0.4295899,0.0002581458,0.5659839,0.0002020913,0.00008717525,0.0005339192,0.002292583,0.0003777079,0.0006745976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01149352,"threshold_uncertainty_score":0.03291339,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1998099342","doi":"10.1016/j.scico.2009.12.009","title":"Defining the meaning of tabular mathematical expressions","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Expression (computer science); Schema (genetic algorithms); Meaning (existential); Set (abstract data type); Theoretical computer science; Semantics (computer science); Regular expression; Programming language; Artificial intelligence; Natural language processing; Information retrieval","authors":[{"name":"Ying Jin","is_ca":false},{"name":"David Lorge Parnas","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01331328110744987,"gpt":0.2813138145955044,"spread":0.2680005334880545,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006309564,0.001117231,0.001052199,0.00312063,0.003169346,0.0111889,0.002985077,0.002562885,0.01078255],"category_scores_gemma":[0.01862585,0.001346325,0.001582064,0.004061495,0.009997412,0.02176885,0.004373636,0.005240186,0.00426381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002339684,"about_ca_system_score_gemma":0.001744044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00135984,"about_ca_topic_score_gemma":0.001009219,"domain_scores_codex":[0.9941806,0.002856425,0.0007773141,0.0007720744,0.0009161204,0.0004973667],"domain_scores_gemma":[0.9923974,0.003473557,0.0006641897,0.001327537,0.001900945,0.0002364306],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001224464,0.000003575935,0.00004591506,0.00004256679,0.000003433104,0.00002552991,0.0004214968,0.0001808384,0.0002363914,0.9925727,0.001423543,0.005031715],"study_design_scores_gemma":[0.00001251286,0.00001267599,0.00004783382,0.0001054353,0.00001319312,0.000101455,0.0002963126,0.002544771,0.0008690405,0.9458282,0.05014727,0.00002130228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01047067,0.002319336,0.9165828,0.004604509,0.001624023,0.0001056308,0.0007982093,0.001273704,0.06222113],"genre_scores_gemma":[0.3127822,0.003159776,0.6601753,0.00311919,0.00147356,0.0004947604,0.001491066,0.001725505,0.01557868],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0111889,"threshold_uncertainty_score":0.03607118,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2136605135","doi":"10.1016/s0167-6423(02)00059-x","title":"Extracting Java library subsets for deployment on embedded systems","year":2002,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Russian Science Foundation","keywords":"Computer science; Java; Vendor; Real time Java; Software deployment; Operating system; Java annotation; Embedded system; Programming language","authors":[{"name":"Derek Rayside","is_ca":true},{"name":"Kostas Kontogiannis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03309792975399573,"gpt":0.2732840682834196,"spread":0.2401861385294239,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003252271,0.001239973,0.001040635,0.00230504,0.0007221533,0.001164012,0.001037055,0.0006329831,0.005466072],"category_scores_gemma":[0.003642476,0.001037647,0.00113098,0.002549806,0.0003115617,0.002469447,0.000970538,0.0008580482,0.003505199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003430553,"about_ca_system_score_gemma":0.001224869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002086105,"about_ca_topic_score_gemma":0.004141535,"domain_scores_codex":[0.9994804,0.00006513462,0.00005513131,0.0001066835,0.0001831869,0.0001095185],"domain_scores_gemma":[0.9981354,0.0005519209,0.0001938186,0.0005481353,0.0004615819,0.0001090891],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001666969,0.0003545607,0.01892578,0.0008793364,0.00008985116,0.001420407,0.0007652582,0.02021242,0.1438403,0.007196656,0.03067505,0.7739733],"study_design_scores_gemma":[0.0004549179,0.0008830857,0.02732151,0.0002424885,0.0004867346,0.001665408,0.002155537,0.5736967,0.2903751,0.02869815,0.07386692,0.0001535825],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4029263,0.0006474679,0.5374509,0.0006027489,0.0001578732,0.00034644,0.00537215,0.03932134,0.01317482],"genre_scores_gemma":[0.4628332,0.0004580544,0.5070058,0.0001148808,0.00006748968,0.0002535424,0.01573047,0.007767199,0.005769388],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005466072,"threshold_uncertainty_score":0.01828581,"prediction_status":"machine_predicted_unvalidated"},"labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"low"},{"model":"gpt","categories":[],"domain":null,"study_design":"design_other","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"low"}],"label_agreement":"split"},{"id":"W2783207916","doi":"10.1016/j.scico.2018.01.002","title":"The two paradigms of software development research","year":2018,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Techniques and Practices","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Empirical research; Software development; Situated; Management science; Knowledge management; Software engineering; Software; Data science; Epistemology; Artificial intelligence; Programming language; Engineering","authors":[{"name":"Paul Ralph","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05274942628383975,"gpt":0.3674515784286378,"spread":0.3147021521447981,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.02346946,0.001332868,0.002127497,0.01098962,0.004490358,0.01938815,0.004009208,0.009693149,0.007201413],"category_scores_gemma":[0.04664601,0.001472549,0.001358652,0.008693585,0.05831411,0.03536642,0.01042856,0.01332523,0.002135906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008167957,"about_ca_system_score_gemma":0.01158512,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003104343,"about_ca_topic_score_gemma":0.002240139,"domain_scores_codex":[0.9651294,0.02182904,0.001627434,0.002943751,0.0074085,0.001062041],"domain_scores_gemma":[0.944218,0.03618948,0.003781861,0.006648708,0.006305781,0.002856074],"domain_codex":null,"domain_gemma":"methods","domain_candidate":"methods","domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000082509,0.00002164608,0.0001189822,0.00005270265,0.00000265191,0.00001006565,0.001011092,0.00005942099,0.00003081256,0.9937015,0.0008345219,0.004148303],"study_design_scores_gemma":[0.0000374888,0.0000299836,0.0003207167,0.0002680225,0.000007855299,0.0001134003,0.001776447,0.0008109362,0.0001352124,0.9615878,0.03489293,0.00001904108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01256026,0.04575124,0.4420306,0.1811469,0.003876752,0.0004627378,0.000261231,0.0003552637,0.313555],"genre_scores_gemma":[0.5400277,0.04545052,0.3289113,0.03098243,0.008502866,0.004586683,0.0003348785,0.0005270158,0.04067661],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9765306,"threshold_uncertainty_score":0.1241199,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1966037378","doi":"10.1016/j.scico.2007.01.005","title":"ScriptEase: A generative/adaptive programming paradigm for game scripting","year":2007,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Scripting language; Programming language; Programmer; Game development tool; Game programming; Game design; Process (computing); Human–computer interaction; Video game development; Game art design; Adaptation (eye); Generative grammar; Construct (python library); Game Developer; Game design document; Multimedia; Artificial intelligence","authors":[{"name":"Maria Cutumisu","is_ca":true},{"name":"Curtis Onuczko","is_ca":true},{"name":"Matthew McNaughton","is_ca":true},{"name":"Thomas Roy","is_ca":true},{"name":"Jonathan Schaeffer","is_ca":true},{"name":"Allan Schumacher","is_ca":true},{"name":"Jeff Siegel","is_ca":true},{"name":"Duane Szafron","is_ca":true},{"name":"Kevin Waugh","is_ca":true},{"name":"Mike Carbonaro","is_ca":true},{"name":"Harvey Duff","is_ca":true},{"name":"Stephanie Gillis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04936147975289325,"gpt":0.3183360852273099,"spread":0.2689746054744167,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001188504,0.0008212051,0.00049995,0.0005054565,0.0007329059,0.002166505,0.002656893,0.001053521,0.008936265],"category_scores_gemma":[0.003948076,0.0006757601,0.001302512,0.0003854801,0.001806433,0.002855797,0.002411339,0.003361717,0.001933662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005693636,"about_ca_system_score_gemma":0.0009423574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001496657,"about_ca_topic_score_gemma":0.002608319,"domain_scores_codex":[0.9992161,0.0002638721,0.00006765057,0.0001527769,0.0002345462,0.00006506078],"domain_scores_gemma":[0.9987279,0.000528139,0.0000628651,0.0004080512,0.0001425768,0.0001304788],"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.0001729263,0.0002404627,0.0008430851,0.0003450629,0.00006813292,0.0002616481,0.001879102,0.02238833,0.01486663,0.7585368,0.01991762,0.1804802],"study_design_scores_gemma":[0.0001069012,0.0001202211,0.0002556868,0.0001169934,0.00005563039,0.0005457238,0.0001674084,0.3385862,0.01918298,0.4622574,0.178537,0.00006783897],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001489687,0.00003104381,0.9896407,0.000101762,0.00003984113,0.0000928524,0.00006980383,0.004749967,0.003784415],"genre_scores_gemma":[0.09160756,0.000191024,0.8901355,0.0003600846,0.00004531389,0.0006016596,0.0004414603,0.002725998,0.01389157],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008936265,"threshold_uncertainty_score":0.02989477,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2043140003","doi":"10.1016/j.scico.2013.10.006","title":"SeByte: Scalable clone and similarity search for bytecode","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University; University of Saskatchewan; Queen's University","funders":"","keywords":"Computer science; Bytecode; Scalability; Java bytecode; Ranking (information retrieval); Data mining; Similarity (geometry); Nearest neighbor search; Jaccard index; Source code; Matching (statistics); Heuristic; Binary search algorithm; Information retrieval; Theoretical computer science; Java; Search algorithm; Artificial intelligence; Programming language; Database; Pattern recognition (psychology); Java applet; Java annotation","authors":[{"name":"Iman Keivanloo","is_ca":true},{"name":"Chanchal K. Roy","is_ca":true},{"name":"Juergen Rilling","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0207267550115444,"gpt":0.28171656020423,"spread":0.2609898051926856,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001113742,0.002119087,0.002442063,0.004351909,0.001374505,0.001741198,0.004947162,0.002251134,0.0126803],"category_scores_gemma":[0.007852188,0.0011865,0.001723637,0.005251476,0.001068373,0.006023781,0.004987761,0.001473791,0.005087618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001044333,"about_ca_system_score_gemma":0.002056101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006743291,"about_ca_topic_score_gemma":0.01110688,"domain_scores_codex":[0.9976127,0.0002756218,0.0001619171,0.0005900507,0.001131848,0.0002278928],"domain_scores_gemma":[0.9965239,0.00109207,0.0002657688,0.001393206,0.0005325009,0.0001925079],"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.001287952,0.0003732062,0.004920732,0.0007390772,0.000362257,0.0004642154,0.0004969587,0.01009081,0.03836161,0.01214229,0.06712729,0.8636335],"study_design_scores_gemma":[0.0008491317,0.0007969994,0.003946506,0.0001306561,0.0002689686,0.001157128,0.0005303647,0.8040138,0.08429966,0.05982421,0.04399297,0.000189455],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06183756,0.001607503,0.7144258,0.000279528,0.0003068591,0.000410419,0.002532325,0.2140526,0.004547363],"genre_scores_gemma":[0.2432103,0.000523484,0.7217562,0.0002688317,0.0001298876,0.0004567759,0.01102445,0.01278927,0.00984081],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0126803,"threshold_uncertainty_score":0.04241979,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2068157922","doi":"10.1016/j.scico.2006.11.002","title":"Using semi-formal methods for detecting interactions among smart homes policies","year":2007,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Domain (mathematical analysis); Novelty; Feature (linguistics); Pairwise comparison; Formal methods; Iris recognition; Representation (politics); Taxonomy (biology); Human–computer interaction; Artificial intelligence; Computer security; Software engineering; Biometrics","authors":[{"name":"Mohamed Shehata","is_ca":true},{"name":"Armin Eberlein","is_ca":false},{"name":"Abraham O. Fapojuwo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03111184549035671,"gpt":0.3676450353410482,"spread":0.3365331898506915,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00679027,0.0009898971,0.0009359577,0.002861107,0.0008860699,0.002701264,0.001522633,0.001125728,0.001423591],"category_scores_gemma":[0.02976553,0.0007987726,0.0014459,0.001013493,0.002098646,0.003825445,0.002201131,0.00183786,0.0003588791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00118546,"about_ca_system_score_gemma":0.003121379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004392407,"about_ca_topic_score_gemma":0.006139506,"domain_scores_codex":[0.9878834,0.004615981,0.0009694205,0.001550674,0.004323404,0.0006571708],"domain_scores_gemma":[0.9458267,0.03881527,0.005868331,0.004729697,0.003998226,0.0007616273],"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.001536083,0.001078952,0.06702548,0.001856419,0.0008740728,0.001871023,0.005354624,0.2103128,0.07166305,0.2069352,0.004053526,0.4274387],"study_design_scores_gemma":[0.000104428,0.0002402634,0.002980056,0.0001518796,0.0001192108,0.0003687112,0.0006029243,0.8707983,0.02731859,0.09248418,0.004733956,0.0000974424],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04502132,0.0001261827,0.9503284,0.0001454191,0.00003543195,0.0002130166,0.0002010161,0.003049692,0.0008794285],"genre_scores_gemma":[0.5193364,0.0001112809,0.478277,0.0001032711,0.00002707097,0.0003981398,0.0004683915,0.0002548223,0.001023533],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00679027,"threshold_uncertainty_score":0.03591079,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2020217406","doi":"10.1016/j.scico.2008.09.008","title":"Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code","year":2008,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Abstraction; Code (set theory); Domain (mathematical analysis); Overhead (engineering); Gaussian elimination; Substitution (logic); Algorithm; Theoretical computer science; Gaussian; Mathematics","authors":[{"name":"Jacques Carette","is_ca":true},{"name":"Oleg Kiselyov","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04999646401566613,"gpt":0.2701197069315918,"spread":0.2201232429159256,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005064932,0.0009837567,0.001661431,0.001173621,0.001330811,0.00325558,0.005106173,0.001761562,0.004489292],"category_scores_gemma":[0.01142005,0.001801439,0.002513719,0.0020462,0.003606714,0.01468972,0.00891271,0.004702327,0.001268399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001075885,"about_ca_system_score_gemma":0.002401432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001046217,"about_ca_topic_score_gemma":0.002495855,"domain_scores_codex":[0.995814,0.00117254,0.0003877311,0.0006761299,0.001155632,0.0007939335],"domain_scores_gemma":[0.9832791,0.003231354,0.0007043881,0.0114936,0.0008105278,0.0004809579],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001060108,0.0003642572,0.00572257,0.0006702304,0.0001735073,0.0004235021,0.001501928,0.02299987,0.03235535,0.6277617,0.007096369,0.2998708],"study_design_scores_gemma":[0.0001916781,0.0003393336,0.00153857,0.0001836561,0.0004626938,0.0005779323,0.0002967965,0.2472431,0.05556681,0.6643307,0.0290801,0.000188587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0253026,0.0002020689,0.9665672,0.0002249828,0.00004779527,0.00006230172,0.00006225277,0.005400181,0.002130632],"genre_scores_gemma":[0.3879077,0.0002824733,0.6024572,0.0003413761,0.00009365146,0.0001650856,0.0002469114,0.003125951,0.005379611],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005106173,"threshold_uncertainty_score":0.02678627,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2124504744","doi":"10.1016/j.scico.2005.10.012","title":"Gaussian Elimination: A case study in efficient genericity with MetaOCaml","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Implementation; Gaussian elimination; Code (set theory); Gaussian; Code generation; Programming language; Algorithm; Theoretical computer science; Parallel computing; Mathematical optimization; Key (lock); Operating system; Mathematics","authors":[{"name":"Jacques Carette","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01369903974349951,"gpt":0.2697930863575647,"spread":0.2560940466140652,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006375711,0.0005970901,0.0008842128,0.001063591,0.001801809,0.002941496,0.003306476,0.00229268,0.004815811],"category_scores_gemma":[0.02311493,0.0005668179,0.001705901,0.002931478,0.003200347,0.005576979,0.004801,0.002677237,0.0008845807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001065978,"about_ca_system_score_gemma":0.001750319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002711077,"about_ca_topic_score_gemma":0.004679677,"domain_scores_codex":[0.9951792,0.001990806,0.0002213302,0.000460644,0.001497569,0.0006505189],"domain_scores_gemma":[0.9822434,0.009807545,0.0006357865,0.006011528,0.001070955,0.0002307789],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004225225,0.0002655572,0.003537481,0.000391586,0.00009877729,0.001336206,0.002338099,0.05699189,0.006223449,0.7292682,0.006582227,0.192544],"study_design_scores_gemma":[0.0001881754,0.0001930885,0.0008862402,0.0001439808,0.0001832461,0.001379188,0.0007003542,0.4175477,0.0316459,0.4864818,0.06056247,0.00008779984],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06813831,0.0002550019,0.910255,0.001086198,0.000031285,0.0001664805,0.0001700632,0.005278161,0.0146195],"genre_scores_gemma":[0.4851829,0.000234208,0.5047036,0.000286091,0.00003765497,0.0001168497,0.000304119,0.00211826,0.007016276],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006375711,"threshold_uncertainty_score":0.03371841,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1981525483","doi":"10.1016/j.scico.2012.05.006","title":"Invariant assertions, invariant relations, and invariant functions","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université Laval","funders":"","keywords":"Invariant (physics); Computer science; Invariant polynomial; Finite type invariant; Mathematics; Mathematical analysis","authors":[{"name":"Olfa Mraihi","is_ca":true},{"name":"Asma Louhichi","is_ca":true},{"name":"Lamia Labed Jilani","is_ca":true},{"name":"Jules Desharnais","is_ca":true},{"name":"Ali Mili","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02584949135833708,"gpt":0.2523502179027812,"spread":0.2265007265444441,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008930047,0.00113958,0.001352175,0.004068132,0.003975805,0.006959078,0.002815696,0.00302756,0.00699872],"category_scores_gemma":[0.02990615,0.001498708,0.002450157,0.004005457,0.01722547,0.03065262,0.005675637,0.007462204,0.001346541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001962357,"about_ca_system_score_gemma":0.002201225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002374744,"about_ca_topic_score_gemma":0.001701852,"domain_scores_codex":[0.9912516,0.002738389,0.0009329595,0.00199968,0.002107547,0.0009698681],"domain_scores_gemma":[0.9662519,0.02026766,0.003109033,0.006100627,0.003188278,0.001082545],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003442178,0.00002830114,0.0004787455,0.00004314816,0.00001017119,0.00007963493,0.0003364029,0.000515867,0.0002187006,0.9881632,0.001252317,0.008839191],"study_design_scores_gemma":[0.000009377522,0.000009684641,0.0001037594,0.00001706404,0.00001769386,0.00007337223,0.00007687312,0.001953728,0.0003122038,0.9950373,0.002376314,0.00001256192],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04235388,0.00305776,0.912917,0.00501936,0.0005604445,0.00008242483,0.0005649363,0.0008841958,0.03456002],"genre_scores_gemma":[0.7144772,0.003727578,0.259285,0.002540181,0.002686524,0.0003930228,0.001990748,0.0005597183,0.01434004],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008930047,"threshold_uncertainty_score":0.04722714,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2049511237","doi":"10.1016/j.scico.2012.11.002","title":"Stratified sampling of execution traces: Execution phases serving as strata","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université Laval; Concordia University","funders":"","keywords":"Computer science; Sampling (signal processing); Stratified sampling; Parallel computing; Telecommunications; Statistics","authors":[{"name":"Heidar Pirzadeh","is_ca":true},{"name":"Sara Shanian","is_ca":true},{"name":"Abdelwahab Hamou‐Lhadj","is_ca":true},{"name":"Luay Alawneh","is_ca":true},{"name":"Arya Shafiee","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04349503827909484,"gpt":0.3280507423000704,"spread":0.2845557040209756,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02687073,0.0007248078,0.001809418,0.001797788,0.001361738,0.002635545,0.002194093,0.001533504,0.003783671],"category_scores_gemma":[0.102019,0.0007480875,0.001589424,0.002049885,0.001620142,0.001142926,0.002180364,0.001439361,0.001056192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001019111,"about_ca_system_score_gemma":0.002629914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004356659,"about_ca_topic_score_gemma":0.004561136,"domain_scores_codex":[0.9775286,0.01330293,0.001579536,0.003522259,0.002658274,0.00140836],"domain_scores_gemma":[0.9287406,0.03373099,0.002994473,0.02725672,0.005427138,0.001850052],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.01359066,0.002056376,0.5583236,0.0008487868,0.002494833,0.000630351,0.007455528,0.02369402,0.03048616,0.08049674,0.01702056,0.2629024],"study_design_scores_gemma":[0.002663505,0.004533978,0.279074,0.0003930205,0.005550158,0.001334987,0.004722344,0.3987767,0.0511975,0.2007096,0.05068657,0.0003576028],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.436699,0.0007814898,0.5481957,0.0006563655,0.0004298104,0.00357054,0.00405916,0.001422507,0.004185344],"genre_scores_gemma":[0.9177194,0.0001845261,0.07281773,0.0006044356,0.0001786834,0.001836632,0.003585446,0.0001534373,0.002919825],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02687073,"threshold_uncertainty_score":0.1421077,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2921931467","doi":"10.1016/j.scico.2019.03.001","title":"Measuring and analyzing code authorship in 1 + 118 open source projects","year":2019,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Computer science; Linux kernel; Source code; Relation (database); Key (lock); World Wide Web; Code (set theory); Open source; Replicate; Constant (computer programming); Metric (unit); Open source software; Operating system; Software; Information retrieval; Data science; Programming language; Database; Statistics","authors":[{"name":"Guilherme Avelino","is_ca":false},{"name":"Leonardo Passos","is_ca":true},{"name":"André Hora","is_ca":false},{"name":"Marco Túlio Valente","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05623410123772979,"gpt":0.3030603189937094,"spread":0.2468262177559796,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch","bibliometrics"],"consensus_categories":[],"category_scores_codex":[0.006131408,0.0003581543,0.0003165389,0.007084605,0.001339801,0.001465539,0.0007120893,0.0008430973,0.001134546],"category_scores_gemma":[0.08011086,0.0002980855,0.0002843162,0.004450887,0.0008219175,0.001942858,0.002530265,0.0006961812,0.0005215826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007954967,"about_ca_system_score_gemma":0.001354231,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001464565,"about_ca_topic_score_gemma":0.004133201,"domain_scores_codex":[0.9880105,0.003102364,0.001509577,0.001920096,0.004844158,0.0006132584],"domain_scores_gemma":[0.8395121,0.08397979,0.03101857,0.01094031,0.0283335,0.006215734],"domain_codex":null,"domain_gemma":"evaluation","domain_candidate":"evaluation","domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0004172712,0.0002835737,0.8166114,0.0003020325,0.0000820577,0.000292636,0.006008032,0.001475955,0.006520628,0.001489327,0.001956297,0.1645608],"study_design_scores_gemma":[0.00007380224,0.0007398699,0.9376845,0.0001596703,0.0001115532,0.001241336,0.005369612,0.02147544,0.0111484,0.003753596,0.01815751,0.00008468202],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9964954,0.0001302037,0.001381675,0.00007554125,0.00001902599,0.00003076506,0.000336039,0.0001346361,0.001396766],"genre_scores_gemma":[0.9903896,0.0000911824,0.006133841,0.000021758,0.00002569721,0.00006699035,0.00118892,0.00008733357,0.001994513],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9938686,"threshold_uncertainty_score":0.03242636,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1968178973","doi":"10.1016/j.scico.2013.11.021","title":"Understanding software artifact provenance","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Artifact (error); Sketch; Flexibility (engineering); Software; Software engineering; Component (thermodynamics); Java; Software development; Component-based software engineering; Software system; Human–computer interaction; Programming language; Artificial intelligence","authors":[{"name":"Michael W. Godfrey","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2422656385648839,"gpt":0.3652303537855464,"spread":0.1229647152206625,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01305477,0.0005770697,0.000682933,0.005940391,0.002571904,0.00864943,0.001759867,0.002278874,0.002755101],"category_scores_gemma":[0.1161754,0.00119432,0.001303458,0.003328761,0.004728257,0.02457527,0.005952208,0.003559115,0.0005905851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001936309,"about_ca_system_score_gemma":0.005466409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01124038,"about_ca_topic_score_gemma":0.007821604,"domain_scores_codex":[0.9868869,0.004798226,0.001566798,0.001624477,0.004536794,0.0005868174],"domain_scores_gemma":[0.8984229,0.04988356,0.006411624,0.02732743,0.01686016,0.001094259],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001273556,0.0001004586,0.01915849,0.0003692158,0.00006943198,0.0009020991,0.007617918,0.01114327,0.002338166,0.8316121,0.004278421,0.122283],"study_design_scores_gemma":[0.00002748528,0.00005256126,0.003014778,0.0003494976,0.0001285238,0.0005765251,0.00216413,0.07639355,0.005919709,0.8478037,0.06351636,0.00005325066],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.073333,0.0008799393,0.9009256,0.005900592,0.0002305689,0.0003152159,0.000705183,0.001626,0.0160838],"genre_scores_gemma":[0.7343896,0.001182051,0.2560317,0.0004070525,0.0001402202,0.0001790602,0.001664244,0.000793936,0.005212143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01305477,"threshold_uncertainty_score":0.06904107,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2109580177","doi":"10.1016/j.scico.2013.11.027","title":"An insight into the dispersion of changes in cloned and non-cloned code: A genealogy based empirical study","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Computer science; Code (set theory); Cloning (programming); Empirical research; Genealogy; Programming language; History; Statistics; Mathematics","authors":[{"name":"Manishankar Mondal","is_ca":true},{"name":"Chanchal K. Roy","is_ca":true},{"name":"Kevin A. Schneider","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02139409513525516,"gpt":0.3106982517246645,"spread":0.2893041565894094,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.004982007,0.0001212954,0.0003933022,0.004113319,0.001033116,0.001779674,0.001132221,0.001047466,0.004116815],"category_scores_gemma":[0.07162661,0.0002996181,0.0002501338,0.00439915,0.003545853,0.004208814,0.00157934,0.001182401,0.0004101551],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009127863,"about_ca_system_score_gemma":0.0003869108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006021489,"about_ca_topic_score_gemma":0.005679198,"domain_scores_codex":[0.9973538,0.001192412,0.0001687154,0.0005744431,0.0005223053,0.0001883406],"domain_scores_gemma":[0.9056657,0.07394291,0.01060912,0.005849006,0.002633889,0.001299343],"domain_codex":null,"domain_gemma":"methods","domain_candidate":"methods","domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0002425522,0.0001707967,0.9300351,0.00005418011,0.0001578372,0.0004749513,0.01214402,0.005042598,0.001930153,0.02707954,0.0005389222,0.02212925],"study_design_scores_gemma":[0.00002773917,0.0002806723,0.9229248,0.00006397406,0.00008734792,0.002107769,0.01241327,0.02348125,0.001337465,0.0339842,0.003228312,0.00006328129],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9956661,0.0001832002,0.001825826,0.0001845594,0.000002439722,0.000006047384,0.0001058457,0.00001403749,0.002011688],"genre_scores_gemma":[0.9989592,0.00005988957,0.0004522369,0.00002020796,0.000004165542,0.000003891011,0.00008835486,0.00001056693,0.000401384],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.995018,"threshold_uncertainty_score":0.0263477,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2766618326","doi":"10.1016/j.scico.2017.08.010","title":"A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users","year":2017,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Persona Design and Applications","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Networks of Centres of Excellence of Canada; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Persona; Categorization; Grounded theory; Identification (biology); Human–computer interaction; Set (abstract data type); Space (punctuation); Artificial intelligence; Qualitative research; Programming language","authors":[{"name":"Janna-Lynn Dupree","is_ca":true},{"name":"Edward Lank","is_ca":true},{"name":"Daniel M. Berry","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1122795109532508,"gpt":0.3727912956136177,"spread":0.260511784660367,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01844569,0.001019964,0.000717407,0.002667193,0.01123507,0.004484887,0.003422937,0.007233794,0.00428157],"category_scores_gemma":[0.05506026,0.0009701868,0.001030634,0.002649729,0.005047207,0.006469151,0.005976981,0.00426241,0.0008990339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005112215,"about_ca_system_score_gemma":0.005381417,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007576385,"about_ca_topic_score_gemma":0.01301503,"domain_scores_codex":[0.964913,0.02780036,0.001015097,0.001491833,0.002972992,0.001806707],"domain_scores_gemma":[0.9175091,0.06552686,0.002791171,0.006508881,0.004918852,0.002745105],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"qualitative","study_design_scores_codex":[0.001221156,0.006573775,0.02508867,0.001792079,0.0001014572,0.03283554,0.7626182,0.002380148,0.0117132,0.06263684,0.006025646,0.08701327],"study_design_scores_gemma":[0.0004981785,0.002323437,0.01360871,0.00120128,0.0001809356,0.01729707,0.8401835,0.01303156,0.02155804,0.01971668,0.0701735,0.0002271673],"study_design_candidate":"qualitative","study_design_consensus":"qualitative","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8865401,0.0002081392,0.07807796,0.004111042,0.0001140629,0.003233607,0.0003975413,0.0001660922,0.02715158],"genre_scores_gemma":[0.9301859,0.0002171547,0.06126672,0.0008048697,0.00001738942,0.001365888,0.0001538751,0.00008820809,0.005900006],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01844569,"threshold_uncertainty_score":0.09755135,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2150207557","doi":"10.1016/j.scico.2009.02.005","title":"Reading beside the lines: Using indentation to rank revisions by complexity","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Indentation; Ranking (information retrieval); Code (set theory); Variance (accounting); Rank (graph theory); Metric (unit); Proxy (statistics); Simple (philosophy); Task (project management); Face (sociological concept); Reading (process); Algorithm; Theoretical computer science; Programming language; Artificial intelligence; Machine learning; Mathematics; Linguistics","authors":[{"name":"Abram Hindle","is_ca":true},{"name":"Michael W. Godfrey","is_ca":true},{"name":"Richard C. Holt","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04347948325870071,"gpt":0.3439133840634598,"spread":0.3004339008047591,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01149518,0.001717808,0.001777878,0.01766745,0.003255694,0.008136672,0.002374511,0.002057834,0.03063122],"category_scores_gemma":[0.2567894,0.0006720479,0.001059041,0.01544307,0.003728557,0.01945807,0.005048565,0.002876641,0.007332691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00125559,"about_ca_system_score_gemma":0.002724731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002094141,"about_ca_topic_score_gemma":0.002795522,"domain_scores_codex":[0.9830283,0.007197151,0.002190214,0.002005843,0.004494485,0.001084014],"domain_scores_gemma":[0.7762977,0.1281565,0.0235709,0.0281378,0.03700265,0.006834509],"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.001816205,0.0003106002,0.0457192,0.0006784591,0.0001607272,0.0003930123,0.003683756,0.005901535,0.002544984,0.0769192,0.08297163,0.7789006],"study_design_scores_gemma":[0.0004825906,0.001775824,0.05469128,0.001038389,0.0002717017,0.001379283,0.008047144,0.1225906,0.01320291,0.6768135,0.1190598,0.0006470513],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.300415,0.002993068,0.5889816,0.007197712,0.003681829,0.0008052107,0.006909437,0.01118735,0.07782878],"genre_scores_gemma":[0.7533416,0.0005892205,0.2251453,0.0005033191,0.001484334,0.0004040199,0.004947894,0.001738939,0.01184544],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03063122,"threshold_uncertainty_score":0.1024716,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2110847937","doi":"10.1016/j.scico.2011.11.002","title":"Tuning research tools for scalability and performance: The NiCad experience","year":2011,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Saskatchewan; Queen's University","funders":"Center for Advanced Study, University of Illinois at Urbana-Champaign; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Scalability; Laptop; Factor (programming language); Software; Subsequence; Parsing; Code (set theory); Process (computing); Software engineering; Programming language; Operating system","authors":[{"name":"James R. Cordy","is_ca":true},{"name":"Chanchal K. Roy","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1341347190317785,"gpt":0.3583887963203428,"spread":0.2242540772885643,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02949757,0.001238922,0.001296595,0.002938367,0.00159734,0.005456735,0.004926632,0.001393886,0.007474232],"category_scores_gemma":[0.07485249,0.0009397957,0.0006601744,0.003426273,0.002372247,0.0131473,0.004190107,0.005450099,0.002072908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002601461,"about_ca_system_score_gemma":0.00410555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004116926,"about_ca_topic_score_gemma":0.004165156,"domain_scores_codex":[0.9846057,0.007141692,0.0006432152,0.001347957,0.005692833,0.0005685963],"domain_scores_gemma":[0.9007604,0.05447537,0.001696488,0.02088155,0.01891218,0.003274029],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002742825,0.00123262,0.01123915,0.0006742305,0.0001735205,0.0001539772,0.002670772,0.01656108,0.01513467,0.1374611,0.07371888,0.7382372],"study_design_scores_gemma":[0.001575311,0.001319241,0.008617536,0.000801935,0.0004303589,0.0007482729,0.002280649,0.348748,0.07528085,0.2042976,0.355451,0.0004491815],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1645008,0.009401965,0.6364604,0.01451369,0.001254148,0.0005832776,0.001171606,0.05577257,0.1163415],"genre_scores_gemma":[0.3704232,0.003126683,0.6011708,0.001439382,0.0004303636,0.0004845743,0.001302572,0.007129748,0.01449268],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02949757,"threshold_uncertainty_score":0.156,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3018272941","doi":"10.1016/j.scico.2020.102472","title":"The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?","year":2020,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; Sheridan College","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Ambiguity; Software requirements specification; Sampling (signal processing); Process (computing); System requirements specification; Software engineering; Software; Software development; Risk analysis (engineering); Programming language; Software design","authors":[{"name":"Cristina Ribeiro","is_ca":true},{"name":"Daniel M. Berry","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06871544950554817,"gpt":0.2913727760571159,"spread":0.2226573265515678,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0722291,0.0004737972,0.0008223739,0.006397225,0.001894808,0.006371234,0.002548779,0.003598313,0.001633252],"category_scores_gemma":[0.4492901,0.001115621,0.0008722159,0.005146103,0.005621438,0.02320316,0.006331486,0.004919088,0.0004708859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001350835,"about_ca_system_score_gemma":0.003599795,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001683704,"about_ca_topic_score_gemma":0.001844952,"domain_scores_codex":[0.9165481,0.03677056,0.01211036,0.004285168,0.0281033,0.002182605],"domain_scores_gemma":[0.4105153,0.4296969,0.08734978,0.03215988,0.03623209,0.004046003],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0008107107,0.0003705911,0.389419,0.001556665,0.0003653166,0.001781577,0.03706216,0.003026985,0.007530917,0.06768552,0.005784611,0.4846059],"study_design_scores_gemma":[0.0002359012,0.001020093,0.2950092,0.00526282,0.0009385996,0.02496914,0.1277081,0.03200998,0.01037212,0.4591987,0.04250785,0.0007675515],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.813342,0.01029738,0.1178748,0.04273168,0.00070791,0.0001543882,0.0003993799,0.0006103154,0.01388221],"genre_scores_gemma":[0.9674169,0.001529816,0.02831609,0.001758807,0.0003240837,0.00004319464,0.0001972645,0.0001339334,0.0002799575],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0722291,"threshold_uncertainty_score":0.3819886,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2122723127","doi":"10.1016/j.scico.2010.10.006","title":"Metamodeling semantics of multiple inheritance","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Inheritance (genetic algorithm); Metamodeling; Programming language; Programmer; Semantics (computer science); Context (archaeology); Construct (python library); Reusability; Multiple inheritance; Theoretical computer science; Object-oriented programming","authors":[{"name":"Roland Ducournau","is_ca":false},{"name":"Jean Privat","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01989774059262699,"gpt":0.2773421233404728,"spread":0.2574443827478458,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004195493,0.0005854961,0.0007488147,0.00128017,0.001459818,0.004237384,0.002279621,0.001630487,0.00255114],"category_scores_gemma":[0.005476007,0.0009409856,0.00153776,0.001185742,0.002633816,0.0091592,0.002595208,0.003016909,0.0005279492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001870733,"about_ca_system_score_gemma":0.001742905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002537595,"about_ca_topic_score_gemma":0.003216912,"domain_scores_codex":[0.9975125,0.0008587763,0.0003481404,0.0003676648,0.0006827975,0.0002300739],"domain_scores_gemma":[0.9966941,0.001193291,0.0002681689,0.0009814068,0.0006901794,0.0001729031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002678751,0.00002577166,0.0002294967,0.00005426967,0.00001434592,0.0000818839,0.0006802114,0.002524059,0.001579515,0.981427,0.0006464408,0.01271028],"study_design_scores_gemma":[0.00003297161,0.00001898021,0.0001313799,0.00007329357,0.00005258075,0.0001523465,0.000157524,0.01995974,0.003495107,0.9554601,0.02043901,0.00002681385],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02199855,0.0004560183,0.9654237,0.0009576352,0.0001393142,0.00005366703,0.0001405873,0.001275008,0.009555483],"genre_scores_gemma":[0.4953761,0.000790171,0.4943274,0.0005289816,0.0002194283,0.0001748059,0.0004532006,0.0007437647,0.007386119],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004237384,"threshold_uncertainty_score":0.02218819,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1409803167","doi":"10.1016/j.scico.2015.07.006","title":"Automatic deployment of component-based applications","year":2015,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"Seventh Framework Programme; Agence Nationale de la Recherche","keywords":"Computer science; Software deployment; Component (thermodynamics); Exploit; Metis; Cloud computing; Component-based software engineering; Distributed computing; Software; Process (computing); Automation; Software engineering; Service (business); Software system; Operating system; Database; Computer security","authors":[{"name":"Tudor A. Lascu","is_ca":false},{"name":"Jacopo Mauro","is_ca":false},{"name":"Gianluigi Zavattaro","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01774387087131645,"gpt":0.2637728356554294,"spread":0.2460289647841129,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001041513,0.001068218,0.0008311436,0.001687625,0.0007508683,0.001367881,0.0009487677,0.0008338181,0.002531804],"category_scores_gemma":[0.005947736,0.0008154864,0.0004380945,0.000916308,0.000441112,0.001002087,0.001034855,0.0008920736,0.00151074],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006851191,"about_ca_system_score_gemma":0.0009746635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003217473,"about_ca_topic_score_gemma":0.004159019,"domain_scores_codex":[0.9987198,0.000370663,0.00007322401,0.000193507,0.0005092351,0.0001335772],"domain_scores_gemma":[0.9968856,0.001218317,0.0001739674,0.0007213908,0.0008476492,0.0001530441],"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.001368948,0.0002953686,0.007202633,0.0005670014,0.0001156933,0.0009097524,0.0005788637,0.1066534,0.2087036,0.009994501,0.01458209,0.6490282],"study_design_scores_gemma":[0.00007878266,0.0001084779,0.003466325,0.00004118642,0.00007514054,0.0002380901,0.0001026975,0.9221088,0.0604334,0.005289556,0.00802823,0.00002927406],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1379858,0.00062989,0.812782,0.0003454252,0.000203347,0.0002326636,0.0002000322,0.04196164,0.005659163],"genre_scores_gemma":[0.7445844,0.0002953824,0.2501426,0.00007501664,0.00003832839,0.00009344756,0.0006362344,0.001510555,0.002624148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003217473,"threshold_uncertainty_score":0.008469701,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4382930431","doi":"10.1016/j.scico.2023.102990","title":"AmbieGen: A search-based framework for autonomous systems testing","year":2023,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Modular design; Software deployment; Autonomous system (mathematics); Architecture; Robot; Scenario testing; Test case; Distributed computing; Artificial intelligence; Software engineering; Machine learning; Programming language","authors":[{"name":"Dmytro Humeniuk","is_ca":true},{"name":"Foutse Khomh","is_ca":true},{"name":"Giuliano Antoniol","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0676608071989877,"gpt":0.3268068828846064,"spread":0.2591460756856187,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005923716,0.002488074,0.001379859,0.003242035,0.0008038545,0.002825805,0.005625123,0.002167857,0.00594512],"category_scores_gemma":[0.01344693,0.001325637,0.003004641,0.001515941,0.002973966,0.002773588,0.003338803,0.003704058,0.001672292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001612604,"about_ca_system_score_gemma":0.002870499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00630772,"about_ca_topic_score_gemma":0.007736673,"domain_scores_codex":[0.9959014,0.001622124,0.0003469729,0.0004573818,0.001379796,0.0002922442],"domain_scores_gemma":[0.995127,0.003291266,0.0003151619,0.0005755335,0.0005194432,0.0001714948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001877743,0.0002663126,0.002213149,0.001110172,0.0002299811,0.0006426605,0.0003911043,0.5233328,0.005850151,0.2609517,0.01121904,0.193605],"study_design_scores_gemma":[0.00007222302,0.00008445418,0.0002050571,0.0002150913,0.00004447308,0.000294065,0.00003557273,0.8724615,0.00335928,0.1014926,0.02169538,0.00004032495],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007452509,0.0001935575,0.9927011,0.0001081297,0.000019077,0.0001798499,0.0001336174,0.004496886,0.001422591],"genre_scores_gemma":[0.03928959,0.0004781577,0.9561993,0.0001540897,0.00003493715,0.0007901794,0.0008346487,0.0009442907,0.00127476],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00630772,"threshold_uncertainty_score":0.03132796,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W989621208","doi":"10.1016/j.scico.2015.07.005","title":"Signature required: Making Simulink data flow and interfaces explicit","year":2015,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Signature (topology); Reuse; Documentation; Interface (matter); Generalization; Software engineering; Software; Automotive industry; Comprehension; Program comprehension; Programming language; Software system; Operating system","authors":[{"name":"Marc Bender","is_ca":true},{"name":"Karen Laurin","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Vera Pantelic","is_ca":true},{"name":"Alexandre Korobkine","is_ca":true},{"name":"Jeff Ong","is_ca":true},{"name":"Bennett Mackenzie","is_ca":true},{"name":"Monika Bialy","is_ca":true},{"name":"Steven Postma","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08808852585487233,"gpt":0.3382831394588602,"spread":0.2501946136039879,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003468775,0.001118494,0.000958938,0.0007587749,0.001015234,0.002764601,0.002892687,0.002229502,0.01549359],"category_scores_gemma":[0.02215523,0.001011985,0.0009412142,0.0007157254,0.002051664,0.008425685,0.003493196,0.004858386,0.004429761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001097332,"about_ca_system_score_gemma":0.003499608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001060035,"about_ca_topic_score_gemma":0.0013461,"domain_scores_codex":[0.9958857,0.0008121273,0.0004164032,0.0007295785,0.001550666,0.0006055719],"domain_scores_gemma":[0.982106,0.004504301,0.001439139,0.007865093,0.0036191,0.0004665403],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0029849,0.0005458107,0.003097202,0.000958693,0.00009698018,0.001271818,0.001126411,0.02866471,0.09017766,0.4419166,0.01659832,0.4125609],"study_design_scores_gemma":[0.0005216607,0.0004624623,0.000846898,0.0003938396,0.0002688113,0.0006274147,0.0002922606,0.2278835,0.446546,0.2453812,0.07661396,0.0001620244],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01662832,0.00006107908,0.9656051,0.0005652554,0.0004629253,0.0001317407,0.0001884299,0.00898183,0.007375287],"genre_scores_gemma":[0.5820721,0.0001739943,0.3909945,0.001076484,0.0002072316,0.0002223082,0.0004848845,0.005044769,0.01972366],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01549359,"threshold_uncertainty_score":0.05183125,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2010487855","doi":"10.1016/j.scico.2013.01.007","title":"Concurrency control generation for dynamic threads using discrete-event systems","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Concurrency; Petri net; Distributed computing; Deadlock; Formalism (music); Concurrency control; Thread (computing); State space; Deadlock prevention algorithms; Event (particle physics); Concurrent object-oriented programming; Concurrent computing; Parallel computing; Theoretical computer science; Programming language; Reactive programming; Programming paradigm","authors":[{"name":"Anthony R. Auer","is_ca":true},{"name":"Juergen Dingel","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03041229813417752,"gpt":0.3042638866127702,"spread":0.2738515884785927,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003312264,0.0006053402,0.0008762777,0.0008748877,0.00105329,0.002152477,0.001833782,0.0007821162,0.003146703],"category_scores_gemma":[0.008917863,0.0006492197,0.001005188,0.0005107358,0.001466723,0.001980127,0.001986921,0.001652835,0.0003242556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009060631,"about_ca_system_score_gemma":0.001412279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002361374,"about_ca_topic_score_gemma":0.00308708,"domain_scores_codex":[0.9979006,0.0004996221,0.0001752095,0.0003865171,0.0007928189,0.0002452086],"domain_scores_gemma":[0.9949507,0.002956845,0.0003097747,0.0008004794,0.0007116214,0.0002706253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001227859,0.0004623072,0.003354101,0.0002983896,0.0001348111,0.0007449372,0.0009198579,0.5029097,0.03133178,0.2882069,0.002246208,0.1681631],"study_design_scores_gemma":[0.00007347359,0.00003247573,0.0000600553,0.00001275721,0.00002397231,0.00003131726,0.00002564503,0.9469731,0.007672098,0.04349541,0.001584984,0.00001461832],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01809374,0.00006284363,0.9793901,0.00006879995,0.00005577123,0.00007664056,0.0000202316,0.0008408931,0.001390974],"genre_scores_gemma":[0.6511328,0.00007896624,0.34578,0.00005505786,0.00003104513,0.0001789233,0.00009653137,0.000284029,0.002362626],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003312264,"threshold_uncertainty_score":0.01751709,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1807103277","doi":"10.1016/j.scico.2015.10.005","title":"Formal verification of function blocks applied to IEC 61131-3","year":2015,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Implementation; Correctness; Programmable logic controller; Consistency (knowledge bases); Function (biology); Block (permutation group theory); Programming language; Certification; Function block diagram; Embedded system; Programmable logic device; Operating system; Artificial intelligence","authors":[{"name":"Linna Pang","is_ca":true},{"name":"Chen-Wei Wang","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0386080968845398,"gpt":0.2954469819160373,"spread":0.2568388850314975,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003403415,0.0007438666,0.0004578481,0.0009027696,0.0005519274,0.001400734,0.001004081,0.0008979967,0.004195527],"category_scores_gemma":[0.009119404,0.0004093951,0.001040492,0.0002955009,0.001650167,0.001192021,0.0006744997,0.001012616,0.0008501354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001073074,"about_ca_system_score_gemma":0.00329863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006512422,"about_ca_topic_score_gemma":0.004573649,"domain_scores_codex":[0.995831,0.001701722,0.0002207786,0.0002850072,0.001567845,0.0003937426],"domain_scores_gemma":[0.9942499,0.003518237,0.0003239088,0.0009028403,0.0009576249,0.00004740449],"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.0009031408,0.0002865142,0.002456239,0.001341542,0.0001599141,0.0007683021,0.0009564365,0.2962663,0.0925695,0.430123,0.005618807,0.1685503],"study_design_scores_gemma":[0.0002440748,0.0003908534,0.000932909,0.0003018418,0.0001614366,0.0002478237,0.00009321054,0.6940442,0.1733519,0.09740476,0.03274511,0.00008184672],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03798901,0.0001498512,0.9511547,0.0001054325,0.0001166102,0.0002499719,0.0002144828,0.003607527,0.006412385],"genre_scores_gemma":[0.7052403,0.0002526116,0.2889405,0.0001176262,0.00004128084,0.0003626153,0.0005891322,0.0005303485,0.003925504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006512422,"threshold_uncertainty_score":0.01799917,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4393359044","doi":"10.1016/j.scico.2024.103114","title":"Exploring issues of story-based effort estimation in Agile Software Development (ASD)","year":2024,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Software Engineering Techniques and Practices","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Moncton","funders":"","keywords":"Agile software development; Estimation; Computer science; Software development; Software; Lean software development; Software engineering; Software development process; Engineering; Systems engineering; Operating system","authors":[{"name":"Muhammad Iqbal","is_ca":false},{"name":"Muhammad Ijaz","is_ca":false},{"name":"Tehseen Mazhar","is_ca":false},{"name":"Tariq Shahzad","is_ca":false},{"name":"Qamar Abbas","is_ca":false},{"name":"YazeedYasin Ghadi","is_ca":false},{"name":"Wasim Ahmad","is_ca":false},{"name":"Habib Hamam","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04850963153745771,"gpt":0.3009249251196753,"spread":0.2524152935822176,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01993444,0.0005043713,0.0004105896,0.002144608,0.0009297481,0.005705758,0.001881872,0.001371619,0.00213937],"category_scores_gemma":[0.1856569,0.0005986851,0.0003589429,0.002211462,0.001935048,0.01115638,0.003731408,0.001711515,0.0001958152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001615884,"about_ca_system_score_gemma":0.001327109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004950832,"about_ca_topic_score_gemma":0.004463315,"domain_scores_codex":[0.982837,0.01353776,0.0006921794,0.0007827698,0.00177615,0.0003740771],"domain_scores_gemma":[0.7951708,0.1816226,0.008583442,0.004663136,0.008769798,0.00119014],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"qualitative","study_design_scores_codex":[0.000708855,0.000568868,0.1139148,0.0005828261,0.0001692472,0.0009558297,0.05518159,0.04190851,0.004228544,0.3285144,0.002611747,0.4506548],"study_design_scores_gemma":[0.00006127329,0.0005038622,0.04762613,0.0005423827,0.0001239028,0.0008238364,0.0472891,0.7096381,0.006393795,0.1741895,0.01266321,0.0001449973],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4382053,0.0005401499,0.5415604,0.003763986,0.0000637282,0.0001449553,0.0001309769,0.00021293,0.01537756],"genre_scores_gemma":[0.9210623,0.0001112861,0.07787091,0.00005965785,0.00001251141,0.0000725785,0.00006195949,0.00004550214,0.0007034261],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01993444,"threshold_uncertainty_score":0.1054247,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2094437360","doi":"10.1016/j.scico.2013.11.005","title":"Infeasible paths in object-oriented programs","year":2013,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Dataflow; Computer science; Reachability; Traverse; Control flow; Control flow graph; Graph; Program analysis; Reachability problem; Path (computing); Theoretical computer science; Algorithm; Context (archaeology); Call graph; Data-flow analysis; Data flow diagram; Parallel computing; Programming language","authors":[{"name":"Frank Tip","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02225470980871377,"gpt":0.2856804653230817,"spread":0.263425755514368,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004251047,0.0007552483,0.0009227172,0.001991842,0.00252593,0.003429994,0.001460035,0.002215548,0.004393976],"category_scores_gemma":[0.03500198,0.001615677,0.001150805,0.002113853,0.004939992,0.007270311,0.003747375,0.004033217,0.0004107324],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001651408,"about_ca_system_score_gemma":0.002645313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00464487,"about_ca_topic_score_gemma":0.004865397,"domain_scores_codex":[0.9945919,0.001935135,0.0003587819,0.0005451696,0.001947343,0.0006216613],"domain_scores_gemma":[0.9595531,0.03471218,0.002478477,0.001417465,0.001351713,0.0004870559],"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.0004187055,0.0001436782,0.003816617,0.000394087,0.00005261556,0.001065225,0.00139526,0.1013316,0.00213181,0.8597063,0.001432364,0.02811179],"study_design_scores_gemma":[0.00004658603,0.00002802658,0.0002988277,0.00006240264,0.00003641417,0.0001398016,0.0001795862,0.0828622,0.001718829,0.9123253,0.002282075,0.00002009816],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1821312,0.0004459186,0.803498,0.001136024,0.00007102918,0.0001675537,0.0002664624,0.0007370176,0.01154684],"genre_scores_gemma":[0.7652062,0.0006473304,0.2259453,0.0002790223,0.0000519477,0.0003078949,0.0005673877,0.0004167327,0.006578257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00464487,"threshold_uncertainty_score":0.02248198,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2169575545","doi":"10.1016/s0167-6423(02)00056-4","title":"Supporting iterations in exploratory database reengineering processes","year":2002,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Business process reengineering; Legacy system; Software engineering; Database; Programming language","authors":[{"name":"Jens H. Jahnke","is_ca":true},{"name":"Wilhelm Schäfer","is_ca":false},{"name":"Jörg P. Wadsack","is_ca":false},{"name":"Albert Zündorf","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01727943956174552,"gpt":0.2582559259184934,"spread":0.2409764863567479,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01093133,0.0009135733,0.0008477204,0.0008870288,0.00123951,0.003870051,0.002364447,0.002055476,0.004125724],"category_scores_gemma":[0.07025163,0.001207158,0.0006263607,0.0006603959,0.001482379,0.006079711,0.004707152,0.002232384,0.001169106],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004843043,"about_ca_system_score_gemma":0.001750571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007716204,"about_ca_topic_score_gemma":0.001091748,"domain_scores_codex":[0.9914697,0.004326319,0.0004773308,0.0007897982,0.002340921,0.0005958515],"domain_scores_gemma":[0.9105836,0.06494135,0.003530397,0.01396174,0.005171261,0.001811734],"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.00626865,0.002516507,0.03553668,0.0009893627,0.0001714116,0.001391721,0.02340637,0.0693248,0.07193414,0.09232546,0.004643846,0.6914911],"study_design_scores_gemma":[0.0005999201,0.00213468,0.005355805,0.0004186258,0.0001838218,0.0009639193,0.003984906,0.7170299,0.1509828,0.09483478,0.02330636,0.0002045001],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3709234,0.0002058989,0.6104815,0.0003818595,0.00004597322,0.000451886,0.00007884004,0.009090072,0.008340565],"genre_scores_gemma":[0.7454935,0.00008604815,0.2511393,0.00006036188,0.00001677794,0.000167771,0.0001987078,0.0006022804,0.002235241],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01093133,"threshold_uncertainty_score":0.05781108,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2003852722","doi":"10.1016/j.scico.2007.11.005","title":"The logic of message-passing","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Message passing; Notation; Programming language; Operational semantics; Equivalence (formal languages); Semantics (computer science); Proof theory; Theoretical computer science; Logic programming; Term (time); Calculus (dental); Algorithm; Discrete mathematics; Mathematics; Mathematical proof","authors":[{"name":"J.R.B. Cockett","is_ca":true},{"name":"Craig Pastro","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02187553062832526,"gpt":0.2702122055431208,"spread":0.2483366749147955,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004631742,0.001056834,0.001336937,0.00216203,0.003217412,0.01160889,0.002509017,0.002671505,0.006561277],"category_scores_gemma":[0.01170779,0.001309548,0.00195751,0.003289113,0.0120821,0.02273229,0.003244746,0.007675115,0.001993956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003861822,"about_ca_system_score_gemma":0.002474573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002063203,"about_ca_topic_score_gemma":0.0009141876,"domain_scores_codex":[0.9961383,0.001511095,0.000275368,0.0006262934,0.001070466,0.0003784451],"domain_scores_gemma":[0.9936286,0.004022321,0.0004565425,0.0009361349,0.0006146092,0.000341805],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009474087,0.000003279438,0.00002680351,0.00002044614,0.00000302996,0.00001162977,0.00007334505,0.0002675175,0.0000677044,0.9964736,0.0007622149,0.002280818],"study_design_scores_gemma":[0.000009318167,0.000004070588,0.00001681394,0.00001472554,0.000006034004,0.00002458827,0.00001872836,0.001607917,0.0001823757,0.991711,0.006397791,0.000006637481],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01621074,0.009279246,0.8676357,0.01620169,0.001374742,0.00008408353,0.0006396124,0.001288849,0.08728538],"genre_scores_gemma":[0.6636998,0.0117068,0.274371,0.004685679,0.004351806,0.0004316382,0.0009141027,0.0007050922,0.03913411],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01160889,"threshold_uncertainty_score":0.02801967,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2088136492","doi":"10.1016/j.scico.2010.05.002","title":"The essential similarity and differences between mathematical modeling and programming","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Teaching and Learning Programming","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Similarity (geometry); Mathematical model; Theoretical computer science; Artificial intelligence; Mathematics; Statistics","authors":[{"name":"Daniel M. Berry","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01880713761369641,"gpt":0.2760802703627261,"spread":0.2572731327490297,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003472522,0.0003990426,0.000754291,0.001604849,0.00149818,0.004440904,0.001470487,0.002630379,0.003261016],"category_scores_gemma":[0.01855606,0.0003254563,0.0005799317,0.00162172,0.01381288,0.01102159,0.002648665,0.004577854,0.0007873913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00123446,"about_ca_system_score_gemma":0.001568747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001125371,"about_ca_topic_score_gemma":0.0005855921,"domain_scores_codex":[0.9970509,0.001438764,0.0002150547,0.0004617823,0.0007214839,0.000112122],"domain_scores_gemma":[0.9894432,0.007390034,0.0004941224,0.00139227,0.0009492907,0.0003311128],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001146099,0.000007842553,0.0001482717,0.0000637568,0.00000354503,0.00001924058,0.0005190878,0.0001452938,0.0001342193,0.9919124,0.0009987603,0.006036151],"study_design_scores_gemma":[0.000008724818,0.00002084831,0.0005908303,0.00006959791,0.000008452594,0.0002520384,0.0003379274,0.001790055,0.0003104016,0.9708474,0.02575043,0.00001332473],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0679873,0.07136213,0.5626146,0.06038268,0.008123579,0.0001681723,0.0004886369,0.0008731505,0.2279997],"genre_scores_gemma":[0.8388897,0.01706485,0.1141144,0.006488068,0.005378861,0.0003778817,0.0002373394,0.0002715478,0.01717726],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004440904,"threshold_uncertainty_score":0.01836467,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}