Filtyp
The human vestibulo-ocular reflex (VOR) leads to maintenance of the acuity of an image on the retina and contributes to the perception of orientation during high acceleration head movements. Our objective was to determine whether vision affects the horizontal VOR by assessing and comparing the performance at the boundaries of contribution of: (a) unrestricted visual information and (b) no visual i
We consider a version of the Erdős–Rothschild problem for families of graph patterns. For any fixed k≥3, let r0(k) be the largest integer such that the following holds for all 2≤r≤r0(k) and all sufficiently large n: The Turán graph Tk−1(n) is the unique n-vertex graph G with the maximum number of r-edge-colorings such that the edge set of any copy of Kk in G is rainbow. We use the regularity lemma
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
This exhibition of new sculptural works by the artist coincides with the launch of a new series of prints by Rosa Barba published by, and only available through Cahiers d’Art; featuring two distinct series of unique Monoprints and two Limited Edition print series. After spending time among the archives of Cahiers d’Art, Rosa Barba drew inspiration from the original copper printing plates featuring
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
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
Grandparents’ involvement in their adult children’s families has increased in recent decades, especially in relation to care arrangements around grandchildren. This ‘new army of proxy parents’ calls for the need to critically analyse grandparental care. Drawing on a study on intergenerational care in Sweden, involving grandparents, adult children and grandchildren (63 interviewees including 28 gra
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
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
This study explores how Swedish preachers incorporate AI chats such as ChatGPT into sermon preparation. Based on interviews, chat logs, and sermon manuscripts from six priests in the Church of Sweden, the study uses relevance theory to analyse the preachers' prompting and evaluation strategies. The preachers primarily use large language models (LLMs) for brainstorming and inspiration, critically e
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
