Publications | Lund University Publications

31 – 40 of 1790

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
…
3
4
5
6
…
179
next »

2025
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 Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis
Mark Deterministic protocols for Voronoi diagrams and triangulations of planar point sets on the congested clique
Jansson, Jesper ; Levcopoulos, Christos ^LU ; Lingas, Andrzej ^LU ; Polishchuk, Valentin and Xue, Quan (2025) In Theoretical Computer Science 1055.
- Contribution to journal › Article
Mark A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
Ahmad, Faseeh ^LU ; Ismail, Hashim ^LU ; Styrud, Jonathan ; Stenmark, Maj ^LU and Krueger, Volker ^LU (2025)
- Working paper/Preprint › Preprint in preprint archive
Mark A Unified Framework for Real-Time Failure Handling in Robotics Using Vision-Language Models, Reactive Planner and Behavior Trees
Ahmad, Faseeh ^LU ; Ismail, Hashim ^LU ; Styrud, Jonathan ; Stenmark, Maj ^LU and Krueger, Volker ^LU (2025) 21st IEEE International Conference on Automation Science and Engineering, CASE 2025 p.887-894
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze ^LU ; Junges, Sebastian and Jansen, Nils (2025) 37th International Conference on Computer Aided Verification, CAV 2025 In Lecture Notes in Computer Science 15932 LNCS. p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Impact of gaze-based interaction and augmentation on human-robot collaboration in critical tasks
Jena, Ayesha ^LU ; Reitmann, Stefan ^LU and Topp, Elin Anna ^LU (2025) In Lecture Notes in Computer Science
- Working paper/Preprint › Preprint in preprint archive
Mark A Note on Solving Problems of Substantially Super-linear Complexity in N o (1) Rounds of the Congested Clique
Lingas, Andrzej ^LU (2025) In Parallel Processing Letters 35(03n04).
- Contribution to journal › Article
Mark Towards modeling and improving human-centered code review
Gullstrand Heander, Lo ^LU (2025) In Licentiate thesis 2025(3).
- Thesis › Licentiate thesis
Mark Replication package for code review as decision-making
Gullstrand Heander, Lo ^LU (2025)
- Non-textual form › Software

« previous
1
…
3
4
5
6
…
179
next »

your query:: Remove department: Department of Computer Science