I blogged about using the Z3 theorem prover to draw the new aperiodic “Hat” tile: https://www.hgreer.com/HatTile/
Introducing HARU: DTW-based
@nanopore
adaptive sampling on an
@Xilinx
Kria FPGA! This tiny 300$ module is 2X faster than a 30k$ 36-core server (at a fraction of power consumption) for end-to-end sDTW DNA mapping (including IO overheads).
See https://arxiv.org/abs/2211.07340 for more info.
Only four days remain to get in on the Kickstarter for Cracking the Cryptic's Greatest Hits Volume 2!
If you have even a passing interest in #sudoku, you owe it to yourself to develop a deeper interest, and preferably to do so before this campaign ends Friday.
I have the first volume from last year's Kickstarter, and it is fantastic, but many of the puzzles are fiendishly difficult for me, so I haven't finished them all. Also, the campaign hit a stretch goal for spiral binding, so I've upgraded my pledge this time around to get a reprint of that first volume that can lay flat on a table more easily.
I don't get anything out of this pitch, I just love the YouTube channel, love the first book, and want to see Simon and Mark continue to succeed.
Agenda for after the CVPR deadline:
Try first step translation transform
Try By-Construction-Inverse-Consistency instead of a penalty- use https://openaccess.thecvf.com/content_cvpr_2016_workshops/w15/papers/Ferraris_Accurate_Small_Deformation_CVPR_2016_paper.pdf for precise SVF integration
Try SVF with inverse consistency penalty, for taste
Try TV regularization instead of GradICON
Try training on diverse corpus of augmented medical images*LNCC + SynthMorph shapes * DICE - use paired t1-t2 medical images when we have them
I guess I'm here now instead of twitter. I'm a phd student researching deep learning for medical image registration. If for some awful reason you need to align several hundred CT scans, check out my library icon_registration (https://icon.readthedocs.io)
PhD student at UNC studying the application of deep learning to medical imaging