Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailSmart Bound Selection for the Verification of UML/OCL Class Diagrams
Clarisó, Robert; Gonzalez Perez, Carlos Alberto UL; Cabot, Jordi

in 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: 57 (16 UL)
Full Text
Peer Reviewed
See detailLessons from social network analysis to Industry 4.0
Omar, Yamila UL; Minoufekr, Meysam UL; Plapper, Peter UL

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: 70 (6 UL)
See detailDer Felsengärtner. Freundesgabe für Roland Eckert.
Behrmann, Günter C.; Schürmann, Eberhard; Willems, Helmut UL

Book published by Spurbuch Verlag (in press)

Detailed reference viewed: 37 (0 UL)
Full Text
Peer Reviewed
See detailMacroprudential policy and household wealth inequality
Carpantier, Jean-Francois; Olivera, Javier; van Kerm, Philippe UL

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: 47 (7 UL)
See detailSchulische und außerschulische Jugendbildung. Konzepte, Zielsetzung, pädagogische Ansätze.
Würtz, Stefanie; Willems, Helmut UL

in Behrmann, Günter C.; Schürmann, Eberhard; Willems, Helmut (Eds.) Der Felsengärtner. Freundesgabe für Roland Eckert. (in press)

Detailed reference viewed: 18 (1 UL)
Full Text
Peer Reviewed
See detailUne cour constitutionnelle différente des autres. Etendue, raisons & avenir de l'originalité de la Cour constitutionnelle luxembourgeoise
Heuschling, Luc UL

in Gerkrath, Jörg (Ed.) Les 20 ans de la Cour Constitutionnelle: trop jeune pour mourir? (in press)

Detailed reference viewed: 61 (6 UL)
Full Text
Peer Reviewed
See detailA structure-activity relationship linking non-planar PCBs to functional deficits of neural crest cells: new roles for connexins
Nyffeler, Johanna; Chovancova, Petra; Dolde, Xenia et al

in Archives of Toxicology (in press)

Migration of neural crest cells (NCC) is a fundamental developmental process, and test methods to identify interfering toxicants have been developed. By examining cell function endpoints, as in the ... [more ▼]

Migration of neural crest cells (NCC) is a fundamental developmental process, and test methods to identify interfering toxicants have been developed. By examining cell function endpoints, as in the ‘migration-inhibition of NCC (cMINC)’ assay, a large number of toxicity mechanisms and protein targets can be covered. However, the key events that lead to the adverse effects of a given chemical or group of related compounds are hard to elucidate. To address this issue, we explored here, whether the establishment of two overlapping structure–activity relationships (SAR)—linking chemical structure on the one hand to a phenotypic test outcome, and on the other hand to a mechanistic endpoint—was useful as strategy to identify relevant toxicity mechanisms. For this purpose, we chose polychlorinated biphenyls (PCB) as a large group of related, but still toxicologically and physicochemically diverse structures. We obtained concentration-dependent data for 26 PCBs in the cMINC assay. Moreover, the test chemicals were evaluated by a new high-content imaging method for their effect on cellular re-distribution of connexin43 and for their capacity to inhibit gap junctions. Non-planar PCBs inhibited NCC migration. The potency (1–10 μM) correlated with the number of ortho-chlorine substituents; non-ortho-chloro (planar) PCBs were non-toxic. The toxicity to NCC partially correlated with gap junction inhibition, while it fully correlated (p < 0.0004) with connexin43 cellular re-distribution. Thus, our double-SAR strategy revealed a mechanistic step tightly linked to NCC toxicity of PCBs. Connexin43 patterns in NCC may be explored as a new endpoint relevant to developmental toxicity screening. [less ▲]

Detailed reference viewed: 56 (10 UL)
Full Text
Peer Reviewed
See detailThe Matthew Effect in Electoral Campaigns: Increase in Policy Congruence Inequality During the Campaign
Walgrave, Stefaan; Lesschaeve, Christophe UL

in Electoral Studies : An International Journal (in press)

Previous studies have almost consistently found differences between lower and higher educated voters regarding their policy congruence, the policy position agreement between voters and their party. This ... [more ▼]

