Filtyp
We show that a generalization of the DAG-like query-to-communication lifting theorem, when proven using sunflowers over non-binary alphabets, yields lower bounds on the monotone circuit complexity and proof complexity of natural functions and formulas that are better than previously known results obtained using the approximation method. These include an nΩ(k) lower bound for the clique function up
Pedagogical development programmes (PDPs) are important for developing teaching skills for university teaching staff. Due to participants’ different teaching roles, their professional development needs and interests may also be different. However, little is known regarding the immediate needs of university teaching staff when they enter PDPs and how these may differ according to their roles. This
In this doctoral thesis I investigate two key issues at the heart of the ongoing philosophical debate concerning the emotions – their nature and their normativity. I argue against the deeply entrenched view according to which emotions are representational mental states and fitting in virtue of accurately representing their objects. Drawing on recent attitudinal accounts of the emotions, I develop
I denna studie undersöks hur könskodade röster hos en humanoid robot påverkar människors uppfattning om agentens kognitiva kompetens i en matematik-relaterad kontext. Studien grundar sig i tidigare forskning som visar att människor tenderar att tillskriva artificiella agenter olika egenskaper baserat på könskodade attribut, såsom röst eller namn. I ett experiment med 19 deltagare interagerade anvä
This research investigates the development of second-life battery (SLB) strategies in the value chain of lithium-ion batteries in India by identifying how some companies are implementing circular economy practices and engaging with SLB strategies. The study adopts three analytical perspectives to examine SLB strategies in India: The Value Retention Option (VRO) model, barriers to implementation, a
A proof system P is said to be automatable in time f(N) if there exists an algorithm that given as input an unsatisfiable formula F outputs a refutation of F in the proof system P in time f(N), where N is the size of the smallest P-refutation of F plus the size of F. Atserias and Bonet (ECCC 2002), observed that tree-like k-DNF resolution is automatable in time Nc·k log N for a universal constant
Climate change and human activities threaten the availability and quality of fresh water resources globally, especially in less developed countries, where poverty and natural disaster risks are present. Despite important research efforts, gaps still exist regarding the understanding of the spatial-temporal variations of water quality and the movement of organic matter within tropical mountain lake
Geographic information systems are used to integrate historical water quality data with information layers derived from diverse sources and represents important tools for the water resources management at watershed scale. This study aimed to collect data sources at the watershed level and compare coincident water quality parameters to find spatial and temporal changes related to land use / land co
A novel pre-purification method was developed for producing peroxidase to guarantee high purity and yield from plant cell cultures in large-scale process. This method was a simple and efficient procedure for the isolation and pre-purification of peroxidase from the biomass consisting of active clay treatment, followed by cationic exchange chromatography. The use of active clay in the pre-purificat
Trafikverket är enligt Järnvägssäkerhetslag (2022:367), 2 kap., 2 § skyldigt att ha ett säkerhetsstyrningssystem. Säkerhetsstyrningssystemet ska utformas så att de risker som verksamheten kan ge upphov till kan hanteras det vill säga att identifiera, analysera och utvärdera risker som är relevanta för, i detta fall järnvägstunnlar. För att tillgodose kraven i ett praktiskt sammanhang behövs någon
Three histone H1 variants were extracted from human placental tissue in a single process using a high-salt buffer solution, and purified by ion exchange, hydroxyapatite, and reversed-phase chromatography. In the first chromatographic step, a cation exchanger resin, SP-Sepharose FF, was used to remove impurities having molecular weights higher than those of histones. In the second chromatographic s
The urgency of addressing the harms of AI chatbots was underscored in the recent US Senate Judiciary Committee hearing, “Examining the Harm of AI Chatbots.” During the hearing, parents of children recounted the harrowing stories of AI chatbot-influenced mental health emergencies, including self-harm and death, harms that were never inevitable. Instead, they were predictable consequences of a lax r
I denna avhandling fokuseras lärares kunskapsutveckling inom ramen för initieringen av den statliga satsningen Utbildning, Lärande och Forskning (ULF) i samverkan mellan skola och akademi. Resultaten visar att den geografiska spridningen av insatsen varit ojämlik, där skolor i närhet av lärosäten varit de som främst ingått i samverkan. I samverkan mellan skola och akademin framkommer ytterligare e
Audiobooks are more popular than ever before. The article examines how this so-called “audiobook boom”, as well as the communities, reading practices, and economic systems surrounding audiobooks affect how we ascribe value to books and reading. The article departs from a notion of literary values based in the sociology of literature. While its contribution is primarily conceptual, the discussion iAudiobooks are more popular than ever before. The article examines how this so-called “audiobook boom”, as well as the communities, reading practices, and economic systems surrounding audiobooks affect how we ascribe value to books and reading. The article departs from a notion of literary values based in the sociology of literature. While its contribution is primarily conceptual, the discussion i
What makes baby cries, dog barks and piercing screams so disturbing and difficult to ignore? A common explanation is that their salience is enhanced by vocal roughness and unpredictability caused by irregular phonation. A comprehensive investigation in ten perceptual experiments confirmed that human listeners found nonlinear vocal phenomena (NLP: frequency jumps, amplitude modulation, subharmonics
Att säkerställa tillräcklig bärighet för cykelvägar är nödvändigt för att undvika skador. Då de är tunna och smala konstruktioner är de väldigt känsliga för kantskador från passager av tunga fordon. Två viktiga faktorer som påverkar den här skadetypen är bristen på kantstöd och ett ökat fuktinnehåll i de obundna konstruktionslagren. Tre instrumenterade fullskaliga cykelvägskonstruktioner med olikaAssuring sufficient structural stability of cycle paths is important toavoid distress. Being thin and narrow structures, they are highly susceptibleto edge cracking by passings of heavy vehicles. Two importantfactors that affect distress are lack of lateral support at the edgeand increased moisture content in the unbound granular materials.Three full-scale instrumented cycle path structures with d
