The Co-Au interface in bimetallic nanoparticles: a high resolution STEM study

We report the formation of Au/Co nanoparticles and their characterization by aberration (Cs) corrected scanning transmission electron microscopy (STEM). The nanoparticles were synthesized by inert gas condensation, forming initially core-shell and bimetallic crystals. However, after thermal treatment at normal atmospheric conditions, the Co nanoparticles changed their morphology into a fine layer forming a perfect interface with the gold. The ordering of the zone rich in Co presents a fcc arrangement matching the gold lattice. The atomic analysis on the interface and the comparison of the STEM images with numerical simulations corroborated the atomic substitution of gold by cobalt.     

An Algebraic Approach for Compiling Real-Time Programs

Compiler Verification has been identified as a vital process in the implementation of correct safety-critical systems. We extend here Hoare's refinement-algebra approach to compilation in order to include real-time languages in which processes interact asynchronously via communication queues. The existence of unique fixed-points is exploited to verify the implementation of crucial operators such as asynchronous input, delay and timeout.     

Abnormal behavior detection using dominant sets

Smart surveillance systems are increasingly being used to detect potentially dangerous situations. To do so, the common and easier way is to model normal human behaviors and consider as abnormal any new strange behavior in the scene. In this article, Dominant Sets is adapted to model most frequent behaviors and to detect any unknown event to trigger an alarm. It is proved that after an unsupervised training, Dominant Sets can robustly detect abnormal behaviors. The method is tested in several different cases and compared to other usual clusterization methods such as KNN, mixture of Gaussians or Fuzzy \(K\) -Means to confirm its robustness and performance. The overall performance of abnormal behavior detection based on Dominant Sets is better, being the error ratio at least \(1.5\) points lower than the others.     

Resistant starch and thermal,morphological and textural properties of heat‐moisture treated rice starches with high‐, medium‐ and low‐amylose content

This study investigated the effects of heat‐moisture treatment (HMT) on the resistant starch content and thermal, morphological, and textural properties of rice starches with high‐, medium‐ and low‐amylose content. The starches were adjusted to 15, 20 and 25% moisture levels and heated at 110°C for 1 h. The HMT increased the resistant starch content in all of the rice starches. HMT increased the onset temperature and the gelatinisation temperature range (T_finish–T_onset) and decreased the enthalpy of gelatinisation of rice starches with different amylose contents. This reduction increased with the increase in the moisture content of HMT. The morphology of rice starch granules was altered with the HMT; the granules presented more agglomerated surface. The HMT affected the textural parameters of rice starches; the high‐ and low‐amylose rice starches subjected to 15 and 20% HMT possessed higher gel hardness.     

Cellular Integrin α5β1 and Exosomal ADAM17 Mediate the Binding and Uptake of Exosomes Produced by Colorectal Carcinoma Cells

Approximately 25% of colorectal cancer (CRC) patients develop peritoneal metastasis, a condition associated with a bleak prognosis. The CRC peritoneal dissemination cascade involves the shedding of cancer cells from the primary tumor, their transport through the peritoneal cavity, their adhesion to the peritoneal mesothelial cells (PMCs) that line all peritoneal organs, and invasion of cancer cells through this mesothelial cell barrier and underlying stroma to establish new metastatic foci. Exosomes produced by cancer cells have been shown to influence many processes related to cancer progression and metastasis. In epithelial ovarian cancer these extracellular vesicles (EVs) have been shown to favor different steps of the peritoneal dissemination cascade by changing the functional phenotype of cancer cells and PMCs. Little is currently known, however, about the roles played by exosomes in the pathogenesis and peritoneal metastasis cascade of CRC and especially about the molecules that mediate their interaction and uptake by target PMCs and tumor cells. We isolated exosomes by size−exclusion chromatography from CRC cells and performed cell-adhesion assays to immobilized exosomes in the presence of blocking antibodies against surface proteins and measured the uptake of fluorescently-labelled exosomes. We report here that the interaction between integrin α5β1 on CRC cells (and PMCs) and its ligand ADAM17 on exosomes mediated the binding and uptake of CRC-derived exosomes. Furthermore, this process was negatively regulated by the expression of tetraspanin CD9 on exosomes.     

Heteroatom Effect on Star‐Shaped Hole‐Transporting Materials for Perovskite Solar Cells

