Sökresultat

3-DOF Gantry Tau is a type of parallel robot, consisting of six struts configured in three clusters, which provides three translational DOFs. It has increasing industrial use in applications where large workspace and high stiffness are required. In fact, the concept of dynamic isotropy, where all the natural frequencies of a system are equal, can be employed in order to effectively optimize the ge

Low latency signal processing and high throughput implementations are required in order to realize real-time TDD massive MIMO communications, especially in high mobility scenarios. One of the main challenges is that the up-link and down-link turnaround time has to be within the coherence time of the wireless channel to enable efficient use of reciprocity. This paper presents a hardware architectur

Popular Abstract in Swedish Sverige har i olika sammanhang beskrivits som ett land som präglas av så kallade mångkulturella sociala relationer. I avhandlingen I historiekanons skugga: Historieämnet och identifikationsformering i 2000-talets mångkulturella samhälle analyseras implikationer av framväxten av det så kallade mångkulturella samhället på historieämnet. Avhandlingens övergripande syfte ärSweden has on various occasions been described as a multicultural society. So-called multicultural social change has resulted in numerous implications regarding attitudes in respect of history as a subject taught at upper secondary schools. The aim of this study is to problematise the relationship between students' (ethnic) identification and their view of history as a subject. The study focuses o

The presence of surfaces influences the fibril formation kinetics of peptides and proteins. We present a systematic study of the aggregation kinetics of amyloidogenic peptides caused by different surfaces using molecular simulations of model peptides and thioflavin T fluorescence experiments. Increasing the monomer surface attraction affects the nucleation and growth of small oligomers in a nonlin

This contribution concerns the development of generic methods and tools for robust optimal control of high-pressure liquid chromatographic separation processes. The proposed methodology exploits a deterministic robust formulation, that employs a linearization of the uncertainty set, based on Lyapunov differential equations to generate optimal elution trajectories in the presence of uncertainty. Co

Syftet med denna studie är att undersöka mål och mening med undervisning i dansimprovisation. I studien har jag genomfört fyra kvalitativa intervjuer med informanter som undervisar i ämnet. Genom litteratur och intervjuer belyser jag dansimprovisationen som begrepp och fenomen. Informanterna ger en bild av hur deras undervisning går till, vad det innebär att improvisera samt beskriver vilka mål deTitle: Dance improvisation, “…then you can’t say that anything is right or wrong, but then again maybe you can…” The purpose of this study is to examine the goals and intentions of teaching dance improvisation. In this study, I have made four interviews using qualitative method with informants who are teaching the subject. Through literature and qualitative interviews, the study sheds light on dan

The transition to post-quantum cryptography is well underway. Driven by the recognition that Shor's algorithm would render all widely deployed asymmetric cryptosystems insecure in the presence of a sufficiently capable quantum computer, the cryptographic community has spent the past decade designing, evaluating, and standardizing a new generation of public-key primitives. In 2024, ML-KEM became th

Recognising the need for PQC signature schemes with different sizes and performance trade-offs than the ML-DSA and SLH-DSA standards, in 2023, NIST launched a competition for additional signature algorithms. Among the current candidates in this competition is CROSS, a code-based scheme derived from the syndrome-decoding problem and suitable for memory-constrained devices. This paper presents a fau

Sedan 1895 har det inom aktiebolagsrätten funnits bestämmelser om tvångslikvidation på grund av kapitalbrist. Det övergripande syftet med bestämmelserna är att sätta upp gränser för hur långt en förlustbringande verksamhet får fortsätta innan verksamheten måste avbrytas genom likvidation. Bestämmelserna innebär att styrelsen har en skyldighet att agera i ett antal situationer. Styrelsen ska, när dSince 1895 there have been provisions regarding compulsory liquidation due to capital deficiency in Swedish company law. The general purpose of the provisions is to set limits on how far a loss-making activity may continue before the activity has to be interrupted by liquidation. The provisions provide that the board of directors has a duty to act in a number of situations. The board of directors

The first WARA Robotics Mobile Manipulation Challenge, held in December 2024 at ABB Corporate Research in Vasteras, Sweden, addressed the automation of task-intensive and repetitive manual labor in laboratory environments - specifically the transport and cleaning of glassware. Designed in collaboration with AstraZeneca, the challenge invited academic teams to develop autonomous robotic systems cap

During the last two decades, an active line of research in proof complexity has been into the space complexity of proofs and how space is related to other measures. By now these aspects of the resolution proof system are fairly well understood, but many open problems remain for the related but stronger proof system polynomial calculus (PC/PCR). For instance, the space complexity of many standard “

We prove the first hardness results against efficient proof search by quantum algorithms. We show that underLearning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weaklyautomate TC0-Frege. This extends the line of results of Krajííček and Pudlík(Information and Computation, 1998), Bonet, Pitassi, and Raz (SIAM Journal on Computing, 2000),and Bonet

The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is

We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi

The vast bandwidth available at sub-THz frequencies holds great promise for high-speed wireless access, precise localization, and advanced sensing applications. However, fundamental physical constraints and technological limitations make the deployment of reliable sub-THz networks challenging. We propose a new paradigm for sub-THz coverage by transmitting the RF signals over polymer microwave fibe