scholarly journals Towards the Automatic Mathematician

2021 ◽  
pp. 25-37
Author(s):  
Markus N. Rabe ◽  
Christian Szegedy
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Mathematical Reasoning ◽  
The Road ◽  
Fine Grained ◽  
Recent Developments ◽  
On The Road

AbstractOver the recent years deep learning has found successful applications in mathematical reasoning. Today, we can predict fine-grained proof steps, relevant premises, and even useful conjectures using neural networks. This extended abstract summarizes recent developments of machine learning in mathematical reasoning and the vision of the N2Formal group at Google Research to create an automatic mathematician. The second part discusses the key challenges on the road ahead.

scholarly journals Road Pothole Detection using Deep Learning Classifiers

2020 ◽  
Vol 8 (6) ◽  
pp. 563-570 ◽  
Keyword(s):  
Neural Networks ◽  
Deep Learning ◽  
Data Collection ◽  
Convolutional Neural Networks ◽  
Road Maintenance ◽  
The Road ◽  
Wear And Tear ◽  
On The Road ◽  
Maintenance Process ◽  
Pothole Detection

Pothole is one of the major types of defects frequently found on the road whose assessment is necessary to process. It is one of the important reason of accidents on the road along with the wear and tear of vehicles. Road defects assessment is to be done through defects data collection and processing of this collected data. Currently, using various types of imaging systems data collection is near about becomes automated but an assessment of defects from collected data is still manual. Manual classification and evaluation of potholes are expensive, labour-intensive, time-consuming and thus slows down the overall road maintenance process. This paper describe a method for classification and detection of the potholes on road images using convolutional neural networks which are deep learning algorithms. In the proposed system we used convolutional neural networks based approach with pre-trained models to classify given input images into a pothole and non-pothole categories. The method was implemented in python using OpenCV library under windows and colab environment, trained on 722 and tested on 116 raw images. The results are evaluated and compared for convolutional neural networks and various seven pre-trained models through accuracy, precision and recall metrics. The results show that pre-trained models InseptionResNetV2 and DenseNet201 can detect potholes on road images with reasonably good accuracy of 89.66%.

scholarly journals DeePaC: predicting pathogenic potential of novel DNA with reverse-complement neural networks

2019 ◽  
Author(s):  
Jakub M Bartoszewicz ◽  
Anja Seidel ◽  
Robert Rentzsch ◽  
Bernhard Y Renard
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Pathogen Detection ◽  
State Of The Art ◽  
Supplementary Information ◽  
Learning Approach ◽  
Pathogenic Potential ◽  
Reverse Complement ◽  
Recent Developments

Abstract Motivation We expect novel pathogens to arise due to their fast-paced evolution, and new species to be discovered thanks to advances in DNA sequencing and metagenomics. Moreover, recent developments in synthetic biology raise concerns that some strains of bacteria could be modified for malicious purposes. Traditional approaches to open-view pathogen detection depend on databases of known organisms, which limits their performance on unknown, unrecognized and unmapped sequences. In contrast, machine learning methods can infer pathogenic phenotypes from single NGS reads, even though the biological context is unavailable. Results We present DeePaC, a Deep Learning Approach to Pathogenicity Classification. It includes a flexible framework allowing easy evaluation of neural architectures with reverse-complement parameter sharing. We show that convolutional neural networks and LSTMs outperform the state-of-the-art based on both sequence homology and machine learning. Combining a deep learning approach with integrating the predictions for both mates in a read pair results in cutting the error rate almost in half in comparison to the previous state-of-the-art. Availability and implementation The code and the models are available at: https://gitlab.com/rki_bioinformatics/DeePaC. Supplementary information Supplementary data are available at Bioinformatics online.

scholarly journals Recognition of Fine-Grained Walking Patterns Using a Smartwatch with Deep Attentive Neural Networks

