Live video streaming service with pay-as-you-use model on Ethereum Blockchain and InterPlanetary file system

Wireless Networks - In centralized video streaming platforms, the platform owner, rather than the content producer, controls most of the content uploaded on the centralized video...     

Portfolio Selection Using Multivariate Semiparametric Estimators and a Copula PCA-Based Approach

Computational Economics - This paper investigates the implications for portfolio theory of using multivariate semiparametric estimators and a copula-based approach, especially when the number of...     

Augmented photoelectrochemical response of CdS/ZnS quantum dots sensitized hematite photoelectrode

A visible light active and stable photoelectrode has been developed by depositing a passivating layer of ZnS QDs on CdS QDs sensitized hematite photoelectrode (Hematite‐CdS/ZnS) for PEC generation of hydrogen. Photoelectrochemical properties, in terms of stability and efficiency, have been investigated on the various hematite photoelectrodes sensitized with CdS QDs and CdS/ZnS QDs by varying number of SILAR cycles. I–V characteristics show that two layers of ZnS QDs deposited over three layers of CdS could enhance PEC response of hematite and efficiency by a factor of 3 and 11 respectively. Chronoamperometry measurement ensures that after adding a layer of ZnS QDs, CdS sensitized hematite film turns out to be a stable photoelectrode in the electrolyte. Prepared photoelectrodes have been characterized by XRD, SEM, HRTEM and UV–Vis spectrophotometer for various structural, morphological and optical properties to analyze PEC results. Mott–Schottky analysis and incident photon to current conversion efficiency (IPCE) measurements of sensitized hematite photoelectrode supported the improved PEC response of CdS/ZnS QDs sensitized hematite thin films. Copyright © 2016 John Wiley & Sons, Ltd.     

Effect of sintering on the microstructure and mechanical properties of alloy titanium-wollastonite composite fabricated by powder injection moulding process

Composite biomaterials are in high demand in the medical field of today. The combination of bioactive wollastonite (WA) glass ceramic with the biocompatibility of alloy titanium (Ti6Al4V) could be a good candidate for implant applications. The rheological properties of Ti6Al4V/WA feedstock show a pseudoplastic behaviour with low activation energy. The feedstock was successfully injected as a green part with no defects. The green part was solvent debound for 6?h in heptane and thermal debound in an argon environment for 1?h. The brown part was successfully sintered at 1300?°C for 3?h with 5?°C/min heating and cooling rates. The average sintered density was 4.12?g/cm³; which is 97.5% from the theoretical density. The highest Young's modulus obtained was 18.10?GPa; which is in the range of human bone strength. EDX analysis shows that by increasing sintering temperature, the level of oxygen decreased. Cell viability test shown an absorbance increased with days increasing indicated that the cellular were proliferated on the composite Ti6Al4V/WA composite which also proved that the composite was non-toxic. This indicates that the Ti6Al4V/WA composite is suitable for bone implant applications.     

Formalizing a hierarchical file system

An abstract file system is defined here as a partial function from (absolute) paths to data. Such a file system determines the set of valid paths. It allows the file system to be read and written at a valid path, and it allows the system to be modified by the Unix operations for creation, removal, and moving of files and directories. We present abstract definitions (axioms) for these operations. This specification is refined towards a pointer implementation. The challenge is to have a natural abstraction function from the implementation to the specification, to define operations on the concrete store that behave exactly in the same way as the corresponding functions on the abstract store, and to prove these facts. To mitigate the problems attached to partial functions, we do this in two steps: first a refinement towards a pointer implementation with total functions, followed by one that allows partial functions. These two refinements are proved correct by means of a number of invariants. Indeed, the insights gained consist, on the one hand, of the invariants of the pointer implementation that are needed for the refinement functions, and on the other hand of the precise enabling conditions of the operations on the different levels of abstraction. Each of the three specification levels is enriched with a permission system for reading, writing, or executing, and the refinement relations between these permission systems are explored. Files and directories are distinguished from the outset, but this rarely affects our part of the specifications. All results have been verified with the proof assistant PVS, in particular, that the invariants are preserved by the operations, and that, where the invariants hold, the operations commute with the refinement functions.     

A rule-based expert system for earthquake prediction

Earthquake is a natural disaster which causes extensive damage as well as the death of thousands of people. Earthquake professionals for many decades have recognized the benefits to society from reliable earthquake predictions. Techniques like: mathematical modelling, hydrology analysis, ionosphere analysis and even animal responses have been used to forecast a quake. Most of these techniques rely on certain precursors like, stress or seismic activity. Data mining techniques can also be used for prediction of this natural hazard. Data mining consists of evolving set of techniques such as association rule mining that can be used to extract valuable information and knowledge from massive volumes of data. The aim of this study is to predict a subsequent earthquake from the data of the previous earthquake. This is achieved by applying association rule mining on earthquake data from 1979 to 2012. These associations are polished using predicate-logic techniques to draw stimulating production-rules to be used with a rule-based expert system. Prediction process is done by an expert system, which takes only current earthquake attributes to predict a subsequent earthquake. The rules generated for predicting the earthquake are mathematically validated as well as tested on real life earthquake data. Results from our study show that the proposed rule-based expert system is able to detect 100 % of earthquakes which actually occurred within 15 hours at-most within a defined range, depth and location. This work solely relies on previous earthquake data for predicting the next.