Search results for " Applications"
showing 10 items of 4541 documents
WSN Design and Verification Using On-Board Executable Specifications
2019
The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…
Off-line Programming and simulation for automatic robot control software generation
2007
In this paper an off-line programming approach for welding robots is presented. The approach is based on the integration of a software tool for robot simulation and an user-friendly interface for automatic generation of the control program. The user can graphically arrange the components in a robotic work-cell and simulate the movements and operations of robotic arms before converting motions and operating sequences in controller-specific tasks. This methodology guarantees high level of flexibility of the robotic system when high variety of work-pieces needs to be welded. The approach has been implemented and tested in a real welding work-cell.
Matlab-based interface for the simultaneous acquisition of force measures and Doppler ultrasound muscular images
2012
This paper tackles the design of a graphical user interface (GUI) based on Matlab (MathWorks Inc., MA), a worldwide standard in the processing of biosignals, which allows the acquisition of muscular force signals and images from a ultrasound scanner simultaneously. Thus, it is possible to unify two key magnitudes for analyzing the evolution of muscular injuries: the force exerted by the muscle and section/length of the muscle when such force is exerted. This paper describes the modules developed to finally show its applicability with a case study to analyze the functioning capacity of the shoulder rotator cuff.
pcaExplorer: an R/Bioconductor package for interacting with RNA-seq principal components
2019
AbstractBackgroundPrincipal component analysis (PCA) is frequently useentirely written ind in genomics applications for quality assessment and exploratory analysis in high-dimensional data, such as RNA sequencing (RNA-seq) gene expression assays. Despite the availability of many software packages developed for this purpose, an interactive and comprehensive interface for performing these operations is lacking.ResultsWe developed the pcaExplorer software package to enhance commonly performed analysis steps with an interactive and user-friendly application, which provides state saving as well as the automated creation of reproducible reports. pcaExplorer is implemented in R using the Shiny fra…
Conventional and fuzzy comparisons of large scale land cover products: Application to CORINE, GLC2000, MODIS and GlobCover in Europe
2012
One of the major drawbacks of land cover products is the lack of interoperability among them. Since their development was driven by different national or international initiatives, they were developed for different purposes and hold diverse technical characteristics. Thus, comparison among products and quality monitoring is necessary in assessing their usefulness. This paper provides a methodology to compare global land cover maps that allows for differences in legend definitions among products. Two different approaches were considered for map comparison, a Boolean approach and a new methodology based on fuzzy set theory in which the Land Cover Classification System (LCCS) acted as a genera…
Semantic technologies for industry: From knowledge modeling and integration to intelligent applications
2013
Artificial Intelligence technologies are growingly used within several software systems ranging from Web services to mobile applications. It is by no doubt true that the more AI algorithms and methods are used the more they tend to depart from a pure "AI" spirit and end to refer to the sphere of standard software. In a sense, AI seems strongly connected with ideas, methods and tools that are not (yet) used by the general public. On the contrary, a more realistic view of it would be a rich and pervading set of successful paradigms and approaches. Industry is currently perceiving semantic technologies as a key contribution of AI to innovation. In this paper a survey of current industrial expe…
Probabilistic Self-Localization and Mapping - An Asynchronous Multirate Approach
2008
[EN] In this paper, we present a set of robust and efficient algorithms with O(N) cost for the solution of the Simultaneous Localization And Mapping (SLAM) problem of a mobile robot. First, we introduce a novel object detection method, which is mainly based on multiple line fitting method for landmark detection with regular constrained angles. Second, a line-based pose estimation method is proposed, based on LeastSquares (LS). This method performs the matching of lines, providing the global pose estimation under assumption of known Data-Association. Finally, we extend the FastSLAM (FActored Solution To SLAM) algorithm for mobile robot self-localisation and mapping by considering the asynchr…
Two new sum-of-sinusoids-based methods for the efficient generation of multiple uncorrelated rayleigh fading waveforms
2009
Article from the journal: IEEE Transactions on Wireless Communications Publisher's version: http://dx.doi.org/10.1109/twc.2009.080769 This paper deals with the design of a set of multiple uncorrelated Rayleigh fading waveforms. The Rayleigh fading waveforms are mutually uncorrelated, but each waveform is correlated in time. The waveforms are generated by using the deterministic sum-of-sinusoids (SOS) channel modeling principle. Two new closed-form solutions are presented for the computation of the model parameters. Analytical and numerical results show that the resulting deterministic SOS-based channel simulator fulfills all main requirements imposed by the reference model with given correl…
Robust Resolution-Enhanced Prostate Segmentation in Magnetic Resonance and Ultrasound Images through Convolutional Neural Networks
2021
[EN] Prostate segmentations are required for an ever-increasing number of medical applications, such as image-based lesion detection, fusion-guided biopsy and focal therapies. However, obtaining accurate segmentations is laborious, requires expertise and, even then, the inter-observer variability remains high. In this paper, a robust, accurate and generalizable model for Magnetic Resonance (MR) and three-dimensional (3D) Ultrasound (US) prostate image segmentation is proposed. It uses a densenet-resnet-based Convolutional Neural Network (CNN) combined with techniques such as deep supervision, checkpoint ensembling and Neural Resolution Enhancement. The MR prostate segmentation model was tra…
Quality Control by Artificial Vision
2004
This PDF file contains the editorial “Quality Control by Artificial Vision” for JEI Vol. 13 Issue 03