| Prediction of Epiretinal Membrane from Retinal Fundus Images Using Deep Learning. | 0 | 0.34 | 2021 |
| LabelDetection - Simplifying the Use and Construction of Deep Detection Models. | 0 | 0.34 | 2021 |
| Spheroidj: An Open-Source Set Of Tools For Spheroid Segmentation | 0 | 0.34 | 2021 |
| Towards Combining Object Detection and Text Classification Models for Form Entity Recognition. | 0 | 0.34 | 2021 |
| Optimizing The Simplicial-Map Neural Network Architecture | 0 | 0.34 | 2021 |
| Biomedical Image Classification Made Easier Thanks To Transfer And Semi-Supervised Learning | 1 | 0.35 | 2021 |
| Labelstoma: A Tool For Stomata Detection Based On The Yolo Algorithm | 0 | 0.34 | 2020 |
| Transfer learning features for predicting aesthetics through a novel hybrid machine learning method | 0 | 0.34 | 2020 |
| The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images | 0 | 0.34 | 2020 |
| Monomial Resolutions for Efficient Computation of Simplicial Homology | 0 | 0.34 | 2019 |
| DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification. | 1 | 0.35 | 2019 |
| Automatic characterisation of dye decolourisation in fungal strains using expert, traditional, and deep features | 1 | 0.35 | 2019 |
| CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks. | 1 | 0.36 | 2019 |
| Towards Integrating ImageJ with Deep Biomedical Models. | 0 | 0.34 | 2018 |
| Guiding the Creation of Deep Learning-based Object Detectors. | 0 | 0.34 | 2018 |
| DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains. | 0 | 0.34 | 2018 |
| An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis. | 0 | 0.34 | 2018 |
| Antibiogramj: A tool for analysing images from disk diffusion tests. | 1 | 0.36 | 2017 |
| Proof Mining With Dependent Types | 0 | 0.34 | 2017 |
| Detectionevaluationj: A Tool To Evaluate Object Detection Algorithms | 0 | 0.34 | 2017 |
| IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine. | 2 | 0.59 | 2017 |
| Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers. | 0 | 0.34 | 2017 |
| A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: The competitive effect. | 2 | 0.41 | 2016 |
| SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons | 0 | 0.34 | 2016 |
| WekaBioSimilarity - Extending Weka with Resemblance Measures. | 0 | 0.34 | 2016 |
| Neuron detection in stack images: a persistent homology interpretation. | 0 | 0.34 | 2015 |
| GelJ – a tool for analyzing DNA fingerprint gel images | 2 | 0.37 | 2015 |
| SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons | 0 | 0.34 | 2015 |
| Modelling algebraic structures and morphisms in ACL2 | 3 | 0.43 | 2015 |
| Proof Pattern Search in Coq/SSReflect. | 2 | 0.40 | 2014 |
| Guarding (Co)Recursion in Coalgebraic Logic Programming. | 0 | 0.34 | 2014 |
| HoTT formalisation in Coq: Dependency Graphs \& ML4PG. | 0 | 0.34 | 2014 |
| Defining and computing persistent Z-homology in the general case. | 2 | 0.39 | 2014 |
| Procesamiento topo-geométrico de imágenes neuronales. | 0 | 0.34 | 2014 |
| Obtaining an ACL2 Specification from an Isabelle/HOL Theory. | 0 | 0.34 | 2014 |
| Acl2(Ml): Machine-Learning For Acl2 | 0 | 0.34 | 2014 |
| Exploiting Parallelism in Coalgebraic Logic Programming | 4 | 0.42 | 2014 |
| Recycling Proof Patterns in Coq: Case Studies. | 7 | 0.52 | 2014 |
| Proof-Pattern Recognition in ACL2. | 0 | 0.34 | 2013 |
| ML4PG in computer algebra verification | 5 | 0.46 | 2013 |
| Verifying a plaftorm for digital imaging: a multi-tool strategy | 1 | 0.35 | 2013 |
| ML4PG: proof-mining in Coq | 1 | 0.36 | 2013 |
| Statistical Proof Pattern Recognition: Automated or Interactive? | 1 | 0.35 | 2013 |
| Machine Learning In Proof General: Interfacing Interfaces | 11 | 0.64 | 2013 |
| A Certified Reduction Strategy for Homological Image Processing | 2 | 0.41 | 2013 |
| Statistical Proof-Patterns in Coq/SSReflect | 2 | 0.37 | 2013 |
| Verifying an algorithm computing discrete vector fields for digital imaging | 5 | 0.76 | 2012 |
| Towards a certified computation of homology groups for digital images | 9 | 0.68 | 2012 |
| Computing persistent homology within Coq/SSReflect | 8 | 0.53 | 2012 |
| Incidence simplicial matrices formalized in Coq/SSReflect | 4 | 0.45 | 2011 |
