We prove the first hardness results against efficient proof search by quantum algorithms. We show that under Learning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weakly automate TC0-Frege. This extends the line of results of Krajíček and Pudlák (Information and Computation, 1998), Bonet, Pitassi, and Raz (FOCS, 1997), and Bonet, Domingo, Gavaldà

Avian flapping strategies have the potential to revolutionize future drones as they may considerably improve agility, increase slow speed flight capability, and extend the aerodynamic performance. The study of live birds is time-consuming, laborious, and, more importantly, limited to the flapping motion adopted by the animal. The latter makes systematic studies of alternative flapping strategies i

From the mid-1960s to the mid 1970s, three new universities were established in Denmark: Odense (1966), Roskilde (1972) and Aalborg (1974). Until then only two universities existed in Denmark: Copenhagen (1479) and Aarhus (1928). Located on the outskirts of the major cities, the new institutions played an important part in reforming and transforming higher education in Denmark. The youngest univer

I Sverige erbjuds förebyggande stödgrupper av socialtjänsten för barn som växer upp i familjer där det förekommer våld, missbruk eller psykisk ohälsa. Stigma som är kopplad till föräldrars problem och till socialtjänstens inblandning utgör hinder för barns deltagande i stödgrupper. I denna artikel undersöks barns och föräldrars upplevda motiv, hinder och fördelar med deltagandet genom att utforskaIn Sweden, preventive support groups for children exposed to domestic violence, substance abuse, or mental illness in the home are provided by local child welfare services. The stigma associated with parental problems and the involvement of child welfare services are barriers to children’s participation in support groups. This article examines the motives, barriers, and benefits according to child

This article is a study of G. E. Söderholm as apologetic writer of the early Swedish Pentecostal movement during the period 1920-1940. It investigates how Söderholm through the symbolic capital his status as a former vicar in the Swedish state church generated and through the use of historical writing defended the Pentecostal movement from polemic academic scholarship about the movement and from c

The t(14;19)(q32;q13) is a rare recurring translocation found in B-cell lymphoproliferative malignancies, involving the Bcl-3 gene. This chromosomal translocation is often found in patients under the age of 50 and causes a more progressive disease. The Bcl-3 gene encodes a protein belonging to the IκB family of proteins, which tightly regulates NFκB signaling by acting as an activator or repressor

Glioblastoma (GB) is the most common and the most aggressive form of brain tumor in adults, which currently lacks efficient treatment strategies. In this study, we investigated the therapeutic effect of function-blocking antibodies targeting integrin α10β1 on patient-derived-GB cell lines in vitro and in vivo. The in vitro studies demonstrated significant inhibiting effects of the integrin α10 ant

Mast cells (MCs) are multifunctional effectors of the immune system that are distributed in many tissues, often in close association with the basement membrane of blood vessels, epithelium and nerves. Laminins (LMs), a family of large alphabetagamma heterotrimeric proteins, are major components of basement membrane that strongly promote cell adhesion and migration. In this study, we investigated t

Providing humoral immunity, antibody-secreting plasma cells and their immediate precursors, the plasmablasts, are generated in systemic and mucosal immune reactions. Despite their key role in maintaining immunity and immunopathology, little is known about their homeostasis. Here we show that plasmablasts and plasma cells are always detectable in human blood at low frequency in any unimmunized dono

Following vascular injury, basement membrane (BM) components of the blood vessels are exposed to circulating cells and may contribute to hemostasis and/or thrombosis. Laminins 8 (LN-8) (alpha4beta1gamma1) and 10 (LN-10) (alpha5beta1gamma1) are major laminin isoforms of the endothelial BM, and LN-8 is also secreted by activated platelets. In the present study, we demonstrate synthesis of alpha5-lam

The tooth pulp innervation originates from the trigeminal ganglion (TG) and represents an illustrative example of tissue targeting by sensory nerves. Pulpal fibroblasts strongly promote neurite outgrowth from TG neurons in vitro. In the present study, we have investigated the possible participation of laminins (LNs), potent neuritogenic extracellular matrix components. Immunohistochemistry of huma

The tooth pulp has a dense sensory innervation which, upon stimulation, conveys sensory signals perceived as pain. This innervation, which originates from the trigeminal ganglion, is established through a series of regulated steps during development, and represents an interesting example of tissue targeting by pain-specific nerves. We have investigated various potentially neurotrophic and neurorep

Sloth - one of the deadly sins in our life - is here connected to waste handling in historical, recent, and future times. The text is structured in three themes: how waste is hidden and forgotten; waste kept at distance; waste, technology, and shame. It ends with reflections on concepts such as the old deadly sins, rigid as they may be, is worth defending and if they still might speak to a modern Someone who throws away their rubbish on a street-corner or in a ditch is guilty of sloth. This may appear harmless, but seen through the lens of waste management, sloth soon develops into a deadly sin that harms other people’s lives and health. Hiding and forgetting waste has always been a practice with potentially disastrous consequences; buried containers full of toxins will eventually start to