Previous studies have almost consistently found differences between lower and higher educated voters regarding their policy congruence, the policy position agreement between voters and their party. This study analyses the role of a campaign herein. Based on novel panel evidence with an extensive battery of policy statements, combined with a survey of party leaders using the same items, we find that, more than the lowly educated, the highly educated profit from the campaign to increase their policy congruence. The reason for the increased inequality is that the later switch parties more often during the campaign than the former. Our evidence also suggests that the higher educated switch parties because this may increase their policy congruence. In sum, the campaign produces a Matthew effect. Those already having a higher policy congruence increase their congruence even further, while those with a lower congruence to start with, do not make any significant progress. [less ▲]

Detailed reference viewed: 42 (0 UL)
See detailResearch on Meaning Making in Luxembourgish Primary Science Education: Implications of a Space-Time-Analysis
Andersen, Katja Natalie UL

in Siry, Christina; Schreiber, Catherina; Gomez Fernandez, Roberto (Eds.) et al Critical methodologies for researching teaching and learning (in press)

Detailed reference viewed: 18 (2 UL)
Full Text
Peer Reviewed
See detailHow unemployment scarring affects skilled young workers: evidence from a factorial survey of Swiss recruiters
Shi, Lulu P.; Imdorf, Christian; Samuel, Robin UL et al

in Journal for Labour Market Research = Zeitschrift für Arbeitsmarktforschung (in press)

We ask how employers contribute to unemployment scarring in the recruitment process in the German-speaking part of Switzerland. By drawing on recruitment theories, we aim to better understand how ... [more ▼]

We ask how employers contribute to unemployment scarring in the recruitment process in the German-speaking part of Switzerland. By drawing on recruitment theories, we aim to better understand how recruiters assess different patterns of unemployment in a job candidate’s CV and how this affects the chances of young applicants being considered for a vacancy. We argue that in contexts with tight school-work linkage and highly standardised Vocational Education and Training (VET) systems, the detrimental effect of early unemployment depends on how well the applicant’s profile matches the requirements of the advertised position. To test this assumption, we surveyed Swiss recruiters who were seeking to fill positions during the time of data collection. We employed a factorial survey experiment that tested how the (un)employment trajectories in hypothetical young job applicants’ CVs affected their chances of being considered for a real vacancy. Our results show that unemployment decreases the perceived suitability of an applicant for a specific job, which implies there is a scarring effect of unemployment that increases with the duration of being unemployed. But we also found that these effects are moderated by how well the applicant’s profile matches the job’s requirements. Overall, the worse the match between applicant’s profile and the job profile, the smaller are the scarring effects of unemployment. In sum, our findings contribute to the literature by revealing considerable heterogeneity in the scarring effects of unemployment. Our findings further suggest that the scarring effects of unemployment need to be studied with regard to country-specific institutional settings, the applicants’ previous education and employment experiences, and the job characteristics. [less ▲]

Detailed reference viewed: 17 (1 UL)
Full Text
Peer Reviewed
See detailAn Experience Report On Applying Software Testing Academic Results In Industry: We Need Usable Automated Test Generation
Arcuri, Andrea UL

in Empirical Software Engineering (in press)

What is the impact of software engineering research on current practices in industry? In this paper, I report on my direct experience as a PhD/post-doc working in software engineering research projects ... [more ▼]

What is the impact of software engineering research on current practices in industry? In this paper, I report on my direct experience as a PhD/post-doc working in software engineering research projects, and then spending the following five years as an engineer in two different companies (the first one being the same I worked in collaboration with during my post-doc). Given a background in software engineering research, what cutting-edge techniques and tools from academia did I use in my daily work when developing and testing the systems of these companies? Regarding validation and verification (my main area of research), the answer is rather short: as far as I can tell, only FindBugs. In this paper, I report on why this was the case, and discuss all the challenging, complex open problems we face in industry and which somehow are ``neglected'' in the academic circles. In particular, I will first discuss what actual tools I could use in my daily work, such as JaCoCo and Selenium. Then, I will discuss the main open problems I faced, particularly related to environment simulators, unit and web testing. After that, popular topics in academia are presented, such as UML, regression and mutation testing. Their lack of impact on the type of projects I worked on in industry is then discussed. Finally, from this industrial experience, I provide my opinions about how this situation can be improved, in particular related to how academics are evaluated, and advocate for a greater involvement into open-source projects. [less ▲]

