Methods and metrics for selective regression testing

In corrective software maintenance, selective regression testing includes test selection from previously-run test suites and test coverage identification. We propose three reduction-based regression test selection methods and two McCabe-based coverage identification metrics (T. McCabe, 1976). We empirically compare these methods with three other reduction- and precision-oriented methods, using 60 test problems. The comparison shows that our proposed methods yield favourable result

Conflict management approaches in Palestinian Baptist intra-church conflict in Israel between 1990 and 2016, in dialogue with Miroslav Volf’s theology of reconciliation: an analysis and critical evaluation

In the early 1990s, the International Mission Board of the Southern Baptist Convention, changed its global philosophy of ministry and withdrew from direct involvement in the Baptist churches it planted, including in Israel. Around the same time, local churches started to split. This research project seeks to contribute towards a solution to this problem by asking and answering both a sociological and a theological question: Sociologically, what are the nature and causes of the splits and how do Palestinian Baptist churches manage such intra-church conflict? Theologically, what are the desirable conflict management practices and how should they be adapted to local cultural traditions? The primary purpose of this research is to generate a local theory regarding a Palestinian theology of reconciliation which is both theologically and culturally relevant. This thesis argues that the primary factor for church splits is the clash between the pastors’ legacy of a ‘hierarchical-patriarchal’ approach and the younger generation's ‘Congregationalist-democratic’ approach, both grounded in, but each offering a different interpretation of Christian theology and Arab culture. It identifies four conflict management practices that are implemented by Palestinian Baptists in Israeli and holds that the main reason that the conflicts have not been resolved effectively is the clash between contenders' interpretations of theology and culture. The pastors’ cultural-theological approach is a combination of traditional sulha and hierarchical theology that was customary in traditional Palestinian churches. By contrast, the younger generation’s cultural-theological approach is a combination of alternative-legalist and Western-Baptist. The thesis examines the relevance of Miroslav Volf’s theology of reconciliation for the cases at hand. It argues that the model is indeed pertinent to Palestinian Baptists in Israel, who are in the process of investing new meanings into their theology of reconciliation. Yet, in order to be applicable to this context it requires cultural translation in eight elements: formality, dignity, venting, community, church practices, the not necessarily linear nature of the reconciliation process, to view divine justice as compatible with divine love and thus not separate them during conflict, and since conditional and unconditional forgiveness have much in common and differ in the way reconciliation is realized the focus should be on achieving reconciliation

A notion of graph likelihood and an infinite monkey theorem

We play with a graph-theoretic analogue of the folklore infinite monkey theorem. We define a notion of graph likelihood as the probability that a given graph is constructed by a monkey in a number of time steps equal to the number of vertices. We present an algorithm to compute this graph invariant and closed formulas for some infinite classes. We have to leave the computational complexity of the likelihood as an open problem.Comment: 6 pages, 1 EPS figur

Simulation discounted cash flow valuation for internet companies

Discounted cash flow (DCF) is the most accepted approach for company valuation. It is well grounded in theory and practice. However, the DCF approach, which is commonly used for traditional companies valuation, presents a number of serious weaknesses within the Internet companies’ context. One of these weaknesses is tackling the uncertainty that characterize future cash flows of these companies. Specifically DCF assumes that future cash flow streams are highly predictable. The effects of uncertainty are therefore tackled implicitly by discounting the expected value of the cash flows at a risk-adjusted interest rate. However, under uncertainty, future cash flows of these companies can no longer be characterized by a single value but rather by a range of values of its possible consequences. This paper looks at the way in which uncertainty can be incorporated into the traditional DCF approach so that the latter, which is otherwise conceptually sound, becomes relevant. This is done by recognizing that the DCF input variables are uncertain and will have a probability distribution pertaining to each of them. Thus by utilizing a probability-based valuation model (using Monte Carlo Simulation) it is possible to incorporate uncertainty into the analysis and address the shortcomings of the current model. The MC simulation assigns a range of values in order to cope with uncertainty underlies each key cash flow variable. The process leads to a probability distribution of the valuation criterion used, giving investors a quantitative measure of risk involved