Sensors ◽  
2021 ◽  
Vol 21 (19) ◽  
pp. 6393
Author(s):  
Hyejoo Kim ◽  
Hyeon-Joo Kim ◽  
Jinyoon Park ◽  
Jeh-Kwang Ryu ◽  
Seung-Chan Kim
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Contextual Information ◽  
Learning Algorithms ◽  
Machine Learning Algorithms ◽  
Wearable System ◽  
Fine Grained ◽  
Feature Based ◽  
Recent Attention

Generally, people do various things while walking. For example, people frequently walk while looking at their smartphones. Sometimes we walk differently than usual; for example, when walking on ice or snow, we tend to waddle. Understanding walking patterns could provide users with contextual information tailored to the current situation. To formulate this as a machine-learning problem, we defined 18 different everyday walking styles. Noting that walking strategies significantly affect the spatiotemporal features of hand motions, e.g., the speed and intensity of the swinging arm, we propose a smartwatch-based wearable system that can recognize these predefined walking styles. We developed a wearable system, suitable for use with a commercial smartwatch, that can capture hand motions in the form of multivariate timeseries (MTS) signals. Then, we employed a set of machine learning algorithms, including feature-based and recent deep learning algorithms, to learn the MTS data in a supervised fashion. Experimental results demonstrated that, with recent deep learning algorithms, the proposed approach successfully recognized a variety of walking patterns, using the smartwatch measurements. We analyzed the results with recent attention-based recurrent neural networks to understand the relative contributions of the MTS signals in the classification process.

Virtual Screening Meets Deep Learning

2018 ◽  
Vol 15 (1) ◽  
pp. 6-28 ◽  
Author(s):  
Javier Pérez-Sianes ◽  
Horacio Pérez-Sánchez ◽  
Fernando Díaz
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Deep Learning ◽  
Virtual Screening ◽  
Great Increase ◽  
New Drugs ◽  
Learning Approach ◽  
Screening Strategies ◽  
Computer Aided ◽  
Recent Developments

Background: Automated compound testing is currently the de facto standard method for drug screening, but it has not brought the great increase in the number of new drugs that was expected. Computer- aided compounds search, known as Virtual Screening, has shown the benefits to this field as a complement or even alternative to the robotic drug discovery. There are different methods and approaches to address this problem and most of them are often included in one of the main screening strategies. Machine learning, however, has established itself as a virtual screening methodology in its own right and it may grow in popularity with the new trends on artificial intelligence. Objective: This paper will attempt to provide a comprehensive and structured review that collects the most important proposals made so far in this area of research. Particular attention is given to some recent developments carried out in the machine learning field: the deep learning approach, which is pointed out as a future key player in the virtual screening landscape.

scholarly journals Representing Deep Neural Networks Latent Space Geometries with Graphs

Algorithms ◽  
2021 ◽  
Vol 14 (2) ◽  
pp. 39
Author(s):  
Carlos Lassance ◽  
Vincent Gripon ◽  
Antonio Ortega
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Objective Function ◽  
Learning Process ◽  
Deep Neural Networks ◽  
State Of The Art ◽  
The Core ◽  
Learning Tasks ◽  
Latent Space

Deep Learning (DL) has attracted a lot of attention for its ability to reach state-of-the-art performance in many machine learning tasks. The core principle of DL methods consists of training composite architectures in an end-to-end fashion, where inputs are associated with outputs trained to optimize an objective function. Because of their compositional nature, DL architectures naturally exhibit several intermediate representations of the inputs, which belong to so-called latent spaces. When treated individually, these intermediate representations are most of the time unconstrained during the learning process, as it is unclear which properties should be favored. However, when processing a batch of inputs concurrently, the corresponding set of intermediate representations exhibit relations (what we call a geometry) on which desired properties can be sought. In this work, we show that it is possible to introduce constraints on these latent geometries to address various problems. In more detail, we propose to represent geometries by constructing similarity graphs from the intermediate representations obtained when processing a batch of inputs. By constraining these Latent Geometry Graphs (LGGs), we address the three following problems: (i) reproducing the behavior of a teacher architecture is achieved by mimicking its geometry, (ii) designing efficient embeddings for classification is achieved by targeting specific geometries, and (iii) robustness to deviations on inputs is achieved via enforcing smooth variation of geometry between consecutive latent spaces. Using standard vision benchmarks, we demonstrate the ability of the proposed geometry-based methods in solving the considered problems.

