2,830 research outputs found
Feed and fodder production in different agroclimatic zones and their utilization for livestock in Odisha: Dissemination of new feed technology and forage crops
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
In ubiquitous computing devices, users tend to store some valuable
information in their device. Even though the device can be borrowed by the
other user temporarily, it is not safe for any user to borrow or lend the
device as it may cause private data of the user to be public. To safeguard the
user data and also to preserve user privacy we propose and model the technique
of ownership authentication transfer. The user who is willing to sell the
device has to transfer the ownership of the device under sale. Once the device
is sold and the ownership has been transferred, the old owner will not be able
to use that device at any cost. Either of the users will not be able to use the
device if the process of ownership has not been carried out properly. This also
takes care of the scenario when the device has been stolen or lost, avoiding
the impersonation attack. The aim of this paper is to model basic process of
proposed ownership authentication transfer protocol and check its safety
properties by representing it using CSP and model checking approach. For model
checking we have used a symbolic model checker tool called NuSMV. The safety
properties of ownership transfer protocol has been modeled in terms of CTL
specification and it is observed that the system satisfies all the protocol
constraint and is safe to be deployed.Comment: 16 pages, 7 figures,Submitted to ADCOM 201
An iconic programming language for sensor-based robots
In this paper we describe an iconic programming language called Onika for sensor-based robotic systems. Onika is both modular and reconfigurable and can be used with any system architecture and real-time operating system. Onika is also a multi-level programming environment wherein tasks are built by connecting a series of icons which, in turn, can be defined in terms of other icons at the lower levels. Expert users are also allowed to use control block form to define servo tasks. The icons in Onika are both shape and color coded, like the pieces of a jigsaw puzzle, thus providing a form of error control in the development of high level applications
On Heterodox Economics
In the literature of Economics itself, branches have evolved thanks to different positions held by economists on different economic issues, and most importantly, on the efficacy and desirability of economic policies to address such economic issues. The so-called Classical and Keynesian poles apart positions have stood as the firm foundation for the germination of a couple of developments in economics. But, it may be reiterated that these positions have been premised upon several assumptions which often go diametrically opposite to real-world circumstances. The growing concern of the disconnect of the mainstream economics from the conditions of the real world has made a vacuum. The attention that heterodox economics has been receiving should be regarded as a response to this fill this vacuum. Heterodox economics has grown to occupy an important place in modern economic thinking, and in the years to come, in the field of teaching as well, the elements discussed in heterodox economic will have an indisputable place. In the field of policy making, too, the principles of heterodox have been used. Nevertheless, mainstream economics does not seem to have been shaken by the claims of heterodox economics. For economics to continue as rigorous social science, much celebrated neo-classical tools and its ideas are still more important
How do women view the online learning of their children? A Study of Alappuzha District
This paper discusses the issues of online education from the perspective of women, an important agent in the education system in their capacity of mothers. The study enquires into the issues of college going students in the Alappuzha district of Kerala state. The study has found that despite the low economic profile of households, parent give utmost importance to the online education of their children. Most of them have ensured that their children have necessary gadgets and internet services to access online classes. Only 30 percent of the women opine that online education has added burden to their household budget. 60 percent of women appear to have been satisfied with the online classes
Antibiotic sensitivity of Vibrio parahaemolyticus strains
The strains of Vibrio parahaemolyticus isolated from water, sediment, plankton, fish and prawn of Cochin backwater were tested for sensitivity to ten antibiotics namely, ampicillin, chloramphenicol, gentamycin, kanamycin, neomycin, oxytetracycline, penicillin, polymyxin-B, streptomycin and sulphadiazine. Of the 120 isolates tested, 96.7 and 93.3% were sensitive to gentamycin and chloramphenicol respectively. No strain was sensitive to penicillin and only 5% were sensitive to kanamycin. Isolates from fish and prawn showed higher resistance to ampicillin and none of them was sensitive to kanamycin. Multiple resistant V. parahaemolyticus strains were more in prawn than in other samples
- …