Sökresultat

Heming Strømholt Bremnes, Norges Teknisk-Naturvitenskapelige Universitet, on the computational complexity of quantifier verification and its neural consequences Heming Strømholt Bremnes, Norges Teknisk-Naturvitenskapelige Universitet, on the computational complexity of quantifier verification and its neural consequences Published 16 April 2024 On site: SOL L303b, zoom: https://lu-se.zoom.us/j/6249

https://www.sol.lu.se/nls/article/heming-stroemholt-bremnes-norges-teknisk-naturvitenskapelige-universitet/ - 2026-05-26

On this page you will find information about how the work with LUCRIS is organized. Structure LUCRIS is managed according to Lund University's system management model. A central management group, called "LUCRIS förvaltning" oversees the system. There are also several working groups, made up of faculty representatives, that address important issues related to how LUCRIS is used and developed.Each f

https://www.staff.lu.se/research-and-education/research-support/lucris/about-us - 2026-05-27

The purpose of the doctoral student progress meeting is to follow up on the progress of the research studies. The departmental representative calls the doctoral student and the rest of the supervisory committee to a progress meeting every semester toDiscuss the doctoral student’s learning and research work (progress, setbacks), plan forthcoming activities and solve problems. The following form can

https://www.biology.lu.se/internal/research-and-education/postgraduate-studies/doctoral-student-progress-meeting - 2026-05-27

The aim of the Lund University and Sparbanken Skåne’s Prize for Future Innovations is to promote an innovation-friendly culture within the University, and to encourage more new ideas that can lead to future innovations. We welcome ideas and projects within all disciplines. Who can apply? Only employees and students at Lund University can apply for the award. If you are several people involved in o

https://www.innovation.lu.se/en/futureinnovations/competition-terms-and-conditions - 2026-05-27

Professor Contact details Email: petter [dot] lundborg [at] nek [dot] lu [dot] seOrganisation Department of Economics Service point: 10 WebpagePetter Lundborgs profile in Lund University research portalPersonal website:https://sites.google.com/site/atpetterlundborg/Other affiliations Professor Centre for Economic Demography Publications Displaying of publications. Sorted by year, then title. Filte

https://www.lusem.lu.se/petter-lundborg - 2026-05-27

På denna sida finns information om statlig tjänstepension, delpension, försäkringar, sjukpension och professorer emeriti. Innehåll på sidan:Så länge kan du arbeta kvarTjänstepensionDelpension – för dig som är född 1965 eller tidigare Möjlighet till flexpension – för dig som är född 1966 eller senareSjukpensionPensionerad professor – professor emeritus/emeritaSå länge kan du arbeta kvar Du som är a

https://www.medarbetarwebben.lu.se/anstallning/pension - 2026-05-27

The following rules have been decided by Lund University and apply for refunding of tuition fees. All decisions regarding refunds are made by the Admissions Board. Tuition fees paid to Lund University may be refunded in the situations and with the conditions stated below. On this page, you can also find information on how to apply for a tuition fee refund and the reimbursement conditions and proce

https://www.lunduniversity.lu.se/study/admission-degree-studies/applying-studies-when-apply/tuition-fees/tuition-fee-refund-policy - 2026-05-27

Researcher Contact details Email: barbara [dot] tornquist-plewa [at] slav [dot] lu [dot] se Phone: +46 46 222 83 79Organisation European Studies Room number: SOL:A323 Service point: 20 WebpageBarbara Törnquist-Plewas profile in Lund University research portalOther affiliations Research and research studies manager Central and Eastern European Studies Researcher Centre for Advanced Middle Eastern S

https://www.cmes.lu.se/barbara-tornquist-plewa - 2026-05-27

This research used a qualitative approach, more specifically, netnography based on two cases. The two empirical cases on the use of brand activism on packaging that have been selected for this study are: (1) Walmart’s introduction of a ‘Celebration Edition’ Ice Cream for Juneteenth, and (2) Skittle’s introduction of a rainbow- free packaging to support the LGBTQ+ community. Initially we analysed n

Regeringsformen (RF) 2 kap. 1 § ger inte tydlig ledning i fråga om vad som utgör legitima inskränkningar av yttrandefriheten. Lagtextens vaga utform-ning, samt skiftande praxis i förhållande till bestämmelsen gör det komplicerat att bestämma yttrandefrihetens omfattning i svensk rätt. Problematiken gör sig gällande i fråga om förhållandet till legitima inskränkningar, såsom bestäm-melsen om hets mThe second chapter, section 1 of the instrument of Government does not pro-vide a clear interpretation of what constitutes legitimate restrictions on free-dom of expression. This causes issues concerning the interpretation of free-dom of expression in Swedish law. The vague legal text, along with varying practices in relation to the provision, result in uncertainty regarding the extent of the free