Developing a preliminary recharge model of the Nile Basin to help interpret GRACE data

GRACE data provides a new and exciting opportunity to gain a direct and independent measure of water mass variation on a regional scale, but the data must be combined with hydrological modelling to indicate in which part of the water cycle the mass change has occurred. Processing GRACE data through a series of spectral filters indicates a seasonal variation to gravity mass (±0.005 mGal) thought to relate to the downstream movement of water in the catchment, and delayed storage from groundwater, following the wet season in the upper catchment. To help interpret these data a groundwater recharge model was developed for the Nile Catchment using the model ZOODRM (a distributed modelling code for calculating spatial and temporal variations in groundwater recharge). ZOODRM was an appropriate model to use for this work, due to the lower data demands of the model, relative to other groundwater models, the ability of the model to use entirely remotely-sensed input data, and the added functionality of runoff routing. Rainfall (NOAA data) and ET data were sourced from the FEWS NET African Data Dissemination Service. Geological data was sourced from the digital geology map of the world, landuse data from the USGS and the DEM data from ESRI. Initial model results indicate groundwater recharge across the basin of 0-4mma-1, with obvious considerable spatial variability. The results indicate the importance of groundwater in storing rainfall, and releasing it slowly throughout the year in different parts of the catchment. Only by modelling this process can GRACE data be reliably interpreted hydrologically. Despite only a qualitative interpretation of the GRACE data having been achieved within this preliminary study, the work has indicated that the ZOODRM model can be used with entirely remotely-sensed data, and that sufficient data exists for the Nile Basin to construct a plausible recharge model. Future work is now required to properly calibrate the model to enable closer comparison of the Nile GRACE data

Multilevel Double Loop Monte Carlo and Stochastic Collocation Methods with Importance Sampling for Bayesian Optimal Experimental Design

An optimal experimental set-up maximizes the value of data for statistical inferences and predictions. The efficiency of strategies for finding optimal experimental set-ups is particularly important for experiments that are time-consuming or expensive to perform. For instance, in the situation when the experiments are modeled by Partial Differential Equations (PDEs), multilevel methods have been proven to dramatically reduce the computational complexity of their single-level counterparts when estimating expected values. For a setting where PDEs can model experiments, we propose two multilevel methods for estimating a popular design criterion known as the expected information gain in simulation-based Bayesian optimal experimental design. The expected information gain criterion is of a nested expectation form, and only a handful of multilevel methods have been proposed for problems of such form. We propose a Multilevel Double Loop Monte Carlo (MLDLMC), which is a multilevel strategy with Double Loop Monte Carlo (DLMC), and a Multilevel Double Loop Stochastic Collocation (MLDLSC), which performs a high-dimensional integration by deterministic quadrature on sparse grids. For both methods, the Laplace approximation is used for importance sampling that significantly reduces the computational work of estimating inner expectations. The optimal values of the method parameters are determined by minimizing the average computational work, subject to satisfying the desired error tolerance. The computational efficiencies of the methods are demonstrated by estimating the expected information gain for Bayesian inference of the fiber orientation in composite laminate materials from an electrical impedance tomography experiment. MLDLSC performs better than MLDLMC when the regularity of the quantity of interest, with respect to the additive noise and the unknown parameters, can be exploited

Comment encourager plus de femmes vers l’Informatique?

