Search results for "computer.programming_language"
showing 10 items of 986 documents
Tribological properties of commercial optical disks estimated from nanoindentation and scratch techniques
2007
Abstract The structure of optical disks is a complex superposition of several layers with different objectives. The most external layer is usually designed with a protective purpose. When the scratch of the substrate occurs, the optical properties of the device decrease inducing a deficiency in the storage or access of data. Nowadays, the latest commercial optical disks exhibit protective coatings made of polymeric materials (copolymers, and polymeric matrix composite materials). The efficiency of these layers depends on a combination of several mechanical properties like hardness and Young's modulus. In this work, a compositional and mechanical study was carried out on four commercial opti…
The contribution of archaeological plant remains in tracing the cultural history of Mediterranean trees: The example of the Roman harbour ofNeapolis
2015
In this paper, we present a detailed record of the plant remains recovered on the palaeo-seafloors of Neapolis harbour, spanning ≈700 years, between the 2nd century BC and the 5th century AD, thus intersecting the entire Roman Imperial Age. The site preserved many cultivated or cultivable plant remains, especially from food related trees. This particular feature provided the opportunity to reconstruct the puzzling history of planting them and the Roman economy, especially with respect to food production, the market and to dietary habits. The evidence suggests that Prunus persica, Castanea sativa, Juglans regia and Pinus pinea were locally grown all along the investigated period, testifying …
The Role of Palermo in the Central Mediterranean: The Evolution of the Harbour and the Circulation of Ceramics (10th–11th centuries)
2016
Palermo in the 10th and the first half of the 11th century was one of the big Mediterranean cities, fully integrated in the dār al-islām and in the area of Fatimid prosperity. This article deals with the role of Palermo in the central Mediterranean, crossing the information coming from the written sources and from the recent archaeological finds. The written sources show that, with the Fatimids, Palermo’s harbour became a built harbour, characterized by imposing defences and fortified structures, which not only had a functional character but were also a representation of power. Furthermore, the written sources reflect the commercial centrality of Palermo, while the study of ceramics allows …
Automated segmentation and description of the internal morphology of human permanent teeth by means of micro-CT
2020
High-resolution micro-computed tomography is a powerful tool to analyze and visualize the internal morphology of human permanent teeth. It is increasingly used for investigation of epidemiological questions to provide the dentist with the necessary information required for successful endodontic treatment. The aim of the present paper was to propose an image processing method to automate parts of the work needed to fully describe the internal morphology of human permanent teeth. One hundred and four human teeth were scanned on a high-resolution micro-CT scanner using an automatic specimen changer. Python code in a Jupyter notebook was used to verify and process the scans, prepare the dataset…
Using Matlab's wavelet toolbox to compare electric signals outputted by microbial fuel cells
2019
Motivation: microbial fuel cells (MFC) represents a wastewater treatment technology with the potential for a relevant electric energy generation. The monitoring of the electric current outputted generates time series of data. It was generated two time series using an experimental setup with a low-cost dual chamber microbial fuel cell treating cassava wastewater and, also, it was used the electric current data from a previously described experiment with this same setup treating cheese whey. All of this, innovatively, according our best knowledge, was studied using power spectral density, multifractal and wavelet coherence analysis. Results are promising and indeed point out this approach as …
Misidentification ofDiphyllobothriumSpecies Related to Global Fish Trade, Europe
2014
To the Editor: Diphyllobothriosis, infection by tapeworms of the genus Diphyllobothrium (Cestoda: Diphyllobothriidea) (1), is a well-known disease of humans. In Europe, infections caused by 3 species of Diphyllobothrium have recently been reported in humans: D. latum is considered to be the principal species infecting persons in Europe (1); 4 cases of D. dendriticum infection and 6 cases of D. nihonkaiense infection have also been reported (2,3). Except for those caused by D. latum, which is autochthonous in northeastern Europe and subalpine lakes, most of the cases in Europe have been imported or caused by consumption of fish imported from areas to which the parasites are endemic (1,3,4). …
Measuring microfinance performance
2015
MFIs are measured according to two dimensions. One is their outreach to poor people, that is, their ability to provide poor families access to financial services. This is the MFIs’ social mission. The other dimension is their financial sustainability, that is, their ability to pay their employees, lenders, and other suppliers, in short, their ability to produce a profit from their operations. We set out the main microfinance measures and confirm earlier findings that profitability is rather weak in microfinance, and that operational costs constitute a large part of the total costs. We argue that researchers should put more efforts into identifying the MFI’s cost drivers because social outre…
Simple Fingerprint Minutiae Extraction Algorithm Using Crossing Number On Valley Structure
2007
Most of the existing fingerprint extraction techniques currently available are based on ridge structure. The ridge usually has thicker structure than the valley, so that more processing time is needed to extract the ridge than extracting the valley. Taking the advantage of the thin structure of the valley, we proposed an algorithm that reduces the time needed for minutiae extraction. The algorithm was developed in Matlab environment using fingerprint images from FVC2004. In order to show the performance of the algorithm, numerical results are presented.
Verification of JADE Agents Using ATL Model Checking
2015
It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…