Results 141 to 150 of about 101,814 (276)
Formal analysis of signal protocol based on logic of events theory. [PDF]
Sci RepLi Z, Xiao M, Xu R.
europepmc +1 more source
A tiled multi-city urban objects dataset for city-scale building energy simulation. [PDF]
Sci Data, 2023 Ma R, Fang D, Chen J, Li X.
europepmc +1 more source
Extending higher-order logic with predicate subtyping
, 2018 Le système de types de la logique d'ordre supérieur permet d'exclure certaines expressions indésirables telles que l'application d'un prédicat à lui-même. Cependant, il ne suffit pas pour vérifier des critères plus complexes comme l'absence de divisions par zéro.
openaire +2 more sources
Predicate Logic and Tree Automata with Tests
Foundations of Software Science and Computation Structure, 2000 R. Treinen
semanticscholar +1 more source
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
Transforming Ontology Web Language Elements into Common Terminology Service 2 Terminology Resources. [PDF]
J Pers MedMora S +4 more
europepmc +1 more source
A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]
MethodsX, 2022 Alpuente M +4 more
europepmc +1 more source
JCMS: Journal of Common Market Studies, EarlyView.Abstract The article engages the European Union's (EU) implementation of counterterrorism clauses as part of its development aid regulations in the Occupied Palestinian Territory (OPT). The point of departure for the research is the shift in the EU's policy for aid regulations in the OPT in 2019, when the EU began to gradually implement ...
Mariam Salameh‐Puvogel
wiley +1 more source
Increased discoverability of rare disease datasets through knowledge graph integration. [PDF]
JAMIA OpenBraun I +6 more
europepmc +1 more source
Towards Allyship in Diversity? Critical Perspectives on the European Union's Global Role
JCMS: Journal of Common Market Studies, EarlyView.Abstract This special issue (SI) foregrounds critical perspectives in studying the EU's global role, acknowledging their historical marginalisation within scholarship dominated by mainstream approaches. The project is theoretical with significant normative and practical implications, that is, for activism and policy‐making. Our primary goal is to bring
Dimitris Bouris +2 more
wiley +1 more source