Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some important successes. The Praxis CDIS development, the IBM Hursley redevelopment of CICS, the TCAS system, the INMOS T9000 transputer and a number of others are well known; but their very notability indicates how few convincing examples there are. And ...

Online Social Networks are growing exponentially due to which a lot of researchers are working on Social Network analysis. Link Prediction is a task of predicting new links that may occur in future in the social network. The link prediction problem has generated a lot of interest due its widespread applicability across many domains. We conducted a study on the different methods that have been d...

As early as thousands of years ago, our ancestors already understood the laws governing the origin, development and changes of life. They recognized that nothing on earth was immutable: the elderly declined and died, while the young grew and developed, and the process of growth, change and death was perpetual and without cessation. In all living organisms, including human beings, growth, develo...

Wil is a writer, teacher, learning technologist and keen language learner. teachers in using classroom and web technology, and written e-learning materials for or who are used to the traditional 'teacher and class' model of education. and online learning, in the hands of a welltrained teacher, both delivery methods. Setting plays a crucial role in effective teaching, and learning and eLearning ...

Evaluating affective interfaces in order to provide input for designers is a challenge for the CHI community. One question is to what extent traditional evaluation methods, used for evaluating traditional usability, are applicable at all, and if they need revision. The purpose of this project was to gain an understanding in how applicable traditional usability evaluation methods are in understa...

In the current “e-commerce” boom, much attention has been paid to how the Internet is transforming product markets. At the same time, the Internet also is transforming labor markets, altering the way workers look for jobs, and the way firms recruit workers. More than 2,000 Internet job search sites now exist, yet little is known of their effects on labor markets. What percentages of unemployed ...

Mortality is an inevitable consequence of livestock and poultry farming. With a large livestock and poultry population of 513 and 729 million [1] respectively in India, animals die due to different diseases, accidents and disasters. Mortalities are usually thrown out on the roads, farm lands and rivers [2], thus creating different types of menace and environmental hazards. Strategies for carcas...

Dental caries is a bacteria-associated progressive process of the hard tissues of the coronal and root surfaces of teeth. The net demineralization may begin soon after tooth eruption in caries susceptible children without being recognized by dental professionals. This process may progress further resulting in a caries lesion that is the sign and/or the symptom of the carious process. Caries is ...

Online Social Networks are growing exponentially due to which a lot of researchers are working on Social Network analysis. Link Prediction is a task of predicting new links that may occur in future in the social network. The link prediction problem has generated a lot of interest due its widespread applicability across many domains. We conducted a study on the different methods that have been d...

The purpose of this study is to find a practical solution for improving writing skill among Iranian high school learners of EFL. The main question was whether pragmatics had any priority over traditional methods in improving writing or not.  Forty high school students were selected on the basis of their performance in PET (2009). In addition the following instruments were also used in this quas...