Publications | Lund University Publications

61 – 70 of 1777

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=department+exact+v1000234&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
6
7
8
9
…
178
next »

2025
Mark Practically feasible proof logging for pseudo-Boolean optimization
Koops, Wietze ^LU ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU ; Tan, Yong Kiam and Vinyals, Marc (2025) In Leibniz International Proceedings in Informatics (LIPIcs) 340. p.1-27
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Exploring the performance of ML model size for classification in relation to energy consumption
Bexell, Andreas ^LU ; Gullstrand Heander, Lo ^LU ; Söderberg, Emma ^LU ; Eldh, Sigrid and Runeson, Per ^LU (2025) In Lecture Notes in Computer Science 16361. p.525-532
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Thalassa : Transforming Symbolic PDEs into Tensor-Based Solvers Running on ML Accelerators
Boulasikis, Michail ^LU ; Gruian, Flavius ^LU and Szász, Robert Zoltán ^LU (2025) 2025 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2025 p.463-472
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Enabling PhD student collaboration in research groups
Linåker, Johan ^LU ; Alce, Günter ^LU ; Eom, Namsoon ^LU ; Niklewski, Jonas ^LU and Iao-Jörgensen, Jenny ^LU (2025) LTH:s 13:e Pedagogiska inspirationskonferens In Proceedings från LTH:s Pedagogiska inspirationskonferens p.18-20
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis
Mark Towards an Understanding of Polynomial Calculus : New Separations and Lower Bounds
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2025) In Theory of Computing 21.
- Contribution to journal › Article
Mark Pseudo-Boolean Proof Logging for Optimal Classical Planning
Dold, Simon ; Helmert, Malte ; Nordström, Jakob ^LU ; Röger, Gabriele and Schindler, Tanja (2025) 35th International Conference on Automated Planning and Scheduling, ICAPS 2025 35. p.54-63
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Identifying Fresh Groundwater Potential in Unconfined Aquifers in Arid Central Asia : A Remote Sensing and Geo-Information Modeling Approach
Sotnikov, Evgeny ; Onglassynov, Zhuldyzbek ; Kanafin, Kanat ; Berndtsson, Ronny ^LU ; Rakhimova, Valentina ; Miroshnichenko, Oxana ; Gabdulina, Shynar and Tussupova, Kamshat ^LU (2025) In Water (Switzerland) 17(20).
- Contribution to journal › Article
Mark Responsible requirements engineering in a VUCA world
Borg, Markus ^LU ; Beck, Martina ; Beck, Andreas ; Jiménez, Simon ; Kanellopoulos, Yiannis and Penzenstadler, Birgit (2025) In IEEE Software 42(5). p.16-20
- Contribution to journal › Article
Mark Can code review be modeled as a cognitive decision-making process?
Gullstrand Heander, Lo ^LU (2025) NextG2Com Program Day 2025
- Contribution to conference › Poster

« previous
1
…
6
7
8
9
…
178
next »

your query:: Remove department: Department of Computer Science