SearcharxivSearch

arXiv subjects

Julia Krone

Publications and source records attributed to Julia Krone.

2 recordsLinked to original sources

Microscopic and macroscopic characterization: MBE-grown versus sputter-deposited Au/Co/Au thin films for CISS and MIPAC effect studies

Chirality-induced spin selectivity (CISS) enables spin-dependent transport at chiral molecule/Au(111) interfaces and is used in spintronics when combined with ferromagnetic thin films in spin-valve-type hybrids. However, the influence of substrate microstructure on CISS and the related magnetization induced by the proximity of adsorbed chiral molecules (MIPAC) effect is still not well understood. In this study, we compare the effects of the adsorption of L-chiral alpha-helical alanine-rich peptides on Au/Co/Au ferromagnetic thin films fabricated by molecular beam epitaxy (MBE) and magnetron sputtering. X-ray reflectivity and X-ray diffraction show sharper interfaces and a narrower Au(111) rocking-curve width for the MBE-grown sample. However, atomic force microscopy and scanning tunneling microscopy images reveal that both sample types have locally smooth Au(111) surface regions suitable for peptide adsorption, despite clear differences in larger-scale morphology. Microscopic scanning tunneling spectroscopy after peptide exposure yields similar magnetization-direction-dependent tunneling currents in both sample types, confirming a similar magnitude CISS effect on the molecular scale. In contrast, macroscopic magneto-optical Kerr effect hysteresis loops and effect microscopy reveals that only sputter-deposited samples show slight coercivity enhancements and a consistent reduction in domain wall velocity after peptide exposure. These results suggest that microscopic CISS signatures are robust for both sample types, whereas macroscopic MIPAC-type magnetic responses are more sensitive to the substrate microstructure.

cond-mat.mtrl-sci

A Typeful Integration of SQL into Curry

We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our extension respects the type system of Curry so that run-time errors due to ill-typed data are avoided. This is obtained by preprocessing SQL statements at compile time and translating them into type-safe database access operations. As a consequence, the type checker of the Curry system can spot type errors in SQL statements at compile time. To generate appropriately typed access operations, the preprocessor uses an entity-relationship (ER) model describing the structure of the relational data. In addition to standard SQL, SQL statements embedded in Curry can include program expressions and also relationships specified in the ER model. The latter feature is useful to avoid the error-prone use of foreign keys. As a result, our SQL integration supports a high-level and type-safe access to databases in Curry programs.

cs.PL