Muggl: The Muenster Generator of Glass-box Test Cases

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode. It symbolically executes code and uses constraint solving techniques. While papers on Muggl have already been published, no comprehensive introduction of the tool exist. This working paper fills this gap

A case of carotid body paraganglioma and haemangioblastoma of the spinal cord in a patient with the N131K missense mutation in the VHL gene

The article describes paraganglioma case in woman with von Hippel–Lindau disease. She was found to be a carrier of a rare germline mutation in the VHL gene (393C>A; N131K). The patient developed large, untypical for von Hippel–Lindau disease, carotid body paraganglioma at the common carotid artery bifurcation. The carotid body paraganglioma coexisted with the haemangioblastoma situated intramedullary in region C5/C6. The haemangioblastoma reached the right-sided dorsal part of the spinal cord in section C5/C6. It produced radicular symptoms within C5/C6, followed by the later paresis of the right limbs. The haemangioblastoma was resected completely. Twelve months after the operation, the spinal symptoms receded and the carotid body paraganglioma still was asymptomatic. The current case of carotid body paraganglioma in patient with the 393C>A (N131K) missense mutation in the VHL gene, supports association of this specific mutation and VHL disease type 2, and suggests its correlation with susceptibility to paragangliomas

Conceptual Challenges for Advancing the Socio-Technical Underpinnings of Health Informatics

This discussion paper considers the adoption of socio-technical perspectives and their theoretical and practical influence within the discipline of health informatics. The paper highlights the paucity of discussion of the philosophy, theory and concepts of socio-technical perspectives within health informatics. Instead of a solid theoretical base from which to describe, study and understand human-information technology interactions we continue to have fragmented, unelaborated understandings. This has resulted in a continuing focus on technical system performance and increasingly managerial outputs to the detriment of social and technical systems analysis. It has also limited critical analyses and the adaptation of socio-technical approaches beyond the immediate environment to the broader social systems of contemporary society, an expansion which is increasingly mandated in today’s complex health environment

Momentum-resolved linear dichroism in bilayer MoS2

In solid state photoemission experiments it is possible to extract information about the symmetry and orbital character of the electronic wave functions via the photoemission selection rules that shape the measured intensity. This approach can be expanded in a pump-probe experiment where the intensity contains additional information about interband excitations induced by an ultrafast laser pulse with tunable polarization. Here, we find an unexpected strong linear dichroism effect (up to 42.4%) in the conduction band of bilayer MoS2, when measuring energy- A nd momentum-resolved snapshots of excited electrons by time- A nd angle-resolved photoemission spectroscopy. We model the polarization-dependent photoemission intensity in the transiently populated conduction band using the semiconductor Bloch equations. Our theoretical analysis reveals a strongly anisotropic momentum dependence of the optical excitations due to intralayer single-particle hopping, which explains the observed linear dichroism

Switching of the electron-phonon interaction in 1T-VSe2 assisted by hot carriers

Funding: We gratefully acknowledge funding from VILLUM FONDEN through the Young Investigator Program (Grant. No.15375) and the Centre of Excellence for Dirac Materials (Grant. No. 11744), the Danish Council for Independent Research, Natural Sciences under the Sapere Aude program (Grant Nos. DFF-9064-00057B and DFF-6108-00409) and the Aarhus University Research Foundation. This work is also supported by National Research Foundation (NRF) grants funded by the Korean government (nos. NRF-2020R1A2C200373211 and 2019K1A3A7A09033389) and by the International MaxPlanck Research School for Chemistry and Physics of Quantum Materials (IMPRS-CPQM). The authors also acknowledge The Royal Society and The Leverhulme Trust. R.S acknowledges financial support provided by the Ministry of Science and Technology in Taiwan under project number MOST-108-2112-M-001-049-MY2 & MOST 109-2124-M-002-001 and Sinica funded i-MATE financial Support AS-iMATE-109-13. Access to the Artemis Facility was funded by STFC. The Advanced Light Source is supported by the Director, Office of Science, Office of Basic Energy Sciences, of the U.S. Department of Energy under Contract No. DE-AC02-05CH11231.We apply an intense infrared laser pulse in order to perturb the electronic and vibrational states in the three-dimensional charge density wave material 1T-VSe2. Ultrafast snapshots of the light-induced hot carrier dynamics and non-equilibrium quasiparticle spectral function are collected using time- and angle-resolved photoemission spectroscopy. The hot carrier temperature and time-dependent electronic self-energy are extracted from the time-dependent spectral function, revealing that incoherent electron-phonon interactions heat the lattice above the charge density wave critical temperature on a timescale of (200 ± 40)~fs. Density functional perturbation theory calculations establish that the presence of hot carriers alters the overall phonon dispersion and quenches efficient low-energy acoustic phonon scattering channels, which results in a new quasi-equilibrium state that is experimentally observed.Publisher PDFPeer reviewe

MerTK expressing hepatic macrophages promote the resolution of inflammation in acute liver failure.

OBJECTIVE: Acute liver failure (ALF) is characterised by overwhelming hepatocyte death and liver inflammation with massive infiltration of myeloid cells in necrotic areas. The mechanisms underlying resolution of acute hepatic inflammation are largely unknown. Here, we aimed to investigate the impact of Mer tyrosine kinase (MerTK) during ALF and also examine how the microenvironmental mediator, secretory leucocyte protease inhibitor (SLPI), governs this response. DESIGN: Flow cytometry, immunohistochemistry, confocal imaging and gene expression analyses determined the phenotype, functional/transcriptomic profile and tissue topography of MerTK+ monocytes/macrophages in ALF, healthy and disease controls. The temporal evolution of macrophage MerTK expression and its impact on resolution was examined in APAP-induced acute liver injury using wild-type (WT) and Mer-deficient (Mer-/-) mice. SLPI effects on hepatic myeloid cells were determined in vitro and in vivo using APAP-treated WT mice. RESULTS: We demonstrate a significant expansion of resolution-like MerTK+HLA-DRhigh cells in circulatory and tissue compartments of patients with ALF. Compared with WT mice which show an increase of MerTK+MHCIIhigh macrophages during the resolution phase in ALF, APAP-treated Mer-/- mice exhibit persistent liver injury and inflammation, characterised by a decreased proportion of resident Kupffer cells and increased number of neutrophils. Both in vitro and in APAP-treated mice, SLPI reprogrammes myeloid cells towards resolution responses through induction of a MerTK+HLA-DRhigh phenotype which promotes neutrophil apoptosis and their subsequent clearance. CONCLUSIONS: We identify a hepatoprotective, MerTK+, macrophage phenotype that evolves during the resolution phase following ALF and represents a novel immunotherapeutic target to promote resolution responses following acute liver injury