introduction: standard codes and their descriptions are important tools for research, design, implementation and evaluation of the injury control program and its sub-categories. methods: in this research the medical records of 735 patients diagnosed with injuries, burns or poisonings from teaching-hospitals of the iran, tehran and shahid beheshti medical universities (n=22) were selected to be ...

We present a translation of J. Barwise and J. Seligman’s Information Flow Theory into a lattice and Galois connection based formalism. We show how to transform the different structures of the theory into this formalism and show that this translation extends the expressivity of the theory.

A fundamental problem in music is to classify songs according to their rhythm. A rhythm is represented by a sequence of “Quick” (Q) and “Slow” (S) symbols, which correspond to the (relative) duration of notes, such that S = QQ. In this paper we present a linear algorithm for locating the maximum-length substring of a music text t that can be covered by a given rhythm r. An efficient algorithm t...

The word existence is repeatedly used in arguments in mathematics, and there are several possibilities for the explicit definition of the existence of mathematical objects. Sometimes the word is used in a strict and rigorous sense, but in other occasions, it may have a more moderate meaning. One account of existence says that the existence of a mathematical object is affirmed when the consisten...

Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web pages, pictures and any kind of electronic information items. Classifications describe their contents using natural language labels, which has proved very effective in manual classification. However natural language l...

I implement several DSP technique: FFT, Wiener Filter, convolution to preprocess the galaxy images and use some machine learning theories to learn and predict hand-made galaxy morphology classifications. My data and success metric are taken from a recent Kaggle competition “Galaxy Zoo The Galaxy Challenge”. I focus on three sequential algorithm modules: image analysis, data compression, and mac...