Search results

Filter

Filetype

Your search for "2025" yielded 27131 hits

Alexandra Huang-Kokina

Postdoc Kontaktinformation E-post: alexandra [dot] huang-kokina [at] fek [dot] lu [dot] seOrganisation Organisation Hämtställe: 10 WebbplatsAlexandra Huang-Kokinas profil i Lunds universitets forskningsportal Publikationer Visar av publikationer. Sorterade efter år och sen titel. Filtrera efter typ AllaArtikel i tidskriftKonferensbidrag: abstract Filtrera Opera for the People: Exploring Artistic D

https://www.ehl.lu.se/alexandra-huang-kokina - 2026-06-17

Eleni Karageorgiou

Forskare (tjänstledig) Kontaktinformation E-post: eleni [dot] karageorgiou [at] jur [dot] lu [dot] seOrganisation Juridiska institutionen Hämtställe: 56 WebbplatsEleni Karageorgious profil i Lunds universitets forskningsportalAndra roller Forskare (tjänstledig) Rätt och utsatthet Forskare (tjänstledig) Mänskliga rättigheter Profilområdesmedlem LU profilområde: Mänskliga rättigheter Forskare (tjäns

https://www.jur.lu.se/eleni-karageorgiou - 2026-06-17

Jaakko Salminen

Universitetslektor Kontaktinformation E-post: jaakko [dot] salminen [at] jur [dot] lu [dot] se Telefon: +46 46 222 10 64 Mobil: +46 73 822 34 16Organisation Juridiska institutionen Rumsnummer: 438 Hämtställe: 56 WebbplatsJaakko Salminens profil i Lunds universitets forskningsportal Publikationer Visar av publikationer. Sorterade efter år och sen titel. Filtrera efter typ AllaArtikel i tidskriftDel

https://www.jur.lu.se/jaakko-salminen - 2026-06-17

Amanda Sonnerfeldt

Universitetslektor, Biträdande prefekt Redovisning och finans, Företagsekonomiska institutionen Kontaktinformation E-post: amanda [dot] sonnerfeldt [at] fek [dot] lu [dot] se Telefon: +46 46 222 94 34Organisation Redovisning och finans Rumsnummer: Alfa1:3110 Hämtställe: 10 WebbplatsAmanda Sonnerfeldts profil i Lunds universitets forskningsportalAndra roller Biträdande prefekt Redovisning och finan

https://www.ehl.lu.se/amanda-sonnerfeldt - 2026-06-17

Isabel Bramsen

Docent | Meriterad lärare Kontaktinformation E-post: isabel [dot] bramsen [at] svet [dot] lu [dot] se Telefon: +4528256737 Mobil: +4528256737Organisation Statsvetenskapliga institutionen Hämtställe: 31 WebbplatsIsabel Bramsens profil i Lunds universitets forskningsportalAndra roller Biträdande universitetslektor Statsvetenskapliga institutionenFreds- och konfliktvetenskapHuvudsakliga forsknings- o

https://www.svet.lu.se/isabel-bramsen - 2026-06-17

Claudiu Bulbucan

Doctoral student Contact details Email: claudiu [dot] bulbucan [at] maxiv [dot] lu [dot] se Phone: +46 46 222 41 53Organisation Synchrotron Radiation Research Visiting address: Sölvegatan 14A, Lund Service point: 14 WebpageClaudiu Bulbucans profile in Lund University research portalOther affiliations Researcher MAX IV, Science division Profile area member Lund Laser Centre, LLC Profile area member

https://www.sljus.lu.se/claudiu-bulbucan - 2026-06-17

Karin Aggestam

Professor | Excellent Teaching Practitioner Contact details Email: karin [dot] aggestam [at] svet [dot] lu [dot] se Phone: +46 46 222 49 23 Mobile: +46 70 370 02 15Organisation Department of Political Science Room number: 438 Service point: 31 WebpageKarin Aggestams profile in Lund University research portalOther affiliations Researcher Centre for Advanced Middle Eastern Studies (CMES) Member of S

https://www.svet.lu.se/en/karin-aggestam - 2026-06-17

Stefan Olin

Projektkoordinator Kontaktinformation E-post: stefan [dot] olin [at] mgeo [dot] lu [dot] se Telefon: +46 46 222 38 30Organisation Miljö- och geovetenskapliga institutionen (MGeo) Hämtställe: 16 WebbplatsStefan Olins profil i Lunds universitets forskningsportalAndra roller Medlem i Strategiskt forskningsområde BECC: Biodiversity and Ecosystem services in a Changing Climate Profilområdesmedlem LU pr

https://www.nateko.lu.se/sv/stefan-olin - 2026-06-17

Torbern Tagesson

Senior lecturer Contact details Email: torbern [dot] tagesson [at] mgeo [dot] lu [dot] se Phone: +46 46 222 48 23 Mobile: +46 70 499 39 36Organisation Department of Earth and Environmental Sciences (MGeo) Visiting address: Sölvegatan 12, Lund Room number: 451 Service point: 16 WebpageTorbern Tagessons profile in Lund University research portalOther affiliations Researcher Dept of Physical Geograph

https://www.nateko.lu.se/torbern-tagesson - 2026-06-17

Karin Aggestam

Professor Contact details Email: karin [dot] aggestam [at] svet [dot] lu [dot] se Phone: +46 46 222 49 23 Mobile: +46 70 370 02 15Organisation Department of Political Science Room number: 438 Service point: 31 WebpageKarin Aggestams profile in Lund University research portalPersonal website:http://www.svet.lu.se/karin-aggestamOther affiliations Researcher Centre for Advanced Middle Eastern Studies

https://www.cmes.lu.se/karin-aggestam - 2026-06-17

Avslutade projekt

På denna sida kan du läsa om våra avslutade projekt. År 2026 Anders Nygrens personarkiv Projektet ordnade och förtecknade teologen Anders Nygrens personarkiv. Anders Nygren (1890-1978) var en av Sveriges ledande och mest omdebatterade teologer under nittonhundratalet.Personarkivet har funnits hos Universitetsbiblioteket sedan år 1979, men på grund av bestämmelser i Anders Nygrens testamente har ar

https://www.ub.lu.se/om-universitetsbiblioteket/projekt/avslutade-projekt - 2026-06-17

On the automatability of tree-like k-DNF resolution

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

Pseudo-Boolean Proof Logging for Optimal Classical Planning

We introduce lower-bound certificates for classical planning tasks, which can be used to prove the unsolvability of a task or the optimality of a plan in a way that can be verified by an independent third party. We describe a general framework for generating lower-bound certificates based on pseudo-Boolean constraints, which is agnostic to the planning algorithm used. As a case study, we show how