Filetype
Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving “assertions” in software testing. Based on a term-based search, we filtered the inclusion of relevant papers and synthesised them with respect to the problem address
Probing the internal structure of crystalline materials is vital for understanding and optimizing their functional properties, especially in semiconductors and multiferroics, where nanoscale distortions such as strain and lattice tilt can dramatically affect performance. Among various characterization tools, X-ray diffraction imaging offers a unique combination of deep penetration, nondestructive
Efter avslutade studier ansöker du om din examen från Examensavdelningen vid Lunds universitet. Alla kurser som ska ingå i den examen som du vill ta ut måste vara avslutade i Ladok när du ansöker. För att få ett bevis över en viss examen måste kraven för den aktuella examen vara uppfyllda. Examensavdelningen prövar din ansökan mot gällande nationella och lokala regler.Nedan listas de specifika kur
https://www.ehl.lu.se/organisation/nationalekonomiska-institutionen/studera-nationalekonomi/examen-i-nationalekonomi - 2026-05-28
Mutations in the CFTR gene result in impaired host defense during cystic fibrosis (CF), where Pseudomonas aeruginosa becomes a key pathogen. We investigated the expression pattern of the antibacterial growth factor midkine in CF and possible interference with its activity by the altered airway microenvironment. High midkine expression was found in CF lung tissue compared with controls, involving e
Despite its simplicity and relevance for the description of electronic correlations in solids, the Hubbard model is seldom inarguably realized in real materials. Here, we show that monolayer Nb3Cl8 is an ideal candidate to be described within a single-orbital Hubbard model, constructed within a “molecular” rather than atomic basis set using ab initio constrained random phase approximation calculat
Photoredox properties of several earth-abundant light-harvesting transition metal complexes in combination with cobalt-based proton reduction catalysts have been investigated computationally to assess the fundamental viability of different photocatalytic systems of current experimental interest. Density functional theory (DFT) and time-dependent DFT (TD-DFT) calculations using several GGA (BP86, B
The interplay of electronic and nuclear degrees of freedom presents an outstanding problem in condensed matter physics and chemistry. Computational challenges arise especially for large systems, long time scales, in nonequilibrium, or in systems with strong correlations. In this work, we show how downfolding approaches facilitate complexity reduction on the electronic side and thereby boost the si
Prediabetes is a metabolic condition associated with gut mi-crobiome composition, although mechanisms remain elu-sive. We searched for fecal metabolites, a readout of gut microbiome function, associated with impaired fasting glucose (IFG) in 142 individuals with IFG and 1,105 healthy individuals from the UK Adult Twin Registry (TwinsUK). We used the Cooperative Health Research in the Region of Aug
Excited state evolution of the rhodium(iii) complex [Rh(iii)(phen)2(NH3)2]2+ (phen = 1,10-phenanthroline) has been investigated theoretically to gain a better understanding of light-driven activation of high-energy metal centered states. Ab initio molecular dynamics (AIMD) simulations show the significance of asymmetric motion on a multidimensional potential energy landscape around the metal cente
Simulation of conflict situations for autonomous driving research is crucial for understanding and managing interactions between Automated Vehicles (AVs) and human drivers. This paper presents a set of exemplary conflict scenarios in CARLA that arise in shared autonomy settings, where both AVs and human drivers must navigate complex traffic environments. We explore various conflict situations, foc
The plasma proteome is maintained by the influx and efflux of proteins from surrounding organs and cells. To quantify the extent to which different organs and cells impact the plasma proteome in healthy and diseased conditions, we developed a mass-spectrometry-based proteomics strategy to infer the tissue origin of proteins detected in human plasma. We first constructed an extensive human proteome
Prokaryotic Argonaute proteins (pAgos) from the long-A clade are stand-alone immune systems that use small interfering DNA (siDNA) guides to recognize and cleave invading plasmid and virus DNA. Certain long-A pAgos are co-encoded with accessory proteins with unknown functions. Here, we show that cyanobacterial long-A pAgos act in conjunction with Argonaute-associated Cas4 family enzyme 1 (ACE1). S
Prostate Cancer Diagnosis and Treatment Enhancement through the Power of Big Data in Europe (PIONEER) is a European network of excellence for big data in prostate cancer. PIONEER brings together 34 private and public stakeholders from 9 countries in one multidisciplinary research consortium with the aim of positively transforming the field of prostate cancer clinical care by answering pressing que
The separator is a machine with many applications, commonly used to separate liquids or solids into components with different density. Each application demands its own unique set of process parameters to achieve optimal results. Often the procedure of finding the best process parameters is conducted empirically, which can be very time consuming. This thesis aims to address this problem by providin
7 miljoner människor dör varje år på grund av cigarrettrökning. Idag finns det flera olika produkter på marknaden som kan hjälpa personer att sluta denna dåliga vana. Den första var Nicorette® tuggummin. När McNeil AB producerar Nicorette® tuggummin, följer McNeil de strikta kraven på kvalité som de regulatoriska myndigheterna kräver. Dessa krav tvingar McNeil att slänga tonvis av tuggummin varje McNeil AB produces pharmaceutical chewing gums that contains nicotine. Since this smoking cessation product is a pharmaceutical, the regulatory agencies demand that any gums outside pre-set specifications are discarded. Some batches have more discarded material than others, due to the variability in the manufacturing process. By analysing this variability, the personnel could make choices that low
Combination therapies in metastatic hormone-sensitive prostate cancer (mHSPC), which include the addition of an androgen receptor signaling inhibitor and/or docetaxel to androgen deprivation therapy, have been a game changer in the management of this disease stage. However, these therapies come with their fair share of toxicities and side effects. The goal of this observational study is to report
A computational method to simulate bimolecular quenching reactions using coarse-grained reaction-diffusion dynamics is presented and applied to the quenching of molecular photosensitizers in solution. The simulations describe photoinduced reactions involving explicit excited states of light-harvesting species together with intrinsic deactivation, as well as collision quenching from separate quench
Presented at the Europan Inter-Sessions Forum (2021), an international platform bringing together winning teams, municipalities, and researchers to discuss the transition from competition ideas to implementation processes, this contribution focuses on Lerum E10, a collaborative project by Marco Pusterla and Jesús Mateo, developed within Europan 10, a European competition and research platform for
