In response to growing health and productivity problems resulting from employees' lack of work-life balance, many organizations are taking serious steps to reduce conflict in their employees' work and family roles (Fapohunda, 2014; Working Families, 2017). This has led to increasing researchers' and managers' interest in this area of study. Organizations not permitting work-life flexibility tend to negatively impact their employees' job performance, whereas enhancing work-life balance may benefit both employees and organizations (Kelly et al., 2014). A recently published report in Forbes (an American business magazine) suggests that work-life balance matters much for higher creativity, productivity, and performance (Kruse, 2017). A variety of studies have delineated a strong relationship between work-life balance and employee job performance (Kim, 2014; Smith, Smith, & Brower, 2016). Despite researchers' growing interest in examining the relationship between work-life balance and employee job performance, little work has described the mechanisms which explain this relationship. Outside of Kim's (2014) study supporting the mediating role of employee's affective commitment h t t p : / / j o u r n a l s. c o p m a d r i d. o rg / j wo p
Pacemakers are safety-critical devices whose faulty behaviors can cause harm or even death. Often these faulty behaviors are caused due to bugs in programs used for digital control of pacemakers. We present a formal verification methodology that can be used to check the correctness of object code programs that implement the safety-critical control functions of DDD mode pacemakers. Our methodology is based on the theory of Well-Founded Equivalence Bisimulation (WEB) refinement, where both formal specifications and implementation are treated as transition systems. We develop a simple and general formal specification for DDD mode pacemakers. We also develop correctness proof obligations that can be applied to validate object code programs used for pacemaker control. Using our methodology, we were able to verify a control program with millions of transitions against the simple specification with only 10 transitions. Our method also found several bugs during the verification process.
The COVID-19 outbreak has disturbed the victims' economic conditions and posed a significant threat to economies worldwide and their respective financial markets. The majority of the world stock markets have suffered losses in the trillions of dollars, and international financial institutions were forced to reduce their forecasted growth for 2020 and the years to come. The current research deals with the impact of the COVID-19 pandemic on the global stock markets. It has focused on the contingent effects of previous and current pandemics on the financial markets. It has also elaborated on the pandemic impact on diverse pillars of the economy. Irrespective of all these destructive effects of the pandemic, still hopes are there for a sharp rise and speedy improvement in global stock markets' performance.
Stepper motors are electric motors that are used extensively in safety-critical applications such as auto, medical devices, and surgical robots. A popular trend is the use of FPGA-based digital control for stepper motors. We present a formal verification methodology for 6 types of Stepper Motor control. Our methodology is based on the theory of Well-Founded Equivalence Bisimulation refinement [1], where both formal specifications and implementations are treated as transition systems. We define formal specifications for six types of Stepper Motor control. We also develop correctness proof obligations for FPGA implementations of stepper motor control. The methods are demonstrated using six case studies. The specifications are simple, with less than 50 transitions. We have used our methodology to verify FPGA controllers with millions of transitions against these simple specifications.
<p>Poly Cystic Ovary Syndrome is the hormonal imbalance that is by and large considered to affect more or less 10% of the female population. PCOs is more common in obese and overweight women, which further increases androgen secretion causing impaired metabolism and reproductive functions. Women with PC-OS are at increased risk of developing cardiovascular diseases, dyslipidemias, hypertension and type II diabetes Mellitus. Weight reduction is difficult to achieve in obese women with PCOS than normal individuals. So a comprehensive lifestyle intervention program including individualized diet with moderate energy restriction based on basic healthy eating principles, at least 30 minutes moderate physical activity 3-5 days a week and behavior modification approach is required. Hypocaloric diets along with modification of carbohydrates have found to be effective. Selection of foods among low glycemic load (GL) and high fiber foods and replacing fats with polyunsaturated fats may be a helpful strategy in PCOS patients.</p>
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.