A model of motion detection is presented. The model contains three stages. The rst stage is unoriented and is selective for contrast polarities. The next two stages work in parallel. A phase insensitive stage pools across diierent contrast polarities through a spatiotemporal lter and thus can detect rst and second order motion. A phase sensitive stage keeps contrast polarities separate, each of...

This paper describes application of information granulation theory, on the back analysis of Jeffrey mine southeast wall Quebec. In this manner, using a combining of Self Organizing Map (SOM) and rough set theory (RST), crisp and rough granules are obtained. Balancing of crisp granules and sub rough granules is rendered in close-open iteration. Combining of hard and soft computing, namely finite...

Recent work on loglinear models in proba-bilistic constraint logic programming is applied to rst-order probabilistic reasoning. Probabilities are deened directly on the proofs of atomic formulae, and by marginal-isation on the atomic formulae themselves. We use Stochastic Logic Programs (SLPs) composed of labelled and unlabelled deenite clauses to deene the proof probabilities. We have a conser...

This article is the outcome of research aimed at took two problems. First, what procedure for mediation process in accordance with Regulation Supreme Court Republic Indonesia Number 1 2016. Second, how implementation 2016, during Covid 19 pandemic Kediri District Religious Court. The method used this juridical empirical. steps taken were: researcher visited offi ce. To fi nd initial data, and i...

pollution has become a very serious threat to our environment. monitoring pollution is the rst step toward planning to save the environment. the use of dierential equations, monitoring pollution has become possible. in this paper, a ritz-collocation method is introduced to solve non-linear oscillatory systems such as modelling the pollution of a system of lakes. the method is based upon bernoul...

We present a new transformation of -terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and !rst-order. Previous CPS transformations only enjoyed two out of the three properties of being !rst-order, one-pass, and compositional, but the new transformation enjoys all three properties. It is proved correct directly by structural induction...

This paper describes a new symmetry-based approach to solving a given ordinary di¬erence equation. By studying the local structure of the set of solutions, we derive a systematic method for determining one-parameter Lie groups of symmetries in closed form. Such groups can be used to achieve successive reductions of order. If there are enough symmetries, the di¬erence equation can be completely ...

In this paper, we will present a deenability theorem for rst order logic. This theorem is very easy to state, and its proof only uses elementary tools. To explain the theorem, let us rst observe that if M is a model of a theory T in a language L, then, clearly, any deenable subset S M (i.e., a subset S = fa j M j = '(a)g deened by some formula ') is invariant under all automorphisms of M. The s...

This paper pursues some applications of Rough Set Theory (RST) and neural-fuzzy model to analysis of "lugeon data". In the manner, using Self Organizing Map (SOM) as a pre-processing the data are scaled and then the dominant rules by RST, are elicited. Based on these rules variations of permeability in the different levels of Shivashan dam, Iran has been highlighted. Then, via using a combining...