Abstract : Only a small minority of women are drawn to the field of Computer Science (CS). For many years, the ratio of female students at all the Cegeps/colleges in the province of Quebec attending and completing Computer Science programs has been much lower than the number of males. Women experience various challenges during the process of becoming computer scientists. Therefore, greater attention needs to be allocated to research that investigates the gender inequality phenomenon in the CS environment. This study looks at both female and male students who are currently attending a Computer Science program at the Cegep level at LaSalle College in Montreal. The purpose was to identify whether similarities or patterns exist at the social and/or affective levels that lead some female students to choose Computer Science as an academic program. The study also aims to identify the possible social and affective factors that are discouraging female students from registering in Computer Science. Such factors may be influencing their levels of confidence and interest, and consequently steering female students away from pursuing CS as an academic and career choice. Finally, we identify learning strategies that help those who pursue it to succeed in the program. A mixed research method was implemented. A quantitative study used the admissions records of all Cegeps in the province of Quebec, both English and French, in order to analyze and compare the number of applicants who have attended and completed a Computer Science specialization between 2005 and 2016. An exploratory qualitative study was carried out in the form of interviews with a participating sample of twenty-four students (F=12, M=12) currently attending LaSalle College in the field of Computer Science.Seule une petite minorité de femmes est attirée par le domaine de l’informatique. Les facteurs étudiés pourraient affecter leur niveau de confiance et d’intérêt et par conséquent les éloigner de choisir cette discipline en tant que cursus académique ou d’entreprendre une carrière professionnelle en informatique. Cette étude examine les facteurs sociaux et affectifs qui amènent les étudiantes à choisir l'informatique comme option académique au Collège LaSalle au niveau du Cégep. Une méthode de recherche mixte utilisant des approches quantitatives et qualitatives a été mise en oeuvre dans cette étude. Cinq pistes de réflexions ou questions ont été explorées pour mesurer si l'un des facteurs sociaux ou affectifs étudiés pouvait avoir influencé le choix des étudiantes à choisir l’informatique en tant qu'option académique ou contribué à augmenter leur confiance en soi pour mieux réussir dans le programme. Dans la première piste, nous avons analysé l’influence de l'exposition préalable des étudiantes au cours de leurs vies ou au cours de leurs études actuelles à des modèles féminins, de leaders ou de mentors sur le choix de l’informatique comme option. La seconde piste portait sur l'effet des préjugés et les idées préconçues sur la place de la femme dans ce secteur d’activité qui est l’informatique. En troisième lieu, nous avons examiné l’impact que pouvait avoir l'exposition précoce aux ordinateurs lors de la croissance alors que la quatrième piste consistait à examiner l’effet des encouragements et du soutien de l’environnement immédiat des femmes concernées. Enfin, une cinquième question a porté sur le fait de savoir si l'intérêt et l’attitude positive que portaient les femmes à l’égard de l’informatique avaient mené au choix de ce domaine et par conséquent, augmenté la confiance en soi pour mener à bien leur programme d'études. Une méthode quantitative a été utilisée pour analyser les dossiers d'admission des programmes de l’informatique de tous les cégeps de la province de Québec, en comparant le nombre de candidats de sexe masculin qui ont suivi et complété leurs programmes pour les dix années s’étalant de 2005 à 2016. Les résultats montrent qu’une très petite minorité d'étudiantes ont fréquenté les programmes informatiques dans les collèges de la province comparativement à un milieu fortement dominés par les hommes. Une approche exploratoire qualitative a été mise en oeuvre dans le cadre d'une entrevue individuelle menée auprès de 24 participants (N = 24, M = 12, F = 12) participant aux programmes informatiques du Collège LaSalle au niveau du DEC qu’au niveau de l’AEC. Les réponses collectées et analysées à partir de ces entrevues ont permis de répondre à toutes les questions de recherche posées. En ce qui concerne la première question, la compilation des résultats a montré que la majorité des participantes n'ont pas eu dans leur milieu de vie des modèles féminins ayant étudié ou oeuvré dans le domaine de l’informatique alors que deux participantes ont connu des modèles masculins. Cependant, cela ne les a pas empêchés de choisir l’informatique comme choix académique ou professionnel. Par ailleurs, l’étude a montré qu’une fois engagées dans le programme et lorsqu’elles reçoivent du soutien et des conseils de la part d’un mentor ou d'un pair, cela devenait un facteur de motivation très important qui les poussait à poursuivre le cursus dans lequel elles étaient engagées. Les participants masculins quant à eux ont surtout été influencé par des modèles masculins dans leur entourage immédiat famille et amis ainsi que par des icônes du monde industriel et médiatique. Le point commun entre les deux populations est que les participants sont d'accord sur le fait que la présence d’un mentor est nécessaire surtout pendant le premier semestre du parcours scolaire. Ils insistent aussi sur le fait que le soutien par les pairs est très utile pour bâtir des connaissances et partager des expériences. Cependant, les participant masculins différaient de leurs homologues féminins qui ont dit préférer des femmes comme mentors parce qu'elles se sentaient plus soutenues et comprises et donc plus en confiance. Ces mentors étaient nécessaires pour un soutien technique et émotionnel. Beaucoup d'hommes comptaient encore plus sur leurs collègues masculins que sur leurs collègues féminins pour le soutien scolaire. En ce qui concerne la seconde question, l’étude a révélé que plus de la moitié des participants hommes et femmes, avaient des idées fausses ou préconçues sur l’implication des femmes dans le mode de l’informatique, idées qui ont été rapidement effacées une fois qu'ils ont commencé le programme. Par conséquent, il est évident que ces notions préconçues n'ont pas affecté la décision des participantes de poursuivre dans le domaine de l’informatique. La troisième question portait sur leur exposition antérieure et leur expérience avec les ordinateurs. Encore une fois, les résultats de l’étude ont montré que l'exposition des hommes aux ordinateurs et au matériel informatique était plus élevée que celle des femmes. Cependant, cela n’a pas dissuadés les femmes de choisir d'étudier en informatique. L'obstacle principal que les femmes ont souligné était le manque de connaissances techniques et de pratique qui se traduisent par un processus d'apprentissage plus ardu afin de se familiariser avec les nombreuses technologies et dont elles croient que leurs collègues masculins sont déjà à l'aise avec. Ce manque d'expérience a affecté leur confiance en soi et les a souvent démotivés, alors que ce n'était pas un problème majeur pour la majorité des hommes qui se référaient très souvent vers les ressources en ligne et le soutien par les pairs pour progresser dans leur apprentissage. La quatrième question portait sur l’effet de l'encouragement et le soutien de leur entourage immédiat. L’analyse des résultats a montré que tous les étudiants semblent avoir décidé de rejoindre un des programmes informatiques de leur plein gré, avec ou sans le soutien familial. Pourtant, une fois inscrits dans le programme, ils ont révélé qu’ils avaient besoin de la compréhension, des conseils et du soutien des membres de la famille, des camarades de classe, des enseignants et des gens de l'industrie. De plus, ils avaient besoin de plus de temps pour explorer, expérimenter et travailler sur des tâches répétitives. Par ailleurs, trouver un équilibre entre la vie familiale et l'école représentait un très grand défi pour les femmes alors qu’il semblait en être un pour quelques hommes seulement principalement ceux qui avaient des familles ou qui travaillaient de longues heures. Les participantes estiment qu'il existe toujours une attente sociale et culturelle pour qu'elles continuent à accomplir leurs tâches en dehors du travail scolaire, ce qui représente un désavantage certain pour elles. En ce qui concerne la cinquième question de la recherche, presque tous les participants ont révélé que l’informatique n'était pas leur première option avant de poursuivre dans ce programme. La majorité des étudiants possédaient un intérêt de base pour les mathématiques et pour les sciences ce qui les a aidés à développer leur amour pour les défis et la résolution de problèmes. Les hommes et les femmes sont d'accord sur le fait que la pratique auto-initiée et la curiosité d'apprendre sont la clé de la réussite. Dans la description de leur passion pour l'informatique, les mots «passion» et «intérêt de persévérer» n'ont jamais été soulevés par les participantes au cours de notre conversation, alors que cela représentait un thème récurrent pour les hommes. Les femmes ont révélé qu’elles manquaient toujours de confiance en elles- mêmes et dans leurs capacités et cela même lorsqu'elles réussissaient bien. Ce qui n'était pas un problème pour la plupart des homes. Cette recherche démontre que le manque de confiance en soi, l’absence de connaissances préalables, le nombres de modèles féminins insuffisant, l’absence de mentors en plus du manque de soutien de la famille, des enseignants et des camarades pendant leurs études sont des facteurs qui jouent tous un rôle clé dans le choix de l’informatique pour les étudiantes. En outre, l'intérêt pour les mathématiques et pour les sciences, l'amour de la résolution de problèmes et la persévérance pour gérer les défis ont peut-être également influencé les décisions des étudiants de poursuivre dans le domaine de l’informatique. Un ensemble de stratégies d'apprentissage éprouvées et réussies ont été partagées, incluant la patience, l'application de soi par la pratique répétitive, la débrouillardise et le travail sur un projet collaboratif pratique, tous combinés semblaient paver la voie à leur succès. L'étude comprend un ensemble de recommandations pour aider à encourager plus de femmes à s’impliquer davantage dans le domaine de l’informatique

