An equational presentation P = h ; V; E i induces a graph G P of terms and equations, while proof gures in P induces an -algebra A P on groupoids. Although the construction of A P is quite syntactic, it is not free over G P . In order to make the meaning of freeness precise, we introduce a notion of -graph, and show that A P is freely generated by the -graph G P induced by P . Incidentally, thi...

AIM To study Electroencephalogram (EEG) in different stages of chronic kidney disease (CKD). MATERIALS AND METHODS This observational study was carried out in the Department of Medicine, Jawaharlal Nehru Medical College, Sawangi (Meghe), Wardha conducted over a period of 24 months, spanning from August 2011 to August 2013. Eighty three cases of CKD at different stages were studied. EEG was do...

Si-Woong Lee Hanbat National University Division of Information Communication and Computer Engineering San 16-1, Dukmyung-dong Yusong-gu, Daejeon South Korea Abstract. Robustness to noise and/or illumination variations has been a major issue with change detection. We present a novel change detection scheme that is robust to both noise and illumination changes. The major difference of our method...

The property of transitivity is one of the most important for fuzzy binary relations, especially in the cases when they are used for the representation of real life similarity or ordering information. As far as the algorithmic part of the actual calculation of the transitive closure of such relations is concerned, works in the literature mainly focus on crisp symmetric relations, paying little ...

Generative design refers to computational methods that can automatically conduct exploration under constraints defined by designers. Among many approaches, topology optimization-based generative designs aim explore diverse designs, which cannot be represented conventional parametric approaches. Recently, data-driven optimization research has started exploit artificial intelligence, such as deep...

This paper describes a general approach for processing data from an omni-directional guided wave transducer array for the rapid inspection of large plate structures. A basic phased array algorithm is presented that can be applied to any array geometry. The beam forming is the method in which the phase-coherent signals at different sensors are superimposed such a way that the sum will have maxim...

We propose a new probabilistic pattern formation algorithm for oblivious mobile robots that operate in the ASYNC model. Unlike previous work, our algorithm makes no assumptions about the local coordinate systems of robots (the robots do not share a common “North” nor a common “Right”), yet it preserves the ability to form any general pattern (and not just patterns that satisfy symmetricity pred...

A low cost 4  4 butler matrix fed antenna array has been proposed for Ku band applications. At high frequencies, the ohmic and dielectric losses are high and also the undesired feed radiation is more in the case of microstrip line feed, therefore substrate integrated waveguide (SIW) has been used to feed the antenna elements. The implementation of SIW technology improved the radiation performa...

Computational complexity of the sub-tasks appearing in the symmetry reduction method for Place/Transition-nets is studied. The first task of finding the automorphisms (symmetries) of a net is shown to be polynomial time many-one equivalent to the problem of finding the automorphisms of a graph. The problem of deciding whether two markings are symmetric is shown to be equivalent to the graph iso...

In this paper, we consider the problem of formation of a series of geometric patterns [4] by a network of oblivious mobile robots that communicate only through vision. So far, the problem has been studied in models where robots are either assumed to have distinct identifiers or to be completely anonymous. To generalize these results and to better understand how anonymity affects the computation...