Filtyp
The Swedish crime genre is experiencing an intense period of change at the moment. Crime writers appear to be at the forefront when it comes to the issue of how to reach international audiences, how to promote books and author’s brands through events, and how to create a successful life as a writer. The working conditions, as well as the content of what is sold and marketed to the readers have gon
This article explores ways of encouraging student engagement with feedback on literature essays. In addition to standard practice of student-centred peer review coupled with feedback from teachers, we have developed a scaffolded pair of reflection tasks on an introductory-level English literature course. With a focus on our two-step model for student self-reflection, this article highlights some c
LU-PZE is an interactive tool for illustrating fundamental concepts related to control theory, covering the relation between transfer functions, pole-zero plots, step responses, Bode plots, and Nyquist diagram. The tool gamifies education with dynamic assignments and quizzes. The tool is straightforward to use since it is web-based. https://lu-pze.github.io
Navigating complex environments requires Unmanned Aerial Vehicles (UAVs) and autonomous systems to perform trajectory tracking and obstacle avoidance in realtime. While many control strategies have effectively utilized linear approximations, addressing the non-linear dynamics of UAV, especially in obstacle-dense environments, remains a key challenge that requires further research. This paper intro
In this paper, we unify two already published results on state feedback H-infinity optimality. Previously, optimality has been shown for a particular controller structure in the case that the open-loop state matrix is symmetric, as well as in the case that the closed-loop system is internally positive. By contrast, the main result of the present paper gives optimality based on neither of these two
We study optimal seeding problems for binary super-modular network games. The system planner's objective is to design a minimal cost seeding guaranteeing that at least a predefined fraction of the players adopt a certain action in every Nash equilibrium. Since the problem is known to be NP-hard and its exact solution would require full knowledge of the network structure, we focus on approximate so
We study stochastic interaction network models whereby a finite population of agents, identified with the nodes of a graph, update their states in response to pairwise interactions with their neighbors as well as spontaneous mutations. These include the main epidemic models, such as the Susceptible-Infected -Susceptible, the Susceptible-Infected-Recovered, and the Susceptible-Infected-Recovered-Su
Bringing together scholars and scholar-activists from a wide range of disciplines, this groundbreaking book delves into the diversity and vibrancy of feminist activism in Xi-era China. Feminist Activism in the Post-2010s Sinosphere examines a variety of urgent feminist issues in 21st-century China, including the #MeToo movement, online misogyny, feminism in popular media, and the experiences and r
Universities are expected to play a proactive role in the sustainable development andtransformation of their regions. However, they face external and internal barriers toplay that role. One possible approach to overcome those barriers is through trans-formative academic institutions (TAIs). TAIs are defined as research centres createdwithin universities to proactively engage in territorial develop
The wide spread of on-line social networks poses new challenges in information environment and cybersecurity. A key issue is detecting stubborn behaviors to identify leaders and influencers for marketing purposes, or extremists and automatic bots as potential threats. Existing literature typically relies on known network topology and extensive centrality measures computation. However, the size of
We uncover a critical side-channel vulnerability in the Hamming Quasi-Cyclic (HQC) round 4 optimized implementation arising due to the use of the modulo operator. In some cases, compilers optimize uses of the modulo operator with compiletime known divisors into constant-time Barrett reductions. However, this optimization is not guaranteed: for example, when a modulo operation is used in a loop the
After the COVID-19 pandemic, during which teachers developed a lot of online course material, teachers worldwide are challenged with how to combine online teaching with classroom teaching in an efficient way. This paper presents Discussion seminars, a teaching activity that structures discussions clearly, making it easy for students and teachers to follow the discussion. The paper puts Discussion
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al.'99] also on proof size. [Alekhnovich and Razborov'03] established that if the clause-variable incidence graph of a conjunctive normal form (CNF) formula F is a good enough expander, then proving that F is unsatisfiable requires high
The analysis of interconnected systems is a large and growing field, with successful applications in a wide range of natural and synthesized systems. Biomolecular networks, power grids and human social dynamics have all been the subject of study through the lens of network dynamics, with impressive results. The work presented in this thesis takes the form of four research papers all focusing in di
This article uses a new database of 1,891 probate inventories from rural southern Sweden to investigate the development of rural households’ productive capacity from the late 1600s to the 1860s. Both labourers and farmers improved their material living standards – as measured by the contents of probate inventories – but the labouring households’ ownership of means of production decreased over timeThis article uses a new database of 1,891 probate inventories from rural southern Sweden to investigate the development of rural households’ productive capacity from the late 1600s to the 1860s. Both labourers and farmers improved their material living standards – as measured by the contents of probate inventories – but the labouring households’ ownership of means of production decreased over time
Effective preprocessing of electroencephalography (EEG) data is fundamental for deriving meaningful insights. Independent component analysis (ICA) serves as an important step in this process by aiming to eliminate undesirable artifacts from EEG data. However, the decision on which and how many components to be removed remains somewhat arbitrary, despite the availability of both automatic and manua
In this paper, we introduce OT-PCA, a novel approach for conducting Plaintext-Checking (PC) oracle based side-channel attacks, specifically designed for Hamming Quasi-Cyclic (HQC). By calling the publicly accessible HQC decoder, we build offline templates that enable efficient extraction of soft information for hundreds of secret positions with just a single PC oracle call. Our method addresses cr
In this thesis, we provide a number of novel algebraic means of certifying stability and performance for linear systems constrained in various ways by cones. The purpose is mainly threefold: to provide mathematical statements with applicative potential, to unify seemingly dissimilar results in the literature and thereby increase understanding, and to advance the state of the art on dynamical syste
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
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
