Skip to search formSkip to main contentSkip to account menu

GelJ – a tool for analyzing DNA fingerprint gel images

GelJ is an easy to use tool for analyzing DNA fingerprint gel images that combines the best characteristics of both free and commercial tools; it is light and simple to use, but it also includes the necessary features to obtain precise results.
View on Springer (opens in a new tab)

Proof-Pattern Recognition and Lemma Discovery in ACL2

The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples.
View PDF on arXiv (opens in a new tab)

Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review

View on PubMed (opens in a new tab)

Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models

This study provides various intelligent deep learning (DL)-based methods for automated SZ diagnosis via electroencephalography (EEG) signals and among the proposed DL models, the CNN-LSTM architecture has had the best performance.
View on PubMed (opens in a new tab)

Recycling Proof Patterns in Coq: Case Studies

Detailed case studies and evaluation of the machine-learning tool ML4PG built to interactively data-mine the electronic libraries of proofs, and to provide user guidance on the basis of proof patterns found in the existing libraries are provided.
View on Springer (opens in a new tab)

CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks

CLoDSA is the first, at least up to the best of the knowledge, image augmentation library for object classification, localization, detection, semantic segmentation, and instance segmentation that works not only with 2 dimensional images but also with multi-dimensional images.
View on Springer (opens in a new tab)

IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine

View on PubMed (opens in a new tab)

Spiral and Project-Based Learning with Peer Assessment in a Computer Science Project Management Course

A gain in the quality of the subsequently projects derived from the spiral project-based learning is obtained, and this gain is significantly bigger when peer assessment is introduced.
View on Springer (opens in a new tab)

Machine Learning in Proof General: Interfacing Interfaces

ML4PG allows users to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof tree structures from the libraries of interactive higher-order proofs written in Coq and SSReflect.
View PDF on arXiv (opens in a new tab)

Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning

A method based on pre-trained deep neural networks, taking advantage of a cyclic generative adversarial net (CycleGAN) model for data augmentation, has reached state-of-the-art performance for the task at hand, i.e., 99.60% accuracy.
View PDF on arXiv (opens in a new tab)
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)