A Quantitative Study of Two Attacks

We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools

Modelling biochemical pathways through enhanced π-calculus

AbstractWe use the π-calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we present a reduction semantics for the π-calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal definitions presented in the literature. We also extend our semantics to model biological compartments. Then, we show the applicability of our proposal on a couple of biological examples

Endothelialization of a New Dacron Graft in an Experimental Model: Light Microscopy, Electron Microscopy and Immunocytochemistry

Two types of synthetic vascular grafts, Dacron Triaxial and Dacron Gelseal Triaxial, were implanted into both the common carotids of sheep. The animals were sacrificed 1, 2, 8, and 16 weeks after surgery. Multiple specimens, obtained from grafts and anastomoses, were studied by light microscopy, transmission and scanning electron microscopy. A parallel immunocytochemical analysis was performed on some specimens. Dacron Triaxial grafts failed to develop a complete neointimal coverage. Myofibroblasts and fibroblasts were the dominant cells in such synthetic graft. Moreover, focal areas of stripping, platelet deposition, and thrombosis were observed at 8 and 16 weeks. In contrast, a stable endothelial coverage developed on the Gelseal Triaxial grafts after 16 weeks

Healing of Prosthetic Arterial Grafts

Numerous synthetic biomaterials have been developed as vascular substitutes. In vitro, ex vivo and in vivo studies have demonstrated that in animals, selected materials, i.e., Dacron and ePTFE (expanded polytetrafluoroethylene) grafts, are successfully incorporated in both the large and the small caliber host arteries through a process which is generally referred to as graft healing. Morphologically, this process consists of a series of complex events including fibrin deposition and degradation, monocyte-macrophage recruitment and flow-oriented cell-layer generation, this last event being the complete endothelialization of the arterial substitute. In contrast to experimental animals, the flow surface of synthetic vascular grafts remains unhealed in humans, particularly in the small caliber conduits. Healing in man consists of graft incorporation by the perigraft fibrous tissue response with a surface covered by more or less compacted, cross-linked fibrin. It is therefore obvious that: i) marked differences in graft healing exist between animals and man; and ii) the usual mechanisms of graft endothelialization are partially ineffective in man. In order to guarantee the patency of synthetic vascular grafts for human small artery bypass, new strategies and approaches have recently been attempted. In particular, the endothelial cell seeding approach has been successfully accomplished in animals and is being experimented in human clinical studies. The problems and results of this biological approach are outlined in this paper

Tempeh flour as a substitute for soybean flour in coconut cookies.

The objective of this study was to prepare roasted and lyophilized tempeh flour with soybean cultivar BRS 267 to apply them in the formulation of coconut biscuits. The cookies produced with whole soy flour and mixed flour of soybean and tempeh were evaluated for proximate composition, fatty acid profile, and isoflavone aglycones in order to verify the effects of inoculation with the fungus Rhizopus oligosporus and those of the drying processes of roasting and lyophilization on the chemical characteristics of the final product. Sensory acceptance and purchase intention of the formulated products were also evaluated. The results indicate the maintenance of linolenic acid, which is important in the prevention of coronary diseases, and an increase in the aglycones levels when the tempeh flour was used. Lipids and proteins showed differences, and the sensory analyses demonstrated similarity between the cookies with satisfactory scores for aroma, flavor, texture, and overall acceptability for both samples. when compared to the control. Purchase intent was also positive for the lyophilized and toasted tempeh flours, thus enabling the use of the roasting process as a simple drying method, for processing tempeh and obtaining a flour rich in proteins and aglycones that can be used as a partial substitute for soy flour in cookies and other bakery products

A fully automated pipeline for a robust conjunctival hyperemia estimation

Purpose: Many semi-automated and fully-automated approaches have been proposed in literature to improve the objectivity of the estimation of conjunctival hyperemia, based on image processing analysis of eyes’ photographs. The purpose is to improve its evaluation using faster fully-automated systems and independent by the human subjectivity. Methods: In this work, we introduce a fully-automated analysis of the redness grading scales able to completely automatize the clinical procedure, starting from the acquired image to the redness estimation. In particular, we introduce a neural network model for the conjunctival segmentation followed by an image processing pipeline for the vessels network segmentation. From these steps, we extract some features already known in literature and whose correlation with the conjunctival redness has already been proved. Lastly, we implemented a predictive model for the conjunctival hyperemia using these features. Results: In this work, we used a dataset of images acquired during clinical practice.We trained a neural network model for the conjunctival segmentation, obtaining an average accuracy of 0.94 and a corresponding IoU score of 0.88 on a test set of images. The set of features extracted on these ROIs is able to correctly predict the Efron scale values with a Spearman’s correlation coefficient of 0.701 on a set of not previously used samples. Conclusions: The robustness of our pipeline confirms its possible usage in a clinical practice as a viable decision support system for the ophthalmologists

Development of a Rotation Device for Microvascular Endothelial Cell Seeding

A rotation device (RD) specifically designed to achieve sterile endothelial cell (EC) seeding of vascular grafts has been developed. The basic characteristics of the RD include: small dimensions, fully autoclavable components, and perfectly sealed graft holders. These features make it possible to maintain sterility during all the steps of EC seeding. This was documented by negativity of all bacteriological assays performed . Moreover, the RD can simultaneously support three vascular grafts with different lengths (20, 40, and 60 cm) and diameters (4-8 mm). EC seeding is performed in the climatized chamber (37 °C; 5 % C02) with constant rotation (0.1 -3 rpm). The rotation cycle can be completed automatically. The practical efficacy of the RD was investigated by seeding 2 x 105/cm2 of human microvascular EC on 20 cm length, 4 mm internal diameter (ID) fibronectin- coated polytetrafluoroethylene (ePTFE) grafts for 24 and 48 hours respectively . Further, the effect of a highly viscous plasma expander, i.e., haemagel, on cell retention was also evaluated. Results were not as favorable as expected. However, it should be emphasized that after 48 hours of eel! incubation by using the RD, 42 % of the initially seeded EC were still present and approximately 15 % were fully spread over the graft surface. Moreover, the 10 minute perfusion with haemagel did not decrease the number of adherent microvascular EC