Complex THz and DC inverse spin Hall effect in YIG/Cu1−x_{1-x}Irx_{x} bilayers across a wide concentration range

We measure the inverse spin Hall effect of Cu$_{1-x}$Ir$_{x}$ thin films on yttrium iron garnet over a wide range of Ir concentrations ($0.05 \leqslant x \leqslant 0.7$). Spin currents are triggered through the spin Seebeck effect, either by a DC temperature gradient or by ultrafast optical heating of the metal layer. The spin Hall current is detected by, respectively, electrical contacts or measurement of the emitted THz radiation. With both approaches, we reveal the same Ir concentration dependence that follows a novel complex, non-monotonous behavior as compared to previous studies. For small Ir concentrations a signal minimum is observed, while a pronounced maximum appears near the equiatomic composition. We identify this behavior as originating from the interplay of different spin Hall mechanisms as well as a concentration-dependent variation of the integrated spin current density in Cu$_{1-x}$Ir$_{x}$. The coinciding results obtained for DC and ultrafast stimuli show that the studied material allows for efficient spin-to-charge conversion even on ultrafast timescales, thus enabling a transfer of established spintronic measurement schemes into the terahertz regime.Comment: 12 pages, 4 figure

Évaluation récursive des grammaires attribueés : deux implantations

Résumé disponbile dans les fichiers attaché

An efficient recursive evaluator for strongly non-circular attribute grammars

Résumé disponbile dans les fichiers attaché

Attribute Grammars: a Declarative Functional Language

Projet CHARMEAlthough Attribute Grammars were introduced thirty years ago, their lack of expressiveness has resulted in limited use outside the domain of static language processing. In this paper we show that it is possible to extend this expressiveness. We claim that Attribute Grammars can be used to describe computations on structures that are not just trees, but also on abstractions allowing for infinite structures. To gain this expressiveness, we introduce two new notions: {\em scheme productions\/} and {\em conditional productions}. The result is a language that is comparable in power to most first-order functional languages, with a distinctive declarative character. Our extensions deal with a different part of the Attribute Grammars formalism than what is used in most works on Attribute Grammars including global analysis and evaluator generation. Hence, most existing results are directly applicable to our extended Attribute Grammars including efficient implementation (in our case, using the FNC-2 system http://www-rocq.inria.fr/charme/FNC-2/). The major contribution of this approach is to restore and re-emphasize the intrinsic power of Attribute Grammars. Furthermore, our extensions call for new studies on applying to functional programming the analysis and implementation techniques developed for Attribute Grammars

Dynamic Attribute Grammars

Projet OSCARAlthough Attribuate Grammars were introduced thirty years ago, their lack of expressiveness has resulted in limited use outside the domain of static language processing. With the new notion of a Dynamic Attribute Grammar defined on a Grammar Couple, informally presented in a previous paper, we show that it is possible to extend this expressiveness and to describe computations on structures that are not just trees, but also on abstractions allowing for infinite structures. The result is a language that is comparable in power to most first-order functional languages, with a distinctive declarative character. In this paper, we give a formal definition of Dynamic Attribute Grammars and show how to construct efficient visit-sequence-based evaluators for them, using traditional, well-established AG techniques (in our case, using the FNC2 system The major contribution of this approach is to restore the intrinsic power of Attribute Grammar and re-emphasize the effectiveness of analysis and implement- ation techniques developed for them