In critical domains, the acceptance of a given intelligent monitoring system owes much to the validation process. Formal methods for validating those systems are frequently required. However there is not a generally accepted methodology to perform the task. In this paper the authors present the methodology and results obtained from the validation process of PATRICIA, an intelligent monitoring s...

Non-repudiation protocols have an important role in many areas where secured transactions with proofs of participation are necessary. Formal methods are clever and without error, therefore using them for verifying such protocols is crucial. In this purpose, we show how to partially represent non-repudiation as a combination of authentications on the Fair Zhou-Gollmann protocol. After discussing...

background :delayed :::::union:::::, non:::::union:::::, and mechanical failure is still problems encountered in limb salvage surgery (lss) using extracorporeal irradiation (eci). this study aimed to determine whether bone marrow mesenchymal stem cells (msc) and recombinant human bone morphogenetic protein-2 (rhbmp-2) improve host-graft :::::union::::: after osteotomy and also increase its mech...

it is a well-known result in both environmental economics and natural resources managementthat you will not be able to manage what you are not able to measure. this paper presents a dichotomous-choicecontingent valuation survey that analyses individuals’ preferences for the implementation of a rural developmentprogram (rdp) that fosters the provision of non-commodity outputs in rural areas in s...

Prediction of mechanical properties of carbon nanotube-based composite is one of the important issues which should be addressed reasonably. A proper modeling approach is a multi-scale technique starting from nano scale and lasting to macro scale passing in-between scales of micro and meso. The main goal of this research is to develop a multi-scale modeling approach to extract mechanical propert...

background & aims: endotracheal intubation is commonly performed in the intensive care unit. many international guidelines for difficult intubation management are available and the intensivists think that any endotracheal intubation in icu is potentially difficult with several complications. materials & methods: after obtaining ethical approval, this descriptive and analytical study was conduct...

The ball milling of powders is a non-equilibrium technique (similar to rapid solidification processes) that can be used for production and structural modification of materials. Carbon nanotubes (CNTs) are relatively new materials with excellent combination of properties. They are one of the advanced reinforcement materials for engineering composites. Besides the polymer and ceramic matrices, in...

in this study, potential application of image texture analysis as a non-destructive method for automation and prediction of mechanical properties of carrot chips was investigated. samples were fried at different processing conditions and moisture content, colour parameters (i.e. l*, a*, b* and e) and mechanical properties (i.e. hardness and apparent modulus) were determined. hardness and appar...