Publications

Deep Residual Learning for Image Recognition

Actualmente diversas investigaciones se han enfocado en analizar a partir de videos de alta velocidad, características de las descargas eléctricas atmosféricas con el fin de adq...

Using thematic analysis in psychology

Increasingly, adult Indigenous language learners are being identified as the “missing generation” of learners who hold great potential to contribute to the revival of Indigenous...

Efficient iterative schemes for<i>ab initio</i>total-energy calculations using a plane-wave basis set

We present an efficient scheme for calculating the Kohn-Sham ground state of metallic systems using pseudopotentials and a plane-wave basis set. In the first part the applicatio...

ImageNet classification with deep convolutional neural networks

We trained a large, deep convolutional neural network to classify the 1.2 million high-resolution images in the ImageNet LSVRC-2010 contest into the 1000 different classes. On t...

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

Gradient-based learning applied to document recognition

Multilayer neural networks trained with the back-propagation algorithm constitute the best example of a successful gradient based learning technique. Given an appropriate networ...

Designing complex, dynamic yet multi-functional materials and devices is challenging because the design spaces for these materials have numerous interdependent and often conflic...

Prospect Theory: An Analysis of Decision under Risk

This paper presents a critique of expected utility theory as a descriptive model of decision making under risk, and develops an alternative model, called prospect theory. Choice...

EMBI

Requirements are an integral part of industry operation and projects. Not only do requirements dictate industrial operations, but they are used in legally binding contracts betw...

The Hospital Anxiety and Depression Scale

ABSTRACT– A self‐assessment scale has been developed and found to be a reliable instrument for detecting states of depression and anxiety in the setting of an hospital medical o...

Prospect theory: An analysis of decision under risk

Expected utility theory has dominated the analysis of decision making under risk. It has been generally accepted as a normative model of rational choice (Keeney and Raiffa, 1976...

Glove: Global Vectors for Word Representation

Recent methods for learning vector space representations of words have succeeded in capturing fine-grained semantic and syntactic regularities using vector arithmetic, but the o...