Three new star‐shaped hole‐transporting materials (HTMs) incorporating benzotripyrrole, benzotrifuran, and benzotriselenophene central cores endowed with three‐armed triphenylamine moieties ( BTP‐1 , BTF‐1 , and BTSe‐1 , respectively) are designed, synthesized, and implemented in perovskite solar cells (PSCs). The impact that the heteroatom‐containing central scaffold has on the electrochemical and photophysical properties, as well as on the photovoltaic performance, is systematically investigated and compared with their sulfur‐rich analogue ( BTT‐3 ). The new HTMs exhibit suitable highest‐occupied molecular orbitals (HOMO) levels regarding the valence band of the perovskite, which ensure efficient hole extraction at the perovskite/HTM interface. The molecular structures of BTF‐1 , BTT‐3 , and BTSe‐1 are fully elucidated by single‐crystal X‐ray crystallography as toluene solvates. The optimized (FAPbI₃)_0.85(MAPbBr₃)_0.15‐based perovskite solar cells employing the tailor‐made, chalcogenide‐based HTMs exhibit remarkable power conversion efficiencies up to 18.5%, which are comparable to the devices based on the benchmark spiro‐OMeTAD. PSCs with BTP‐1 exhibit a more limited power conversion efficiency of 15.5%, with noticeable hysteresis. This systematic study indicates that chalcogenide‐based derivatives are promising HTM candidates to compete efficiently with spiro‐OMeTAD.     

Fluid flow in a screw pump oil supply system for reciprocating compressors

This work presents a mathematical analysis of an oil supply system for reciprocating compressors. The system is based on a single screw pump attached to the bottom end of the vertical rotating shaft immersed in the oil sump. The fluid flow in the pump was modeled with a semi-analytical approach based on the solution for the laminar fully developed oil flow in a screw extruder via the Generalized Integral Transform Technique. The screw pump model is coupled with that for the flow in the shaft region so as to provide an estimate of the oil flow rate and of the so-called ‘climbing-time’, i.e., the amount of time needed for a fluid particle to travel from the oil sump to the top of the shaft. The calculation method was verified against experimental data and Computational Fluid Dynamics modeling results.     

An impulsive dynamical systems framework for reset control systems

Impulsive dynamical systems is a well-established area of dynamical systems theory, and it is used in this work to analyse several basic properties of reset control systems: existence and uniqueness of solutions, and continuous dependence on the initial condition (well-posedness). The work scope is about reset control systems with a linear and time-invariant base system, and a zero-crossing resetting law. A necessary and sufficient condition for existence and uniqueness of solutions, based on the well-posedness of reset instants, is developed. As a result, it is shown that reset control systems (with strictly proper plants) do not have Zeno solutions. It is also shown that full reset and partial reset (with a special structure) always produce well-posed reset instants. Moreover, a definition of continuous dependence on the initial condition is developed, and also a sufficient condition for reset control systems to satisfy that property. Finally, this property is used to analyse sensitivity of reset control systems to sensor noise. This work also includes a number of illustrative examples motivating the key concepts and main results.     

Environmental impact of castor oil catalytic transfer hydrogenation

In the vegetable oil chemical industry, hydrogenation is one of the most important processes. An alternative method for vegetable oil hydrogenation is the use of catalytic transfer hydrogenation (CTH), which can utilize organic molecules as hydrogen donors at ambient pressure. These alternative processes should be optimized in relation to the variables required for a good conversion and impacts should also be known to be minimized. An assessment of the environmental impact of laboratory scale chemical processes is an important tool to improve the technological aspects of a process (increased yields, reduced production times, lower costs) and it can also lead to the creation of a cleaner technology. Using the Leopold Matrix, we have succeeded in developing a more efficient and cleaner process for the CTH of castor oil using Raney Ni as a catalyst and cyclohexene or isopropanol as a hydrogen donor solvent. The results of the technical and environmental assessments showed that the extent of conversion for the unsaturation reaction was high (>99 %), and the environmental impact of the process could be significantly reduced to create a cleaner technology. It was found, after process optimization, that the remaining environmental impacts were negative (67.48 %), local (78.95 %), temporary (95.33 %), direct (80.12 %), and reversible (95.32 %).     

Characterization of a thermoset by thermal analysis techniques: Criterion to assign the value of the α‐transition temperature by dielectric analysis

A cured thermoset composed of diglycidyl ether of bisphenol A and m‐xylylene diamine as the cure agent was studied with different thermal analysis techniques, including differential scanning calorimetry (DSC), dynamic mechanical analysis (DMA), and dielectric analysis (DEA). DSC was used to measure the glass‐transition temperature and to check the absence of the heat of reaction. DMA and DEA were used to show the existence of two transitions in the temperature range of −100 to 240°C. The transition at a low temperature corresponded to the β transition. The second one, at a higher temperature, was associated with an α transition. The β transition followed Arrhenius behavior, whereas the α transition followed Vogel behavior. For an analysis of the α transition, different equations, such as the Havriliak–Negami, Vogel, and Williams–Landel–Ferry equations, were used. Important differences related to the fitting parameters were found that depended on the type of equation and the operation mode used. For this reason, a new method for calculating the α‐transition temperature was examined. © 2005 Wiley Periodicals, Inc. J Appl Polym Sci 96: 2027–2037, 2005