By using a histoncally oriented study, the paper sees Information technology (IT) as the successor to three important streams in technologies supporting information-related activities, namely, mechanization, commumcation, and generation and transmission of knowledge. The study aims to show the IT phenomena as something taking place within the context of social and cultural evolution over the pa...

The Ad hoc On-demand Distance Vector (AODV) routing protocol [6] allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data packets. Such a protocol is ‘loop free’ if it never leads to routing decisions that forward packets in circles. This development mechanises an existing pen-and-paper proof of loop freedom of AODV [4]. The protocol is ...

This paper examines the effect of capitalist control and technological changes in the handloom industry of Varanasi in Uttar Pradesh. The Karl Marx and Harry Braverman’s concept of deskilling is one of the consequences of the capitalistic control and technological changes and it studied theoretically and empirically in the field area. Deskilling is a feature of the labour process theory and it ...

this study investigated the effects of land size and two leased and private farming systems of machinery on economic efficiency and factors such as total production cost per hectare (ratio of total cost of agricultural inputs and operations to farm size), total income (ratio of product and byproduct value to farm size), yield (ratio of crop production to farm size) and degree of mechanization f...

the purpose of this study was analyzing the skill of khoram abad township wheat farmers regarding mechanization. this research was applied research and, based on methodology, was descriptive and correlative. wheat farmers of khoram abad township, (n=18597) were considered as statistical population. based on krejcie and morgan table, 377 ones were selected as sample. in this study, cluster rando...

With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make easy to write reusable, extensible code and proofs. This paper presents a novel design geared towards metatheory mechanization in proof assistant. The new achieves reuse extensibility via form family polymorphism, an object-oriented idea, allows proofs be polymo...

Agro processing is defined as set of techno-economic activities, applied to all the produces, originating from agricultural farm, livestock, aquacultural sources and forests for their conservation, handling and value-addition to make them usable as food, feed, fibre, fuel or industrial raw materials. Agro processing sector has experienced expansion during last 5 decades, starting with a handful...