Perfect tag identification protocol in RFID networks

Radio Frequency IDentification (RFID) systems are becoming more and more popular in the field of ubiquitous computing, in particular for objects identification. An RFID system is composed by one or more readers and a number of tags. One of the main issues in an RFID network is the fast and reliable identification of all tags in the reader range. The reader issues some queries, and tags properly answer. Then, the reader must identify the tags from such answers. This is crucial for most applications. Since the transmission medium is shared, the typical problem to be faced is a MAC-like one, i.e. to avoid or limit the number of tags transmission collisions. We propose a protocol which, under some assumptions about transmission techniques, always achieves a 100% perfomance. It is based on a proper recursive splitting of the concurrent tags sets, until all tags have been identified. The other approaches present in literature have performances of about 42% in the average at most. The counterpart is a more sophisticated hardware to be deployed in the manufacture of low cost tags.Comment: 12 pages, 1 figur

Inductive Logic Programming in Databases: from Datalog to DL+log

In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of KR aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both can be reformulated as ILP problems and can benefit from the expressive and deductive power of the KR framework DL+log. We illustrate the application scenarios by means of examples. Keywords: Inductive Logic Programming, Relational Databases, Ontologies, Description Logics, Hybrid Knowledge Representation and Reasoning Systems. Note: To appear in Theory and Practice of Logic Programming (TPLP).Comment: 30 pages, 3 figures, 2 tables

Effects of the galactic winds on the stellar metallicity distribution of dwarf spheroidal galaxies

To study the effects of galactic winds on the stellar metallicity distributions and on the evolution of Draco and Ursa Minor dwarf spheroidal galaxies, we compared the predictions of several chemical evolution models, adopting different prescriptions for the galactic winds, with the photometrically-derived stellar metallicity distributions of both galaxies. The chemical evolution models for Draco and Ursa Minor, which are able to reproduce several observational features of these two galaxies, such as the several abundance ratios, take up-to-date nucleosynthesis into account for intermediate-mass stars and supernovae of both types, as well as the effect of these objects on the energetics of the systems. For both galaxies, the model that best fits the data contains an intense continuous galactic wind, occurring at a rate proportional to the star formation rate. Models with a wind rate assumed to be proportional only to the supernova rate also reproduce the observed SMD, but do not match the gas mass, whereas the models with no galactic winds fail to reproduce the observed SMDs. In the case of Ursa Minor, the same model as in previous works reproduces the observed distribution very well with no need to modify the main parameters of the model. The model for Draco, on the other hand, is slightly modified. The observed SMD requires a model with a lower supernova type Ia thermalization efficiency ($\eta_{SNeIa}$ = 0.5 instead of $\eta_{SNeIa}$ = 1.0) in order to delay the galactic wind, whereas all the other parameters are kept the same. The model results, compared to observations, strongly suggest that intense and continuous galactic winds play a very important role in the evolution of local dSphs.Comment: 11 pages, 7 figures, accepted for publication in Asttronomy & Astrophysic

The physiological response of Populus tremula x alba leaves to the down-regulation of PIP1 aquaporin gene expression under no water stress.

In order to study the role of PIP1 aquaporins in leaf water and CO2 transport, several lines of PIP1-deficient transgenic Populus tremula x alba were generated using a reverse genetic approach. These transgenic lines displayed no visible developmental or morphological phenotypes when grown under conditions of no water stress. Major photosynthetic parameters were also not affected by PIP1 down regulation. However, low levels of PIP1 expression resulted in greater leaf hydraulic resistance (an increase of 27%), which effectively implicated PIP1 role in water transport. Additionally, the expression level of PIP1 genes in the various transgenic lines was correlated with reductions in mesophyll conductance to CO2 (gm), suggesting that in poplar, these aquaporins influenced membrane permeability to CO2. Overall, although analysis showed that PIP1 genes contributed to the mass transfer of water and CO2 in poplar leaves, their down-regulation did not dramatically impair the physiological needs of this fast growing tree when cultivated under conditions of no stress

Characteristics and dynamics of surfzone transverse finger bars

Patches of transverse finger bars have been identified in the surf zone of Noordwijk beach (Netherlands). They consisted of three to nine elongated accumulations of sand attached to the low-tide shoreline. The bars extended up to 50 m into the inner surf zone, had an oblique orientation with respect to the shore-normal, and were quasiregularly spaced in the alongshore direction.Postprint (published version

High resolution satellite imagery orientation accuracy assessment by leave-one-out method: accuracy index selection and accuracy uncertainty

The Leave-one-out cross-validation (LOOCV) was recently applied to the evaluation of High Resolution Satellite Imagery orientation accuracy and it has proven to be an effective method alternative with respect to the most common Hold-out-validation (HOV), in which ground points are split into two sets, Ground Control Points used for the orientation model estimation and Check Points used for the model accuracy assessment. On the contrary, the LOOCV applied to HRSI implies the iterative application of the orientationmodel using all the known ground points as GCPs except one, different in each iteration, used as a CP. In every iteration the residual between imagery derived coordinates with respect to CP coordinates (prediction error of the model on CP coordinates) is calculated; the overall spatial accuracy achievable from the oriented image may be estimated by computing the usual RMSE or, better, a robust accuracy index like the mAD (median Absolute Deviation) of prediction errors on all the iterations. In this way it is possible to overcome some drawbacks of the HOV: LOOCVis a reliable and robustmethod, not dependent on a particular set of CPs and on possible outliers, and it allows us to use each known ground point both as a GCP and as a CP, capitalising all the available ground information. This is a crucial problem in current situations, when the number of GCPs to be collected must be reduced as much as possible for obvious budget problems. The fundamentalmatter to deal with was to assess howwell LOOCVindexes (mADand RMSE) are able to represent the overall accuracy, that is howmuch they are stable and close to the corresponding HOV RMSE assumed as reference. Anyway, in the first tests the indexes comparison was performed in a qualitative way, neglecting their uncertainty. In this work the analysis has been refined on the basis of Monte Carlo simulations, starting from the actual accuracy of ground points and images coordinates, estimating the desired accuracy indexes (e.g. mAD and RMSE) in several trials, computing their uncertainty (standard deviation) and accounting for them in the comparison. Tests were performed on a QuickBird Basic image implementing an ad hoc procedure within the SISAR software developed by the Geodesy and Geomatics Team at the Sapienza University of Rome. The LOOCV method with accuracy evaluated by mAD seemed promising and useful for practical case