7,635 research outputs found
Towards formal models and languages for verifiable Multi-Robot Systems
Incorrect operations of a Multi-Robot System (MRS) may not only lead to
unsatisfactory results, but can also cause economic losses and threats to
safety. These threats may not always be apparent, since they may arise as
unforeseen consequences of the interactions between elements of the system.
This call for tools and techniques that can help in providing guarantees about
MRSs behaviour. We think that, whenever possible, these guarantees should be
backed up by formal proofs to complement traditional approaches based on
testing and simulation.
We believe that tailored linguistic support to specify MRSs is a major step
towards this goal. In particular, reducing the gap between typical features of
an MRS and the level of abstraction of the linguistic primitives would simplify
both the specification of these systems and the verification of their
properties. In this work, we review different agent-oriented languages and
their features; we then consider a selection of case studies of interest and
implement them useing the surveyed languages. We also evaluate and compare
effectiveness of the proposed solution, considering, in particular, easiness of
expressing non-trivial behaviour.Comment: Changed formattin
Blind user detection in doubly-dispersive DS/CDMA channels
In this work, we consider the problem of detecting the presence of a new user
in a direct-sequence/code-division-multiple-access (DS/CDMA) system with a
doubly-dispersive fading channel, and we propose a novel blind detection
strategy which only requires knowledge of the spreading code of the user to be
detected, but no prior information as to the time-varying channel impulse
response and the structure of the multiaccess interference. The proposed
detector has a bounded constant false alarm rate (CFAR) under the design
assumptions, while providing satisfactory detection performance even in the
presence of strong cochannel interference and high user mobility.Comment: Accepted for publication on IEEE Transactions on Signal Processin
A Dual Hybrid Virtual Element Method for Plane Elasticity Problems
A dual hybrid Virtual Element scheme for plane linear elastic problems is
presented and analysed. In particular, stability and convergence results have
been established. The method, which is first order convergent, has been
numerically tested on two benchmarks with closed form solution, and on a
typical microelectromechanical system. The numerical outcomes have proved that
the dual hybrid scheme represents a valid alternative to the more classical
low-order displacement-based Virtual Element Method
Third molar maturity index by measurements of open apices in a Libyan sample of living subjects
In most countries, forensic age estimation in living subjects has become increasingly important in the last few years. In addition, as the age of legal majority ranges from 14 to 18 in many countries, and in Libya it is 18 years, radiographic assessment of the degree of third molar development is essential for forensic age estimation of adolescents and young adults. The aim of this paper is to assess the accuracy of the cut-off value of 0.08, by measurements of third molar index (I3M), in determining if a subject is adult or not in Libyan population. Digital panoramic radiographs of 307 healthy subjects (163 girls, 144 boys), aged between 14 and 22, were analysed. The I3M, the age and the sex of the subjects were used as predictive variable for age estimation. Using a cut-off of 0.08, the sensitivity of the test for boys was 90.9% and the specificity 100%. The proportion of correctly classified individuals was 95.1% (95% CI: 91.5–98.7%). The sensitivity for girls was 90.6% and the specificity 100%. The proportion of correctly classified individuals was 94.5% (95% CI: 90.9–98.1%). Estimated post-test probability in boys and girls was 100%. Further analyses, performed using a cut-off of 0.09, do not affect the specificity (100%) while they improve the sensitivity for both boys and girls
Accuracy and precision of an intraoral scanner in complex prosthetic rehabilitations: an in vitro study
The main purpose of this study is to measure the accuracy and the precision of the intraoral
optical scanner CS3500® (Carestream Dental LLC, Atlanta, USA) in complex clinical situations as
full arch rehabilitations on impl
ants.
50 scans of the acrylic resin model were performed by using CS3500® (Carestream Dental
LLC, Atlanta, USA) scanner. Each scan was compared with the virtual model derived from scanning
with the laboratory scanner Dscan3® (Enhanced Geometry Soluti
on, Bologna, Italy) to measure a
possible misalignment.
The alignment error was found to be 79,6 (
±
12,87)
m. The measurement was taken at the
level of 2 distal scan
-
abutments. The scanner's precision ranges from 24 to 52
m , depending on
the dist
ance between scan
-
abutment.
CS3500® (Carestream Dental LLC, Atlanta, USA) intraoral scanner has detected a valid device
in the execution of complex rehabilitations on implants. His accuracy and precision values fall within
the range established in li
terature to define acceptable the prosthetic fitting on full arch implant
rehabilitation
Multiparametric prostate MRI for prostate cancer diagnosis: Is this the beginning of a new era?
Strong unique continuation and local asymptotics at the boundary for fractional elliptic equations
We study local asymptotics of solutions to fractional elliptic equations at
boundary points, under some outer homogeneous Dirichlet boundary condition. Our
analysis is based on a blow-up procedure which involves some Almgren type
monotonicity formulae and provides a classification of all possible homogeneity
degrees of limiting entire profiles. As a consequence, we establish a strong
unique continuation principle from boundary points.Comment: 40 pages, 2 figure
Mating behaviour and dual mode communication of Pear Psylla CACOPSYLLA PYRI
Cacopsylla pyri (L.) (Hemiptera, Psyllidae) is one of the most important pests of European pear, and its management generally depends on the use
of chemical insecticides, but C. pyri outbreaks are sometime observed. Ecological control strategies should be desirable and the knowledge of mating behavior is crucial to develop new ones. A multi-approaches research aimed to acquire knowledges about C. pyri mate finding. Electroantennographic (EAG) analyses and olfactometric bioassays were used to evaluate the activity of intraspecific semiochemicals on C. pyri. The EAG amplitudes revealed that volatile compounds, present in female cuticular extracts, elicited dose-dependent responses in males, indicating that these compounds were able to stimulate the male olfactory system. In behavioral bioassays, living females and female cuticular extracts, attracted summerform males in a highly significant manner. Gas chromatography-mass spectrometry revealed that 13-methylheptacosane, 11,13-dimethylheptacosane, 2-methylheptacosane and 3-methylheptacosane were found in larger amounts in female extracts than in male ones, which suggests their role in male attraction. In addition, a laser vibrometer device was used to detect a male-female substrate-born vibrations pattern during pre-copulatory period. The female vibrational signal was recorded as mp3 and conveyed, in loop using a minishaker, on pear shoots with C. pyri virgin pairs to interfere with the mating by masking the natural communications
- …