Results 101 to 110 of about 239,200 (391)
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
, 2010 We present here Imitator II, a new version of Imitator, a tool implementing the "inverse method" for parametric timed automata: given a reference valuation of the parameters, it synthesizes a constraint such that, for any valuation satisfying this ...
André, Étienne
core +3 more sources
A cartography of the van der Waals territories.
Dalton Transactions, 2013 The distribution of distances from atoms of a particular element E to a probe atom X (oxygen in most cases), both bonded and intermolecular non-bonded contacts, has been analyzed.
S. Alvarez
semanticscholar +1 more source
Small Methods, EarlyView.Unlock the secrets of high‐entropy materials! While standard techniques hint at pure phases, only solid‐state 133Cs NMR reveals the hidden atomic‐level mixing and phase separation. This study demonstrates that combining NMR with traditional methods is crucial for designing next‐generation, sustainable materials with unprecedented properties, paving the
Brian B. Phan +8 more
wiley +1 more source
The road toward smart city infrastructures: A review on 3d facade reconstruction using images [PDF]
E3S Web of ConferencesNumerous types of solid structures protect coastal activities and cities from the damaging effects of tides and waves all around the globe. Thus, having a three-dimensional digital representation of the physical environment would help decision-makers in ...
Arhrib Youssef +5 more
doaj +1 more source
Audiovisual Cartography: Established and New Multimedia Approaches to Represent Soundscapes
KN - Journal of Cartography and Geographic Information, 2019 Since the mid-1990s, sound has been discussed and used in multimedia cartography. There are four main variants of auditory map elements that have been established in the theory and practice of audiovisual cartography, i.e.
Dennis Edler +3 more
semanticscholar +1 more source
Wildlife Biology, EarlyView.We compared population trends for rock ptarmigan Lagopus muta densities (2003‒2019) derived from walked transects and driven road transects in Mosfellsheiði and Slétta in southwest and northeast Iceland, respectively. The walked transects were laid out according to a random rule.
Matteo Ferrarini, Ólafur K. Nielsen
wiley +1 more source
Two books History of Cartography
Kartografija i Geoinformacije, 2013 Two valuable books were published under the title History of Cartography in the group Lecture Notes and the subgroup Publications of the International Cartographic Association.
Mirko Husak
doaj
Marine science from cartographic viewpoint: from research to education in Hungary | Tengertan térképészet szemmel: a kutatástól az oktatásig Magyarországon [PDF]
, 2006 Két és fél évtizedes magyar kutatások, valamint a témához kapcsolódó külföldi szakirodalom magyar adaptációja és szintézise eredményeképpen, ma már korszerű és elegendő tudással rendelkezünk ahhoz, hogy a tengerfenéknek a szárazföldek leíróföldrajzához ...
Márton, Mátyás
core
Assessing habitat suitability for black grouse broods at the bioregional scale
Wildlife Biology, EarlyView.The black grouse Lyrurus tetrix, a galliform species emblematic of the European Alps, is currently threatened by habitat change, particularly given the closure of heathland linked to the rising tree line at higher altitudes. The presence of heathlands in good ecological condition is, however, imperative for the species' reproduction.
Alexandre T. M. Defossez +6 more
wiley +1 more source
Augmenting Printed School Atlases with Thematic 3D Maps
Multimodal Technologies and Interaction, 2020 Digitalization in schools requires a rethinking of teaching materials and methods in all subjects. This upheaval also concerns traditional print media, like school atlases used in geography classes. In this work, we examine the cartographic technological
Raimund Schnürer +4 more
doaj +1 more source