Sort by
Refine Your Search
-
Listed
-
Employer
- University of Lund
- Chalmers University of Technology
- Nature Careers
- Lunds universitet
- KTH Royal Institute of Technology
- Lulea University of Technology
- Sveriges lantbruksuniversitet
- Umeå University
- Umeå universitet stipendiemodul
- Uppsala universitet
- Jönköping University
- Linnaeus University
- Luleå University of Technology
- Lund university
- Mälardalen University
- SciLifeLab
- Swedish University of Agricultural Sciences
- The Royal Institute of Technology (KTH)
- University of Borås
- 9 more »
- « less
-
Field
-
Hydrogen is expected to play a key role in the energy and fuel mix of future sustainable transport systems. However, due to its small and light molecular structure, hydrogen exhibits significantly
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently
Searches related to structures
Enter an email to receive alerts for structures positions