Jónathan Heras

1. Proof Pattern Search in Coq/SSReflect
   2014/02/01 by Jónathan Heras, Heras, Jónathan, Ekaterina Komendantskaya +1 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.LO
2. Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning
   2021/04/24 by Navid Ghassemi, Ghassemi, Navid, Afshin Shoeibi +13 · 2 citations
   Computer Science · Medicine · #AI in cancer detection #COVID-19 diagnosis using AI #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #Radiomics and Machine Learning in Medical Imaging #electronic engineering #information engineering
3. Defining and computing persistent Z-homology in the general case
   2014/03/26 by Ana Romero, Jónathan Heras, Romero, Ana +5 · 1 citation
   Computer Science · Mathematics · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #cs.CG #cs.SC #math.AT