This thesis investigates fan fiction’s intellectual property issues, focusing on its legal status, copyright implications, and potential regulatory frameworks. The research explores the pathways for protecting the rights of original authors and fan fiction creators while fostering creative expression. Key topics include the definition and copyrightability of fan fiction, its potential for copyrigh

Linjär lösning på ett icke-linjärt problem - effektiv filtrering i hornhögtalare Hornhögtalare är effektiva och skapar högt ljud men till priset av ljudkvaliteten. Genom linjär filtrering kan man få det bästa av två världar: minskade icke-linjära distorsioner och hög effektivitet. I vägen mot en säkrare värld spelar hornhögtalaren en viktig roll. Hornhögtalaren är förknippad med höga ljudnivåer This thesis aims to characterize and counteract the wave steepening effect in a horn loaded loudspeaker. The report consists of two main parts. The first part, the characterization of the horn speaker system, focuses on investigating and understanding the signal distortions introduced by the speaker system. In particular, non-linear distortion is examined to determine any parameter dependence of t

Emerging technologies have increased the need for cybersecurity protection in web-based systems. This is especially true for drone systems, where any attack would threaten critical missions trying to save lives. In this study, the Remote Mission Control platform developed by Remote Aero is examined, the goal is identifying cybersecurity risks and proposing improvements to strengthen the system

The dopamine transporter (DAT) is responsible for dopamine (DA) clearance in the synaptic cleft, and thus crucial for maintaining DA homeostasis in the central nervous system (CNS). Mutations in the DAT coding gene have been associated with both movement and psychiatric disorders, such as parkinsonism and attention-deficit hyperactivity disorder (ADHD). However, the detailed contribution of DAT in

I september 2017 fick nazistiska Nordiska Motståndsrörelsen demonstrationstillstånd i Göteborg, vilket orsakade en stor debatt i Sverige. En liknande debatt väcktes i USA 1977 när en nazistisk grupp ansökte om att demonstrera. Händelserna väcker frågor; bör demonstrationsfriheten innefatta nazistiska demonstrationer? Vad är statens förhållningssätt till våldsamma motdemonstranter? Syftet med uppsaIn September 2017, the Nordic Resistance Movement received a permit to march through Gothenburg, which ignited a big debate in Sweden. A similar debate was had in 1977 in the United States (U.S.), when a neo-Nazi group applied for a permit to demonstrate. These events provoke questions; should the right to demonstrate include neo-Nazi groups? What should the state’s approach be to violent counter-

Tredjepartsbesiktning innebär att blivande eller befintliga affärspartners undersöks i syfte att säkerställa att verksamhetsutövarens verksamhetsled utgör en låg risk för korruption, vilket i vissa länder krävs genom lag. Faktorer som i regel anses som varningsflaggor i riskbedömningen inför en affärstransaktion är till exempel om en affärspartner har dömts för något brott av korruptiv karaktär elThird party due diligence is an investigation of prospective or existing business partners in order to ensure a low risk of corruption. In certain countries such an investigation is required by law. Factors to consider in the risk assessment are for example whether a potential or existing business partner has been convicted of any corruption related crime or is associated with political circles. S

Denna studie undersöker utrymning genom inåtgående dörrar, något som bör undvikas enligt svenska byggregler när antalet personer i en lokal överstiger 30. Trots detta är de specifika utmaningarna och påverkande faktorerna, särskilt vad gäller personer med nedsatt rörelseförmåga, till stor del outforskade. För att belysa detta genomfördes en litteraturstudie samt utrymningsförsök med 36 deltagare (

Background: This study compared levels of physical activity (PA) and sedentary behavior (SB) in adults with and without chronic diseases or multimorbidity, acknowledging sociodemographic factors. Methods: A cross-sectional analysis was conducted with data from 27,890 participants (52% women), aged 50–64, from the Swedish CArdioPulmonary bioImage Study cohort. Over 1500 chronic diseases were includ

We propose a multimodal deep learning framework for automated analysis ofcat–human communication, integrating acoustic, visual, and tactile signals throughtransformer-based fusion. Using the largest expert-annotated dataset of its kindand interdisciplinary collaboration, we combine semi-supervised learning withethological and phonetic expertise to detect subtle behavioural and phonetic cues,enable

INFORMATION OCH VERKTYG FÖR KOMMUNER OCH MEDBORGARE Kommuner och deras medborgare möter nya utmaningar till följd av ett förändrat klimat. Översvämningar, värmeböljor och stormar förväntas öka i antal och styrka, medan havshöjning och erosion hotar att förändra lokala samhällen och landskap, ibland radikalt.  Städernas medborgare berörs av detta på olika sätt, till exempel när de drabbas av extrem

https://www.lucsus.lu.se/samverkan-hallbar-klimatanpassning - 2026-05-27