scholarly journals On the road to consistent Type Ia supernova explosion models

2006 ◽  
Vol 2 (14) ◽  
pp. 308-309
Author(s):  
Friedrich K. Röpke
Keyword(s):  
Three Dimensional ◽  
Supernova Explosion ◽  
The Road ◽  
Type Ia Supernova ◽  
Type Ia ◽  
Recent Developments ◽  
Consistent Picture ◽  
On The Road ◽  
Distance Indicators ◽  
Three Dimensional Simulations

AbstractKeeping up with ever more detailed observations, Type Ia supernova (SN Ia) explosion models have seen a brisk development over the past years. The aim is to construct a self-consistent picture of the physical processes in order to gain the predictive power necessary to answer questions arising from the application of SNe Ia as cosmological distance indicators. We review recent developments in modeling these objects focusing on three-dimensional simulations.

scholarly journals Image classification using Deep learning

2018 ◽  
Vol 7 (2.7) ◽  
pp. 614 ◽  
Author(s):  
M Manoj krishna ◽  
M Neelima ◽  
M Harshali ◽  
M Venu Gopala Rao
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Image Processing ◽  
Computer Vision ◽  
Deep Learning ◽  
Image Classification ◽  
Convolutional Neural Networks ◽  
Classical Problem

The image classification is a classical problem of image processing, computer vision and machine learning fields. In this paper we study the image classification using deep learning. We use AlexNet architecture with convolutional neural networks for this purpose. Four test images are selected from the ImageNet database for the classification purpose. We cropped the images for various portion areas and conducted experiments. The results show the effectiveness of deep learning based image classification using AlexNet.  

scholarly journals A primer on deep learning and convolutional neural networks for clinicians

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Lara Lloret Iglesias ◽  
Pablo Sanz Bellón ◽  
Amaia Pérez del Barrio ◽  
Pablo Menéndez Fernández-Miranda ◽  
David Rodríguez González ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Convolutional Neural Networks ◽  
Learning Capabilities ◽  
Computer Vision Applications ◽  
Fully Connected ◽  
Imaging Perspective ◽  
Adaptive Momentum

AbstractDeep learning is nowadays at the forefront of artificial intelligence. More precisely, the use of convolutional neural networks has drastically improved the learning capabilities of computer vision applications, being able to directly consider raw data without any prior feature extraction. Advanced methods in the machine learning field, such as adaptive momentum algorithms or dropout regularization, have dramatically improved the convolutional neural networks predicting ability, outperforming that of conventional fully connected neural networks. This work summarizes, in an intended didactic way, the main aspects of these cutting-edge techniques from a medical imaging perspective.

scholarly journals Convolutional Neural Network for Iris Recognition

2021 ◽  
Author(s):  
Wael Alnahari
Keyword(s):  
Neural Network ◽  
Machine Learning ◽  
Neural Networks ◽  
Deep Learning ◽  
Convolutional Neural Network ◽  
Iris Recognition ◽  
Recognition System ◽  
High Accuracy ◽  
Accuracy Rate

Abstract In this paper, I proposed an iris recognition system by using deep learning via neural networks (CNN). Although CNN is used for machine learning, the recognition is achieved by building a non-trained CNN network with multiple layers. The main objective of the code the test pictures’ category (aka person name) with a high accuracy rate after having extracted enough features from training pictures of the same category which are obtained from a that I added to the code. I used IITD iris which included 10 iris pictures for 223 people.

Sign in / Sign up

Export Citation Format

Share Document