Search results for " Mapping"

Evidence-based programming language design : a philosophical and methodological exploration

2015

Background: Programming language design is not usually informed by empirical studies. In other fields similar problems have inspired an evidence-based paradigm of practice. Such a paradigm is practically inevitable in language design, as well. Aims: The content of evidence-based programming design (EB-PLD) is explored, as is the concept of evidence in general. Additionally, the extent of evidence potentially useful for EB-PLD is mapped, and the appropriateness of Cohen’s kappa for evaluating coder agreement in a secondary study is evaluated. Method: Philosophical analysis and explication are used to clarify the unclear. A systematic mapping study was conducted to map out the existing body of…

On an idea of Bakhtin and Czerwik for solving a first-order periodic problem

2017

We study the existence of solutions to a first-order periodic problem involving ordinary differential equations, by using the quasimetric structure suggested by Bakhtin and Czerwik. The presented approach involves technical conditions and fixed point iterative schemes to yield new theoretical results guaranteeing the existence of at least one solution.

MR3104897 Reviewed Mawhin, J. Variations on some finite-dimensional fixed-point theorems. Translation of Ukraïn. Mat. Zh. 65 (2013), no. 2, 266–272. …

2014

Inglese:The author presents an interesting discussion on three fundamental results in the literature and related theory: the Poincaré-Miranda theorem [C. Miranda, Boll. Un. Mat. Ital. (2) 3 (1940), 5–7; MR0004775 (3,60b)], the Pireddu-Zanolin fixed point theorem [M. Pireddu and F. Zanolin, Topol. Methods Nonlinear Anal. 30 (2007), no. 2, 279–319; MR2387829 (2009a:37032)] and the Zgliczyński fixed point theorem [P. Zgliczyński, Nonlinear Anal. 46 (2001), no. 7, Ser. A: Theory Methods, 1039–1062; MR1866738 (2002h:37032)]. The author provides generalizations of the last two fixed point theorems by using the original technique that he developed in a previous paper and the Poincaré-Miranda theor…

From Caristi’s Theorem to Ekeland’s Variational Principle in ${0}_{\sigma }$ -Complete Metric-Like Spaces

2014

We discuss the extension of some fundamental results in nonlinear analysis to the setting of ${0}_{\sigma }$ -complete metric-like spaces. Then, we show that these extensions can be obtained via the corresponding results in standard metric spaces.

Advanced earth observation approach for multiscale forest ecosystem services modeling and mapping (MIMOSE)

2014

In the last decade ecosystem services (ES) have been proposed as a method for quantifying the multifunctional role of forest ecosystems. Their spatial distribution on large areas is frequently limited by the lack of information, because field data collection with traditional methods requires much effort in terms of time and cost. In this contribution we propose a methodology (namely, MultIscale Mapping Of ecoSystem servicEs - MIMOSE) based on the integration of remotely sensed images and field observation to produce a wall-to-wall geodatabase of forest parcels accompanied with several information useful as a basis for future trade-off analysis of different ES. Here, we present the applicat…

Kolmiulotteisten mallien yleisvalon varjostus ilman säteenjäljitystä

2004

Projections from the medial cortex in the brain of lizards: correlation of anterograde and retrograde transport of horseradish peroxidase with Timm s…

1988

Efferent projections of the medial cortex of the lizards Podarcis hispanica and Gallotia stehlinii were studied by examining the transport of horseradish peroxidase; results were correlated with those from Timm-stained sections. Two efferent systems were found. The first reaches the distal part of the outer plexiform layer in the medial, dorsomedial, and dorsal cortices, i.e., zones that are negative to Timm staining, and possibly originates from horizontal fusiform neurons. The second reaches the Timm-positive zones in the cortex and septum and is topographically arranged: the vertical portion of the intermediate and caudal medial cortex and the entire rostral medial cortex project to the …

Geological Map of the Rocca Busambra-Corleone region (western Sicily, Italy): explanatory notes

2011

The geology of the Rocca Busambra-Corleone region, in centralwestern Sicily, is relevant to the understanding of the central sector of the Maghrebian-Sicilian fold-and-thrust belt. In the investigated area Mesozoic shallow- and deep-water carbo - nate deposits pertaining respectively to the Trapanese and the Sica - nian successions, and a thick Oligo-Miocene numidian flysch body, crop out. Minor outcrops of Cretaceous-Palaeogene Sicilide complex and syn-orogenic deposits of the Late Serravallian-Early Messinian Castellana Sicula and Terravecchia formations are also present. A structural analysis reveals complex tectonic relationships between the Trapanese carbonate platform tectonic unit (t…

REMOTELY PILOTED AIRCRAFT SYSTEMS (RPAS) APPLICATION FOR STRUCTURE DESCRIPTION OF MEDITERRANEAN VERMETID REEFS

2016

Vermetid gastropods are coastal habitat engineers which build biogenic platforms typical of intertidal rocky shores of central and south -east of the Mediterranean. These bioconstructions create a secondary habitat which increases resource availability and space for organisms, locally transforming the environment and modifying coastal geomorphology. Biological characteristics and physical structure of these bioconstructions are commonly studied by field-based sampling. Nevertheless, a lot of time is required to collect data over large areas of reef, field conditions can impair data collection and direct reef image interpretation may be a challenge due to their intertidal position. In this s…

L’impiego di strumenti acustici ad alta risoluzione nella valutazione, monitoraggio e gestione delle praterie di Posidonia oceanica.

2015

High-resolution sonar system (MBS, SSS, Sub Bottom Profiler) was used to map and characterize Posidonia oceanica meadows, dead matte formations and to long-term monitor its progressive lower limit. Hydro-acoustic techniques allows to quickly acquire, at sufficiently low cost, a synoptic coverage of a large area and a high number of data by mean of non-destructive methods. Hence, they are recommended as useful tools for detecting and characterizing submerged aquatic vegetation.