OBJECTIVES To review the fast-growing literature on Internet addiction. METHODS Descriptive review, using electronic databases as well as hand-search of relevant publications or cross-references from 1970 to 2010. RESULTS There are no universally accepted definitions for the captioned condition, but investigators seem to agree that it involves… (More)
We find a lower bound for the number of real quadratic fields whose class groups have an element of order 3. More precisely, we establish that the number of real quadratic fields whose absolute discriminant is ≤ x and whose class group has an element of order 3 is x 5 6 improving the existing best known bound x 1 6 of R. Murty.
To reuse legacy C code effectively in Model Based Development process, it is highly desirable that the code be converted to Simulink model, a de facto standard in many industrial application domains, such as avionics and automotive control. In this paper we present the design methodology of a tool that translates a C code to equivalent Simulink model with… (More)
Aggressive Packet Combining (APC) scheme is well established for receiving correct packet in high error prone wireless link. In APC three copies of a packet are transmitted and receiver does bit wise majority decision to get the correct copy. The main research challenge in APC is that if two or more copies of the packet become erroneous at the particular… (More)
This paper presents different types of mathematical modelling of Inverted Pendulum and also a Proportional-Intregal-Derative (PID) controller is designed for its stabilization. After desiging of PID controller some reference stable system has been selected and then different types of error has been optimized (minimized) by using Genetic algorithms. The… (More)
and analysis of a marine plankton system with nutrient recycling and diffusion (2014) Complexity,. Article in Press. and analysis of a multiple delayed exploited ecosystem towards coexistence perspective (2014) Nonlinear Dynamics,. Article in Press.
This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents… (More)
We describe the modeling and verification of TTCAN startup protocol using SAL model checker. For the modeling purposes we propose a new modeling framework called Synchronous Calendar which can be seen as an adaptation of Calendar based models introduced by Duterte and Sorea. A Synchronous Calendar can express dense time systems without relying on… (More)