Electrically tunable resonant scattering in fluorinated bilayer graphene

Adatom-decorated graphene offers a promising new path towards spintronics in the ultrathin limit. We combine experiment and theory to investigate the electronic properties of dilutely fluorinated bilayer graphene, where the fluorine adatoms covalently bond to the top graphene layer. We show that fluorine adatoms give rise to resonant impurity states near the charge neutrality point of the bilayer, leading to strong scattering of charge carriers and hopping conduction inside a field-induced band gap. Remarkably, the application of an electric field across the layers is shown to tune the resonant scattering amplitude from fluorine adatoms by nearly twofold. The experimental observations are well explained by a theoretical analysis combining Boltzmann transport equations and fully quantum-mechanical methods. This paradigm can be generalized to many bilayer graphene-adatom materials, and we envision that the realization of electrically tunable resonance may be a key advantage in graphene-based spintronic devices.

On simple bounds for eigenvalues of symmetric tridiagonal matrices

How much can be said about the location of the eigenvalues of a symmetric tridiagonal matrix just by looking at its diagonal entries? We use classical results on the eigenvalues of symmetric matrices to show that the diagonal entries are bounds for some of the eigenvalues regardless of the size of the off-diagonal entries. Numerical examples are given to illustrate that our arithmetic-free technique delivers useful information on the location of the eigenvalues.

Nanocomposites: the contribution of multiscale modelling to improve the dispersion levels

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.