Steady-state O<Subscript>2</Subscript> and CO<Subscript>2</Subscript> diffusion in carbonated mortars produced with blended cements

The diffusion coefficient \(D_{{{\text{O}}_{2} }}\), the porosity and the pore structure of mortars produced with a Portland cement and a range of blended cements containing limestone powder, microsilica, portlandite or slag were measured in the non-carbonated and the carbonated state. Additionally, the setup for measuring O₂ diffusion was adapted to measure also the CO₂ diffusion of the carbonated mortars. The diffusion coefficient \(D_{{{\text{O}}_{2} }}\) and the total porosity were increased in the mortars containing microsilica and slag, while they were decreased in the other mortars due to carbonation. Invariably, the pore structure became coarser in all samples. The relationship between diffusion coefficients \(D_{{{\text{O}}_{2} }}\) and \(D_{{{\text{CO}}_{2} }}\) in the carbonated mortars was always linear, with \(D_{{{\text{O}}_{2} }}\) systematically higher by factor of 1.37. As this factor broadly agrees with what was found in the scant literature about CO₂ diffusion, it could be used for estimating \(D_{{{\text{CO}}_{2} }}\) of carbonated mortar and concrete based on measurements of O₂ diffusion.     

Cell-protection mechanism through autophagy in HGFs/<Emphasis Type="Italic">S. mitis</Emphasis> co-culture treated with Chitlac-nAg

Silver-based products have been proven to be effective in retarding and preventing bacterial growth since ancient times. In the field of restorative dentistry, the use of silver ions/nanoparticles has been explored to counteract bacterial infections, as silver can destroy bacterial cell walls by reacting with membrane proteins. However, it is also cytotoxic towards eukaryotic cells, which are capable of internalizing nanoparticles. In this work, we investigated the biological effects of Chitlac-nAg, a colloidal system based on a modified chitosan (Chitlac), administered for 24–48?h to a co-culture of primary human gingival fibroblasts and Streptococcus mitis in the presence of saliva, developed to mimic the microenvironment of the oral cavity. We sought to determine its efficiency to combat oral hygiene-related diseases without affecting eukaryotic cells. Cytotoxicity, reactive oxygen species production, apoptosis induction, nanoparticles uptake, and lysosome and autophagosome metabolism were evaluated. In vitro results show that Chitlac-nAg does not exert cytotoxic effects on human gingival fibroblasts, which seem to survive through a homoeostasis mechanism involving autophagy. That suggests that the novel biomaterial Chitlac-nAg could be a promising tool in the field of dentistry.     

Enhancing structural software coverage by incrementally computing branch executability

Structural code coverage criteria have been studied since the early seventies, and now they are well supported by commercial and open-source tools and are commonly embedded in several advanced industrial processes. Most industrial applications still refer to simple criteria, like statement and branch coverage, and consider complex criteria, like modified condition decision coverage, only rarely and often driven by the requirements of certification agencies. The industrial value of structural criteria is limited by the difficulty of achieving high coverage, due to both the complexity of deriving test cases that execute specific uncovered elements and the presence of many infeasible elements in the code. In this paper, we propose a technique that both generates test cases that execute yet uncovered branches and identifies infeasible branches that can be eliminated from the computation of the branch coverage. In this way, we can increase branch coverage to closely approximate full coverage, thus improving its industrial value. The algorithm combines symbolic analysis, abstraction refinement, and a novel technique named coarsening, to execute unexplored branches, identify infeasible ones, and mitigate the state space explosion problem. In the paper, we present the technique and illustrate its effectiveness through a set of experimental results obtained with a prototype implementation.     

Functional Redesign of Mantis 2.0, a Hybrid Leg-Wheel Robot for Surveillance and Inspection

The paper discusses the redesign of the second version of the Mantis hybrid leg-wheel mobile robot, conceived for surveillance and inspection tasks in unstructured indoor and outdoor environments. This small-scale ground mobile robot is characterized by a main body equipped with two front actuated wheels, a passive rear axle and two rotating legs. Motion on flat and even ground is purely wheeled in order to obtain high speed, high energetic efficiency and stable camera vision; only in case of obstacles or ground irregularities the front legs realize a mixed leg-wheel locomotion to increase the robot climbing ability; in particular, the outer profile of the legs, inspired by the praying mantis, is specially designed to climb square steps. The multibody simulations and the experimental tests on the first prototype have shown the effectiveness of the mixed leg-wheel locomotion not only for step climbing, but also on uneven and yielding terrains. Nevertheless, extensive experimental tests have shown that the front wheels may slip in the last phase of step climbing in case of contact with some materials. In order to overcome this problem, the leg design has been modified with the introduction of auxiliary passive wheels, which reduce friction between legs and step upper surface; these wheels are connected to the legs by one-way bearings, in order to rotate only when they are pulled by the front wheels, and remaining locked when they have to push forward the robot. The influence of the auxiliary wheels on the front wheels slippage is investigated by means of theoretical analysis and multibody simulations.     

An overview of vertical handover techniques: Algorithms, protocols and tools

Wireless technologies, under the “Anywhere, Anytime” paradigm, offer users the promise of being always attached to the network. Mobile devices enabled with multiple wireless technologies make possible to maintain seamless connectivity in highly dynamic scenarios such as vehicular networks (VNs), switching from one wireless network to another by using vertical handover techniques (VHO). In this paper we present an overview of VHO techniques, along with the main algorithms, protocols and tools proposed in the literature. In addition we suggest the most appropriate VHO techniques to efficiently communicate in VN environments considering the particular characteristics of this type of networks.     

Automatic eye fixations identification based on analysis of variance and covariance

Eye movement is the simplest and repetitive movement that enables humans to interact with the environment. The common daily activities, such as reading a book or watching television, involve this natural activity, which consists of rapidly shifting our gaze from one region to another. In clinical application, the identification of the main components of eye movement during visual exploration, such as fixations and saccades, is the objective of the analysis of eye movements: however, in patients affected by motor control disorder the identification of fixation is not banal. This work presents a new fixation identification algorithm based on the analysis of variance and covariance: the main idea was to use bivariate statistical analysis to compare variance over x and y to identify fixation. We describe the new algorithm, and we compare it with the common fixations algorithm based on dispersion. To demonstrate the performance of our approach, we tested the algorithm in a group of healthy subjects and patients affected by motor control disorder.