261 – 270 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
MetaDL: Analysing Datalog in Datalog
2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
New Distinguisher on Reduced-Round Keccak Sponge Function
2019) In IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E102-A(1). p.242-250(
- Contribution to journal › Article
-
Mark
Reconstructing an S-box from its Difference Distribution Table
(
- Contribution to journal › Article
-
Mark
On division versus saturation in pseudo-boolean solving
2019) 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 In IJCAI International Joint Conference on Artificial Intelligence 2019-August. p.1711-1718(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nullstellensatz size-degree trade-offs from reversible pebbling
2019) 34th Computational Complexity Conference, CCC 2019 In Leibniz International Proceedings in Informatics, LIPIcs 137.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
DOTA 2 bot competition
(
- Contribution to journal › Article
-
Mark
Temporally Dense Ray Tracing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ray Tracing Gems : High-Quality and Real-Time Rendering with DXR and other APIs
Haines, Eric and Akenine-Möller, Tomas LU (2019)
- Book/Report › Anthology (editor)
-
Mark
What is a Ray?
2019) p.15-19(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Precision Improvements for Ray/Sphere Intersection
2019) p.87-94(
- Chapter in Book/Report/Conference proceeding › Book chapter