Within personal informatics and Quantified Self (QS), great emphasis has been placed on creating the systems for gathering and visualizing data to support self-discovery. While this is a vital first step, a logical next step is the development of self-experimentation tools focused on not only tracking but also testing of alternative strategies for behavior change. Many behavior change technolog...

Verification of machine-code programs using program logic has focused on functional correctness, and proofs have required manuallyprovided program specifications. Fortunately, the verification of shallow safety properties such as memory and control-flow safety can be easier to automate, but past techniques for automatically verifying machine-code safety have required post-compilation transforma...

The authors tested the hypothesis that goal-focused leadership enables conscientious workers to perform effectively by helping them to accurately understand organizational goal priorities. Data collected from 162 workers in a private sector document processing organization supported the hypotheses that goal-focused leadership moderates the relationship between conscientiousness and job performa...

Gender differences among nursing professionals were investigated in the area of job stress and stress coping strategies. Seventy six male nurses and 93 female nurses from 3 general hospitals were participated in this study. Korean job stress measurement developed by Chang (2005) and stress coping measurement modified by Yim (1994) were used. Using SPSS 22.0 program, gender differences in the le...

The social environment can alter mating tactic expression through modulatory effects on the endocrine system. In anuran amphibians (frogs and toads), males often adopt noncalling mating tactics in response to increased chorus density, but the underlying physiological factors mediating this response are poorly understood. Recent models suggest that density-dependent expression of alternative mat...

This paper describes the main features of the PARNAX system for natural language access (in Italian) to an ADABAS data base. The core of the system is constituted by the analyzer that includes parallel processing of syntactic and semantic knowledge. It is argued that this feature (together with the new macro and micro-analysis technique which is only shortly mentioned in this paper) allowed the...

PURPOSE We examined predictors of intrinsic job satisfaction, overall satisfaction, and intention to leave the job among nursing assistants (NAs). DESIGN AND METHODS The study focused on NAs who worked 30 or more hours per week in a nursing home. Data on 2,146 NAs meeting this criterion came from the 2004 National Nursing Assistant Survey, the first telephone interview survey of NAs nationwid...

ghotb’din mohammad ebn motahhar ebn ahmad jam (zhendepil) is one of the talented mystics and writers of iran who has lived from 557 till 667a.h. hadighat al-haghighat is one of the his writings. first of all, this research is focused on the new utterances and findings about ghotb’din such asinformation about his identity, religion, job and his relationship with his contemporaries, journeys and ...

The interrelatedness of nurses' career commitment and job performance is debated. In nursing, few studies have focused on the relationship between the two concepts. A convenience sample of 640 registered nurses (RNs) from 24 hospitals was recruited. A comparative design was used to assess differences among governmental, teaching and private hospitals in regard to the concepts measured. In gener...