Search results for "image processing"
showing 10 items of 3285 documents
Benchmarking Saliency Detection Methods on Multimodal Image Data
2018
Saliency detecmage processing. Most of the work is adapted to the specific application and available dataset. The present work is about a comparative analysis of saliency detection for multimodal images dataset. There were many researches on the detection of saliency on several types of images, such as multispectral, natural, 3D and so on. This work presents a first focused study on saliency detection on multimodal images. Our database was extracted from acquisitions on cultural heritage wall paintings that contain four modalities UV, IR, Visible and fluorescence. In this paper, the analysis has been performed for many methods on saliency detection. We evaluate the performance of each metho…
An Embedded Solution for Multispectral Palmprint Recognition
2018
Palmprint based identification has attracted much attention in the past decades. In some real-life applications, portable personal authentication systems with high accuracy and speed efficiency are required. This paper presents an embedded palmprint recognition solution based on the multispectral image modality. We first develop an effective recognition algorithm by using partial least squares regression, then a FPGA prototype is implemented and optimized through high-level synthesis technique. The evaluation experiments demonstrate that the proposed system can achieve a higher recognition rate at a lower running cost comparing to the reference implementations.
Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther
2016
Scyther [1] is designed to check the security and vulnerabilities of security protocols. In this paper, we use Scyther to analyze two discrete logarithm problem (DLP) based group authentication protocols proposed in [2]. These two protocols are claimed to satisfy several security requirements, but only part of them have been checked because of the properties and limitations of Scyther. Some positive results have been gained and show that the protocols provide mutual authentication and implicit key authentication and are secure against impersonation attack. An important innovation in this paper is that we have extended the expressing ability of Scyther by giving some reasonable assumption du…
Survey of Formal Verification Methods for Smart Contracts on Blockchain
2019
Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Extending and validating gestUI using technical action research
2017
gestUI is a model-driven method with tool support to define custom gestures and to include gesture-based interaction in existing user software system interfaces. So far, gestUI had been limited to the definition of the same gesture catalogue for all users of the software system. In this paper, we extend gestUI to permit individual users to define their own custom gesture catalogue and redefine some custom gestures in case of difficulty in using or remembering them. After extending gestUI, we applied technical action research from the FP7 CaaS project's Capability Design Tool with the aim of assessing its acceptance in an industrial setting. We also analysed its perceived ease-of-use and use…
Data Quality Model-based Testing of Information Systems: the Use-case of E-scooters
2020
The paper proposes a data quality model-based testing methodology aimed at improving testing methodology of information systems (IS) using previously proposed data quality model. The solution supposes creation of a description of the data to be processed by IS and the data quality requirements used for the development of the tests, followed by performing an automated test of the system on the generated tests verifying the correctness of data to be entered and stored in the database. The generation of tests for all possible data quality conditions creates a complete set of tests that verify the operation of the IS under all possible data quality conditions. The proposed solution is demonstra…
Detecting global and local hippocampal shape changes in Alzheimer's disease using statistical shape models.
2012
Item does not contain fulltext The hippocampus is affected at an early stage in the development of Alzheimer's disease (AD). With the use of structural magnetic resonance (MR) imaging, we can investigate the effect of AD on the morphology of the hippocampus. The hippocampal shape variations among a population can be usually described using statistical shape models (SSMs). Conventional SSMs model the modes of variations among the population via principal component analysis (PCA). Although these modes are representative of variations within the training data, they are not necessarily discriminative on labeled data or relevant to the differences between the subpopulations. We use the shape des…
Formation, TEM study and 3D reconstruction of the human erythrocyte peroxiredoxin-2 dodecahedral higher-order assembly.
2004
The production of a higher-order assembly of peroxiredoxin-2 (Prx-2) from human erythrocytes has been achieved during specimen preparation on holey carbon support films, in the presence of ammonium molybdate and polyethylene glycol. TEM study suggested that this assembly is a regular dodecahedron, containing 12 Prx-2 decamers (Mr 2.62 MDa, external diameter approximately 20 nm). This interpretation has been supported by production of a approximately 1.6 nm 3D reconstruction from the negative stain TEM data, with automated docking of the available X-ray data of the Prx-2 decamer. Comparison with other known protein dodecahedral and viral icosahedral structures indicates that this arrangement…
Nautilus pompilius Hemocyanin: 9 Å Cryo-EM Structure and Molecular Model Reveal the Subunit Pathway and the Interfaces between the 70 Functional Units
2007
Hemocyanins are giant extracellular oxygen carriers in the hemolymph of many molluscs. Nautilus pompilius (Cephalopoda) hemocyanin is a cylindrical decamer of a 350 kDa polypeptide subunit that in turn is a "pearl-chain" of seven different functional units (FU-a to FU-g). Each globular FU has a binuclear copper centre that reversibly binds one O(2) molecule, and the 70-FU decamer is a highly allosteric protein. Its primary structure and an 11 A cryo-electron microscopy (cryo-EM) structure have recently been determined, and the crystal structures of two related FU types are available in the databanks. However, in molluscan hemocyanin, the precise subunit pathway within the decamer, the inter…