Large versus bounded solutions to sublinear elliptic problems

Let $L$ be a second order elliptic operator with smooth coefficients defined on a domain $\Omega \subset \mathbb{R}^d$ (possibly unbounded), $d\geq 3$. We study nonnegative continuous solutions $u$ to the equation $L u(x) - \varphi (x, u(x))=0$ on $\Omega$, where $\varphi$ is in the Kato class with respect to the first variable and it grows sublinearly with respect to the second variable. Under fairly general assumptions we prove that if there is a bounded non zero solution then there is no large solution

Program Repair by Stepwise Correctness Enhancement

Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect), relative correctness arranges candidate programs on the richer structure of a partial ordering. In other venues we discuss the impact of relative correctness on program derivation, and on program verification. In this paper, we discuss the impact of relative correctness on program testing; specifically, we argue that when we remove a fault from a program, we ought to test the new program for relative correctness over the old program, rather than for absolute correctness. We present analytical arguments to support our position, as well as an empirical argument in the form of a small program whose faults are removed in a stepwise manner as its relative correctness rises with each fault removal until we obtain a correct program.Comment: In Proceedings PrePost 2016, arXiv:1605.0809

Program Derivation by Correctness Enhacements

Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' refines program P if and only if P' is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by successive refinements: each step of this process mandates that we transform a program P into a program P' that refines P, i.e. P' is more-correct than P with respect to any specification. This raises the question: why should we want to make P' more-correct than P with respect to any specification, when we only have to satisfy specification R? In this paper, we discuss a process of program derivation that replaces traditional sequence of refinement-based correctness-preserving transformations starting from specification R by a sequence of relative correctness-based correctness-enhancing transformations starting from abort.Comment: In Proceedings Refine'15, arXiv:1606.0134

Capital Structure Decisions and Corporate Performance: Does Firm’s Profitability Matter?

This study aims to investigate the relationship between financing decisions and firm performance. It particularly investigates the heterogeneous effects of capital structure ratios on financial profitability. The study employs the Quantile regression methodology on a sample of 120 non-financial companies listed on Tadawul stock exchange during the period 2017–2020. Financial performance was measured using return on assets, return on equities and Tobin’s Q variables in order to assess accounting and market performance. Data on the various variables is obtained from the companies’ annual reports. Quantile regression results show that debts to equity ratio hamper firms’ performance where as equity financing ratio increases business profitability. Additionally, findings demonstrate that this relationship is nonlinear. Particularly, a debt to equity ratio has a greater negative effect on performance of high-profitable firms. However, the positive effect of the equity financing ratio seems to be higher in high profitable companies than low ones. These results would help managers of non financial firms regarding optimal capital structure decisions. Indeed, managers of non-financial firms could use results of this study as a benchmark to make efficient decisions related to the structure of the capital such as reducing the proportion of debts in the capital and increasing the weight of equity financing. Particularly, enterprises in the early stages of development, with lower profits reflected in return on assets, return on equities, and Tobin’s Q should carefully avoid debt, whereas firms with big earnings are encouraged to raise their capital by issuing new shares in the financial market

The Role of CSR in Promoting Energy-Specific Pro-Environmental Behavior among Hotel Employees

Mitigating environmental crises requires efforts to reduce carbon emission at every level and segment of an economy. In this respect, the energy sector is blamed for increasing greenhouse gas emissions (GHG) throughout the globe. Specifically, it was specified that electrical energy contributes to 35% of the world’s GHG emissions. Without a doubt, the topics related to clean and green energies remained a part of academic discussion; however, a critical knowledge gap exists in most studies. That is, most of the prior literature focused only on the production side (supply side) of electrical energy, neglecting the consumption side (consumption at the level of individuals). Given that a significant amount of electricity has been consumed by the individuals in buildings (homes, offices, or others) for heating and cooling purposes, it is important to promote a target-specific (energy-specific) pro-environmental behavior (TSPEB) of individuals. However, such a debate did not receive any significant attention previously. Further, psychological factors such as employees’ environmental commitment (EEC) and green self-efficacy (GSE) were identified as critical mediators to drive different employees’ outcomes, but the mediating effect of EEC and GSE was not tested earlier to foster TSPEB in a CSR framework. The data for the current work were collected from employees of different hotels in a developing country by employing a survey strategy (n = 383). The structural equation modeling was used to analyze the data, which confirmed that hospitality employees’ CSR perceptions could improve TSPEB. The statistical results also confirmed the significant mediating effects of EEC and GSE. The finding of this study will help the hospitality sector to improve its efforts for de-carbonization by improving the energy consumption behavior of employees as an outcome of CSR