The obstacles to using technologies in primary schools to help students with mathematics difficulties in the Kingdom of Saudi Arabia

Despite the potential positive effects of using technology with students who have difficulties in mathematics in the Kingdom of Saudi Arabia and the great efforts made by the Saudi Government to improve the education system of the nation, which has included a continuous rise in the educational budget, there still remain some obstacles for some teachers when using technology, and while some of these teachers overcome these barriers, others do not succeed in this the challenge. This study investigated the barriers that teachers face when using technology in their classroom in primary schools, and why some overcame obstacles while others did not. Semi-structured interviews and observations were used for the purpose of this research, which were undertaken with three mathematics teachers from school A which used technology, and the other three from school B, which did not use technology. The researcher observed each teacher 45 times separately, 45 minutes each time, over a period of three months. The three teachers in school A were observed during the first 45 days, and the other three were observed for another 45 days. The researcher found from the interviews’ responses of all six teachers and the consequent observations, that the head teacher’s support was the main reason behind their decision to overcome or not overcome the obstacles they face when using technology to help students with difficulties in mathematics. The principals of both schools played a crucial role in managing the challenges they faced with technology. This became evident when the head master of school A helped the teachers in overcoming the obstacles they faced when using technology by training teachers and through technical support, which reflected positively on teaching and learning mathematics, leading to a continued and enthusiastic use of technology. On the other hand, the head teacher in school B did not help or support his teachers in providing technology in school, nor help with overcoming the challenges they faced with technology, which reflected negatively on their enthusiasm to continue to overcome barriers such as the provision of technology in the school, and the lack of training and technical support, in spite of their beliefs that the technology has a positive impact on teaching and in the learning of students who have difficulties in mathematics. This study concludes with recommendations regarding future research in this area

A tale of two arteries: dual posterior cerebral arteries with vascular bridges. A possible protective pattern?

Stroke is a common morbidity and a frequent cause of disability and even death. The impact of cerebrovascular events is dictated by the brain region involved and can be complicated by anatomical variations. One of the most common variations impacting the cerebral vasculature is the presence of a foetal posterior cerebral artery. This vessel arises from the internal carotid artery instead of the basilar artery and is often associated with more extensive injury in cerebrovascular events. Herein, we report the case of a 60-year-old male who had numerous arterial abnormalities, including a kink and a coil of the left internal carotid, two posterior communicating arteries on the right and two posterior cerebral arteries (PCA) on the left, one arising from the internal carotid (foetal PCA) and one from the basilar. The foetal PCA supplied the thalamus, splenium of the corpus callosum and primary visual cortex. The basilar PCA supplied the midbrain and parts of the occipital lobe. These PCA were connected to each other by a vascular bridge and the foetal PCA was connected to the middle cerebral artery by an additional vascular bridge. This vascular pattern would appear to provide collateral support around blockages in the internal carotid and main stem middle and PCA