Unique determination of “subatomic” contrast by imaging covalent backbonding

The origin of so-called “subatomic” resolution in dynamic force microscopy has remained controversial since its first observation in 2000. A number of detailed experimental and theoretical studies have identified different possible physicochemical mechanisms potentially giving rise to subatomic contrast. In this study, for the first time we are able to assign the origin of a specific instance of subatomic contrast as being due to the back bonding of a surface atom in the tip−sample junction

Synthesis and characterization of triangulene

Triangulene, the smallest triplet-ground-state polybenzenoid (also known as Clar's hydrocarbon), has been an enigmatic molecule ever since its existence was first hypothesized1. Despite containing an even number of carbons (22, in six fused benzene rings), it is not possible to draw Kekulé-style resonant structures for the whole molecule: any attempt results in two unpaired valence electrons2. Synthesis and characterization of unsubstituted triangulene has not been achieved because of its extreme reactivity1, although the addition of substituents has allowed the stabilization and synthesis of the triangulene core3, 4 and verification of the triplet ground state via electron paramagnetic resonance measurements5. Here we show the on-surface generation of unsubstituted triangulene that consists of six fused benzene rings. The tip of a combined scanning tunnelling and atomic force microscope (STM/AFM) was used to dehydrogenate precursor molecules. STM measurements in combination with density functional theory (DFT) calculations confirmed that triangulene keeps its free-molecule properties on the surface, whereas AFM measurements resolved its planar, threefold symmetric molecular structure. The unique topology of such non-Kekulé hydrocarbons results in open-shell π-conjugated graphene fragments6 that give rise to high-spin ground states, potentially useful in organic spintronic devices7, 8. Our generation method renders manifold experiments possible to investigate triangulene and related open-shell fragments at the single-molecule level

Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16

This Deliverable presents the first version of ReSIST's Curriculum in Resilient Computing, limited to the description of the syllabi for the first year (Semesters 1 and 2) and indicates the line and title for the curriculum in the second year (semesters 3 and 4) and propose it to the general discussion for improvements. The curriculum will be updated and completed in successive versions that will take advantage of a large open discussion inside and outside ReSIS

Oxygen reduction reaction features in neutral media on glassy carbon electrode functionalized by chemically prepared gold nanoparticles

Gold nanoparticles (AuNPs) were prepared by chemical route using 4 different protocols by varying reducer, stabilizing agent and solvent mixture. The obtained AuNPs were characterized by transmission electronic microscopy (TEM), UV-Visible and zeta potential measurements. From these latter surface charge densities were calculated to evidence the effect of the solvent mixture on AuNPs stability. The AuNPs were then deposited onto glassy carbon (GC) electrodes by drop-casting and the resulting deposits were characterized by cyclic voltammetry (CV) in H2SO4 and field emission gun scanning electron microscopy (FEG-SEM). The electrochemical kinetic parameters of the 4 different modified electrodes towards oxygen reduction reaction (ORR) in neutral NaCl-NaHCO3 media (0.15 M / 0.028 M, pH 7.4) were evaluated by rotating disk electrode voltammetry and subsequent Koutecky-Levich treatment. Contrary to what we previously obtained with electrodeposited AuNPs [Gotti et al., Electrochim. Acta 2014], the highest cathodic transfer coefficients were not obtained on the smallest particles, highlighting the influence of the stabilizing ligand together with the deposits morphology on the ORR kinetics

Temporal Analysis of Data Flow Control Systems

Due to their distributed/parallel and data-driven nature, control systems can easily be modeled according to a data flow approach. Control systems are very often real-time systems; therefore, a formalism able to capture timing is required. In this paper we introduce a data flow model that includes time and priority for specifying real-time control systems and we give its formal semantics. The control system is specified by a data flow network which, beside the controller, may include the model of the plant at some abstraction level. Time is associated to any computational activity and time accounting is made directly in the model and not as a separate issue. Priorities allow to deal with events, as alarm signals, which cannot be delayed. A general framework for the indirect evaluation of the model is introduced, and a data flow network to timed Petri net transformation is defined allowing the utilization of the automatic tools of Petri nets for analyzing the temporal properties of the data flow network. The approach is illustrated by an example in which, after the application of the transformation, selected performance measures are computed