{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":16,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":16,"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":"d5a825dd973c","filters":{"venue":"New Trends in Software Methodologies, Tools and Techniques"}},"results":[{"id":"W1576705238","doi":"","title":"Visualization Techniques for Program ComprehensionA Literature Review","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Software Engineering Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Defence Research and Development Canada","funders":"","keywords":"Visualization; Computer science; Software visualization; Field (mathematics); Software engineering; Component (thermodynamics); Point (geometry); Software; Data science; Key (lock); Software development; Information visualization; Data visualization; Component-based software engineering; Data mining; Programming language","authors":[{"name":"François Lemieux","is_ca":true},{"name":"Martin Salois","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1103328064614569,"gpt":0.4198981169595048,"spread":0.3095653104980479,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003295492,0.001420187,0.001593344,0.01140383,0.0009308507,0.003433591,0.001448668,0.001261646,0.009280343],"category_scores_gemma":[0.0164629,0.0007080316,0.001324581,0.01555934,0.0007522868,0.005433474,0.001013582,0.00109695,0.002318415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001211535,"about_ca_system_score_gemma":0.00304262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00468009,"about_ca_topic_score_gemma":0.00518974,"domain_scores_codex":[0.9972059,0.0008700616,0.0003002915,0.0003598853,0.001128358,0.0001354639],"domain_scores_gemma":[0.9875723,0.007914924,0.0007639776,0.0003651948,0.003232156,0.0001515389],"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.00005693562,0.00008481069,0.0007116647,0.01483694,0.0001054631,0.0001363467,0.000537612,0.0007693062,0.001210353,0.004673291,0.01662672,0.9602506],"study_design_scores_gemma":[0.00006359586,0.0003436983,0.01124064,0.05064386,0.0008532801,0.001980631,0.002214518,0.005782473,0.007322834,0.02428114,0.895099,0.000174232],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.002206162,0.975747,0.01234355,0.001149506,0.0003019572,0.00005997481,0.0001741032,0.0003243745,0.007693361],"genre_scores_gemma":[0.01522115,0.9598662,0.02050705,0.0003073869,0.0003571845,0.0001230991,0.0004426995,0.0001332913,0.003041916],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.01140383,"threshold_uncertainty_score":0.03104585,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W103353880","doi":"","title":"Automatic Enforcement of Security in Computer Networks","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Formal Methods in Verification","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":"Université Laval","funders":"","keywords":"Computer science; Process calculus; Security policy; Equivalence (formal languages); Network security policy; Enforcement; Network security; Computer security model; Process (computing); Computer security; Network Access Control; Operator (biology); Theoretical computer science; Security service; Information security; Programming language; Cloud computing security; Mathematics; Discrete mathematics; Operating system","authors":[{"name":"T. Mechri","is_ca":true},{"name":"Mahjoub Langar","is_ca":true},{"name":"Mohamed Mejri","is_ca":true},{"name":"Hamido Fujita","is_ca":false},{"name":"Yutaka Funyu","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1019844866320847,"gpt":0.3779052055618389,"spread":0.2759207189297542,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004519743,0.000500898,0.0005131774,0.0006960382,0.0009122512,0.002029247,0.001765588,0.0009183524,0.001569214],"category_scores_gemma":[0.01028059,0.0005509182,0.0008712728,0.000421416,0.003242462,0.003841097,0.002709294,0.001730315,0.0002793387],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001496746,"about_ca_system_score_gemma":0.001434326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001617489,"about_ca_topic_score_gemma":0.001660248,"domain_scores_codex":[0.9932348,0.002848061,0.0004697094,0.001049886,0.001927044,0.0004705487],"domain_scores_gemma":[0.9922098,0.004139438,0.0007885153,0.0020882,0.0006324,0.0001416087],"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.0003381358,0.0001892322,0.00223635,0.0003110151,0.00007066021,0.0005354726,0.000970725,0.2108254,0.06420714,0.6080845,0.001337842,0.1108937],"study_design_scores_gemma":[0.00008876563,0.0001166686,0.000455721,0.00008280765,0.0000463301,0.0002827991,0.0001031823,0.7029511,0.070525,0.2111887,0.01410565,0.00005340404],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03313118,0.0001039499,0.9617022,0.0001991836,0.00003370423,0.00009025828,0.00003293578,0.002238968,0.002467654],"genre_scores_gemma":[0.6736315,0.0002145943,0.3226168,0.0001309547,0.00004457479,0.0001777672,0.0001134041,0.0003378947,0.002732388],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004519743,"threshold_uncertainty_score":0.02390301,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W107363239","doi":"","title":"A Calculus for Distributed Firewall Specification and Verification","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Network Packet Processing and Optimization","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":"Université du Québec en Outaouais","funders":"","keywords":"Firewall (physics); Computer science; Application firewall; Stateful firewall; Process calculus; Semantics (computer science); Predicate transformer semantics; Network topology; Formal specification; Network calculus; Programming language; Theoretical computer science; Operational semantics; Distributed computing; Mathematics; Computer security; Computer network; Quality of service","authors":[{"name":"Liviu Pene","is_ca":true},{"name":"Kamel Adi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09806598485889861,"gpt":0.3405121344173353,"spread":0.2424461495584367,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006423852,0.0008596805,0.001086434,0.001254501,0.002356433,0.004029683,0.002962947,0.002077637,0.003269627],"category_scores_gemma":[0.01014126,0.001139086,0.0027328,0.001286623,0.00439878,0.005174082,0.004037903,0.004146445,0.001054834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002308298,"about_ca_system_score_gemma":0.005114251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006185142,"about_ca_topic_score_gemma":0.003979281,"domain_scores_codex":[0.9943945,0.001145183,0.000585293,0.0005674018,0.00280985,0.0004976946],"domain_scores_gemma":[0.9954659,0.002284591,0.0002527979,0.0008147247,0.0009528091,0.0002291658],"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.0000298894,0.00004113929,0.0001405244,0.00006737267,0.00002048636,0.000277199,0.0003032468,0.01251353,0.003401181,0.9681785,0.001524606,0.0135024],"study_design_scores_gemma":[0.00009755534,0.00003507634,0.0001008936,0.00008209,0.00005392169,0.0002252839,0.00006574532,0.1436039,0.006246276,0.8136432,0.03578402,0.00006211974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001278907,0.00007735508,0.9951231,0.0001929788,0.00007794542,0.00005870727,0.00005591122,0.0006940419,0.002441161],"genre_scores_gemma":[0.1185498,0.0004653228,0.8735836,0.0003875791,0.0002102552,0.0004894271,0.0003311108,0.0004461127,0.005536706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006423852,"threshold_uncertainty_score":0.03397298,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W83007297","doi":"","title":"Handling Pronouns Intelligently","year":2005,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Natural Language Processing Techniques","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":"Université du Québec à Montréal","funders":"","keywords":"Automatic summarization; Computer science; Anaphora (linguistics); Focus (optics); Identification (biology); Question answering; Interpretation (philosophy); Natural language processing; Resolution (logic); Artificial intelligence; Information retrieval; Programming language","authors":[{"name":"Anna Maria Di Sciullo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1202312872328965,"gpt":0.3808686564178361,"spread":0.2606373691849396,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004252331,0.001252149,0.001372299,0.002880054,0.003175234,0.005262971,0.002419547,0.002058684,0.006908103],"category_scores_gemma":[0.01190253,0.00109296,0.0008952193,0.002866061,0.002193571,0.01184233,0.00568439,0.002998908,0.004514494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383395,"about_ca_system_score_gemma":0.001577593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001094137,"about_ca_topic_score_gemma":0.001342116,"domain_scores_codex":[0.9920415,0.002070237,0.0007071901,0.001487812,0.003122313,0.0005708724],"domain_scores_gemma":[0.9934067,0.002445973,0.0007045438,0.001530791,0.001794643,0.0001175082],"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.0002052621,0.0001178267,0.00265717,0.0006653525,0.0001041606,0.001400251,0.007209761,0.006435109,0.03005041,0.5652947,0.02703807,0.3588219],"study_design_scores_gemma":[0.00004232001,0.00006312497,0.0005410935,0.0001959335,0.0001321672,0.001070701,0.00251758,0.04577281,0.04453231,0.6254976,0.2795443,0.00009008563],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03090859,0.001224507,0.9310566,0.002912836,0.0004562277,0.0001358432,0.000347736,0.002409964,0.03054769],"genre_scores_gemma":[0.3369207,0.002028459,0.6093245,0.001781807,0.001074059,0.000183436,0.001765977,0.00159942,0.04532164],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006908103,"threshold_uncertainty_score":0.02310985,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W133269243","doi":"","title":"Normative Systems: the meeting point between Jurisprudence and Information Technology?A position paper","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Multi-Agent Systems and Negotiation","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":"Université du Québec en Outaouais","funders":"","keywords":"Normative; Consistency (knowledge bases); Jurisprudence; Computer science; Defeasible estate; Completeness (order theory); Defeasible reasoning; Management science; Epistemology; Information system; Artificial intelligence; Law; Political science; Mathematics; Engineering","authors":[{"name":"Luigi Logrippo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07036231274182794,"gpt":0.3434896284266164,"spread":0.2731273156847884,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01435825,0.0005586455,0.0007071263,0.00190636,0.005378006,0.01486502,0.002063828,0.00684917,0.007268487],"category_scores_gemma":[0.02393757,0.0004624356,0.0005204565,0.001899676,0.03063351,0.02351733,0.005001219,0.007227472,0.001380679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006354586,"about_ca_system_score_gemma":0.007773395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002372261,"about_ca_topic_score_gemma":0.001732859,"domain_scores_codex":[0.9872824,0.008022572,0.0003123902,0.001258851,0.002615121,0.0005086784],"domain_scores_gemma":[0.9851998,0.009690297,0.0007736033,0.001355884,0.001963436,0.001016937],"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.000003391432,0.000007250602,0.00002817062,0.00001397607,0.000001547654,0.00001740167,0.0005160433,0.000109767,0.00002631403,0.9920637,0.002516221,0.004696288],"study_design_scores_gemma":[0.000005224039,0.000007956028,0.00003738143,0.0001011455,0.000001867494,0.00002839823,0.0006205951,0.0004834435,0.00006214124,0.9261333,0.07251263,0.00000591098],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.009962077,0.02330286,0.1237135,0.4937938,0.006720444,0.00008326291,0.00006821277,0.0001719718,0.342184],"genre_scores_gemma":[0.7897984,0.02158601,0.0643372,0.03477893,0.01106454,0.0005590879,0.0001432298,0.0003790269,0.07735351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01486502,"threshold_uncertainty_score":0.07593459,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2121042490","doi":"","title":"On specifying systems that connect to the physical world","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Software Engineering Research","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":"McMaster University","funders":"","keywords":"Computer science; Domain (mathematical analysis); Base (topology); Software; Software engineering; Industrial engineering; Risk analysis (engineering); Engineering; Mathematics; Programming language","authors":[{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1765420709555909,"gpt":0.3793008742886477,"spread":0.2027588033330567,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00579175,0.003288635,0.001350039,0.002288107,0.003282116,0.007208474,0.003470564,0.006358146,0.01076585],"category_scores_gemma":[0.01419744,0.001636778,0.002009418,0.003703153,0.02309303,0.01967751,0.008390564,0.007572835,0.004052332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002085131,"about_ca_system_score_gemma":0.003807317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00461609,"about_ca_topic_score_gemma":0.005777989,"domain_scores_codex":[0.992641,0.003289146,0.0005888282,0.0007846077,0.002299622,0.0003967334],"domain_scores_gemma":[0.9909758,0.005296985,0.0006034501,0.002119988,0.0007052743,0.0002985242],"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.0000128714,0.000009344256,0.00009232209,0.0002142939,0.000008369063,0.0001464805,0.0008991123,0.001978925,0.0004831403,0.9822878,0.001863119,0.01200424],"study_design_scores_gemma":[0.00003052775,0.00005541438,0.0002026638,0.0004791242,0.00002921773,0.0003965671,0.0005090768,0.005810502,0.001418528,0.8371322,0.1538825,0.00005366931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003521791,0.00380978,0.9232046,0.005321086,0.0006260696,0.0002414561,0.000214577,0.0007534766,0.06230715],"genre_scores_gemma":[0.1119486,0.01820275,0.8273376,0.004316665,0.001533428,0.001618157,0.001103672,0.0009779383,0.03296121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01076585,"threshold_uncertainty_score":0.03601533,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W17764271","doi":"10.1063/1.2759489","title":"Enforcing Security Policies on Programs","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Security and Verification in Computing","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":"Université du Québec en Outaouais; Université Laval","funders":"","keywords":"Computer science; Automaton; Rewriting; Property (philosophy); Symbolic execution; Security policy; Programming language; Enforcement; Program analysis; Embedding; Theoretical computer science; Operator (biology); Computer security; Software","authors":[{"name":"Hakima Ould‐Slimane","is_ca":true},{"name":"Mohamed Mejri","is_ca":true},{"name":"Kamel Adi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.144033306414023,"gpt":0.3692185812553757,"spread":0.2251852748413527,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03197404,0.0008782838,0.001151576,0.002324969,0.002669444,0.007614614,0.003551031,0.003967249,0.005575218],"category_scores_gemma":[0.09663372,0.001168612,0.0008566676,0.001471999,0.006270651,0.01252682,0.007890621,0.005209494,0.001899129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003709462,"about_ca_system_score_gemma":0.01060444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003688778,"about_ca_topic_score_gemma":0.002533681,"domain_scores_codex":[0.970233,0.01131063,0.002951724,0.003652786,0.008503675,0.003348168],"domain_scores_gemma":[0.8697612,0.05503166,0.00940793,0.05232957,0.01060162,0.002867896],"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.0005017547,0.0002400595,0.007146283,0.0002840749,0.00008347208,0.0003844675,0.002094456,0.02171776,0.007670136,0.8530461,0.01284033,0.09399108],"study_design_scores_gemma":[0.0002143321,0.0002565581,0.002843155,0.0008958227,0.00012561,0.000332618,0.001177064,0.1345283,0.03778829,0.6403045,0.1813697,0.0001640824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2034736,0.001223656,0.6525859,0.01471835,0.0007359775,0.001371749,0.001025794,0.02152909,0.1033359],"genre_scores_gemma":[0.8759864,0.0008292145,0.1027608,0.004015276,0.0004815435,0.001080771,0.000683354,0.001463928,0.01269864],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03197404,"threshold_uncertainty_score":0.1690969,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W104865677","doi":"","title":"Toward Solving Equations in Kleene Algebras","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Logic, programming, and type systems","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":"Université Laval","funders":"","keywords":"Idempotence; Kleene algebra; Semiring; Mathematics; Sign (mathematics); Algebra over a field; Algebraic number; Identity (music); Algebraic equation; Kleene's recursion theorem; Resolution (logic); Applied mathematics; Zero (linguistics); Pure mathematics; Nonlinear system; Discrete mathematics; Computer science; Mathematical analysis","authors":[{"name":"François Lajeunesse-Robert","is_ca":true},{"name":"Béchir Ktari","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2150909377911314,"gpt":0.3822149273770571,"spread":0.1671239895859257,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004762332,0.0006287573,0.0008005191,0.001495583,0.001401505,0.003415489,0.001314086,0.001188956,0.003192072],"category_scores_gemma":[0.01186517,0.0006237637,0.002470823,0.00150154,0.003410506,0.00905603,0.003702724,0.005228464,0.0006909095],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00126277,"about_ca_system_score_gemma":0.001876607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00207346,"about_ca_topic_score_gemma":0.002592302,"domain_scores_codex":[0.9966365,0.001193521,0.000250748,0.0004460867,0.001186675,0.0002863937],"domain_scores_gemma":[0.9955779,0.003091204,0.0003034622,0.0003405679,0.0005438565,0.0001429978],"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.00002631037,0.0000504786,0.0004298041,0.0001783769,0.000040748,0.0001045048,0.0009592722,0.01073434,0.002863488,0.9618034,0.0007356374,0.02207369],"study_design_scores_gemma":[0.0000280633,0.00002623853,0.000139374,0.00008430638,0.00003678695,0.0000971618,0.0004162656,0.04024556,0.004865286,0.9414588,0.01257397,0.00002812879],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02972323,0.0007544563,0.9550079,0.001675146,0.00007965459,0.0001010854,0.00007421248,0.0002564493,0.01232787],"genre_scores_gemma":[0.2331707,0.002351814,0.7563625,0.0006289378,0.0002500877,0.0001583186,0.0002740801,0.0001649981,0.006638464],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004762332,"threshold_uncertainty_score":0.02518594,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W174859251","doi":"","title":"A Formal Approach for the Forensic Analysis of Logs","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Digital and Cyber Forensics","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":"Concordia University","funders":"","keywords":"Computer forensics; Computer science; Digital forensics; Relevance (law); Audit; Digital evidence; Forensic science; Context (archaeology); Data science; Data mining; Information retrieval; Computer security","authors":[{"name":"Ali Reza Arasteh","is_ca":true},{"name":"Mourad Debbabi","is_ca":true},{"name":"Assaad Sakha","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1050099227994212,"gpt":0.3301998263517844,"spread":0.2251899035523632,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0157516,0.001647294,0.001108877,0.004696234,0.002648158,0.007703297,0.005216467,0.002958546,0.004778301],"category_scores_gemma":[0.02390282,0.001527001,0.003774359,0.003029125,0.009169709,0.01315277,0.005019458,0.007087953,0.001664704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002952494,"about_ca_system_score_gemma":0.004444207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00285686,"about_ca_topic_score_gemma":0.002133196,"domain_scores_codex":[0.9897528,0.00441522,0.00151624,0.001141677,0.002733228,0.0004408692],"domain_scores_gemma":[0.9739043,0.01538353,0.00195941,0.00507527,0.003066619,0.0006108155],"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.00001897426,0.00005760554,0.0002785307,0.0001914451,0.00002562907,0.0002474735,0.0005029287,0.007192029,0.001142823,0.9767099,0.001149536,0.01248309],"study_design_scores_gemma":[0.00004456903,0.00007790529,0.0002065054,0.000254722,0.00007605324,0.0005032885,0.0003042367,0.09152467,0.002526753,0.8587484,0.04566171,0.00007122457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005084092,0.0001471792,0.996988,0.0005114025,0.00005413384,0.00009635457,0.0001144469,0.0002041095,0.001376078],"genre_scores_gemma":[0.04884262,0.0006498171,0.9459875,0.0005092383,0.000520051,0.0008599749,0.0004959638,0.0001333005,0.002001518],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0157516,"threshold_uncertainty_score":0.08330339,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W88494997","doi":"","title":"A Decision Procedure for Structured Cryptographic Protocols","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Advanced Authentication Protocols Security","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":"Université Laval; Carleton University","funders":"","keywords":"Cryptographic protocol; Decidability; Computer science; Cryptography; Cryptographic primitive; Protocol (science); Theoretical computer science; Secrecy; Inference; Set (abstract data type); Process (computing); Computer security; Programming language; Artificial intelligence","authors":[{"name":"François Gagnon","is_ca":true},{"name":"Mohamed Mejri","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1023144344607488,"gpt":0.4070395400225764,"spread":0.3047251055618275,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008173892,0.0008093713,0.0007892306,0.00171158,0.001702685,0.003500008,0.002086641,0.002016144,0.01143442],"category_scores_gemma":[0.02111707,0.0007084338,0.003024034,0.001371661,0.004559617,0.007199484,0.004318518,0.005330463,0.003160886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001557515,"about_ca_system_score_gemma":0.002626338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008364513,"about_ca_topic_score_gemma":0.0006974859,"domain_scores_codex":[0.9897877,0.003486095,0.0009884466,0.001994725,0.003107873,0.0006351157],"domain_scores_gemma":[0.9855385,0.01095311,0.0004182798,0.001422508,0.001346247,0.0003214238],"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.0001655141,0.0001075759,0.0002415903,0.0001399466,0.00005020302,0.0001740867,0.0004517,0.00848692,0.003461509,0.939878,0.002113815,0.04472912],"study_design_scores_gemma":[0.0001050856,0.00009258986,0.00007154326,0.00004328122,0.0000512992,0.0001321175,0.00007607451,0.08580325,0.008757193,0.8941008,0.01072659,0.00004014109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00482131,0.00006462313,0.9883838,0.0004935148,0.00005322008,0.0002659763,0.0001530441,0.0008045788,0.004959936],"genre_scores_gemma":[0.2431631,0.0003020832,0.7463142,0.0005917463,0.0001726253,0.0006769604,0.0009937218,0.0003609857,0.007424576],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01143442,"threshold_uncertainty_score":0.04322821,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1878813","doi":"10.1139/m91-053","title":"A Remark on Natural Language Processing from the Biolinguistic Perspective","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Natural Language Processing 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":true},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Perspective (graphical); Deep linguistic processing; Universal Networking Language; Language identification; Linguistics; Natural language; Natural (archaeology); Natural language processing; Language structure; Natural language programming; Object language; Language technology; Artificial intelligence; Cognitive science; Comprehension approach; Psychology; History","authors":[{"name":"Anna Maria Di Sciullo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07642038018737468,"gpt":0.3928506637617671,"spread":0.3164302835743925,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005540327,0.0007888001,0.0009234273,0.002466205,0.003399017,0.007057718,0.002403792,0.002986409,0.007862953],"category_scores_gemma":[0.01106342,0.0004907299,0.001691873,0.001803954,0.01705268,0.01353936,0.003475021,0.00704805,0.00289009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001282232,"about_ca_system_score_gemma":0.0008560116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002411499,"about_ca_topic_score_gemma":0.001366858,"domain_scores_codex":[0.9952351,0.002148794,0.0003871927,0.001106799,0.000846979,0.0002750968],"domain_scores_gemma":[0.9890027,0.008492873,0.0003033693,0.001038156,0.0009784041,0.0001845386],"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.00009017211,0.00001481209,0.0003162887,0.0004790747,0.00003303986,0.000404531,0.003384513,0.0004262587,0.001668893,0.9502355,0.01691761,0.02602935],"study_design_scores_gemma":[0.00002796418,0.00004986347,0.0005421076,0.0001495932,0.00002719936,0.0007332907,0.0009175921,0.002786324,0.001679059,0.8125421,0.180492,0.00005289934],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01445182,0.02956484,0.650894,0.1751081,0.008554795,0.00009063367,0.001052331,0.002018342,0.1182651],"genre_scores_gemma":[0.4838402,0.01787325,0.3855605,0.04366736,0.01947266,0.0008573998,0.001139163,0.001679647,0.04590982],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007862953,"threshold_uncertainty_score":0.02930039,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W142148650","doi":"","title":"A Formal Translation From an Imperative Language With Array to a Declarative Language","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Logic, programming, and type 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":"Université Laval","funders":"","keywords":"Computer science; Programming language; Translation (biology); Function (biology); Fifth-generation programming language; Declarative programming; Natural language processing; Artificial intelligence; Programming paradigm; Inductive programming","authors":[{"name":"Daniel Godbout","is_ca":true},{"name":"Béchir Ktari","is_ca":true},{"name":"Mohamed Mejri","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08441034786377535,"gpt":0.3616782562847342,"spread":0.2772679084209588,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002499063,0.0008766339,0.0005338851,0.0006908884,0.0006930765,0.002379985,0.001473328,0.00103614,0.005788418],"category_scores_gemma":[0.005824564,0.0007001384,0.001219761,0.000525002,0.002691154,0.002831063,0.00205813,0.00255399,0.002380543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007997561,"about_ca_system_score_gemma":0.001611398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007322158,"about_ca_topic_score_gemma":0.0003516928,"domain_scores_codex":[0.9980331,0.0004994325,0.0002437701,0.0004005888,0.0005913603,0.0002318039],"domain_scores_gemma":[0.9966908,0.001845874,0.0002684359,0.0004273269,0.000668732,0.00009892407],"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.0001793453,0.0002536873,0.0006370131,0.0007325672,0.00004430679,0.001295109,0.002368082,0.009658099,0.02547499,0.8278784,0.007747143,0.1237312],"study_design_scores_gemma":[0.0002995637,0.0009756339,0.0008673579,0.0004813474,0.0002041304,0.003502229,0.0007144762,0.1675192,0.09852705,0.5074604,0.2192369,0.0002116183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00374022,0.0001107443,0.9910343,0.0003884954,0.0001690939,0.0000884936,0.00007457781,0.00221484,0.002179268],"genre_scores_gemma":[0.08870547,0.0003965346,0.9031468,0.0007160928,0.0002830774,0.0003623324,0.0003283246,0.001101166,0.004960081],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005788418,"threshold_uncertainty_score":0.01936418,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W188613399","doi":"","title":"Information Processing Redux","year":2010,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Natural Language Processing 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":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Information extraction; Information processing; Information retrieval; Natural language processing; Natural language; Information system; Artificial intelligence; Process (computing); Question answering; Point (geometry); Programming language; Engineering","authors":[{"name":"Anna Maria Di Sciullo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07073178938678519,"gpt":0.3634253553560891,"spread":0.2926935659693039,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004467865,0.001053552,0.0007237694,0.00356511,0.002520645,0.01081261,0.002064447,0.002045083,0.08032217],"category_scores_gemma":[0.01220909,0.00056253,0.001109877,0.003467961,0.002881606,0.01244136,0.00551361,0.004435681,0.03831361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003165284,"about_ca_system_score_gemma":0.003453985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003132199,"about_ca_topic_score_gemma":0.002651744,"domain_scores_codex":[0.9953317,0.001164756,0.000257985,0.0008205278,0.002156229,0.0002688108],"domain_scores_gemma":[0.9889346,0.003240834,0.000351939,0.004548432,0.002462415,0.0004618886],"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.0001497602,0.00005662934,0.0003475271,0.0003207399,0.00002763736,0.0002051144,0.0004646283,0.0006547162,0.001645487,0.4159898,0.1827208,0.3974172],"study_design_scores_gemma":[0.00001612386,0.00002346614,0.0002599134,0.0001482262,0.00001318549,0.0002515077,0.0001200763,0.001838131,0.001428045,0.08020034,0.9156832,0.00001772274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.006756345,0.0222625,0.1453034,0.06929319,0.01297981,0.0002242513,0.001807006,0.008292549,0.7330811],"genre_scores_gemma":[0.1006329,0.0278396,0.1410652,0.02162835,0.008535849,0.0003832816,0.003061772,0.00305342,0.6937996],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.08032217,"threshold_uncertainty_score":0.2687045,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2889109524","doi":"","title":"Knowledge of Language and Knowledge Science.","year":2018,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":0,"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","funders":"","keywords":"Computer science; Knowledge management; Natural language processing","authors":[{"name":"Anna Maria Di Sciullo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1065405137066189,"gpt":0.4137209351156693,"spread":0.3071804214090504,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003644936,0.0005179116,0.0009456898,0.003745408,0.001251863,0.008820008,0.001863161,0.001904623,0.01357216],"category_scores_gemma":[0.01616054,0.0004081641,0.0007325962,0.00287525,0.009987732,0.01868952,0.003359823,0.003612938,0.002975259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002093008,"about_ca_system_score_gemma":0.003374548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002763093,"about_ca_topic_score_gemma":0.002817422,"domain_scores_codex":[0.9965249,0.00125685,0.0003287081,0.0006902498,0.0010641,0.0001352728],"domain_scores_gemma":[0.984754,0.01025335,0.0006493446,0.00253881,0.00128427,0.0005203476],"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.00002097205,0.00002869884,0.0003724279,0.000484879,0.00004114022,0.0001303484,0.001245058,0.0005769694,0.000411352,0.9010034,0.01071001,0.08497468],"study_design_scores_gemma":[0.000004448147,0.000007321714,0.0001895805,0.0002173922,0.0000103728,0.00009994439,0.0003900485,0.00089158,0.0002606958,0.9160462,0.08187214,0.00001038595],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01062883,0.0839489,0.5703908,0.0427977,0.002490788,0.000130565,0.001009837,0.001108462,0.2874941],"genre_scores_gemma":[0.5270367,0.09702475,0.2769648,0.009861461,0.006145606,0.0004767606,0.002910974,0.0003819423,0.07919692],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01357216,"threshold_uncertainty_score":0.04540336,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2105268931","doi":"","title":"Information Processing and the Recovery of Argument Structure Asymmetries","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Natural Language Processing 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":"Université du Québec à Montréal","funders":"","keywords":"Argument (complex analysis); Computer science; Parsing; Relation (database); Natural language processing; Information structure; Artificial intelligence; Question answering; Linguistics; Data mining; Philosophy","authors":[{"name":"Anna Maria Di Sciullo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03610799312398218,"gpt":0.3134885648478385,"spread":0.2773805717238563,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005106308,0.0007748488,0.001266098,0.002478161,0.00184338,0.00477057,0.002048915,0.002795683,0.004669711],"category_scores_gemma":[0.03749283,0.0009774142,0.001674911,0.002353374,0.005031719,0.01517002,0.004212535,0.003866786,0.001600968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337128,"about_ca_system_score_gemma":0.001504002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009702131,"about_ca_topic_score_gemma":0.0005692873,"domain_scores_codex":[0.9951305,0.001920354,0.0004200182,0.0008890405,0.001186091,0.0004540209],"domain_scores_gemma":[0.9752303,0.01819776,0.001510017,0.003345739,0.001507504,0.0002086227],"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.0003795289,0.00007337071,0.001248938,0.000401155,0.00006233683,0.0008719518,0.001891539,0.01536278,0.02358281,0.721365,0.003099325,0.2316612],"study_design_scores_gemma":[0.00004225614,0.0000349951,0.0005654509,0.00006863094,0.00006383438,0.0004276859,0.000187068,0.0573174,0.01615763,0.9157398,0.009328437,0.0000667019],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0443497,0.00163785,0.9394493,0.002848032,0.0001708008,0.00007382686,0.0001798201,0.001133998,0.01015661],"genre_scores_gemma":[0.6315485,0.001458485,0.3591997,0.0006831138,0.0003573556,0.0001591222,0.0005974441,0.000855467,0.005140892],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005106308,"threshold_uncertainty_score":0.02700508,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W203907442","doi":"","title":"Formal Technique for Discovering Complex Attacks in Computer Systems","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Information and Cyber Security","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":"Université du Québec en Outaouais","funders":"","keywords":"Computer science; Middleware (distributed applications); Computer security; Complex system; Formal description; Software engineering; Distributed computing; Programming language","authors":[{"name":"Lamia Hamza","is_ca":false},{"name":"Kamel Adi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1535114077013135,"gpt":0.3829935866342581,"spread":0.2294821789329446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004649323,0.001584894,0.0007142023,0.003126447,0.001179475,0.00283382,0.002467963,0.001549479,0.003458168],"category_scores_gemma":[0.01086777,0.001029982,0.00276857,0.001555136,0.006313551,0.008566422,0.002875838,0.004707525,0.001143323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001654711,"about_ca_system_score_gemma":0.00196418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001570889,"about_ca_topic_score_gemma":0.001704128,"domain_scores_codex":[0.996494,0.001062638,0.000319294,0.0004037151,0.001546877,0.0001734282],"domain_scores_gemma":[0.9914526,0.005778181,0.0005787907,0.001497997,0.0005755216,0.0001169603],"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.00002513442,0.0000435098,0.0003807723,0.0003378127,0.000045325,0.0002591515,0.0005048614,0.02290577,0.003777051,0.9369366,0.002001923,0.032782],"study_design_scores_gemma":[0.00003630982,0.00005200367,0.0001417463,0.0001559142,0.00005934792,0.0004362493,0.0000987148,0.1229064,0.004605188,0.8402158,0.03124117,0.00005123894],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009850983,0.0001833161,0.9970129,0.0002915525,0.0000326869,0.00004235744,0.0000489032,0.0002834731,0.001119766],"genre_scores_gemma":[0.06877239,0.001231821,0.9261429,0.0003283276,0.0002297894,0.0003918771,0.0002824087,0.0001536215,0.002466908],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004649323,"threshold_uncertainty_score":0.02458829,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}