Search results

When it comes to innovation, economic growth, affluence and international attractiveness, there are currently few places in the world that can compare with the San Francisco Bay Area. However, new megatrends such as Sustainability, can challenge its attractiveness. Scholars talk about the “Nordic approach”.In the geographical area of Southern Scandinavia, ‘The Strait Area’, the focus is on Sustain

Cemented carbides with tungsten carbide grains as hard phase and metallic cobalt binder phase are used extensively for drill bit inserts for rock drilling. The process of rock drilling is severe with some of the wear happening through fracture in the cemented carbide. This work investigated two cemented carbides with iron rich alternative binder phases containing different amounts of FCC phase, in

We study an information design problem to reduce congestion in transportation networks. In presence of an uncertain network state, the central planner may sends private signals to the users, with the goal of steering the user equilibrium towards the system optimum flow. We consider private signals and provide sufficient conditions under which optimality may be achieved by information provision in

We deal with a control problem for a complex social network in which each agent has an action and an opinion, evolving according to a coevolutionary model. In particular, we consider a scenario in which a committed minority - a set of stubborn nodes - aims to steer a population, initially at a consensus, to a different consensus state. Our study focuses on determining the conditions under which su

Computational methods to understand interactions in bio-complex systems are however limited to time-scales typically much shorter than in Nature. For example, on the nanoscale level, interactions between nanoparticles (NPs)/molecules/peptides and membranes are central in complex biomolecular processes such as membrane-coated NPs or cellular uptake. This can be remedied by the application of e.g. J

The contributions from anions and cations from salt are inseparable in their perturbation of molecular systems by experimental and computational methods, rendering it difficult to dissect the effects exerted by the anions and cations individually. Here we investigate the solvation of a small molecule, caffeine, and its perturbation by monovalent salts from various parts of the Hofmeister series. U

In this paper, characteristic mode analysis is used to gain insight into the operation of millimeter-wave series patch array. It is shown that the series patch array (broadside) mode has lower modal bandwidth and higher resonant frequency than the corresponding mode of a constituting patch element, whereas the other dominant orthogonal (broadside) mode is identical between the array and the single

Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool

Hematopoietic stem cells (HSCs) enable hematopoietic stem cell transplantation (HCT) through their ability to replenish the entire blood system. Proliferation of HSCs is linked to decreased reconstitution potential, and a precise regulation of actively dividing HSCs is thus essential to ensure long-term functionality. This regulation becomes important in the transplantation setting where HSCs unde

Mutation testing is the state-of-the-art technique for assessing the fault detection capacity of a test suite. Unfortunately, a full mutation analysis is often prohibitively expensive. The CppCheck project for instance, demands a build time of 5.8 min and a test execution time of 17 s on our desktop computer. An unoptimised mutation analysis, for 55,000 generated mutants took 11.8 days in total, o

We present a methodology for establishing the existence of quadratic Lyapunov inequalities for a wide range of first-order methods used to solve convex optimization problems. In particular, we consider (i) classes of optimization problems of finite-sum form with (possibly strongly) convex and possibly smooth functional components, (ii) first-order methods that can be written as a linear system on

By measuring brain activity, through techniques such as electroencephalography (EEG), it is possible to decode which sound source a person is listening to, called auditory attention decoding (AAD). This can either be done investigating the relation between speech sources and corresponding brain responses over time, or by discrimi-natively estimating directions to which auditory attention is focuse

This paper serves as a first identification step in a two-step model-based control synthesis problem of switched linear systems (SLSs). More precisely, we present an algorithm that addresses the realization of the multi-input/multi-output MIMO-SLSs from Markov parameters under mild assumptions on the dwell-times and the submodels. A key point of the proposed approach is the introduction of the for

In this paper, we propose a framework to iden-tify discrete-time, multi-input/multi-output (MIMO), switched-linear systems (SLSs) from input-output data. The key step is an observer-based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation has a nontrivial kernel complicating identification, but converts the state-space identification problem to SARX

We present a unique comparative analysis, and evaluation of vision, radio, and audio based localization algorithms. We create the first baseline for the aforementioned sensors using the recently published Lund University Vision, Radio, and Audio (LuViRA) dataset, where all the sensors are synchronized and measured in the same environment. Some of the challenges of using each specific sensor for in

We introduce a novel approach for energy-efficient scheduling of data-dependent stream programs with packet types on multicore architectures with voltage and frequency scaling. To have the given application meet specific throughput demands while minimizing energy consumption, we enhance the existing crown scheduling by packet-type dependent parameters. Formulation as an integer linear program gene

This is an undeniable fact now that wireless systems pervade all aspects of our lives. These systems are evolving at a rapid clip, connecting more people and devices every single day that goes by. This growth is further fueled by the users’ insatiable appetite for more traffic, be it for online gaming, watching high-fidelity video, downloading huge files, live- streaming and many more uses. With t

While the 8.2 ka abrupt cooling event is increasingly recognised as a major Holocene climatic anomaly, archaeological discussions of its cultural consequences have often been framed in terms of societal distress, including the collapse and abandonment of settlements. However, prehistoric communities must have responded in more diverse ways. This paper investigates the site-based socio-ecological a

In the era of artificial intelligence of things (AIoT), distributed processing on local devices is growing in popularity. This stems from the need to reduce data transfer to and from central servers, with concerns about privacy and latency encouraging the processing of AI applications on edge devices. However, the computational demands of these applications require an increase in the processing ca

With the rapid growth of mobile communication systems, massive multiple-input multiple-output (MIMO) technology plays a key role in enhancing communication systems to meet growing data traffic demands. However, scaling the technology further challenges the system designers to balance design tradeoffs in order to provide efficient and low-cost communication systems. This requires efficient hardware