Search Results for author:
Found 16 papers, 7 papers with code
Machine Learning in Proof General: Interfacing Interfaces
We present ML4PG - a machine learning extension for Proof General.
Recycling Proof Patterns in Coq: Case Studies
Development of Interactive Theorem Provers has led to the creation of big libraries and varied infrastructures for formal proofs.
ML4PG in Computer Algebra verification
ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development.
Verifying a platform for digital imaging: a multi-tool strategy
Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images.
Defining and computing persistent Z-homology in the general case
By general case we mean methods able to process simplicial sets and chain complexes not of finite type.
Computational Geometry Symbolic Computation Algebraic Topology
SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons
The quantification of synapses is instrumental to measure the evolution of synaptic densities of neurons under the effect of some physiological conditions, neuronal diseases or even drug treatments.
Neuron detection in stack images: a persistent homology interpretation
Automation and reliability are the two main requirements when computers are applied in Life Sciences.
The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images
A correct localisation of tables in a document is instrumental for determining their structure and extracting their contents; therefore, table detection is a key step in table understanding.
FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques
In this work, we present FrImCla, an open-source and free tool that simplifies the construction of robust models for image classification from a dataset of images, and only using the computer CPU.
Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review
In this paper, a complete review of automated MS diagnosis methods performed using DL techniques with MRI neuroimaging modalities are discussed.
Text Classification Models for Form Entity Linking
Forms are a widespread type of template-based document used in a great variety of fields including, among others, administration, medicine, finance, or insurance.
Neural Style Transfer and Unpaired Image-to-Image Translation to deal with the Domain Shift Problem on Spheroid Segmentation
In this work, we address this challenge by studying both neural style transfer algorithms and unpaired image-to-image translation methods in the context of the segmentation of tumour spheroids.
Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context
By combining semi-supervised learning methods with compact networks, it is possible to obtain a similar performance to standard size networks.
A Topological Approach for Semi-Supervised Learning
In the former, we have used a homological approach that consists in studying the persistence diagrams associated with the data using the Bottleneck and Wasserstein distances.
Semi-Supervised Machine Learning: a Homological Approach
In this paper we describe the mathematical foundations of a new approach to semi-supervised Machine Learning.
AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge
Artificial intelligence (AI) can be used to analyze color fundus photographs (CFPs) in a cost-effective manner, making glaucoma screening more accessible.
