The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Observational equivalence is a powerful means for formulating the security properties of cryptographic protocols. However suffering from the infinite quantifications over contexts, its proof becomes notoriously troublesome. This paper addresses the problem with a symbolic technique. We propose a symbolic bisimulation for spi calculus based on an environmental sensitive label transition system semantics,...
High-temperature (320°C) sputtering combined with plasma oxidation was employed to form Ta2O5/TaOx bi-layer devices. For comparison, Pt/TaOx/Pt structures, where TaOx layers were reactively sputtered at room temperature and 320°C, respectively, were fabricated. No resistive switching was observed for the devices where TaOx was deposited at room temperature, while a few switching cycles were observed...
Enough Roff/Ron ratio is important for RRAM application. In this study, a Ta2O5-α/TaOy/TaOx tri-layer structure device was fabricated by reactive sputtering and plasma oxidation and a Ta2O5-α/TaOx bi-layer structure device was also fabricated for comparison. Resistive switching characteristics of both types of devices were investigated under different compliance current. Both types of devices revealed...
An improved graph-based text similarity (GBTS) algorithm which based on original GBTS is illustrated in this paper. A text is mapped into a graph which consists of terms as its nodes and term sequences as its undirected edges. The Maximum Common Subgraph (MCS) of two graphs is useful for analyzing their similarity. What's more, the similarity of two texts is divided into two parts: nodes similarity...
The core point of each fingerprint is unique, with abundant information. While core point does not exist, such as the arch class fingerprint, use pseudo-core point instead. Therefore, start with core point, each minutia is defined by the topological relationship which consisted of its neighbor minutiae. Then compare each minutia recursively outward. The proposed approach makes full use of center area...
Microcredit institutions (MCI) are most fundamental channels or ways through which the private capital enters the financial field. MCI supplies an effective financial service for rural micro-enterprises and farmers. Based on the analysis of the environment and risk of MCI, the paper presents approaches for MCI in risk management.
Shape of Shui nationality characters is similar to that of Oracle and Jinwen. In order to work out the problems of how to code hieroglyph, a coding method based on stroke shape for Shui Nationality characters is proposed. The shapes of 467 Shui Nationality characters in the Common Shui Script Dictionary are analyzed, and seven basic strokes are extracted to consist of main Shui characters. Through...
An efficient, very simple and new approach for real time detection of R-wave is described in this paper, which integrates histogram method and difference method with low time complexity, at the same time, the method has quite good result even when ECGs are tilted due to respiration and in the presence of power line oscillation. Experiments illustrate that this method is so robust and efficient that...
This paper presents a revised method for keyword search from handwritten digital ink in comparison with the previous system. We adopt a search method using noise reduction. Experiments on digital ink databases show that the revised method typically improves the systempsilas overall accuracy (f-measure) from 0.653 to 0.891.
Because of big SVG document storing spatial data in WebGis, the searching by attribute is low efficiency and need the high quality hardware in the client. In order to solve the two problems, by making use of the rules mapping DTD of SVG document to relation schema extended for being fitted for SVG document, we complete storing SVG document in object-relational database. Finally, we realized management...
In this paper, we first propose a computational model. Then on the basis of a virtual peer-to-peer knowledge network constructed, we investigate how the knowledge energies of agents with different structural characteristics evolve and how diverse connecting mechanisms influence the evolution of the knowledge energy of the focal network. The simulation results indicate that (1) agents with high brokerage...
In this paper, we first propose a computational model. Then on the basis of two virtual innovation networks constructed, we investigate how diverse connecting mechanisms between network A and B differentially influence the co- evolution of the knowledge levels of both networks. The simulation results indicate that knowledge diffusion through different innovation networks seems to be affected significantly...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.