Filetype
This study presents a measurement campaign with an ultra-large-scale antenna array in both Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) outdoor scenarios. Measurements were conducted at a center frequency of 15 GHz with a bandwidth of 4 GHz. A virtual 40×40 planar antenna array, formed by moving a vertically-polarized bi-conical omni-directional antenna (ODA) along regularly spaced grids, was
Background: Rare variants of the triggering receptor expressed on myeloid cell 2 (TREM2) gene are strong risk factors for Alzheimer’s disease (AD), and drugs targeting the TREM2 protein are being developed. However, it is unknown what the effect of TREM2 variants is on the AD phenotype. Methods: Here we studied a full range of clinical and biomarker measures in a large cohort of TREM2 variant carr
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
BACKGROUND: Medical students navigate a complex landscape of digital tools with potential to enhance learning. The main objectives of the current study were to investigate which digital resources are being used, which background factors are associated with utilization, perceived advantages and disadvantages of different digital resources, and explore future directions.METHODS: Cross-sectional, nat
Taboo obsessions are ego-dystonic, recurrent, and intrusive thoughts involving aggressive, sexual and/or religious themes, which are common in individuals with obsessive-compulsive disorder (OCD). These symptoms are often challenging to treat with traditional, exposure-based approaches. Our research group has developed and successfully piloted an Internet-delivered intervention based on the cognit
Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag
Objective: To analyze the outcomes of urgent/emergent endovascular aortic repair of patients with free/contained ruptured thoracoabdominal aortic aneurysms (rTAAA). Background: Endovascular repair of rTAAA has been scarcely described in emergent setting. Methods: An international multicenter retrospective observational study (ClinicalTrials.govID:NCT05956873) from January 2015 to January 2023 in 6
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
Background: Keeping the umbilical cord intact the first minutes after delivery is beneficial for both term and preterm infants. However, this may be challenging in caesarean sections (CS) due to lack of mobile resuscitation equipment, maintenance of sterility or concern for excessive maternal blood loss. The objective of this study was to develop and pilot-test extra-uterine placental transfusion
Background: MR-generated acoustic noise may be particularly concerning at 7-Tesla (T) systems. Noise levels can be reduced by altering gradient output using software optimization. However, such alterations might influence image quality or prolong scan times, and these optimizations have not been well characterized. Purpose: To evaluate image quality, sound pressure levels (SPLs), and perceived noi
BACKGROUND: Differences in cardiac sarcoidosis between racial groups remain understudied. Therefore, this study aims to explore race differences in patients with cardiac sarcoidosis. METHODS: We analyzed data from the Cardiac Sarcoidosis Consortium, an international registry including over 25 centers. The primary clinical outcome was a composite end point of all-cause mortality, left ventricular a
Objective: Evaluate the impact of adrenalectomy on metabolic parameters and quality of life (QoL) in patients with mild autonomous cortisol secretion (MACS). Method: A multicenter prospective randomized clinical trial compared adrenalectomy with conservative management. Metabolic parameters and QoL were assessed at baseline and after 2 years. Results: Forty-three MACS patients with a single adrena
Particulate methane monooxygenase (pMMO) is an enzyme that converts methane into methanol at ambient temperature and pressure. Over the past three decades, the metal content and location of the active site have been highly controversial. Recent single-particle cryogenic electron-microscopy (cryo-EM) structures have furthered this debate. In this study, three cryo-EM structures (PDB entries 7s4h, 7
A combination of searches for the single production of vectorlike top quarks ((Formula presented)) is presented. These analyses are based on proton-proton collisions at (Formula presented) recorded in 2015-2018 with the ATLAS detector at the Large Hadron Collider, corresponding to an integrated luminosity of (Formula presented). The (Formula presented) decay modes considered in this combination ar
We analyze the stability of the logit evolutionary dynamics in population games, possibly with multiple heterogeneous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise
The performance of wireless communications at sea are often limited by fading caused by reflections at the sea surface. The reliability could potentially be improved by employing multiple antennas. We have conducted massive multiple-input multiple-output (MIMO) measurements at sea in order to evaluate the performance. The measurements were conducted at 5.6 GHz with 64 dual-polarized antennas, whic
The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is
We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi
Background: Inadequate health literacy increases medical costs and leads to poor health outcomes. However, there is a paucity of empirical evidence of such associations in sub-Saharan Africa. This study investigates how the household cost of malaria in children under five in Ghana varies based on different levels of health literacy. Methods: A cross-sectional survey involving 1270 caregivers of ch
