Filetype
Clog is a declarative language for describing static code checkers for C. Clog is a dialect of Datalog and adds syntactic pattern matching over the C language. We have built Clog using the MetaDL framework and the Clang C compiler frontend. The MetaDL framework supports Datalog evaluation and syntactic patterns, while the Clang frontend provides AST facts and an AST matching mechanism.We provide t
IMPORTANCE: Atrial fibrillation (AF), the most prevalent sustained arrhythmia, portends higher risk of cardiovascular morbidity and mortality, and is associated with quantifiable impairment in quality of life. While physical activity is widely recognized for its cardiovascular benefits, recent evidence challenges its role in the development of AF. OBSERVATIONS: Emerging data suggest a U-shaped rel
Disasters such as COVID-19 and the Russia–Ukraine war are drawing attention to the provisioning of food during crises. The main concern has been quickly establishing a stable food supply. However, climate change and public health concerns are shifting attention to the critical gap in identifying the minimal considerations that would adequately address ecological disaster food provisioning. A meta-
Although political governance guides education and research, there are options for researchers, educators and curators to act in the spirit of academic freedom. The deontological ethical guidelines stabilize the archaeological establishment no matter what kind of work. The utilitarian dimensions within archaeological research and higher education open up for critical thinking.Twisting and turning,
We introduce a novel method for extracting a fragmentation model directly from experimental data without requiring an explicit parametric form, called Histories and Observables for Monte-Carlo Event Reweighting (HOMER), consisting of three steps: the training of a classifier between simulation and data, the inference of single fragmentation weights, and the calculation of the weight for the full h
We propose and analyze a novel scheme based on LDPC codes for quantitative group testing. The key underlying idea is to augment the bipartite graph by introducing hidden non-binary variables to strengthen the message-passing decoder. This is achieved by grouping items into bundles of size q within the test matrix, while keeping the testing procedure unaffected. The decoder, inspired by some works
Moving beyond both utopian optimism's market-based solutions and terminal marketing's pessimism, this work introduces a dystopian optimism to revitalise critical marketing. We advocate for degrowth as an optimistic path forward and outline how marketing scholars can use critical performativity to be part of the transition to a post-growth economy.
Indoor sensing is challenging because of the multi-bounce effect, spherical wavefront, and spatial nonstationarity (SNS) of the near-field effect. This paper addresses radio-based environment sensing considering these issues. Specifically, graph theory (GT) is used to model the multi-bounce propagation of the near field. In this manner, indoor reflectors/scatterers are modeled as vertices in a pro
The MAX IV 3 GeV linac delivers electron beams to two synchrotron rings and to a dedicated undulator system for X-ray beam delivery in the Short Pulse Facility (SPF). In addition, there are plans to use the linac as an injector for a future Soft X-ray Laser (SXL). For both SPF and SXL operations, longitudinal beam characterisation with a high temporal resolution is essential. For this purpose, a t
We consider a system of equations that model the temperature, electric potential and deformation of a thermoviscoelastic body. A typical application is a thermistor; an electrical component that can be used e.g. as a surge protector, temperature sensor or for very precise positioning. We introduce a full discretization based on standard finite elements in space and a semi-implicit Euler-type metho
Simulations can be used as a means for extension of data collection from empirical studies. A simulation model is developed, based on the data from experiments, and new data is generated from the simulation model. This paper replicates an initial investigation by Münch and Armbrust, with the purpose of evaluating the generality of their approach. We replicate their study using data from two inspec
Clinical research usually involves time-to-event survival analysis, in which the presence of a competing event is prevalent. It is acceptable to use the conventional Cox proportional hazard regression to model cause-specific hazard. However, this cause-specific hazard cannot directly translate to the cumulative incidence function, and the latter is usually clinically relevant. The subdistribution
Mobile Stroke Units (MSUs) are specialized ambulances that can diagnose and treat stroke patients; hence, reducing the time to treatment for stroke patients. Optimal placement of MSUs in a geographic region enables to maximize access to treatment for stroke patients. We contribute a mathematical model to optimally place MSUs in a geographic region. The objective function of the model takes the tra
It is vital to consider acoustic scattering when using geometrical acoustic simulation techniques, such as ray tracing. However, there are few methods for modelling scattering, and most rely on strong assumptions of uniformity on the distribution of scattered energy. In this paper, a model for directional scattering in ray tracers is presented. The model is based on an idealized model of a 1D scat
Background: Atopic dermatitis (AD) is a common inflammatory skin disease while the economic burden of AD by severity is not adequately understood. Objective: To estimate the societal economic burden and to identify cost determinants of AD. Methods: In this population-based, controlled cohort study in Sweden, patients with AD were identified through diagnosis codes in primary or secondary care or b
This paper aims to give a short description of Swedish healthcare provision for persons with intellectual and developmental disabilities (IDD). Swedish persons with IDD should have access to the general healthcare system on the same terms as the general population, and thereby enjoy equal opportunities for healthcare of good quality. Reports from government agencies and interest groups, however, d
