-
Tools at the Frontiers of Quantitative Verification
Authors:
Roman Andriushchenko,
Alexander Bork,
Carlos E. Budde,
Milan Češka,
Kush Grover,
Ernst Moritz Hahn,
Arnd Hartmanns,
Bryant Israelsen,
Nils Jansen,
Joshua Jeppson,
Sebastian Junges,
Maximilian A. Köhl,
Bettina Könighofer,
Jan Křetínský,
Tobias Meggendorfer,
David Parker,
Stefan Pranger,
Tim Quatmann,
Enno Ruijters,
Landon Taylor,
Matthias Volk,
Maximilian Weininger,
Zhen Zhang
Abstract:
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected rewards on basic models such as Markov chains. Previous editions of QComp, the comparison of tools for the analysis of quantitative formal models, focused o…
▽ More
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected rewards on basic models such as Markov chains. Previous editions of QComp, the comparison of tools for the analysis of quantitative formal models, focused on this setting. Many application scenarios, however, require more advanced property types such as LTL and parameter synthesis queries as well as advanced models like stochastic games and partially observable MDPs. For these, tool support is in its infancy today. This paper presents the outcomes of QComp 2023: a survey of the state of the art in quantitative verification tool support for advanced property types and models. With tools ranging from first research prototypes to well-supported integrations into established toolsets, this report highlights today's active areas and tomorrow's challenges in tool-focused research for quantitative verification.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Hybrid data assimilation techniques using the adjoint method in a coupled Lorenz system
Authors:
Philip David Kennedy,
Abhirup Banerjee,
Armin Köhl,
Detlef Stammer
Abstract:
A hybrid 4D-variational data assimilation method for numerical climate models is introduced using the Lorenz '63 model. This new approach has the potential to optimise a high complexity Earth system model (ESM) by utilising the adjoint equations of an intermediate complexity ESM. The method is conceptually demonstrated by consecutively synchronising two Lorenz '63 systems to observations before op…
▽ More
A hybrid 4D-variational data assimilation method for numerical climate models is introduced using the Lorenz '63 model. This new approach has the potential to optimise a high complexity Earth system model (ESM) by utilising the adjoint equations of an intermediate complexity ESM. The method is conceptually demonstrated by consecutively synchronising two Lorenz '63 systems to observations before optimisation. The first represents a 'high complexity' model and the second an 'intermediate complexity' model which has adjoint equations. This method will save computational power for a full ESM and has negligible error and uncertainty change compared to the optimisation of a single model with adjoint equations. A similar setup can be applied to sparse observations. An alternative assimilation setup, with two identical models, is used to filter noisy data. This reduces optimised parametric model uncertainty by approximately one third. Such a precision gain could prove valuable for seasonal, annual, and decadal predictions.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
RTLola on Board: Testing Real Driving Emissions on your Phone
Authors:
Sebastian Biewer,
Bernd Finkbeiner,
Holger Hermanns,
Maximilian A. Köhl,
Yannik Schnitzer,
Maximilian Schwenger
Abstract:
This paper is about ship** runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys RTLola runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap bluetooth adapters to the On-Board-D…
▽ More
This paper is about ship** runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys RTLola runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap bluetooth adapters to the On-Board-Diagnostics (OBD) ports, which are ubiquitous in cars nowadays. We detail its use in the context of Real Driving Emissions (RDE) tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Surfing on turbulence: a strategy for planktonic navigation
Authors:
Rémi Monthiller,
Aurore Loisy,
Mimi A. R. Koehl,
Benjamin Favier,
Christophe Eloy
Abstract:
In marine plankton, many swimming species can perceive their environment with flow sensors. Can they use this flow information to travel faster in turbulence? To address this question, we consider plankters swimming at constant speed, whose goal is to move upwards. We propose a robust analytical behavior that allows plankters to choose a swimming direction according to the local flow gradients. We…
▽ More
In marine plankton, many swimming species can perceive their environment with flow sensors. Can they use this flow information to travel faster in turbulence? To address this question, we consider plankters swimming at constant speed, whose goal is to move upwards. We propose a robust analytical behavior that allows plankters to choose a swimming direction according to the local flow gradients. We show numerically that such plankters can "surf" on turbulence and reach net vertical speeds up to twice their swimming speed. This new physics-based model suggests that planktonic organisms can exploit turbulence features for navigation.
△ Less
Submitted 11 August, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
An Executable Structural Operational Formal Semantics for Python
Authors:
Maximilian A. Köhl
Abstract:
Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is preferred by many for its ease of use. With the vision of harvesting static analysis techniques like abstract interpretation for Python, we develop a formal semantics for Python. A formal semantics is an important corners…
▽ More
Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is preferred by many for its ease of use. With the vision of harvesting static analysis techniques like abstract interpretation for Python, we develop a formal semantics for Python. A formal semantics is an important cornerstone for any sound static analysis technique. We base our efforts on the general framework of structural operational semantics yielding a small-step semantics in principle allowing for concurrency and interaction with an environment. The main contributions of this thesis are twofold: first, we develop a meta-theoretic framework for the formalization of structural operational semantics in tandem with the necessary tool support for the automated derivation of interpreters from such formal semantics, and, second, we validate the suitability of this approach for the formalization of modern programming languages develo** a semantics for Python.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
A Case for the Score: Identifying Image Anomalies using Variational Autoencoder Gradients
Authors:
David Zimmerer,
Jens Petersen,
Simon A. A. Kohl,
Klaus H. Maier-Hein
Abstract:
Through training on unlabeled data, anomaly detection has the potential to impact computer-aided diagnosis by outlining suspicious regions. Previous work on deep-learning-based anomaly detection has primarily focused on the reconstruction error. We argue instead, that pixel-wise anomaly ratings derived from a Variational Autoencoder based score approximation yield a theoretically better grounded a…
▽ More
Through training on unlabeled data, anomaly detection has the potential to impact computer-aided diagnosis by outlining suspicious regions. Previous work on deep-learning-based anomaly detection has primarily focused on the reconstruction error. We argue instead, that pixel-wise anomaly ratings derived from a Variational Autoencoder based score approximation yield a theoretically better grounded and more faithful estimate. In our experiments, Variational Autoencoder gradient-based rating outperforms other approaches on unsupervised pixel-wise tumor detection on the BraTS-2017 dataset with a ROC-AUC of 0.94.
△ Less
Submitted 28 November, 2019;
originally announced December 2019.
-
Economic model predictive control for snake robot locomotion
Authors:
Marko Nonhoff,
Philipp N. Köhler,
Anna M. Kohl,
Kristin Y. Pettersen,
Frank Allgöwer
Abstract:
In this work, the control of snake robot locomotion via economic model predictive control (MPC) is studied. Only very few examples of applications of MPC to snake robots exist and rigorous proofs for recursive feasibility and convergence are missing. We propose an economic MPC algorithm that maximizes the robot's forward velocity and integrates the choice of the gait pattern into the closed loop.…
▽ More
In this work, the control of snake robot locomotion via economic model predictive control (MPC) is studied. Only very few examples of applications of MPC to snake robots exist and rigorous proofs for recursive feasibility and convergence are missing. We propose an economic MPC algorithm that maximizes the robot's forward velocity and integrates the choice of the gait pattern into the closed loop. We show recursive feasibility of the MPC optimization problem, where some of the developed techniques are also applicable for the analysis of a more general class of system. Besides, we provide performance results and illustrate the achieved performance by numerical simulations. We thereby show that the economic MPC algorithm outperforms a standard lateral undulation controller and achieves constraint satisfaction. Surprisingly, a gait pattern different to lateral undulation results from the optimization.
△ Less
Submitted 22 May, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Reg R-CNN: Lesion Detection and Grading under Noisy Labels
Authors:
Gregor N. Ramien,
Paul F. Jaeger,
Simon A. A. Kohl,
Klaus H. Maier-Hein
Abstract:
For the task of concurrently detecting and categorizing objects, the medical imaging community commonly adopts methods developed on natural images. Current state-of-the-art object detectors are comprised of two stages: the first stage generates region proposals, the second stage subsequently categorizes them. Unlike in natural images, however, for anatomical structures of interest such as tumors,…
▽ More
For the task of concurrently detecting and categorizing objects, the medical imaging community commonly adopts methods developed on natural images. Current state-of-the-art object detectors are comprised of two stages: the first stage generates region proposals, the second stage subsequently categorizes them. Unlike in natural images, however, for anatomical structures of interest such as tumors, the appearance in the image (e.g., scale or intensity) links to a malignancy grade that lies on a continuous ordinal scale. While classification models discard this ordinal relation between grades by discretizing the continuous scale to an unordered bag of categories, regression models are trained with distance metrics, which preserve the relation. This advantage becomes all the more important in the setting of label confusions on ambiguous data sets, which is the usual case with medical images. To this end, we propose Reg R-CNN, which replaces the second-stage classification model of a current object detector with a regression model. We show the superiority of our approach on a public data set with 1026 patients and a series of toy experiments. Code will be available at github.com/MIC-DKFZ/RegRCNN.
△ Less
Submitted 26 August, 2019; v1 submitted 22 July, 2019;
originally announced July 2019.
-
Deep Probabilistic Modeling of Glioma Growth
Authors:
Jens Petersen,
Paul F. Jäger,
Fabian Isensee,
Simon A. A. Kohl,
Ulf Neuberger,
Wolfgang Wick,
Jürgen Debus,
Sabine Heiland,
Martin Bendszus,
Philipp Kickingereder,
Klaus H. Maier-Hein
Abstract:
Existing approaches to modeling the dynamics of brain tumor growth, specifically glioma, employ biologically inspired models of cell diffusion, using image data to estimate the associated parameters. In this work, we propose an alternative approach based on recent advances in probabilistic segmentation and representation learning that implicitly learns growth dynamics directly from data without an…
▽ More
Existing approaches to modeling the dynamics of brain tumor growth, specifically glioma, employ biologically inspired models of cell diffusion, using image data to estimate the associated parameters. In this work, we propose an alternative approach based on recent advances in probabilistic segmentation and representation learning that implicitly learns growth dynamics directly from data without an underlying explicit model. We present evidence that our approach is able to learn a distribution of plausible future tumor appearances conditioned on past observations of the same tumor.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.
-
A Hierarchical Probabilistic U-Net for Modeling Multi-Scale Ambiguities
Authors:
Simon A. A. Kohl,
Bernardino Romera-Paredes,
Klaus H. Maier-Hein,
Danilo Jimenez Rezende,
S. M. Ali Eslami,
Pushmeet Kohli,
Andrew Zisserman,
Olaf Ronneberger
Abstract:
Medical imaging only indirectly measures the molecular identity of the tissue within each voxel, which often produces only ambiguous image evidence for target measures of interest, like semantic segmentation. This diversity and the variations of plausible interpretations are often specific to given image regions and may thus manifest on various scales, spanning all the way from the pixel to the im…
▽ More
Medical imaging only indirectly measures the molecular identity of the tissue within each voxel, which often produces only ambiguous image evidence for target measures of interest, like semantic segmentation. This diversity and the variations of plausible interpretations are often specific to given image regions and may thus manifest on various scales, spanning all the way from the pixel to the image level. In order to learn a flexible distribution that can account for multiple scales of variations, we propose the Hierarchical Probabilistic U-Net, a segmentation network with a conditional variational auto-encoder (cVAE) that uses a hierarchical latent space decomposition. We show that this model formulation enables sampling and reconstruction of segmenations with high fidelity, i.e. with finely resolved detail, while providing the flexibility to learn complex structured distributions across scales. We demonstrate these abilities on the task of segmenting ambiguous medical scans as well as on instance segmentation of neurobiological and natural images. Our model automatically separates independent factors across scales, an inductive bias that we deem beneficial in structured output prediction tasks beyond segmentation.
△ Less
Submitted 30 May, 2019;
originally announced May 2019.
-
Automated Design of Deep Learning Methods for Biomedical Image Segmentation
Authors:
Fabian Isensee,
Paul F. Jäger,
Simon A. A. Kohl,
Jens Petersen,
Klaus H. Maier-Hein
Abstract:
Biomedical imaging is a driver of scientific discovery and core component of medical care, currently stimulated by the field of deep learning. While semantic segmentation algorithms enable 3D image analysis and quantification in many applications, the design of respective specialised solutions is non-trivial and highly dependent on dataset properties and hardware conditions. We propose nnU-Net, a…
▽ More
Biomedical imaging is a driver of scientific discovery and core component of medical care, currently stimulated by the field of deep learning. While semantic segmentation algorithms enable 3D image analysis and quantification in many applications, the design of respective specialised solutions is non-trivial and highly dependent on dataset properties and hardware conditions. We propose nnU-Net, a deep learning framework that condenses the current domain knowledge and autonomously takes the key decisions required to transfer a basic architecture to different datasets and segmentation tasks. Without manual tuning, nnU-Net surpasses most specialised deep learning pipelines in 19 public international competitions and sets a new state of the art in the majority of the 49 tasks. The results demonstrate a vast hidden potential in the systematic adaptation of deep learning methods to different datasets. We make nnU-Net publicly available as an open-source tool that can effectively be used out-of-the-box, rendering state of the art segmentation accessible to non-experts and catalyzing scientific progress as a framework for automated method design.
△ Less
Submitted 2 April, 2020; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Towards a Characterization of Explainable Systems
Authors:
Dimitri Bohlender,
Maximilian A. Köhl
Abstract:
Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to aid in designing explainable systems. Nevertheless, a common notion of what it takes for a system to be explainable is still missing. To address this problem, we propose a characterization of explainable systems that con…
▽ More
Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to aid in designing explainable systems. Nevertheless, a common notion of what it takes for a system to be explainable is still missing. To address this problem, we propose a characterization of explainable systems that consolidates existing research. By providing a unified terminology, we lay a basis for the classification of both existing and future research, and the formulation of precise requirements towards such systems.
△ Less
Submitted 30 January, 2019;
originally announced February 2019.
-
Context-encoding Variational Autoencoder for Unsupervised Anomaly Detection
Authors:
David Zimmerer,
Simon A. A. Kohl,
Jens Petersen,
Fabian Isensee,
Klaus H. Maier-Hein
Abstract:
Unsupervised learning can leverage large-scale data sources without the need for annotations. In this context, deep learning-based auto encoders have shown great potential in detecting anomalies in medical images. However, state-of-the-art anomaly scores are still based on the reconstruction error, which lacks in two essential parts: it ignores the model-internal representation employed for recons…
▽ More
Unsupervised learning can leverage large-scale data sources without the need for annotations. In this context, deep learning-based auto encoders have shown great potential in detecting anomalies in medical images. However, state-of-the-art anomaly scores are still based on the reconstruction error, which lacks in two essential parts: it ignores the model-internal representation employed for reconstruction, and it lacks formal assertions and comparability between samples. We address these shortcomings by proposing the Context-encoding Variational Autoencoder (ceVAE) which combines reconstruction- with density-based anomaly scoring. This improves the sample- as well as pixel-wise results. In our experiments on the BraTS-2017 and ISLES-2015 segmentation benchmarks, the ceVAE achieves unsupervised ROC-AUCs of 0.95 and 0.89, respectively, thus outperforming state-of-the-art methods by a considerable margin.
△ Less
Submitted 14 December, 2018;
originally announced December 2018.
-
Retina U-Net: Embarrassingly Simple Exploitation of Segmentation Supervision for Medical Object Detection
Authors:
Paul F. Jaeger,
Simon A. A. Kohl,
Sebastian Bickelhaupt,
Fabian Isensee,
Tristan Anselm Kuder,
Heinz-Peter Schlemmer,
Klaus H. Maier-Hein
Abstract:
The task of localizing and categorizing objects in medical images often remains formulated as a semantic segmentation problem. This approach, however, only indirectly solves the coarse localization task by predicting pixel-level scores, requiring ad-hoc heuristics when map** back to object-level scores. State-of-the-art object detectors on the other hand, allow for individual object scoring in a…
▽ More
The task of localizing and categorizing objects in medical images often remains formulated as a semantic segmentation problem. This approach, however, only indirectly solves the coarse localization task by predicting pixel-level scores, requiring ad-hoc heuristics when map** back to object-level scores. State-of-the-art object detectors on the other hand, allow for individual object scoring in an end-to-end fashion, while ironically trading in the ability to exploit the full pixel-wise supervision signal. This can be particularly disadvantageous in the setting of medical image analysis, where data sets are notoriously small. In this paper, we propose Retina U-Net, a simple architecture, which naturally fuses the Retina Net one-stage detector with the U-Net architecture widely used for semantic segmentation in medical images. The proposed architecture recaptures discarded supervision signals by complementing object detection with an auxiliary task in the form of semantic segmentation without introducing the additional complexity of previously proposed two-stage detectors. We evaluate the importance of full segmentation supervision on two medical data sets, provide an in-depth analysis on a series of toy experiments and show how the corresponding performance gain grows in the limit of small data sets. Retina U-Net yields strong detection performance only reached by its more complex two-staged counterparts. Our framework including all methods implemented for operation on 2D and 3D images is available at github.com/pfjaeger/medicaldetectiontoolkit.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
A Probabilistic U-Net for Segmentation of Ambiguous Images
Authors:
Simon A. A. Kohl,
Bernardino Romera-Paredes,
Clemens Meyer,
Jeffrey De Fauw,
Joseph R. Ledsam,
Klaus H. Maier-Hein,
S. M. Ali Eslami,
Danilo Jimenez Rezende,
Olaf Ronneberger
Abstract:
Many real-world vision problems suffer from inherent ambiguities. In clinical applications for example, it might not be clear from a CT scan alone which particular region is cancer tissue. Therefore a group of graders typically produces a set of diverse but plausible segmentations. We consider the task of learning a distribution over segmentations given an input. To this end we propose a generativ…
▽ More
Many real-world vision problems suffer from inherent ambiguities. In clinical applications for example, it might not be clear from a CT scan alone which particular region is cancer tissue. Therefore a group of graders typically produces a set of diverse but plausible segmentations. We consider the task of learning a distribution over segmentations given an input. To this end we propose a generative segmentation model based on a combination of a U-Net with a conditional variational autoencoder that is capable of efficiently producing an unlimited number of plausible hypotheses. We show on a lung abnormalities segmentation task and on a Cityscapes segmentation task that our model reproduces the possible segmentation variants as well as the frequencies with which they occur, doing so significantly better than published approaches. These models could have a high impact in real-world applications, such as being used as clinical decision-making algorithms accounting for multiple plausible semantic segmentation hypotheses to provide possible diagnoses and recommend further actions to resolve the present ambiguities.
△ Less
Submitted 29 January, 2019; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Calibration of the K-Profile Parameterization of ocean boundary layer mixing. Part I: Development
Authors:
S. E. Zedler,
C. S. Jackson,
F. Yao,
P. Heimbach,
A. Kohl,
R. B. Scott,
I Hoteit
Abstract:
In model comparisons with observational data, not all data contain information that is useful for answering a specific science question. If non-relevant or highly uncertain data are included in a comparison metric, they can reduce the significance of other observations that matter for the scientific process of interest. Sources of noise and correlations among summed quantities within a comparison…
▽ More
In model comparisons with observational data, not all data contain information that is useful for answering a specific science question. If non-relevant or highly uncertain data are included in a comparison metric, they can reduce the significance of other observations that matter for the scientific process of interest. Sources of noise and correlations among summed quantities within a comparison metric affect the significance of a signal that is useful for testing model skill. In the setting of the tropical Pacific, we introduce an "inquiry dependent" (ID) metric of model-data comparison that determines the relative importance of the TOGA-TAO buoy observations of the ocean temperature, salinity, and horizontal currents for influencing upper-ocean vertical turbulent mixing as represented by the K-Profile Parameterization (KPP) embedded in the MIT general circulation model (MITgcm) for the 2004-2007 time period. The ID metric addresses a challenge that the wind forcing is likely a more significant source of uncertainty for the ocean state than the turbulence itself, and that the observations are correlated in time, space, and across ocean state variables. In this approach the MITgcm is used to infer variability and relationships in and among the data, and to determine the response structures that are most relevant for constraining uncertain parameters. We demonstrate that the ID metric is able to distinguish the effects due to parameter perturbations from those due to uncertain winds and that it is important to include multiple kinds of data in the comparison, suggesting that the ID metric is appropriate for use in a calibration of the KPP model parameters using mooring observations of the ocean state.
△ Less
Submitted 19 April, 2016;
originally announced April 2016.
-
Impact of Fe do** on the electronic structure of SrTiO3 thin films determined by resonant photoemission
Authors:
J. Szade,
D. Kajewski,
J. Kubacki,
K. Szot,
A. Koehl,
Ch. Lenser,
R. Dittmann
Abstract:
Epitaxial thin films of Fe doped SrTiO3 have been studied by the use of resonant photoemission. This technique allowed to identify contributions of the Fe and Ti originating electronic states to the valence band. Two valence states of iron Fe2+ and Fe3+, detected on the base of XAS spectra, appeared to form quite different contributions to the valence band of SrTiO3. The electronic states within t…
▽ More
Epitaxial thin films of Fe doped SrTiO3 have been studied by the use of resonant photoemission. This technique allowed to identify contributions of the Fe and Ti originating electronic states to the valence band. Two valence states of iron Fe2+ and Fe3+, detected on the base of XAS spectra, appeared to form quite different contributions to the valence band of SrTiO3. The electronic states within the in-gap region can be attributed to Fe2+, Fe3+ and Ti3+ ions. Fe2+ originating states which can be connected to the presence of oxygen vacancies form a broad band reaching binding energies of about 0.5 eV below the conduction band while Fe3+ states form in the gap a sharp feature localized just above the top of the valence band. It has been shown that Fe do** induced Ti originating states in the energy gap which can be related to hybridization of Ti and Fe 3d orbitals.
△ Less
Submitted 26 September, 2015;
originally announced September 2015.
-
Electronic tuneability of a structurally rigid surface intermetallic and Kondo lattice: CePt$_5$ / Pt(111)
Authors:
C. Praetorius,
M. Zinner,
A. Köhl,
H. Kießling,
S. Brück,
B. Muenzing,
M. Kamp,
T. Kachel,
F. Choueikani,
P. Ohresser,
F. Wilhelm,
A. Rogalev,
K. Fauth
Abstract:
We present an extensive study of structure, composition, electronic and magnetic properties of Ce--Pt surface intermetallic phases on Pt(111) as a function of their thickness. The sequence of structural phases appearing in low energy electron diffraction (LEED) may invariably be attributed to a single underlying intermetallic atomic lattice. Findings from both microscopic and spectroscopic methods…
▽ More
We present an extensive study of structure, composition, electronic and magnetic properties of Ce--Pt surface intermetallic phases on Pt(111) as a function of their thickness. The sequence of structural phases appearing in low energy electron diffraction (LEED) may invariably be attributed to a single underlying intermetallic atomic lattice. Findings from both microscopic and spectroscopic methods, respectively, prove compatible with CePt$_5$ formation when their characteristic probing depth is adequately taken into account. The intermetallic film thickness serves as an effective tuning parameter which brings about characteristic variations of the Cerium valence and related properties. Soft x-ray absorption (XAS) and magnetic circular dichroism (XMCD) prove well suited to trace the changing Ce valence and to assess relevant aspects of Kondo physics in the CePt$_5$ surface intermetallic. We find characteristic Kondo scales of the order of 10$^2$ K and evidence for considerable magnetic Kondo screening of the local Ce $4f$ moments. CePt$_5$/Pt(111) and related systems therefore appear to be promising candidates for further studies of low-dimensional Kondo lattices at surfaces.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Direct observation of interacting Kondo screened 4f moments in CePt5 with XMCD
Authors:
C. Praetorius,
A. Koehl,
B. Muenzing,
H. Bardenhagen,
K. Fauth
Abstract:
We use x-ray absorption and magnetic circular dichroism to study electronic configuration and local susceptibility of CePt5/Pt(111) surface alloys from well above to well below the impurity Kondo temperature. The anisotropic paramagnetic response is governed by the hexagonal crystal field and ferromagnetic correlations, with modified parameters for Ce moments residing next to the alloy surface. Qu…
▽ More
We use x-ray absorption and magnetic circular dichroism to study electronic configuration and local susceptibility of CePt5/Pt(111) surface alloys from well above to well below the impurity Kondo temperature. The anisotropic paramagnetic response is governed by the hexagonal crystal field and ferromagnetic correlations, with modified parameters for Ce moments residing next to the alloy surface. Quantitative XMCD evaluations provide direct evidence of Kondo screening of both spin and orbital 4f moments. Magnetic signatures of coherence are not apparent for T >= 13 K.
△ Less
Submitted 23 March, 2012;
originally announced March 2012.
-
New Synthesis Method for the Growth of Epitaxial Graphene
Authors:
Xiaozhu Yu,
Choongyu Hwang,
Chris M. Jozwiak,
Annemarie Kohl,
Andreas K. Schmid,
Alessandra Lanzara
Abstract:
As a viable candidate for an all-carbon post-CMOS electronics revolution, epitaxial graphene has attracted significant attention. To realize its application potential, reliable methods for fabricating large-area single-crystalline graphene domains are required. A new way to synthesize high quality epitaxial graphene, namely "face-to-face" method, has been reported in this paper. The structure and…
▽ More
As a viable candidate for an all-carbon post-CMOS electronics revolution, epitaxial graphene has attracted significant attention. To realize its application potential, reliable methods for fabricating large-area single-crystalline graphene domains are required. A new way to synthesize high quality epitaxial graphene, namely "face-to-face" method, has been reported in this paper. The structure and morphologies of the samples are characterized by low-energy electron diffraction, atomic force microscopy, angle-resolved photoemission spectroscopy and Raman spectroscopy. The grown samples show better quality and larger length scales than samples grown through conventional thermal desorption. Moreover the graphene thickness can be easily controlled by changing annealing temperature.
△ Less
Submitted 19 April, 2011;
originally announced April 2011.