Results 11 to 20 of about 24,380 (166)
Delimited continuations for prolog [PDF]
Theory and Practice of Logic Programming, 2013 AbstractDelimited continuations are a famous control primitive that originates in the functional programming world. It allows the programmer to suspend and capture the remaining part of a computation in order to resume it later. We put a new Prolog-compatible face on this primitive and specify its semantics by means of a meta-interpreter.
Tom Schrijvers +3 more
openaire +5 more sources
Species delimitation and geography [PDF]
Molecular Ecology Resources, 2020 Abstract Despite the importance of the geographical arrangement of populations for the inference of species boundaries, only a few approaches that integrate spatial information into species delimitation have thus far been developed. Persistent differentiation of sympatric groups of individuals is the best criterion for species status.
Hausdorf B., Hennig C.
openaire +3 more sources
A historical overview and critical analysis of town centre delimitation methodologies
Bulletin of Geography. Socio-Economic Series, 2014 The article aims at exploring the literature on town centre delimitation methods over the last sixty years. Specifically, the first section explores the content of the term town centre, while the second one proposes an organisation of town centre ...
Pissourios Ioannis A.
doaj +2 more sources
The ICJ’s Judgement in 'Somalia v. Kenya' and Its Implications for the Law of the Sea
Utrecht Journal of International and European Law, 2018 By its judgement of 2 February 2017, the International Court of Justice took up jurisdiction to adjudicate the maritime dispute between Somalia and Kenya.
Kai-chieh Chan
doaj +1 more source
Journal of Fungi, 2023 We sequenced over 200 recent specimens of Lecanora s.lat. from Brazil, delimiting 28 species in our material. Many seem to represent undescribed species, some of which being morphologically and chemically similar to each other or to already described ...
Lidiane Alves dos Santos +3 more
doaj +1 more source
Problems of Criminal and Legal Qualification of Domestic Violence
Law and Safety, 2020 The subject matter of the research is theoretical and applied problems of criminal and legal qualification of domestic violence. Its purpose is to form propositions for solving these problems.
Yu. V. Orlov
doaj +1 more source
Plant and Fungal Systematics, 2018 Closely related lichen-forming fungal species circumscribed using phenotypic traits (morphospecies) do not always align well with phylogenetic inferences based on molecular data.
Jolanta Miadlikowska +6 more
doaj +1 more source
ASEAN Journal on Science and Technology for Development, 2021 Marine management areas in Indonesia can be claimed 12 nautical miles from the coastline by regional governments, according to Law 23 of 2014. However, in reality, there are many provinces whose distances to other provinces are fewer than 2 × 12 nautical
Agung Kurniawan +4 more
doaj +1 more source
Delimiting the Unconceived [PDF]
Foundations of Physics, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Theory and Practice of Logic Programming, 2022 AbstractDelimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog ...
Vandenbroucke, Alexander +1 more
openaire +8 more sources