This paper I describes a method for chart parsing Lambek g rammars . The method is of part icular interest in two regards. Firstly, it allows efficient processing of g rammars which use necessity operators, mr extension proposed for handling locality phenomena. Secondly, the method is easily adapted to allow incremental proceasing of Lambek grammars , a possibility tha t has hitherto been unava...

languages --e.g., theoretical foundations, syntax, semantics, types, scope of Brief history of programming languages, Syntax, Semantics, Essentials, Paradigms Expression evaluation orders, Types, Recursion, Higher-order programming Programming Distributed Computing Systems: A Foundational Approach. type theory and the foundations of functional programming languages. Secondly, I would like to th...

Steps involved in converting a query into its equivalent internal form include generation of logically equivalent expressions, using equivalence rules, secondly providing enough information for extracting alternate solutions and finally optimizing the query. Queries written in high level languages are transformed into lower level forms by making use of relational algebra.

This paper presents our VolksBot robotic system. VolksBot is a flexible and modular mobile robot construction kit based on high value components. The concept behind the VolksBot system is the Physical Rapid Prototyping of mobile service robots. The paper firstly presents the concept on the Volksbot kit and secondly the current versions and already realized robotic variants and projects.

Identity and collective memory is one of the fascinating subjects in modern sociology. In Iran, it arose again as modern and government-nation discourse emerged, and has been endlessly discussed since then. Such subjects have assumed an increasing importance due to the multi-cultural and multi-ethical existence of Iranian society and recent global developments. Accordingly, the present study ha...

Heat EXchangers (HEX) that are used in City Gate Station (CGS) systems are modeled numerically to recover the exhaust waste heat. It was tried to find the best viscous model to obtain results in accordance with experimental results and to change the heat exchanger design. This HEX is used for recovering heat from exhaust flue gas with a mixture of 40% water and 60% ethylene glycol as the coolin...

Template matching is a widely used technique in many of image processing and machine vision applications. In this paper we propose a new as well as a fast and reliable template matching algorithm which is invariant to Rotation, Scale, Translation and Brightness (RSTB) changes. For this purpose, we adopt the idea of ring projection transform (RPT) of image. In the proposed algorithm, two novel s...

The main purpose of the present quasi-experimental study was twofold; its first purpose was to investigate the effects of using of two approaches namely; genre and process on EFL learners’ accuracy, fluency, and complexity in written task production. Secondly, it attempted to investigate the effects of mentioned approaches on EFL learners’ attitude toward writing skill. to this end, 60 learners...

Karkheh Dam is the largest dam in Iran with a capacity of about 7.4×109 cubic meters and height of 127 meters. Since the first impoundment, increasing in seismic activity in the dam area has been observed that indicates the possible occurrence of reservoir-induced seismicity (RIS).In the present work, a preliminary evaluation is conducted firstly in order to investigate these observations. Base...