Results 31 to 40 of about 24,380 (166)
Caractéristiques syntaxiques de la parenthèse en latin : linéarisation, délimitation et insertion
Discours, 2017 The aim of the paper is to analyse the syntactic rules of the incidental clause in Latin: indeed, the incidental – i.e. parenthetical sentence - exhibits the following paradox: although it is independent from a structural viewpoint (it constitutes a main
Isabelle Charnavel
doaj +1 more source
Vojnotehnički Glasnik, 2006 U ovom radu govori se o demarkaciji i obeležavanju V graničnog odseka državne granice između Srbije i Crne Gore i Republike Makedonije. Posebno je naglašen tehnički deo, odnosno izvršenje terenskih geodetskih radova čiji su nosioci, sa srpskocrnogorske ...
Goran Prodanović
doaj +1 more source
Polymorphic Delimited Continuations [PDF]
, 2007 This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski, the proposed type system allows pure expressions to be polymorphic. Thanks to the explicit presence of answer types, our type system satisfies various important properties, including
Kenichi Asai, Yukiyoshi Kameyama
openaire +1 more source
Tabling as a library with delimited control [PDF]
Theory and Practice of Logic Programming, 2015 AbstractTabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems.
Desouter, Benoit +2 more
openaire +4 more sources
Geomorphological units in Arcos-pains karst region, Minas gerais, Brazil
Acta Carsologica, 2023 The Arcos-Pains Karst Region is approximately 850 km2, formed by massive carbonate rocks that host hundreds of caves, rock shelters and shafts. Many fossil discoveries exist in the region; one can also find rock paintings and other archaeological remains.
Mariana Barbosa Timo +1 more
doaj +1 more source
On the Dynamic Extent of Delimited Continuations [PDF]
BRICS Report Series, 2005 We show that breadth-first traversal exploits the difference between the static delimited-control operator `shift' (alias `S') and the dynamic delimited-control operator `control' (alias `F'). For the last 15 years, this difference has been repeatedly mentioned in the literature but it has only been illustrated with one-line toy examples. Breadth-first
Dariusz Biernacki +2 more
openaire +5 more sources
Border between West and East of Europe in the mental maps of European university students
Hungarian Geographical BulletinThe paper addresses the issue of dividing Europe into two sub-regions, West and East, which are monitored and defined through the method of cognitive mapping.
Aleš Nováček +2 more
doaj +1 more source
Indonesia: Problem Encountered in Some Unresolved Boundaries and the Outermost Island Issues
Jurnal Hukum Internasional, 2011 Within the framework of national integrity the ocean possesses two key aspects that is, of security and prosperity. The demarcation of the outer limits of national mari- time territory and jurisdiction including delimitation of boundaries with ...
Etty R. Agoes.
doaj +1 more source
Methods and approaches of determining the boundaries of agglomerations (basic case Kharkiv region)
Časopis Socìalʹno-Ekonomìčnoï Geografìï. Часопис соціально-економічної географії, 2020 Changes in social relations in Ukraine, its transition to a post-industrial society, structural changes in regional development lead in modern conditions to changes in the territorial organization of society, which directly affects the trends of regional
Kateryna Kravchenko +4 more
doaj +1 more source
Historia i Polityka, 2020 The Ferghana Valley is the most densely populated part of Central Asia. The borders of Uzbekistan, Kyrgyzstan and Tajikistan intersect across the Valley.
Zhandos Karinbayev
doaj +1 more source