Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the flourishing of security threats, the distribution of streamed data must be equipped with sufficient security guarantees. To this aim, some architectures have been proposed, to supply the distribution of the stream with guarantees of, e.g., authenticity, integrity, and confidentiality of the digital contents. This paper shows a formal capability of capturing some features of secure multicast protocols. In particular, both the modeling and the analysis of some case studies are shown, starting from basic schemes for signing digital streams, passing through protocols dealing with packet loss and time-synchronization requirements, concluding with a secure distribution of a secret key. A process-algebraic framework will be exploited, equipped with schemata for analysing security properties and compositional principles for evaluating if a property is satisfied over a system with more than two components.     

Simplified analytical models for compressed concrete columns confined by FRP and FRCM system

In order to consider the response of concrete columns confined by FRP and FRCM system, proper models have to be formulated. In this context the present paper shows a generalized criterion for the determination of the increase in strength, in ductility and in dissipated energy for varying corner radius ratio of the cross section and fiber volumetric ratio. The procedure is based on the best fitting of several experimental data and unlike the usual empirical approaches available in the literature, the proposed technique relates the confinement effectiveness to a single parameter representative of the relative stiffness between the original concrete core and the reinforcement system. Furthermore, the proposed analytical models overcomes the limit of many empirical or semi-empirical models given in the literature that are applicable only to specific cases. A comparison with same available models confirm the reliability of the proposed procedure.     

Sorafenib delivery nanoplatform based on superparamagnetic iron oxide nanoparticles magnetically targets hepatocellular carcinoma

Currently,sorafenib is the only systemic therapy capable of increasing overall survival of hepatocellular carcinoma patients.Unfortunately,its side effects,particularly its overall toxicity,limit the therapeutic response that can be achieved.Superparamagnetic iron oxide nanoparticles (SPIONs) are very attractive for drug delivery because they can be targeted to specific sites in the body through application of a magnetic field,thus improving intratumoral accumulation and reducing adverse effects.Here,nanoformulations based on polyethylene glycol modified phospholipid micelles,loaded with both SPIONs and sorafenib,were successfully prepared and thoroughly investigated by complementary techniques.This nanovector system provided effective drug delivery,had an average hydrodynamic diameter of about 125 nm,had good stability in aqueous medium,and allowed controlled drug loading.Magnetic analysis allowed accurate determination of the amount of SPIONs embedded in each micelle.An in vitro system was designed to test whether the SPION micelles can be efficiently held using a magnetic field under typical flow conditions found in the human liver.Human hepatocellular carcinoma (HepG2) cells were selected as an in vitro system to evaluate tumor cell targeting efficacy of the superparamagnetic micelles loaded with sorafenib.These experiments demonstrated that this delivery platform is able to enhance sorafenib's antitumor effectiveness by magnetic targeting.The magnetic nanovectors described here represent promising candidates for targeting specific hepatic tumor sites,where selective release of sorafenib can improve its efficacy and safety profile.     

Solvent vapor treatment controls surface wettability in PMMA femtosecond-laser-ablated microchannels

A solvent vapor treatment was applied to femtosecond-laser-ablated microchannels in PMMA to selectively restore the original hydrophilic wetting behavior of the pristine surface. The hydrophobic surface of the microchannels from the submicron porosity induced by ablation becomes smoother and more transparent after the treatment. This simple and low-cost method, together with suitable masking, can produce wettability patterns that may be exploited to develop passive microfluidic elements such as valves and mixers.     

Microwave‐assisted polymerization: Inert addition and surface coating of superabsorbent polymer for improved physical properties

Two different polymerization techniques, microwave‐assisted polymerization and free radical solution polymerization, were utilized in the syntheses of superabsorbent polymers with varying amounts of acrylic acid (31–50%). Degrees of neutralization were in the range of 68–80 mol %, and clay level was varied between 0 and 5%. The base polymer produced with microwave‐assisted polymerization had higher absorbency under low load (0.3 psi) than those with the free radical solution polymerization. To improve its absorbency under higher loads (0.6 and 0.9 psi), the surface coating step was implemented by using ethylene glycol diglycidyl ether as a surface crosslinking agent. Properties such as capacity, permeability, and absorbency under different loads were tested in 0.9% sodium chloride solution for the base and the surface‐coated polymers. In addition, extractables and residual acrylic acid were measured to determine the reaction's efficiency. In conclusion, surface coating improved polymer properties, and the incorporation of clay imparted permeability to the polymer. © 2016 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43990.     

Degradation and stabilization of poly(3-hexylthiophene) thin films for photovoltaic applications

