{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001654189,0.0003250865,0.0005438532,0.0005598925,0.00008997322,0.0003237414,0.0007505628,0.0002986928,0.000006139339],"category_scores_gemma":[0.002853999,0.0002789798,0.000123311,0.001668608,0.00007578509,0.0006192725,0.0003830245,0.0003250775,4.175715e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008434461,"about_ca_system_score_gemma":0.00005692488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005146863,"about_ca_topic_score_gemma":0.000008380479,"domain_scores_codex":[0.9976843,0.0003047911,0.0005046795,0.0007196595,0.0003088909,0.0004777021],"domain_scores_gemma":[0.9959604,0.002956958,0.0001297435,0.0006663008,0.0002057186,0.00008088037],"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.000008521878,0.0000475543,0.001066014,0.0004826286,0.000005555602,0.00001314146,0.00002421584,0.000001098277,0.0001958284,0.008200806,0.02470216,0.9652525],"study_design_scores_gemma":[0.0007084023,0.001579595,0.02185828,0.00846491,0.00004092186,0.000195867,0.000004582484,0.0004435135,0.05962186,0.1167452,0.7888238,0.001513143],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005691988,0.03607981,0.9560094,0.0006745877,0.00009324271,0.001054787,0.00002190732,0.005901779,0.0001075938],"genre_scores_gemma":[0.0001558708,0.008549703,0.9894314,0.0003045107,0.0001299997,0.0009002702,0.0001548432,0.00003549002,0.0003379105],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9637393,"threshold_uncertainty_score":0.9999663,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006104484,0.0002052534,0.000450706,0.0005610758,0.00003159097,0.00005801568,0.0006808779,0.0002444396,0.00002130414],"category_scores_gemma":[0.0006154269,0.0001868203,0.00006081455,0.001020315,0.0001059827,0.0004872913,0.0004501429,0.0003286002,2.106535e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001043588,"about_ca_system_score_gemma":0.00003246522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002541489,"about_ca_topic_score_gemma":0.00007415906,"domain_scores_codex":[0.997753,0.000477319,0.0007458752,0.000421879,0.0002124554,0.0003894539],"domain_scores_gemma":[0.9975616,0.001488899,0.0002536077,0.0005873268,0.00004172069,0.0000667957],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001324319,0.00003033427,0.004085877,0.00002805818,0.000004750118,0.000007668688,0.000544859,0.00007468374,0.0000237329,0.02936349,0.0001343195,0.965689],"study_design_scores_gemma":[0.001985769,0.002132941,0.2952768,0.0008133673,0.0000297919,0.00009633215,0.0001533123,0.1934841,0.08284122,0.4148594,0.006685219,0.001641744],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005270186,0.0003513724,0.9928381,0.0000470931,0.0002013875,0.0001996682,0.000002356038,0.0005706842,0.000519193],"genre_scores_gemma":[0.04497424,0.0001242844,0.9546948,0.0001110514,0.00004603239,0.00002106031,0.000006473289,0.000009368328,0.00001270152],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9640473,"threshold_uncertainty_score":0.761831,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000712132,0.0001444803,0.0002050945,0.0001498661,0.0001061172,0.0002332821,0.0002191965,0.0001497999,0.000001678532],"category_scores_gemma":[0.0003598124,0.0001322553,0.000029163,0.0004727848,0.0000620364,0.0004100959,0.00007937841,0.00009487351,1.328592e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005109411,"about_ca_system_score_gemma":0.00002988075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009463509,"about_ca_topic_score_gemma":0.00002781851,"domain_scores_codex":[0.9988797,0.0001214586,0.0002712519,0.0004354245,0.0000885352,0.0002036879],"domain_scores_gemma":[0.9989207,0.0005723494,0.0001341773,0.0002739201,0.00006021622,0.00003865464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001569119,0.00001603878,0.0008875616,0.00001531665,0.000002143736,7.667499e-7,0.00009048957,0.00002790821,0.0001757523,0.009966365,0.003239433,0.9855625],"study_design_scores_gemma":[0.002165007,0.0007623839,0.1598103,0.0002802125,0.00006397891,0.00006361953,0.00006053679,0.04374264,0.04948777,0.5842194,0.157778,0.001566125],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008347706,0.001007126,0.9962776,0.000776562,0.00006135503,0.0001652815,0.00002033067,0.0007222551,0.0001346916],"genre_scores_gemma":[0.01482711,0.0002566737,0.9842515,0.00005446611,0.00008771502,0.00008258547,0.0001822249,0.000009865829,0.0002478358],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9839964,"threshold_uncertainty_score":0.5393215,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001532792,0.0003058608,0.0004266386,0.0005459174,0.0001037103,0.00037369,0.001149222,0.0002868025,0.00002461487],"category_scores_gemma":[0.001302932,0.0002551089,0.00008221318,0.0008033563,0.0001030989,0.001165703,0.0006708918,0.0005182818,0.000002257895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001224108,"about_ca_system_score_gemma":0.00007458485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001252752,"about_ca_topic_score_gemma":0.00007257238,"domain_scores_codex":[0.9979017,0.0002476357,0.0004588568,0.000700759,0.000225909,0.0004650868],"domain_scores_gemma":[0.9982064,0.0008304776,0.0001635851,0.0006323754,0.00006382654,0.000103311],"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.00000978114,0.00002036993,0.0005077992,0.00001398877,0.00000592766,0.00001268373,0.0003481274,0.000001248496,0.0006072512,0.01320398,0.001545312,0.9837235],"study_design_scores_gemma":[0.0003139984,0.0003689568,0.00086903,0.000287903,0.00001657053,0.0001197149,0.00003502201,0.0002779864,0.4720911,0.437231,0.0874574,0.0009312934],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003355425,0.008659548,0.9844344,0.00151877,0.00008755395,0.0001748416,0.000004400767,0.004247859,0.0005371217],"genre_scores_gemma":[0.005163829,0.0004577508,0.9929199,0.0005165269,0.0001470111,0.00006138357,0.000008058856,0.00002211653,0.0007033951],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9827923,"threshold_uncertainty_score":0.9999901,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004109351,0.0001993724,0.0003056932,0.0005417988,0.0002002323,0.0002949151,0.0004247282,0.0002714283,0.000001761162],"category_scores_gemma":[0.0008322611,0.0001395525,0.00003487423,0.0007542425,0.00009562464,0.002773111,0.0003386911,0.0002994876,0.000001166556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008519871,"about_ca_system_score_gemma":0.00002399189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003613302,"about_ca_topic_score_gemma":0.00002951685,"domain_scores_codex":[0.9982503,0.0003276207,0.0006085541,0.0002878211,0.0002294374,0.0002962774],"domain_scores_gemma":[0.9976683,0.001467105,0.0003505232,0.000373022,0.00008568849,0.00005540585],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000007107205,0.000004789959,0.009300864,0.00003489296,0.0000104913,0.000002653866,0.001032864,0.000003309758,0.0003337031,0.01616883,0.0004035111,0.972697],"study_design_scores_gemma":[0.001805284,0.001204166,0.7486151,0.001866711,0.000101721,0.000397155,0.003491789,0.001175447,0.08539339,0.08998212,0.06399793,0.001969146],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006730526,0.001063998,0.9889416,0.00147301,0.0001346753,0.0003445173,0.00001013303,0.0007938948,0.0005076346],"genre_scores_gemma":[0.180585,0.0003292464,0.8186734,0.000234085,0.00007458805,0.00005143626,0.00001497042,0.000007429433,0.00002983987],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9707279,"threshold_uncertainty_score":0.5690787,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001723473,0.0002754001,0.0004126402,0.0006009787,0.0001126036,0.0004701856,0.001158918,0.0001005359,0.000006636503],"category_scores_gemma":[0.002318774,0.0001898,0.00008250956,0.001394293,0.00006447027,0.0002673394,0.0005491554,0.0004897516,0.000006356564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000134712,"about_ca_system_score_gemma":0.00003526764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005419283,"about_ca_topic_score_gemma":0.00008417048,"domain_scores_codex":[0.9977122,0.0004310173,0.000251512,0.0006421889,0.0004378679,0.0005252482],"domain_scores_gemma":[0.9875287,0.01140545,0.00006533523,0.0008698631,0.00003731604,0.0000933092],"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.00001961417,0.00003165077,0.003805095,0.0000180439,0.000009034031,0.00003683054,0.0001651187,0.0006556121,0.0001120827,0.04456286,0.02695075,0.9236333],"study_design_scores_gemma":[0.001520068,0.001946963,0.3055664,0.001057643,0.00003498414,0.0001579934,0.0001197546,0.002246293,0.08560331,0.2217832,0.3771254,0.002837984],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007175989,0.0006318522,0.9871581,0.001349182,0.0003302427,0.0003269488,0.00001014492,0.002147927,0.000869573],"genre_scores_gemma":[0.1550659,0.00002379138,0.8426266,0.0001962705,0.0003818519,0.0001745771,0.000005412317,0.00003101039,0.001494558],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9207953,"threshold_uncertainty_score":0.7739821,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001216787,0.0002292077,0.0003133203,0.0003614647,0.0001504784,0.0003594557,0.0006747732,0.0002004597,0.000006932264],"category_scores_gemma":[0.0004375861,0.0002065226,0.00007597807,0.0007952972,0.00009957676,0.0004133632,0.0003269284,0.0003352551,0.000001240641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007155471,"about_ca_system_score_gemma":0.00004026015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00113381,"about_ca_topic_score_gemma":0.00007377227,"domain_scores_codex":[0.9981798,0.0002855035,0.0003912503,0.0005373712,0.0002138837,0.0003921819],"domain_scores_gemma":[0.9981115,0.00109818,0.0001518454,0.0005373076,0.00004210257,0.00005909692],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006160132,0.00003347535,0.003514676,0.00001082006,0.000002907888,0.000005074621,0.0003927688,0.000007612575,0.00005012955,0.1451068,0.001299046,0.8495705],"study_design_scores_gemma":[0.0005225535,0.0006502653,0.0380887,0.0002496612,0.00001060658,0.0000612253,0.000112555,0.0007777862,0.04361266,0.819115,0.09588951,0.0009094507],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009112495,0.0004948917,0.9815059,0.0009641862,0.0001898917,0.0001822285,0.000004603443,0.002564235,0.004981614],"genre_scores_gemma":[0.1013128,0.00006145131,0.8979352,0.000289659,0.0001628098,0.00003914733,0.00001463485,0.00001135286,0.0001730348],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8486611,"threshold_uncertainty_score":0.8421748,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004549699,0.0002395454,0.0004259377,0.0006520587,0.00007857715,0.0002188692,0.0006923553,0.0002774162,0.00001486487],"category_scores_gemma":[0.002823667,0.0002066286,0.0000767341,0.001114406,0.00008286702,0.0005662009,0.0004095664,0.0003426053,0.000002188221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001166249,"about_ca_system_score_gemma":0.00008932389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009520613,"about_ca_topic_score_gemma":0.000599793,"domain_scores_codex":[0.9977015,0.0003220804,0.0005611833,0.0005814765,0.0002297558,0.0006040512],"domain_scores_gemma":[0.997028,0.002138475,0.00015713,0.0004910153,0.00004667896,0.0001387258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006483896,0.00002401671,0.007223598,0.00001368588,0.000005257918,0.00004589652,0.0006642728,0.000001448786,0.0001338435,0.1326069,0.0003648562,0.8589098],"study_design_scores_gemma":[0.0007920139,0.000528145,0.04952938,0.00006995405,0.00001420244,0.0000765786,0.000268528,0.0001693641,0.02086776,0.8877377,0.03901406,0.0009323162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005182601,0.001365663,0.9936635,0.000448273,0.0002413051,0.0001929043,0.00000133953,0.001165791,0.002402936],"genre_scores_gemma":[0.1762299,0.000111096,0.8230358,0.0001884782,0.00008705186,0.0000370073,0.000007772124,0.00001287307,0.0002900643],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8579774,"threshold_uncertainty_score":0.8426068,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001051703,0.0001839902,0.0004728799,0.0003955703,0.00007298432,0.0001379695,0.0006613031,0.0001267975,0.0000021809],"category_scores_gemma":[0.0002616579,0.0001172381,0.0002386276,0.001556303,0.0001809619,0.0005301365,0.0003477692,0.0001181323,4.940961e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002111302,"about_ca_system_score_gemma":0.00002922747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003641895,"about_ca_topic_score_gemma":0.0001118719,"domain_scores_codex":[0.998673,0.00007915081,0.0003827351,0.000368891,0.000168256,0.0003279665],"domain_scores_gemma":[0.9976915,0.001542609,0.0001609151,0.0005098313,0.00006279963,0.00003239839],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001487959,0.00002487374,0.001745279,0.000009668656,0.00007078904,8.542063e-7,0.00006509061,0.00008166434,0.00001793518,0.08602748,0.001746644,0.9101949],"study_design_scores_gemma":[0.0009456691,0.000859581,0.1184309,0.00004062434,0.0007564472,0.00002851174,0.0001356161,0.01320426,0.02591452,0.8137282,0.02501112,0.0009445818],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007392283,0.0006489277,0.9955788,0.0001805349,0.00004669949,0.0001733785,0.00004583678,0.0003457304,0.002240902],"genre_scores_gemma":[0.02572738,0.00004097,0.973543,0.000105031,0.00003697444,0.00007873886,0.00005493416,0.000008252873,0.0004047515],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9092503,"threshold_uncertainty_score":0.4780831,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001019086,0.0002985513,0.000430569,0.0004672311,0.0001281744,0.0002560013,0.0008785474,0.0002730441,0.00001029134],"category_scores_gemma":[0.001502842,0.0002512629,0.0001124859,0.001009447,0.0001092024,0.0007190866,0.000321298,0.0002493777,3.039192e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005399481,"about_ca_system_score_gemma":0.00008186216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003115488,"about_ca_topic_score_gemma":0.00006892497,"domain_scores_codex":[0.997794,0.0001878369,0.0005492978,0.0008054911,0.0002467301,0.0004166238],"domain_scores_gemma":[0.9974838,0.001358217,0.0002567359,0.0007108809,0.0001156244,0.00007473569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005372097,0.00003664709,0.001729951,0.00004657153,0.000003407832,0.000002207031,0.00005860879,0.000004939182,0.000674448,0.1404586,0.0006847723,0.8562462],"study_design_scores_gemma":[0.000597637,0.0002592067,0.01633694,0.0001187446,0.000004486542,0.00001491449,0.000004649332,0.0001048779,0.02561482,0.9382144,0.01843358,0.000295708],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002117324,0.0001374649,0.9789476,0.0002658607,0.00004699797,0.01884864,0.00002344197,0.001418328,0.00009998236],"genre_scores_gemma":[0.002332095,0.000008471705,0.9442077,0.0001082566,0.00006596114,0.05315302,0.00001524408,0.00002154493,0.00008767964],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8559504,"threshold_uncertainty_score":0.999994,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002233677,0.0003349494,0.0003845834,0.000340461,0.0001835999,0.000367548,0.001261434,0.0002440938,0.000007319691],"category_scores_gemma":[0.006633611,0.0002162243,0.00008475284,0.000945613,0.0001744676,0.0003743801,0.0004914628,0.0008359315,7.868721e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002230181,"about_ca_system_score_gemma":0.00007702364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001290856,"about_ca_topic_score_gemma":0.0002616436,"domain_scores_codex":[0.9977508,0.0003161661,0.0003721251,0.0007708473,0.0003104076,0.0004796914],"domain_scores_gemma":[0.9953908,0.003526718,0.0002094571,0.0006760432,0.0001208014,0.00007616782],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005098539,0.00001705037,0.0004064294,0.000007446915,0.000007353979,0.00009141333,0.00239039,1.053572e-7,0.0007367436,0.01648424,0.0004927104,0.9793151],"study_design_scores_gemma":[0.0007531152,0.0006348277,0.01884194,0.001094468,0.00004959776,0.0001358855,0.002058612,0.0003622067,0.2005303,0.7662586,0.007730457,0.001550001],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001166045,0.03092881,0.9620196,0.001276213,0.0001910619,0.0002167723,0.00001199706,0.003135086,0.001054458],"genre_scores_gemma":[0.1335336,0.00006798728,0.8650874,0.0008800367,0.0002295304,0.00001879827,0.0000108433,0.0000209832,0.0001508733],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9777651,"threshold_uncertainty_score":0.8817373,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007205084,0.0002485076,0.0003702214,0.0002368045,0.00009266026,0.0002745635,0.0003962424,0.0001676976,0.00001197789],"category_scores_gemma":[0.0001029405,0.0001777799,0.00004716641,0.0005436724,0.00005504531,0.0009856668,0.00007696977,0.0001990715,0.000001130107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004708822,"about_ca_system_score_gemma":0.00004709006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00481549,"about_ca_topic_score_gemma":0.003771769,"domain_scores_codex":[0.9982216,0.0004126123,0.0002791682,0.0005445412,0.0001892749,0.0003528534],"domain_scores_gemma":[0.9988754,0.0004901962,0.0001032192,0.0004023151,0.00003995853,0.00008895216],"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.00004941851,0.0000314224,0.001657617,0.000005372278,0.00001128208,0.00004004357,0.0124082,0.000004528524,0.003962107,0.008790729,0.0001276802,0.9729116],"study_design_scores_gemma":[0.003819336,0.007444803,0.07450289,0.0001532782,0.00009683309,0.0001700699,0.007893865,0.0003979437,0.6679904,0.2112902,0.02311773,0.00312265],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01946474,0.0007775039,0.977137,0.0001933073,0.00004843925,0.0003054504,0.00001856239,0.0009573132,0.001097721],"genre_scores_gemma":[0.2666813,0.00000661426,0.7328029,0.000123389,0.00009555982,0.0000830928,0.0000564911,0.00001148875,0.0001392383],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.969789,"threshold_uncertainty_score":0.7279612,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00142174,0.0002440235,0.00030884,0.0005856295,0.0001152682,0.0005907545,0.0009693538,0.0003492156,0.00001487935],"category_scores_gemma":[0.002064265,0.0002022615,0.00004951482,0.0008985377,0.0001096973,0.00328821,0.0005012383,0.0007602752,0.000001155296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003977086,"about_ca_system_score_gemma":0.0001068342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001485615,"about_ca_topic_score_gemma":0.00004376006,"domain_scores_codex":[0.9985438,0.0001270432,0.0004102166,0.0003340152,0.0002325476,0.0003523494],"domain_scores_gemma":[0.9986575,0.000409018,0.0002128414,0.0005305638,0.0001000984,0.00009001683],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006882774,0.000007429308,0.0003990316,0.00002404192,0.000001776787,0.000004919018,0.000391384,9.25284e-8,0.00204321,0.01516371,0.001381868,0.9805757],"study_design_scores_gemma":[0.0003472878,0.0002248177,0.004109419,0.0001840617,0.00001135868,0.0001873895,0.00005378598,0.0001871052,0.2325293,0.7010189,0.06031542,0.0008310981],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007753516,0.001004954,0.9917754,0.0009745848,0.0001564051,0.0001408885,0.000005208183,0.004248041,0.0009191468],"genre_scores_gemma":[0.01085321,0.00006078475,0.9883651,0.0004355032,0.00006941482,0.00005085815,0.0000151026,0.00001196195,0.0001380852],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9797446,"threshold_uncertainty_score":0.8247983,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002526294,0.0002442611,0.0004317244,0.0009324254,0.0001348284,0.0001924128,0.001170476,0.0001992357,0.00001220106],"category_scores_gemma":[0.001987824,0.0001962118,0.00004381645,0.001882232,0.001100441,0.0008864977,0.0014123,0.000277988,8.313461e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006239345,"about_ca_system_score_gemma":0.0002007852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001652713,"about_ca_topic_score_gemma":0.00007820032,"domain_scores_codex":[0.9981743,0.0002251614,0.0003629985,0.0006777468,0.0001610638,0.0003987262],"domain_scores_gemma":[0.9981242,0.0008017886,0.0001572819,0.000621471,0.000183821,0.0001114797],"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.000008747497,0.00002411589,0.0005539284,0.00003361226,0.000003422545,0.000003961725,0.002914927,4.528215e-9,0.01008711,0.02032279,0.000625528,0.9654219],"study_design_scores_gemma":[0.0003123664,0.0006787446,0.004073576,0.0002632613,0.00001149464,0.00006740614,0.0001679269,0.00007942157,0.8063822,0.1816085,0.005845205,0.0005098641],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009954337,0.02109834,0.9619843,0.0002081881,0.0001852443,0.0001891825,0.000009594871,0.002275168,0.004095675],"genre_scores_gemma":[0.08742798,0.0001601426,0.911869,0.00005309486,0.00008490057,0.00001761422,0.00000176455,0.00001312204,0.0003723485],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.964912,"threshold_uncertainty_score":0.8001285,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001232015,0.0001898354,0.0003563054,0.0004046415,0.00009111919,0.000335183,0.0004855481,0.0001794255,0.000002580502],"category_scores_gemma":[0.001060923,0.0001193134,0.00004172252,0.0007454474,0.0002361576,0.00157966,0.0003895121,0.0002645596,3.869752e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003818377,"about_ca_system_score_gemma":0.00005023092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004237636,"about_ca_topic_score_gemma":0.00003219409,"domain_scores_codex":[0.99871,0.0002230104,0.0004386385,0.0002171669,0.000210037,0.0002011055],"domain_scores_gemma":[0.9984035,0.000871345,0.0003158353,0.0003049507,0.00008030306,0.00002409553],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003689009,0.000004218277,0.0005290603,0.00005007932,0.000003535307,9.494404e-7,0.0002824989,0.000001159957,0.0001665996,0.02844728,0.0005053593,0.9699724],"study_design_scores_gemma":[0.0004596603,0.0001273832,0.003633825,0.0001486578,0.00001348318,0.00003757212,0.00004960767,0.00007306089,0.09293985,0.8992508,0.003025664,0.0002404114],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001698456,0.009400227,0.9868208,0.0007825904,0.00004545578,0.0001878824,0.0000138702,0.0007960518,0.0002546349],"genre_scores_gemma":[0.04417288,0.000223033,0.9553019,0.0001790104,0.00002891698,0.00002131052,0.00001272964,0.000006244416,0.00005397756],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9697319,"threshold_uncertainty_score":0.486546,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003816236,0.0002558543,0.0004573445,0.00061589,0.00009843574,0.0002683887,0.0006576202,0.0002611392,0.000004337559],"category_scores_gemma":[0.000208199,0.0002286449,0.00008511014,0.0006188545,0.00006563393,0.001478318,0.0004828006,0.0003058417,4.669611e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001256956,"about_ca_system_score_gemma":0.00004253901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002833318,"about_ca_topic_score_gemma":0.0001748161,"domain_scores_codex":[0.9979743,0.0001518456,0.000694485,0.0004021252,0.0001853509,0.0005918576],"domain_scores_gemma":[0.9981962,0.001052666,0.0001813189,0.000428793,0.00005415806,0.0000868165],"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.00003314022,0.0000227837,0.001571685,0.00006245562,0.000005081972,0.00001010442,0.0006320547,0.00002981269,0.0001930008,0.04349973,0.001241189,0.9526989],"study_design_scores_gemma":[0.007331669,0.003527543,0.2800533,0.001665791,0.00004371812,0.0008142236,0.0008937291,0.02686258,0.1337239,0.1400592,0.3994771,0.005547175],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006928715,0.0001497869,0.9965243,0.0001498183,0.0002765024,0.0005742576,0.00001875,0.0007708359,0.0008428619],"genre_scores_gemma":[0.02398517,0.00004148634,0.9753267,0.0002745063,0.0001156075,0.0001536173,0.00003048447,0.00001315323,0.00005930968],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9471518,"threshold_uncertainty_score":0.9323868,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}