Last 7 days     Results 21-40 of 1898.   1 2 3 4 5 6 7   Smart Bound Selection for the Verification of UML/OCL Class DiagramsClarisó, Robert; Gonzalez Perez, Carlos Alberto ; Cabot, Jordiin IEEE Transactions on Software Engineering (in press)Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults ... [more ▼]Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. [less ▲]Detailed reference viewed: 32 (8 UL) Macroprudential policy and household wealth inequalityCarpantier, Jean-Francois; Olivera, Javier; van Kerm, Philippe in Journal of International Money & Finance (in press)Macroprudential policies, such as caps on loan-to-value (LTV) ratios, have become part of the policy paradigm in emerging markets and advanced countries alike. Given that housing is the most important ... [more ▼]Macroprudential policies, such as caps on loan-to-value (LTV) ratios, have become part of the policy paradigm in emerging markets and advanced countries alike. Given that housing is the most important asset in household portfolios, relaxing or tightening access to mortgages may affect the distribution of household wealth in the country. In a stylised model we show that the final level of wealth inequality depends on the size of the LTV ratio, housing prices, credit cost and the strength of a bequest motive, and therefore it is not possible to predict an unequivocal effect of LTV ratios on wealth inequality. These trade-offs are illustrated with estimations of `Gini Recentered Influence Function' regressions on household survey data from 12 Euro-zone countries that participated in the first wave of the Household Finance and Consumption Survey. The results show that, among the households with active mortgages, high LTV ratios at the time of acquisition are related to high contributions to wealth inequality today, while house price increases are negatively related to inequality contributions. A proxy for the strength of bequest motives tends to be negatively related with wealth inequality, but credit cost does not show a significant link to the distribution of wealth. [less ▲]Detailed reference viewed: 36 (7 UL) Une cour constitutionnelle différente des autres. Etendue, raisons & avenir de l'originalité de la Cour constitutionnelle luxembourgeoiseHeuschling, Luc in Gerkrath, Jörg (Ed.) Les 20 ans de la Cour Constitutionnelle: trop jeune pour mourir? (in press)Detailed reference viewed: 25 (4 UL) Research on Meaning Making in Luxembourgish Primary Science Education: Implications of a Space-Time-AnalysisAndersen, Katja Natalie in Siry, Christina; Schreiber, Catherina; Gomez Fernandez, Roberto (Eds.) et al Critical methodologies for researching teaching and learning (in press)Detailed reference viewed: 14 (2 UL) Paragraph structure and coherence in academic writing: a contrastive multilingual analysisHuemer, Birgit ; Deroey, Katrien ; Lejot, Eve in Schreibwissenschaft (in press)Detailed reference viewed: 8 (0 UL) A Roundtrip – Inspired by Gustav Jahoda: Observations of a Mature StudentMurdock, Elke in Culture & Psychology (in press)There was a brief overlap between Gustav Jahoda’s path towards the end of his academic (pre-emeritus) career and my own as a student at the Saarland University – a prominent place in the development of ... [more ▼]There was a brief overlap between Gustav Jahoda’s path towards the end of his academic (pre-emeritus) career and my own as a student at the Saarland University – a prominent place in the development of cultural psychology. This article highlights some of Jahoda’s fruitful collaborations with Saarbruecken colleagues on the history of (cross-) cultural psychology as well as definitions of perspectives within the field. Gustav Jahoda has also inspired me to pursue the field of cross-cultural psychology and a personal account of this journey will be provided leading to some general observations about Gustav Jahoda’s legacy from a mature student’s perspective. [less ▲]Detailed reference viewed: 21 (2 UL) Passion or addiction ? Correlates of healthy versus problematic use of videogames in a sample of French-speaking regular gamersDeleuze, Jory; Long, Jiang; Liu, Tie-Qiao et alin Addictive Behaviors (in press)A criticism of current diagnostic approaches to gaming disorder is that they fail to take into account that high and repeated engagement is not problematic per se, nor is it necessarily associated with ... [more ▼]A criticism of current diagnostic approaches to gaming disorder is that they fail to take into account that high and repeated engagement is not problematic per se, nor is it necessarily associated with adverse consequences. To tackle this controversy, we used confirmatory factor analysis to test, in regular gamers (N = 268), whether high (but healthy) engagement can be distinguished from problematic engagement by using the Addiction-Engagement Questionnaire (Charlton & Danforth, 2007). We then tested whether differential relationships exist between the engagement and addiction constructs, DSM-5 criteria for Internet gaming disorder (IGD), and psychological factors linked to gaming use and misuse (self-reported impulsivity, motives to play, and depression). Results indicated that a model holding engagement and addiction as two distinct, but related, constructs fits the data well. Second, we showed that although both constructs are linked to the number of IGD criteria endorsed, the relationship is more pronounced for the addiction construct. Third, a differential pattern of correlations was observed with the other study variables, further supporting the need to distinguish the two constructs. Our study emphasizes that research is needed to refine the diagnostic approach to gaming disorder to avoid conflating healthy passion with pathological behavior. [less ▲]Detailed reference viewed: 21 (0 UL) Induced sadness increases persistence in a simulated slot machine task among recreational gamblersDevos, Gaëtan; Clark, Luke; Maurage, Pierre et alin Psychology of Addictive Behaviors : Journal of the Society of Psychologists in Addictive Behaviors (in press)Gambling may constitute a strategy for coping with depressive mood, but a direct influence of depressive mood on gambling behaviors has never been tested via realistic experimental designs in gamblers ... [more ▼]Gambling may constitute a strategy for coping with depressive mood, but a direct influence of depressive mood on gambling behaviors has never been tested via realistic experimental designs in gamblers. The current study tested whether experimentally induced sadness increases persistence on a simulated slot machine task using real monetary reinforcement in recreational gamblers. Sixty participants were randomly assigned to an experimental (sadness induction) or control (no emotional induction) condition, and then performed a slot machine task consisting of a mandatory phase followed by a persistence phase. Potential confounding variables (problem gambling symptoms, impulsivity traits, gambling cognitions) were measured to ensure that the experimental and control groups were comparable. The study showed that participants in the sadness condition displayed greater gambling persistence than control participants (p = .011). These data support the causal role of negative affect in decisions to gamble and persistence, which bears important theoretical and clinical implications [less ▲]Detailed reference viewed: 16 (0 UL) Selfitis, selfie addiction, Twitteritis: Irresistible appeal of medical terminology for problematic behaviours in the digital ageStarcevic, Vladan; Billieux, Joël ; Schimmenti, Adrianoin Australian & New Zealand Journal of Psychiatry (in press)Behaviours that are performed compulsively and repetitively and are associated with certain negative consequences have been a conceptual challenge for psychopathology. They are usually labelled as ... [more ▼]Behaviours that are performed compulsively and repetitively and are associated with certain negative consequences have been a conceptual challenge for psychopathology. They are usually labelled as behavioural addictions, although this term has been vague, misused and applied to an exceptionally wide variety of activities (Starcevic, 2016). A similar trend to medicalise problematic behaviours has appeared more recently, with an emergence of ‘selfitis’ (Balakrishnan and Griffiths, in press). This article draws attention to these troublesome tendencies and aims to shed more light on their origin and implications. [less ▲]Detailed reference viewed: 30 (2 UL) Time for a Plot Twist: Beyond Confirmatory Approaches to Binge-Watching ResearchFlayelle, Maèva ; Maurage, Pierre; Vögele, Claus et alin Psychology of Popular Media Culture (in press)The advent of the digital age with its progress in digital technology has been associated in recent years with an increase in binge-watching (i.e., seeing multiple episodes of the same TV series in one ... [more ▼]The advent of the digital age with its progress in digital technology has been associated in recent years with an increase in binge-watching (i.e., seeing multiple episodes of the same TV series in one session). Binge-watching has now become the new normative way to consume TV shows. Nevertheless, along with its recent massive rise has come concerns about the associated mental and physical health outcomes. Currently available results suggest the potential harmfulness and even addictive nature of binge-watching. The psychological investigation of this behavior, however, is still in its infancy, with most studies using a confirmatory approach and assuming a priori its genuine addictive nature. In contrast, the current perspective paper argues the case for an exploratory approach as an initial step for conducting research on behaviors that − at first sight − look like addiction when applying a symptom-based approach. A qualitative understanding of the phenomenological characteristics of binge-watching as the foundation of an initial comprehensive discussion makes it possible to formulate hypotheses concerning its potentially addictive nature and to emphasize challenges and directions for future research. Here we propose an exploration of the dynamics of binge-watching behavior based on a model involving emotion regulation in the etiology and maintenance of problem binge-watching. [less ▲]Detailed reference viewed: 25 (1 UL) Effect of unmodelled tidal displacements in GPS and GLONASS coordinate time seriesAbraha, Kibrom Ebuy ; Teferle, Felix Norman ; Hunegnaw, Addisu et alin Geophysical Journal International (in press)This study demonstrates the effect of unmodelled (sub-)daily tidal displacement on GLONASS (GLObalnaya NAvigatsionnaya Sputnikovaya Sistema) coordinate time series in comparison with GPS (Global ... [more ▼]This study demonstrates the effect of unmodelled (sub-)daily tidal displacement on GLONASS (GLObalnaya NAvigatsionnaya Sputnikovaya Sistema) coordinate time series in comparison with GPS (Global Positioning System). More than two propagated periodic signals appear in GPS and GLONASS coordinate time series in the presence of an unmodelled M2 /O1 tidal displacements. The propagation mechanism of Stewart et al. (2005) explains well most of the periodic signals. At a fortnightly period, an unmodeled M2 tidal displacement propagates into two long-period signals at 13.6x (x is a positive integer) and 14.76 days for GPS, while only a significant propagated periodic signal at 14.76-day is discernible for GLONASS. Similarly, significant propagated periodic signals at 13.6x and 14.19 days for GPS and only at 14.19- day for GLONASS are evident as a result of an unmodeled O1 tidal displacement. However, an unmodeled Mf (long-period) results in a strong power of similar magnitude at 13.6x-day (∼13.66-day) for both GPS and GLONASS solutions. The appearance of different periodic signals but as a result of the same unmodelled tidal displacement is attributed to the differ- ent ground repeat periods of the constellations, which is one of the factors of the propagation mechanism from Stewart et al. (2005). The latter explains the reason why the 13.6x-day fort- nightly is present only for GPS solutions. Comparing the powers of the M2 aliased periodic signals at 13.6x-day and 14.76-day from a stacked spectra over all stations, the amplitude of the former is larger than the latter by an order of magnitude. The results of this study may infer that the 13.6x-day periodic signal in GPS/GNSS (Global Navigation Satellite System) derived products of the IGS (International GNSS Service) is a joint contribution of the propagation of unmodelled (sub-)daily tidal displacements and errors at longer periods with the former ap- pearing to contribute more. We also demonstrated that significant reduction of the propagated periodic signals can be achieved from combined-system solutions. [less ▲]Detailed reference viewed: 53 (18 UL) Quasitrivial semigroups: characterizations and enumerationsCouceiro, Miguel; Devillet, Jimmy ; Marichal, Jean-Luc in Semigroup Forum (in press)We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order ... [more ▼]We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. [less ▲]Detailed reference viewed: 57 (22 UL) Academic writing across languages: multilingual and contrastive approaches in higher educationHuemer, Birgit ; Deroey, Katrien ; Lejot, Eve Book published by Böhlau (in press)In this book we explore how academic writing varies across languages in order to enrich concepts for teaching academic writing in multilingual environments. The contributions focus on teaching approaches ... [more ▼]In this book we explore how academic writing varies across languages in order to enrich concepts for teaching academic writing in multilingual environments. The contributions focus on teaching approaches, linguistic features and writing practices in multilingual contexts. It aims to discuss how these findings could be applied in order to develop multilingual approaches for teaching academic writing at the university. [less ▲]Detailed reference viewed: 17 (1 UL) Affective impairments in binge drinking: Investigation through emotional facial expression decodingLannoy, Séverine; Dormal, Valérie; Brion, Mélanie et alin Comprehensive Psychiatry (in press)Objective: Binge drinking, an excessive alcohol consumption pattern frequently observed in young people, is known to be associated with psychological and cerebral deficits. While cognitive dysfunctions ... [more ▼]Objective: Binge drinking, an excessive alcohol consumption pattern frequently observed in young people, is known to be associated with psychological and cerebral deficits. While cognitive dysfunctions have been widely investigated, emotional abilities have scarcely been explored. Such an exploration would however offer a more exhaustive understanding of the deficits associated with binge drinking, as well as of the possible transition towards alcohol-dependence. Methods: 46 young adults (23 binge drinkers, 12 women; 23 control participants, 12 women) were recruited among university students. They performed an emotional recognition task consisting of the visual decoding of six basic emotions (i.e. anger, contempt, disgust, fear, happiness, and sadness). Accuracy scores and detection thresholds were collected for each emotion. Results: Binge drinkers showed lower performance than control participants for the decoding of all emotions and increased detection thresholds, this later reflecting less ability to capture an emotion. Binge drinking is thus associated with a need for higher emotional intensity to perform correct detection. Moreover, these emotional difficulties appear specifically related to alcohol consumption. Conclusion: These findings reinforce previous experimental evidence of altered emotional processing among binge drinkers, and extend these results for various emotional contents. They support the hypothesis of a continuum between binge drinking and alcohol-dependence, in which massive emotional impairments have been documented. Indeed, these impairments could be involved in the onset and maintenance of excessive alcohol consumption, notably through the established relationship between emotional deficits and social distress. [less ▲]Detailed reference viewed: 19 (1 UL) Lessons from social network analysis to Industry 4.0Omar, Yamila ; Minoufekr, Meysam ; Plapper, Peter in Manufacturing Letters (in press)With the advent of Industry 4.0, a growing number of sensors within modern production lines generate high volumes of data. This data can be used to optimize the manufacturing industry in terms of complex ... [more ▼]With the advent of Industry 4.0, a growing number of sensors within modern production lines generate high volumes of data. This data can be used to optimize the manufacturing industry in terms of complex network topology metrics commonly used in the analysis of social and communication networks. In this work, several such metrics are presented along with their appropriate interpretation in the field of manufacturing. Furthermore, the assumptions under which such metrics are defined are assessed in order to determine their suitability. Finally, their potential application to identify performance limiting resources, allocate maintenance resources and guarantee quality assurance are discussed. [less ▲]Detailed reference viewed: 48 (3 UL) Further exploration of the SUPPS-P Impulsive Behavior Scale’s factor structure: Evidence from a large Hungarian sampleZsila, Ágnes; Bőthe, Beáta; Demetrovics, Zsolt et alin Current Psychology (in press)Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which ... [more ▼]Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which assesses five distinct impulsivity dimensions: positive urgency, negative urgency, lack of perseverance, lack of premeditation, and sensation seeking. The short, 20-item version of the UPPS-P (SUPPS-P; Billieux et al. 2012) has been developed and adapted into several languages, including English, French, Italian, Spanish, and Arabic. The aim of the present study was to test four theoretical models of the SUPPS-P in a large sample of Hungarian adults. Methods: A total of 15,703 participants (64.76% male; Mage = 33.42 years, SD = 11.06) completed the SUPPS-P using an online questionnaire. Results: Confirmatory factor analyses corroborated the first-order five-factor model of impulsivity and a hierarchical model representing three higher-order constructs (urgency, lack of conscientiousness, sensation seeking), whereas the one-factor and three-factor model were not supported. The factor structure of the SUPPS-P preserved the original, theory-driven structure of the UPPS-P model and this instrument demonstrated good internal consistency. Hypersexual behavior consequences were positively associated with most SUPPS-P components, thus criterion validity was also supported. Conclusion: The SUPPS-P had strong psychometric properties that reflected the theoretical structure of the original UPPS-P model, thus it constitutes a theoretically grounded and time saving multidimensional instrument for assessing impulsivity. [less ▲]Detailed reference viewed: 31 (0 UL) The Politics of Church Land Administration: the Case of the Orthodox Patriarchate of Jerusalem in Ottoman and Mandatory PalestinePapastathis, Konstantinos ; Kark, Ruthin Byzantine & Modern Greek Studies (in press)Detailed reference viewed: 29 (0 UL) An Investigation of Compression Techniques to Speed up Mutation TestingZhu; Panichella, Annibale ; Zaidman, Andyin 11th IEEE Conference on Software Testing, Validation and Verification, 2018 (in press)Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of ... [more ▼]Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the efficiency of strong mutation based on weak mutation information. Our investigation is centred around six mutation compression strategies that we have devised. More specifically, we adopt overlapped grouping and Formal Concept Analysis (FCA) to cluster mutants and test cases based on the reachability (code covergae) and necessity (weak mutation) conditions. Moreover, we leverage mutation knowledge (mutation locations and mutation operator types) during compression. To evaluate our method, we conducted a study on 20 open source Java projects using manually written tests. We also compare our method with pure random sampling and weak mutation. The overall results show that mutant compression techniques are a better choice than random sampling and weak mutation in practice: they can effectively speed up strong mutation 6.3 to 94.3 times with an accuracy of >90%. [less ▲]Detailed reference viewed: 39 (13 UL) A generalization of the concept of distance based on the simplex inequalityKiss, Gergely ; Marichal, Jean-Luc ; Teheux, Bruno in Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry (in press)We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex ... [more ▼]We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex inequality $d(x_1, \ldots, x_n)~\leq~K\, \sum_{i=1}^n d(x_1, \ldots, x_n)_i^z{\,}, \qquad x_1, \ldots, x_n, z \in X,$ where $K=1$. Here $d(x_1,\ldots,x_n)_i^z$ is obtained from the function $d(x_1,\ldots,x_n)$ by setting its $i$th variable to $z$. We provide several examples of $n$-distances, and for each of them we investigate the infimum of the set of real numbers $K\in\left]0,1\right]$ for which the inequality above holds. We also introduce a generalization of the concept of $n$-distance obtained by replacing in the simplex inequality the sum function with an arbitrary symmetric function. [less ▲]Detailed reference viewed: 48 (14 UL) Partizipation in Großschutzgebieten - untersucht am Beispiel der Beteiligung an den Workshops zur Erstellung des Rahmenkonzeptes des Biosphärenreservates Bliesgau 2014Nienaber, Birte in Weber, Friedericke; Weber, Florian; Jenal, Corinna (Eds.) Wohin des Weges? Regionalentwicklung in Großschutzgebieten (in press)In 2014 a process of public participation was initiated in order to produce a framework concept for the future configuration of the “Biosphere Bliesgau”. This paper presents characteristics of ... [more ▼]In 2014 a process of public participation was initiated in order to produce a framework concept for the future configuration of the “Biosphere Bliesgau”. This paper presents characteristics of participation, both in general and in large-scale protected areas in particular, and discusses what various forms of participation (ranging from pure information as non-participation to bottom-up partnerships as the strongest form of participation) are possible. The empirical-analytical section of the paper investigates the 2014 process of participation in Biosphere Bliesgau, using publically available protocols and interviews. It can be seen that the top-down process – e. g. involving concrete agreements between individuals or groups – involves the selection of participants – intended or otherwise – and that the highest level of participation could therefore not be achieved. [less ▲]Detailed reference viewed: 18 (1 UL)