Filtyp
Software developers use collection data structures extensively andare often faced with the task of picking which collection to use.Choosing an inappropriate collection can have major negativeimpact on runtime performance. However, choosing the right collectioncan be difficult since developers are faced with many possibilities,which often appear functionally equivalent. One approachto assist develo
We present a method for solving the general mixed constrained convex quadratic programming problem using an active set method on the dual problem. The approach is similar to existing active set methods, but we present a new way of solving the linear systems arising in the algorithm. There are two main contributions; we present a new way of factorizing the linear systems, and show how iterative ref
Event-based sampling has been proposed as a general technique for lowering the average communication rate, energy consumption and computational burden in remote state estimation. However, the design of the event trigger is critical for good performance. In this paper, we study the combination of innovation-based triggering and state estimation of nonlinear dynamical systems using the particle filt
Efficient unit propagation for clausal constraints is a core building block of conflict-driven clause learning (CDCL) Boolean satisfiability (SAT) and lazy clause generation constraint programming (CP) solvers. Conflict-driven pseudo-Boolean (PB) solvers extend the CDCL paradigm from clausal constraints to integer linear constraints, also known as (linear) PB constraints. For PB solvers, many diff
Context: The changes that are taking place with respect to environmental sensitivity are forcing organizations to adopt a new approach to this problem. Implementing sustainability initiatives has become a priority for the social and environmental awareness of organizations that want to stay ahead of the curve. One of the business areas that has, more than others, proven to be a vital asset and a p
The prevalence of Artificial Intelligence (AI) in the business landscape is indisputable. However, there are considerable gaps between the visionary ideas businesses communicate and their operational use of AI. The goal of this market survey is to identify companies currently working with AI in the Øresund Region - referred to as AI companies. The survey, conducted between June and September 2020,
The Eurasian (née European) Modern Pollen Database (EMPD) was established in 2013 to provide a public database of high-quality modern pollen surface samples to help support studies of past climate, land cover, and land use using fossil pollen. The EMPD is part of, and complementary to, the European Pollen Database (EPD) which contains data on fossil pollen found in Late Quaternary sedimentary arch
Software engineering research aims to help improve real-world practice. With the adoption of empirical software engineering research methods, the understanding of real-world needs and validation of solution proposals have evolved. However, the philosophical perspective on what constitutes theoretical knowledge and research contributions in software engineering is less discussed in the community. I
Turbulent fluxes make a substantial and growing contribution to the energy balance of ice surfaces globally, but are poorly constrained owing to challenges in estimating the aerodynamic roughness length (z0). Here, we used structure from motion (SfM) photogrammetry and terrestrial laser scanning (TLS) surveys to make plot-scale 2-D and 3-D microtopographic estimations of z0 and upscale these to ma
Background and objective: New proposals to improve the regulation of hypnosis in anaesthesia based on the development of advanced control structures emerge continuously. However, a fair study to analyse the real benefits of these structures compared to simpler clinically validated PID-based solutions has not been presented so far. The main objective of this work is to analyse the performance limit
Deep learning has proven itself to be a powerful tool to develop datadriven signal processing algorithms for challenging engineering problems. By learning the key features and characteristics of the input signals instead of requiring a human to first identify and model them, learned algorithms can beat many human-made algorithms. In particular, deep neural networks are capable of learning the comp
This paper deals with the real-time implementation of feedback controllers. In particular, it provides an analysis of the stability property of closed-loop systems that include a controller that can sporadically miss deadlines. In this context, the weakly hard m-K computational model has been widely adopted and researchers used it to design and verify controllers that are robust to deadline misses
Fitting a matrix of a given rank to data in a least squares sense can be done very effectively using 2nd order methods such as Levenberg-Marquardt by explicitly optimizing over a bilinear parameterization of the matrix. In contrast, when applying more general singular value penalties, such as weighted nuclear norm priors, direct optimization over the elements of the matrix is typically used. Due t
Handling of critical situations is an important part in the architecture of an autonomous vehicle. A controller for autonomous collision avoidance is developed based on a wary strategy that assumes the least tireroad friction for which the maneuver is still feasible. Should the friction be greater, the controller makes use of this and performs better. The controller uses an acceleration-vector ref
Segmenting a motion-planning problem into smaller subproblems could be beneficial in terms of computational complexity. This observation is used as a basis for a new sub-maneuver decomposition approach investigated in this paper in the context of optimal evasive maneuvers for autonomous ground vehicles. The recently published alternating augmented Lagrangianmethod is adopted and leveraged on, whic
Background: Acute coronary syndromes most commonly arise from thrombosis of lipid-rich coronary atheromas that have large plaque burden despite angiographically appearing mild. Objectives: This study sought to examine the outcomes of percutaneous coronary intervention (PCI) of non–flow-limiting vulnerable plaques. Methods: Three-vessel imaging was performed with a combination intravascular ultraso
Methane emissions from natural wetlands tend to increase with temperature and therefore may lead to a positive feedback under future climate change. However, their temperature response includes confounding factors and appears to differ on different time scales. Observed methane emissions depend strongly on temperature on a seasonal basis, but if the annual mean emissions are compared between sites
Plants release to the atmosphere reactive gases, so-called volatile organic compounds (VOCs). The release of VOCs from vegetation is temperature-dependent and controlled by vegetation composition because different plant species release a distinct blend of VOCs. We used modelling approaches on ecosystem VOC release data collected across the Arctic, which is experiencing both rapid warming and veget