Polymer-based solar cells (PSC) represent a promising technology in the field of photovoltaics, although they still suffer from poor environmental stability. Poly(3-hexylthiophene) (P3HT) is one of the most commonly employed electron-donor materials for the preparation of the photo-active layer of PSC and it is known to undergo degradation when exposed to light. In this work, the degradation of P3HT was studied by irradiating polymer films by means of simulated sunlight. The results of this study highlighted a remarkable instability of P3HT. Substantial modifications of the infrared as well as of the UV–Vis spectra of the polymer were reported and a degradation pathway was suggested, in agreement with recent literature results. In order to stabilize the structure, two additives were evaluated namely a standard Hindered Amine Light Stabilizer (HALS) and Multi-Walled Carbon Nanotubes (MWCNT). The addition of MWCNT appeared to significantly reduce the rate of degradation.     

N-acryloyl–N′-phenylpiperazine as curing activator of unsaturated resins

N-acryloyl–N′-phenylpiperazine and three of its homopolymers of different molecular weight are tested as low toxicity redox activators in the BPO curing of unsaturated polyester resins. Gel times and other time and temperature parameters drawn from standard exothermal curves are determined with two kinds of resin, at different bath temperatures and amounts of activator. The reciprocal of gel time follows a kinetic equation with average order 0.85 with respect to the activator, and an activation energy of 19 kcal/mol. With polymeric activators it is a simple decreasing exponential function of intrinsic viscosity. Correlations are observed for other parameters relative to the second, faster step of the curing process, in general less sensitive to the mentioned variables. The crosslinked resins show mechanical properties similar to those obtainable with dimethylaniline as activator.     

Piecewise empirical model (PEM) of resistive memory for pulsed analog and neuromorphic applications

With the end of Dennard scaling and the ever-increasing need for more efficient, faster computation, resistive switching devices (ReRAM), often referred to as memristors, are a promising candidate for next generation computer hardware. These devices show particular promise for use in an analog neuromorphic computing accelerator as they can be tuned to multiple states and be updated like the weights in neuromorphic algorithms. Modeling a ReRAM-based neuromorphic computing accelerator requires a compact model capable of correctly simulating the small weight update behavior associated with neuromorphic training. These small updates have a nonlinear dependence on the initial state, which has a significant impact on neural network training. Consequently, we propose the piecewise empirical model (PEM), an empirically derived general purpose compact model that can accurately capture the nonlinearity of an arbitrary two-terminal device to match pulse measurements important for neuromorphic computing applications. By defining the state of the device to be proportional to its current, the model parameters can be extracted from a series of voltages pulses that mimic the behavior of a device in an analog neuromorphic computing accelerator. This allows for a general, accurate, and intuitive compact circuit model that is applicable to different resistance-switching device technologies. In this work, we explain the details of the model, implement the model in the circuit simulator Xyce, and give an example of its usage to model a specific \(\hbox {Ta}/\hbox {TaO}_{\mathrm{x}}\) device.     

New diketopyrrolopyrrole based D–A–D π-conjugated molecules: Synthesis,optical, electrochemical,morphological and photovoltaic properties

Two solution processable donor–acceptor, π-conjugated molecules that consist of diketopyrrolopyrrole (DPP) central acceptor unit with dibenzofuran (DPP-DBF) or acenaphtene (DPP-ACN) donor substituents, were prepared by Suzuki coupling reaction. The optical, electrochemical and film forming properties of these D–A–D molecules were investigated and used as active materials in bulk heterojunction solar cells.     

Tuning light emission of PbS nanocrystals from infrared to visible range by cation exchange

Colloidal semiconductor nanocrystals, with intense and sharp-line emission between red and near-infrared spectral regions, are of great interest for optoelectronic and bio-imaging applications. The growth of an inorganic passivation layer on nanocrystal surfaces is a common strategy to improve their chemical and optical stability and their photoluminescence quantum yield. In particular, cation exchange is a suitable approach for shell growth at the expense of the nanocrystal core size. Here, the cation exchange process is used to promote the formation of a CdS passivation layer on the surface of very small PbS nanocrystals (2.3 nm in diameter), blue shifting their optical spectra and yielding luminescent and stable nanostructures emitting in the range of 700–850 nm. Structural, morphological and compositional investigation confirms the nanocrystal size contraction after the cation-exchange process, while the PbS rock-salt crystalline phase is retained. Absorption and photoluminescence spectroscopy demonstrate the growth of a passivation layer with a decrease of the PbS core size, as inferred by the blue-shift of the excitonic peaks. The surface passivation strongly increases the photoluminescence intensity and the excited state lifetime. In addition, the nanocrystals reveal increased stability against oxidation over time. Thanks to their absorption and emission spectral range and the slow recombination dynamics, such highly luminescent nano-objects can find interesting applications in sensitized photovoltaic cells and light-emitting devices.