{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":25,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":25,"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":"52604394b71c","filters":{"venue":"ACM SIGAda Ada Letters"}},"results":[{"id":"W659530620","doi":"10.1145/2870544.2870551","title":"Real-Time Fine-Grained Parallelism in Ada","year":2015,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Parallelism (grammar); Task parallelism; Programming language; Parallel computing; Data parallelism; Instruction-level parallelism; Implicit parallelism","authors":[{"name":"Luís Miguel Pinho","is_ca":false},{"name":"Brad Moore","is_ca":true},{"name":"Stephen Michell","is_ca":false},{"name":"S. Tucker Taft","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02270847754535184,"gpt":0.2530869120129884,"spread":0.2303784344676365,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00157186,0.0003209735,0.0005051466,0.000336478,0.000594438,0.001883596,0.000931502,0.0005680288,0.002028544],"category_scores_gemma":[0.001495407,0.0004576783,0.0005679492,0.0003523496,0.001847197,0.002181836,0.0008558974,0.002701894,0.0005945264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008427828,"about_ca_system_score_gemma":0.0006874085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009005368,"about_ca_topic_score_gemma":0.001576454,"domain_scores_codex":[0.9987919,0.000299836,0.0001093957,0.0001617147,0.0005054626,0.0001317018],"domain_scores_gemma":[0.9989391,0.0002558542,0.00007073708,0.0004508808,0.000209427,0.00007393963],"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.0002048112,0.00009378962,0.0002920982,0.0002231049,0.0000263374,0.00008954454,0.0005569027,0.03869611,0.02177353,0.8117429,0.005588636,0.1207123],"study_design_scores_gemma":[0.0001359195,0.0002210114,0.0003538778,0.00009715375,0.00003880882,0.0003260963,0.0001013598,0.2122165,0.0255667,0.4667103,0.2941133,0.0001190204],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01062823,0.002201825,0.9743701,0.001112734,0.0005631619,0.00004937084,0.00003895252,0.001700381,0.00933532],"genre_scores_gemma":[0.2855187,0.002259212,0.6996828,0.0006402089,0.0002641429,0.0001098133,0.00009035357,0.0006921091,0.01074265],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002028544,"threshold_uncertainty_score":0.008312881,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2006432698","doi":"10.1145/2552999.2553002","title":"Parallelism in Ada","year":2013,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Task parallelism; Parallelism (grammar); Concurrency; Parallel computing; Instruction-level parallelism; Implicit parallelism; Data parallelism; Task (project management); Divide and conquer algorithms; Syntax; sort; Programming language","authors":[{"name":"Brad Moore","is_ca":true},{"name":"Stephen Michell","is_ca":false},{"name":"Luís Miguel Pinho","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01202024888399344,"gpt":0.2255274574977706,"spread":0.2135072086137772,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009995541,0.000458778,0.0004391469,0.000584463,0.001163349,0.002580959,0.0007626902,0.0006856458,0.00736135],"category_scores_gemma":[0.0016946,0.0004405313,0.0006404885,0.0008095133,0.001740954,0.002058554,0.001211924,0.001996281,0.004119011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007918121,"about_ca_system_score_gemma":0.001077467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009658498,"about_ca_topic_score_gemma":0.001174153,"domain_scores_codex":[0.9990591,0.0002469266,0.00007235382,0.0001530256,0.0004007177,0.00006771668],"domain_scores_gemma":[0.9995095,0.0001442571,0.00003476333,0.0001412722,0.0001191339,0.00005109133],"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.00004180863,0.00002661163,0.0002562778,0.0001850558,0.00001459348,0.000106128,0.0003693773,0.005880896,0.001663878,0.8489702,0.02353081,0.1189544],"study_design_scores_gemma":[0.00003046973,0.00003865623,0.0001689375,0.00006366817,0.000011019,0.00029937,0.00005528343,0.01504806,0.001677391,0.3716611,0.6109243,0.00002172496],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008232184,0.01353283,0.7229688,0.004303453,0.002833793,0.0001684653,0.0003235426,0.004302859,0.2433341],"genre_scores_gemma":[0.2188934,0.01002422,0.6637476,0.002027919,0.001896637,0.0004307658,0.000584409,0.001509717,0.1008853],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00736135,"threshold_uncertainty_score":0.0246262,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4255323088","doi":"10.1145/2692956.2663181","title":"Safe parallel programming in ada with language extensions","year":2014,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Programming language; Concurrency; Compiler; Syntax; Programming paradigm; Parallel programming model; Parallelism (grammar); Parallel computing; Artificial intelligence","authors":[{"name":"S. Tucker Taft","is_ca":false},{"name":"Brad Moore","is_ca":true},{"name":"Luís Miguel Pinho","is_ca":false},{"name":"Stephen Michell","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00908914508692225,"gpt":0.2324076934630078,"spread":0.2233185483760855,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002610491,0.0005407924,0.0005151905,0.000489126,0.0007047477,0.002346953,0.001425065,0.0008348137,0.002901728],"category_scores_gemma":[0.003926677,0.0007013705,0.001315775,0.0003498059,0.002182263,0.002800318,0.002186948,0.002790393,0.001135195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005070717,"about_ca_system_score_gemma":0.001333593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000494645,"about_ca_topic_score_gemma":0.0008838919,"domain_scores_codex":[0.9982978,0.0004762897,0.0002383038,0.0002055459,0.0006338891,0.0001481923],"domain_scores_gemma":[0.9968707,0.0008980943,0.0003031402,0.001101556,0.0006851362,0.0001413791],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002631259,0.0001251763,0.001047844,0.0003663122,0.00004249735,0.0005833189,0.001552155,0.02677214,0.01123537,0.8666469,0.007040832,0.08432435],"study_design_scores_gemma":[0.0002272848,0.0002149673,0.0002686896,0.000234292,0.0001120456,0.001139759,0.0002308194,0.1900054,0.0191094,0.492115,0.2962413,0.0001009705],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01405274,0.0002030767,0.971501,0.0005417868,0.0001969376,0.00009545228,0.00008552917,0.004492699,0.008830757],"genre_scores_gemma":[0.1580944,0.0003821585,0.8306896,0.0006094172,0.0001712993,0.000299139,0.0001635532,0.001042802,0.008547468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002901728,"threshold_uncertainty_score":0.01380575,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4236319854","doi":"10.1145/1104011.1103858","title":"AspectAda","year":2005,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Programming language; Computer science; AspectJ; First-generation programming language; Java; Interface (matter); Low-level programming language; Fourth-generation programming language; Aspect-oriented programming; Very high-level programming language; Programming language specification; Programming paradigm; Programming domain; Functional logic programming; Inductive programming; Software; Operating system","authors":[{"name":"Knut H. Pedersen","is_ca":true},{"name":"Constantinos Constantinides","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.024166371813279,"gpt":0.261369772295011,"spread":0.237203400481732,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00188072,0.001186476,0.0006323927,0.001319127,0.0009707364,0.004081352,0.002452917,0.001587987,0.03207406],"category_scores_gemma":[0.006556825,0.001214594,0.001545365,0.0007683318,0.0007798251,0.005456275,0.004203431,0.003395462,0.02565572],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006349264,"about_ca_system_score_gemma":0.00166273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001135512,"about_ca_topic_score_gemma":0.001603778,"domain_scores_codex":[0.997973,0.0003293158,0.0002290748,0.0003084774,0.0009939433,0.0001660693],"domain_scores_gemma":[0.9977183,0.0005550467,0.0001750711,0.0007275274,0.0006092639,0.0002147867],"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.0004503543,0.0002020707,0.001640415,0.00152795,0.0001377176,0.0007542149,0.001514499,0.002533541,0.019673,0.3088061,0.2349548,0.4278053],"study_design_scores_gemma":[0.00003286784,0.00002537426,0.000165159,0.00008806095,0.00002509306,0.0004466832,0.00005066063,0.002388194,0.003557969,0.01721681,0.9759796,0.00002352482],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.004428443,0.002302449,0.6926354,0.001123466,0.001580513,0.0007309637,0.001880955,0.126532,0.1687858],"genre_scores_gemma":[0.09200253,0.005074572,0.604131,0.002883234,0.0008323707,0.00180946,0.01410624,0.05149059,0.22767],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03207406,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2075573329","doi":"10.1145/1806546.1806553","title":"Realtime paradigms needed post Ada 2005","year":2010,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Concurrency; Multiprocessing; Scheduling (production processes); Blocking (statistics); Programming language; Concurrency control; Distributed computing; Parallel computing; Computer architecture; Computer network","authors":[{"name":"Stephen Michell","is_ca":false},{"name":"Luke Wong","is_ca":false},{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007968287309009604,"gpt":0.220578211781564,"spread":0.2126099244725544,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006321133,0.0006565168,0.0003313402,0.0007147221,0.001715509,0.005728669,0.001222158,0.002142988,0.03088387],"category_scores_gemma":[0.006873133,0.0005701969,0.0005645625,0.0004246008,0.001676968,0.004909178,0.001921348,0.006294774,0.01061117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003008165,"about_ca_system_score_gemma":0.003065408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002369358,"about_ca_topic_score_gemma":0.002933661,"domain_scores_codex":[0.9969764,0.0005820928,0.0002208183,0.0003384594,0.001440714,0.000441548],"domain_scores_gemma":[0.9960252,0.0006358173,0.0002769035,0.0006470293,0.001563237,0.0008517434],"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.0001644286,0.0001021602,0.0002611479,0.0002396507,0.00001016631,0.0003052333,0.001211874,0.000776528,0.007235584,0.6443093,0.182717,0.162667],"study_design_scores_gemma":[0.00002879222,0.00006713477,0.0001153153,0.00007904014,0.000004345098,0.0001775053,0.0001206154,0.000832298,0.001232324,0.02674169,0.9705866,0.00001441135],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01432657,0.01672897,0.2431884,0.1041677,0.05784433,0.0002589316,0.000487755,0.005759259,0.557238],"genre_scores_gemma":[0.20728,0.01336295,0.2526649,0.0306441,0.01851964,0.0004651672,0.0009215215,0.002614023,0.4735277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03088387,"threshold_uncertainty_score":0.1033168,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2001010400","doi":"10.1145/1806546.1806564","title":"Conclusions of the 14th international real-time Ada workshop","year":2010,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Citation; Computer science; Software; Library science; World Wide Web; Operating system","authors":[{"name":"Stephen Michell","is_ca":false},{"name":"Jorge Real","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008741895914681243,"gpt":0.2365375849585324,"spread":0.2277956890438511,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004706143,0.0012151,0.0008668622,0.00298161,0.0006579417,0.003188251,0.001910491,0.002232183,0.06096491],"category_scores_gemma":[0.00690174,0.0004296616,0.001323361,0.002421623,0.0004756144,0.002773494,0.001515128,0.002367293,0.04093434],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002359392,"about_ca_system_score_gemma":0.004469133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004723141,"about_ca_topic_score_gemma":0.009081038,"domain_scores_codex":[0.9972202,0.0003323179,0.0002772799,0.0002798344,0.001582926,0.0003075288],"domain_scores_gemma":[0.9889539,0.0007022905,0.0003906907,0.0003177117,0.008558726,0.001076565],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002165349,0.0001083271,0.0003534188,0.001580297,0.00004083662,0.0001211311,0.00007168807,0.0003344878,0.001204371,0.001030428,0.6991139,0.2958246],"study_design_scores_gemma":[0.00001443951,0.00005173849,0.0004277416,0.0008102978,0.00003624524,0.00008231102,0.0000536902,0.00006476144,0.0004960746,0.0003727732,0.9975788,0.0000111138],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"commentary","genre_scores_codex":[0.003399437,0.5521316,0.01022455,0.04987862,0.2341297,0.0006785491,0.001641913,0.0008340607,0.1470817],"genre_scores_gemma":[0.01700213,0.4788078,0.008462439,0.02213673,0.05325159,0.0004843124,0.005778653,0.00083049,0.4132458],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.06096491,"threshold_uncertainty_score":0.203948,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2086169821","doi":"10.1145/1165678.1165680","title":"Publisher FrameWork (PFW)","year":2006,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Raytheon Technologies (Canada)","funders":"","keywords":"Computer science; Air traffic control; Fault tolerance; Component (thermodynamics); Object-oriented programming; Software; Aviation; Software engineering; Distributed computing; Engineering; Operating system","authors":[{"name":"Judith Klein","is_ca":false},{"name":"Drasko Sotirovski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00727781898003395,"gpt":0.2071256663101589,"spread":0.199847847330125,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00414853,0.001298054,0.0007579005,0.001437308,0.001265819,0.004517566,0.003874165,0.002359799,0.02255861],"category_scores_gemma":[0.007954909,0.001341856,0.001753865,0.00110859,0.001292863,0.006985318,0.003841173,0.002981929,0.01337404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001403597,"about_ca_system_score_gemma":0.003381017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00846759,"about_ca_topic_score_gemma":0.007575961,"domain_scores_codex":[0.9976549,0.0004392528,0.0002199732,0.0003852611,0.0009811742,0.0003193028],"domain_scores_gemma":[0.9975286,0.0005355929,0.0001532307,0.001103727,0.0004997184,0.0001791559],"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.0002067924,0.0001484588,0.001492531,0.000612634,0.00008111911,0.0003968235,0.0007574589,0.01020966,0.005508831,0.4937073,0.1020153,0.3848632],"study_design_scores_gemma":[0.0001008215,0.00009046453,0.0003972078,0.0001562595,0.00003994706,0.0005166717,0.0001237359,0.0325168,0.005610307,0.09073775,0.8696349,0.00007500181],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001870078,0.0003907447,0.9143149,0.000503171,0.0001798293,0.0003546051,0.001084036,0.05174826,0.02955437],"genre_scores_gemma":[0.06231455,0.001018975,0.8653484,0.0007495903,0.0001735603,0.001206086,0.008013928,0.02000639,0.04116853],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02255861,"threshold_uncertainty_score":0.07546604,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2052173215","doi":"10.1145/959221.959238","title":"An approach to formal verication of real time concurrent Ada programs","year":2003,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"National Research Council Canada; Carleton University","funders":"","keywords":"Computer science; Correctness; SPARK (programming language); Programming language; Automated theorem proving; Code (set theory); Gas meter prover; Proof assistant; Static analysis; Model checking; Mathematics","authors":[{"name":"Douglas J. Howe","is_ca":true},{"name":"Stephen Michell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03251390474002544,"gpt":0.2853511344025492,"spread":0.2528372296625238,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003401617,0.000662312,0.0005869874,0.001028683,0.001213644,0.002948929,0.003044423,0.001396763,0.003321924],"category_scores_gemma":[0.004939621,0.001179558,0.002309416,0.0006151015,0.005488437,0.004554831,0.002481744,0.003915024,0.000871037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001550721,"about_ca_system_score_gemma":0.002720247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002581675,"about_ca_topic_score_gemma":0.002613511,"domain_scores_codex":[0.9969363,0.000766513,0.0002438643,0.0004017436,0.001379544,0.0002720703],"domain_scores_gemma":[0.9968933,0.00144049,0.0002195263,0.0008252169,0.0005220044,0.00009943199],"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.00006378369,0.00008032023,0.0002202209,0.0002912364,0.00004092696,0.0002758188,0.0008344933,0.02924315,0.01179421,0.9019442,0.00214741,0.05306417],"study_design_scores_gemma":[0.00009710876,0.0001315735,0.0001240192,0.0001412554,0.00008990167,0.0004795238,0.0001797074,0.177734,0.02746511,0.7046552,0.08882236,0.00008016896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001670015,0.0001467746,0.9953738,0.000239825,0.00006088665,0.00004462076,0.0000276593,0.0006131755,0.001823301],"genre_scores_gemma":[0.1132592,0.0007459911,0.8797451,0.0002654571,0.0001535457,0.0002444838,0.0001336869,0.0002257243,0.005226708],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003401617,"threshold_uncertainty_score":0.0179897,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3161311896","doi":"10.1145/1454497.1454485","title":"Dynamic analysis of Ada programs for comprehension and quality measurement","year":2008,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Software Engineering Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Program comprehension; Schema (genetic algorithms); Software engineering; Software quality; Comprehension; Visualization; Programming language; Call graph; Software; Set (abstract data type); Software system; Data mining; Software development; Information retrieval","authors":[{"name":"Elaheh Safari-Sharifabadi","is_ca":true},{"name":"Constantinos Constantinides","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08656111550795259,"gpt":0.3013409992798645,"spread":0.2147798837719119,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002007966,0.0007988045,0.0006140504,0.003823369,0.0003704694,0.001479962,0.0006627549,0.0004273637,0.001062365],"category_scores_gemma":[0.0116132,0.0003242058,0.0004986863,0.00218911,0.0005084554,0.001654686,0.0007021791,0.0009956672,0.0003796375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006305195,"about_ca_system_score_gemma":0.0007212046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001634539,"about_ca_topic_score_gemma":0.001474842,"domain_scores_codex":[0.9971214,0.0006121988,0.0002170583,0.0004479693,0.001472462,0.0001288486],"domain_scores_gemma":[0.9876913,0.005245186,0.001614597,0.002012513,0.003188774,0.000247586],"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.0007928906,0.0007681139,0.09256607,0.0008536768,0.0001932236,0.0005228175,0.00444966,0.03668693,0.3051105,0.01031311,0.004247909,0.5434952],"study_design_scores_gemma":[0.00007182438,0.001336553,0.1269908,0.0001696063,0.0002145953,0.0009471068,0.001206512,0.5792205,0.2561362,0.01259412,0.02092201,0.0001900854],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4862401,0.0005200614,0.4842278,0.000316395,0.00004046478,0.000277755,0.001467596,0.02296027,0.003949616],"genre_scores_gemma":[0.8229867,0.0002218215,0.172634,0.00005722034,0.00002892185,0.0002326534,0.001546579,0.001353684,0.0009383984],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003823369,"threshold_uncertainty_score":0.01061922,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2346824377","doi":"10.1145/2971571.2971573","title":"Reduction of Parallel Computation in the Parallel Model for Ada","year":2016,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Parallel computing; Parallelism (grammar); Computer science; Reduction (mathematics); Computation; Loop (graph theory); Task parallelism; Automatic parallelization; Programming language; Compiler; Mathematics","authors":[{"name":"Tucker Taft","is_ca":false},{"name":"Brad Moore","is_ca":true},{"name":"Luís Miguel Pinho","is_ca":false},{"name":"Stephen Michell","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0331962137927896,"gpt":0.274088169665274,"spread":0.2408919558724844,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005423243,0.0005191047,0.0007857071,0.0003703164,0.0006238385,0.0013271,0.001101621,0.0005294545,0.003400209],"category_scores_gemma":[0.001399626,0.0003177707,0.001095085,0.0005355465,0.001457012,0.001981021,0.001274149,0.00223953,0.001127938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007225265,"about_ca_system_score_gemma":0.0007851761,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001154684,"about_ca_topic_score_gemma":0.001608762,"domain_scores_codex":[0.9988524,0.0002574631,0.00005052339,0.0001442873,0.0006013862,0.00009396592],"domain_scores_gemma":[0.9994909,0.0001391285,0.0000223476,0.0002501186,0.00007873656,0.00001872283],"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.0001319152,0.0001163242,0.0003151663,0.0002323951,0.00004378805,0.0001393868,0.0002359244,0.1366503,0.0100299,0.7680984,0.005677397,0.07832915],"study_design_scores_gemma":[0.00004304716,0.00007328612,0.0001695388,0.00002701602,0.0000199707,0.0001298841,0.00004390732,0.4100057,0.005512189,0.5383899,0.04556623,0.00001933768],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.010816,0.0007638104,0.9722678,0.0005712193,0.0001300799,0.0001024121,0.00009425608,0.0005732138,0.01468117],"genre_scores_gemma":[0.2796351,0.001419061,0.7000867,0.000329472,0.0002439979,0.0004447968,0.0003332767,0.0005857146,0.01692189],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003400209,"threshold_uncertainty_score":0.01137483,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1986783865","doi":"10.1145/1806546.1806552","title":"Named memory pool for Ada","year":2010,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Simple (philosophy); Memory management; Programming language; Distributed computing; Operating system; Semiconductor memory","authors":[{"name":"Luke Wong","is_ca":false},{"name":"Stephen Michell","is_ca":false},{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01178120214542567,"gpt":0.2382128219669543,"spread":0.2264316198215286,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00141062,0.0007005836,0.0007337147,0.0007030044,0.001857496,0.003280168,0.002747795,0.00149453,0.01127672],"category_scores_gemma":[0.002197428,0.0006775341,0.001024737,0.0007575402,0.001586217,0.00712634,0.003447716,0.003188281,0.005609326],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001002183,"about_ca_system_score_gemma":0.001478369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001041705,"about_ca_topic_score_gemma":0.001443884,"domain_scores_codex":[0.9987246,0.0003733458,0.0001221205,0.0002100228,0.0003801126,0.0001896114],"domain_scores_gemma":[0.9987191,0.0002425731,0.0000948336,0.0005493232,0.000258825,0.0001353317],"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.0001860662,0.00003523192,0.0002041502,0.0002470984,0.00002102037,0.0001469955,0.0003339131,0.00229936,0.003866388,0.8645329,0.03783086,0.09029596],"study_design_scores_gemma":[0.00006425298,0.0001165161,0.00009111068,0.0001087368,0.00005025749,0.0004557133,0.00006560842,0.01746432,0.005857136,0.1817109,0.7939605,0.00005498238],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004456075,0.00344908,0.9257795,0.002155631,0.002589412,0.0001484605,0.0002622922,0.008294123,0.05286552],"genre_scores_gemma":[0.1528805,0.003533521,0.7759943,0.003431066,0.002106222,0.0008916383,0.0008444724,0.002999189,0.05731906],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01127672,"threshold_uncertainty_score":0.03772438,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2030134136","doi":"10.1145/2552999.2553004","title":"Ada and many-core platforms","year":2013,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"Fundação para a Ciência e a Tecnologia","keywords":"Programmer; Computer science; Core (optical fiber); Distributed computing; Many core; Software engineering; Programming language; Parallel computing; Telecommunications","authors":[{"name":"Luís Miguel Pinho","is_ca":false},{"name":"Stephen Michell","is_ca":false},{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01769208592258515,"gpt":0.2284198450471966,"spread":0.2107277591246114,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000735556,0.0002510594,0.0002711076,0.0003389219,0.0007533245,0.002057309,0.0006393105,0.000765016,0.006342334],"category_scores_gemma":[0.00184145,0.0003032509,0.0001940627,0.0002982973,0.001328422,0.003017159,0.001175285,0.002616023,0.00162556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005619076,"about_ca_system_score_gemma":0.0005578176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004435336,"about_ca_topic_score_gemma":0.0007615577,"domain_scores_codex":[0.999315,0.0001619033,0.00003028078,0.0000983865,0.0003126258,0.00008186007],"domain_scores_gemma":[0.9991247,0.0003301625,0.00005026118,0.0001651583,0.0001925769,0.0001371754],"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.000065385,0.00004661043,0.0003630424,0.0001590019,0.000009787646,0.0001411932,0.0001739981,0.006949659,0.003509018,0.8658258,0.01733476,0.1054216],"study_design_scores_gemma":[0.00002999338,0.00009320683,0.000417592,0.0001443754,0.00000999693,0.000448195,0.0001262756,0.04312189,0.004004109,0.5838267,0.3677413,0.00003631941],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.04469576,0.03721778,0.5762399,0.01456407,0.006615228,0.00009858249,0.000107478,0.00201556,0.3184456],"genre_scores_gemma":[0.5465463,0.01707124,0.3244754,0.004959682,0.00229753,0.0001941431,0.000202354,0.0006978559,0.1035555],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.006342334,"threshold_uncertainty_score":0.02121717,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4233702450","doi":"10.1145/1185875.1185654","title":"Time horizon in distributed object societies","year":2006,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Raytheon Technologies (Canada)","funders":"","keywords":"Event (particle physics); Compendium; Computer science; Software; Modernization theory; Simple (philosophy); Automation; Object (grammar); Aviation; Software engineering; Horizon; Operations research; Engineering; Operating system; Artificial intelligence; Geography; Political science; Archaeology","authors":[{"name":"Drasko Sotirovski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007249091596390611,"gpt":0.2025277754509499,"spread":0.1952786838545593,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003299796,0.0005307273,0.0009991499,0.001297607,0.00379641,0.007257297,0.001245319,0.002331685,0.008788625],"category_scores_gemma":[0.008296478,0.0005014641,0.0007451646,0.002196193,0.007702594,0.01242936,0.004204571,0.003413087,0.00160913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004152399,"about_ca_system_score_gemma":0.002082337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004007864,"about_ca_topic_score_gemma":0.00198939,"domain_scores_codex":[0.9969736,0.001022412,0.0001827041,0.0006709779,0.0008237104,0.0003265622],"domain_scores_gemma":[0.9964947,0.001565898,0.0002938532,0.000766012,0.0004194234,0.0004599933],"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.000004494409,0.000003383495,0.00003966452,0.00001547558,0.00000235747,0.00001841912,0.000182291,0.0005047104,0.00003880715,0.9957199,0.0009222243,0.002548306],"study_design_scores_gemma":[0.00001238877,0.000008346826,0.00005355667,0.00001457301,0.000004289167,0.00002964115,0.00008208167,0.002796002,0.00007536051,0.9578802,0.03903678,0.000006746006],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02875485,0.01968294,0.5603366,0.02124731,0.002244506,0.0002766134,0.0003777573,0.001079532,0.3659998],"genre_scores_gemma":[0.8087605,0.009963694,0.1157721,0.001817704,0.002117894,0.000683951,0.0004208314,0.0003413051,0.06012198],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008788625,"threshold_uncertainty_score":0.03012794,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2094660491","doi":"10.1145/2070336.2070351","title":"Stack safe parallel recursion with paraffin","year":2011,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Stack (abstract data type); Call stack; Recursion (computer science); Computer science; Subroutine; Parallel computing; Parallelism (grammar); Feature (linguistics); Algorithm; Programming language; Distributed computing","authors":[{"name":"Bradley S. Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02888066258292444,"gpt":0.2236974589418251,"spread":0.1948167963589007,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001146915,0.0006450985,0.0005652835,0.0005827028,0.0006758196,0.001423299,0.001566637,0.0006374224,0.006008788],"category_scores_gemma":[0.002817448,0.0005198442,0.0009722483,0.0009071659,0.001680067,0.003182001,0.002746351,0.001209851,0.001511499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001151559,"about_ca_system_score_gemma":0.0020341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002298211,"about_ca_topic_score_gemma":0.004383067,"domain_scores_codex":[0.9990256,0.0001711206,0.00008811946,0.0001462191,0.0003663509,0.0002026696],"domain_scores_gemma":[0.9985548,0.0003102834,0.0001832053,0.0006244925,0.0002774691,0.00004973011],"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.0009209337,0.0001715261,0.003585172,0.0006547073,0.00008599012,0.0005336339,0.0008382527,0.08273885,0.05784775,0.5445875,0.01639081,0.2916449],"study_design_scores_gemma":[0.0002806704,0.000462771,0.0007382003,0.0001563279,0.0001311934,0.0005909676,0.0002150713,0.3994295,0.1396849,0.3210076,0.1371708,0.0001319967],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04203635,0.0003178969,0.9185722,0.0002286128,0.00008025156,0.0001668091,0.0001978083,0.01365297,0.02474721],"genre_scores_gemma":[0.3526368,0.000365277,0.6233779,0.00034041,0.00004849036,0.000277535,0.0004785631,0.002990206,0.01948487],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006008788,"threshold_uncertainty_score":0.02010137,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2016069715","doi":"10.1145/2070336.2070352","title":"How to make ada go 'viral'","year":2011,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Language and cultural evolution","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Popularity; Mainstream; Point (geometry); Computer science; Viral marketing; World Wide Web; Advertising; Internet privacy; Business; Psychology; Political science; Social psychology; Social media","authors":[{"name":"Jean-Pierre Rosen","is_ca":false},{"name":"Brad Moore","is_ca":true},{"name":"Tucker Taft","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03229160905340734,"gpt":0.253286128761819,"spread":0.2209945197084117,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005984847,0.0006425884,0.0002895049,0.00102541,0.005834736,0.01146658,0.001158595,0.003027575,0.04230348],"category_scores_gemma":[0.01987417,0.0004287717,0.0004346638,0.0006548623,0.003578546,0.01402848,0.003640213,0.004975275,0.04400614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001485399,"about_ca_system_score_gemma":0.002117066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009500527,"about_ca_topic_score_gemma":0.01082789,"domain_scores_codex":[0.9959313,0.001608989,0.0001061298,0.0003239045,0.00140019,0.0006293969],"domain_scores_gemma":[0.9891101,0.001746495,0.0005304265,0.00114902,0.004138387,0.003325482],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005222378,0.00019233,0.004429758,0.000109284,0.00001868302,0.0001982205,0.01396131,0.00006912097,0.002215643,0.03500119,0.748573,0.1951794],"study_design_scores_gemma":[0.00001159036,0.00005128924,0.002007215,0.00006711968,0.000009486867,0.0001773017,0.007717669,0.0001297974,0.0004320002,0.0063881,0.9829835,0.00002503032],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"commentary","genre_scores_codex":[0.05318777,0.004060341,0.01322371,0.3558737,0.01467639,0.0001646279,0.0004406385,0.003497338,0.5548755],"genre_scores_gemma":[0.3004964,0.004832768,0.02503994,0.1263343,0.003488097,0.0001954466,0.0008880157,0.003152282,0.5355727],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.04230348,"threshold_uncertainty_score":0.1415192,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4249530205","doi":"10.1145/2658982.2527270","title":"Real-time programming on accelerator many-core processors","year":2013,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Concurrency; Correctness; Software development; Programming language; Software; Distributed computing; Programming paradigm; Multi-core processor; Parallel computing","authors":[{"name":"Stephen Michell","is_ca":false},{"name":"Brad Moore","is_ca":true},{"name":"Luís Miguel Pinho","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02073493688878678,"gpt":0.2438396532670254,"spread":0.2231047163782386,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005491614,0.0001912202,0.0002348042,0.0001395481,0.0003126367,0.0008257389,0.0005792287,0.0002913087,0.002461624],"category_scores_gemma":[0.001249914,0.0001502632,0.0002124753,0.0001789807,0.0004366868,0.0007092904,0.0004005441,0.0007081571,0.0004512994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004443113,"about_ca_system_score_gemma":0.000836694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001726387,"about_ca_topic_score_gemma":0.00442652,"domain_scores_codex":[0.9997486,0.00006996842,0.0000161648,0.00003235318,0.00009602767,0.00003672661],"domain_scores_gemma":[0.999496,0.0002172033,0.00004866853,0.0001051163,0.00009091083,0.00004214546],"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.000421205,0.0001713746,0.002704204,0.0002665855,0.00003006125,0.0004257796,0.0005066794,0.3759953,0.04745236,0.4704855,0.008494229,0.09304667],"study_design_scores_gemma":[0.00004147445,0.00009246179,0.0005282753,0.00001795078,0.000009299294,0.00008323279,0.00005686537,0.9153304,0.006290781,0.05730101,0.02023775,0.00001051902],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1476205,0.0005130935,0.8230609,0.0008771758,0.0002281841,0.00008695468,0.0000952311,0.001870668,0.02564713],"genre_scores_gemma":[0.7113117,0.0004784494,0.2650014,0.0001574299,0.00007718239,0.00009285926,0.0001396079,0.0002261044,0.02251516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002461624,"threshold_uncertainty_score":0.008234918,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1965117069","doi":"10.1145/2070336.2070357","title":"Enhancing spark's contract checking facilities using symbolic execution","year":2011,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Symbolic execution; SPARK (programming language); Software engineering; Usability; Programming language; Automation; Design by contract; Software; Model checking; Formal methods; Software development; Software construction; Operating system; Engineering","authors":[{"name":"Jason Belt","is_ca":false},{"name":"John Hatcliff","is_ca":false},{"name":"Robby","is_ca":false},{"name":"Patrice Chalin","is_ca":true},{"name":"David Hardin","is_ca":false},{"name":"Xianghua Deng","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06601541650421534,"gpt":0.2562466960245205,"spread":0.1902312795203052,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005798045,0.001040133,0.0009072915,0.001945948,0.0008544734,0.001967692,0.002811227,0.0009739422,0.004485956],"category_scores_gemma":[0.02074078,0.0009568507,0.001353897,0.001172926,0.002775864,0.003818526,0.003144853,0.002507284,0.001444191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001123495,"about_ca_system_score_gemma":0.003959149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005543646,"about_ca_topic_score_gemma":0.005620338,"domain_scores_codex":[0.992785,0.00183843,0.0004778542,0.0007611186,0.003618632,0.000518926],"domain_scores_gemma":[0.9766451,0.01327338,0.001337982,0.005370976,0.002969138,0.0004033564],"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.001449516,0.0006063763,0.01088945,0.000885758,0.0002310139,0.00129374,0.002118909,0.129083,0.07472716,0.1802668,0.02369395,0.5747543],"study_design_scores_gemma":[0.0004277389,0.0003410017,0.001210217,0.0001455261,0.0001107826,0.0009492374,0.0001922455,0.7904201,0.09633157,0.05898916,0.0507187,0.0001636984],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02147941,0.0001204058,0.9409713,0.0002842129,0.00006879874,0.0001020011,0.0001364095,0.03200274,0.00483479],"genre_scores_gemma":[0.2736787,0.0002321488,0.7166196,0.0002026144,0.00005542487,0.0001339945,0.0005730777,0.00447629,0.004028204],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005798045,"threshold_uncertainty_score":0.03066337,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4252757135","doi":"10.1145/1454497.1454487","title":"A buffer container class hierarchy using Ada 2005","year":2008,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Abstraction; Container (type theory); Interface (matter); Set (abstract data type); Notation; Programming language; Implementation; Class (philosophy); Prefix; Class hierarchy; Hierarchy; Object-oriented programming; Operating system","authors":[{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03293955057329957,"gpt":0.2526945720623003,"spread":0.2197550214890007,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001751719,0.0007649529,0.000751369,0.00107683,0.001157085,0.004934769,0.002626529,0.0009967763,0.01169522],"category_scores_gemma":[0.002130972,0.001125401,0.00134163,0.0006911805,0.0009333147,0.003852081,0.002544426,0.002886189,0.006276049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001842479,"about_ca_system_score_gemma":0.002597762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003605293,"about_ca_topic_score_gemma":0.004071493,"domain_scores_codex":[0.998706,0.0001531012,0.0001815521,0.0002476025,0.0005138845,0.0001979154],"domain_scores_gemma":[0.9990211,0.0001231841,0.0001065842,0.000331279,0.0002540656,0.0001638193],"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.0008452215,0.0002630787,0.002499625,0.0006130356,0.0001171555,0.0005521082,0.001508306,0.01264849,0.0261803,0.4936629,0.1546163,0.3064935],"study_design_scores_gemma":[0.0001277764,0.0001273774,0.0004699167,0.0001284531,0.00007295526,0.0004061183,0.00008513129,0.03625197,0.01840301,0.02800434,0.9158132,0.0001098542],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008112079,0.000591153,0.9109638,0.0004405311,0.0006902934,0.000281539,0.0006037739,0.04490915,0.03340765],"genre_scores_gemma":[0.1244828,0.000738288,0.8116668,0.001054622,0.000283803,0.0005765175,0.003113121,0.008519231,0.04956473],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01169522,"threshold_uncertainty_score":0.03912449,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2999637374","doi":"10.1145/3379106.3379118","title":"Winners of 2018 SIGAda Awards","year":2020,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Management; Library science; Engineering; State (computer science); Art history; Art; Computer science; Programming language","authors":[{"name":"Brad Moore","is_ca":true},{"name":"John A. Hamilton","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2553201262360162,"gpt":0.3852128859244709,"spread":0.1298927596884548,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01113115,0.002602043,0.001835494,0.005012576,0.004817329,0.01599403,0.002021763,0.004802819,0.1427292],"category_scores_gemma":[0.01809884,0.000601854,0.001366241,0.003136334,0.001131783,0.004773174,0.007907355,0.006190983,0.1425992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003613044,"about_ca_system_score_gemma":0.007851921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003948247,"about_ca_topic_score_gemma":0.008411191,"domain_scores_codex":[0.989229,0.0007484951,0.0004773128,0.0006362899,0.006940759,0.001968239],"domain_scores_gemma":[0.9698476,0.0007948991,0.0005616674,0.0008682147,0.01431286,0.01361476],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005135446,0.00004218947,0.0001796415,0.00005481208,0.00000580152,0.00005606269,0.00002482735,0.00004842336,0.00007797228,0.001315259,0.9684311,0.0297127],"study_design_scores_gemma":[0.00001863707,0.00003617972,0.0005790354,0.00006470865,0.000005463988,0.00003884661,0.0001285339,0.00008836849,0.0001128426,0.000839096,0.9980744,0.00001380822],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.005555152,0.01965418,0.00441611,0.1182084,0.5884581,0.0006345958,0.004829661,0.002475877,0.2557679],"genre_scores_gemma":[0.01609252,0.01308485,0.00267044,0.01091312,0.06876045,0.000656374,0.006627537,0.001516179,0.8796786],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1427292,"threshold_uncertainty_score":0.4774767,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2007444920","doi":"10.1145/1031414.1031417","title":"The PragmAda reusable components","year":2004,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Apache (Canada)","funders":"","keywords":"Computer science; Variety (cybernetics); Component (thermodynamics); Software engineering; Artificial intelligence","authors":[{"name":"Jeffrey R. Carter","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01552825387454623,"gpt":0.2205371616111231,"spread":0.2050089077365768,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00478546,0.001675121,0.001065753,0.003377486,0.001922104,0.007280343,0.004256129,0.00360609,0.04392901],"category_scores_gemma":[0.01500433,0.002134463,0.001977274,0.002550836,0.002462191,0.008793374,0.007921035,0.006148975,0.07674797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001362634,"about_ca_system_score_gemma":0.005231153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003004243,"about_ca_topic_score_gemma":0.002200497,"domain_scores_codex":[0.9933282,0.001119804,0.0005535797,0.0009190362,0.003590103,0.0004892765],"domain_scores_gemma":[0.9934501,0.0007283018,0.0003850776,0.002430364,0.002412647,0.0005935276],"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.0001355156,0.0001054369,0.0003152912,0.0007817796,0.00004661761,0.0002520538,0.0006611897,0.001655296,0.005094208,0.3026506,0.3074563,0.3808457],"study_design_scores_gemma":[0.0000263335,0.00002451112,0.00007426251,0.0001723163,0.00001476041,0.0003476857,0.0000292401,0.000825651,0.00151719,0.02172605,0.9752152,0.00002673902],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001799611,0.005163112,0.6737414,0.004385626,0.001730829,0.001255585,0.002268238,0.05511353,0.2545421],"genre_scores_gemma":[0.02369049,0.009323567,0.645118,0.003559843,0.0009763035,0.002189445,0.008259852,0.01127808,0.2956044],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.04392901,"threshold_uncertainty_score":0.1469572,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4246000798","doi":"10.1145/1454497.1454493","title":"Distributed status monitoring and controlusing remote buffers and Ada 2005","year":2008,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Suite; Distributed computing; Interoperability; Implementation; Interface (matter); Multicast; Computer network; Operating system; Software engineering","authors":[{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01925350179944437,"gpt":0.2275272112468763,"spread":0.2082737094474319,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001178111,0.0004371993,0.0003492454,0.0005018701,0.0005347747,0.002384099,0.001532321,0.0005896279,0.004350052],"category_scores_gemma":[0.002054549,0.0004387284,0.0002934498,0.0002435041,0.0005875984,0.001973059,0.00102869,0.001204378,0.001002376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008205926,"about_ca_system_score_gemma":0.0009255837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001766432,"about_ca_topic_score_gemma":0.002253544,"domain_scores_codex":[0.9991069,0.0001281741,0.00005930134,0.0002086627,0.0004064378,0.00009048517],"domain_scores_gemma":[0.998694,0.0002314249,0.0001701985,0.00047147,0.0003048839,0.0001280351],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001931663,0.0005991087,0.008221989,0.0003140843,0.00008030822,0.0006041912,0.002010373,0.02103679,0.0821766,0.1710855,0.05291812,0.6590213],"study_design_scores_gemma":[0.0003945261,0.000642798,0.003735042,0.0001121796,0.0001111506,0.001165366,0.0002435791,0.2494031,0.1492895,0.03113073,0.5636103,0.0001617642],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0775377,0.0005625732,0.8241253,0.0009407,0.0004992638,0.0002344978,0.0002586276,0.04936399,0.04647725],"genre_scores_gemma":[0.5871828,0.0002767869,0.3717684,0.0005162204,0.0001435867,0.000198469,0.0005446021,0.001677308,0.03769184],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004350052,"threshold_uncertainty_score":0.01455241,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W7119582404","doi":"10.1145/3784987.3784989","title":"Safe UAV Continuous-Control Architecture Design","year":2025,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Process (computing); Formal verification; Model checking; Functional verification; Runtime verification; Formal methods; Architecture; Software; Software verification; Design process","authors":[{"name":"L. B. Becker","is_ca":false},{"name":"E. F. Broering","is_ca":false},{"name":"F. S. Gonçalves","is_ca":false},{"name":"H. A. Misson","is_ca":true},{"name":"L. Cordeiro","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008503720724271744,"gpt":0.2223188223577319,"spread":0.2138151016334601,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007189661,0.0004885531,0.0001974757,0.0004693893,0.0003971122,0.00112887,0.0009376057,0.0006773369,0.002787995],"category_scores_gemma":[0.00113167,0.0003050236,0.000390596,0.0001749861,0.0007167069,0.000597511,0.0007290842,0.0007386259,0.000741325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008250499,"about_ca_system_score_gemma":0.001742741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003359576,"about_ca_topic_score_gemma":0.004227673,"domain_scores_codex":[0.9992205,0.0001342658,0.00003954702,0.0001151296,0.0003951578,0.00009540612],"domain_scores_gemma":[0.9993916,0.0001150744,0.00005783791,0.0001399155,0.0002633671,0.00003223724],"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.0003349411,0.0001240926,0.002351362,0.0006545007,0.00008827623,0.0008321332,0.0007172718,0.456627,0.1116722,0.2119895,0.004757998,0.2098507],"study_design_scores_gemma":[0.00009610019,0.0003866693,0.0008461605,0.0001164577,0.00006960987,0.0002980818,0.0001044374,0.8281197,0.08053419,0.03352669,0.05586751,0.00003440317],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02989729,0.0003486163,0.9532242,0.0002585597,0.00009130743,0.0002155326,0.0001074395,0.001957585,0.01389947],"genre_scores_gemma":[0.5523018,0.0003612898,0.4357632,0.0001631593,0.00003065172,0.0003228167,0.000223017,0.0002497734,0.01058434],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003359576,"threshold_uncertainty_score":0.009326816,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2883140496","doi":"10.1145/3241950.3241953","title":"Synchronous Signals","year":2018,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Synchronizing; Concurrency; Synchronization (alternating current); Abstraction; Code (set theory); Interface (matter); Blocking (statistics); Concurrency control; Parallel computing; Distributed computing; Programming language; Computer network; Transmission (telecommunications); Set (abstract data type); Telecommunications","authors":[{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01215564041353887,"gpt":0.2366414925190289,"spread":0.2244858521054901,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001484785,0.001208024,0.0006940904,0.001070293,0.0007877819,0.003490076,0.001377628,0.001099413,0.03368078],"category_scores_gemma":[0.003906274,0.0005788432,0.0008031352,0.0009406194,0.001172952,0.003336916,0.0017799,0.001757813,0.01229113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008240082,"about_ca_system_score_gemma":0.001150172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008429178,"about_ca_topic_score_gemma":0.001071136,"domain_scores_codex":[0.9977058,0.0005075859,0.0002113779,0.0004446258,0.0008645208,0.0002661243],"domain_scores_gemma":[0.9978047,0.0006523085,0.0002605297,0.0004237304,0.0007206164,0.0001381451],"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.001466624,0.0001242528,0.001114217,0.001001271,0.00006661002,0.0004985137,0.0007967848,0.007483023,0.01912043,0.6225494,0.0726143,0.2731646],"study_design_scores_gemma":[0.0002228262,0.0004946557,0.0003187433,0.000181717,0.00008067367,0.0006576244,0.0001396764,0.03046497,0.02779719,0.08437092,0.8551791,0.00009189091],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008825378,0.00098896,0.9182711,0.0004957753,0.001800994,0.0002608024,0.001121959,0.01778562,0.05044942],"genre_scores_gemma":[0.286162,0.002151873,0.5778896,0.001950084,0.001561921,0.001066049,0.003447381,0.006692103,0.1190789],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03368078,"threshold_uncertainty_score":0.1126734,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4210410570","doi":"10.1145/1879097.1879078","title":"Parallelism generics for Ada 2005 and beyond","year":2010,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Parallelism (grammar); Implicit parallelism; Concurrency; Programming language; Parallel computing; Syntax; Task parallelism; Code (set theory); Artificial intelligence","authors":[{"name":"Brad Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01153638708432674,"gpt":0.2403261387096047,"spread":0.2287897516252779,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00182949,0.0006974912,0.0007000323,0.000816642,0.001322187,0.003359413,0.001478536,0.001384941,0.01517291],"category_scores_gemma":[0.002865683,0.0007681933,0.00137257,0.0009675937,0.001370267,0.002949466,0.002173003,0.003289036,0.006486164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001592261,"about_ca_system_score_gemma":0.001992994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656457,"about_ca_topic_score_gemma":0.002174073,"domain_scores_codex":[0.999029,0.0001944272,0.0001160885,0.0001631477,0.000383623,0.000113629],"domain_scores_gemma":[0.9985441,0.0002137706,0.0001242336,0.0006515654,0.0002784156,0.0001878612],"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.0002855293,0.000097273,0.0009372763,0.000624477,0.00003913339,0.0002806399,0.0007951584,0.005542533,0.008729443,0.5567645,0.1302578,0.2956461],"study_design_scores_gemma":[0.00005072987,0.00006121035,0.0002818094,0.0001130813,0.00001724733,0.0003777026,0.00004462803,0.008171025,0.002320562,0.06441791,0.9241105,0.00003367865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01180199,0.005991384,0.8228775,0.005515514,0.002652518,0.0003809766,0.001267803,0.04894229,0.10057],"genre_scores_gemma":[0.1299311,0.00440549,0.7892152,0.002027666,0.001046302,0.0004260536,0.002855179,0.007400818,0.06269208],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01517291,"threshold_uncertainty_score":0.05075842,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2087022298","doi":"10.1145/584417.584422","title":"Practical implementations of embedded software using the Ravenscar Profile","year":2002,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"National Research Council Canada","funders":"","keywords":"Computer science; Implementation; Software; Programming language","authors":[{"name":"Stephen Michell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0949414484074329,"gpt":0.3375656426295776,"spread":0.2426241942221447,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002480624,0.001215994,0.0005058641,0.000790818,0.0007243017,0.002046313,0.003105986,0.001079828,0.01684514],"category_scores_gemma":[0.009536861,0.001008568,0.0007885357,0.0005791613,0.0007452641,0.005096703,0.001665129,0.001766652,0.008941693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005178156,"about_ca_system_score_gemma":0.0008982046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006137771,"about_ca_topic_score_gemma":0.001400568,"domain_scores_codex":[0.9972409,0.0006246334,0.0002851188,0.0002887797,0.001243353,0.000317272],"domain_scores_gemma":[0.9955229,0.001379259,0.0003572382,0.001745577,0.0008665884,0.000128595],"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.00117332,0.00031745,0.001359168,0.0006495541,0.00007747973,0.0004545124,0.001544522,0.01594765,0.06276705,0.1615934,0.01478557,0.7393303],"study_design_scores_gemma":[0.000427423,0.002064011,0.0009473261,0.0004681724,0.0001634537,0.003402011,0.0004888778,0.2436961,0.2726657,0.1209417,0.354368,0.000367202],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01126842,0.0002808642,0.9534842,0.0001475751,0.00005087896,0.0001177983,0.00004164339,0.0193162,0.01529241],"genre_scores_gemma":[0.2354865,0.0005284707,0.7414503,0.0002265272,0.00005071279,0.000181874,0.0001966756,0.002964947,0.01891393],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01684514,"threshold_uncertainty_score":0.05635262,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}