La médecine générale perçue par les étudiants de la faculté de médecine de Sousse (Tunisie)

Introduction: Les étudiants en début du cursus suivent la même formation hospitalo-universitaire,  cependant, ils sont peu nombreux à choisir délibérément la médecine générale comme discipline d'exercice médical. Notre objectif est de préciser auprès des étudiants en médecine, les facteurs qui déterminent le choix de la médecine générale comme carrière et leur vision de cette discipline.  Méthodes: Etude descriptive transversale menée auprès d'un échantillon d'étudiants inscrits à la faculté de médecine de Sousse (Tunisie) pour l'année universitaire 2012-2013. Le recueil des données a été  pratiqué par l'intermédiaire d'un questionnaire conçu pour les fins de ce travail. La saisie et l'analyse des données ont été effectuées par le logiciel SPSS 18.0.Résultats: Notre étude a porté sur 388 étudiants dont 69,5% étaient du genre féminin. L'âge moyen était de 22,1 ± 2,8 ans. Cent étudiants (25,8%) avaient un parent cadre de santé sans que cela n'ait une influence sur le choix de carrière. A l'entrée à la faculté, seulement 7,1% (n=27) voulaient faire de la médecine générale leur carrière. Le changement de choix vers la médecine générale est statistiquement différent à l'entrée et à la sortie de la faculté chez les internes finissants. Conclusion: Afin d'attirer davantage les étudiants vers la médecine générale, il serait judicieux d'adopter des changements majeurs touchant l'enseignement théorique et pratique et de modifier les conditions de travail en fonction des attentes des générations futures.Key words: Médecine générale, enseignement médical, choix de spécialit

Evaluation de la tenue du partogramme dans une maternité universitaire

Introduction: La mortalité maternelle est un problème majeur de santé mondiale. Une grande proportion de ces décès serait évitable par des soins adéquats, une aide à l'accouchement, la disponibilité des soins d'urgence et l'utilisation des outils d'aide à la décision tels que le partogramme. L'objectif était d'évaluer l'écart entre ce qui est censé être fait et ce qui est fait réellement pour les différents paramètres situés dans le partogramme au sein d'une maternité de 3ème niveau et élaborer des recommandations pour la mise en place d'un plan d'action. Méthodes: Il s'agit d'une étude descriptive rétrospective par audit clinique, effectuée sur un échantillon de 400 dossiers obstétricaux des parturientes ayant accouchées dans la maternité du CHU Farhat Hached durant l'année 2011. Le référentiel utilisé est celui réalisé par l'Agence Nationale d'Accréditation et d'Evaluation en Santé en l'an 2000, concernant la qualité de la tenue du partogramme. Résultats: La majorité des critères d'évaluation portant sur la présentation du partogramme était conforme. Deux critères concernant la variété de la présentation et le rythme cardiaque foetal étaient non conformes parmi ceux portant sur la surveillance du foetus. Plusieurs critères en rapport avec la surveillance de la mère étaient non conformes. Aucun des critères portant sur les traitements administrés et les marqueurs d'évènements n'est conforme. Les critères portant sur la naissance et la surveillance immédiate qui étaient non conformes sont : le début des efforts expulsifs, le mode d'accouchement, l'état du périnée, la délivrance et la révision utérine. Conclusion: La véritable démarche de l'audit clinique se doit d'aller au-delà du recueil et de l'analyse des données, le but final étant l'amélioration des pratiques