Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
JCMS: Journal of Common Market Studies, EarlyView.Abstract The paper offers a hitherto‐lacking comprehensive appraisal of solidaristic transfers by European Union Member States (EUMS) during the first year of the COVID‐19 pandemic. These transfers include bilateral assistance, collective burden‐sharing on the EU level and even external EU aid.
Péter Marton, Balázs Szent‐Iványi
wiley +1 more source
Application of GUHA data mining method in cohort data to explore paths associated with premature death: a 29-year follow-up study. [PDF]
BMC Med Res MethodolNosraty L +5 more
europepmc +1 more source
Separation Predicates: A Taste of Separation Logic in First-Order Logic
, 2012 François Bobot +1 more
openalex +2 more sources
An extension of J\'{o}nsson-Tarski representation and model existence in predicate non-normal modal logics [PDF]
, 2021 Yoshihito Tanaka
openalex
Irregular and Infectious? COVID‐19, Ebola and the Securitization of Migration to Southern Europe
JCMS: Journal of Common Market Studies, EarlyView.Abstract Securitization scholarship concentrates on the discursive association between undocumented migration, terrorism and crime. Our textual and visual analysis of Italian, Spanish and Maltese newspapers between 2013 and 2020 demonstrates that the discourses securitizing irregular mobility as a health risk became more salient than those linking ...
Eugenio Cusumano +2 more
wiley +1 more source
Public Policy by Syllogism? Does Logic Hold the Answer to Better Policy Outcomes? [PDF]
Eval RevDrew J +3 more
europepmc +1 more source
ILP-based Inference for Cost-based Abduction on First-order Predicate Logic
, 2013 Naoya Inoue, Kentaro Inui
openalex +2 more sources
Bureaucratic Responses to Populist Government: Explaining Foreign Policy (Non‐)Change
JCMS: Journal of Common Market Studies, EarlyView.Abstract Populism has become a defining feature of global politics. As populists become part of elected governments, an increasingly rich literature has been investigating their influence on a country's foreign policy. Nonetheless, such scholarly endeavours have neglected one specific element: the interplay between elective officials and the ...
Hanna Corsini, Edoardo Ongaro
wiley +1 more source