Detailed reference viewed: 100 (8 UL)
Full Text
Peer Reviewed
See detailComputational systems biology approaches for Parkinson's disease
Glaab, Enrico UL

in Cell and Tissue Research (in press)

Parkinson’s disease (PD) is a prime example of a complex and heterogeneous disorder, characterized by multifaceted and varied motor- and non-motor symptoms and different possible interplays of genetic and ... [more ▼]

Parkinson’s disease (PD) is a prime example of a complex and heterogeneous disorder, characterized by multifaceted and varied motor- and non-motor symptoms and different possible interplays of genetic and environmental risk factors. While investigations of individual PD-causing mutations and risk factors in isolation are providing important insights to improve our understanding of the molecular mechanisms behind PD, there is a growing consensus that a more complete understanding of these mechanisms will require an integrative modeling of multifactorial disease-associated perturbations in molecular networks. Identifying and interpreting the combinatorial effects of multiple PD-associated molecular changes may pave the way towards an earlier and reliable diagnosis and more effective therapeutic interventions. This review provides an overview of computational systems biology approaches developed in recent years to study multifactorial molecular alterations in complex disorders, with a focus on PD research applications. Strengths and weaknesses of different cellular pathway and network analyses, and multivariate machine learning techniques for investigating PD-related omics data are discussed, and strategies proposed to exploit the synergies of multiple biological knowledge and data sources. A final outlook provides an overview of specific challenges and possible next steps for translating systems biology findings in PD to new omics-based diagnostic tools and targeted, drug-based therapeutic approaches. [less ▲]

Detailed reference viewed: 184 (27 UL)
Full Text
Peer Reviewed
See detailA Roundtrip – Inspired by Gustav Jahoda: Observations of a Mature Student
Murdock, Elke UL

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: 30 (5 UL)
Full Text
Peer Reviewed
See detailThe competence to conclude the new generation of free trade agreements: lessons from Opinion 2/15
Neframi, Eleftheria UL

in Chaisse, Julien (Ed.) China-European Union Investment Relationships (in press)

Opinion 2/15 addresses the question of the external competence of the EU to conclude a free trade agreement with Singapore (EUSFTA). The nature of the EU’s competence determines the conclusion of an EU ... [more ▼]

Opinion 2/15 addresses the question of the external competence of the EU to conclude a free trade agreement with Singapore (EUSFTA). The nature of the EU’s competence determines the conclusion of an EU-only agreement, or a mixed agreement, jointly by the Union and its Member States. The Court of Justice of the European Union held that the EU competence to conclude the EUSFTA is not exclusive, as long as provisions concerning non-direct investments and dispute settlement fall under the shared competence of the Union and its Member States. The Court of Justice made valuable contributions to the interpretation of the scope of the Union’s competence in the field of common commercial policy, comprising sustainable development provisions, as well as to the interpretation of implied external competences, and clarified the status of non-substantive provisions. However, uncertainty remains as far as the meaning and the impact of a shared competence are concerned. [less ▲]

Detailed reference viewed: 63 (6 UL)
Full Text
Peer Reviewed
See detailTime for a Plot Twist: Beyond Confirmatory Approaches to Binge-Watching Research
Flayelle, Maèva UL; Maurage, Pierre; Vögele, Claus UL et al

in 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: 61 (1 UL)
Full Text
Peer Reviewed
See detailEffect of unmodelled tidal displacements in GPS and GLONASS coordinate time series
Abraha, Kibrom Ebuy UL; Teferle, Felix Norman UL; Hunegnaw, Addisu UL et al

in 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: 92 (21 UL)
Full Text
Peer Reviewed
See detailQuasitrivial semigroups: characterizations and enumerations
Couceiro, Miguel; Devillet, Jimmy UL; Marichal, Jean-Luc UL

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: 73 (26 UL)
See detailAcademic writing across languages: multilingual and contrastive approaches in higher education
Huemer, Birgit UL; Deroey, Katrien UL; Lejot, Eve UL

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: 33 (5 UL)