Filetype
Current techniques for visualising geospatial Linked Data are limited in terms of multiple representation, which has been studied for decades by cartographers and considered as a prerequisite for deriving appropriate geovisualisation applications. In order to alleviate this issue, this paper presents a work in progress, in which the multiple representation geospatial data are released as Linked Da
The Paris Agreement requests a substantial reduction of greenhouse gas (GHG) emissions. These emissions are currently mainly estimated from bottom-up inventories and process-based models of land and ocean fluxes. Another, complementary approach is based on measurements of the atmospheric GHG concentration in combination with atmospheric inverse modelling to provide the GHG fluxes. For the latter a
Background: There is a lack of validated tools to assess potential disease progression and hospitalisation decisions in patients presenting to the emergency department (ED) with a suspected infection. This study aimed to identify suitable blood biomarkers (MR-proADM, PCT, lactate and CRP) or clinical scores (SIRS, SOFA, qSOFA, NEWS and CRB-65) to fulfil this unmet clinical need. Methods: An observ
Despite advancements in treatment modalities, the 10-year survival rate of women diagnosed with advanced-stage ovarian cancer has remained between 10% and 15% for the past 20 years. This is in part due to the majority of cases being diagnosed when disease has reached International Federation of Gynecology and Obstetrics stages III to IV. Approximately 70% of patients treated with cytoreductive sur
The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage state-of-the-art conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However,
Mission-critical applications such as industrial control processes are evolving towards a new development paradigm by offloading their heavy computations to the edge of the emerging Fifth Generation Wireless Specifications (5G) network. In this manner, the applications can gain the economical and efficiency benefits of cloud computing, as well as reliable communication from the 5G network. However
The metabolic effects associated with intake of different dietary protein sources are not well characterized. We aimed to elucidate how two diets that varied in main protein sources affected the fasting and postprandial serum metabolites and lipid species. In a randomized controlled trial with crossover design, healthy adults (n = 20) underwent a 4-week intervention with two balanced diets that va
Code review occupies a significant amount of developers’ work time and is an established practice in modern software development. Despite misaligments between users’ goals and the code review tools and processes pointed out by recent research, the code review tooling has largely stayed the same since the early 90s. Improving these tools, even slightly, has the potential for a large impact spread o
Introduction: Antimicrobial resistance (AMR) represents a persistent and ascensive global threat influenced by antibiotic misuse and overuse. In the Romanian context, patterns of antibiotic consumption and resistance within the healthcare system are marked in the red scenario on the European map. General practitioners and pharmacists, among others, play a major role in stewardship towards AMR.Aim:
Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must be augmented to produce justifications for any inferences they make, so that an independent proof checker can certify correctness. The Circuit constraint is used to enforce a Hamiltonian cycle on a set of vertices, e.g. for vehicle routing. Maintainin
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems. However, ensuring correctness of MaxSAT solvers has remained a considerable concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable
Proof logging has long been the established method to certify correctness of Boolean satisfiability (SAT) solvers, but has only recently been introduced for SAT-based optimization (MaxSAT). The focus of this paper is solution-improving search (SIS), in which a SAT solver is iteratively queried for increasingly better solutions until an optimal one is found. A challenging aspect of modern SIS solv
Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learning search. Another paradigm, occurring in dynamic programming and decision diagram solving, instead reasons about partial states and possible transitions between them. We describe a fr
An extension of the feedline is often needed when an antenna is integrated with the roof glass of a car. How much the extension affects the antenna performance depends on the type of antenna and feedline used. This paper studies the effects of coplanar waveguide feedline extension on the performance of a circularly-polarized square slot antenna. Simulation results show a general decrease in the an
The advent of 6G wireless communication marks a transformative era in technological connectivity, bringing forth challenges and opportunities alike. This paper unveils an innovative, open-source simulator, meticulously crafted for cell-free 6G wireless networks. This simulator is not just a tool but a gateway to the future, blending cutting-edge channel models with the simulation of both physical
Dataflow is a Model of Computation (MoC) that describes applications as networks of actors. The CAL Actor Language (CAL) is one of the programming languages for describing such actors. A downside to CAL is that the actors and their networks are rigidly defined - it is not possible to have a parametric number of ports or actions in an actor. This makes it difficult to define flexible applications o
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in contrast to the SAT solvers on which MaxSAT solving rests, there has been little parallel development of techniques to prove the correctness of MaxSAT results. We show how pseudo-Boolean proof logging can be used to certify state-of-the-art core-guided
Sub-THz deployment is challenging due to high propagation losses, necessitating dense deployment. To reduce cost, RF signal can be distributed via plastic fiber to remote radio units to increase coverage area. In this paper, we propose an antenna-in-package concept for the single-layer substrate on low-cost embedded wafer level ball grid array (eWLB) packages. To suppress the distortion in the bro
