WorldWideScience

Sample records for formal job hazard

  1. Integration of Formal Job Hazard Analysis and ALARA Work Practice

    International Nuclear Information System (INIS)

    NELSEN, D.P.

    2002-01-01

    ALARA work practices have traditionally centered on reducing radiological exposure and controlling contamination. As such, ALARA policies and procedures are not well suited to a wide range of chemical and human health issues. Assessing relative risk, identifying appropriate engineering/administrative controls and selecting proper Personal Protective Equipment (PPE) for non nuclear work activities extends beyond the limitations of traditional ALARA programs. Forging a comprehensive safety management program in today's (2002) work environment requires a disciplined dialog between health and safety professionals (e.g. safety, engineering, environmental, quality assurance, industrial hygiene, ALARA, etc.) and personnel working in the field. Integrating organizational priorities, maintaining effective pre-planning of work and supporting a team-based approach to safety management represents today's hallmark of safety excellence. Relying on the mandates of any single safety program does not provide industrial hygiene with the tools necessary to implement an integrated safety program. The establishment of tools and processes capable of sustaining a comprehensive safety program represents a key responsibility of industrial hygiene. Fluor Hanford has built integrated safety management around three programmatic attributes: (1) Integration of radiological, chemical and ergonomic issues under a single program. (2) Continuous improvement in routine communications among work planning/scheduling, job execution and management. (3) Rapid response to changing work conditions, formalized work planning and integrated worker involvement

  2. Job Hazard Analysis

    National Research Council Canada - National Science Library

    1998-01-01

    .... Establishing proper job procedures is one of the benefits of conducting a job hazard analysis carefully studying and recording each step of a job, identifying existing or potential job hazards...

  3. Job Assignments under Moral Hazard

    DEFF Research Database (Denmark)

    Koch, Alexander; Nafziger, Julia

    Inefficient job assignments are usually explained with incomplete information about employees' abilities or contractual imperfections. We show that inefficient assignments arise even without uncertainty about the employee's ability and with complete contracts. Building on this result we provide...

  4. Job Hazards Analysis Among A Group Of Surgeons At Zagazig ...

    African Journals Online (AJOL)

    ... 75% respectively. Conclusion: Job hazards analysis model was effective in assessment, evaluation and management of occupational hazards concerning surgeons and should considered as part of hospital wide quality and safety program. Key Words: Job Hazard Analysis, Risk Management, occupational Health Safety.

  5. Physically and psychologically hazardous jobs and mental health in Thailand

    Science.gov (United States)

    Yiengprugsawan, Vasoontara; Strazdins, Lyndall; Lim, Lynette L.-Y.; Kelly, Matthew; Seubsman, Sam-ang; Sleigh, Adrian C.

    2015-01-01

    This paper investigates associations between hazardous jobs, mental health and wellbeing among Thai adults. In 2005, 87 134 distance-learning students from Sukhothai Thammathirat Open University completed a self-administered questionnaire; at the 2009 follow-up 60 569 again participated. Job characteristics were reported in 2005, psychological distress and life satisfaction were reported in both 2005 and 2009. We derived two composite variables grading psychologically and physically hazardous jobs and reported adjusted odds ratios (AOR) from multivariate logistic regressions. Analyses focused on cohort members in paid work: the total was 62 332 at 2005 baseline and 41 671 at 2009 follow-up. Cross-sectional AORs linking psychologically hazardous jobs to psychological distress ranged from 1.52 (one hazard) to 4.48 (four hazards) for males and a corresponding 1.34–3.76 for females. Similarly AORs for physically hazardous jobs were 1.75 (one hazard) to 2.76 (four or more hazards) for males and 1.70–3.19 for females. A similar magnitude of associations was found between psychologically adverse jobs and low life satisfaction (AORs of 1.34–4.34 among males and 1.18–3.63 among females). Longitudinal analyses confirm these cross-sectional relationships. Thus, significant dose–response associations were found linking hazardous job exposures in 2005 to mental health and wellbeing in 2009. The health impacts of psychologically and physically hazardous jobs in developed, Western countries are equally evident in transitioning Southeast Asian countries such as Thailand. Regulation and monitoring of work conditions will become increasingly important to the health and wellbeing of the Thai workforce. PMID:24218225

  6. Physically and psychologically hazardous jobs and mental health in Thailand.

    Science.gov (United States)

    Yiengprugsawan, Vasoontara; Strazdins, Lyndall; Lim, Lynette L-Y; Kelly, Matthew; Seubsman, Sam-ang; Sleigh, Adrian C

    2015-09-01

    This paper investigates associations between hazardous jobs, mental health and wellbeing among Thai adults. In 2005, 87 134 distance-learning students from Sukhothai Thammathirat Open University completed a self-administered questionnaire; at the 2009 follow-up 60 569 again participated. Job characteristics were reported in 2005, psychological distress and life satisfaction were reported in both 2005 and 2009. We derived two composite variables grading psychologically and physically hazardous jobs and reported adjusted odds ratios (AOR) from multivariate logistic regressions. Analyses focused on cohort members in paid work: the total was 62 332 at 2005 baseline and 41 671 at 2009 follow-up. Cross-sectional AORs linking psychologically hazardous jobs to psychological distress ranged from 1.52 (one hazard) to 4.48 (four hazards) for males and a corresponding 1.34-3.76 for females. Similarly AORs for physically hazardous jobs were 1.75 (one hazard) to 2.76 (four or more hazards) for males and 1.70-3.19 for females. A similar magnitude of associations was found between psychologically adverse jobs and low life satisfaction (AORs of 1.34-4.34 among males and 1.18-3.63 among females). Longitudinal analyses confirm these cross-sectional relationships. Thus, significant dose-response associations were found linking hazardous job exposures in 2005 to mental health and wellbeing in 2009. The health impacts of psychologically and physically hazardous jobs in developed, Western countries are equally evident in transitioning Southeast Asian countries such as Thailand. Regulation and monitoring of work conditions will become increasingly important to the health and wellbeing of the Thai workforce. © The Author 2013. Published by Oxford University Press.

  7. Recognizing Job Health Hazards. Module SH-08. Safety and Health.

    Science.gov (United States)

    Center for Occupational Research and Development, Inc., Waco, TX.

    This student module on recognizing job health hazards is one of 50 modules concerned with job safety and health. This module presents the four general categories of environmental conditions or stresses: chemical, physical, biological, and ergonomic. Following the introduction, 14 objectives (each keyed to a page in the text) the student is…

  8. Applicant Evaluations of Formal Position Advertisements: The Influence of Sex, Job Message Content, and Information Order.

    Science.gov (United States)

    Winter, Paul A.

    1996-01-01

    Applicant evaluations of job messages conveyed through formal position advertisements were studied with 136 role-playing teachers. Findings indicate that administrators can maximize advertisement attractiveness to women by using intrinsic job attributes and placing them first, and maximize attractiveness to men by using extrinsic attributes and…

  9. Integration of Formal Job Hazard Analysis and ALARA Work Practice

    CERN Document Server

    Nelsen, D P

    2002-01-01

    ALARA work practices have traditionally centered on reducing radiological exposure and controlling contamination. As such, ALARA policies and procedures are not well suited to a wide range of chemical and human health issues. Assessing relative risk, identifying appropriate engineering/administrative controls and selecting proper Personal Protective Equipment (PPE) for non nuclear work activities extends beyond the limitations of traditional ALARA programs. Forging a comprehensive safety management program in today's (2002) work environment requires a disciplined dialog between health and safety professionals (e.g. safety, engineering, environmental, quality assurance, industrial hygiene, ALARA, etc.) and personnel working in the field. Integrating organizational priorities, maintaining effective pre-planning of work and supporting a team-based approach to safety management represents today's hallmark of safety excellence. Relying on the mandates of any single safety program does not provide industrial hygien...

  10. Formal Analysis of Self-Efficacy in Job Interviewee’s Mental State Model

    Science.gov (United States)

    Ajoge, N. S.; Aziz, A. A.; Yusof, S. A. Mohd

    2017-08-01

    This paper presents a formal analysis approach for self-efficacy model of interviewee’s mental state during a job interview session. Self-efficacy is a construct that has been hypothesised to combine with motivation and interviewee anxiety to define state influence of interviewees. The conceptual model was built based on psychological theories and models related to self-efficacy. A number of well-known relations between events and the course of self-efficacy are summarized from the literature and it is shown that the proposed model exhibits those patterns. In addition, this formal model has been mathematically analysed to find out which stable situations exist. Finally, it is pointed out how this model can be used in a software agent or robot-based platform. Such platform can provide an interview coaching approach where support to the user is provided based on their individual metal state during interview sessions.

  11. Towards a common formalization of resilience and vulnerability to natural hazards

    Science.gov (United States)

    Rougé, Charles; Mathias, Jean-Denis; Deffuant, Guillaume

    2015-04-01

    Resilience and vulnerability are two widely-used concepts when it comes to describe the potential impacts of natural hazards on a social and ecological system. They are an attractive way to communicate both with stakeholders and between the different disciplinary fields that use them in that context. Therefore, a formal definition of the concepts is warranted so as to provide a non-ambiguous reference for discussion and avoid misunderstandings. Besides, such a formalization should strive to formalize both concepts together so as to use their complimentarity. This abstract uses a stochastic controlled dynamical system formulation to propose a common framework for the definition of both resilience and vulnerability. Stochasticity represents all sources of uncertainty post-hazard, and the hazard is assumed to be an exogenous input. This mathematical representation highlights how the interplay between a natural hazard, the system's dynamic and the possible action policies influence the final outcome after the hazard hits. It also clarifies the role of normative choices in defining indicators that may inform or guide the system's management. More importantly, we demonstrate how the proposed framework may serve as a basis to generate indicators that are representative of general definitions of the concepts, yet flexible enough to be easily adapted to very diverse situations. Resilience is the ability for the system to keep or recover its properties of interest after a perturbation, while vulnerability is defined in a most general way as a measure of future harm. The definition of vulnerability leads to a variety of possible indicators, and ultimately to the identification of safe configurations of the system. Being resilient is then the fact of returning to a safe configuration, and the probability of resilience is that of doing so within a pre-defined time frame. Then, indicators may be designed around the probability distribution of return times. We show how viability

  12. Formal on-the-job training programs at power generating stations

    Energy Technology Data Exchange (ETDEWEB)

    Hoch, R.R. [HGS, Inc., Ellicott City, MD (United States)

    1996-11-01

    On-the-Job Training (OJT) should be utilized for all posts in the stations. OJT for entry level positions should include training in many mundane areas that are often overlooked such as record keeping (log sheets and log books), proper communications and how to conduct himself or herself on the watch, during either emergency or routine situations. A separate OJT Program should be provided to prepare personnel to qualify for promotion to the next level. (Depending on any common agreements or bargaining unit contracts, OJT Programs can also be used to pre-qualify candidates for promotion to the next level.) By allowing the trainee to retain all OJT Program materials, it will also be available to him or her for continued reference or remedial training. (When an OJT Program is first instituted, it may be validated by issuing it to incumbent personnel and, subsequent, incorporating their comments or corrections.) This paper describes a formal OJT program.

  13. Timing of Formal Phase Safety Reviews for Large-Scale Integrated Hazard Analysis

    Science.gov (United States)

    Massie, Michael J.; Morris, A. Terry

    2010-01-01

    Integrated hazard analysis (IHA) is a process used to identify and control unacceptable risk. As such, it does not occur in a vacuum. IHA approaches must be tailored to fit the system being analyzed. Physical, resource, organizational and temporal constraints on large-scale integrated systems impose additional direct or derived requirements on the IHA. The timing and interaction between engineering and safety organizations can provide either benefits or hindrances to the overall end product. The traditional approach for formal phase safety review timing and content, which generally works well for small- to moderate-scale systems, does not work well for very large-scale integrated systems. This paper proposes a modified approach to timing and content of formal phase safety reviews for IHA. Details of the tailoring process for IHA will describe how to avoid temporary disconnects in major milestone reviews and how to maintain a cohesive end-to-end integration story particularly for systems where the integrator inherently has little to no insight into lower level systems. The proposal has the advantage of allowing the hazard analysis development process to occur as technical data normally matures.

  14. Lessons Learned- The Use of Formal Expert Elicitation in Probablistic Seismic Hazard

    Energy Technology Data Exchange (ETDEWEB)

    K.J. Coppersmith; R.C. Perman; R.R. Youngs

    2006-05-10

    Probabilistic seismic hazard analyses provide the opportunity, indeed the requirement, to quantify the uncertainties in important inputs to the analysis. The locations of future earthquakes, their recurrence rates and maximum size, and the ground motions that will result at a site of interest are all quantities that require careful consideration because they are uncertain. The earliest PSHA models [Cornell, 1968] provided solely for the randomness or aleatory variability in these quantities. The most sophisticated seismic hazard models today, which include quantified uncertainties, are merely more realistic representations of this basic aleatory model. All attempts to quantify uncertainties require expert judgment. Further, all uncertainty models should endeavor to consider the range of views of the larger technical community at the time the hazard analysis is conducted. In some cases, especially for large projects under regulatory review, formal structured methods for eliciting expert judgments have been employed. Experience has shown that certain key elements are required for these assessments to be successful, including: (1) experts should be trained in probability theory, uncertainty quantification, and ways to avoid common cognitive biases; (2) comprehensive and user-friendly databases should be provided to the experts; (3) experts should be required to evaluate all potentially credible hypotheses; (4) workshops and other interactions among the experts and proponents of published viewpoints should be encouraged; (5) elicitations are best conducted in individual interview sessions; (6) feedback should be provided to the experts to give them insight into the significance of alternative assessments to the hazard results; and (7) complete documentation should include the technical basis for all assessments. Case histories are given from seismic hazard analyses in Europe, western North America, and the stable continental region of the United States.

  15. Determination of a Quantitative Job Severity Score Value for Health Hazards in Industry

    Directory of Open Access Journals (Sweden)

    A. Nayebzadeh

    2007-09-01

    Full Text Available Background and aims   There are numerous types of health hazards in every workplace which threaten the health and well-being of employees. Therefore, various types of engineering and  administrative control approaches have been developed in industry. Control of hazardous agents can be difficult in most conditions due to economical and technical limitations. However, certain types of administrative control methods can be implemented in these cases instead of engineering or process controls. Since creating a safe environment with zero chance of occupational exposures to hazardous agents is practically impossible, it can be expected that every employee may have a certain level of exposure to one or more of hazardous agents. The probability and extent of these  exposures will depend on job's demands or work environment's conditions. Under this condition,  a "job severity score" as a quantitative value can be determined in order to choose and employ the  best possible control methodology and also to create a long-term occupational health plan.   Methods   In this study, the main goal is to develop a questionnaire as a model for assessment of job severity and tasks harmfulness. This questionnaire has five sections in which there are numbers  of questions each with a specified quantitative score.  These scores have been identified according to the brainstorming among the some experienced  experts in the fields safety, occupational health, and industrial psychology. When the final  questionnaire was completed, two well-known industrial sectors were selected as pilot plants for final verification of questionnaire in order to obtain valid questions.    Results & Conclusion   The result of this study was providing a questionnaire which might be used in similar studies for determination of job severity level at any industrial plants.

  16. Jobs

    DEFF Research Database (Denmark)

    Schubart, Rikke

    2013-01-01

    Review of the movie Jobs (Joshua Michael Stern, 2013), a drama about Steve Jobs, the founder of Apple.......Review of the movie Jobs (Joshua Michael Stern, 2013), a drama about Steve Jobs, the founder of Apple....

  17. Teacher Learning and Instructional Change: How Formal and On-the-Job Learning Opportunities Predict Change in Elementary School Teachers' Practice

    Science.gov (United States)

    Parise, Leigh Mesler; Spillane, James P.

    2010-01-01

    Recent education reform has emphasized the importance of teacher learning in improving classroom instruction and raising student achievement. This article focuses on teachers' learning opportunities, including formal professional development and on-the-job learning that occurs through interactions with colleagues. Using data from 30 elementary…

  18. The Effects of Formal Learning and Informal Learning on Job Performance: The Mediating Role of the Value of Learning at Work

    Science.gov (United States)

    Park, Yoonhee; Choi, Woojae

    2016-01-01

    Although research has widely recognized the relationships between formal and informal learning and job performance, empirical studies have not paid sufficient attention to these relationships. In addition, there is little understanding how individual perceptions toward learning influence the relationships between the aforementioned two types of…

  19. Life on the line: Job demands, perceived co-worker support for safety, and hazardous work events.

    Science.gov (United States)

    Turner, Nick; Chmiel, Nik; Hershcovis, M Sandy; Walls, Melanie

    2010-10-01

    The present study of 334 United Kingdom trackside workers tested an interaction hypothesis. We hypothesized, drawing on the job demands-resources framework, that perceived support for safety (from senior managers, supervisors, and coworkers) as job resources would weaken the relationship between higher job demands and more frequent hazardous work events. Consistent with social impact theory, we predicted that perceived coworker support for safety would be particularly influential when trackside workers faced higher job demands. Moderated multiple regression showed that, of all three sources of perceived support for safety, perceived coworker support for safety was most important for keeping employees safe in the face of high job demands. © 2010 APA, all rights reserved.

  20. The Occupational Cost of Being Illegal in the United States: Legal Status, Job Hazards, and Compensating Differentials.

    Science.gov (United States)

    Hall, Matthew; Greenman, Emily

    2015-01-01

    Considerable research and pervasive cultural narratives suggest that undocumented immigrant workers are concentrated in the most dangerous, hazardous, and otherwise unappealing jobs in U.S. labor markets. Yet, owing largely to data limitations, little empirical work has addressed this topic. Using data from the 2004 and 2008 panels of the Survey of Income and Program Participation, we impute legal status for Mexican and Central American immigrants and link their occupations to BLS data on occupational fatalities and occupational hazard data from the Department of Labor to explore racial and legal status differentials on several specific measures of occupational risk. Results indicate that undocumented workers face heightened exposure to numerous dimensions of occupational hazard - including higher levels of physical strain, exposure to heights, and repetitive motions - but are less exposed than native workers to some of the potentially most dangerous environments. We also show that undocumented workers are rewarded less for employment in hazardous settings, receiving low or no compensating differential for working in jobs with high fatality, toxic materials, or exposure to heights. Overall, this study suggests that legal status plays an important role in determining exposure to job hazard and in structuring the wage returns to risky work.

  1. The Occupational Cost of Being Illegal in the United States: Legal Status, Job Hazards, and Compensating Differentials1

    Science.gov (United States)

    Hall, Matthew; Greenman, Emily

    2014-01-01

    Considerable research and pervasive cultural narratives suggest that undocumented immigrant workers are concentrated in the most dangerous, hazardous, and otherwise unappealing jobs in U.S. labor markets. Yet, owing largely to data limitations, little empirical work has addressed this topic. Using data from the 2004 and 2008 panels of the Survey of Income and Program Participation, we impute legal status for Mexican and Central American immigrants and link their occupations to BLS data on occupational fatalities and occupational hazard data from the Department of Labor to explore racial and legal status differentials on several specific measures of occupational risk. Results indicate that undocumented workers face heightened exposure to numerous dimensions of occupational hazard – including higher levels of physical strain, exposure to heights, and repetitive motions – but are less exposed than native workers to some of the potentially most dangerous environments. We also show that undocumented workers are rewarded less for employment in hazardous settings, receiving low or no compensating differential for working in jobs with high fatality, toxic materials, or exposure to heights. Overall, this study suggests that legal status plays an important role in determining exposure to job hazard and in structuring the wage returns to risky work. PMID:26190867

  2. Hazard Identification and Risk Assessment of Health and Safety Approach JSA (Job Safety Analysis) in Plantation Company

    Science.gov (United States)

    Sugarindra, Muchamad; Ragil Suryoputro, Muhammad; Tiya Novitasari, Adi

    2017-06-01

    Plantation company needed to identify hazard and perform risk assessment as an Identification of Hazard and Risk Assessment Crime and Safety which was approached by using JSA (Job Safety Analysis). The identification was aimed to identify the potential hazards that might be the risk of workplace accidents so that preventive action could be taken to minimize the accidents. The data was collected by direct observation to the workers concerned and the results were recorded on a Job Safety Analysis form. The data were as forklift operator, macerator worker, worker’s creeper, shredder worker, workers’ workshop, mechanical line worker, trolley cleaning workers and workers’ crepe decline. The result showed that shredder worker value was 30 and had the working level with extreme risk with the risk value range was above 20. So to minimize the accidents could provide Personal Protective Equipment (PPE) which were appropriate, information about health and safety, the company should have watched the activities of workers, and rewards for the workers who obey the rules that applied in the plantation.

  3. Job safety analysis and hazard identification for work accident prevention in para rubber wood sawmills in southern Thailand.

    Science.gov (United States)

    Thepaksorn, Phayong; Thongjerm, Supawan; Incharoen, Salee; Siriwong, Wattasit; Harada, Kouji; Koizumi, Akio

    2017-11-25

    We utilized job safety analysis (JSA) and hazard identification for work accident prevention in Para rubber wood sawmills, which aimed to investigate occupational health risk exposures and assess the health hazards at sawmills in the Trang Province, located in southern Thailand. We conducted a cross-sectional study which included a walk-through survey, JSA, occupational risk assessment, and environmental samplings from March through September 2015 at four Para rubber wood sawmills. We identified potential occupational safety and health hazards associated with six main processes, including: 1) logging and cutting, 2) sawing the lumber into sheets, 3) planing and re-arranging, 4) vacuuming and wood preservation, 5) drying and planks re-arranging, and 6) grading, packing, and storing. Working in sawmills was associated with high risk of wood dust and noise exposure, occupational accidents injuring hands and feet, chemicals and fungicide exposure, and injury due to poor ergonomics or repetitive work. Several high-risk areas were identified from JSA and hazard identification of the working processes, especially high wood dust and noise exposure when sawing lumber into sheets and risk of occupational accidents of the hands and feet when struck by lumber. All workers were strongly recommended to use personal protective equipment in any working processes. Exposures should be controlled using local ventilation systems and reducing noise transmission. We recommend that the results from the risk assessment performed in this study be used to create an action plan for reducing occupational health hazards in Para rubber sawmills.

  4. Determinants of job turnover of young men and women in the United States: a hazard rate analysis.

    Science.gov (United States)

    Donohue, J J

    1988-01-01

    Hazard models were used to examine the expected job tenure of male and female entrants to the full-time labor force after they appear to have completed their full-time education. Other analysts who have examined the relative quit rates of men and women have not limited their analyses to the 1st job, but they have implicitly assumed that hazard rates from 1st jobs are completely representative of hazard rates from any random nth job. This is 1 of the most important and questionable aspects of their implicit assumption that job terminations can be treated in semi-Markov processes. The basic goal is to analyze the hazard rates for a set of workers who have in some sense terminated their primary tie to education and have shifted toward a primary commitment to the labor force. The compilation of the durations of 1st full-time (20 or more hours/week) jobs yielded a sample of 1431 men and 1527 women. Female workers on average had about a half-year less education than the men: 12.47 years compared to 12.89 years. The percentage of workers with less than a high school education was similar for men (18.1%) and women (18.6%). The percentage of workers with 18 or more years of education was almost 6 times as high for men as for women: 2.73% versus 0.46%. The racial composition of the sample reflected the higher labor force participation rates of black women over white women. For the male sample, 73.2% of the workers were white and 25.7% were black. For the female sample, 70.7% were white and 28.3% were black. For the period 1968-71, female full-time workers quit their 1st job after completing school at substantially higher rates than male workers. This finding was robust to several different model specifications and selection criteria, as well as to estimations with and without duration dependence and with and without corrections for unobserved heterogeneity. While changes were not marked, increasing the definition of full-time employment from 20-30 hours reduced overall quit

  5. Self-reported musculoskeletal disorder pain: The role of job hazards and work-life interaction.

    Science.gov (United States)

    Weale, Victoria P; Wells, Yvonne; Oakman, Jodi

    2018-02-01

    Previous research identified an association between work-family conflict and musculoskeletal pain. This study explores how the work-life interface might affect pain experienced by residential aged care staff. A cross-sectional survey of 426 employees in residential aged care was analyzed to assess the impacts of workplace hazards, work-family conflict, and work-life balance on self-reported musculoskeletal pain. Work-family conflict acts as a mediator of the relationships between workplace hazards and the total number of body regions at which musculoskeletal pain was experienced. Work-life balance only acts as a mediator for particular hazards and only if work-family conflict is not taken into account. Addressing work-life interaction, and in particular work-family conflict, warrants further investigation as a legitimate means through which musculoskeletal disorder risk can be reduced. Policies and practices to improve work-life interaction and reduce work-family conflict should be considered as integral components of musculoskeletal disorder risk management strategies. © 2017 Wiley Periodicals, Inc.

  6. Current employment status, occupational category, occupational hazard exposure, and job stress in relation to telomere length: The Multiethnic Study of Atherosclerosis (MESA)

    Science.gov (United States)

    Fujishiro, Kaori; Diez-Roux, Ana V; Landsbergis, Paul; Jenny, Nancy Swords; Seeman, Teresa

    2014-01-01

    Objective Telomere length has been proposed as a biomarker of cell senescence, which is associated with a wide array of adverse health outcomes. While work is a major determinant of health, few studies have investigated the association of telomere length with various dimensions of occupation. Accelerated cellular aging could be a common pathway linking occupational exposure to several health outcomes. Methods Leukocyte telomere length was assessed using quantitative polymerase chain reaction (Q-PCR) in a community-based sample of 981 individuals (age: 45–84 years old). Questionnaires were used to collect information on current employment status, current or main occupation before retirement, and job strain. The O*NET (Occupational Resource Network) database was linked to the questionnaire data to create 5 exposure measures: physical activity on the job, physical hazard exposure, interpersonal stressors, job control, and job demands. Linear regression was used to estimate associations of occupational characteristics with telomere lengths after adjustment for age, sex, race, socioeconomic position, and several behavioral risk factors. Results There were no mean differences in telomere lengths across current employment status, occupational category, job strain categories or levels of most O*NET exposure measures. There was also no evidence that being in lower status occupational categories or being exposed to higher levels of adverse physical or psychosocial exposures accelerated the association between age and telomere shortening. Conclusions Cellular aging as reflected by shorter telomeres does not appear to be an important pathway linking occupation to various health outcomes. PMID:23686115

  7. Jobs, Jobs, Jobs!

    Science.gov (United States)

    Jacobson, Linda

    2011-01-01

    Teaching is not the safe career bet that it once was. The thinking used to be: New students will always be entering the public schools, and older teachers will always be retiring, so new teachers will always be needed. But teaching jobs aren't secure enough to stand up to the "Great Recession," as this drawn-out downturn has been called. Across…

  8. Formalizing Probabilistic Safety Claims

    Science.gov (United States)

    Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

    2011-01-01

    A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

  9. On-the-job-training, job search and job mobility

    OpenAIRE

    Josef Zweimüller; Rudolf Winter-Ebmer

    2003-01-01

    This paper analyzes the impact of formal training on worker mobility. Using data from the Swiss Labor Force Survey, we find that both general and specific training significantly affects on-the-job search activities. The effect of training on actual job mobility differs between searchers and non-searchers. In line with human capital theory, we find that specific (general) training has a negative (positive) impact on job mobility for previous non-searchers. For individuals who have been looking...

  10. Formal matrices

    CERN Document Server

    Krylov, Piotr

    2017-01-01

    This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...

  11. Job Search, Networks, and Labor Market Performance of Immigrants

    OpenAIRE

    Arceo-Gómez, Eva Olimpia

    2012-01-01

    We develop an on-the-job search model in which immigrants search for jobs through formal channels or networks, and the quality of job offers differs across search methods. The model predicts networks unambiguously lead to a larger share of network jobs in job-to-job transitions, whereas the effect is ambiguous in unemployment-to-job transitions.

  12. Is informality a good measure of job quality? Evidence from job satisfaction data

    OpenAIRE

    Pagés, Carmen; Madrigal, Lucía

    2008-01-01

    The formality status of a job is the most widely used indicator of job quality in developing countries. However, a number of studies argue that, at least for some workers, the informality status may be driven by choice rather than exclusion. This paper uses job satisfaction data from three low-income countries (Honduras, Guatemala and El Salvador) to assess whether informal jobs are less valued than formal jobs. The paper finds substantial differences in job satisfaction within different type...

  13. Superfield formalism

    Indian Academy of Sciences (India)

    dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original. 4D theory. Keywords. Non-Abelian 1-form gauge theory; Dirac fields; (anti-)Becchi–Roucet–Stora–. Tyutin invariance; superfield formalism; ...

  14. Beyond formalism

    Science.gov (United States)

    Denning, Peter J.

    1991-01-01

    The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

  15. Informal Versus Formal Search : Which Yields a Better Pay?

    OpenAIRE

    Semih Tumen

    2015-01-01

    Estimates on the effect of job contact method – i.e., informal versus formal search – on wage offers vary considerably across studies, with some of them finding a positive correlation between getting help from informal connections and obtaining high-paying jobs, while others finding a negative one. In this paper, I theoretically investigate the sources of discrepancies in these empirical results. Using a formal job search framework, I derive an equilibrium wage distribution which reveals that...

  16. Combining Formal, Non-Formal and Informal Learning for Workforce Skill Development

    Science.gov (United States)

    Misko, Josie

    2008-01-01

    This literature review, undertaken for Australian Industry Group, shows how multiple variations and combinations of formal, informal and non-formal learning, accompanied by various government incentives and organisational initiatives (including job redesign, cross-skilling, multi-skilling, diversified career pathways, action learning projects,…

  17. Whose Job Goes Abroad? International Outsourcing and Individual Job Separations

    DEFF Research Database (Denmark)

    Munch, Jakob R.

    2010-01-01

    This paper focuses on the adjustment costs of globalisation by studying the effects of international outsourcing on individual transitions out of jobs in the Danish manufacturing sector for the period 1990-2003. A competing risks duration model that distinguishes between job-to-job and job......-to-unemployment transitions is estimated. Outsourcing is found to increase the unemployment risk of low-skilled workers, but the quantitative impact is modest. Outsourcing is also found to reduce the job change hazard rate for all education groups. Thus, the paper provides evidence for small adjustment costs of globalisation....

  18. Masses of Formal Philosophy

    DEFF Research Database (Denmark)

    Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...

  19. Reflections of Employers' Gender Preferences in Job Ads in India : An Analysis of Online Job Portal Data

    OpenAIRE

    Chowdhury, Afra R.; Areias, Ana C.; Imaizumi, Saori; Nomura, Shinsaku; Yamauchi, Futoshi

    2018-01-01

    Using online job portal data and probabilistic regression estimations, the paper investigates the explicit gender bias and salary gap in the Indian job market, reflected in more than 800,000 job recruitment advertisements. Exploring formal and informal sector occupations, the study finds high existence of employers' gender bias in hiring. Explicit gender preferences are highly job specific...

  20. Hazardous Waste: Learn the Basics of Hazardous Waste

    Science.gov (United States)

    ... Need More Information on Hazardous Waste? The RCRA Orientation Manual provides introductory information on the solid and ... and Security Notice Connect. Data.gov Inspector General Jobs Newsroom Open Government Regulations.gov Subscribe USA.gov ...

  1. Job Creation and Job Types

    DEFF Research Database (Denmark)

    Kuhn, Johan Moritz; Malchow-Møller, Nikolaj; Sørensen, Anders

    2016-01-01

    We extend earlier analyses of the job creation of start-ups versus established firms by considering the educational content of the jobs created and destroyed. We define education-specific measures of job creation and job destruction at the firm level, and we use these measures to construct a meas...

  2. Job Creation and Job Types

    DEFF Research Database (Denmark)

    Kuhn, Johan M.; Malchow-Møller, Nikolaj; Sørensen, Anders

    We extend earlier analyses of the job creation of start-ups vs. established firms by taking into consideration the educational content of the jobs created and destroyed. We define educationspecific measures of job creation and job destruction at the firm level, and we use these to construct a mea...

  3. Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

    DEFF Research Database (Denmark)

    Boudjadar, Jalil; Hyun Kim, Jin; Thi Xuan Phan, Linh

    We present a compositional framework for the specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation...

  4. [The role of the working conditions in shaping the specific and nonspecific body reactions of miners in vibration-hazardous jobs].

    Science.gov (United States)

    Lastkov, D O

    1998-08-01

    An analysis was carried out of bodily functional status in miners engaged in basic mining occupations with known vibration-related health hazards (coal hewers, drifters), presenting with different stages of vibration pathology. Patterns were ascertained of chief components of both specific and unspecific bodily systemic reactions to a combined action of physical industrial factors (vibration, noise, dust, heating, microclimate). Important for those subjects engaged in occupations with vibration-related health threats are parameters characterizing labour conditions, such as, in the first place, integral-and-service duration-related exposure doses of industrial factors which are believed to be probabilistic risk factors for vibration pathology.

  5. Job Creation and Job Types

    DEFF Research Database (Denmark)

    Kuhn, Johan M.; Malchow-Møller, Nikolaj; Sørensen, Anders

    We extend earlier analyses of the job creation of start-ups vs. established firms by taking into consideration the educational content of the jobs created and destroyed. We define educationspecific measures of job creation and job destruction at the firm level, and we use these to construct...... a measure of “surplus job creation” defined as jobs created on top of any simultaneous destruction of similar jobs in incumbent firms in the same region and industry. Using Danish employer-employee data from 2002-7, which identify the start-ups and which cover almost the entire private sector......, these measures allow us to provide a more nuanced assessment of the role of entrepreneurial firms in the job-creation process than previous studies. Our findings show that while start-ups are responsible for the entire overall net job creation, incumbents account for more than a third of net job creation within...

  6. Formal Verification -26 ...

    Indian Academy of Sciences (India)

    by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...

  7. Formalizing Informal Logic

    Directory of Open Access Journals (Sweden)

    Douglas Walton

    2015-12-01

    Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

  8. Jobs API

    Data.gov (United States)

    General Services Administration — This Jobs API returns job openings across the federal government and includes all current openings posted on USAJobs.gov that are open to the public and located in...

  9. Pragmatics for formal semantics

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2011-01-01

    This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal...

  10. Job satisfaction

    OpenAIRE

    PODROUŽKOVÁ, Lucie

    2013-01-01

    Bachelor thesis deals with job satisfaction. It is often given to a context with the attitude to work which is very much connected to job satisfaction. Thesis summarises all the pieces of information about job satisfacion, factors that affect it negatively and positively, interconnection of work satisfaction and work motivation, work behaviour and performance of workers, relationship of a man and work and at last general job satisfaction and its individual aspects. In the thesis I shortly pay...

  11. Job Analysis

    OpenAIRE

    Bravená, Helena

    2009-01-01

    This bacherlor thesis deals with the importance of job analysis for personnel activities in the company. The aim of this work is to find the most suitable method of job analysis in a particular enterprise, and continues creating descriptions and specifications of each job.

  12. Moral Hazard and Stability

    DEFF Research Database (Denmark)

    Tumennasan, Norovsambuu

    2014-01-01

    not form. Formally, we study the team formation problem in which the agents’ efforts are not verifiable and the size of teams does not exceed quota r . We show that if the team members cannot make transfers, then moral hazard affects stability positively in a large class of games. For example, a stable...

  13. Industrial use of formal methods formal verification

    CERN Document Server

    Boulanger, Jean-Louis

    2012-01-01

    At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.  The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow

  14. Operant Learning, Cognitive Development, and Job Aids.

    Science.gov (United States)

    Harmon, N. Paul; King, David R.

    1979-01-01

    Examines the relationship between learning and development in the most general terms, discusses the developmental distinction between concrete and formal operational thought as manifested in adult behavior, and considers the implications of the concrete-formal dichotomy for the design and use of job aids. Notes and a bibliography are provided.…

  15. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism....... In a “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...

  16. Integrating semi-formal and formal requirements

    NARCIS (Netherlands)

    Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander

    1997-01-01

    In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of

  17. International Outsourcing and Individual Job Separations

    DEFF Research Database (Denmark)

    Munch, Jakob Roland

    This paper studies the effects of international outsourcing on individual transitions out of jobs in the Danish manufacturing sector for the period 1992-2001. Estimation of a single risk duration model, where no distinction is made between different types of transitions out of the job, shows...... that outsourcing has a clear significant positive effect on the job separation rate, but the effect corresponds to a limited number of lost jobs. A competing risks duration model that distinguishes between job-to-job and job-to-unemployment transitions is also estimated. Outsourcing is found to increase...... the unemployment risk of workers and in particular low-skilled workers, but again the quantitative impact is not dramatic. Outsourcing also increases the job change hazard rate and mostly so for high-skilled workers...

  18. Geometry and Formal Linguistics.

    Science.gov (United States)

    Huff, George A.

    This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

  19. Software Formal Inspections Guidebook

    Science.gov (United States)

    1993-01-01

    The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

  20. Formality in Brackets

    DEFF Research Database (Denmark)

    Garsten, Christina; Nyqvist, Anette

    Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...

  1. New Job Matches and their Stability before and during the Crisis

    OpenAIRE

    Nagore Garcia, A.; van Soest, Arthur

    2016-01-01

    Using administrative records data from the Spanish Social Security Administration, we analyse the nature and stability of job matches starting in two different years: during the economic boom in 2005, and during the recession in 2009. We compare the individual and job and firm characteristics in the two samples and estimate Mixed Proportional Hazard Models distinguishing job-to-job, job-to-unemployment, and other transitions. We find that job-to-job transitions are pro-cyclical, while unemplo...

  2. Safety factors predictive of job satisfaction and job retention among home healthcare aides.

    Science.gov (United States)

    Sherman, Martin F; Gershon, Robyn R M; Samar, Stephanie M; Pearson, Julie M; Canton, Allison N; Damsky, Marc R

    2008-12-01

    Although many of the well known work characteristics associated with job satisfaction in home health care have been documented, a unique aspect of the home health care aides' (HHA) work environment that might also affect job satisfaction is the fact that their workplace is a household. To obtain a better understanding of the potential impact of the risks/exposures/hazards within the household environment on job satisfaction and job retention in home care, we recently conducted a risk assessment study. Survey data from a convenience sample of 823 New York City HHAs were obtained and analyzed. Household/job-related risks, environmental exposures, transportation issues, threats/verbal and physical abuse, and potential for violence were significantly correlated with HHA job satisfaction and job retention. Addressing the modifiable risk factors in the home health care household may improve job satisfaction and reduce job turnover in this work population.

  3. Necessity of Integral Formalism

    International Nuclear Information System (INIS)

    Tao Yong

    2011-01-01

    To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)

  4. Robot hand tackles jobs in hazardous areas

    International Nuclear Information System (INIS)

    Simms, Mark; Crowder, Richard.

    1989-01-01

    A robot hand and arm designed to mimic the operation of its human counterpart, developed at the University of Southampton for use in a standard industrial glovebox, is described. It was specifically designed for use in a radioactive environment moving high dosage components around. As dosage limits go down, there is a legal requirement to remove people from that environment. The nine-axis arm is for use in a glove designed for a human hand. Drive for the motors used to power the hand is from three-phase MOSFET inventor cards, the switching pattern controlled by the Hall effect communication sensors integral to each motor. The computer software for the arm allows the hand to be positioned using a joystick on a control box, with three levels of command for grip, pinch and touch. (author)

  5. Formalized Informal Learning

    DEFF Research Database (Denmark)

    Levinsen, Karin Tweddell; Sørensen, Birgitte Holm

    2013-01-01

    are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

  6. Integrated formal operations plan

    Energy Technology Data Exchange (ETDEWEB)

    Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

    1994-01-05

    The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

  7. Job crafting

    NARCIS (Netherlands)

    Demerouti, E.; Bakker, A.B.; Peeters, M.; Jonge, de J.; Taris, T.

    2014-01-01

    The increasing popularity of self-managing teams, re-engineering and other organizational innovations, coupled with the increased flexibility in work arrangements made possible by advances in information technology, has considerably expanded the complexity of professional jobs. Consequently, each

  8. Occupational hazards and safety measures amongst the paint factory workers in lagos, Nigeria.

    Science.gov (United States)

    Awodele, Olufunsho; Popoola, Temidayo D; Ogbudu, Bawo S; Akinyede, Akin; Coker, Herbert A B; Akintonwa, Alade

    2014-06-01

    The manufacture of paint involves a variety of processes that present with medical hazards. Safety initiatives are hence introduced to limit hazard exposures and promote workplace safety. This aim of this study is to assess the use of available control measures/initiatives in selected paint factories in Lagos West Senatorial District, Nigeria. A total of 400 randomly selected paint factory workers were involved in the study. A well-structured World Health Organization standard questionnaire was designed and distributed to the workers to elicit information on awareness to occupational hazards, use of personal protective devices, and commonly experienced adverse symptoms. Urine samples were obtained from 50 workers randomly selected from these 400 participants, and the concentrations of the heavy metals (lead, cadmium, arsenic, and chromium) were determined using atomic absorption spectroscopy. The results show that 72.5% of the respondents are aware of the hazards associated with their jobs; 30% have had formal training on hazards and safety measures; 40% do not use personal protective devices, and 90% of the respondents reported symptoms relating to hazard exposure. There was a statistically significant (p metal concentrations in the urine samples obtained from paint factory workers as compared with nonfactory workers. The need to develop effective frameworks that will initiate the integration and ensure implementation of safety regulations in paint factories is evident. Where these exist, there is a need to promote adherence to these practice guidelines.

  9. Management Development Experiences and Expectations: Informal vs Formal Learning

    Science.gov (United States)

    Becker, Karen; Bish, Adelle

    2017-01-01

    Purpose: Many organisations are reconsidering their investment in formal education and training, in favour of more informal approaches to learning such as mentoring, temporary assignments, stretch assignments, and job rotation. The purpose of this paper is to explore the ways in which managers have developed capabilities for their roles thus far…

  10. Non-Formal Educator Use of Evaluation Results

    Science.gov (United States)

    Baughman, Sarah; Boyd, Heather H.; Franz, Nancy K.

    2012-01-01

    Increasing demands for accountability in educational programming have resulted in increasing calls for program evaluation in educational organizations. Many organizations include conducting program evaluations as part of the job responsibilities of program staff. Cooperative Extension is a complex organization offering non-formal educational…

  11. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    2016-01-01

    term this ‘fear of the formal’, outlining key elements of its genealogy and exploring its contemporary manifestation in relation to recent and ongoing reforms of organisational life in a range of contexts. At the same time, we seek to indicate the continuing constitutive significance of formality...

  12. Formalization of Medical Guidelines

    Czech Academy of Sciences Publication Activity Database

    Peleška, Jan; Anger, Z.; Buchtela, David; Šebesta, K.; Tomečková, Marie; Veselý, Arnošt; Zvára, K.; Zvárová, Jana

    2005-01-01

    Roč. 1, - (2005), s. 133-141 ISSN 1801-5603 R&D Projects: GA AV ČR 1ET200300413 Institutional research plan: CEZ:AV0Z10300504 Keywords : GLIF model * formalization of guidelines * prevention of cardiovascular diseases Subject RIV: IN - Informatics, Computer Science

  13. Readings in Formal Epistemology

    DEFF Research Database (Denmark)

    Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, ...

  14. Criteria for logical formalization

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2013-01-01

    Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

  15. IDEF3 Formalization Report

    Science.gov (United States)

    1991-10-01

    SUBJECT TERMS 15. NUMBER OF PAGES engineering management information systems method formalization 60 information engineering process modeling 16 PRICE...CODE information systems requirements definition methods knowlede acquisition methods systems engineering 17. SECURITY CLASSIFICATION ji. SECURITY... Management , Inc., Santa Monica, California. CORYNEN, G. C., 1975, A Mathematical Theory of Modeling and Simula- tion. Ph.D. Dissertation, Department

  16. The Benefits of Formalization

    DEFF Research Database (Denmark)

    Rand, John; Torm, Nina Elisabeth

    2012-01-01

    Based on unique panel data consisting of both formal and informal firms, this paper uses a matched double difference approach to examine the relationship between legal status and firm level outcomes in micro, small and medium manufacturing enterprises (SMEs) in Vietnam. Controlling for determinin...

  17. Formalizing physical security procedures

    NARCIS (Netherlands)

    Meadows, C.; Pavlovic, Dusko

    Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now

  18. Haz-Map: Information on Hazardous Chemicals and Occupational Diseases

    Science.gov (United States)

    ... Help Glossary References About Us Search Hazardous Agents Occupational Diseases High Risk Jobs Non-Occupational Activities Industries Job ... Findings Haz-Map®: Information on Hazardous Chemicals and Occupational Diseases by Jay A. Brown, M.D., M.P. ...

  19. Hazardous Waste

    Science.gov (United States)

    ... chemicals can still harm human health and the environment. When you throw these substances away, they become hazardous waste. Some hazardous wastes come from products in our homes. Our garbage can include such hazardous wastes as old batteries, bug spray cans and paint thinner. U.S. residents ...

  20. Job Satisfaction

    African Journals Online (AJOL)

    Administrator

    Job Satisfaction: Rural Versus Urban Primary Health Care Workers'. Perception in ... doing it well, and being suitably rewarded for one's efforts. Several ... community recognition of their work and improved staff relationship. ..... study found important differences about attractors to ... their work, work-life balance, bureaucracy.

  1. Job autonomy and job satisfaction: new evidence

    OpenAIRE

    Taylor, J; Bradley, S; Nguyen, A N

    2003-01-01

    This paper investigates the impact of perceived job autonomy on job satisfaction. We use the fifth sweep of the National Educational Longitudinal Study (1988-2000), which contains personally reported job satisfaction data for a sample of individuals eight years after the end of compulsory education. After controlling for a wide range of personal and job-related variables, perceived job autonomy is found to be a highly significant determinant of five separate domains of job satisfaction (pay, ...

  2. The Effects of Perceptions of Organizational Structure on Job Involvement, Job Satisfaction, and Organizational Commitment Among Indian Police Officers.

    Science.gov (United States)

    Lambert, Eric G; Qureshi, Hanif; Klahm, Charles; Smith, Brad; Frank, James

    2017-12-01

    Successful police organizations rely on involved, satisfied, and committed workers. The concepts of job involvement (i.e., connection with the job), job satisfaction (i.e., affective feeling toward the job), and organizational commitment (i.e., bond with the employing organization) have been shown to significantly affect intentions and behaviors of employees. The current study used multivariate ordinary least squares (OLS) regression analysis on survey results from a sample of 827 Indian police officers to explore how perceptions of work environment factors affect officers' job involvement, job satisfaction, and organizational commitment. Organizational support, formalization (i.e., level of codified written rules and guidelines), promotional opportunities, institutional communication (i.e., salient work information is transmitted), and input into decision-making (i.e., having a voice in the process) significantly influenced the job involvement, job satisfaction, and organizational commitment of Indian police officers. Specifically, in the multivariate analysis, perceptions of formalization and instrumental communication had a positive relationship with job involvement; perceptions of organizational support, promotional opportunities, instrumental communication, and input into decision-making had positive associations with job satisfaction; and perceptions of organizational support, formalization, promotional opportunities, instrumental communication, and input into decision-making had positive relationships with organizational commitment.

  3. Steve Jobs

    OpenAIRE

    Christensen, Julie Sophie; Nielsen, Jonas; Mørk, Maj Keum Ji Helweg; Mammen, Diana; Kristiansen, Mikkel Vestergaard; Welch, Nadia Guldbæk

    2013-01-01

    Apple is perhaps today one of the most successful technological brands on the market. This company has introduced various products to the consumers, which in a relatively short time has managed to establish a world wide trend based on a functional and aesthetic design. In this project, the primary interest lies in how Apple has achieved this kind of success revolved around the late founder Steve Jobs, who undoubtedly appears as one of the central figures in creating the status that Apple has ...

  4. Improving Job Performance: Workplace Learning Is the First Step

    Science.gov (United States)

    Daryoush, Younes; Silong, Abu Daud; Omar, Zohara; Othman, Jamilah

    2013-01-01

    The present study aims to contribute new knowledge to the existing literature on workplace learning and job performance. Particularly, the study analyzes contemporary literature on workplace learning and job performance, specifically formal and informal learning as well as employee task performance and contextual performance. The study…

  5. Formalizing the concept of sound.

    Energy Technology Data Exchange (ETDEWEB)

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  6. Formal Analysis of Domain Models

    National Research Council Canada - National Science Library

    Bharadwaj, Ramesh

    2002-01-01

    Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...

  7. Job Search Methods: Consequences for Gender-based Earnings Inequality.

    Science.gov (United States)

    Huffman, Matt L.; Torres, Lisa

    2001-01-01

    Data from adults in Atlanta, Boston, and Los Angeles (n=1,942) who searched for work using formal (ads, agencies) or informal (networks) methods indicated that type of method used did not contribute to the gender gap in earnings. Results do not support formal job search as a way to reduce gender inequality. (Contains 55 references.) (SK)

  8. Formalization of Database Systems -- and a Formal Definition of {IMS}

    DEFF Research Database (Denmark)

    Bjørner, Dines; Løvengreen, Hans Henrik

    1982-01-01

    Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

  9. From Safety Analysis to Formal Specification

    DEFF Research Database (Denmark)

    Hansen, Kirsten Mark; Ravn, Anders P.; Stavridou, Victoria

    1998-01-01

    Software for safety critical systems must deal with the hazards identified bysafety analysis. This paper investigates, how the results of onesafety analysis technique, fault trees, are interpreted as software safetyrequirements to be used in the program design process. We propose thatfault tree...... analysis and program development use the samesystem model. This model is formalized in areal-time, interval logic, based on a conventional dynamic systems modelwith state evolving over time. Fault trees are interpreted astemporal formulas, and it is shown how such formulas can be usedfor deriving safety...

  10. Topical Roots of Formal Dialectic

    NARCIS (Netherlands)

    Krabbe, Erik C. W.

    Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la

  11. Radiation hazards

    International Nuclear Information System (INIS)

    Rausch, L.

    1979-01-01

    On a scientific basis and with the aid of realistic examples, the author gives a popular introduction to an understanding and judgment of the public discussion over radiation hazards: Uses and hazards of X-ray examinations, biological radiation effects, civilisation risks in comparison, origins and explanation of radiation protection regulations. (orig.) [de

  12. Job strain and the risk of stroke

    DEFF Research Database (Denmark)

    Fransson, Eleonor I; Nyberg, Solja T; Heikkilä, Katriina

    2015-01-01

    BACKGROUND AND PURPOSE: Psychosocial stress at work has been proposed to be a risk factor for cardiovascular disease. However, its role as a risk factor for stroke is uncertain. METHODS: We conducted an individual-participant-data meta-analysis of 196 380 males and females from 14 European cohort...... studies to investigate the association between job strain, a measure of work-related stress, and incident stroke. RESULTS: In 1.8 million person-years at risk (mean follow-up 9.2 years), 2023 first-time stroke events were recorded. The age- and sex-adjusted hazard ratio for job strain relative to no job....... CONCLUSION: Job strain may be associated with an increased risk of ischemic stroke, but further research is needed to determine whether interventions targeting job strain would reduce stroke risk beyond existing preventive strategies....

  13. Formal aspects of resilience

    Directory of Open Access Journals (Sweden)

    Diana-Maria Drigă

    2015-12-01

    Full Text Available The concept of resilience has represented during the recent years a leading concern both in Romania, within the European Union and worldwide. Specialists in economics, management, finance, legal sciences, political sciences, sociology, psychology, grant a particular interest to this concept. Multidisciplinary research of resilience has materialized throughout the time in multiple conceptualizations and theorizing, but without being a consensus between specialists in terms of content, specificity and scope. Through this paper it is intended to clarify the concept of resilience, achieving an exploration of the evolution of this concept in ecological, social and economic environment. At the same time, the paper presents aspects of feedback mechanisms and proposes a formalization of resilience using the logic and mathematical analysis.

  14. Formalized informal learning

    DEFF Research Database (Denmark)

    Levinsen, Karin; Sørensen, Birgitte Holm

    2011-01-01

    and other relevant stakeholders, as well as participant observations in the classroom documented by thick descriptions, formal and informal interviews and focus group interviews. The aim of the study was to explore and identify relations between designs for teaching and learning and the students' learning......This paper presents findings from a large-scale longitudinal, qualitative study - Project ICT and Learning (PIL) - that engaged the participation of eight primary schools in Denmark, and was conducted between 2006 and 2008. The research design was based on action research, involving teachers...... of school subjects within defined learning goals and curricula, along with various implementations of ICT in the pedagogical everyday practice (Levinsen & Sørensen 2008). However, another research strand - the topic of this paper - emerged during the project's life cycle as a consequence of ongoing changes...

  15. Workplace threats to health and job turnover among women workers.

    Science.gov (United States)

    Gucer, Patricia W; Oliver, Marc; McDiarmid, Melissa

    2003-07-01

    Is job turnover related to concern about workplace health risks? Using data from a national sample of working women, we examined the relationships among workplace risk communications, worker concerns about workplace threats from hazardous substances, indoor air quality, and job change. Eight percent reported changing a job as a result of concern over workplace threats to health. Previous workplace injury predicted concern about hazardous materials and indoor air quality as well as job change, but employer communication about workplace health risks was associated with less job change and less concern about indoor air quality. Women worry about workplace threats to their health enough to change their jobs, but employers may have the power to cut turnover costs and reduce disruption to workers' lives through the use of risk communication programs.

  16. Spinor formalism and complex-vector formalism of general relativity

    International Nuclear Information System (INIS)

    Han-ying, G.; Yong-shi, W.; Gendao, L.

    1974-01-01

    In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra

  17. Overcoming job stress

    Science.gov (United States)

    ... medlineplus.gov/ency/patientinstructions/000884.htm Overcoming job stress To use the sharing features on this page, ... stay healthy and feel better. Causes of Job Stress Although the cause of job stress is different ...

  18. Physicians' Job Satisfaction.

    African Journals Online (AJOL)

    AmL

    doctors and retention of the existing doctors, in addition to the ... an employee's well-being Examples of job resources are job ..... increase physician job satisfaction for ensuring the .... both pay and benefits physicians at private hospitals.

  19. Second Job Entrepreneurs.

    Science.gov (United States)

    Gruenert, Jeffrey C.

    1999-01-01

    Data from the Current Population Survey reveal characteristics of second-job entrepreneurs, occupations in which these workers hold their second jobs, and the occupational and earnings relationships between their second and primary jobs. (Author)

  20. Job burnout.

    Science.gov (United States)

    Maslach, C; Schaufeli, W B; Leiter, M P

    2001-01-01

    Burnout is a prolonged response to chronic emotional and interpersonal stressors on the job, and is defined by the three dimensions of exhaustion, cynicism, and inefficacy. The past 25 years of research has established the complexity of the construct, and places the individual stress experience within a larger organizational context of people's relation to their work. Recently, the work on burnout has expanded internationally and has led to new conceptual models. The focus on engagement, the positive antithesis of burnout, promises to yield new perspectives on interventions to alleviate burnout. The social focus of burnout, the solid research basis concerning the syndrome, and its specific ties to the work domain make a distinct and valuable contribution to people's health and well-being.

  1. Hazardous materials

    Science.gov (United States)

    ... substances that could harm human health or the environment. Hazardous means dangerous, so these materials must be ... M. is also a founding member of Hi-Ethics and subscribes to the principles of the Health ...

  2. ''Hazardous'' terminology

    International Nuclear Information System (INIS)

    Powers, J.

    1991-01-01

    A number of terms (e.g., ''hazardous chemicals,'' ''hazardous materials,'' ''hazardous waste,'' and similar nomenclature) refer to substances that are subject to regulation under one or more federal environmental laws. State laws and regulations also provide additional, similar, or identical terminology that may be confused with the federally defined terms. Many of these terms appear synonymous, and it easy to use them interchangeably. However, in a regulatory context, inappropriate use of narrowly defined terms can lead to confusion about the substances referred to, the statutory provisions that apply, and the regulatory requirements for compliance under the applicable federal statutes. This information Brief provides regulatory definitions, a brief discussion of compliance requirements, and references for the precise terminology that should be used when referring to ''hazardous'' substances regulated under federal environmental laws. A companion CERCLA Information Brief (EH-231-004/0191) addresses ''toxic'' nomenclature

  3. Job and Work Design

    OpenAIRE

    Van den Broeck, Anja; Parker, Sharon K.

    2017-01-01

    Job design or work design refers to the content, structure, and organization of tasks and activities. It is mostly studied in terms of job characteristics, such as autonomy, workload, role problems, and feedback. Throughout history, job design has moved away from a sole focus on efficiency and productivity to more motivational job designs, including the social approach toward work, Herzberg’s two-factor model, Hackman and Oldham’s job characteristics model, the job demand control model of Kar...

  4. Hazardous Chemicals

    Centers for Disease Control (CDC) Podcasts

    Chemicals are a part of our daily lives, providing many products and modern conveniences. With more than three decades of experience, The Centers for Disease Control and Prevention (CDC) has been in the forefront of efforts to protect and assess people's exposure to environmental and hazardous chemicals. This report provides information about hazardous chemicals and useful tips on how to protect you and your family from harmful exposure.

  5. Welding hazards

    International Nuclear Information System (INIS)

    Khan, M.A.

    1992-01-01

    Welding technology is advancing rapidly in the developed countries and has converted into a science. Welding involving the use of electricity include resistance welding. Welding shops are opened in residential area, which was causing safety hazards, particularly the teenagers and children who eagerly see the welding arc with their naked eyes. There are radiation hazards from ultra violet rays which irritate the skin, eye irritation. Welding arc light of such intensity could damage the eyes. (Orig./A.B.)

  6. Formal System Verification - Extension 2

    Science.gov (United States)

    2012-08-08

    vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in

  7. Formalized Epistemology, Logic, and Grammar

    Science.gov (United States)

    Bitbol, Michel

    The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

  8. Formal, Non-Formal and Informal Learning in the Sciences

    Science.gov (United States)

    Ainsworth, Heather L.; Eaton, Sarah Elaine

    2010-01-01

    This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

  9. Job satisfaction trends during nurses' early career

    Directory of Open Access Journals (Sweden)

    Griffiths Peter

    2008-06-01

    Full Text Available Abstract Background Job satisfaction is an important component of nurses' lives that can impact on patient safety, productivity and performance, quality of care, retention and turnover, commitment to the organisation and the profession. Little is known about job satisfaction in early career and how it varies for different groups of nurses. This paper investigates how the components of job satisfaction vary during early career in newly qualified UK nurses. Methods Nurses were sampled using a combined census and multi-stage approach (n = 3962. Data were collected by questionnaire at 6 months, 18 months and 3 years after qualification between 1998 and 2001. Scores were calculated for seven job satisfaction components and a single item that measured satisfaction with pay. Scores were compared longitudinally and between nursing speciality (general, children's, mental health using a mixed model approach. Results No single pattern across time emerged. Trends varied by branch and job satisfaction component. Rank order of job satisfaction components, from high to low scores, was very similar for adult and child branch nurses and different for mental health. Nurses were least satisfied with pay and most satisfied with relationships at 6 and 18 months and with resources (adult and child and relationships (mental health at 3 years. Trends were typically upwards for adult branch nurses, varied for children's nurses and downwards for mental health nurses. Conclusion The impact of time on job satisfaction in early career is highly dependent on specialism. Different contexts, settings and organisational settings lead to varying experiences. Future research should focus on understanding the relationships between job characteristics and the components of job satisfaction rather than job satisfaction as a unitary construct. Research that further investigates the benefits of a formal one year preceptorship or probationary period is needed.

  10. Job satisfaction trends during nurses' early career.

    Science.gov (United States)

    Murrells, Trevor; Robinson, Sarah; Griffiths, Peter

    2008-06-05

    Job satisfaction is an important component of nurses' lives that can impact on patient safety, productivity and performance, quality of care, retention and turnover, commitment to the organisation and the profession. Little is known about job satisfaction in early career and how it varies for different groups of nurses. This paper investigates how the components of job satisfaction vary during early career in newly qualified UK nurses. Nurses were sampled using a combined census and multi-stage approach (n = 3962). Data were collected by questionnaire at 6 months, 18 months and 3 years after qualification between 1998 and 2001. Scores were calculated for seven job satisfaction components and a single item that measured satisfaction with pay. Scores were compared longitudinally and between nursing speciality (general, children's, mental health) using a mixed model approach. No single pattern across time emerged. Trends varied by branch and job satisfaction component. Rank order of job satisfaction components, from high to low scores, was very similar for adult and child branch nurses and different for mental health. Nurses were least satisfied with pay and most satisfied with relationships at 6 and 18 months and with resources (adult and child) and relationships (mental health) at 3 years. Trends were typically upwards for adult branch nurses, varied for children's nurses and downwards for mental health nurses. The impact of time on job satisfaction in early career is highly dependent on specialism. Different contexts, settings and organisational settings lead to varying experiences. Future research should focus on understanding the relationships between job characteristics and the components of job satisfaction rather than job satisfaction as a unitary construct. Research that further investigates the benefits of a formal one year preceptorship or probationary period is needed.

  11. 40 years of formal methods

    DEFF Research Database (Denmark)

    Bjørner, Dines; Havelund, Klaus

    2014-01-01

    In this "40 years of formal methods" essay we shall first delineate, Sect. 1, what we mean by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on this, we shall characterize a spectrum from specification-oriented met...

  12. Leibniz' First Formalization of Syllogistics

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

    of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity...

  13. Seniority in projection operator formalism

    International Nuclear Information System (INIS)

    Ullah, N.

    1976-01-01

    It is shown that the concept of seniority can be introduced in projection operator formalism through the use of the operator Q, which has been defined by de-Shalit and Talmi. The usefulness of seniority concept in projection operator formalism is discussed. An example of four nucleons in j=3/2 configuration is given for illustrative purposes

  14. A Formalization of Linkage Analysis

    DEFF Research Database (Denmark)

    Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.

    In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been ...

  15. New procedure for departure formalities

    CERN Multimedia

    HR & GS Departments

    2011-01-01

    As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...

  16. Hazardous Chemicals

    Centers for Disease Control (CDC) Podcasts

    2007-04-10

    Chemicals are a part of our daily lives, providing many products and modern conveniences. With more than three decades of experience, The Centers for Disease Control and Prevention (CDC) has been in the forefront of efforts to protect and assess people's exposure to environmental and hazardous chemicals. This report provides information about hazardous chemicals and useful tips on how to protect you and your family from harmful exposure.  Created: 4/10/2007 by CDC National Center for Environmental Health.   Date Released: 4/13/2007.

  17. Employability Enhancement through Formal and Informal Learning: An Empirical Study among Dutch Non-Academic University Staff Members

    Science.gov (United States)

    van der Heijden, Beatrice; Boon, Jo; van der Klink, Marcel; Meijs, Ely

    2009-01-01

    Although learning is generally perceived as a way to improve employees' current job performance, so far, no research has been conducted to explore the possible relationships between formal and informal learning, on the one hand, and employability, on the other. Though contemporary views stress the importance of the job as a powerful learning site,…

  18. Revisiting Symbiotic Job Scheduling

    OpenAIRE

    Eyerman , Stijn; Michaud , Pierre; Rogiest , Wouter

    2015-01-01

    International audience; —Symbiotic job scheduling exploits the fact that in a system with shared resources, the performance of jobs is impacted by the behavior of other co-running jobs. By coscheduling combinations of jobs that have low interference, the performance of a system can be increased. In this paper, we investigate the impact of using symbiotic job scheduling for increasing throughput. We find that even for a theoretically optimal scheduler, this impact is very low, despite the subs...

  19. Formal verification - Robust and efficient code: Introduction to Formal Verification

    CERN Multimedia

    CERN. Geneva

    2016-01-01

    In general, FV means "proving that certain properties hold for a given system using formal mathematics". This definition can certainly feel daunting, however, as we will learn, we can reap benefits from the paradigm without digging too deep into ...

  20. Relationship Of Core Job Characteristics To Job Satisfaction And ...

    African Journals Online (AJOL)

    In order to clarify the conceptual and empirical distinction between job satisfaction and job involvement constructs, this study investigates the relationship between construction workers core job characteristics, job satisfaction and job involvement. It also investigates the mediating role of job satisfaction between core job ...

  1. Job Satisfaction and Job Performance at the Work Place

    OpenAIRE

    Vanden Berghe, Jae Hyung

    2011-01-01

    The topic of the thesis is job satisfaction and job performance at the work place. The aim is to define the determinants for job satisfaction and to investigate the relationship between job satisfaction and job performance and the influence of job satisfaction on job performance. First we look into the Theory of Reasoned Action and the Theory of Planned Behaviour to account for the relationship between attitudes and behaviour. Job satisfaction is then explained as a function of job feature...

  2. Scalable Techniques for Formal Verification

    CERN Document Server

    Ray, Sandip

    2010-01-01

    This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issue

  3. Prevalence of job strain among Indian foundry shop floor workers.

    Science.gov (United States)

    Mohan, G Madhan; Elangovan, S; Prasad, P S S; Krishna, P Rama; Mokkapati, Anil Kumar

    2008-01-01

    Global competition in manufacturing sector demand higher productivity levels. In this context, workers in this sector are set with high output targets, leading to job strain. In addition to the strain, hazardous conditions also prevail in some of the manufacturing processes like foundry activities. This paper attempts to appraise the prevalence of job strain among foundry shop floor workers in India with the help of Demands-Control model [8]. In this study, data was collected through a survey using 49-item Job Content Questionnaire (JCQ) [9], a widely used and well-validated test for job strain. Then the data was subjected to statistical analysis after ascertaining the reliability. This survey has revealed that 25% of workers in foundry were experiencing high job strain. Hazardous working conditions, limited decision making authority, etc. appear to be the main contributing factors for the higher levels of strain.

  4. Effect of systematic ergonomic hazard identification and control implementation on musculoskeletal disorder and injury risk.

    Science.gov (United States)

    Cantley, Linda F; Taiwo, Oyebode A; Galusha, Deron; Barbour, Russell; Slade, Martin D; Tessier-Sherman, Baylah; Cullen, Mark R

    2014-01-01

    This study aimed to examine the effect of an ergonomic hazard control (HC) initiative, undertaken as part of a company ergonomics standard, on worker injury risk. Using the company's ergonomic hazards database to identify jobs with and without ergonomic HC implementation and linking to individual job and injury histories, injury risk among person-jobs with HC implementation (the HC group) was compared to those without HC (NoHC group) using random coefficient models. Further analysis of the HC group was conducted to determine the effect of additional ergonomic hazards controlled on injury risk. Among 123 jobs at 17 plant locations, 347 ergonomic hazards were quantitatively identified during the study period. HC were implemented for 204 quantified ergonomic hazards in 84 jobs, impacting 10 385 persons (12 967 person-jobs). No HC were implemented for quantified ergonomic hazards in the remaining 39 jobs affecting 4155 persons (5046 person-jobs). Adjusting for age, sex, plant origin, and year to control for any temporal trend in injury risk, the relative risk (RR) for musculoskeletal disorder (MSD) was 0.85 and the RR for any injury or MSD was 0.92 in the HC compared to NoHC group. Among the HC group, each ergonomic hazard controlled was associated with risk reduction for MSD and acute injury outcomes (RR 0.93). Systematic ergonomic HC through participatory ergonomics, as part of a mandatory company ergonomics standard, is associated with MSD and injury risk reduction among workers in jobs with HC implemented.

  5. Hazard evaluation and risk management

    International Nuclear Information System (INIS)

    Fritzsche, A.F.

    1986-01-01

    The eigth chapter deals with the actual handling of hazards. The principal issue concerns man's behaviour towards hazards as an individual formerly and today; the evaluation of expected results of both a positive and a negative kind as determined by the individual's values which may differ and vary greatly from one individual to the next. The evaluation of benefit and hazard as well as the risk management resulting from decision-taking are political processes in the democratic state. Formal decision-taking tools play a major role in this process which concerns such central issues like who will participate; how the decision is arrived at; the participation of citizens; specialist knowledge and participation of the general public. (HSCH) [de

  6. El Salvador - Formal Technical Education

    Data.gov (United States)

    Millennium Challenge Corporation — With a budget of nearly $20 million, the Formal Technical Education Sub-Activity was designed to strengthen technical and vocational educational institutions in the...

  7. Concepts of formal concept analysis

    Science.gov (United States)

    Žáček, Martin; Homola, Dan; Miarka, Rostislav

    2017-07-01

    The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.

  8. Helicity formalism and spin effects

    International Nuclear Information System (INIS)

    Anselmino, M.; Caruso, F.; Piovano, U.

    1990-01-01

    The helicity formalism and the technique to compute amplitudes for interaction processes involving leptons, quarks, photons and gluons are reviewed. Explicit calculations and examples of exploitation of symmetry properties are shown. The formalism is then applied to the discussion of several hadronic processes and spin effects: the experimental data, when related to the properties of the elementary constituent interactions, show many not understood features. Also the nucleon spin problem is briefly reviewed. (author)

  9. Radioactive hazards

    International Nuclear Information System (INIS)

    Gill, J.R.

    1980-01-01

    The use of radioactive substances in hospital laboratories is discussed and the attendant hazards and necessary precautions examined. The new legislation under the Health and Safety at Work Act which, it is proposed, will replace existing legal requirements in the field of health and safety at work by a system of regulations and approved codes of practice designed to maintain or improve the standards of health, safety and welfare already established, is considered with particular reference to protection against ionising radiations. (UK)

  10. Formal caregivers of older adults: reflection about their practice

    Directory of Open Access Journals (Sweden)

    Marina Picazzio Perez Batista

    2014-10-01

    Full Text Available OBJECTIVE To understand the job function of caregivers of older adults and contribute to the debate on the consolidation of this professional practice. METHODOLOGICAL PROCEDURES This is a descriptive, qualitative, and exploratory study. Four focal group sessions were performed in 2011 with 11 elderly companions, formal caregivers of older adults in the Programa Acompanhante de Idosos (Program for Caregivers of Older Adults, Sao Paulo, SP, Southeastern Brazil. These sessions, guided by a semi-structured script, were audio-recorded and fully transcribed. Data were analyzed using the Content Analysis technique, Thematic Modality. RESULTS In view of considering the caregivers of older adults as a new category of workers, it was difficult to define their duties. The elderly companions themselves as well as the care receivers, their families, and the professionals that comprised the team were unclear about their duties. The professional practice of these formal caregivers has been built on the basis of constant discussions and negotiations among them and other team members in Programa Acompanhante de Idosos during daily work. This was achieved via a recognition process of their job functions and by setting apart other workers’ exclusive responsibilities. CONCLUSIONS The delimitation of specific job functions for elderly companions is currently one of the greatest challenges faced by these workers to develop and consolidate their professional role as well as improve Programa Acompanhante de Idosos.

  11. An Examination of Cultural Values and Employees' Perceptions of Support on Affective Reaction and the Desire to Participate in a Formal Mentoring Program in an Oilfield Services Corporation

    Science.gov (United States)

    Hayes, Hanna Bea

    2012-01-01

    Many researchers have examined the effect of formal mentoring on job satisfaction and organizational commitment. However, there has been little or no focus on an employee's intent to participate in a formal mentoring program based upon an employee's perceived organizational support, and/or affective reaction (job satisfaction and…

  12. Job Sharing in Education.

    Science.gov (United States)

    Davidson, Wilma; Kline, Susan

    1979-01-01

    The author presents the advantages of job sharing for all school personnel, saying that education is particularly adaptable to this new form of employment. Current job sharing programs in Massachusetts, California, and New Jersey schools are briefly discussed. (SJL)

  13. Social hazards on the job: workplace abuse, sexual harassment, and racial discrimination--a study of Black, Latino, and White low-income women and men workers in the United States.

    Science.gov (United States)

    Krieger, Nancy; Waterman, Pamela D; Hartman, Cathy; Bates, Lisa M; Stoddard, Anne M; Quinn, Margaret M; Sorensen, Glorian; Barbeau, Elizabeth M

    2006-01-01

    This study documents the prevalence of workplace abuse, sexual harassment at work, and lifetime experiences of racial discrimination among the United for Health cohort of 1,202 predominantly black, Latino, and white women and men low-income union workers in the Greater Boston area. Overall, 85 percent of the cohort reported exposure to at least one of these three social hazards; exposure to all three reached 20 to 30 percent among black women and women and men in racial/ethnic groups other than white, black, or Latino. Workplace abuse in the past year, reported by slightly more than half the workers, was most frequently reported by the white men (69%). Sexual harassment at work in the past year was reported by 26 percent of the women and 22 percent of the men, with values of 20 percent or more in all racial/ ethnic-gender groups other than Latinas and white men. High exposure to racial discrimination was reported by 37 percent of the workers of color, compared with 10 percent of the white workers, with black workers reporting the greatest exposure (44%). Together, these findings imply that the lived--and combined-experiences of class, race, and gender inequities and their attendant assaults on human dignity are highly germane to analyses of workers' health.

  14. Job Sharing in Geography.

    Science.gov (United States)

    Kay, Jeanne

    1982-01-01

    Job sharing is an employment alternative in which two qualified individuals manage the responsibilities of a single position. Discusses the barriers to and the potential, advantages, disadvantages, pitfalls, and challenges of job sharing. Focuses on job sharing in the geography profession. (Author/JN)

  15. Hybrid job shop scheduling

    NARCIS (Netherlands)

    Schutten, Johannes M.J.

    1995-01-01

    We consider the problem of scheduling jobs in a hybrid job shop. We use the term 'hybrid' to indicate that we consider a lot of extensions of the classic job shop, such as transportation times, multiple resources, and setup times. The Shifting Bottleneck procedure can be generalized to deal with

  16. Practical job shop scheduling

    NARCIS (Netherlands)

    Schutten, Johannes M.J.

    1998-01-01

    The Shifting Bottleneck procedure is an intuitive and reasonably good approximation algorithm for the notoriously difficult classical job shop scheduling problem. The principle of decomposing a classical job shop problem into a series of single-machine problems can also easily be applied to job shop

  17. Mobility into favourable jobs

    NARCIS (Netherlands)

    Maurice Gesthuizen; Jaco Dagevos

    2005-01-01

    Original title: Arbeidsmobiliteit in goede banen. Hundreds of thousands of employees change jobs each year. Why do they do this, and what benefits do they derive from it? Many employees are not in the right jobs. Job dissatisfaction is found to be a key reason for labour mobility. These

  18. Tanzania : Productive Jobs Wanted

    OpenAIRE

    World Bank Group

    2014-01-01

    Over the past 18 months, the World Bank has been working on a comprehensive plan to address the challenge of productive jobs in Tanzania. This study represents a step towards a better understanding of how to promote job creation in Tanzania. Indeed, the growth of productive jobs is vital for alleviating poverty and promoting shared prosperity - two important goals of Tanzania's economic st...

  19. Tsunami hazard

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2013-08-15

    Tohoku Earthquake Tsunami on 11 March, 2011 has led the Fukushima Daiichi nuclear power plant to a serious accident, which highlighted a variety of technical issues such as a very low design tsunami height and insufficient preparations in case a tsunami exceeding the design tsunami height. Lessons such as to take measures to be able to maintain the important safety features of the facility for tsunamis exceeding design height and to implement risk management utilizing Probabilistic Safety Assessment are shown. In order to implement the safety assessment on nuclear power plants across Japan accordingly to the back-fit rule, Nuclear Regulatory Commission will promulgate/execute the New Safety Design Criteria in July 2013. JNES has positioned the 'enhancement of probabilistic tsunami hazard assessment' as highest priority issue and implemented in order to support technically the Nuclear Regulatory Authority in formulating the new Safety Design Criteria. Findings of the research had reflected in the 'Technical Review Guidelines for Assessing Design Tsunami Height based on tsunami hazards'. (author)

  20. Tsunami hazard

    International Nuclear Information System (INIS)

    2013-01-01

    Tohoku Earthquake Tsunami on 11 March, 2011 has led the Fukushima Daiichi nuclear power plant to a serious accident, which highlighted a variety of technical issues such as a very low design tsunami height and insufficient preparations in case a tsunami exceeding the design tsunami height. Lessons such as to take measures to be able to maintain the important safety features of the facility for tsunamis exceeding design height and to implement risk management utilizing Probabilistic Safety Assessment are shown. In order to implement the safety assessment on nuclear power plants across Japan accordingly to the back-fit rule, Nuclear Regulatory Commission will promulgate/execute the New Safety Design Criteria in July 2013. JNES has positioned the 'enhancement of probabilistic tsunami hazard assessment' as highest priority issue and implemented in order to support technically the Nuclear Regulatory Authority in formulating the new Safety Design Criteria. Findings of the research had reflected in the 'Technical Review Guidelines for Assessing Design Tsunami Height based on tsunami hazards'. (author)

  1. Formal Women-only Networks

    DEFF Research Database (Denmark)

    Villesèche, Florence; Josserand, Emmanuel

    2017-01-01

    /organisations and the wider social group of women in business. Research limitations/implications: The authors focus on the distinction between external and internal formal women-only networks while also acknowledging the broader diversity that can characterise such networks. Their review provides the reader with an insight...... member level, the authors suggest that such networks can be of value for organisations and the wider social group of women in management and leadership positions.......Purpose: The purpose of this paper is to review the emerging literature on formal women-only business networks and outline propositions to develop this under-theorised area of knowledge and stimulate future research. Design/methodology/approach: The authors review the existing literature on formal...

  2. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    INTRODUCTION: Formal pathways models outline that patients should receive information in order to experience a coherent journey but do not describe an active role for patients or their relatives. The aim of this is paper is to articulate and discuss the active role of patients during their cancer...... trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  3. The role of formal specifications

    International Nuclear Information System (INIS)

    McHugh, J.

    1994-01-01

    The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted

  4. Formal connections in deformation quantization

    DEFF Research Database (Denmark)

    Masulli, Paolo

    The field of this thesis is deformation quantization, and we consider mainly symplectic manifolds equipped with a star product. After reviewing basics in complex geometry, we introduce quantization, focusing on geometric quantization and deformation quantization. The latter is defined as a star...... characteristic class, and that formal connections form an affine space over the derivations of the star products. Moreover, if the parameter space for the family of star products is contractible, we obtain that any two flat formal connections are gauge equivalent via a self-equivalence of the family of star...

  5. The Impact of Job Characteristics on Burnout Among Chinese Correctional Workers.

    Science.gov (United States)

    Jin, Xiaohong; Sun, Ivan Y; Jiang, Shanhe; Wang, Yongchun; Wen, Shufang

    2018-02-01

    Job burnout has long been recognized as a common occupational hazard among correctional workers. Although past studies have investigated the effects of job-related characteristics on correctional staff burnout in Western societies, this line of research has largely been absent from the literature on community corrections in China. Using data collected from 225 community correction workers in a Chinese province, this study assessed the effects of positive and negative job characteristics on occupational burnout. Positive job characteristics included job autonomy, procedural justice, and role clarity. Negative characteristics included role conflict, job stress, and job dangerousness. As expected, role clarity tended to reduce burnout, whereas role conflict, job stress, and job dangerousness were likely to produce greater burnout among Chinese community correction workers. Male correctional officers were also subjected to a higher level of burnout than their female coworkers. Implications for future research and policy were discussed.

  6. Electrostatic hazards

    CERN Document Server

    Luttgens, Günter; Luttgens, Gnter; Luttgens, G Nter

    1997-01-01

    In the US, UK and Europe there is in excess of one notifiable dust or electrostatic explosion every day of the year. This clearly makes the hazards associated with the handling of materials subject to either cause or react to electrostatic discharge of vital importance to anyone associated with their handling or industrial bulk use. This book provides a comprehensive guide to the dangers of static electricity and how to avoid them. It will prove invaluable to safety managers and professionals, as well as all personnel involved in the activities concerned, in the chemical, agricultural, pharmaceutical and petrochemical process industries. The book makes extended use of case studies to illustrate the principles being expounded, thereby making it far more open, accessible and attractive to the practitioner in industry than the highly theoretical texts which are also available. The authors have many years' experience in the area behind them, including the professional teaching of the content provided here. Günte...

  7. Human hazards

    International Nuclear Information System (INIS)

    Delpla, M.; Vignes, S.; Wolber, G.

    1976-01-01

    Among health hazards from ionizing radiations, a distinction is made of observed, likely and theoretical risks. Theoretical risks, derived from extrapolation of observations on sublethal exposures to low doses may frighten. However, they have nothing in common with reality as shown for instance, by the study of carcinogenesis risks at Nagasaki. By extrapolation to low doses, theoretical mutation risks are derived by geneticians from the observation of some characters especially deleterious in the progeny of parents exposed to sublethal doses. One cannot agree when by calculation they express a population exposure by a shift of its genetic balance with an increase of the proportion of disabled individuals. As a matter of fact, experimental exposure of successive generations of laboratory animals shows no accumulation of deleterious genes, sublethal doses excepted. Large nuclear plants should not be overwhelmed by horrible charges on sanitary grounds, whereas small sources have but too often shown they may originate mortal risks [fr

  8. Non-Formal Education in International Comparison: Patterns of Participation and Investment in Selected European Countries

    Science.gov (United States)

    Kaufmann, Katrin

    2015-01-01

    This investigation focuses on participation and related investment patterns in job related non-formal education (NFE) in selected European countries. Broadening previous research formats of NFE are distinguished by investment including financial and time investments by employers, employees and public authorities. By this, company-sponsored and…

  9. Work stressors, job insecurity, union support, job satisfaction and safety outcomes within the iron ore mining environment

    Directory of Open Access Journals (Sweden)

    Nicolaas W.H. Smit

    2016-08-01

    Full Text Available Orientation: The study of work stressors, job insecurity and union support creates opportunity for iron ore mining organisations to manage job satisfaction and safety motivation and behaviour more effectively. Research purpose: The objective of this study was to investigate the relationship between work stressors, job insecurity, union support, job satisfaction and safety motivation and behaviour of a sample of iron ore mine workers in South Africa. Motivation for the study: The mining industry in general is often faced with hazardous and physically demanding working environments, where employees work under constant pressure. Work stressors, job insecurity, union support and job satisfaction are considered key variables when investigating effective means of managing safety. Research design, approach and method: A cross-sectional survey design was utilised to collect the data. A convenience sample of employees in the iron ore mining industry of South Africa (N = 260 were included. Structural equation modelling and bootstrapping resampling analysis were used to analyse the data. Main findings: Work stressors and job insecurity were found to be negatively associated with job satisfaction. Conversely, perceived union support was positively associated with job satisfaction and safety motivation and behaviour. Furthermore, job satisfaction mediated the relationship between union support and safety motivation and behaviour. Practical/managerial implications: Mining organisations can, by placing the focus on reducing work stressors, and promoting job security and union support, achieve higher levels of safety motivation and behaviour through job satisfaction. Contribution/value-add: A great deal of independent research on work stressors, job insecurity, union support, job satisfaction as well as safety motivation and behaviour has already been done. To date, very little empirical research exists that simultaneously considers all these constructs. This

  10. Formal systems for persuasion dialogue

    NARCIS (Netherlands)

    Prakken, Henry

    This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various

  11. Charging transient in polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    401–406. © Indian Academy of Sciences. 401. Charging transient in polyvinyl formal. P K KHARE*, P L JAIN† and R K PANDEY‡. Department of Postgraduate Studies & Research in Physics & Electronics, Rani Durgavati University,. Jabalpur 482 001, India. †Department of Physics, Government PG College, Damoh 470 ...

  12. A formalization of computational trust

    NARCIS (Netherlands)

    Güven - Ozcelebi, C.; Holenderski, M.J.; Ozcelebi, T.; Lukkien, J.J.

    2018-01-01

    Computational trust aims to quantify trust and is studied by many disciplines including computer science, social sciences and business science. We propose a formal computational trust model, including its parameters and operations on these parameters, as well as a step by step guide to compute trust

  13. Formal monkey linguistics : The debate

    NARCIS (Netherlands)

    Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.|info:eu-repo/dai/nl/413333450; Fuller, James; Gautier, Jean Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus

    2016-01-01

    We explain why general techniques from formal linguistics can and should be applied to the analysis of monkey communication - in the areas of syntax and especially semantics. An informed look at our recent proposals shows that such techniques needn't rely excessively on categories of human language:

  14. Rotor and wind turbine formalism

    DEFF Research Database (Denmark)

    Branlard, Emmanuel Simon Pierre

    2017-01-01

    The main conventions used in this book for the study of rotors are introduced in this chapter. The main assumptions and notations are provided. The formalism specific to wind turbines is presented. The forces, moments, velocities and dimensionless coefficients used in the study of rotors...

  15. Automatic Testing with Formal Methods

    NARCIS (Netherlands)

    Tretmans, G.J.; Belinfante, Axel

    1999-01-01

    The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on

  16. Formal Methods: Practice and Experience

    DEFF Research Database (Denmark)

    Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan

    2009-01-01

    . Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate...... the repository, and describe the challenges they address. © 2009 ACM. (146 refs.)...

  17. JOB ANXIETY, ORGANIZATIONAL COMMITMENT AND JOB ...

    African Journals Online (AJOL)

    and work experience with job satisfaction. ... were more likely to perceive the appraisal as unfair and inappropriate (Desai and ... Working freedom, salary and fringe benefits are the major factors ..... Men, women and attitudinal commitment:.

  18. Are Job Search Programs a Promising Tool? : A Microeconometric Evaluation for Austria

    OpenAIRE

    Weber, Andrea Maria; Hofer, Helmut

    2004-01-01

    In Austria job search programs were introduced on a large scale in 1999. These programs aim at activating unemployed at an early stage and bringing them back to work by training job search related skills. We evaluate the impact of active labour market programs in Austria on individual unemployment durations, and allow program effects to vary between job search programs and formal training programs. We use the timing-of-events method which estimates the program effect as a shift in the transit...

  19. Job-Structure and Job-Related Information

    OpenAIRE

    川上, 善郎

    1981-01-01

    The requirements of job-related information in many domain, such as personnel selection, placement, training, personnel appraisal, job evaluation, job design etc, have developed many techniques of job analysis.In this paper, several approaches to analyze the job characteristics are reviewed; (a) conventional approach, (b) worker-oriented approach, and (c) perceived job characteristics approach.In addition, new direction of job-related information is discussed.

  20. Job Strain and the Risk of Inflammatory Bowel Diseases

    DEFF Research Database (Denmark)

    Heikkilä, Katriina; Madsen, Ida E H; Nyberg, Solja T

    2014-01-01

    -Work Consortium. Work-related psychosocial stress was operationalised as job strain (a combination of high demands and low control at work) and was self-reported at baseline. Crohn's disease and ulcerative colitis were ascertained from national hospitalisation and drug reimbursement registers. The associations...... between job strain and inflammatory bowel disease outcomes were modelled using Cox proportional hazards regression. The study-specific results were combined in random effects meta-analyses. RESULTS: Of the 95,379 participants who were free of inflammatory bowel disease at baseline, 111 men and women...... developed Crohn's disease and 414 developed ulcerative colitis during follow-up. Job strain at baseline was not associated with incident Crohn's disease (multivariable-adjusted random effects hazard ratio: 0.83, 95% confidence interval: 0.48, 1.43) or ulcerative colitis (hazard ratio: 1.06, 95% CI: 0.76, 1...

  1. Critical formalism or digital biomorphology. The contemporary architecture formal dilema

    Directory of Open Access Journals (Sweden)

    Beatriz Villanueva Cajide

    2018-05-01

    Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.

  2. Do Job Security Guarantees Work?

    OpenAIRE

    Alex Bryson; Lorenzo Cappellari; Claudio Lucifora

    2004-01-01

    We investigate the effect of employer job security guarantees on employee perceptions of job security. Using linked employer-employee data from the 1998 British Workplace Employee Relations Survey, we find job security guarantees reduce employee perceptions of job insecurity. This finding is robust to endogenous selection of job security guarantees by employers engaging in organisational change and workforce reductions. Furthermore, there is no evidence that increased job security through job...

  3. Job sharing. Part 1.

    Science.gov (United States)

    Anderson, K; Forbes, R

    1989-01-01

    This article is the first of a three part series discussing the impact of nurses job sharing at University Hospital, London, Ontario. This first article explores the advantages and disadvantages of job sharing for staff nurses and their supervising nurse manager, as discussed in the literature. The results of a survey conducted on a unit with a large number of job sharing positions, concur with literature findings. The second article will present the evaluation of a pilot project in which two nurses job share a first line managerial position in the Operating Room. The third article will relate the effects of job sharing on women's perceived general well being. Job sharing in all areas, is regarded as a positive experience by both nurse and administrators.

  4. Exploring job embeddedness' antecedents

    Directory of Open Access Journals (Sweden)

    Ghadeer Mohamed Badr ElDin Aboul-Ela

    2018-04-01

    Full Text Available Employees are the key resources of organizational success. Developing and maintaining job embeddedness is a cornerstone success in the workplace. The purpose of this research study is to analyze selected antecedents of job embeddedness. Role ambiguity, training, and demographics (age groups, gender and education were identified from the extant literature as the selected antecedents for this study. An in-depth statistical analysis of the job embeddedness sub-dimensions was conducted in relation to the selected antecedents. Questionnaires were administered among the employees working in the private banks in Egypt. Results revealed a negative relationship between role ambiguity and job embeddedness, a positive relationship between training and job embeddedness, elder employees held higher level of embeddedness compared to young employees, females possessed higher level of embeddedness compared to males, and no significant differences among the various education levels and job embeddedness.

  5. Job Satisfaction and the Neglected Variable of Job Seniority

    Science.gov (United States)

    Ronen, Simcha

    1978-01-01

    This research investigates the hypotheses that the relationship between job seniority and job satisfaction will resemble a curvilinear function of a U-shaped curve, while age and job level will be linearly related to job satisfaction; and that intrinsic rather than extrinsic aspects of job satisfaction will be the major contributor to the U-shaped…

  6. Formal Institutions and Subjective Wellbeing

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina A.V.

    2010-01-01

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited, and inconclusive. In this paper, we revisit the findings from recent...... cross-country studies on the institution-happiness association. Our findings suggest that their conclusions are qualitatively rather insensitive to the specific measure of 'happiness' used, while the associations between formal institutions and subjective well-being differ among poor and rich countries....... Separating different types of institutional quality, we find that in low-income countries the effects of economic-judicial institutions on happiness dominate those of political institutions, while analyses restricted to middle- and high-income countries show strong support for an additional beneficial effect...

  7. Contextual approach to quantum formalism

    CERN Document Server

    Khrennikov, Andrei

    2009-01-01

    The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bell’s inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems...

  8. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment...... and care. They initiated processes in the trajectories, and acquired information, which they used to form their trajectories. Patients presented problems to the healthcare professionals in order to get proper help when needed. DISCUSSION: Work done by patients was invisible and not perceived as work....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  9. Polynomials formalism of quantum numbers

    International Nuclear Information System (INIS)

    Kazakov, K.V.

    2005-01-01

    Theoretical aspects of the recently suggested perturbation formalism based on the method of quantum number polynomials are considered in the context of the general anharmonicity problem. Using a biatomic molecule by way of example, it is demonstrated how the theory can be extrapolated to the case of vibrational-rotational interactions. As a result, an exact expression for the first coefficient of the Herman-Wallis factor is derived. In addition, the basic notions of the formalism are phenomenologically generalized and expanded to the problem of spin interaction. The concept of magneto-optical anharmonicity is introduced. As a consequence, an exact analogy is drawn with the well-known electro-optical theory of molecules, and a nonlinear dependence of the magnetic dipole moment of the system on the spin and wave variables is established [ru

  10. Methodology of formal software evaluation

    International Nuclear Information System (INIS)

    Tuszynski, J.

    1998-01-01

    Sydkraft AB, the major Swedish utility, owner of ca 6000 MW el installed in nuclear (NPP Barsebaeck and NPP Oskarshamn), fossil fuel and hydro Power Plants is facing modernization of the control systems of the plants. Standards applicable require structured, formal methods for implementation of the control functions in the modem, real time software systems. This presentation introduces implementation methodology as discussed presently at the Sydkraft organisation. The approach suggested is based upon the process of co-operation of three parties taking part in the implementation; owner of the plant, vendor and Quality Assurance (QA) organisation. QA will be based on tools for formal software validation and on systematic gathering by the owner of validated and proved-by-operation control modules for the concern-wide utilisation. (author)

  11. Stroh formalism and Rayleigh waves

    CERN Document Server

    Tanuma, Kazumi

    2008-01-01

    Introduces a powerful and elegant mathematical method for the analysis of anisotropic elasticity equationsThe reader can grasp the essentials as quickly as possibleCan be used as a textbook, which presents compactly introduction and applications of the Stroh formalismAppeals to the people not only in mathematics but also in mechanics and engineering sciencePrerequisites are only basic linear algebra, calculus and fundamentals of differential equations

  12. Variational formalism for spin particles

    International Nuclear Information System (INIS)

    Horvathy, P.

    1977-11-01

    The geometrical formulation of Hamilton's principle presented in a previous paper has been related to the usual one in terms of Lagrangian functions. The exact conditions for their equivalence are obtained and a method is given for the construction of a Lagrangian function. The formalism is extended to spin particles and a local Lagrangian is constructed in this case, too. However, this function cannot be extended to a global one. (D.P.)

  13. Review of the helicity formalism

    International Nuclear Information System (INIS)

    Barreiro, F.; Cerrada, M.; Fernandez, E.

    1972-01-01

    Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs

  14. Ashtekar formalism with real variables

    International Nuclear Information System (INIS)

    Kalau, W.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

    1990-12-01

    A new approach to canonical gravity is presented which is based on the Ashtekar formalism. But, in contrast to Ashtekar's variables, this formulation does not need complex quantities nor does it lead to second class constraints. This is achieved using SO(3,1) as a gauge group instead of complexified SO(3). Because of the larger group additional first class constraints are needed which turn out to be cubic and quartic in the momenta. (author). 13 refs

  15. Using Job Analysis Techniques to Understand Training Needs for Promotores de Salud.

    Science.gov (United States)

    Ospina, Javier H; Langford, Toshiko A; Henry, Kimberly L; Nelson, Tristan Q

    2018-04-01

    Despite the value of community health worker programs, such as Promotores de Salud, for addressing health disparities in the Latino community, little consensus has been reached to formally define the unique roles and duties associated with the job, thereby creating unique job training challenges. Understanding the job tasks and worker attributes central to this work is a critical first step for developing the training and evaluation systems of promotores programs. Here, we present the process and findings of a job analysis conducted for promotores working for Planned Parenthood. We employed a systematic approach, the combination job analysis method, to define the job in terms of its work and worker requirements, identifying key job tasks, as well as the worker attributes necessary to effectively perform them. Our results suggest that the promotores' job encompasses a broad range of activities and requires an equally broad range of personal characteristics to perform. These results played an important role in the development of our training and evaluation protocols. In this article, we introduce the technique of job analysis, provide an overview of the results from our own application of this technique, and discuss how these findings can be used to inform a training and performance evaluation system. This article provides a template for other organizations implementing similar community health worker programs and illustrates the value of conducting a job analysis for clarifying job roles, developing and evaluating job training materials, and selecting qualified job candidates.

  16. Assessment of job satisfaction, job stress and psychological health ...

    African Journals Online (AJOL)

    McRoy

    2014-12-31

    Dec 31, 2014 ... Aim: The study assessed the job satisfaction, perception of job stress and psychological ... on the work-health balance of journalists in. Nigeria. ..... Life. New York: Basic Books,1990. 15. Lu L. Work Motivation, Job Stress and.

  17. Job characteristics as determinants of job satisfaction and labour mobility

    OpenAIRE

    Cornelißen, Thomas

    2006-01-01

    This paper investigates the effects of detailed job characteristics on job satisfaction, job search and quits using data from the German Socio-Economic Panel (GSOEP) in a fixed effects framework. Using a factor analysis, seventeen job characteristics are reduced to seven factors that describe different aspects of a job, which are qualified as status, physical strain, autonomy, advancement opportunities, social relations at the work place, work time and job security. The effects of these facto...

  18. Hazard classification methodology

    International Nuclear Information System (INIS)

    Brereton, S.J.

    1996-01-01

    This document outlines the hazard classification methodology used to determine the hazard classification of the NIF LTAB, OAB, and the support facilities on the basis of radionuclides and chemicals. The hazard classification determines the safety analysis requirements for a facility

  19. Hazards of lithium thionyl chloride batteries

    Science.gov (United States)

    Parry, J. M.

    1978-01-01

    Two different topics which only relate in that they are pertinent to lithium thionyl chloride battery safety are discussed. The first topic is a hazards analysis of a system (risk assessment), a formal approach that is used in nuclear engineering, predicting oil spills, etc. It is a formalized approach for obtaining assessment of the degree of risk associated with the use of any particular system. The second topic is a small piece of chemistry related to the explosions that can occur with lithium thionyl chloride systems. After the two topics are presented, a discussion is generated among the Workshop participants.

  20. Job Instruction Training.

    Science.gov (United States)

    Pfau, Richard H.

    Job Instruction Training (JIT) is a step-by-step, relatively simple technique used to train employees on the job. It is especially suitable for teaching manual skills or procedures; the trainer is usually an employee's supervisor but can be a co-worker. The JIT technique consists of a series of steps that a supervisor or other instructor follows…

  1. Network effects across the earnings distribution: payoffs to visible and invisible job finding assistance.

    Science.gov (United States)

    McDonald, Steve

    2015-01-01

    This study makes three critical contributions to the "Do Contacts Matter?" debate. First, the widely reported null relationship between informal job searching and wages is shown to be mostly the artifact of a coding error and sample selection restrictions. Second, previous analyses examined only active informal job searching without fully considering the benefits derived from unsolicited network assistance (the "invisible hand of social capital") - thereby underestimating the network effect. Third, wage returns to networks are examined across the earnings distribution. Longitudinal data from the NLSY reveal significant wage returns for network-based job finding over formal job searching, especially for individuals who were informally recruited into their jobs (non-searchers). Fixed effects quantile regression analyses show that contacts generate wage premiums among middle and high wage jobs, but not low wage jobs. These findings challenge conventional wisdom on contact effects and advance understanding of how social networks affect wage attainment and inequality. Copyright © 2014 Elsevier Inc. All rights reserved.

  2. Job control and coworker support improve employee job performance.

    Science.gov (United States)

    Nagami, Makiko; Tsutsumi, Akizumi; Tsuchiya, Masao; Morimoto, Kanehisa

    2010-01-01

    We examined the prospective association of psychosocial job characteristics with employee job performance among 777 full-time employees at a manufacturing company in Japan, using data from a one-year follow-up survey. Psychosocial job characteristics were measured by the Job Content Questionnaire in 2008; job performance was evaluated using the item from the World Mental Health Survey Instrument in 2008 and 2009. The association between psychosocial job characteristics and job performance was tested using multiple regression analysis, controlling for demographic variables, work status, average working hours per day, job type and job performance in 2008. Job control and coworker support in 2008 were positively related to job performance in 2009. Stratified analyses revealed that job control for staff and coworker support for managers were positively related to job performance in 2009. These associations were prominent among men; however, supervisor support in 2008 was negatively related to job performance in 2009 among men. Job demand was not significantly related to job performance. Our findings suggest that it is worthwhile to enhance employees' job control and provide a mutually supportive environment to ensure positive employee job performance.

  3. The use of hazards analysis in the development of training

    Energy Technology Data Exchange (ETDEWEB)

    Houghton, F.K.

    1998-03-01

    When training for a job in which human error has the potential of producing catastrophic results, an understanding of the hazards that may be encountered is of paramount importance. In high consequence activities, it is important that the training program be conducted in a safe environment and yet emphasize the potential hazards. Because of the high consequence of a human error the use of a high-fidelity simulation is of great importance to provide the safe environment the worker needs to learn and hone required skills. A hazards analysis identifies the operation hazards, potential human error, and associated positive measures that aid in the mitigation or prevention of the hazard. The information gained from the hazards analysis should be used in the development of training. This paper will discuss the integration of information from the hazards analysis into the development of simulation components of a training program.

  4. Formal Verification of Continuous Systems

    DEFF Research Database (Denmark)

    Sloth, Christoffer

    2012-01-01

    and the verification procedures should be algorithmically synthesizable. Autonomous control plays an important role in many safety-critical systems. This implies that a malfunction in the control system can have catastrophic consequences, e.g., in space applications where a design flaw can result in large economic...... losses. Furthermore, a malfunction in the control system of a surgical robot may cause death of patients. The previous examples involve complex systems that are required to operate according to complex specifications. The systems cannot be formally verified by modern verification techniques, due...

  5. Measuring the effect of formalization

    International Nuclear Information System (INIS)

    Stoelen, K.; Mohn, P.

    1998-01-01

    We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should the fault counting be integrated in the development process? Thirdly, any reasonable definition of fault depends on a notion of satisfaction. Hence, we must address the question: What does it mean for a specification or an implementation to satisfy a requirement imposed by a more high-level specification? (author)

  6. Formalization in Component Based Development

    DEFF Research Database (Denmark)

    Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr

    2006-01-01

    We present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect...... may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced...

  7. Asymmetric Formal Synthesis of Azadirachtin.

    Science.gov (United States)

    Mori, Naoki; Kitahara, Takeshi; Mori, Kenji; Watanabe, Hidenori

    2015-12-01

    An asymmetric formal synthesis of azadirachtin, a potent insect antifeedant, was accomplished in 30 steps to Ley's synthetic intermediate (longest linear sequence). The synthesis features: 1) rapid access to the optically active right-hand segment starting from the known 5-hydroxymethyl-2-cyclopentenone scaffold; 2) construction of the B and E rings by a key intramolecular tandem radical cyclization; 3) formation of the hemiacetal moiety in the C ring through the α-oxidation of the six-membered lactone followed by methanolysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

  8. The formal de Rham complex

    Science.gov (United States)

    Zharinov, V. V.

    2013-02-01

    We propose a formal construction generalizing the classic de Rham complex to a wide class of models in mathematical physics and analysis. The presentation is divided into a sequence of definitions and elementary, easily verified statements; proofs are therefore given only in the key case. Linear operations are everywhere performed over a fixed number field {F} = {R},{C}. All linear spaces, algebras, and modules, although not stipulated explicitly, are by definition or by construction endowed with natural locally convex topologies, and their morphisms are continuous.

  9. Moderating Effect of Self-Regulatory Efficacy on the Relationship between Organizational Formal Controls and Workplace Deviance: A Proposed Framework

    OpenAIRE

    Kabiru Maitama Kura; Faridahwati Mohd. Shamsudin; Ajay Chauhan

    2013-01-01

    Several studies in the field of industrial and organizational psychology (I/O) have reported that workplace deviance is related to organization/work variables, such as organizational politics, perceived organizational support, job satisfaction, job stress, and organizational justice among others. However, relatively few studies have attempted to consider the relationship between organizational formal controls and workplace deviance. Even if any, they have reported mixed findings. Hence, a mod...

  10. A formal safety analysis for PLC software-based safety critical system using Z

    International Nuclear Information System (INIS)

    Koh, Jung Soo; Seong, Poong Hyun

    1997-01-01

    This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC (Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formed safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system

  11. Job demands-resources model

    OpenAIRE

    Bakker, Arnold; Demerouti, Eva

    2013-01-01

    markdownabstract* The question of what causes job stress and what motivates people has received a lot of research attention during the past five decades. In this paper, we discuss Job Demands-Resources (JD-R) theory, which represents an extension of the Job Demands-Resources model (Bakker & Demerouti, 2007; Demerouti, Bakker, Nachreiner, & Schaufeli, 2001) and is inspired by job design and job stress theories. JD-R theory explains how job demands and resources have unique and multiplicative e...

  12. Job Security as an Endogenous Job Characteristic

    DEFF Research Database (Denmark)

    Jahn, Elke; Wagner, Thomas

    This paper develops a hedonic model of job security (JS). Workers with hetero-geneous JS-preferences pay the hedonic price for JS to employers, who incur labor-hoarding costs from supplying JS. In contrast to the Wage-Bill Argument, equilibrium unemployment is strictly positive, as workers with w...

  13. Jobs in Public Service. Job Family Series.

    Science.gov (United States)

    Science Research Associates, Inc., Chicago, IL.

    The booklet describes jobs in public service. The introductory chapter provides a definition and overview of public service work. Following chapters describe various levels of public service including: (1) neighborhood workers--letter carriers and postal employees, fire fighters, police officers, service repair workers, and bus drivers; (2) city…

  14. Psychologist in non-formal education

    OpenAIRE

    Pavićević Miljana S.

    2011-01-01

    Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...

  15. A survey of formal languages for contracts

    DEFF Research Database (Denmark)

    Hvitved, Tom

    2010-01-01

    In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred...... to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms....

  16. Formal Proofs for Nonlinear Optimization

    Directory of Open Access Journals (Sweden)

    Victor Magron

    2015-01-01

    Full Text Available We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of f over K.This method allows to bound in a modular way some of the constituents of f by suprema of quadratic forms with a well chosen curvature. Thus, we reduce the initial goal to a hierarchy of semialgebraic optimization problems, solved by sums of squares relaxations. Our implementation tool interleaves  semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent.The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of multivariate transcendental inequalities. We illustrate the performance of our formal framework on some of these inequalities as well as on examples from the global optimization literature.

  17. Canonical formalism for relativistic dynamics

    International Nuclear Information System (INIS)

    Penafiel-Nava, V.M.

    1982-01-01

    The possibility of a canonical formalism appropriate for a dynamical theory of isolated relativistic multiparticle systems involving scalar interactions is studied. It is shown that a single time-parameter structure satisfying the requirements of Poincare invariance and simultaneity of the constituents (global tranversality) can not be derived from a homogeneous Lagrangian. The dynamics is deduced initially from a non-homogeneous but singular Lagrangian designed to accommodate the global tranversality constraints with the equaltime plane associated to the total momentum of the system. An equivalent standard Lagrangian is used to generalize the parametrization procedure which is referred to an arbitrary geodesic in Minkowski space. The equations of motion and the definition of center of momentum are invariant with respect to the choice of geodesic and the entire formalism becomes separable. In the original 8N-dimensional phase-space, the symmetries of the Lagrangian give rise to a canonical realization of a fifteen-generator Lie algebra which is projected in the 6N dimensional hypersurface of dynamical motions. The time-component of the total momentum is thus reduced to a neutral element and the canonical Hamiltonian survives as the only generator for time-translations so that the no-interaction theorem becomes inapplicable

  18. Job presentation potential of modern family education: risks and hazards

    Directory of Open Access Journals (Sweden)

    I. I. Dorozhko

    2014-03-01

    Family education plays a crucial role in professional self­identity. After all, it comes first in the family to include the world of work, the formation of self­discipline, not in the least defined family values, meaning and guidance of family education.

  19. Formal analysis of design process dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  20. Formal Analysis of Design Process Dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  1. Formal Symplectic Groupoid of a Deformation Quantization

    Science.gov (United States)

    Karabegov, Alexander V.

    2005-08-01

    We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid ‘with separation of variables’ over an arbitrary Kähler-Poisson manifold.

  2. Formalizing the concept phase of product development

    NARCIS (Netherlands)

    Schuts, M.; Hooman, J.

    2015-01-01

    We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing

  3. Formal Testing of Correspondence Carrying Software

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.

    2008-01-01

    Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to

  4. Lifelong Learning to Empowerment: Beyond Formal Education

    Science.gov (United States)

    Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James

    2018-01-01

    This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…

  5. CSR organisational taxonomy and job characteristics on performance: SME case studies

    Directory of Open Access Journals (Sweden)

    Thanalechumy Seeramulu

    2017-05-01

    Full Text Available This study examines the relationship between the CSR of organizational structure and job characteristics that influence employee job performance in the Malaysian context. Hence, it is important to study and analyze these two factors within the CSR taxonomy describing how these factors significantly influence employee job performance and to make recommendations how performance can be promoted among employees. This paper is based on a quantitative research approach where responses were gathered from the working population within Malaysia SMEs. The results from this study will help to point out the influence of these factors on the employee job performance and provide guidance to an organization for which these aspects should be emphasized in order to increase employees’ job performance to align performance with organizational goals. The analysis includes two dimensions of CSR taxonomy of organizational structure namely, centralization and formalization, as well as a set of five dimensions of job characteristics, such as task identity, task significance, skill variety, autonomy and feedback. The results of these findings show that job characteristics such as task significance, autonomy, feedback, and skill variety, positively influence job performance with autonomy having highest predictive power on job performance. The results of these findings reveal that the organizational structure does not contribute to the prediction of job performance even though a significant positive correlation exists between the structure and job performance in the Pearson correlation coefficient test. Therefore, this study will enrich the existing knowledge in the area of human resource management by focusing on job performance management.

  6. Gender and ergonomics: a case study on the 'non-formal' work of women nurses.

    Science.gov (United States)

    Salerno, Silvana; Livigni, Lucilla; Magrini, Andrea; Talamanca, Irene Figà

    2012-01-01

    Women's work activities are often characterised by 'non-formal actions' (such as giving support). Gender differences in ergonomics may be due to this peculiarity. We applied the method of organisational congruencies (MOC) to ascertain the 'non-formal' work portion of nurses employed in three hospital units (haematology, emergency room and general medicine) during the three work shifts in a major University Hospital in Rome, Italy. We recorded a total of 802 technical actions performed by nine nurses in 72 h of work. Twenty-six percent of the actions in direct patient's care were communicative actions (mainly giving psychological support) while providing physical care. These 'double actions' are often not considered to be a formal part of the job by hospital management. In our case study, the 'non-formal' work of nurses (psychological support) is mainly represented by double actions while taking physical care of the patients. The dual task paradigm in gender oriented research is discussed in terms of its implications in prevention in occupational health. The main purpose of the study was to assess all the formal and non-formal activities of women in the nursing work setting. Offering psychological support to patients is often not considered to be a formal part of the job. Our case study found that nurses receive no explicit guidelines on this activity and no time is assigned to perform it. In measuring the burden of providing psychological support to patients, we found that this is often done while nurses are performing tasks of physical care for the patients (double actions). The article discusses the significance of non-formal psychological work load of women nurses through double actions from the ergonomic point view.

  7. The God of Job

    Directory of Open Access Journals (Sweden)

    Leonard Mare

    2012-02-01

    Full Text Available God is often portrayed extremely negatively in the Old Testament. For example, in the Book of Nahum God is pictured as being responsible for the most horrifying violence imaginable. This negative portrayal of God is also found in the Book of Job. God is responsible for the suffering that his righteous servant Job, has to endure. He is even manipulated by the satan to allow him free reign in attacking Job. God even acknowledges that the misery and pain inflicted on Job, was for no reason. Job�s children are killed in order for God to prove a point, and in his response to Job�s suffering, he doesn�t even address the issue of Job�s suffering. This is a picture of a very cruel, vicious God. This article investigates the negative, disturbing images of God in the Book of Job. Are these images of God who God really is, or is the God of Job a literary construct of the author? The focus of this study is on the prologue and epilogue to the book, as well as the speeches of God in Job 38�41.

  8. Learning about Job Search

    DEFF Research Database (Denmark)

    Altmann, Steffen; Falk, Armin; Jäger, Simon

    strategies and the consequences of unemployment, and motivated them to actively look for new employment. We study the causal impact of the brochure by comparing labor market outcomes of treated and untreated job seekers in administrative data containing comprehensive information on individuals’ employment...... findings indicate that targeted information provision can be a highly effective policy tool in the labor market.......We conduct a large-scale field experiment in the German labor market to investigate how information provision affects job seekers’ employment prospects and labor market outcomes. Individuals assigned to the treatment group of our experiment received a brochure that informed them about job search...

  9. On Job Rotation

    OpenAIRE

    Metin M. Cosgel; Thomas J. Miceli

    1998-01-01

    A fundamental principle of economics with which Adam Smith begins The Wealth of Nations is the division of labor. Some firms, however, have been pursuing a practice called job rotation, which assigns each worker not to a single and specific task but to a set of several tasks among which he or she rotates with some frequency. We examine the practice of job rotation as a serious alternative to specialization, with three objectives. The first is to consider current and historical examples of job...

  10. Firm-Size Wage Gaps along the Formal-Informal Divide: Theory and Evidence

    OpenAIRE

    Balkan, Binnur; Tumen, Semih

    2015-01-01

    Observationally equivalent workers are paid higher wages in larger firms. This fact is often named as the “firm-size wage gap” and is regarded as a key empirical puzzle. Using micro-level data from Turkey, we document a new stylized fact : the firm-size wage gap is more pronounced for informal (unregistered) jobs than for formal (registered) jobs. To explain this fact, we develop a two-stage wage-posting game with market imperfections and segmented markets, the solution to which produces wage...

  11. Using the Job Demands-Resources model to investigate risk perception, safety climate and job satisfaction in safety critical organizations.

    Science.gov (United States)

    Nielsen, Morten Birkeland; Mearns, Kathryn; Matthiesen, Stig Berge; Eid, Jarle

    2011-10-01

    Using the Job Demands-Resources model (JD-R) as a theoretical framework, this study investigated the relationship between risk perception as a job demand and psychological safety climate as a job resource with regard to job satisfaction in safety critical organizations. In line with the JD-R model, it was hypothesized that high levels of risk perception is related to low job satisfaction and that a positive perception of safety climate is related to high job satisfaction. In addition, it was hypothesized that safety climate moderates the relationship between risk perception and job satisfaction. Using a sample of Norwegian offshore workers (N = 986), all three hypotheses were supported. In summary, workers who perceived high levels of risk reported lower levels of job satisfaction, whereas this effect diminished when workers perceived their safety climate as positive. Follow-up analyses revealed that this interaction was dependent on the type of risks in question. The results of this study supports the JD-R model, and provides further evidence for relationships between safety-related concepts and work-related outcomes indicating that organizations should not only develop and implement sound safety procedures to reduce the effects of risks and hazards on workers, but can also enhance other areas of organizational life through a focus on safety. © 2011 The Authors. Scandinavian Journal of Psychology © 2011 The Scandinavian Psychological Associations.

  12. The Job Training and Job Satisfaction Survey Technical Manual

    Science.gov (United States)

    Schmidt, Steven W.

    2004-01-01

    Job training has become an important aspect of an employee's overall job experience. However, it is not often called out specifically on instruments measuring job satisfaction. This technical manual details the processes used in the development and validation of a survey instrument to measure job training satisfaction and overall job…

  13. Job anxiety, organizational commitment and job satisfaction: An ...

    African Journals Online (AJOL)

    Job anxiety, organizational commitment and job satisfaction: An empirical assessment of supervisors in the state of Eritrea. ... The findings of the present research revealed that (i) recognition and self-esteem facets of job anxiety were found to be significantly related to job satisfaction, (ii) facets of organizational commitment ...

  14. The Relationship of Job Involvement, Motivation and Job ...

    African Journals Online (AJOL)

    The study found that job involvement had significant relationship with work motivation and job satisfaction of the respondents. It was also found that work motivation and job satisfaction jointly and individually predict job involvement of the respondents. Nevertheless, it was established that there was significant difference in ...

  15. Management perceptions of the Health Physics Technician job

    International Nuclear Information System (INIS)

    Mazour, T.J.; Marotta, F.J.

    1985-12-01

    In 1984, an industry-wide job analysis of nuclear power reactor Health Physics Technicians (HPTs) was completed. These results provided the basis for job descriptions, industry-wide task listings and recommendations for task selections for further analysis and formal training. A total of 389 tasks were identified and reviewed by 850 HPTs representing 39 plants and 6 vendor companies. Constructive criticism of the HPT job analysis focused on the fact that HPT supervisors and managers were not included in the survey. Concerns were addressed that these supervisors/managers might have a divergent perception of the HPT job that could lead to different conclusions than those that were originally drawn. The only way to confirm (or deny) this hypothesis was to verify the results of the job analysis of HPTs by also surveying radiation protection management personnel. A total of 19 HPT supervisors/managers completed the same survey that had been used for HPT job incumbents. They were asked to rate each task on the basis of their job incumbents' performance of the task. Of the 1161 ratings (389 tasks each with a rating for frequency, difficulty, and importance), only 37 of the ratings differed between the HPTs and the HPT supervisors/managers (at the 99% confidence level)

  16. Formal modeling of virtual machines

    Science.gov (United States)

    Cremers, A. B.; Hibbard, T. N.

    1978-01-01

    Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.

  17. A Formal Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José

    This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...

  18. Formal analysis of physical theories

    International Nuclear Information System (INIS)

    Dalla Chiara, M.L.; Toraldo di Francia, G.

    1979-01-01

    The rules of inference that are made use of in formalization are considered. It is maintained that a physical law represents the universal assertion of a probability, and not the assessment of the probability of a universal assertion. The precision of the apparatus used to collect the experimental evidence is introduced as an essential part of the theoretical structure of physics. This approach allows the author to define the concept of truth in a satisfactory way, abandoning the unacceptable notion of approximate truth. It is shown that a considerable amount of light can be shed on a number of much debated problems arising in the logic of quantum mechanics. It is stressed that the deductive structure of quantum theory seems to be essentially founded on a kind of mixture of different logics. Two different concepts of truth are distinguished within quantum theory, an empirical truth and quantum-logical truth. (Auth.)

  19. A Comparison of Participation Patterns in Selected Formal, Non-Formal, and Informal Online Learning Environments

    Science.gov (United States)

    Schwier, Richard A.; Seaton, J. X.

    2013-01-01

    Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…

  20. Job Crafting and Identity in Low-Grade Work: How Hospital Porters Redefine the Value of Their Work and Expertise

    Science.gov (United States)

    Fuller, Alison; Unwin, Lorna

    2017-01-01

    Over 25 years ago, Brown and Duguid ("Organisation Science," 2(1), 40-57, 1991) highlighted the differences between the way organisations formally describe and delineate jobs and the actual practices of their employees. This paper combines ideas from their seminal contribution with theories of "job crafting" and identity to…

  1. Job Accommodation Network

    Science.gov (United States)

    ... TTY) Email JAN Subscribe to Newsletters Share Through Social Networks Newsletter Live Help Link to Us Toolkit Webcasts FOR EMPLOYERS Private Employers Federal Employers State & Local Government FOR INDIVIDUALS Employees Job Seekers Entrepreneurs FOR OTHERS ...

  2. Management job ads

    DEFF Research Database (Denmark)

    Holmgreen, Lise-Lotte

    2014-01-01

    jobs by discursively constructing job ads that appeal to both sexes. This argument is part of the broader field of corporate social responsibility, corporate citizenship, and stakeholder management, which involves discussions of the obligations of corporations to acknowledge and mitigate...... the increasingly widespread impact that their activities have on communities and social structures. The article emphasises the need for more active engagement on the part of corporations by analysing the discursive construction of preferred candidates in a small sample of Danish management job ads. By means...... that this agreement reflects a high degree of conservatism in the system where men enjoy a considerable advantage and where procedures that ensure male dominance are perpetuated even in the linguistic and discursive construction of job ads....

  3. "Ruralizing" Presidential Job Advertisements

    Science.gov (United States)

    Leist, Jay

    2007-01-01

    Rural community college presidential job advertisements that focus on geography, politics, and culture can improve the likelihood of a good fit between the senior leader and the institution. (Contains 2 figures.)

  4. Safety at work: a meta-analytic investigation of the link between job demands, job resources, burnout, engagement, and safety outcomes.

    Science.gov (United States)

    Nahrgang, Jennifer D; Morgeson, Frederick P; Hofmann, David A

    2011-01-01

    In this article, we develop and meta-analytically test the relationship between job demands and resources and burnout, engagement, and safety outcomes in the workplace. In a meta-analysis of 203 independent samples (N = 186,440), we found support for a health impairment process and for a motivational process as mechanisms through which job demands and resources relate to safety outcomes. In particular, we found that job demands such as risks and hazards and complexity impair employees' health and positively relate to burnout. Likewise, we found support for job resources such as knowledge, autonomy, and a supportive environment motivating employees and positively relating to engagement. Job demands were found to hinder an employee with a negative relationship to engagement, whereas job resources were found to negatively relate to burnout. Finally, we found that burnout was negatively related to working safely but that engagement motivated employees and was positively related to working safely. Across industries, risks and hazards was the most consistent job demand and a supportive environment was the most consistent job resource in terms of explaining variance in burnout, engagement, and safety outcomes. The type of job demand that explained the most variance differed by industry, whereas a supportive environment remained consistent in explaining the most variance in all industries.

  5. Hazard function theory for nonstationary natural hazards

    Science.gov (United States)

    Read, L.; Vogel, R. M.

    2015-12-01

    Studies from the natural hazards literature indicate that many natural processes, including wind speeds, landslides, wildfires, precipitation, streamflow and earthquakes, show evidence of nonstationary behavior such as trends in magnitudes through time. Traditional probabilistic analysis of natural hazards based on partial duration series (PDS) generally assumes stationarity in the magnitudes and arrivals of events, i.e. that the probability of exceedance is constant through time. Given evidence of trends and the consequent expected growth in devastating impacts from natural hazards across the world, new methods are needed to characterize their probabilistic behavior. The field of hazard function analysis (HFA) is ideally suited to this problem because its primary goal is to describe changes in the exceedance probability of an event over time. HFA is widely used in medicine, manufacturing, actuarial statistics, reliability engineering, economics, and elsewhere. HFA provides a rich theory to relate the natural hazard event series (x) with its failure time series (t), enabling computation of corresponding average return periods and reliabilities associated with nonstationary event series. This work investigates the suitability of HFA to characterize nonstationary natural hazards whose PDS magnitudes are assumed to follow the widely applied Poisson-GP model. We derive a 2-parameter Generalized Pareto hazard model and demonstrate how metrics such as reliability and average return period are impacted by nonstationarity and discuss the implications for planning and design. Our theoretical analysis linking hazard event series x, with corresponding failure time series t, should have application to a wide class of natural hazards.

  6. Rural nurse job satisfaction.

    Science.gov (United States)

    Molinari, D L; Monserud, M A

    2008-01-01

    The lack of rural nursing studies makes it impossible to know whether rural and urban nurses perceive personal and organizational factors of job satisfaction similarly. Few reports of rural nurse job satisfaction are available. Since the unprecedented shortage of qualified rural nurses requires a greater understanding of what factors are important to retention, studies are needed. An analysis of the literature indicates job satisfaction is studied as both an independent and dependent variable. In this study, the concept is used to examine the intention to remain employed by measuring individual and organizational characteristics; thus, job satisfaction is used as a dependent variable. One hundred and three rural hospital nurses, from hospitals throughout the Northwest region of the United States were recruited for the study. Only nurses employed for more than one year were accepted. The sample completed surveys online. The McCloskey/Mueller Satisfaction Scale, the Gerber Control Over Practice Scale, and two open-ended job satisfaction questions were completed. The qualitative analysis of the open-ended questions identified themes which were then used to support the quantitative findings. Overall alphas were 0.89 for the McCloskey/Mueller Scale and 0.96 for the Gerber Control Over Practice Scale. Rural nurses indicate a preference for rural lifestyles and the incorporation of rural values in organizational practices. Nurses preferred the generalist role with its job variability, and patient variety. Most participants intended to remain employed. The majority of nurses planning to leave employment were unmarried, without children at home, and stated no preference for a rural lifestyle. The least overall satisfied nurses in the sample were employed from 1 to 3 years. Several new findings inform the literature while others support previous workforce studies. Data suggest some job satisfaction elements can be altered by addressing organizational characteristics and by

  7. Job stress and its related factors in Tehran firefighters in year 2000

    Directory of Open Access Journals (Sweden)

    Yazdi SM

    2001-11-01

    Full Text Available Job stress results from a mismatch between job requirements and capabilities, resources, or needs of the worker. Physiological, psychological and behavioral outcomes caused by job stress not only hurt the person but also impose expensive costs on organizations. Firefighting is a job that exposes workers to job stress. The purpose of this study is to determine the level of job stress and some related factors in firefighters of Tehran safety services and firefighters organization. This cross sectional study includes 155 male firefighters whom had selected randomly. In this research we used Leiden University Questionnaire. Also Karasek Questionnaire is used for classification of workers according to karasek’s model. Collected data were analyzed by spss9 software. The final grade of firefighter’s job stress shows a significant positive relationship with second job and a significant negative relationship with age. The level of job satisfaction have a significant negative relationship with job insecurity and lack of meaningfulness, and a significant positive relationship with skill discretion, social support supervisor and social support co-workers. According to karasek classification this job is grouped in active not in high strain grup. The highest level of job stress was seen in physical exertion and hazardous exposure factors. Also in work and time pressure factor, job stress level is high. But job stress is in a moderate or low level in other factors. The level of job stress in younger firefighters and in individuals with a second job indicate a significant increase. However, in western country’s studies, this job is classified as high-strain but in this research it is classified as active group.

  8. Job stress and occupational health

    NARCIS (Netherlands)

    Blanc, Le P.M.; Jonge, de J.; Schaufeli, W.B.; Chmiel, N.

    2008-01-01

    This chapter focuses on job stress in relation to workers’ physical and psycho logical health. We begin with an outline of job stress as a social problem, fol lowed by a discussion of the main perspectives on (job) stress, resulting in a process model of job stress that will be used as a frame of

  9. Job satisfaction of older workers

    NARCIS (Netherlands)

    Maassen van den Brink, H.; Groot, W.J.N.

    1999-01-01

    Using data for The Netherlands, this paper analyzes the relation between allocation, wages and job satisfaction. Five conclusions emerge from the empirical analysis: satisfaction with the job content is the main factor explaining overall job satisfaction; the effects of individual and job

  10. Job design and job stress in office workers.

    Science.gov (United States)

    Carayon, P

    1993-05-01

    A model to look at various job components that affect individual well-being and health was developed drawing from the job design and job stress literature. Briefly stated, the model proposes job control to be a primary causal determinant of the stress outcomes. The effects of perceived demands, job content, and career/future concerns were hypothesized to influence the stress outcomes only to the extent of their influence on job control. This was tested in a population of government office employees in various clerical, professional, and managerial jobs all of which involve the use of computers. Results indicated that job control was not a crucial determinant of the stress outcomes, that job demands and career/future concerns were consistent determinants of the stress outcomes, and that job content, demands, and career/future concerns did not influence the stress outcomes through job control as described by the proposed model. The differentiation of job control levels to define specific relationships with stress outcomes and other job elements was shown to be useful because different levels of job control were associated with different stress outcomes and job elements.

  11. Job crafting: Towards a new model of individual job redesign

    Directory of Open Access Journals (Sweden)

    Maria Tims

    2010-12-01

    Research purpose: The purpose of the study was to fit job crafting in job design theory. Motivation for the study: The study was an attempt to shed more light on the types of proactive behaviours of individual employees at work. Moreover, we explored the concept of job crafting and its antecedents and consequences. Research design, approach and method: A literature study was conducted in which the focus was first on proactive behaviour of the employee and then on job crafting. Main findings: Job crafting can be seen as a specific form of proactive behaviour in which the employee initiates changes in the level of job demands and job resources. Job crafting may be facilitated by job and individual characteristics and may enable employees to fit their jobs to their personal knowledge, skills and abilities on the one hand and to their preferences and needs on the other hand. Practical/managerial implications: Job crafting may be a good way for employees to improve their work motivation and other positive work outcomes. Employees could be encouraged to exert more influence on their job characteristics. Contribution/value-add: This article describes a relatively new perspective on active job redesign by the individual, called job crafting, which has important implications for job design theories.

  12. A formal safety analysis for PLC software-based safety critical system using Z

    International Nuclear Information System (INIS)

    Koh, Jung Soo

    1997-02-01

    This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC (Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system. And also, we have found that some errors or mismatches in user requirement and final implemented PLC ladder logic while analyzing the process of the consistency and completeness of Z translated formal specifications. In the case of relatively small systems like Beamline hutch door interlock system, a formal safety analysis including explicit proof is highly recommended so that the safety of PLC-based critical system may be enhanced and guaranteed. It also provides a helpful benefits enough to comprehend user requirement expressed by ambiguous natural language

  13. Women, Work and Health Hazards: A Fact Sheet and Cosmetologists: Health Risks at Work.

    Science.gov (United States)

    National Commission on Working Women, Washington, DC.

    The first part of this document is a fact sheet that provides information on health hazards faced by employed women. It covers the Occupational Safety and Health Act (OSHA), job-related diseases suffered by workers in female-dominated occupations, employer responsibilities under OSHA, and the lack of statistical reporting on job-related disease.…

  14. The Hazardous Material Technician Apprenticeship Program at Lawrence Livermore National Laboratory

    International Nuclear Information System (INIS)

    Steiner, S.D.

    1987-07-01

    This document describes an apprenticeship training program for hazardous material technician. This entry-level category is achieved after approximately 216 hours of classroom and on-the-job training. Procedures for evaluating performance include in-class testing, use of on-the-job checks, and the assignment of an apprentice mentor for each trainee

  15. The radiology job market: analysis of the ACR jobs board.

    Science.gov (United States)

    Prabhakar, Anand M; Oklu, Rahmi; Harvey, H Benjamin; Harisinghani, Mukesh G; Rosman, David A

    2014-05-01

    The aim of this study was to assess the status of the radiology job market as represented by the ACR Jobs Board from October 2010 to June 2013. With the assistance of the ACR, data from the ACR Jobs Board from October 2010 through June 2013, including the numbers of monthly new job seekers, new job postings, and job posting clicks, were gathered and used to calculate a monthly competitive index, defined as the ratio of new job seekers to new job postings. During the study period, the mean number of new job seekers was 168 per month, which was significantly greater than the 84 average new job postings for any given month (P = .0002). There was no significant difference between 2011 and 2012 with regard to the number of new job seekers or job postings. Over the time period assessed, more new job seekers registered in October and November 2010, August to November 2011, and October and November 2012. These periods were also associated with the highest competitive index values. There were less job seekers in the winter and spring of 2011, 2012, and 2013, periods associated with lower competitive index values. ACR Jobs Board activity, measured by job posting clicks, was significantly higher in 2012 than in 2011 (P Jobs Board, there were consistently more new job seekers than job postings throughout the study period, and fall is the period in the year most associated with the highest competitive index for radiologist employment. Copyright © 2014 American College of Radiology. Published by Elsevier Inc. All rights reserved.

  16. Risk Aversion and Job Mobility

    OpenAIRE

    van Huizen, T.M.; Alessie, Rob

    2016-01-01

    Job mobility is inherently risky as workers have limited ex ante information about the quality of outside jobs. Using a large longitudinal Dutch dataset, which includes data on risk preferences elicited through (incentivized) experiments, we examine the relation between risk aversion and job mobility. The results for men show that risk averse workers are less likely to move to other jobs. For women, the evidence that risk aversion affects job mobility is weak. Our empirical findings indicate ...

  17. Job Satisfaction of Nursing Managers

    OpenAIRE

    Petrosova, Liana; Pokhilenko, Irina

    2015-01-01

    The aim of the study was to research levels of job satisfaction, factors affecting job satisfaction/dissatisfaction, and ways to improve job satisfaction among nursing managers. The purposes of the study were to extend knowledge in the field of healthcare management, to raise awareness about factors that affect job satisfaction in nursing management career, and to provide suggestions regarding how to increase job satisfaction among nursing managers. The method of this study is literature r...

  18. Organizational Structure as a Determinant of Job Burnout.

    Science.gov (United States)

    Bilal, Atif; Ahmed, Hafiz Mushtaq

    2017-03-01

    This exploratory study determined the impact of organizational structure, particularly participation in decision making, instrumental communication, formalization, integration, and promotional opportunity, on burnout among Pakistani pediatric nurses. Data were collected from pediatric nurses working for Punjab's largest state-run hospital. The findings revealed that participation in decision making, instrumental communication, and promotional opportunity prevented burnout. Formalization contributed to burnout but integration was not related to burnout. Quite interestingly, except for supervisory status, most control variables for this study were not significantly related to emotional burnout. Hence, the hypothesis that organizational structure is a determinant of job burnout was accepted.

  19. Occupational Health Hazards among Healthcare Workers in Kampala, Uganda

    Directory of Open Access Journals (Sweden)

    Rawlance Ndejjo

    2015-01-01

    Full Text Available Objective. To assess the occupational health hazards faced by healthcare workers and the mitigation measures. Methods. We conducted a cross-sectional study utilizing quantitative data collection methods among 200 respondents who worked in 8 major health facilities in Kampala. Results. Overall, 50.0% of respondents reported experiencing an occupational health hazard. Among these, 39.5% experienced biological hazards while 31.5% experienced nonbiological hazards. Predictors for experiencing hazards included not wearing the necessary personal protective equipment (PPE, working overtime, job related pressures, and working in multiple health facilities. Control measures to mitigate hazards were availing separate areas and containers to store medical waste and provision of safety tools and equipment. Conclusion. Healthcare workers in this setting experience several hazards in their workplaces. Associated factors include not wearing all necessary protective equipment, working overtime, experiencing work related pressures, and working in multiple facilities. Interventions should be instituted to mitigate the hazards. Specifically PPE supply gaps, job related pressures, and complacence in adhering to mitigation measures should be addressed.

  20. The impact of job crafting on job demands, job resources, and well-being

    NARCIS (Netherlands)

    Tims, M.; Bakker, A.B.; Derks, D.

    2013-01-01

    This longitudinal study examined whether employees can impact their own well-being by crafting their job demands and resources. Based on the Job Demands-Resources model, we hypothesized that employee job crafting would have an impact on work engagement, job satisfaction, and burnout through changes

  1. Pendidikan Kesehatan Reproduksi Formal dan Hubungan Seksual Pranikah Remaja Indonesia

    Directory of Open Access Journals (Sweden)

    Anggriyani Wahyu Pinandari

    2015-08-01

    by sexual and reproductive revolution. Potential problems in this era are the increase of premarital sexual behavior, unwanted pregnancy, sexual transmitted infection and drug abuse. This study aimed to examine the influence of formal reproductive health education to delay premarital sexual intercourse among Indonesian teenagers and young adults. Cross sectional study analyzed as retrospective cohort used data of Indonesian Teenage Reproductive Health Survey in 2012 (10,980 men and 8,902 women. Effects of formal reproductive health education to delay sexual intercourse behavior was analyzed using kaplan meier curve, log-rank test, and chi square test, meanwhile multivariat analysis used logistic regression. All tests used confidence interval 95% and p value = 0.05. Results of survival analysis of abstinence committing sexual intercourse showed that teenagers who didn’t receive or only receive one of reproductive health education materials had bigger hazard ratio (respectively 1.55 (CI=1.32 – 1.82; 0.99 (CI=0.86 – 1.15 and 2.26 (CI=1.43 – 3.56. Receiving complete information gave longer abstinence time. Drug abuse, smoking, alcohol, men, aged between 20 – 24 years old and poor were more likely to commit premarital sexual intercourse. Receipt of reproductive health information at formal education level may delay the occurrence of premarital sexual intercourse.

  2. Assessment of job-related educational qualifications for nuclear power plant operators

    International Nuclear Information System (INIS)

    Saari, L.M.; Melber, B.D.; White, A.S.

    1985-04-01

    This report identifies job-related educational qualifications for the nuclear power plant licensed operator positions of reactor operator (RO), senior reactor operator (SRO), and shift supervisor (SS). The extent to which college engineering curriculum covers job-related academic knowledge was assessed. The approach used was to have subject matter experts in the field of general and nuclear engineering curriculum systematically compare college engineering program content to specific academic knowledge identified by a job analysis as necessary for licensed operators. In addition, these experts made judgments concerning levels of formal engineering education necessary for application of knowledge on the job, based on job samples from a job analysis of activities under selected normal and emergency operating sequences

  3. Does low job satisfaction lead to job mobility?

    DEFF Research Database (Denmark)

    Kristensen, Nicolai; Westergård-Nielsen, Niels Chr.

    This paper seeks to analyse the role of job satisfaction and actual job change behaviour. The analysis is based on the European Community Household Panel (ECHP) data for Danish families 1994-2000. The results show that inclusion of job satisfaction, which is a subjective measure, does improve...... the ability to predict actual quit behaviour: Low overall job satisfaction significantly increases the probability of quit. Various job satisfaction domains are ranked according to their ability to predict quits. Satisfaction with Type of Work is found to be the most important job characteristic while...... satisfaction with Job Security is found to be insignificant. These results hold across age, gender and education sub-groups and are opposed to results for UK, where job security is found to be the most important job domain. This discrepancy between UK and Denmark might be due to differences in unemployment...

  4. Applications of the Decoherence Formalism

    Science.gov (United States)

    Brun, Todd Andrew

    In this work the decoherence formalism of quantum mechanics is explored and applied to a number of interesting problems in quantum physics. The boundary between quantum and classical physics is examined, and demonstration made that quantum histories corresponding to classical equations of motion become more probable for a broad class of models, including linear and nonlinear models of Brownian motion. The link between noise, dissipation, and decoherence is studied. This work is then applied to systems which classically exhibit dissipative chaotic dynamics. A theory is explicated for treating these systems, and the ideas are applied to a particular model of the forced, damped Duffing oscillator, which is chaotic for certain parameter values. Differences between classical and quantum chaos are examined, particularly differences arising in the structure of fractal strange attractors, and the conceptual difficulties in framing standard notions of chaos in a quantum system. A brief discussion of previous work on quantum chaos is included, and the differences between Hamiltonian and dissipative chaos pointed out; a somewhat different interpretation of quantum chaos from the standard one is suggested. A class of histories for quantum systems, in phase space rather than configuration space, is studied. Different ways of representing projections in phase space are discussed, and expressions for the probability of phase space histories are derived; conditions for such histories to decohere are also estimated in the semiclassical limit.

  5. Quantum formalism for classical statistics

    Science.gov (United States)

    Wetterich, C.

    2018-06-01

    In static classical statistical systems the problem of information transport from a boundary to the bulk finds a simple description in terms of wave functions or density matrices. While the transfer matrix formalism is a type of Heisenberg picture for this problem, we develop here the associated Schrödinger picture that keeps track of the local probabilistic information. The transport of the probabilistic information between neighboring hypersurfaces obeys a linear evolution equation, and therefore the superposition principle for the possible solutions. Operators are associated to local observables, with rules for the computation of expectation values similar to quantum mechanics. We discuss how non-commutativity naturally arises in this setting. Also other features characteristic of quantum mechanics, such as complex structure, change of basis or symmetry transformations, can be found in classical statistics once formulated in terms of wave functions or density matrices. We construct for every quantum system an equivalent classical statistical system, such that time in quantum mechanics corresponds to the location of hypersurfaces in the classical probabilistic ensemble. For suitable choices of local observables in the classical statistical system one can, in principle, compute all expectation values and correlations of observables in the quantum system from the local probabilistic information of the associated classical statistical system. Realizing a static memory material as a quantum simulator for a given quantum system is not a matter of principle, but rather of practical simplicity.

  6. Flexible working, individual performance and employee attitudes: comparing formal and informal arrangements

    OpenAIRE

    De Menezes, Lilian M.; Kelliher, Clare

    2016-01-01

    In the context of a wider trend to individualize HRM, this paper examines the relationship between flexible working arrangements and individual performance. Drawing on a range of theories, it examines potential indirect effects on employee performance via job satisfaction and organizational commitment and analyses whether these relationships vary according to whether the arrangement was set up through a formal process, or negotiated informally between the employee and their line manager. Exta...

  7. Employability enhancement through formal and informal learning: An empirical study among Dutch non-academic university staff members

    NARCIS (Netherlands)

    van der Heijden, Beatrice; Boon, Jo; van der Klink, Marcel; Meijs, Ely

    2009-01-01

    Although learning is generally perceived as a way to improve employees' current job performance, so far, no research has been conducted to explore the possible relationships between formal and informal learning, on the one hand, and employability, on the other. Though contemporary views stress the

  8. Identifying job characteristics related to employed women's breastfeeding behaviors.

    Science.gov (United States)

    Spitzmueller, Christiane; Zhang, Jing; Thomas, Candice L; Wang, Zhuxi; Fisher, Gwenith G; Matthews, Russell A; Strathearn, Lane

    2018-05-14

    For employed mothers of infants, reconciliation of work demands and breastfeeding constitutes a significant challenge. The discontinuation of breastfeeding has the potential to result in negative outcomes for the mother (e.g., higher likelihood of obesity), her employer (e.g., increased absenteeism), and her infant (e.g., increased risk of infection). Given previous research findings identifying return to work as a major risk factor for breastfeeding cessation, we investigate what types of job characteristics relate to women's intentions to breastfeed shortly after giving birth and women's actual breastfeeding initiation and duration. Using job titles and job descriptors contained in a large Australian longitudinal cohort data set (N = 809), we coded job titles using the U.S. Department of Labor (DOL)'s Occupational Information Network (O*NET) database and extracted job characteristics. Hazardous working conditions and job autonomy were identified as significant determinants of women's breastfeeding intentions, their initiation of breastfeeding, and ultimately their breastfeeding continuation. Hence, we recommend that human resource professionals, managers, and public health initiatives provide breastfeeding-supportive resources to women who, based on their job characteristics, are at high risk to prematurely discontinue breastfeeding to ensure these mothers have equal opportunity to reap the benefits of breastfeeding. (PsycINFO Database Record (c) 2018 APA, all rights reserved).

  9. What Determines Firms’ Decisions to Formalize?

    OpenAIRE

    Neil McCulloch; Günther G. Schulze; Janina Voss

    2010-01-01

    In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

  10. NON-FORMAL EDUCATION, OVEREDUCATION AND WAGES

    OpenAIRE

    SANDRA NIETO; RAÚL RAMOS

    2013-01-01

    Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abiliti...

  11. Survey of Existing Tools for Formal Verification.

    Energy Technology Data Exchange (ETDEWEB)

    Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

    2014-12-01

    Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

  12. Fundamentals of the Pure Spinor Formalism

    CERN Document Server

    Hoogeveen, Joost

    2010-01-01

    This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved

  13. Job demands, job control, psychological climate, and job satisfaction: a cognitive dissonance perspective

    OpenAIRE

    Karanika-Murray, M; Michaelides, G; Wood, S

    2017-01-01

    Purpose: Research into job design and employee outcomes has tended to examine job design in isolation of the wider organizational context, leading to calls to attend to the context in which work is embedded. This study examines the effects of the interaction between job design and psychological climate on job satisfaction.\\ud \\ud Design/approach: Cognitive Dissonance Theory was used to explore the nature of this relationship and its effect on job satisfaction. We hypothesized that psychologic...

  14. Job Hunting, Introduction

    Science.gov (United States)

    Goldin, Ed; Stringer, Susan

    1998-05-01

    The AAS is again sponsoring a career workshop for Astronomers seeking employment. The workshop will cover a wide range of tools needed by a job seeker with a background in astronomy. There are increasingly fewer job opportunities in the academic areas. Today, astronomers need placement skills and career information to compete strongly in a more diversified jobs arena. The workshop will offer practical training on preparing to enter the job market. Topics covered include resume and letter writing as well as how to prepare for an interview. Advice is given on resources for jobs in astronomy, statistics of employment and education, and networking strategies. Workshop training also deals with a diverse range of career paths for astronomers. The workshop will consist of an two approximately three-hour sessions. The first (1-4pm) will be on the placement tools and job-search skills described above. The second session will be for those who would like to stay and receive personalized information on individual resumes, job search problems, and interview questions and practice. The individual appointments with Ed Goldin and Susan Stringer that will take place during the second session (6-9pm) will be arranged on-site during the first session. A career development and job preparation manual "Preparing Physicists for Work" will be on sale at the workshop for \\9.00. TOPICS FOR DISCUSSION: How to prepare an effective resume How to research prospective employers Interviewing skills Networking to uncover employment Job prospects present and future Traditional and non-traditional positions for astronomers This workshop will be presented by Ed Goldin and Susan Stringer of the American Institute of Physics. The cost of the workshop is \\15.00 which includes a packet of resource materials supporting the workshop presentation. Please send your request for attendance by 8 May 1998 to the Executive Office along with a check, payable to the AAS, for the fee. Credit cards will not be

  15. A Mathematical Formalization Proposal for Business Growth

    Directory of Open Access Journals (Sweden)

    Gheorghe BAILESTEANU

    2013-01-01

    Full Text Available Economic sciences have known a spectacular evolution in the last century; beginning to use axiomatic methods, applying mathematical instruments as a decision-making tool. The quest to formalization needs to be addressed from various different angles, reducing entry and operating formal costs, increasing the incentives for firms to operate formally, reducing obstacles to their growth, and searching for inexpensive approaches through which to enforce compliancy with government regulations. This paper proposes a formalized approach to business growth, based on mathematics and logics, taking into consideration the particularities of the economic sector.

  16. Formal Methods for Life-Critical Software

    Science.gov (United States)

    Butler, Ricky W.; Johnson, Sally C.

    1993-01-01

    The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

  17. Job Security as an Endogenous Job Characteristic

    DEFF Research Database (Denmark)

    Jahn, Elke; Wagner, Thomas

    JS-preferences trade JS for higher wages. The relation between optimal job insecurity and the perceived dismissal probability is hump-shaped. If firms observe demand, but workers do not, separation is not contractible and firms dismiss workers at-will. Although the workers are risk-averse......, they respond to the one-sided private information by trading wage-risk for a higher JS. With two-sided private information, even JS-neutral workers pay the price for a JS guarantee, if their risk premium associated with the wage-replacement risk is larger than the social net loss from production....

  18. Job insecurity and health.

    Science.gov (United States)

    McDonough, P

    2000-01-01

    As employers respond to new competitive pressures of global capitalism through layoffs and the casualization of labor, job insecurity affects a growing number of workers. It appears to harm mental health, but less is known about its effects on physical health and health behaviors and the mechanisms through which it may act. The prevailing individual-centered conceptualization of job insecurity as the perception of a threat to job continuity precludes systematic investigation of the social patterning of its health effects. Analysis of data from a 1994 Canadian national probability sample of adults determined that high levels of job insecurity lowered self-rated health and increased distress and the use of medications, but had no impact on heavy drinking. The findings support one possible mechanism of action whereby job insecurity reduces feelings of control over one's environment and opportunities for positive self-evaluation; these psychological experiences, in turn, have deleterious health consequences. There is little evidence of social patterning of this relationship by gender, education, household income, age, marital status, and social support at work.

  19. Hazard Analysis Database Report

    CERN Document Server

    Grams, W H

    2000-01-01

    The Hazard Analysis Database was developed in conjunction with the hazard analysis activities conducted in accordance with DOE-STD-3009-94, Preparation Guide for U S . Department of Energy Nonreactor Nuclear Facility Safety Analysis Reports, for HNF-SD-WM-SAR-067, Tank Farms Final Safety Analysis Report (FSAR). The FSAR is part of the approved Authorization Basis (AB) for the River Protection Project (RPP). This document describes, identifies, and defines the contents and structure of the Tank Farms FSAR Hazard Analysis Database and documents the configuration control changes made to the database. The Hazard Analysis Database contains the collection of information generated during the initial hazard evaluations and the subsequent hazard and accident analysis activities. The Hazard Analysis Database supports the preparation of Chapters 3 ,4 , and 5 of the Tank Farms FSAR and the Unreviewed Safety Question (USQ) process and consists of two major, interrelated data sets: (1) Hazard Analysis Database: Data from t...

  20. Global Landslide Hazard Distribution

    Data.gov (United States)

    National Aeronautics and Space Administration — Global Landslide Hazard Distribution is a 2.5 minute grid of global landslide and snow avalanche hazards based upon work of the Norwegian Geotechnical Institute...

  1. The Target Industries: Profiles of Five Hazardous Occupations.

    Science.gov (United States)

    Occupational Safety and Health Administration, Washington, DC.

    To contribute to a fuller understanding and awareness of the hazards involved in industries as well as to call attention to steps being taken to solve safety problems, this pamphlet surveys five industries cited among those having the highest rates of job-related injuries in the country. Industries include: (1) Roofing and Sheet Metal, (2)…

  2. Formal language constrained path problems

    Energy Technology Data Exchange (ETDEWEB)

    Barrett, C.; Jacob, R.; Marathe, M.

    1997-07-08

    In many path finding problems arising in practice, certain patterns of edge/vertex labels in the labeled graph being traversed are allowed/preferred, while others are disallowed. Motivated by such applications as intermodal transportation planning, the authors investigate the complexity of finding feasible paths in a labeled network, where the mode choice for each traveler is specified by a formal language. The main contributions of this paper include the following: (1) the authors show that the problem of finding a shortest path between a source and destination for a traveler whose mode choice is specified as a context free language is solvable efficiently in polynomial time, when the mode choice is specified as a regular language they provide algorithms with improved space and time bounds; (2) in contrast, they show that the problem of finding simple paths between a source and a given destination is NP-hard, even when restricted to very simple regular expressions and/or very simple graphs; (3) for the class of treewidth bounded graphs, they show that (i) the problem of finding a regular language constrained simple path between source and a destination is solvable in polynomial time and (ii) the extension to finding context free language constrained simple paths is NP-complete. Several extensions of these results are presented in the context of finding shortest paths with additional constraints. These results significantly extend the results in [MW95]. As a corollary of the results, they obtain a polynomial time algorithm for the BEST k-SIMILAR PATH problem studied in [SJB97]. The previous best algorithm was given by [SJB97] and takes exponential time in the worst case.

  3. Hazard function theory for nonstationary natural hazards

    Science.gov (United States)

    Read, Laura K.; Vogel, Richard M.

    2016-04-01

    Impact from natural hazards is a shared global problem that causes tremendous loss of life and property, economic cost, and damage to the environment. Increasingly, many natural processes show evidence of nonstationary behavior including wind speeds, landslides, wildfires, precipitation, streamflow, sea levels, and earthquakes. Traditional probabilistic analysis of natural hazards based on peaks over threshold (POT) generally assumes stationarity in the magnitudes and arrivals of events, i.e., that the probability of exceedance of some critical event is constant through time. Given increasing evidence of trends in natural hazards, new methods are needed to characterize their probabilistic behavior. The well-developed field of hazard function analysis (HFA) is ideally suited to this problem because its primary goal is to describe changes in the exceedance probability of an event over time. HFA is widely used in medicine, manufacturing, actuarial statistics, reliability engineering, economics, and elsewhere. HFA provides a rich theory to relate the natural hazard event series (X) with its failure time series (T), enabling computation of corresponding average return periods, risk, and reliabilities associated with nonstationary event series. This work investigates the suitability of HFA to characterize nonstationary natural hazards whose POT magnitudes are assumed to follow the widely applied generalized Pareto model. We derive the hazard function for this case and demonstrate how metrics such as reliability and average return period are impacted by nonstationarity and discuss the implications for planning and design. Our theoretical analysis linking hazard random variable X with corresponding failure time series T should have application to a wide class of natural hazards with opportunities for future extensions.

  4. Job satisfaction and basic vital needs satisfaction among working women

    OpenAIRE

    Kalva I.; Shiryayev D.

    2016-01-01

    Due to the achieved formal gender equality, traditional social roles within families have changed – approximately a half of women do not only raise children and run their households, but are working in some profession also. However, women feel themselves more responsible for family issues in comparison with their husbands, and that makes them sacrifice professional and career interests for the sake of family and children. The aim of the research is to investigate the level of job satisfact...

  5. Job Displacement and Crime

    DEFF Research Database (Denmark)

    Bennett, Patrick; Ouazad, Amine

    We use a detailed employer-employee data set matched with detailed crime information (timing of crime, fines, convictions, crime type) to estimate the impact of job loss on an individual's probability to commit crime. We focus on job losses due to displacement, i.e. job losses in firms losing...... a substantial share of their workers, for workers with at least three years of tenure. Displaced workers are more likely to commit offenses leading to conviction (probation, prison terms) for property crimes and for alcohol-related traffic violations in the two years following displacement. We find no evidence...... that displaced workers' propensity to commit crime is higher than non-displaced workers before the displacement event; but it is significantly higher afterwards. Displacement impacts crime over and above what is explained by earnings losses and weeks of unemployment following displacement....

  6. Ecobuilding and job creation

    CSIR Research Space (South Africa)

    Kolev, M

    2009-02-01

    Full Text Available directly or indirectly from the renewable energy sector. Million Jobs Geothermal 25 000 Small Hydro 39 000 Biomass 1 174 000 Solar Thermal 645 000 Solar PV 170 000 Wind Power 300 000 Figure 1: Worldwide employment in renewable energy... threat to the way we live our lives. We need to change the way we travel, build, cook, generate and consume energy, and heat and cool our living and office spaces. We need to change the way we think about our surroundings, our families and our jobs...

  7. Branding McJobs

    DEFF Research Database (Denmark)

    Noppeney, Claus; Endrissat, Nada; Kärreman, Dan

    Traditionally, employer branding has been considered relevant for knowledge intensive firms that compete in a ‘war for talent’. However, the continuous rise in service sector jobs and the negative image of these so-called McJobs has motivated a trend in rebranding service work. Building on critical...... oriented branding literature, our contribution to this stream of research is twofold: We provide an empirical account of employer branding of a grocery chain, which has repeatedly been voted among the ‘100 best companies to work for’. Second, we outline the role of symbolic compensation that employees...... of employer branding....

  8. Job satisfaction and intention to quit the job

    DEFF Research Database (Denmark)

    Suadicani, P; Bonde, J P; Olesen, K

    2013-01-01

    Negative psychosocial work conditions may influence the motivation of employees to adhere to their job.......Negative psychosocial work conditions may influence the motivation of employees to adhere to their job....

  9. Performance criteria for emergency medicine residents: a job analysis.

    Science.gov (United States)

    Blouin, Danielle; Dagnone, Jeffrey Damon

    2008-11-01

    A major role of admission interviews is to assess a candidate's suitability for a residency program. Structured interviews have greater reliability and validity than do unstructured ones. The development of content for a structured interview is typically based on the dimensions of performance that are perceived as important to succeed in a particular line of work. A formal job analysis is normally conducted to determine these dimensions. The dimensions essential to succeed as an emergency medicine (EM) resident have not yet been studied. We aimed to analyze the work of EM residents to determine these essential dimensions. The "critical incident technique" was used to generate scenarios of poor and excellent resident performance. Two reviewers independently read each scenario and labelled the performance dimensions that were reflected in each. All labels assigned to a particular scenario were pooled and reviewed again until a consensus was reached. Five faculty members (25% of our total faculty) comprised the subject experts. Fifty-one incidents were generated and 50 different labels were applied. Eleven dimensions of performance applied to at least 5 incidents. "Professionalism" was the most valued performance dimension, represented in 56% of the incidents, followed by "self-confidence" (22%), "experience" (20%) and "knowledge" (20%). "Professionalism," "self-confidence," "experience" and "knowledge" were identified as the performance dimensions essential to succeed as an EM resident based on our formal job analysis using the critical incident technique. Performing a formal job analysis may assist training program directors with developing admission interviews.

  10. Formal Engineering Hybrid Systems: Semantic Underpinnings

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.

    2008-01-01

    In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be

  11. Methodological imperfection and formalizations in scientific activity

    International Nuclear Information System (INIS)

    Svetlichny, G.

    1987-01-01

    Any mathematical formalization of scientific activity allows for imperfections in the methodology that is formalized. These can be of three types, dirty, rotten, and dammed. Restricting mathematical attention to those methods that cannot be construed to be imperfect drastically reduces the class of objects that must be analyzed, and related all other objects to these more regular ones. Examples are drawn from empirical logic

  12. DNA expressions - A formal notation for DNA

    NARCIS (Netherlands)

    Vliet, Rudy van

    2015-01-01

    We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions may denote the same molecule. Such DNA expressions are called equivalent. We examine which DNA expressions are minimal, which

  13. Formalizing Evaluation in Music Information Retrieval

    DEFF Research Database (Denmark)

    Sturm, Bob L.

    2013-01-01

    We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...

  14. 37 CFR 251.41 - Formal hearings.

    Science.gov (United States)

    2010-07-01

    ... ARBITRATION ROYALTY PANEL RULES AND PROCEDURES COPYRIGHT ARBITRATION ROYALTY PANEL RULES OF PROCEDURE Procedures of Copyright Arbitration Royalty Panels § 251.41 Formal hearings. (a) The formal hearings that will be conducted under the rules of this subpart are rate adjustment hearings and royalty fee...

  15. Restorative Practices as Formal and Informal Education

    Science.gov (United States)

    Carter, Candice C.

    2013-01-01

    This article reviews restorative practices (RP) as education in formal and informal contexts of learning that are fertile sites for cultivating peace. Formal practices involve instruction about response to conflict, while informal learning occurs beyond academic lessons. The research incorporated content analysis and a critical examination of the…

  16. Multiverse in the Third Quantized Formalism

    International Nuclear Information System (INIS)

    Faizal Mir

    2014-01-01

    In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler—DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occur in the multiverse, without violating the baryon number conservation. (general)

  17. Formal balancing of chemical reaction networks

    NARCIS (Netherlands)

    van der Schaft, Abraham; Rao, S.; Jayawardhana, B.

    2016-01-01

    In this paper we recall and extend the main results of Van der Schaft, Rao, Jayawardhana (2015) concerning the use of Kirchhoff’s Matrix Tree theorem in the explicit characterization of complex-balanced reaction networks and the notion of formal balancing. The notion of formal balancing corresponds

  18. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...

  19. Opinion dynamics model based on quantum formalism

    Energy Technology Data Exchange (ETDEWEB)

    Artawan, I. Nengah, E-mail: nengahartawan@gmail.com [Theoretical Physics Division, Department of Physics, Udayana University (Indonesia); Trisnawati, N. L. P., E-mail: nlptrisnawati@gmail.com [Biophysics, Department of Physics, Udayana University (Indonesia)

    2016-03-11

    Opinion dynamics model based on quantum formalism is proposed. The core of the quantum formalism is on the half spin dynamics system. In this research the implicit time evolution operators are derived. The analogy between the model with Deffuant dan Sznajd models is discussed.

  20. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1997-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control...

  1. Rapid Prototyping of Formally Modelled Distributed Systems

    OpenAIRE

    Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.

    1999-01-01

    This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.

  2. Formal analysis of a fair payment protocol

    NARCIS (Netherlands)

    J.G. Cederquist; M.T. Dashti (Mohammad)

    2004-01-01

    textabstractWe formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the ?-CRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free ?-calculus. These properties are then verified

  3. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, M.T.

    2004-01-01

    We formally specify a payment protocol. This protocol is intended for fair exchange of timesensitive data. Here the μCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free μ-calculus. These properties are then verified using the finite

  4. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, Muhammad Torabi; Dimitrakos, Theo; Martinelli, Fabio

    We formally specify a payment protocol described by Vogt et al. This protocol is intended for fair exchange of time-sensitive data. Here the mCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free mu-calculus. These properties are then

  5. On Fitting a Formal Method into Practice

    DEFF Research Database (Denmark)

    Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan

    2011-01-01

    . The interaction between the two proved to be crucial for the success of the case study. The heart of the problem was tracing informal requirements from Problem Frames descriptions to formal Event-B models. To a large degree, this issue dictated the approach that had to be used for formal modelling. A dedicated...

  6. A Conceptual Formalization of Crosscutting in AOSD

    NARCIS (Netherlands)

    van den Berg, Klaas; Conejero, J.M.

    2005-01-01

    We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise

  7. Job Creation and Job Destruction, Worker Reallocation, and Wages.

    OpenAIRE

    Belzil, Christian

    2000-01-01

    Using Danish firm (workplace) data on employment reallocation merged with individual records, the effects of job creation/destruction and worker reallocation on wages are estimated using fixed effects techniques. After controlling for business cycle fluctuations, job creation is found to increase male wages. The effect of net job creation seems present at all phases of the business cycle. Entry wages as well as wages of low tenure workers appear much more sensitive to idiosyncratic job creati...

  8. Physician job satisfaction related to actual and preferred job size

    OpenAIRE

    Schmit Jongbloed, Lodewijk J.; Cohen-Schotanus, Janke; Borleffs, Jan C. C.; Stewart, Roy E.; Schonrock-Adema, Johanna

    2017-01-01

    Background: Job satisfaction is essential for physicians' well-being and patient care. The work ethic of long days and hard work that has been advocated for decades is acknowledged as a threat for physicians' job satisfaction, well-being, and patient safety. Our aim was to determine the actual and preferred job size of physicians and to investigate how these and the differences between them influence physicians' job satisfaction. Method: Data were retrieved from a larger, longitudinal study a...

  9. Mental health, job satisfaction, and job stress among general practitioners.

    OpenAIRE

    Cooper, C. L.; Rout, U.; Faragher, B.

    1989-01-01

    OBJECTIVE--To identify sources of job stress associated with high levels of job dissatisfaction and negative mental wellbeing among general practitioners in England. DESIGN--Multivariate analysis of large database of general practitioners compiled from results of confidential questionnaire survey. Data obtained on independent variables of job stress, demographic factors, and personality. Dependent variables were mental health, job satisfaction, alcohol consumption, and smoking. SETTING--Natio...

  10. Physician job satisfaction related to actual and preferred job size.

    Science.gov (United States)

    Schmit Jongbloed, Lodewijk J; Cohen-Schotanus, Janke; Borleffs, Jan C C; Stewart, Roy E; Schönrock-Adema, Johanna

    2017-05-11

    Job satisfaction is essential for physicians' well-being and patient care. The work ethic of long days and hard work that has been advocated for decades is acknowledged as a threat for physicians' job satisfaction, well-being, and patient safety. Our aim was to determine the actual and preferred job size of physicians and to investigate how these and the differences between them influence physicians' job satisfaction. Data were retrieved from a larger, longitudinal study among physicians starting medical training at Groningen University in 1982/83/92/93 (N = 597). Data from 506 participants (85%) were available for this study. We used regression analysis to investigate the influence of job size on physicians' job satisfaction (13 aspects) and ANOVA to examine differences in job satisfaction between physicians wishing to retain, reduce or increase job size. The majority of the respondents (57%) had an actual job size less than 1.0 FTE. More than 80% of all respondents preferred not to work full-time in the future. Respondents' average actual and preferred job sizes were .85 FTE and .81 FTE, respectively. On average, respondents who wished to work less (35% of respondents) preferred a job size reduction of 0.18 FTE and those who wished to work more (12%) preferred an increase in job size of 0.16 FTE. Job size influenced satisfaction with balance work-private hours most (β = -.351). Physicians who preferred larger job sizes were - compared to the other groups of physicians - least satisfied with professional accomplishments. A considerable group of physicians reported a gap between actual and preferred job size. Realizing physicians' preferences as to job size will hardly affect total workforce, but may greatly benefit individual physicians as well as their patients and society. Therefore, it seems time for a shift in work ethic.

  11. Job Creation, Job Destruction and Plant Turnover in Norwegian Manufacturing

    OpenAIRE

    Tor Jakob Klette; Astrid Mathiassen

    1995-01-01

    The labour market in Norway, as in other Scandinavian countries, is often claimed to be overregulated and incapable of adjustment to changes in job opportunities. The results presented in this paper suggest to the contrary that in terms of job creation and job reallocation between plants, the manufacturing sector in Norway is surprisingly flexible, and similar to the manufacturing sector in other OECD countries such as the U.S. We show that 8.4 percent of the manufacturing jobs are eliminated...

  12. Nuclear power hazard control policy

    Energy Technology Data Exchange (ETDEWEB)

    Chicken, J C

    1982-01-01

    This study presents an analysis of the factors that appear to have influenced the formation and form of nuclear power hazard control policy in Britain. A simple account is given of the technical nature of nuclear hazards and of the legal and administrative framework that has been constructed to control them. The subsequent analysis concentrates primarily on the influence exerted by social and political factors. Particular attention is directed to those political groups which have developed a special interest in the problems of nuclear power, and to the interplay between organised groupings and public opinion generally. The metamorphosis of these groupings is traced from the origins of the nuclear industry in the Second World War to their prominent role during the Windscale Inquiry. Attention is given to the policy constraint imposed by increased expectations in the form of demands for higher standards of living, and improvements in the quality of the environment. The study is concerned with both policy-making and with policy implementation; with interest articulation as well as with the functioning of formal institutions. The evolution of policy takes place in an atmosphere of keen economic debate and conflicting moral perceptions. A model of the policy-making system is postulated.

  13. Nuclear power hazard control policy

    International Nuclear Information System (INIS)

    Chicken, J.C.

    1982-01-01

    This study presents an analysis of the factors that appear to have influenced the formation and form of nuclear power hazard control policy in Britain. A simple account is given of the technical nature of nuclear hazards and of the legal and administrative framework that has been constructed to control them. The subsequent analysis concentrates primarily on the influence exerted by social and political factors. Particular attention is directed to those political groups which have developed a special interest in the problems of nuclear power, and to the interplay between organised groupings and public opinion generally. The metamorphosis of these groupings is traced from the origins of the nuclear industry in the Second World War to their prominent role during the Windscale Inquiry. Attention is given to the policy constraint imposed by increased expectations in the form of demands for higher standards of living, and improvements in the quality of the environment. The study is concerned with both policy-making and with policy implementation; with interest articulation as well as with the functioning of formal institutions. The evolution of policy takes place in an atmosphere of keen economic debate and conflicting moral perceptions. A model of the policy-making system is postulated. (author)

  14. PENGARUH PENGALAMAN ON THE JOB TRAINING DAN MOTIVASI MEMASUKI DUNIA KERJA TERHADAP KESIAPAN KERJA SISWA

    Directory of Open Access Journals (Sweden)

    Pujianto

    2017-02-01

    Full Text Available Vocational High School is form of formal education at secondary level which the implementation is to prepare professional employees appropriate their field. Based on the results of preliminary observations indicate that the level of job readiness of students in class XII Accounting at SMK Negeri 1 Batang in Academic Year 2015/2016 still low. This study aimed to determine whether job training experience and motivation to enter the workforce effect towards job readiness of students in class XII Accounting at SMK Negeri 1 Batang in Academic Year 2015/2016 on simultaneously or partially. The population was all students of class XII Accounting in SMK Negeri 1 Batang in Academic Year 2015/2016 which amounts to 70 students, all serve as research respondent. This study uses questionnaire to collect the data. The data of variables is analyzed with multiple regression analysis. The results show that job training experience and motivation to enter the workforce simultaneous positively and significantly effect towards job readiness (61,8%, job training experience partial positively and significantly effect towards job readiness (59,91%, and motivation to enter the workforce partial positively and significantly effect towards job readiness (6,92%. Based on the result of this study, we can conclude that job training experience and motivation to enter the workforce positively and significantly effect towards job readiness students in class XII Accounting at SMK Negeri 1 Batang in Academic Year 2015/2016 on simultaneously or partially.

  15. Industrial Practice in Formal Methods : A Review

    DEFF Research Database (Denmark)

    Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm

    2009-01-01

    We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant...

  16. SBME : Exploring boundaries between formal, non-formal, and informal learning

    OpenAIRE

    Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark

    2013-01-01

    In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...

  17. Job Characteristics, Work Involvement, and Job Performance of Public Servants

    Science.gov (United States)

    Johari, Johanim; Yahya, Khulida Kirana

    2016-01-01

    Purpose: The primary purpose of this study is to assess the predicting role of job characteristics on job performance. Dimensions in the job characteristics construct are skill variety, task identity, task significance, autonomy and feedback. Further, work involvement is tested as a mediator in the hypothesized link. Design/methodology/approach: A…

  18. Relationship Between Job Characteristics And Job Performance Of ...

    African Journals Online (AJOL)

    The agricultural extension agent is a key stakeholder in extension systems. The nature of their work is so important that it has overriding effect on their job performance. This study investigates the relationship between job characteristics and job performance of agricultural extension agents in Imo and Rivers States, Nigeria.

  19. Assessment of job satisfaction, job stress and psychological health ...

    African Journals Online (AJOL)

    McRoy

    2014-12-31

    Dec 31, 2014 ... employees, feels a tension of anxiety caused by their jobs.[4] ... [13] High job stress creates negative psychological effects ... where product quality is largely dependent ... on the work-health balance of journalists in. Nigeria. ..... Life. New York: Basic Books,1990. 15. Lu L. Work Motivation, Job Stress and.

  20. Job flexibility and job insecurity : the Dutch case

    NARCIS (Netherlands)

    Klein Hesselink, D.J.; Vuuren, T. van

    1999-01-01

    Since the 1970s the flexible workforce in the Netherlands has been an important factor of labour force growth. The question raised in this article is whether job flexibility gives rise to feelings of job security. It appears that flexiworkers experience more job insecurity than workers with

  1. Relationship between job stress, occupational position and job satisfaction using a brief job stress questionnaire (BJSQ).

    Science.gov (United States)

    Kawada, Tomoyuki; Otsuka, Toshiaki

    2011-01-01

    Subjects with higher occupational position are speculated to have higher ability to handle with stress, and they were less affected by job stress. This study focused on the relationship between job satisfaction and three sub-scales of a brief job stress questionnaire (BJSQ) related to workload. This self-administered questionnaire was distributed to 371 employees of a company, and all the workers sent back their responses. Among the 57 items graded on a 4-point Likert-type scale to measure job stressors, psycho-physical complaints, and support for workers, the authors studied the influence of quantitative and qualitative job overload (six items), job control (three items), and support port (six items). The job satisfaction score estimated on a 4-point Likert-type scale was also used in relation to job stress determined using a 15-item scale from the BJSQ based on demand-control-support model. Occupational positions were classified into directors, managers, and general workers, and the content of job was classified into clerical workers, skilled technicians, and unskilled manual workers. All the scales on job stress presented acceptable alpha coefficients reflecting high internal consistency (job demand: 0.855, job control: 0.644, and support: 0.878, respectively). Principal axis factor analysis was conducted, and three factors were extracted; support, job demand and job control. There was a significant difference in the mean score among four groups divided by the job satisfaction level as evaluated by Dunnett's multiple comparison, and members who were dissatisfied with their job showed a high job demand, limited job control, and poor support. The mean score of support for managers were significantly higher (lower support) than that for general workers. The logistic regression analysis revealed that job control and support contributed significantly to job satisfaction. In addition, unskilled manual workers showed significantly higher job dissatisfaction compared

  2. Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?

    Science.gov (United States)

    Zepke, Nick; Leach, Linda

    2006-01-01

    This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…

  3. Low Wages as Occupational Health Hazards.

    Science.gov (United States)

    Leigh, J Paul; De Vogli, Roberto

    2016-05-01

    The history of occupational medicine has been characterized by ever-widening recognition of hazards, from fires in 1911 to asbestos in the 1960s, to job strain in the 1990s. In this essay, we argue for broadening the recognition further to include low wages. We first review possible mechanisms explaining the effects of wages on health or health behaviors. Mechanisms involve self-esteem, job satisfaction, deprivation, social rank, the "full" price of bad health, patience, and the ability to purchase health-producing goods and services. Second, we discuss empirical studies that rely on large, typically national, data sets and statistical models that use either instrumental variables or natural experiments and also account for other family income. Finally, we draw implications for laws governing minimum wages and labor unions.

  4. Youth job market specific features

    Directory of Open Access Journals (Sweden)

    Evgeniya Yu. Zhuravleva

    2011-05-01

    Full Text Available The article considers youth job market peculiarities, its specific features and regulation means, determines theoretical and application tasks of qualitative and quantitative comparison of vocations, which are highly in demand at the job market.

  5. Books for the Job Hunt.

    Science.gov (United States)

    Saltzman, Amy

    1992-01-01

    Reviews new and classic titles on career choice, job search methods, executive/professional job search, resume writing, and interviewing. Advises avoiding books with simplistic formulas and exercises or overt sales pitches for software, videos, and other products. (SK)

  6. Community Resources and Job Placement

    Science.gov (United States)

    Preston, Jim

    1977-01-01

    In cooperation with the chamber of commerce, various businesses, associations, and other community agencies, the Sarasota schools (Florida) supplement their own job placement and follow-up efforts with community job development strategies for placing high school graduates. (JT)

  7. ATLAS Job Transforms

    CERN Document Server

    Stewart, G A; The ATLAS collaboration; Maddocks, H J; Harenberg, T; Sandhoff, M; Sarrazin, B

    2013-01-01

    The need to run complex workflows for a high energy physics experiment such as ATLAS has always been present. However, as computing resources have become even more constrained, compared to the wealth of data generated by the LHC, the need to use resources efficiently and manage complex workflows within a single grid job have increased. In ATLAS, a new Job Transform framework has been developed that we describe in this paper. This framework manages the multiple execution steps needed to `transform' one data type into another (e.g., RAW data to ESD to AOD to final ntuple) and also provides a consistent interface for the ATLAS production system. The new framework uses a data driven workflow definition which is both easy to manage and powerful. After a transform is defined, jobs are expressed simply by specifying the input data and the desired output data. The transform infrastructure then executes only the necessary substeps to produce the final data products. The global execution cost of running the job is mini...

  8. ATLAS Job Transforms

    CERN Document Server

    Stewart, G A; The ATLAS collaboration; Maddocks, H J; Harenberg, T; Sandhoff, M; Sarrazin, B

    2013-01-01

    The need to run complex workflows for a high energy physics experiment such as ATLAS has always been present. However, as computing resources have become even more constrained, compared to the wealth of data generated by the LHC, the need to use resources efficiently and manage complex workflows within a single grid job have increased. In ATLAS, a new Job Transform framework has been developed that we describe in this paper. This framework manages the multiple execution steps needed to 'transform' one data type into another (e.g., RAW data to ESD to AOD to final ntuple) and also provides a consistent interface for the ATLAS production system. The new framework uses a data driven workflow definition which is both easy to manage and powerful. After a transform is defined, jobs are expressed simply by specifying the input data and the desired output data. The transform infrastructure then executes only the necessary substeps to produce the final data products. The global execution cost of running the job is mini...

  9. Job prioritization in LHCb

    CERN Document Server

    Castellani, G

    2007-01-01

    LHCb is one of the four high-energy experiments running in the near future at the Large Hadron Collider (LHC) at CERN. LHCb will try to answer some fundamental questions about the asymmetry between matter and anti-matter. The experiment is expected to produce about 2PB of data per year. Those will be distributed to several laboratories all over Europe and then analyzed by the Physics community. To achieve this target LHCb fully uses the Grid to reprocess, replicate and analyze data. The access to the Grid happens through LHCb's own distributed production and analysis system, DIRAC (Distributed Infrastructure with Remote Agent Control). Dirac implements the ‘pull’ job scheduling paradigm, where all the jobs are stored in a central task queues and then pulled via generic grid jobs called Pilot Agents. The whole LHCb community (about 600 people) is divided in sets of physicists, developers, production and software managers that have different needs about their jobs on the Grid. While a Monte Carlo simulation...

  10. Jobs Plan Highlights Education

    Science.gov (United States)

    Klein, Alyson

    2011-01-01

    President Barack Obama is putting new money to save educators' jobs and help states refurbish aging school facilities at the center of a nearly $450 billion plan to jump-start the sluggish economy. The author talks about the president's plan which is sure to face hurdles in a politically polarized Washington where one house of Congress is…

  11. Predicting Job Satisfaction.

    Science.gov (United States)

    Blai, Boris, Jr.

    Psychological theories about human motivation and accommodation to environment can be used to achieve a better understanding of the human factors that function in the work environment. Maslow's theory of human motivational behavior provided a theoretical framework for an empirically-derived method to predict job satisfaction and explore the…

  12. Enhancing Job Performance

    Science.gov (United States)

    Devlin, Patricia

    2011-01-01

    The impact of the Self-Determined Career Development Model (hereafter called the Self-Determined Career Model) on the job performance of four adults with moderate intellectual disability employed in competitive work settings was examined. Employees learned to set work-related goals, develop an action plan, implement the plan, and adjust their…

  13. Better Pay, More Jobs.

    Science.gov (United States)

    Gregory, Vicki L.; Wohlmuth, Sonia Ramirez

    2000-01-01

    Reports the results of the 1999 survey of library schools that investigated salaries and job placement. Highlights include status of graduates; average starting salaries; discrepancies between salaries of men and women; and views of graduates regarding the placement process and their library school preparation. (LRW)

  14. Stress Management: Job Stress

    Science.gov (United States)

    Healthy Lifestyle Stress management Job stress can be all-consuming — but it doesn't have to be. Address your triggers, keep perspective and ... stress triggers, it's often helpful to improve time management skills — especially if you tend to feel overwhelmed ...

  15. What is Job Satisfaction?

    Science.gov (United States)

    Locke. Edwin A.

    Despite considerable interest in the study of job satisfaction and dissatisfaction, our understanding of these phenomena has not increased substantially in the past 30 years. It is argued that a major reason for this lack of progress is the implicit conception of casuality accepted by most psychologists. It is called the policy of "correlation…

  16. Exports and Job Training

    OpenAIRE

    Bastos, Paulo; Silva, Joana; Proenca, Rafael

    2016-01-01

    This paper examines whether export participation matters for job training. The paper draws on longitudinal worker-firm data for Brazilian manufacturing, linked with detailed records on training activity from the main provider. The analysis uses industry-specific exchange rate movements to generate exogenous variation in export status at the firm-level. The findings indicate that export par...

  17. Proverbs, Ecclesiastes, Job

    DEFF Research Database (Denmark)

    Nielsen, Kirsten

    2007-01-01

    The article consists of a literary reading of three Old Testament wisdom books, Proverbs, Ecclesiastes and the Book of Job. The reading strategies employed are analysis of imagery and intertextual reading. The articles concludes in a presenatation of images of God in wisdom literature....

  18. Social Interactions in Job Satisfaction

    OpenAIRE

    Tumen, Semih; Zeydanli, Tugba

    2015-01-01

    The literature documents that job satisfaction is positively correlated with worker performance and pro- ductivity. We examine whether aggregate job satisfaction in a certain labor market environment can have an impact on individual-level job satisfaction. If the answer is yes, then policies targeted to increase job satisfaction can increase productivity not only directly, but through spillover externalities too. We seek an answer to this question using two different data sets from the United...

  19. Jobs from Agriculture in Afghanistan

    OpenAIRE

    Leao, Izabela; Ahmed, Mansur; Kar, Anuja

    2018-01-01

    The agriculture sector can play an important role in poverty reduction and sustained growth in Afghanistan, primarily through job creation, improved productivity, and inclusiveness. Using an 'agricultural jobs lens' and multidimensional approach, this report explores the sector’s direct and indirect roles in explaining the dynamics of rural employment. The report critically examines three dimensions. First, it evaluates the current jobs structure in rural areas and finds that rural jobs are c...

  20. The impact of job crafting on job demands, job resources, and well-being.

    Science.gov (United States)

    Tims, Maria; Bakker, Arnold B; Derks, Daantje

    2013-04-01

    This longitudinal study examined whether employees can impact their own well-being by crafting their job demands and resources. Based on the job demands-resources model, we hypothesized that employee job crafting would have an impact on work engagement, job satisfaction, and burnout through changes in job demands and job resources. Data was collected in a chemical plant at three time points with one month in between the measurement waves (N = 288). The results of structural equation modeling showed that employees who crafted their job resources in the first month of the study showed an increase in their structural and social resources over the course of the study (2 months). This increase in job resources was positively related to employee well-being (increased engagement and job satisfaction, and decreased burnout). Crafting job demands did not result in a change in job demands, but results revealed direct effects of crafting challenging demands on increases in well-being. We conclude that employee job crafting has a positive impact on well-being and that employees therefore should be offered opportunities to craft their own jobs.

  1. Work, Formal Participation, and Employee Outcomes.

    Science.gov (United States)

    Nightingale, Donald V.

    1981-01-01

    Discusses a study of the effects of work and expanded employee participation in decision making on four employee outcomes: alienation, job satisfaction, life satisfaction, and commitment. (Author/JOW)

  2. Job Satisfaction: An International Overview

    Science.gov (United States)

    Thurman, J. E.

    1977-01-01

    An international comparison of job satisfaction levels strongly suggests that the idea of job satisfaction as a gauge of well-being at the workplace should be rejected, but that workers' reactions to aspects of their jobs may be meaningful. The article presents data from national surveys of managers, workers, and trade unions to explain this…

  3. Job strain and male fertility.

    Science.gov (United States)

    Hjollund, Niels Henrik I; Bonde, Jens Peter E; Henriksen, Tine Brink; Giwercman, Aleksander; Olsen, Jørn

    2004-01-01

    Job strain, defined as high job demands and low job control, has not previously been explored as a possible determinant of male fertility. We collected prospective data on job strain among men, and describe the associations with semen quality and probability of conceiving a clinical pregnancy during a menstrual cycle. Danish couples (N = 399) who were trying to become pregnant for the first time were followed for up to 6 menstrual periods. All men collected semen samples, and a blood sample was drawn from both partners. Job demand and job control were measured by a self-administered questionnaire at entry, and in each cycle the participants recorded changes in job control or job demand during the previous 30 days. In adjusted analyses, no associations were found between any semen characteristic or sexual hormones and any job strain variable. The odds for pregnancy were not associated with job strain. Psychologic job strain encountered in normal jobs in Denmark does not seem to affect male reproductive function.

  4. Risk Aversion and Job Mobility

    NARCIS (Netherlands)

    van Huizen, T.M.; Alessie, Rob

    2016-01-01

    Job mobility is inherently risky as workers have limited ex ante information about the quality of outside jobs. Using a large longitudinal Dutch dataset, which includes data on risk preferences elicited through (incentivized) experiments, we examine the relation between risk aversion and job

  5. Job demands-resources model

    NARCIS (Netherlands)

    A.B. Bakker (Arnold); E. Demerouti (Eva)

    2013-01-01

    markdownabstract* The question of what causes job stress and what motivates people has received a lot of research attention during the past five decades. In this paper, we discuss Job Demands-Resources (JD-R) theory, which represents an extension of the Job Demands-Resources model (Bakker &

  6. Jobs for Two Million Workers.

    Science.gov (United States)

    VocEd, 1982

    1982-01-01

    The outlook for jobs in the computer industry is excellent for people with appropriate training. The shortage of computer personnel is expected to continue, resulting in higher wages, more job mobility, increasing job security and generally greater opportunities for two million Americans by 1990. (CT)

  7. Job Migration: A Collaborative Effort

    Science.gov (United States)

    Wagoner, Cynthia L.

    2012-01-01

    Music teachers often change jobs several times during their careers. Reasons for job changes vary, but regardless, these changes bring a different set of challenges. Sharing knowledge and learning are part and parcel of collaboration. So what if, as education professionals, music teachers decided to collaborate during job migrations? For all music…

  8. [Job satisfaction among Norwegian doctors].

    Science.gov (United States)

    Nylenna, Magne; Aasland, Olaf Gjerløw

    2010-05-20

    Doctors' job satisfaction has been discussed internationally in recent years based on reports of increasing professional dissatisfaction. We have studied Norwegian doctors' job satisfaction and their general satisfaction with life. A survey was conducted among a representative sample of practicing Norwegian doctors in 2008. The validated 10-item Job Satisfaction Scale was used to assess job satisfaction. 1,072 (65 %) doctors responded. They reported a mean job satisfaction of 5.3 on a scale from 1 (very dissatisfied) to 7 (very satisfied). Job satisfaction increased with increasing age. Private practice specialists reported the highest level of job satisfaction (5.8), and general practitioners reported higher job satisfaction (5.5) than hospital doctors (5.1). Among specialty groups, community doctors scored highest (5.6) and doctors in surgical disciplines lowest (5.0). While long working hours was negatively correlated with job satisfaction, the perception of being professionally updated and having part-time affiliation(s) in addition to a regular job were positively correlated with job satisfaction. 52.9 % of doctors reported a very high general satisfaction. Norwegian doctors have a high level of job satisfaction. Satisfaction with life in general is also high and at least in line with that in the Norwegian population.

  9. Job satisfaction among recreation practitioners

    Science.gov (United States)

    Erin Parks; Andrew Holdnak

    2002-01-01

    Job satisfaction among recreation professionals can be affected by many working conditions. This study has investigated the impact fourteen variables had on the job satisfaction of recreation practitioners. The sample consisted of 106 responses from members of the Resort and Commercial Recreation Association (RCRA). The results of the regression analysis for job...

  10. Modelling job support, job fit, job role and job satisfaction for school of nursing sessional academic staff.

    Science.gov (United States)

    Cowin, Leanne S; Moroney, Robyn

    2018-01-01

    Sessional academic staff are an important part of nursing education. Increases in casualisation of the academic workforce continue and satisfaction with the job role is an important bench mark for quality curricula delivery and influences recruitment and retention. This study examined relations between four job constructs - organisation fit, organisation support, staff role and job satisfaction for Sessional Academic Staff at a School of Nursing by creating two path analysis models. A cross-sectional correlational survey design was utilised. Participants who were currently working as sessional or casual teaching staff members were invited to complete an online anonymous survey. The data represents a convenience sample of Sessional Academic Staff in 2016 at a large school of Nursing and Midwifery in Australia. After psychometric evaluation of each of the job construct measures in this study we utilised Structural Equation Modelling to better understand the relations of the variables. The measures used in this study were found to be both valid and reliable for this sample. Job support and job fit are positively linked to job satisfaction. Although the hypothesised model did not meet model fit standards, a new 'nested' model made substantive sense. This small study explored a new scale for measuring academic job role, and demonstrated how it promotes the constructs of job fit and job supports. All four job constructs are important in providing job satisfaction - an outcome that in turn supports staffing stability, retention, and motivation.

  11. Hazard Management Dealt by Safety Professionals in Colleges: The Impact of Individual Factors

    Directory of Open Access Journals (Sweden)

    Tsung-Chih Wu

    2016-12-01

    Full Text Available Identifying, evaluating, and controlling workplace hazards are important functions of safety professionals (SPs. The purpose of this study was to investigate the content and frequency of hazard management dealt by safety professionals in colleges. The authors also explored the effects of organizational factors/individual factors on SPs’ perception of frequency of hazard management. The researchers conducted survey research to achieve the objective of this study. The researchers mailed questionnaires to 200 SPs in colleges after simple random sampling, then received a total of 144 valid responses (response rate = 72%. Exploratory factor analysis indicated that the hazard management scale (HMS extracted five factors, including physical hazards, biological hazards, social and psychological hazards, ergonomic hazards, and chemical hazards. Moreover, the top 10 hazards that the survey results identified that safety professionals were most likely to deal with (in order of most to least frequent were: organic solvents, illumination, other chemicals, machinery and equipment, fire and explosion, electricity, noise, specific chemicals, human error, and lifting/carrying. Finally, the results of one-way multivariate analysis of variance (MANOVA indicated there were four individual factors that impacted the perceived frequency of hazard management which were of statistical and practical significance: job tenure in the college of employment, type of certification, gender, and overall job tenure. SPs within colleges and industries can now discuss plans revolving around these five areas instead of having to deal with all of the separate hazards.

  12. One-eyed science: scientists, workplace reproductive hazards, and the right to work.

    Science.gov (United States)

    Messing, K

    1999-01-01

    Although most occupational health research has been done with male subjects and on jobs traditionally done by men, research on reproductive hazards is an exception. Researchers were late to realize that men were exposed to reproductive hazards. However, women's health problems have been excluded from the large scientific literature on reproductive hazards, which has concentrated on hazards to fetuses. This is true even of much feminist-oriented research. This neglect is attributable to a reluctance to emphasize health hazards for women at work, since identifying those specific to women may militate against women's employment. Union action is in fact necessary to protect access to employment and health at the same time.

  13. Hazard Analysis Database Report

    Energy Technology Data Exchange (ETDEWEB)

    GAULT, G.W.

    1999-10-13

    The Hazard Analysis Database was developed in conjunction with the hazard analysis activities conducted in accordance with DOE-STD-3009-94, Preparation Guide for US Department of Energy Nonreactor Nuclear Facility Safety Analysis Reports, for the Tank Waste Remediation System (TWRS) Final Safety Analysis Report (FSAR). The FSAR is part of the approved TWRS Authorization Basis (AB). This document describes, identifies, and defines the contents and structure of the TWRS FSAR Hazard Analysis Database and documents the configuration control changes made to the database. The TWRS Hazard Analysis Database contains the collection of information generated during the initial hazard evaluations and the subsequent hazard and accident analysis activities. The database supports the preparation of Chapters 3,4, and 5 of the TWRS FSAR and the USQ process and consists of two major, interrelated data sets: (1) Hazard Evaluation Database--Data from the results of the hazard evaluations; and (2) Hazard Topography Database--Data from the system familiarization and hazard identification.

  14. Formal Analysis Of Use Case Diagrams

    Directory of Open Access Journals (Sweden)

    Radosław Klimek

    2010-01-01

    Full Text Available Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed.

  15. Towards Formal Implementation of PUS Standard

    Science.gov (United States)

    Ilić, D.

    2009-05-01

    As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.

  16. SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS

    Directory of Open Access Journals (Sweden)

    Muhammad Nadeem ANWAR

    2009-07-01

    Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.

  17. Job Demands, Job Resources, and Job Performance in Japanese Workers: A Cross-sectional Study

    OpenAIRE

    NAKAGAWA, Yuko; INOUE, Akiomi; KAWAKAMI, Norito; TSUNO, Kanami; TOMIOKA, Kimiko; NAKANISHI, Mayuko; MAFUNE, Kosuke; HIRO, Hisanori

    2014-01-01

    This study investigated the cross-sectional association of job demands (i.e., psychological demands) and job resources (i.e., decision latitude, supervisor support, co-worker support, and extrinsic reward) with job performance. A total of 1,198 workers (458 males and 740 females) from a manufacturing company in Japan completed a self-administered questionnaire that included the Job Content Questionnaire, Effort-Reward Imbalance Questionnaire, World Health Organization Health and Work Performa...

  18. Software safety hazard analysis

    International Nuclear Information System (INIS)

    Lawrence, J.D.

    1996-02-01

    Techniques for analyzing the safety and reliability of analog-based electronic protection systems that serve to mitigate hazards in process control systems have been developed over many years, and are reasonably well understood. An example is the protection system in a nuclear power plant. The extension of these techniques to systems which include digital computers is not well developed, and there is little consensus among software engineering experts and safety experts on how to analyze such systems. One possible technique is to extend hazard analysis to include digital computer-based systems. Software is frequently overlooked during system hazard analyses, but this is unacceptable when the software is in control of a potentially hazardous operation. In such cases, hazard analysis should be extended to fully cover the software. A method for performing software hazard analysis is proposed in this paper

  19. DOE Hazardous Waste Program

    International Nuclear Information System (INIS)

    Eyman, L.D.; Craig, R.B.

    1985-01-01

    The goal of the DOE Hazardous Waste Program is to support the implementation and improvement of hazardous-chemical and mixed-radioactive-waste management such that public health, safety, and the environment are protected and DOE missions are effectively accomplished. The strategy for accomplishing this goal is to define the character and magnitude of hazardous wastes emanating from DOE facilities, determine what DOE resources are available to address these problems, define the regulatory and operational constraints, and develop programs and plans to resolve hazardous waste issues. Over the longer term the program will support the adaptation and application of technologies to meet hazardous waste management needs and to implement an integrated, DOE-wide hazardous waste management strategy. 1 reference, 1 figure

  20. The Complete Guide to Job Sharing.

    Science.gov (United States)

    Hohn, Marcia D.

    This booklet provides information on job sharing that resulted from the research and experience of the Merrimack Valley Job Sharing Project. An overview of the topic considers the need for job sharing, employer benefits, types of jobs shared, job division, benefits, employer costs and savings, financial considerations for job sharers, perspectives…

  1. Job Sharing--Opportunities or Headaches?

    Science.gov (United States)

    Leighton, Patricia

    1986-01-01

    Discusses the issue of job sharing as a new alternative available to workers. Topics covered include (1) a profile of job sharers, (2) response to job sharing, (3) establishing a job share, (4) job sharing in operation, and (5) legal analysis of job sharing. (CH)

  2. Table-top job analysis

    Energy Technology Data Exchange (ETDEWEB)

    1994-12-01

    The purpose of this Handbook is to establish general training program guidelines for training personnel in developing training for operation, maintenance, and technical support personnel at Department of Energy (DOE) nuclear facilities. TTJA is not the only method of job analysis; however, when conducted properly TTJA can be cost effective, efficient, and self-validating, and represents an effective method of defining job requirements. The table-top job analysis is suggested in the DOE Training Accreditation Program manuals as an acceptable alternative to traditional methods of analyzing job requirements. DOE 5480-20A strongly endorses and recommends it as the preferred method for analyzing jobs for positions addressed by the Order.

  3. Impact of financial pressure on unemployed job search, job find success and job quality

    NARCIS (Netherlands)

    Gerards, Ruud; Welters, Ricardo

    2016-01-01

    Research shows that financial pressure – implied as a consequence of benefit sanctions or exhaustion – prompts the unemployed to intensify their job search. However, there is less agreement about whether that intensified job search produces better quality job outcomes. Building on Self-Determination

  4. Radon and its hazards

    International Nuclear Information System (INIS)

    Chang Guilan

    2002-01-01

    The author describes basic physical and chemical properties of radon and the emanation, introduces methods of radon measurement, expounds the hazards of non-mine radon accumulation to the health of human being and the protection, as well as the history how the human being recognizes the hazards of radon through the specific data and examples, and finally proposes protecting measures to avoid the hazards of radon to the health of human being, and to do ecologic evaluation of environments

  5. Transport of hazardous goods

    International Nuclear Information System (INIS)

    1989-01-01

    The course 'Transport of hazardous goods' was held in Berlin in November 1988 in cooperation with the Bundesanstalt fuer Materialforschung und -pruefung. From all lecturs, two are recorded separately: 'Safety of tank trucks - requirements on the tank, development possibiities of active and passive safety' and 'Requirements on the transport of radioactive materials - possible derivations for other hazardous goods'. The other lectures deal with hazardous goods law, requirements on packinging, risk assessment, railroad transport, hazardous goods road network, insurance matters, EC regulations, and waste tourism. (HSCH) [de

  6. Disposal of hazardous wastes

    International Nuclear Information System (INIS)

    Barnhart, B.J.

    1978-01-01

    The Fifth Life Sciences Symposium entitled Hazardous Solid Wastes and Their Disposal on October 12 through 14, 1977 was summarized. The topic was the passage of the National Resources Conservation and Recovery Act of 1976 will force some type of action on all hazardous solid wastes. Some major points covered were: the formulation of a definition of a hazardous solid waste, assessment of long-term risk, list of specific materials or general criteria to specify the wastes of concern, Bioethics, sources of hazardous waste, industrial and agricultural wastes, coal wastes, radioactive wastes, and disposal of wastes

  7. Toward a formal ontology for narrative

    Directory of Open Access Journals (Sweden)

    Ciotti, Fabio

    2016-03-01

    Full Text Available In this paper the rationale and the first draft of a formal ontology for modeling narrative texts are presented. Building on the semiotic and structuralist narratology, and on the work carried out in the late 1980s by Giuseppe Gigliozzi in Italy, the focus of my research are the concepts of character and of narrative world/space. This formal model is expressed in the OWL 2 ontology language. The main reason to adopt a formal modeling approach is that I consider the purely probabilistic-quantitative methods (now widespread in digital literary studies inadequate. An ontology, on one hand provides a tool for the analysis of strictly literary texts. On the other hand (though beyond the scope of the present work, its formalization can also represent a significant contribution towards grounding the application of storytelling methods outside of scholarly contexts.

  8. A hydrodynamic formalism for Brownian systems

    International Nuclear Information System (INIS)

    Pina, E.; Rosales, M.A.

    1981-01-01

    A formal hydrodynamic approach to Brownian motion is presented and the corresponding equations are derived. Hydrodynamic quantities are expressed in terms of the physical variables characterizing the Brownian systems. Contact is made with the hydrodynamic model of Quantum Mechanics. (author)

  9. Infinitesimal Deformations of a Formal Symplectic Groupoid

    Science.gov (United States)

    Karabegov, Alexander

    2011-09-01

    Given a formal symplectic groupoid G over a Poisson manifold ( M, π 0), we define a new object, an infinitesimal deformation of G, which can be thought of as a formal symplectic groupoid over the manifold M equipped with an infinitesimal deformation {π_0 + \\varepsilon π_1} of the Poisson bivector field π 0. To any pair of natural star products {(ast,tildeast)} having the same formal symplectic groupoid G we relate an infinitesimal deformation of G. We call it the deformation groupoid of the pair {(ast,tildeast)} . To each star product with separation of variables {ast} on a Kähler-Poisson manifold M we relate another star product with separation of variables {hatast} on M. We build an algorithm for calculating the principal symbols of the components of the logarithm of the formal Berezin transform of a star product with separation of variables {ast} . This algorithm is based upon the deformation groupoid of the pair {(ast,hatast)}.

  10. Does Formal Environmental Knowledge Inform the Everyday ...

    African Journals Online (AJOL)

    How do senior secondary biology learners from three schools in Lesotho use this ... environmental literacy as a goal of science education is mentioned. ..... formal schooling context) or actions informed by informal information, which we ...

  11. Towards a Formal Treatment of Implicit Invocation

    National Research Council Canada - National Science Library

    Dingel, J

    1997-01-01

    .... A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concurrent systems Jon83,St(phi)91...

  12. Formal education of curriculum and instructional designers

    NARCIS (Netherlands)

    McKenney, Susan; Visscher-Voerman, Irene

    2013-01-01

    McKenney, S., & Visscher-Voerman, I. (2013). Formal education of curriculum and instructional designers. Educational Designer, 2(6). Available online: http://www.educationaldesigner.org/ed/volume2/issue6/article20/index.htm

  13. Transitions from Formal Education to the Workplace

    Science.gov (United States)

    Olson, Joann S.

    2014-01-01

    This chapter frames the transition to adulthood in the context of the moving from formal educational settings to the often less-structured learning that occurs in workplace settings. Although schooling may end, learning continues.

  14. Statistical Survey of Non-Formal Education

    Directory of Open Access Journals (Sweden)

    Ondřej Nývlt

    2012-12-01

    Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.

  15. Towards a Formal Model of Social Data

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao; Vatrapu, Ravi; Hussain, Abid

    , transform, analyse, and report social data from social media platforms such as Facebook and twitter. Formal methods, models and tools for social data are largely limited to graph theoretical approaches informing conceptual developments in relational sociology and methodological developments in social...... network analysis. As far as we know, there are no integrated modeling approaches to social data across the conceptual, formal and software realms. Social media analytics can be undertaken in two main ways - ”Social Graph Analytics” and ”Social Text Analytics” (Vatrapu, in press/2013). Social graph......, we exemplify the semantics of the formal model with real-world social data examples. Third, we briefly present and discuss the Social Data Analytics Tool (SODATO) that realizes the conceptual model in software and provisions social data for computational social science analysis based on the formal...

  16. Formalisms for reuse and systems integration

    CERN Document Server

    Rubin, Stuart

    2015-01-01

    Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.   This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integratio...

  17. El Salvador - Non-Formal Skills Development

    Data.gov (United States)

    Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...

  18. Film for Non-Formal Education.

    Science.gov (United States)

    Jenkins, Janet

    1979-01-01

    Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)

  19. Jobs for girls?

    DEFF Research Database (Denmark)

    Krogsgaard-Hansen, Lone; Hudson, Ray; Schech, Susanne

    1992-01-01

    , it was argued that "the majority of the area's prevailing social and economic difficulties are traced to the massive decline which the coal industry has suffered" (Durham County Council 1990, 41). Despite the devastation resulting from past colliery closures, these went largely uncontested, in part because...... of promises of alternative jobs. But these earlier efforts to counter the collapse of coal mining via the construction of an alternative branch plant economy had only had a limited effect. Thus the not entirely unexpected closure of the Consett works, which despite previous employment reductions was still far...... manufacturing to services, it was to service activities that were also dominated by the public sector, with central and local government and the services that these controlled and supplied providing the majority of such jobs. This was very much a legacy of both local and national political histories. At local...

  20. Talking about the job

    DEFF Research Database (Denmark)

    Holmgreen, Lise-Lotte; Strunck, Jeanne

    2016-01-01

    Talking about the job: The influence of management on leadership discourses Over the past decades, much research has been carried out to detail and analyse the uneven distribution of men and women in management positions (Acker 1990; Billing and Alvesson 2000; Österlind and Haake 2010). In Denmark......, this has been visible in banks and building societies where men would occupy the vast majority of senior positions, and women would be predominant in lower-ranking jobs, making it extremely difficult to climb the career ladder (Ellehave and Søndergaard 2006; Holmgreen 2009; Strunck 2013). One...... of the reasons for this is that gender inequalities continue to exist because they are deeply embedded in social structures and organisational processes, and not least upheld by the male managers whose positions are challenged by women’s entry into management (Schein 2007). In studies, this is referred...

  1. Jobs masonry in LHCb with elastic Grid Jobs

    Science.gov (United States)

    Stagni, F.; Charpentier, Ph

    2015-12-01

    In any distributed computing infrastructure, a job is normally forbidden to run for an indefinite amount of time. This limitation is implemented using different technologies, the most common one being the CPU time limit implemented by batch queues. It is therefore important to have a good estimate of how much CPU work a job will require: otherwise, it might be killed by the batch system, or by whatever system is controlling the jobs’ execution. In many modern interwares, the jobs are actually executed by pilot jobs, that can use the whole available time in running multiple consecutive jobs. If at some point the available time in a pilot is too short for the execution of any job, it should be released, while it could have been used efficiently by a shorter job. Within LHCbDIRAC, the LHCb extension of the DIRAC interware, we developed a simple way to fully exploit computing capabilities available to a pilot, even for resources with limited time capabilities, by adding elasticity to production MonteCarlo (MC) simulation jobs. With our approach, independently of the time available, LHCbDIRAC will always have the possibility to execute a MC job, whose length will be adapted to the available amount of time: therefore the same job, running on different computing resources with different time limits, will produce different amounts of events. The decision on the number of events to be produced is made just in time at the start of the job, when the capabilities of the resource are known. In order to know how many events a MC job will be instructed to produce, LHCbDIRAC simply requires three values: the CPU-work per event for that type of job, the power of the machine it is running on, and the time left for the job before being killed. Knowing these values, we can estimate the number of events the job will be able to simulate with the available CPU time. This paper will demonstrate that, using this simple but effective solution, LHCb manages to make a more efficient use of

  2. Formal solutions of inverse scattering problems. III

    International Nuclear Information System (INIS)

    Prosser, R.T.

    1980-01-01

    The formal solutions of certain three-dimensional inverse scattering problems presented in papers I and II of this series [J. Math. Phys. 10, 1819 (1969); 17 1175 (1976)] are obtained here as fixed points of a certain nonlinear mapping acting on a suitable Banach space of integral kernels. When the scattering data are sufficiently restricted, this mapping is shown to be a contraction, thereby establishing the existence, uniqueness, and continuous dependence on the data of these formal solutions

  3. Formalization of Many-Valued Logics

    DEFF Research Database (Denmark)

    Villadsen, Jørgen; Schlichtkrull, Anders

    2017-01-01

    Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

  4. Young People, Entrepreneurship And Non Formal Learning

    OpenAIRE

    Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria

    2016-01-01

    The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...

  5. Improved formalism for precision Higgs coupling fits

    Science.gov (United States)

    Barklow, Tim; Fujii, Keisuke; Jung, Sunghoon; Karl, Robert; List, Jenny; Ogawa, Tomohisa; Peskin, Michael E.; Tian, Junping

    2018-03-01

    Future e+e- colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e+e- data, based on the effective field theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e+e- colliders.

  6. Improved formalism for precision Higgs coupling fits

    International Nuclear Information System (INIS)

    Barklow, Tim; Peskin, Michael E.; Jung, Sunghoon; Tian, Junping

    2017-08-01

    Future e + e - colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e + e - data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e + e - colliders.

  7. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1996-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control......-based binding-time improvements' for let expressions. Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws....

  8. Steve Jobs: Nobel Laureate

    OpenAIRE

    Garry Jacobs

    2013-01-01

    The remarkable achievements of one of the world's greatest entrepreneurs offer profound insights into the fundamental nature of economy and essential missing links in prevailing economic theory. The career of Steve Jobs dramatically illustrates the central importance of human capital in modern economy and the almost incalculable contribution that a single individual can make to technological advancement, social innovation and wealth creation, while enhancing the lifestyle of hundreds of milli...

  9. Zambia Jobs Diagnostic : Analytics

    OpenAIRE

    Merotto, Dino

    2017-01-01

    One of the world’s most youthful countries, Zambia’s economy has been booming since the early 2000s on the back of record high copper prices and private sector investment response to the better business environment. But poverty rose from 2010 to 2015 and remains very high in rural areas. Economic transformation is underway with workers moving to off-farm jobs, but these are heavily skewed ...

  10. Job satisfaction and intention to quit the job.

    Science.gov (United States)

    Suadicani, P; Bonde, J P; Olesen, K; Gyntelberg, F

    2013-03-01

    Negative psychosocial work conditions may influence the motivation of employees to adhere to their job. To elucidate the perception of psychosocial work conditions among Danish hospital employees who would quit their job if economically possible and those who would not. A cross-sectional questionnaire study of hospital employees. The questionnaire gave information on elements of the psychosocial work environment (job demands, job influence, job support, management quality, exposure to bullying), general health status, sick-leave during the preceding year, life style (leisure time physical activity, alcohol intake and smoking habits), age, sex and profession. There were 1809 participants with a response rate of 65%. About a quarter (26%) reported that they would quit their job if economically possible; this rose to 40% among the 17% who considered their health mediocre or bad. In a final logistic regression model, six factors were identified as independently associated with the wish to quit or not: self-assessed health status, meaningfulness of the job, quality of collaboration among colleagues, age, trustworthiness of closest superior(s) and exposure to bullying. Based on these factors it was possible to identify groups with fewer than 15% wishing to quit, and similarly, groups where 50% or more would quit if this was economically possible. Psychosocial work conditions, in particular meaningfulness of the job, were independently associated with intention to quit the job if economically possible and relevant within different job categories.

  11. Formal Vulnerability Assessment of a maritime transportation system

    International Nuclear Information System (INIS)

    Berle, Oyvind; Asbjornslett, Bjorn Egil; Rice, James B.

    2011-01-01

    World trade increasingly relies on longer, larger and more complex supply chains, where maritime transportation is a vital backbone of such operations. Long and complex supply chain systems are more prone to being vulnerable, though through reviews, no specific methods have been found to assess vulnerabilities of a maritime transportation system. Most existing supply chain risk assessment frameworks require risks to be foreseen to be mitigated, rather than giving transportation systems the ability to cope with unforeseen threats and hazards. In assessing cost-efficiency, societal vulnerability versus industrial cost of measures should be included. This conceptual paper presents a structured Formal Vulnerability Assessment (FVA) methodology, seeking to transfer the safety-oriented Formal Safety Assessment (FSA) framework into the domain of maritime supply chain vulnerability. To do so, the following two alterations are made: (1) The focus of the assessment is defined to ensure the ability of the transportation to serve as a throughput mechanism of goods, and to survive and recover from disruptive events. (2) To cope with low-frequency high-impact disruptive scenarios that were not necessarily foreseen, two parallel tracks of risk assessments need to be pursued-the cause-focused risk assessment as in the FSA, and a consequence-focused failure mode approach.

  12. Application of Formal Methods in Software Engineering

    Directory of Open Access Journals (Sweden)

    Adriana Morales

    2011-12-01

    Full Text Available The purpose of this research work is to examine: (1 why are necessary the formal methods for software systems today, (2 high integrity systems through the methodology C-by-C –Correctness-by-Construction–, and (3 an affordable methodology to apply formal methods in software engineering. The research process included reviews of the literature through Internet, in publications and presentations in events. Among the Research results found that: (1 there is increasing the dependence that the nations have, the companies and people of software systems, (2 there is growing demand for software Engineering to increase social trust in the software systems, (3 exist methodologies, as C-by-C, that can provide that level of trust, (4 Formal Methods constitute a principle of computer science that can be applied software engineering to perform reliable process in software development, (5 software users have the responsibility to demand reliable software products, and (6 software engineers have the responsibility to develop reliable software products. Furthermore, it is concluded that: (1 it takes more research to identify and analyze other methodologies and tools that provide process to apply the Formal Software Engineering methods, (2 Formal Methods provide an unprecedented ability to increase the trust in the exactitude of the software products and (3 by development of new methodologies and tools is being achieved costs are not more a disadvantage for application of formal methods.

  13. Formality of the Chinese collective leadership.

    Science.gov (United States)

    Li, Haiying; Graesser, Arthur C

    2016-09-01

    We investigated the linguistic patterns in the discourse of four generations of the collective leadership of the Communist Party of China (CPC) from 1921 to 2012. The texts of Mao Zedong, Deng Xiaoping, Jiang Zemin, and Hu Jintao were analyzed using computational linguistic techniques (a Chinese formality score) to explore the persuasive linguistic features of the leaders in the contexts of power phase, the nation's education level, power duration, and age. The study was guided by the elaboration likelihood model of persuasion, which includes a central route (represented by formal discourse) versus a peripheral route (represented by informal discourse) to persuasion. The results revealed that these leaders adopted the formal, central route more when they were in power than before they came into power. The nation's education level was a significant factor in the leaders' adoption of the persuasion strategy. The leaders' formality also decreased with their increasing age and in-power times. However, the predictability of these factors for formality had subtle differences among the different types of leaders. These results enhance our understanding of the Chinese collective leadership and the role of formality in politically persuasive messages.

  14. Formal Ontologies and Uncertainty. In Geographical Knowledge

    Directory of Open Access Journals (Sweden)

    Matteo Caglioni

    2014-05-01

    Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study.  The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.

  15. Job hindrances, job resources, and safety performance: The mediating role of job engagement.

    Science.gov (United States)

    Yuan, Zhenyu; Li, Yongjuan; Tetrick, Lois E

    2015-11-01

    Job engagement has received widespread attention in organizational research but has rarely been empirically investigated in the context of safety. In the present study, we examined the mediating role of job engagement in the relationships between job characteristics and safety performance using self-reported data collected at a coal mining company in China. Most of our study hypotheses were supported. Job engagement partially mediated the relationships between job resources and safety performance dimensions. Theoretical and practical implications and directions for future research are also discussed. Copyright © 2015 Elsevier Ltd and The Ergonomics Society. All rights reserved.

  16. Job stressors and coping in health professions.

    Science.gov (United States)

    Heim, E

    1991-01-01

    In spite of their knowledge about stressors, health hazards and coping, health professionals are in general not aware of their own health risks. In an attempt to clarify the issue results of our own studies are compared to the relevant literature. A survey on 1,248 Swiss nurses confirmed the major stressors known: ethical conflicts about appropriate patient care, team conflicts, role ambiguity, workload and organizational deficits. In doctors workload and shortage of time, combined with specific responsibility in decision making, are most prominent. Nevertheless, job satisfaction is still high in both professions. Health hazards in doctors are considerable, although life expectancy has improved and is comparable to the general public, but still lower as compared to other professionals. Depression and substance abuse are related to higher suicide rates. The specific role strain of female doctors is responsible for health risks with an alarming 10 years lower life expectancy than in the general population. Little is known about specific health hazards in nurses, except for burnout. A lack of coping research in the field makes conclusions difficult. Our own studies show limited coping skills in nurses, but good buffering effect in 1,700 Swiss dentists.

  17. Avoiding the Hazards of Hazardous Waste.

    Science.gov (United States)

    Hiller, Richard

    1996-01-01

    Under a 1980 law, colleges and universities can be liable for cleanup of hazardous waste on properties, in companies, and related to stocks they invest in or are given. College planners should establish clear policy concerning gifts, investigate gifts, distance university from business purposes, sell real estate gifts quickly, consult a risk…

  18. Handbook of hazardous waste management

    International Nuclear Information System (INIS)

    Metry, A.A.

    1980-01-01

    The contents of this work are arranged so as to give the reader a detailed understanding of the elements of hazardous waste management. Generalized management concepts are covered in Chapters 1 through 5 which are entitled: Introduction, Regulations Affecting Hazardous Waste Management, Comprehensive Hazardous Waste Management, Control of Hazardous Waste Transportation, and Emergency Hazardous Waste Management. Chapters 6 through 11 deal with treatment concepts and are entitled: General Considerations for Hazardous Waste Management Facilities, Physical Treatment of Hazardous Wastes, Chemical Treatment of Hazardous Wastes, Biological Treatment of Hazardous Wastes, Incineration of Hazardous Wastes, and Hazardous Waste Management of Selected Industries. Chapters 12 through 15 are devoted to ultimate disposal concepts and are entitled: Land Disposal Facilities, Ocean Dumping of Hazardous Wastes, Disposal of Extremely Hazardous Wastes, and Generalized Criteria for Hazardous Waste Management Facilities

  19. Hazardous solvent substitution

    International Nuclear Information System (INIS)

    Twitchell, K.E.

    1995-01-01

    This article is an overview of efforts at INEL to reduce the generation of hazardous wastes through the elimination of hazardous solvents. To aid in their efforts, a number of databases have been developed and will become a part of an Integrated Solvent Substitution Data System. This latter data system will be accessible through Internet

  20. Relative Hazard Calculation Methodology

    International Nuclear Information System (INIS)

    DL Strenge; MK White; RD Stenner; WB Andrews

    1999-01-01

    The methodology presented in this document was developed to provide a means of calculating the RH ratios to use in developing useful graphic illustrations. The RH equation, as presented in this methodology, is primarily a collection of key factors relevant to understanding the hazards and risks associated with projected risk management activities. The RH equation has the potential for much broader application than generating risk profiles. For example, it can be used to compare one risk management activity with another, instead of just comparing it to a fixed baseline as was done for the risk profiles. If the appropriate source term data are available, it could be used in its non-ratio form to estimate absolute values of the associated hazards. These estimated values of hazard could then be examined to help understand which risk management activities are addressing the higher hazard conditions at a site. Graphics could be generated from these absolute hazard values to compare high-hazard conditions. If the RH equation is used in this manner, care must be taken to specifically define and qualify the estimated absolute hazard values (e.g., identify which factors were considered and which ones tended to drive the hazard estimation)

  1. Hazardous Waste Manifest System

    Science.gov (United States)

    EPA’s hazardous waste manifest system is designed to track hazardous waste from the time it leaves the generator facility where it was produced, until it reaches the off-site waste management facility that will store, treat, or dispose of the waste.

  2. Job longevity as a situational factor in job satisfaction.

    Science.gov (United States)

    Katz, R

    1978-06-01

    This study investigates the relationships between overall job satisfaction and the five task dimensions of skill variety, task identity, task significance, autonomy, and feedback-from-job for employees at different stages of their careers, as measured by their length of employment on their current jobs, as well as in their current organizations. Basically, the analysis shows that the strength of the relationships between job satisfaction and each of the task dimensions depends on both the job longevity and organizational longevity of the sampled individuals. For employees new to an organization, for example, only task significance is related positively to job satisfaction, while autonomy has a strongly negative correlation. The study presents other significant correlational differences and discusses the implications of its findings for task design, as well as for managing new employees. Approximately 3500 respondents from four different governments--two metropolitan, one county, and one state--participated in the collection of survey data.

  3. Preferences for and Barriers to Formal and Informal Athletic Training Continuing Education Activities

    Science.gov (United States)

    Armstrong, Kirk J.; Weidner, Thomas G.

    2011-01-01

    Context: Our previous research determined the frequency of participation and perceived effect of formal and informal continuing education (CE) activities. However, actual preferences for and barriers to CE must be characterized. Objective: To determine the types of formal and informal CE activities preferred by athletic trainers (ATs) and barriers to their participation in these activities. Design: Cross-sectional study. Setting: Athletic training practice settings. Patients or Other Participants: Of a geographically stratified random sample of 1000 ATs, 427 ATs (42.7%) completed the survey. Main Outcome Measure(s): As part of a larger study, the Survey of Formal and Informal Athletic Training Continuing Education Activities (FIATCEA) was developed and administered electronically. The FIATCEA consists of demographic characteristics and Likert scale items (1 = strongly disagree, 5 = strongly agree) about preferred CE activities and barriers to these activities. Internal consistency of survey items, as determined by Cronbach α, was 0.638 for preferred CE activities and 0.860 for barriers to these activities. Descriptive statistics were computed for all items. Differences between respondent demographic characteristics and preferred CE activities and barriers to these activities were determined via analysis of variance and dependent t tests. The α level was set at .05. Results: Hands-on clinical workshops and professional networking were the preferred formal and informal CE activities, respectively. The most frequently reported barriers to formal CE were the cost of attending and travel distance, whereas the most frequently reported barriers to informal CE were personal and job-specific factors. Differences were noted between both the cost of CE and travel distance to CE and all other barriers to CE participation (F1,411 = 233.54, P formal CE activities. The same barriers (eg, cost, travel distance) to formal CE appeared to be universal to all ATs. Informal CE was

  4. Offsite transportation hazards assessment

    International Nuclear Information System (INIS)

    Burnside, M.E.

    1997-01-01

    This report documents the emergency preparedness Hazards Assessment for the offsite transportation of hazardous material from the Hanford Site. The assessment is required by the US Department of Energy (DOE) Order 151.1. Offsite transportation accidents are categorized using the DOE system to assist communication within the DOE and assure that appropriate assistance is provided to the people in charge at the scene. The assistance will initially include information about the load and the potential hazards. Local authorities will use the information to protect the public following a transportation accident. This Hazards Assessment will focus on the material being transported from the Hanford Site. Shipments coming to Hanford are the responsibility of the shipper and the carrier and, therefore, are not included in this Hazards Assessment, unless the DOE elects to be the shipper of record

  5. Burnout and Connectedness among Australian Volunteers: A Test of the Job Demands-Resources Model

    Science.gov (United States)

    Lewig, Kerry A.; Xanthopoulou, Despoina; Bakker, Arnold B.; Dollard, Maureen F.; Metzer, Jacques C.

    2007-01-01

    This study used the Job Demands-Resources (JD-R) model, developed in the context of occupational well-being in the paid workforce, to examine the antecedents of burnout and connectedness in the formal volunteer rural ambulance officer vocation (N=487). Structural equation modeling using self-reports provide strong evidence for the central…

  6. Ontario Hydro's experience in implementing on-the-job training for chemical technicians

    International Nuclear Information System (INIS)

    Cooper, G.A.

    1996-01-01

    Since 1989, Ontario Hydro Nuclear has been developing and implementing formalized On-the-Job Training for qualifying its nuclear power plant chemical laboratory staff. This paper focuses on the process followed in designing, developing and implementing this training, with emphasis on the strengths and weaknesses of the program. 7 refs, 3 figs

  7. Are Green Jobs Real Jobs? The Case of Italy

    OpenAIRE

    Lavecchia, Luciano; Stagnaro, Carlo

    2010-01-01

    The European Union is strongly promoting the adoption of renewable energy sources (RES). This policy relies mostly on environmental reasons, but its promoters also claim that RES subsidies will result into the creation of a significant number of jobs. This papers takes into examination the case of Italian policies with regard to solar panels and wind turbines. The number of RES-related jobs is estimated and it is compared with the number of jobs that are displaced by higher energy prices, due...

  8. Job Matching and On-the-Job Training.

    OpenAIRE

    Barron, John M; Black, Dan A; Loewenstein, Mark A

    1989-01-01

    Conventional analysis predicts that workers pay part of their on-the-job training costs by accepting a lower starting wage and subsequently realize a return to this investment in the form of greater wage growth. Missing from the conventional treatment of on-the-job training is a discussion of the process by which heterogeneous worker s are matched to jobs requiring varying amounts of training. This matching process constitutes a key feature of the on-the-job training model that is presented i...

  9. Natural hazards science strategy

    Science.gov (United States)

    Holmes, Robert R.; Jones, Lucile M.; Eidenshink, Jeffery C.; Godt, Jonathan W.; Kirby, Stephen H.; Love, Jeffrey J.; Neal, Christina A.; Plant, Nathaniel G.; Plunkett, Michael L.; Weaver, Craig S.; Wein, Anne; Perry, Suzanne C.

    2012-01-01

    The mission of the U.S. Geological Survey (USGS) in natural hazards is to develop and apply hazard science to help protect the safety, security, and economic well-being of the Nation. The costs and consequences of natural hazards can be enormous, and each year more people and infrastructure are at risk. USGS scientific research—founded on detailed observations and improved understanding of the responsible physical processes—can help to understand and reduce natural hazard risks and to make and effectively communicate reliable statements about hazard characteristics, such as frequency, magnitude, extent, onset, consequences, and where possible, the time of future events.To accomplish its broad hazard mission, the USGS maintains an expert workforce of scientists and technicians in the earth sciences, hydrology, biology, geography, social and behavioral sciences, and other fields, and engages cooperatively with numerous agencies, research institutions, and organizations in the public and private sectors, across the Nation and around the world. The scientific expertise required to accomplish the USGS mission in natural hazards includes a wide range of disciplines that this report refers to, in aggregate, as hazard science.In October 2010, the Natural Hazards Science Strategy Planning Team (H–SSPT) was charged with developing a long-term (10-year) Science Strategy for the USGS mission in natural hazards. This report fulfills that charge, with a document hereinafter referred to as the Strategy, to provide scientific observations, analyses, and research that are critical for the Nation to become more resilient to natural hazards. Science provides the information that decisionmakers need to determine whether risk management activities are worthwhile. Moreover, as the agency with the perspective of geologic time, the USGS is uniquely positioned to extend the collective experience of society to prepare for events outside current memory. The USGS has critical statutory

  10. Hazard identification studies applied to oil pipelines

    Energy Technology Data Exchange (ETDEWEB)

    Savio, Augusto; Alpert, Melina L. [TECNA S.A., Buenos Aires (Argentina)], e-mail: asavio@tecna.com, e-mail: malpert@tecna.com

    2008-07-01

    In order to assess risks inherent to an Oil Pipeline, it is imperative to analyze what happens 'outside the process'. HAZID (HAZard IDentification) studies are mainly carried out for this purpose. HAZID is a formal study which identifies hazards and risks associated to an operation or facility and enable its acceptability assessment. It is a brainstorming exercise guided by a typical 'Checklist', divided into four Sections: External, Facilities and Health Hazards and Issues pertaining to Project Execution, which are further subdivided into Hazard Categories. For each Category, there are 'Guide-words' and 'Prompts'. Even if an Oil Pipeline Risk Assessment can be performed by means of the above referred 'Checklist', carrying out the actual process can become lengthy and annoying due to the lack of specificity. This work aims at presenting the most suitable 'Checklist' for the identification of Oil Pipeline Risk Assessment, although it could be used for Gas Pipeline Risk Assessment too. Prepared ad hoc, this list, is based on the spill causes established by CONCAWE (CONservation of Clean Air Water in Europe). Performing Oil Pipeline Risk Assessment by means of specially formulated Checklist enables the Study Team to easily identify risks, shortens execution time and provides both accuracy and specificity. (author)

  11. Fourier Series Formalization in ACL2(r

    Directory of Open Access Journals (Sweden)

    Cuong K. Chau

    2015-09-01

    Full Text Available We formalize some basic properties of Fourier series in the logic of ACL2(r, which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r. Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.

  12. Occupational Hazard Exposures and Depressive Symptoms of Pregnant Workers.

    Science.gov (United States)

    Yeh, Sherri S; Lee, Chien-Nan; Wu, Ying-Hsuan; Tu, Nai-Chi; Guo, Yue-Leon; Chen, Pau-Chung; Chen, Chi-Hsien

    2018-03-01

    The aim of this study was to explore the prevalence of exposure to occupational hazards and depressive mood with associated underlying risk factors among pregnant workers. Women at 12 weeks of gestation (n = 172) were recruited during regular prenatal screening. Data were obtained via questionnaires that explored job details and Edinburgh Postnatal Depression Scale. The most commonly encountered hazard was prolonged standing. The majority of women reported that the workplace provided no information on the safety or rights of pregnant women, but those exposed to at least four hazards had more access to such services (P workplace support were significantly associated with possible antenatal depressive symptoms. Pregnant workers are exposed to substantial levels of occupational hazards and may experience depressive symptoms; thus, their work conditions require monitoring and improvement.

  13. [Application of job demands-resources model in research on relationships between job satisfaction, job resources, individual resources and job demands].

    Science.gov (United States)

    Potocka, Adrianna; Waszkowska, Małgorzata

    2013-01-01

    The aim of this study was to explore the relationships between job demands, job resourses, personal resourses and job satisfaction and to assess the usefulness of the Job Demands-Resources (JD-R) model in the explanation of these phenomena. The research was based on a sample of 500 social workers. The "Psychosocial Factors" and "Job satisfaction" questionnaires were used to test the hypothesis. The results showed that job satisfaction increased with increasing job accessibility and personal resources (r = 0.44; r = 0.31; p job resources and job demands [F(1.474) = 4.004; F(1.474) = 4.166; p job satisfaction. Moreover, interactions between job demands and job resources [F(3,474) = 2.748; p job demands and personal resources [F(3.474) = 3.021; p job satisfaction. The post hoc tests showed that 1) in low job demands, but high job resources employees declared higher job satisfaction, than those who perceived them as medium (p = 0.0001) or low (p = 0.0157); 2) when the level of job demands was perceived as medium, employees with high personal resources declared significantly higher job satisfaction than those with low personal resources (p = 0.0001). The JD-R model can be used to investigate job satisfaction. Taking into account fundamental factors of this model, in organizational management there are possibilities of shaping job satisfaction among employees.

  14. An ideal job.

    Science.gov (United States)

    Leonard, Kurt J

    2012-01-01

    A brief personal history illustrates how fortunate I was to have stumbled into a career in plant pathology, which turned out to be the ideal job for me. Several of the people who steered me or facilitated my development in research on plant diseases are mentioned. Starting with my PhD research, I have had the good fortune to indulge a career-long fascination with epidemiology and genetics of disease resistance in plants, particularly coevolution of gene-for-gene host-pathogen systems. I hope that my example may inspire others of like minds to consider a research career in plant pathology.

  15. Measuring green jobs?

    DEFF Research Database (Denmark)

    Zandersen, Marianne; Martinsen, Louise

    2012-01-01

    The report reviews the different initiatives aiming to measure aspects of “green” sectors, jobs and technologies. The report discusses whether the statistics collected under the present initiatives aimed at measuring these aspects increase insights into the fundamental questions motivating...... the initiatives. An alternative framework is suggested, as it appears fundamentally impossible to make consistent frameworks for a division of the economy into “green” and “non-green” activities. The analysis has been carried out during the period September 2011 – March 2012 by Vista Analysis AS, Gaia Consulting...

  16. Hazard screening application guide

    International Nuclear Information System (INIS)

    1992-06-01

    The basic purpose of hazard screening is to group precesses, facilities, and proposed modifications according to the magnitude of their hazards so as to determine the need for and extent of follow on safety analysis. A hazard is defined as a material, energy source, or operation that has the potential to cause injury or illness in human beings. The purpose of this document is to give guidance and provide standard methods for performing hazard screening. Hazard screening is applied to new and existing facilities and processes as well as to proposed modifications to existing facilities and processes. The hazard screening process evaluates an identified hazards in terms of the effects on people, both on-site and off-site. The process uses bounding analyses with no credit given for mitigation of an accident with the exception of certain containers meeting DOT specifications. The process is restricted to human safety issues only. Environmental effects are addressed by the environmental program. Interfaces with environmental organizations will be established in order to share information

  17. Health effects of job insecurity

    OpenAIRE

    Green, F.

    2015-01-01

    Research has shown that job insecurity affects both mental and physical health, though the effects are lower when employees are easily re-employable. The detrimental effects of job insecurity can also be partly mitigated by employers allowing greater employee participation in workplace decision-making in order to ensure fair procedures. But as job insecurity is felt by many more people than just the unemployed, the negative health effects during recessions are multiplied and extend through th...

  18. Canadian nurse practitioner job satisfaction.

    Science.gov (United States)

    LaMarche, Kimberley; Tullai-McGuinness, Susan

    2009-01-01

    To examine the level of job satisfaction and its association with extrinsic and intrinsic job satisfaction characteristics among Canadian primary healthcare nurse practitioners (NPs). A descriptive correlational design was used to collect data on NPs' job satisfaction and on the factors that influence their job satisfaction. A convenience sample of licensed Canadian NPs was recruited from established provincial associations and special-interest groups. Data about job satisfaction were collected using two valid and reliable instruments, the Misener Nurse Practitioner Job Satisfaction Survey and the Minnesota Satisfaction Questionnaire. Descriptive statistics, Pearson correlation and regression analysis were used to describe the results. The overall job satisfaction for this sample ranged from satisfied to highly satisfied. The elements that had the most influence on overall job satisfaction were the extrinsic category of partnership/collegiality and the intrinsic category of challenge/autonomy. These findings were consistent with Herzberg's Dual Factor Theory of Job Satisfaction. The outcomes of this study will serve as a foundation for designing effective human health resource retention and recruitment strategies that will assist in enhancing the implementation and the successful preservation of the NP's role.

  19. Job share a consultant post.

    OpenAIRE

    Thornicroft, G.; Strathdee, G.

    1992-01-01

    Job sharing offers advantages to both employer and employee but it is still uncommon in medicine. Based on the experiences of two psychiatrists sharing a consultant post this article describes some of the problems in obtaining a job share. The most difficult part can be getting an interview, and once a post has been obtained the terms and conditions of service may have to be modified to suit job sharing. Getting on well with your job sharing partner and good communication will not only help o...

  20. Formal Modeling and Analysis of Timed Systems

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand; Niebert, Peter

    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of ...... systems, discrete time systems, timed languages, and real-time operating systems....... of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time......This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts...

  1. Formal Analysis of Graphical Security Models

    DEFF Research Database (Denmark)

    Aslanyan, Zaruhi

    , software components and human actors interacting with each other to form so-called socio-technical systems. The importance of socio-technical systems to modern societies requires verifying their security properties formally, while their inherent complexity makes manual analyses impracticable. Graphical...... models for security offer an unrivalled opportunity to describe socio-technical systems, for they allow to represent different aspects like human behaviour, computation and physical phenomena in an abstract yet uniform manner. Moreover, these models can be assigned a formal semantics, thereby allowing...... formal verification of their properties. Finally, their appealing graphical notations enable to communicate security concerns in an understandable way also to non-experts, often in charge of the decision making. This dissertation argues that automated techniques can be developed on graphical security...

  2. Formal verification of industrial control systems

    CERN Multimedia

    CERN. Geneva

    2015-01-01

    Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems. [1]: http://cern.ch/project-plc-formalmethods [2]: http://cern.ch/plcverif

  3. Formalizing Darwinism and inclusive fitness theory.

    Science.gov (United States)

    Grafen, Alan

    2009-11-12

    Inclusive fitness maximization is a basic building block for biological contributions to any theory of the evolution of society. There is a view in mathematical population genetics that nothing is caused to be maximized in the process of natural selection, but this is explained as arising from a misunderstanding about the meaning of fitness maximization. Current theoretical work on inclusive fitness is discussed, with emphasis on the author's 'formal Darwinism project'. Generally, favourable conclusions are drawn about the validity of assuming fitness maximization, but the need for continuing work is emphasized, along with the possibility that substantive exceptions may be uncovered. The formal Darwinism project aims more ambitiously to represent in a formal mathematical framework the central point of Darwin's Origin of Species, that the mechanical processes of inheritance and reproduction can give rise to the appearance of design, and it is a fitting ambition in Darwin's bicentenary year to capture his most profound discovery in the lingua franca of science.

  4. First order formalism for quantum gravity

    International Nuclear Information System (INIS)

    Gleiser, M.; Holman, R.; Neto, N.P.

    1987-05-01

    We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs

  5. Enhancing System Realisation in Formal Model Development

    DEFF Research Database (Denmark)

    Tran-Jørgensen, Peter Würtz Vinther

    and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using...... implementation. One way to realise the system’s software is by automatically generating it from the formal specification – a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code – especially while requiring automation...... of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration...

  6. Towards Formal Verification of a Separation Microkernel

    Science.gov (United States)

    Butterfield, Andrew; Sanan, David; Hinchey, Mike

    2013-08-01

    The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the cost and feasibility of doing a formal verification of such a kernel to the Common Criteria (CC) levels mandated by the Separation Kernel Protection Profile (SKPP). We are developing a Reference Specification of such a kernel, and are using higher-order logic (HOL) to construct formal models of this specification and key separation properties. We then plan to do a dry run of part of a formal proof of those properties using the Isabelle/HOL theorem prover.

  7. Rapidly converging path integral formalism. Pt. 1

    International Nuclear Information System (INIS)

    Bender, I.; Gromes, D.; Marquard, U.

    1990-01-01

    The action to be used in the path integral formalism is expanded in a systematic way in powers of the time spacing ε in order to optimize the convergence to the continuum limit. This modifies and extends the usual formalism in a transparent way. The path integral approximation to the Green function obtained by this method approaches the continuum Green function with a higher power of ε than the usual one. The general theoretical derivations are exemplified analytically for the harmonic oscillator and by Monte Carlo methods for the anharmonic oscillator. We also show how curvilinear coordinates and curved spaces can naturally be treated within this formalism. Work on field theory is in progress. (orig.)

  8. Automated Formal Verification for PLC Control Systems

    CERN Multimedia

    Fernández Adiego, Borja

    2014-01-01

    Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software. However, these techniques are still not widely applied in industry due to the complexity of building formal models, which represent the system and the formalization of requirement specifications. We propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g. CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in any of the languages described in the IEC 61131-3 standard (ST, IL, etc.) to different modeling languages of verification tools. This approach has been applied to CERN PLC programs validating the methodology.

  9. Applying the revised Chinese Job Content Questionnaire to assess psychosocial work conditions among Taiwan's hospital workers

    Directory of Open Access Journals (Sweden)

    Castillo Roberto

    2011-06-01

    Full Text Available Abstract Background For hospital accreditation and health promotion reasons, we examined whether the 22-item Job Content Questionnaire (JCQ could be applied to evaluate job strain of individual hospital employees and to determine the number of factors extracted from JCQ. Additionally, we developed an Excel module of self-evaluation diagnostic system for consultation with experts. Methods To develop an Excel-based self-evaluation diagnostic system for consultation to experts to make job strain assessment easier and quicker than ever, Rasch rating scale model was used to analyze data from 1,644 hospital employees who enrolled in 2008 for a job strain survey. We determined whether the 22-item Job Content Questionnaire (JCQ could evaluate job strain of individual employees in work sites. The respective item responding to specific groups' occupational hazards causing job stress was investigated by using skewness coefficient with its 95% CI through item-by-item analyses. Results Each of those 22 items on the questionnaire was examined to have five factors. The prevalence rate of Chinese hospital workers with high job strain was 16.5%. Conclusions Graphical representations of four quadrants, item-by-item bar chart plots and skewness 95% CI comparison generated in Excel can help employers and consultants of an organization focusing on a small number of key areas of concern for each worker in job strain.

  10. User Interface Technology for Formal Specification Development

    Science.gov (United States)

    Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

    1994-01-01

    Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

  11. Gender and sex differences in job status and hypertension.

    Science.gov (United States)

    Clougherty, Jane E; Eisen, Ellen A; Slade, Martin D; Kawachi, Ichiro; Cullen, Mark R

    2011-01-01

    Studies have shown greater health risks associated with blue-collar manufacturing employment for women than men. It remains challenging, however, to distinguish gendered job status (affected by family composition and other personal characteristics) from sex-linked biological differences influencing physiological response to workplace physical hazards. We examined the effects of hourly (blue-collar) status on incident hypertension among men and women, using health claims data for 14, 618 white- and blue-collar aluminium manufacturing employees in eight US states. To explore gender differences in job status, we developed sex-stratified propensity score models identifying key socioeconomic predictors of hourly status for men and women. To examine the effects of hourly employment on hypertension risk, after adjusting for gender differences in job status, we applied time-weighted logistic regression models, stratified by propensity score, with additional adjustment for socioeconomic confounders. Family structure (partnership, parity) influenced job status for both sexes; single mothers were more likely to hold hourly jobs (OR 2.02; 95% CI 1.37 to 2.97) and partnered men with children less likely (OR 0.68; 95% CI 0.56 to 0.83). Education, age at hire and race influenced job status for both sexes. The effect of hourly status on hypertension was significant only among women predicted to be hourly (OR 1.78; 95% CI 1.34 to 2.35). Our results indicate significant risks of hypertension associated with hourly status for women, possibly exacerbated by sociodemographic factors predicting hourly status (eg, single parenthood, low education). Greater attention to gender differences in job status, and finer exploration of sex-linked biological differences influencing responsivity to workplace exposures, is warranted.

  12. Infinitesimal deformations of a formal symplectic groupoid

    OpenAIRE

    Karabegov, Alexander

    2010-01-01

    Given a formal symplectic groupoid $G$ over a Poisson manifold $(M, \\pi_0)$, we define a new object, an infinitesimal deformation of $G$, which can be thought of as a formal symplectic groupoid over the manifold $M$ equipped with an infinitesimal deformation $\\pi_0 + \\epsilon \\pi_1$ of the Poisson bivector field $\\pi_0$. The source and target mappings of a deformation of $G$ are deformations of the source and target mappings of $G$. To any pair of natural star products $(\\ast, \\tilde\\ast)$ ha...

  13. Keldysh formalism for multiple parallel worlds

    International Nuclear Information System (INIS)

    Ansari, M.; Nazarov, Y. V.

    2016-01-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  14. Keldysh formalism for multiple parallel worlds

    Science.gov (United States)

    Ansari, M.; Nazarov, Y. V.

    2016-03-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  15. Formal Concept Analysis for Information Retrieval

    OpenAIRE

    Qadi, Abderrahim El; Aboutajedine, Driss; Ennouary, Yassine

    2010-01-01

    In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape of a lattice of concepts, the answers provided by a search engine. We proposed for the IR an incremental algorithm based on Galois lattice. This algorithm allows a formal clustering of the data sources, and the results which it turns over are classified by ...

  16. A formalization of the flutter shutter

    Science.gov (United States)

    Tendero, Yohann; Rougé, Bernard; Morel, Jean-Michel

    2012-09-01

    Acquiring good quality images of moving objects by a digital camera remains a valid question. If the velocity of the photographed object is not known, it is virtually impossible to tune an optimal exposure time. For this reason the recent Agrawal et al. flutter shutter apparatus has generated much interest. In this communication, we propose a mathematical formalization of a general flutter shutter method, also permitting non-binary shutter sequences. Thanks to this formalization, the question of the optimal flutter shutter code can be defined and solved. The method gives analytic formulas for the best attainable SNR for the restored image. It also gives a way to compute optimal flutter shutter codes.

  17. Formal Institutions and Subjective Well-Being

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross-country stud......A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross...

  18. Improved formalism for precision Higgs coupling fits

    Energy Technology Data Exchange (ETDEWEB)

    Barklow, Tim; Peskin, Michael E. [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Fujii, Keisuke; Ogawa, Tomohisa [High Energy Accelerator Research Organization (KEK), Tsukuba, Ibaraki (Japan); Jung, Sunghoon [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Seoul National Univ. (Korea, Republic of). Dept. of Physics and Astronomy; Karl, Robert; List, Jenny [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Tian, Junping [Tokyo Univ. (Japan). International Center for Elementary Particle Physics (ICEPP)

    2017-08-15

    Future e{sup +}e{sup -} colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e{sup +}e{sup -} data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e{sup +}e{sup -} colliders.

  19. A Mathematical Account of the NEGF Formalism

    DEFF Research Database (Denmark)

    Cornean, Decebal Horia; Moldoveanu, Valeriu; Pillet, Claude-Alain

    2018-01-01

    The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting......The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non...

  20. Towards formalization of inspection using petrinets

    International Nuclear Information System (INIS)

    Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.

    2014-01-01

    Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)

  1. Keldysh formalism for multiple parallel worlds

    Energy Technology Data Exchange (ETDEWEB)

    Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl [Delft University of Technology, Kavli Institute of Nanoscience (Netherlands)

    2016-03-15

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  2. Educación no formal

    Science.gov (United States)

    Tignanelli, H.

    Se comentan en esta comunicación, las principales contribuciones realizadas en el campo de la educación en astronomía en los niveles primario, secundario y terciario, como punto de partida para la discusión de la actual inserción de los contenidos astronómicos en los nuevos contenidos curriculares de la EGB - Educación General Básica- y Polimodal, de la Reforma Educativa. En particular, se discuten los alcances de la educación formal y no formal, su importancia para la capacitación de profesores y maestros, y perspectivas a futuro.

  3. MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

    Science.gov (United States)

    Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

    2015-01-01

    The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

  4. Augmenting Reality and Formality of Informal and Non-Formal Settings to Enhance Blended Learning

    Science.gov (United States)

    Pérez-Sanagustin, Mar; Hernández-Leo, Davinia; Santos, Patricia; Kloos, Carlos Delgado; Blat, Josep

    2014-01-01

    Visits to museums and city tours have been part of higher and secondary education curriculum activities for many years. However these activities are typically considered "less formal" when compared to those carried out in the classroom, mainly because they take place in informal or non-formal settings. Augmented Reality (AR) technologies…

  5. The Interrelatedness of Formal, Non-Formal and Informal Learning: Evidence from Labour Market Program Participants

    Science.gov (United States)

    Cameron, Roslyn; Harrison, Jennifer L.

    2012-01-01

    Definitions, differences and relationships between formal, non-formal and informal learning have long been contentious. There has been a significant change in language and reference from adult education to what amounts to forms of learning categorised by their modes of facilitation. Nonetheless, there is currently a renewed interest in the…

  6. Digital Resource Developments for Mathematics Education Involving Homework across Formal, Non-Formal and Informal Settings

    Science.gov (United States)

    Radovic, Slaviša; Passey, Don

    2016-01-01

    The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…

  7. Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam

    NARCIS (Netherlands)

    Lensink, B.W.; Pham, T.T.T.

    2007-01-01

    This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related

  8. Probabilistic seismic hazard assessment of southern part of Ghana

    Science.gov (United States)

    Ahulu, Sylvanus T.; Danuor, Sylvester Kojo; Asiedu, Daniel K.

    2018-05-01

    This paper presents a seismic hazard map for the southern part of Ghana prepared using the probabilistic approach, and seismic hazard assessment results for six cities. The seismic hazard map was prepared for 10% probability of exceedance for peak ground acceleration in 50 years. The input parameters used for the computations of hazard were obtained using data from a catalogue that was compiled and homogenised to moment magnitude (Mw). The catalogue covered a period of over a century (1615-2009). The hazard assessment is based on the Poisson model for earthquake occurrence, and hence, dependent events were identified and removed from the catalogue. The following attenuation relations were adopted and used in this study—Allen (for south and eastern Australia), Silva et al. (for Central and eastern North America), Campbell and Bozorgnia (for worldwide active-shallow-crust regions) and Chiou and Youngs (for worldwide active-shallow-crust regions). Logic-tree formalism was used to account for possible uncertainties associated with the attenuation relationships. OpenQuake software package was used for the hazard calculation. The highest level of seismic hazard is found in the Accra and Tema seismic zones, with estimated peak ground acceleration close to 0.2 g. The level of the seismic hazard in the southern part of Ghana diminishes with distance away from the Accra/Tema region to a value of 0.05 g at a distance of about 140 km.

  9. Probabilistic seismic hazard assessment of southern part of Ghana

    Science.gov (United States)

    Ahulu, Sylvanus T.; Danuor, Sylvester Kojo; Asiedu, Daniel K.

    2017-12-01

    This paper presents a seismic hazard map for the southern part of Ghana prepared using the probabilistic approach, and seismic hazard assessment results for six cities. The seismic hazard map was prepared for 10% probability of exceedance for peak ground acceleration in 50 years. The input parameters used for the computations of hazard were obtained using data from a catalogue that was compiled and homogenised to moment magnitude (Mw). The catalogue covered a period of over a century (1615-2009). The hazard assessment is based on the Poisson model for earthquake occurrence, and hence, dependent events were identified and removed from the catalogue. The following attenuation relations were adopted and used in this study—Allen (for south and eastern Australia), Silva et al. (for Central and eastern North America), Campbell and Bozorgnia (for worldwide active-shallow-crust regions) and Chiou and Youngs (for worldwide active-shallow-crust regions). Logic-tree formalism was used to account for possible uncertainties associated with the attenuation relationships. OpenQuake software package was used for the hazard calculation. The highest level of seismic hazard is found in the Accra and Tema seismic zones, with estimated peak ground acceleration close to 0.2 g. The level of the seismic hazard in the southern part of Ghana diminishes with distance away from the Accra/Tema region to a value of 0.05 g at a distance of about 140 km.

  10. Hydrotreater/Distillation Column Hazard Analysis Report Rev. 2

    Energy Technology Data Exchange (ETDEWEB)

    Lowry, Peter P. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Wagner, Katie A. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States)

    2016-04-15

    This project Hazard and Risk Analysis Report contains the results of several hazard analyses and risk assessments. An initial assessment was conducted in 2012, which included a multi-step approach ranging from design reviews to a formal What-If hazard analysis. A second What-If hazard analysis was completed during February 2013 to evaluate the operation of the hydrotreater/distillation column processes to be installed in a process enclosure within the Process Development Laboratory West (PDL-West) facility located on the PNNL campus. The qualitative analysis included participation of project and operations personnel and applicable subject matter experts. The analysis identified potential hazardous scenarios, each based on an initiating event coupled with a postulated upset condition. The unmitigated consequences of each hazardous scenario were generally characterized as a process upset; the exposure of personnel to steam, vapors or hazardous material; a spray or spill of hazardous material; the creation of a flammable atmosphere; or an energetic release from a pressure boundary.

  11. Steve Jobs: Nobel Laureate

    Directory of Open Access Journals (Sweden)

    Garry Jacobs

    2013-05-01

    Full Text Available The remarkable achievements of one of the world's greatest entrepreneurs offer profound insights into the fundamental nature of economy and essential missing links in prevailing economic theory. The career of Steve Jobs dramatically illustrates the central importance of human capital in modern economy and the almost incalculable contribution that a single individual can make to technological advancement, social innovation and wealth creation, while enhancing the lifestyle of hundreds of millions of people. Jobs demonstrated that the real basis of economic value is providing valuable products and services that fulfill human needs and aspirations, not unregulated markets and financial speculation. His apparent failures point to the dual nature of uncertainty that presides over all human activity - both the ever present threat of error and the untold opportunities hidden behind the veil. Widely regarded as a genius for inventing better products, his greatest commercial achievement has been in recognizing the central importance of services in modern society and fashioning integrated social service systems within which products act as an enabling technology.

  12. Nuclear energy and jobs

    International Nuclear Information System (INIS)

    Goldfinger, N.

    1976-01-01

    Mr. Goldfinger, Research Director of AFL-CIO, examines the problem of energy in general, nuclear in particular, and the employment relationship. The energy shortages in the U.S. and its dependence on oil are cited. Directly connected with this serious problem relating to energy are jobs, income, and living standards. If energy is not available, industries will be unable to expand to meet the needs of the growing population; and prices of goods will rise. From an evaluation of what experts have said, Mr. Goldfinger concludes that increased coal production and better coal technology cannot meet energy demands; so the sharp increase both in volume and as a percentage of total energy needed in the future will have to come from nuclear power. Development of alternative sources is necessary, he feels, and intense research on these is needed now. The employment impact in the nuclear energy scenario is analyzed according to the trades involved. It is estimated that 1.5 million jobs in the nuclear industry would be open by the year 2000 if nuclear is to provide one-fourth of energy supplies. The employment picture, assuming abandonment of nuclear energy, is then discussed

  13. Hazardous Materials Management and Emergency Response training Center needs assessment

    International Nuclear Information System (INIS)

    McGinnis, K.A.; Bolton, P.A.; Robinson, R.K.

    1993-09-01

    For the Hanford Site to provide high-quality training using simulated job-site situations to prepare the 4,000 Site workers and 500 emergency responders for known and unknown hazards a Hazardous Materials Management and Emergency Response Training Center is needed. The center will focus on providing classroom lecture as well as hands-on, realistic training. The establishment of the center will create a partnership among the US Department of Energy; its contractors; labor; local, state, and tribal governments; and Xavier and Tulane Universities of Louisiana. This report presents the background, history, need, benefits, and associated costs of the proposed center

  14. Good Jobs, Bad Jobs: Workers' Evaluations in Five Countries.

    Science.gov (United States)

    Ritter, Joseph A.; Anker, Richard

    2002-01-01

    A study of workers from Argentina (n=2,920), Brazil (n=4,000), Chile (n=1,188), Hungary (1,000), and the Ukraine (n=8,099) examined relationships between job satisfaction and employee and employer characteristics. Satisfaction was related to job security, perceptions of workplace safety, higher education, and employer attitudes. (Contains 17…

  15. Religiousness in times of job insecurity: job demand or resource?

    NARCIS (Netherlands)

    Schreurs, B.; van Emmerik, H.; De Cuyper, N.; Probst, T.; van den Heuvel, M.; Demerouti, E.

    2014-01-01

    Purpose - Departing from the job demands resources model, the purpose of this paper is to investigate whether religion, defined as strength of religious faith, can be viewed as resource or as demand. More specifically, the authors addressed the question as to how job insecurity and religion interact

  16. Religiousness in times of job insecurity : job demand or resource?

    NARCIS (Netherlands)

    Schreurs, B.H.J.; Emmerik, van I.J.H.; Cuyper, De N.; Probst, T.; van den Heuvel, Machteld; Demerouti, E.

    2014-01-01

    Purpose : Departing from the job demands resources model, the purpose of this paper is to investigate whether religion, defined as strength of religious faith, can be viewed as resource or as demand. More specifically, the authors addressed the question as to how job insecurity and religion interact

  17. Job satisfaction and job performance – impacts on human capital

    OpenAIRE

    Gotvassli, Kjell-Åge; Haugset, Anne Sigrid

    2010-01-01

    Within macroeconomics it is a well established point of view that investments in human capital is important for the economic growth of a region. In this paper we will look at the connection between job satisfaction and job performance and its impact on the “use” of human capital.

  18. Physician job satisfaction related to actual and preferred job size

    NARCIS (Netherlands)

    Schmit Jongbloed, Lodewijk J.; Cohen-Schotanus, Janke; Borleffs, Jan C. C.; Stewart, Roy E.; Schonrock-Adema, Johanna

    2017-01-01

    Background: Job satisfaction is essential for physicians' well-being and patient care. The work ethic of long days and hard work that has been advocated for decades is acknowledged as a threat for physicians' job satisfaction, well-being, and patient safety. Our aim was to determine the actual and

  19. Job Analysis, Job Descriptions, and Performance Appraisal Systems.

    Science.gov (United States)

    Sims, Johnnie M.; Foxley, Cecelia H.

    1980-01-01

    Job analysis, job descriptions, and performance appraisal can benefit student services administration in many ways. Involving staff members in the development and implementation of these techniques can increase commitment to and understanding of the overall objectives of the office, as well as communication and cooperation among colleagues.…

  20. Jobs masonry in LHCb with elastic Grid Jobs

    CERN Document Server

    Stagni, F

    2015-01-01

    In any distributed computing infrastructure, a job is normally forbidden to run for an indefinite amount of time. This limitation is implemented using different technologies, the most common one being the CPU time limit implemented by batch queues. It is therefore important to have a good estimate of how much CPU work a job will require: otherwise, it might be killed by the batch system, or by whatever system is controlling the jobs' execution. In many modern interwares, the jobs are actually executed by pilot jobs, that can use the whole available time in running multiple consecutive jobs. If at some point the available time in a pilot is too short for the execution of any job, it should be released, while it could have been used efficiently by a shorter job. Within LHCbDIRAC, the LHCb extension of the DIRAC interware, we developed a simple way to fully exploit computing capabilities available to a pilot, even for resources with limited time capabilities, by adding elasticity to production MonteCarlo (MC) si...

  1. Job Stress, Job Dissatisfaction and Stress Related Illnesses Among ...

    African Journals Online (AJOL)

    The aim of this study was to explore the relationship between self-reported job stress and job dissatisfaction and the prevalence of stress related illnesses and risk factors amongst educators. A cross-sectional survey was conducted in a representative sample of 21,307 educators from public schools in South Africa.

  2. Perceived Job Insecurity, Job Satisfaction And Intention To Quit ...

    African Journals Online (AJOL)

    This study examined the relationships between perceived job insecurity, job satisfaction and intention to quit among employees of selected banks in Nigeria. A total of two hundred and nine (n = 209) randomly selected employees of Guaranty Trust Bank, Oceanic International Bank, Zenith Bank, First Bank of Nigeria, Union ...

  3. Job Searchers, Job Matches and the Elasticity of Matching

    NARCIS (Netherlands)

    Broersma, L.; van Ours, J.C.

    1998-01-01

    This paper stresses the importance of a specification of the matching function in which the measure of job matches corresponds to the measure of job searchers. In many empirical studies on the matching function this requirement has not been fulfilled because it is difficult to find information about

  4. Home ownership, job duration, and wages

    DEFF Research Database (Denmark)

    Munch, Jakob Roland; Rosholm, Michael; Svarer, Michael

    2008-01-01

    We investigate the impact of home ownership on individual job mobility and wages in Denmark. We find that home ownership has a negative impact on job-to-job mobility both in terms of transition into new local jobs and new jobs outside the local labor market. In addition, there is a clear negative...

  5. Home Ownership, Job Duration, and Wages

    DEFF Research Database (Denmark)

    Munch, Jakob Roland; Rosholm, Michael; Svarer, Michael

    We investigate the impact of home ownership on individual job mobility and wages in Denmark. We find that home ownership has a negative impact on job-to-job mobility both in terms of transition into new local jobs and new jobs outside the local labour market. In addition, there is a clear negative...

  6. Home Ownership, Job Duration, and Wages

    DEFF Research Database (Denmark)

    Munch, Jakob Roland; Rosholm, Michael; Svarer, Michael

    We investigate the impact of home ownership on individual job mobility and wages in Denmark. We find that home ownership has a negative impact on job-to-job mobilityboth in terms of transition into new local jobs and new jobs outside the local labourmarket. In addition, there is a clear negative...

  7. Job satisfaction amongst agricultural extension personnel in ...

    African Journals Online (AJOL)

    something about organization and some psychological factors as well as job satisfaction. Job satisfaction broadly is considered to be as attitude of a person reflecting the degree to which his/her important needs are satisfied by this job. To study the job satisfaction level and factors associated with job satisfaction of ...

  8. Job Attitudes of Agricultural Middle Managers

    OpenAIRE

    Bitsch, Vera

    2006-01-01

    The paper analyzes middle managers' job attitudes, in particular job satisfaction, based on case studies. Employees' job satisfaction is expected to reduce human resource management risks, leading to higher loyalty, organizational commitment and motivation and resulting in less turnover. Components of job satisfaction include achievement, recognition, work itself, job security, supervision, interpersonal relationships, compensation, organization, personal life and working conditions. They cau...

  9. Automation and Job Satisfaction among Reference Librarians.

    Science.gov (United States)

    Whitlatch, Jo Bell

    1991-01-01

    Discussion of job satisfaction and the level of job performance focuses on the effect of automation on job satisfaction among reference librarians. The influence of stress is discussed, a job strain model is explained, and examples of how to design a job to reduce the stress caused by automation are given. (12 references) (LRW)

  10. Job disamenities, job satisfaction, and on-the-job search: is there a nexus?

    OpenAIRE

    Petri Böckerman; Pekka Ilmakunnas

    2005-01-01

    This study explores the potential role of adverse working conditions at the workplace in the determination of on-the-job search in the Finnish labour market. The results reveal that workers currently facing adverse working conditions have greater intentions to switch jobs and they are also more willing to stop working completely. In addition, those workers search new matches more frequently. There is evidence that adverse working conditions consistently increase the level of job dissatisfacti...

  11. The Effect Working Environment, Job Characteristic and Job Motivation to Job Satisfaction at Lecture Jambi Universitas

    OpenAIRE

    Rosmiati, Rosmiati; Ekawarna, Ekawarna; Haryanto, Eddy

    2017-01-01

    The objective of this research is to obtain information on the effect of working environment, job Characteristic and job motivation to job satisfaction. The population of this research is the Lecture Jambi University. The total number of the research sample was 273 Official Member of Lecture Jambi University and they were taken randomly. Data analysis technique was used path analisys with SPSS and LISREL program.The formulation of this research are: 1) Is the work environment (X1) directly in...

  12. Flood Hazard Area

    Data.gov (United States)

    Earth Data Analysis Center, University of New Mexico — The National Flood Hazard Layer (NFHL) data incorporates all Digital Flood Insurance Rate Map(DFIRM) databases published by FEMA, and any Letters Of Map Revision...

  13. Flood Hazard Boundaries

    Data.gov (United States)

    Earth Data Analysis Center, University of New Mexico — The National Flood Hazard Layer (NFHL) data incorporates all Digital Flood Insurance Rate Map(DFIRM) databases published by FEMA, and any Letters Of Map Revision...

  14. Introduction: Hazard mapping

    Science.gov (United States)

    Baum, Rex L.; Miyagi, Toyohiko; Lee, Saro; Trofymchuk, Oleksandr M

    2014-01-01

    Twenty papers were accepted into the session on landslide hazard mapping for oral presentation. The papers presented susceptibility and hazard analysis based on approaches ranging from field-based assessments to statistically based models to assessments that combined hydromechanical and probabilistic components. Many of the studies have taken advantage of increasing availability of remotely sensed data and nearly all relied on Geographic Information Systems to organize and analyze spatial data. The studies used a range of methods for assessing performance and validating hazard and susceptibility models. A few of the studies presented in this session also included some element of landslide risk assessment. This collection of papers clearly demonstrates that a wide range of approaches can lead to useful assessments of landslide susceptibility and hazard.

  15. Hazardous Air Pollutants

    Science.gov (United States)

    ... Search Main menu Environmental Topics Air Bed Bugs Chemicals and Toxics Environmental Information by Location Greener Living Health Land, ... regulate toxic air pollutants, also known as air toxics, from categories of industrial facilities in two phases . About Hazardous Air Pollutants ...

  16. Natural Hazards Image Database

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — Photographs and other visual media provide valuable pre- and post-event data for natural hazards. Research, mitigation, and forecasting rely on visual data for...

  17. Hazardous Waste Research Center

    Data.gov (United States)

    Federal Laboratory Consortium — The U.S. Army Engineer Waterways Experiment Station (WES) is playing a major role in development of technologies for cleanup of toxic and hazardous waste in military...

  18. Health Hazard Evaluations

    Science.gov (United States)

    ... May 1, 2018 Content source: National Institute for Occupational Safety and Health Division of Surveillance, Hazard Evaluation, and Field Studies ... Fear Act OIG 1600 Clifton Road Atlanta , GA 30329-4027 ...

  19. What Are Volcano Hazards?

    Science.gov (United States)

    ... Sheet 002-97 Revised March 2008 What Are Volcano Hazards? Volcanoes give rise to numerous geologic and ... as far as 15 miles from the volcano. Volcano Landslides A landslide or debris avalanche is a ...

  20. Hazards from aircraft

    International Nuclear Information System (INIS)

    Grund, J.E.; Hornyik, K.

    1975-01-01

    The siting of nuclear power plants has created innumerable environmental concerns. Among the effects of the ''man-made environment'' one of increasing importance in recent nuclear plant siting hazards analysis has been the concern about aircraft hazards to the nuclear plant. These hazards are of concern because of the possibility that an aircraft may have a malfunction and crash either near the plant or directly into it. Such a crash could be postulated to result, because of missile and/or fire effects, in radioactive releases which would endanger the public health and safety. The majority of studies related to hazards from air traffic have been concerned with the determination of the probability associated with an aircraft striking vulnerable portions of a given plant. Other studies have focused on the structural response to such a strike. This work focuses on the problem of strike probability. 13 references

  1. Probabilistic Tsunami Hazard Analysis

    Science.gov (United States)

    Thio, H. K.; Ichinose, G. A.; Somerville, P. G.; Polet, J.

    2006-12-01

    The recent tsunami disaster caused by the 2004 Sumatra-Andaman earthquake has focused our attention to the hazard posed by large earthquakes that occur under water, in particular subduction zone earthquakes, and the tsunamis that they generate. Even though these kinds of events are rare, the very large loss of life and material destruction caused by this earthquake warrant a significant effort towards the mitigation of the tsunami hazard. For ground motion hazard, Probabilistic Seismic Hazard Analysis (PSHA) has become a standard practice in the evaluation and mitigation of seismic hazard to populations in particular with respect to structures, infrastructure and lifelines. Its ability to condense the complexities and variability of seismic activity into a manageable set of parameters greatly facilitates the design of effective seismic resistant buildings but also the planning of infrastructure projects. Probabilistic Tsunami Hazard Analysis (PTHA) achieves the same goal for hazards posed by tsunami. There are great advantages of implementing such a method to evaluate the total risk (seismic and tsunami) to coastal communities. The method that we have developed is based on the traditional PSHA and therefore completely consistent with standard seismic practice. Because of the strong dependence of tsunami wave heights on bathymetry, we use a full waveform tsunami waveform computation in lieu of attenuation relations that are common in PSHA. By pre-computing and storing the tsunami waveforms at points along the coast generated for sets of subfaults that comprise larger earthquake faults, we can efficiently synthesize tsunami waveforms for any slip distribution on those faults by summing the individual subfault tsunami waveforms (weighted by their slip). This efficiency make it feasible to use Green's function summation in lieu of attenuation relations to provide very accurate estimates of tsunami height for probabilistic calculations, where one typically computes

  2. Nitrous Oxide Explosive Hazards

    Science.gov (United States)

    2008-05-01

    concentrations of N2O. A test program is suggested that could answer questions about decomposition propagation control in large N2O systems and hazards...accident. OSHA fined Scaled Composites for not training their workers informing them about N2O hazards, instructing them on safe procedures, and...seemed present that could produce temperatures in excess of the autogeneous ignition temperature (AIT) for the polymers? Autogeneous ignition

  3. K Basin Hazard Analysis

    International Nuclear Information System (INIS)

    PECH, S.H.

    2000-01-01

    This report describes the methodology used in conducting the K Basins Hazard Analysis, which provides the foundation for the K Basins Final Safety Analysis Report. This hazard analysis was performed in accordance with guidance provided by DOE-STD-3009-94, Preparation Guide for U. S. Department of Energy Nonreactor Nuclear Facility Safety Analysis Reports and implements the requirements of DOE Order 5480.23, Nuclear Safety Analysis Report

  4. K Basin Hazard Analysis

    Energy Technology Data Exchange (ETDEWEB)

    PECH, S.H.

    2000-08-23

    This report describes the methodology used in conducting the K Basins Hazard Analysis, which provides the foundation for the K Basins Final Safety Analysis Report. This hazard analysis was performed in accordance with guidance provided by DOE-STD-3009-94, Preparation Guide for U. S. Department of Energy Nonreactor Nuclear Facility Safety Analysis Reports and implements the requirements of DOE Order 5480.23, Nuclear Safety Analysis Report.

  5. K Basins Hazard Analysis

    International Nuclear Information System (INIS)

    WEBB, R.H.

    1999-01-01

    This report describes the methodology used in conducting the K Basins Hazard Analysis, which provides the foundation for the K Basins Safety Analysis Report (HNF-SD-WM-SAR-062/Rev.4). This hazard analysis was performed in accordance with guidance provided by DOE-STD-3009-94, Preparation Guide for U. S. Department of Energy Nonreactor Nuclear Facility Safety Analysis Reports and implements the requirements of DOE Order 5480.23, Nuclear Safety Analysis Report

  6. The importance of job autonomy, cognitive ability, and job-related skill for predicting role breadth and job performance.

    Science.gov (United States)

    Morgeson, Frederick P; Delaney-Klinger, Kelly; Hemingway, Monica A

    2005-03-01

    Role theory suggests and empirical research has found that there is considerable variation in how broadly individuals define their jobs. We investigated the theoretically meaningful yet infrequently studied relationships between incumbent job autonomy, cognitive ability, job-related skill, role breadth, and job performance. Using multiple data sources and multiple measurement occasions in a field setting, we found that job autonomy, cognitive ability, and job-related skill were positively related to role breadth, accounting for 23% of the variance in role breadth. In addition, role breadth was positively related to job performance and was found to mediate the relationship between job autonomy, cognitive ability, job-related skill, and job performance. These results add to our understanding of the factors that predict role breadth, as well as having implications for how job aspects and individual characteristics are translated into performance outcomes and the treatment of variability in incumbent reports of job tasks.

  7. Empowering Non-Formal Education Policy on Life Skills and Its Implications on People Welfare

    Directory of Open Access Journals (Sweden)

    Moh. Alifuddin

    2017-05-01

    Full Text Available The non-formal education policy in responding to the life skills needs of learners has been anticipated by the issuance of some products of legal regulations concerning the non-formal education. Life skills education was explicitly mentioned in legislation, but its implementation has not been in line with the expectations. In practice, many training institutions were only responsible for the output without even trying to channel or hire the students after graduation. The curriculum developed referred to the national standard curriculum by adding local content. Welfare could be easily obtained because the alumni got jobs after completing their skill training. Thus, the life skills education developed was able to give positive implications, especially for the welfare of its alumni and their families

  8. HAZARD ANALYSIS SOFTWARE

    International Nuclear Information System (INIS)

    Sommer, S; Tinh Tran, T.

    2008-01-01

    Washington Safety Management Solutions, LLC developed web-based software to improve the efficiency and consistency of hazard identification and analysis, control selection and classification, and to standardize analysis reporting at Savannah River Site. In the new nuclear age, information technology provides methods to improve the efficiency of the documented safety analysis development process which includes hazard analysis activities. This software provides a web interface that interacts with a relational database to support analysis, record data, and to ensure reporting consistency. A team of subject matter experts participated in a series of meetings to review the associated processes and procedures for requirements and standard practices. Through these meetings, a set of software requirements were developed and compiled into a requirements traceability matrix from which software could be developed. The software was tested to ensure compliance with the requirements. Training was provided to the hazard analysis leads. Hazard analysis teams using the software have verified its operability. The software has been classified as NQA-1, Level D, as it supports the analysis team but does not perform the analysis. The software can be transported to other sites with alternate risk schemes. The software is being used to support the development of 14 hazard analyses. User responses have been positive with a number of suggestions for improvement which are being incorporated as time permits. The software has enforced a uniform implementation of the site procedures. The software has significantly improved the efficiency and standardization of the hazard analysis process

  9. Carbon Structure Hazard Control

    Science.gov (United States)

    Yoder, Tommy; Greene, Ben; Porter, Alan

    2015-01-01

    Carbon composite structures are widely used in virtually all advanced technology industries for a multitude of applications. The high strength-to-weight ratio and resistance to aggressive service environments make them highly desirable. Automotive, aerospace, and petroleum industries extensively use, and will continue to use, this enabling technology. As a result of this broad range of use, field and test personnel are increasingly exposed to hazards associated with these structures. No single published document exists to address the hazards and make recommendations for the hazard controls required for the different exposure possibilities from damaged structures including airborne fibers, fly, and dust. The potential for personnel exposure varies depending on the application or manipulation of the structure. The effect of exposure to carbon hazards is not limited to personnel, protection of electronics and mechanical equipment must be considered as well. The various exposure opportunities defined in this document include pre-manufacturing fly and dust, the cured structure, manufacturing/machining, post-event cleanup, and post-event test and/or evaluation. Hazard control is defined as it is applicable or applied for the specific exposure opportunity. The carbon exposure hazard includes fly, dust, fiber (cured/uncured), and matrix vapor/thermal decomposition products. By using the recommendations in this document, a high level of confidence can be assured for the protection of personnel and equipment.

  10. Asthma history, job type and job changes among US nurses.

    Science.gov (United States)

    Dumas, Orianne; Varraso, Raphaëlle; Zock, Jan Paul; Henneberger, Paul K; Speizer, Frank E; Wiley, Aleta S; Le Moual, Nicole; Camargo, Carlos A

    2015-07-01

    Nurses are at increased risk of occupational asthma, an observation that may be related to disinfectants exposure. Whether asthma history influences job type or job changes among nurses is unknown. We investigated this issue in a large cohort of nurses. The Nurses' Health Study II is a prospective study of US female nurses enrolled in 1989 (ages 24-44 years). Job status and asthma were assessed in biennial (1989-2011) and asthma-specific questionnaires (1998, 2003). Associations between asthma history at baseline (diagnosis before 1989, n=5311) and job type at baseline were evaluated by multinomial logistic regression. The relations of asthma history and severity during follow-up to subsequent job changes were evaluated by Cox models. The analytic cohort included 98 048 nurses. Compared with nurses in education/administration (likely low disinfectant exposure jobs), women with asthma history at baseline were less often employed in jobs with likely high disinfectant exposure, such as operating rooms (odds ratio 0.73 (95% CI 0.63 to 0.86)) and emergency room/inpatient units (0.89 (0.82 to 0.97)). During a 22-year follow-up, nurses with a baseline history of asthma were more likely to move to jobs with lower exposure to disinfectants (HR 1.13 (1.07 to 1.18)), especially among those with more severe asthma (HR for mild persistent: 1.13; moderate persistent 1.26; severe persistent: 1.50, compared with intermittent asthma, p trend: 0.004). Asthma history was associated with baseline job type and subsequent job changes among nurses. This may partly reflect avoidance of tasks involving disinfectant use, and may introduce bias in cross-sectional studies on disinfectant exposure and asthma in nurses. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://group.bmj.com/group/rights-licensing/permissions.

  11. Job-demand for learning and job-related learning: the mediating effect of job performance improvement initiatives

    OpenAIRE

    Loon, M; Bartram, T

    2007-01-01

    This study examined whether job-performance-improvementinitiatives mediate the relationship between individuals’ job-demand for learning and job-related learning. Data were obtained from 115 full-time\\ud employees in a diverse range of occupations. A partial least squares analysis revealed that job-performance-improvement-initiatives mediate partially the effects of job-demand for learning on job-related learning. Several implications\\ud for future research and policy are drawn from the findi...

  12. Incremental guideline formalization with tool support

    NARCIS (Netherlands)

    Serban, Radu; Puig-Centelles, Anna; ten Teije, Annette

    2006-01-01

    Guideline formalization is recognized as an important component in improving computerized guidelines, which in turn leads to better informedness, lower inter-practician variability and, ultimately, to higher quality healthcare. By means of a modeling exercise, we investigate the role of guideline

  13. Maintaining formal models of living guidelines efficiently

    NARCIS (Netherlands)

    Seyfang, Andreas; Martínez-Salvador, Begoña; Serban, Radu; Wittenberg, Jolanda; Miksch, Silvia; Marcos, Mar; Ten Teije, Annette; Rosenbrand, Kitty C J G M

    2007-01-01

    Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the

  14. A New Formalism for Relational Algebra

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Larsen, Kim Skak; Schmidt, Erik Meineche

    1992-01-01

    We present a new formalism for relational algebra, the FC language, which is based on a novel factorization of relations. The acronym stands for factorize and combine. A pure version of this language is equivalent to relational algebra in the sense that semantics preserving translations exist...

  15. 14 CFR 201.1 - Formal requirements.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Formal requirements. 201.1 Section 201.1 Aeronautics and Space OFFICE OF THE SECRETARY, DEPARTMENT OF TRANSPORTATION (AVIATION PROCEEDINGS) ECONOMIC... papers. (b) Any person desiring to provide air transportation as a commuter air carrier must comply with...

  16. The Transition to Formal Thinking in Mathematics

    Science.gov (United States)

    Tall, David

    2008-01-01

    This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts…

  17. Informal Science Learning in the Formal Classroom

    Science.gov (United States)

    Walsh, Lori; Straits, William

    2014-01-01

    In this article the authors share advice from the viewpoints of both a formal and informal educator that will help teachers identify the right Informal Science Institutions (ISIs)--institutions that specialize in learning that occurs outside of the school setting--to maximize their students' learning and use informal education to their…

  18. Formal verification of algorithms for critical systems

    Science.gov (United States)

    Rushby, John M.; Von Henke, Friedrich

    1993-01-01

    We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

  19. Protocol design and implementation using formal methods

    NARCIS (Netherlands)

    van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Vissers, C.A.

    1992-01-01

    This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on

  20. Educational attainment, formal employment and contraceptives ...

    African Journals Online (AJOL)

    Based on this, the study examines educational attainment, formal employment and contraceptives practices among working women in Lagos State University. Survey design was adopted for the study. Using Stratified and simple random sampling techniques, quantitative data was gathered through the administration of ...

  1. A Formal Model of Identity Mixer

    DEFF Research Database (Denmark)

    Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter

    2010-01-01

    Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity...

  2. Simulation and formal analysis of visual attention

    NARCIS (Netherlands)

    Bosse, T.; Maanen, P.P. van; Treur, J.

    2009-01-01

    In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is

  3. A Formal Model For Declarative Workflows

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao

    it as a general formal model for specification and execution of declarative, event-based business processes, as a generalization of a concurrency model, the classic event structures. The model allows for an intuitive operational semantics and mapping of execution state by a notion of markings of the graphs and we...

  4. Formal synthesis of naturally occurring norephedrine

    Indian Academy of Sciences (India)

    A concise and simple synthesis of 1-hydroxy-phenethylamine derivatives has been achieved following classical organic transformations using commercially available chiral pools. The said derivatives were explored for the synthesis of naturally occurring bio-active small molecules. Formal synthesis of norephedrine, virolin ...

  5. Formalizing the Problem of Music Description

    DEFF Research Database (Denmark)

    Sturm, Bob L.; Bardeli, Rolf; Langlois, Thibault

    2015-01-01

    The lack of a formalism for “the problem of music descrip- tion” results in, among other things: ambiguity in what problem a music description system must address, how it should be evaluated, what criteria define its success, and the paradox that a music description system can reproduce the “ground...

  6. A formal theory of the selfish gene.

    Science.gov (United States)

    Gardner, A; Welch, J J

    2011-08-01

    Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.

  7. Rhythmic Characteristics of Colloquial and Formal Tamil

    Science.gov (United States)

    Keane, Elinor

    2006-01-01

    Application of recently developed rhythmic measures to passages of read speech in colloquial and formal Tamil revealed some significant differences between the two varieties, which are in diglossic distribution. Both were also distinguished from a set of control data from British English speakers reading an equivalent passage. The findings have…

  8. Towards a Formal Framework for Computational Trust

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro

    2006-01-01

    We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation....

  9. Informal and Formal Learning of General Practitioners

    Science.gov (United States)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose: The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach: To obtain insight in various learning processes, semi-structured…

  10. Informal and formal learning of general practitioners

    NARCIS (Netherlands)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach To obtain insight in

  11. Revisiting the formal foundation of Probabilistic Databases

    NARCIS (Netherlands)

    Wanders, B.; van Keulen, Maurice

    2015-01-01

    One of the core problems in soft computing is dealing with uncertainty in data. In this paper, we revisit the formal foundation of a class of probabilistic databases with the purpose to (1) obtain data model independence, (2) separate metadata on uncertainty and probabilities from the raw data, (3)

  12. On the Need for Practical Formal Methods

    Science.gov (United States)

    1998-01-01

    additional research and engineering that is needed to make the current set of formal methods more practical. To illustrate the ideas, I present several exam ...either a good violin or a highly talented violinist. Light-weight techniques o er software developers good violins . A user need not be a talented

  13. The formal path integral and quantum mechanics

    International Nuclear Information System (INIS)

    Johnson-Freyd, Theo

    2010-01-01

    Given an arbitrary Lagrangian function on R d and a choice of classical path, one can try to define Feynman's path integral supported near the classical path as a formal power series parameterized by 'Feynman diagrams', although these diagrams may diverge. We compute this expansion and show that it is (formally, if there are ultraviolet divergences) invariant under volume-preserving changes of coordinates. We prove that if the ultraviolet divergences cancel at each order, then our formal path integral satisfies a 'Fubini theorem' expressing the standard composition law for the time evolution operator in quantum mechanics. Moreover, we show that when the Lagrangian is inhomogeneous quadratic in velocity such that its homogeneous-quadratic part is given by a matrix with constant determinant, then the divergences cancel at each order. Thus, by 'cutting and pasting' and choosing volume-compatible local coordinates, our construction defines a Feynman-diagrammatic 'formal path integral' for the nonrelativistic quantum mechanics of a charged particle moving in a Riemannian manifold with an external electromagnetic field.

  14. Moving interprofessional learning forward through formal assessment.

    Science.gov (United States)

    Stone, Judy

    2010-04-01

    There is increasing agreement that graduates who finish tertiary education with the full complement of skills and knowledge required for their designated profession are not 'work-ready' unless they also acquire interpersonal, collaborative practice and team-working capabilities. Health workers are unable to contribute to organisational culture in a positive way unless they too attain these capabilities. These capabilities have been shown to improve health care in terms of patient safety, worker satisfaction and health service efficiency. Given the importance of interprofessional learning (IPL) which seeks to address these capabilities, why is IPL not consistently embedded into the education of undergraduates, postgraduates and vocationally qualified personnel through formal assessment? This paper offers an argument for the formal assessment of IPL. It illustrates how the interests of the many stakeholders in IPL can benefit from, and contribute to, the integration of IPL into mainstream professional development and tertiary education. It offers practical examples of assessment in IPL which could drive learning and offer authentic, contextual teaching and learning experiences to undergraduates and health workers alike. Assessment drives learning and without formal assessment IPL will continue to be viewed as an optional topic of little relative importance for learners. In order to make the next step forward, IPL needs to be recognised and endorsed through formal assessment, both at the tertiary education level and within the workplace environment. This is supported by workforce initiatives and tertiary education policy which can be used to specify the capabilities or generic skills necessary for effective teamwork and collaborative practice.

  15. What makes industries believe in formal methods

    NARCIS (Netherlands)

    Vissers, C.A.; van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Danthine, A.S.; Leduc, G.; Wolper, P.

    1993-01-01

    The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current

  16. Confusion about entrepreneurship? Formal versus informal small ...

    African Journals Online (AJOL)

    chestt

    that contributes to both business formation and the ultimate expansion or growth of the business. The entrepreneurial actions related to these business activities are analysed in this study. The differential application of these actions in the formal and informal business panels is of particular importance for this study. Although ...

  17. Formally analysing the concepts of domestic violence

    NARCIS (Netherlands)

    Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.

    2011-01-01

    The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case data is still stored as unstructured text. In this paper Formal Concept Analysis (FCA) is showcased for its exploratory

  18. Formal and Applied Counseling in Israel

    Science.gov (United States)

    Israelashvili, Moshe; Wegman-Rozi, Orit

    2012-01-01

    Living in Israel is intensive and demanding but also meaningful and exciting. This article addresses the gap between the narrowly defined formal status of counseling in Israel and the widespread occurrence of counseling in various settings. It is argued that several recent changes, especially in the definition of treatment, along with the…

  19. A formal model for total quality management

    NARCIS (Netherlands)

    S.C. van der Made-Potuijt; H.B. Bertsch (Boudewijn); L.P.J. Groenewegen

    1996-01-01

    textabstractTotal Quality Management (TQM) is a systematic approach to managing a company. TQM is systematic in the sense that it is uses facts through observation, analysis and measurable goals. There are theoretical descriptions of this management concept, but there is no formal model of it. A

  20. Electric current arising from unpolarized polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    An appreciable electric current is observed in a system consisting of a polyvinyl formal (PVF) film in a sandwich ... Electric current; open circuit voltage; water activated phenomenon; plasticization effect. 1. Introduction ... either the trapping parameters or the distribution of the ..... For this reason contact potential drop between.