Smart Search
Cari koleksi dengan cepat sesuai kebutuhan Anda.For the first time, a deep seismic data set acquired in the frame of the Algerian–French SPIRAL program provides new insights regarding the origin of the westernmost Algerian margin and basin. We performed a tomographic inversion of traveltimes along a 100-km-long wide-angle seismic profile shot over 40 ocean bottom seismometers offshore Mostaganem (Northwestern Algeria). The resu…
This article presents a strategy for mapping entries in Schemann’s dictionary of German set phrases to lexicogrammatical patterns. With more than 10,000 headwords and 33,000 entries, Schemann’s dictionary is the most comprehensive printed dictionary of German set phrases. The result of the mapping yields more than 8,500 distinct pattern classes, which are used to generate effective corpus q…
We discuss definability of henselian valuation rings in the Macintyre language LMac, the language of rings expanded by nth power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian residue field are uniformly ∃-∅-definable in LMac, and henselian valuation rings with value group Z are uniformly ∃∀-∅-definable in the ring langu…