Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Model-driven Approach to Trace Checking of Temporal Properties with Aggregations
Boufaied, Chaima UL; Bianculli, Domenico UL; Briand, Lionel UL

in Journal of Object Technology (in press), 18(2), 151-20

The verification of complex software systems often requires to check quantitative properties that rely on aggregation operators (e.g., the average response time of a service). One way to ease the ... [more ▼]

The verification of complex software systems often requires to check quantitative properties that rely on aggregation operators (e.g., the average response time of a service). One way to ease the specification of these properties is to use property specification patterns, such as the ones for “service provisioning”, previously proposed in the literature. In this paper we focus on the problem of performing offline trace checking of temporal properties containing aggregation operators. We first present TemPsy-AG, an extension of TemPsy—an existing pattern-based language for the specification of temporal properties—to support service provisioning patterns that use aggregation operators. We then extend an existing model-driven procedure for trace checking, to verify properties expressed in TemPsy-AG. The trace checking procedure relies on the efficient mapping of temporal properties written in TemPsy-AG into OCL constraints on a meta-model of execution traces. We have implemented this procedure in the TemPsy-Check-AG tool and evaluated its performance: our approach scales linearly with respect to the length of the input trace and can deal with much larger traces than a state-of-the-art tool. [less ▲]

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailBankruptcy protection in airline markets: Does the impact vary in international and US domestic markets?
Mantin, Benny UL; Forsyth, Peter; Bock, Sebastian et al

in Transportation Research. Part A, General (in press)

We study the effects of Chapter 11 bankruptcy protection on competitive product pricing in both domestic and international markets using data from the airline industry. We find a decline of about 5% in ... [more ▼]

We study the effects of Chapter 11 bankruptcy protection on competitive product pricing in both domestic and international markets using data from the airline industry. We find a decline of about 5% in domestic markets and an even more significant drop in international markets. Further, in international markets the competing carriers respond by dropping their prices as well, whereas they slightly increase them domestically. By contrast, existing literature considers only domestic markets finding a more moderate fare drop of about 3% in domestic markets by the bankrupt carrier, with mixed results on the fare drop by competitors. [less ▲]

Detailed reference viewed: 34 (2 UL)
Full Text
Peer Reviewed
See detailTranscriptome profiling data reveals Ubiquitin-Specific Peptidase 9 knockdown effects
Glaab, Enrico UL; Antony, Paul UL; Köglsberger, Sandra et al

in Data in Brief (in press)

Ubiquitin specific peptidase 9 (USP9) is a deubiquitinase encoded by a sex-linked gene with a Y-chromosomal form (USP9Y) and an X-chromosomal form (USP9X) that escapes X-inactivation. Since USP9 is a key ... [more ▼]

Ubiquitin specific peptidase 9 (USP9) is a deubiquitinase encoded by a sex-linked gene with a Y-chromosomal form (USP9Y) and an X-chromosomal form (USP9X) that escapes X-inactivation. Since USP9 is a key regulatory gene with sex-linked expression in the human brain, the gene may be of interest for researchers studying molecular gender differences and ubiquitin signaling in the brain. To assess the downstream effects of knocking down USP9X and USP9Y on a transcriptome-wide scale, we have conducted microarray profiling experiments using the human DU145 prostate cancer cell culture model, after confirming the robust expression of both USP9X and USP9Y in this model. By designing shRNA constructs for the specific knockdown of USP9X and the joint knockdown of USP9X and USP9Y, we have compared gene expression changes in both knockdowns to control conditions to infer potential shared and X- or Y-form specific alterations. Here, we provide details of the corresponding microarray profiling data, which has been deposited in the Gene Expression Omnibus database (GEO series accession number GSE79376). A biological interpretation of the data in the context of a potential involvement of USP9 in Alzheimer’s disease has previously been presented in Köglsberger et al. (2016). To facilitate the re-use and re-analysis of the data for other applications, e.g. the study of ubiquitin signaling and protein turnover control, and the regulation of molecular gender differences in the human brain and brain-related disorders, we provide a more in-depth discussion of the data properties, specifications and possible use cases. [less ▲]

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailCross-Cultural Validation of the Compulsive Internet Use Scale in Four Forms and Eight Languages
Lopez-Fernandez, Olatz; Griffiths, Mark D.; Kuss, Daria J. et al

in Cyberpsychology, Behavior, and Social Networking (in press)

Abstract The 14-item Compulsive Internet Use Scale (CIUS) is one of the most frequently internationally adapted psychometric instruments developed to assess generalized problematic Internet use. Multiple ... [more ▼]

Abstract The 14-item Compulsive Internet Use Scale (CIUS) is one of the most frequently internationally adapted psychometric instruments developed to assess generalized problematic Internet use. Multiple adaptations of this instrument have led to versions in different languages (e.g., Arabic and French), and different numbers of items (e.g., from 5 to 16 items instead of the original 14). However, to date, the CIUS has never been simultaneously compared and validated in several languages and different versions. Consequently, the present study tested the psychometric properties of four CIUS versions (i.e., CIUS-14, CIUS-9, CIUS-7, and CIUS-5) across eight languages (i.e., German, French, English, Finnish, Spanish, Italian, Polish, and Hungarian) to (a) examine their psychometric properties, and (b) test their measurement invariance. These analyses also identified the optimal versions of the CIUS. The data were collected via online surveys administered to 4,226 voluntary participants from 15 countries, aged at least 18 years, and recruited from academic environments. All brief versions of the CIUS in all eight languages were validated. Dimensional, configural, and metric invariance were established across all languages for the CIUS-5, CIUS-7, and CIUS-9, but the CIUS-5 and CIUS-7 were slightly more suitable because their model fitted the ordinal estimate better, while for cross-comparisons, the CIUS-9 was slightly better. The brief versions of the CIUS are therefore reliable and structurally stable instruments that can be used for cross-cultural research across adult populations. [less ▲]

Detailed reference viewed: 27 (0 UL)
Full Text
Peer Reviewed
See detailCorruption and tax compliance: evidence from small retailers in Bamako, Mali
Bertinelli, Luisito UL; Bourgain, Arnaud UL; Leon, Florian UL

in Applied Economics Letters (in press)

We investigate the impact of corruption on tax compliance using a sample of 700 small business in Bamako, Mali. The main contribution of this paper is to focus on micro-enterprises (including semi-formal ... [more ▼]

We investigate the impact of corruption on tax compliance using a sample of 700 small business in Bamako, Mali. The main contribution of this paper is to focus on micro-enterprises (including semi-formal and informal ones), while existing works concentrate on large and formal firms. Our results show that (i) even very small firms pay taxes (two-thirds of firms pay taxes in our sample); and, (ii) paying bribes reduces significantly tax compliance. This latter finding is robust (i) to the addition of a set of control variables accounting for other determinants, (ii) to treatment for endogeneity, and (iii) the use of a different proxy for tax compliance. [less ▲]

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailCVH Malach – Centrum vizuální historie Konference a workshop o novém přístupu a využití video databáze Fortunoff
Bronec, Jakub UL

in Marginalia Historica (2020)

On May 18, I took part in a very interesting workshop organized by the Malach Centre for Visual History at the Faculty of Mathematics and Physics of the Charles University in Prague. This exceptional ... [more ▼]

On May 18, I took part in a very interesting workshop organized by the Malach Centre for Visual History at the Faculty of Mathematics and Physics of the Charles University in Prague. This exceptional association provides local access to the extensive digital archives of the USC Shoah Foundation - the Institute for Visual history and Education (USC), the Refugee Voices archive of the Association of Jewish Refugees and the testimony collection of the Jewish Holocaust Centre in Melbourne. Nevertheless, the workshop focused on the newly incorporated Fortunoff Video Archive (FVA) that belongs to the category of long-awaited ingestion, and the path to get a licence was more than difficult. The archive represents a new source for all scholars including me, but in this short comment, I would like to critically point out to several minor drawbacks. [less ▲]

Detailed reference viewed: 26 (0 UL)
See detailRemixed und reloaded: Der Chor und das (neue) Volkstheater
Bloch, Natalie UL; Tropper, Elisabeth UL

Presentation (2019, October)

Detailed reference viewed: 9 (0 UL)
Full Text
See detailArtificial Companion for Second Language Conversation
Höhn, Sviatlana UL

Book published by Springer International Publishing (2019)

Detailed reference viewed: 22 (0 UL)
See detailOpening Remarks / Chair / Program Chair
Schafer, Valerie UL

Scientific Conference (2019, June 27)

Decoding Europe. Technological Pasts in the Digital Age. The conference will study – in an interdisciplinary way – the impact of digitisation on historical developments and the consequences of the digital ... [more ▼]

Decoding Europe. Technological Pasts in the Digital Age. The conference will study – in an interdisciplinary way – the impact of digitisation on historical developments and the consequences of the digital turn on the writing and shaping of European history. The Tensions of Europe (ToE) conference is organised biennially. ToE is an interdisciplinary community of scholars who study the shaping of Europe by paying attention to the role of technology and material culture. It welcomes fruitful interaction between historians of technology and scholars who study technology from all other fields of the humanities and the social sciences. [less ▲]

Detailed reference viewed: 13 (2 UL)
See detailHistory of networks: evolution, issues, challenges
Schafer, Valerie UL

Scientific Conference (2019, June 26)

This conference described and analyzed the recent evolutions in the field of the history of Internet and of the Web, underlining new trends and challenges.

Detailed reference viewed: 9 (1 UL)
See detailCritical perspectives on plurilingual students' identity performance in sustainability education
Gorges, Anna UL

Doctoral thesis (2019)

The purpose of this critical video-ethnographic study is to gain new perspectives on how the open, dialogic structures in an alternative high school setting afford plurilingual adult students’ to take ... [more ▼]

The purpose of this critical video-ethnographic study is to gain new perspectives on how the open, dialogic structures in an alternative high school setting afford plurilingual adult students’ to take agency and the development of a positive student identity. With this goal, the study seeks to contribute to the research literature on plurilingual adult students and on nontraditional students learning about sustainability. The overarching question that guides this study is how does the figured world of multilingual sustainability education based on socioscientific issues mediate plurilingual adult students identities as competent science students? This study is multi-theoretical, multi-method, and multi-level, and as such, the manuscriptstyle dissertation presents several case studies of students as they participate in an interdisciplinary unit on sustainability. Situated in a superdiverse context, the data collection took place at an alternative high school, where students who dropped out of the traditional school system have the chance to get a leaving certificate. Data resources include video data, audio data, student artefacts, fieldnotes and photographs. Multimodal discourse analysis based on Gee (1996) was used to reveal the structures at the micro, meso and macro level that mediate learning for students in the alternative educational setting and afford them to make connections to their everyday lives. Three individual manuscripts examine three separate case studies regarding students’ use of transmodalling, students’ engagement in socio-scientific issues, and students’ perspectives on the holistic teaching and learning approaches in their school. Drawing on dialectic understandings of learning, the three case studies each illuminate holistic approaches to learning focusing on students’ multimodal means of expression, emotions and identity development that afford them with opportunities to take agency and create solidarity in the class and school community. This study concludes that dialogic pedagogy as space of possibilities mediates student’ development of identities as competent science learners, which has implications for their identities as agents positioned for transformative actions. [less ▲]

Detailed reference viewed: 9 (3 UL)
Full Text
Peer Reviewed
See detailWhispering Botnet Command and Control Instructions
Steichen, Mathis UL; Ferreira Torres, Christof UL; Fiz Pontiveros, Beltran UL et al

in 2nd Crypto Valley Conference on Blockchain Technology, Zug 24-26 June 2019 (2019, June 25)

Detailed reference viewed: 17 (0 UL)
Full Text
See detailDeep dive into Interledger: Understanding the Ripple ecosystem
Trestioreanu, Lucian Andrei UL; Cassagnes, Cyril UL; State, Radu UL

Learning material (2019)

The goal of Interledger is to create an international friction-less payments routing system. The Interledger protocol is literally a protocol for inter-ledger payments. To achieve this goal, several ... [more ▼]

The goal of Interledger is to create an international friction-less payments routing system. The Interledger protocol is literally a protocol for inter-ledger payments. To achieve this goal, several aspects of the technology require a deeper analysis. For this reason, we created our own test-bed in our premises. By doing so, we notice that some aspects are well documented but we found that others might need more attention and clarification. Despite a large community effort, the task to keep information of a fast evolving software ecosystem is tedious and not always the priority for such a project. Therefore, the purpose of the following document is to consolidate all the relevant information to create a test-bed for the Interledger protocol between Ripple and Ethereum using proof-of-authority. [less ▲]

Detailed reference viewed: 49 (16 UL)
Full Text
Peer Reviewed
See detailCharacterizations and enumerations of classes of quasitrivial n-ary semigroups
Couceiro, Miguel; Devillet, Jimmy UL

Scientific Conference (2019, June 23)

Detailed reference viewed: 37 (2 UL)
Full Text
See detailShort Introduction to the Roofline Model
Besseron, Xavier UL

Presentation (2019, June 20)

Detailed reference viewed: 25 (1 UL)
Full Text
Peer Reviewed
See detailBridging the Gap between Requirements Modeling and Behavior-driven Development
Alferez, Mauricio UL; Pastore, Fabrizio UL; Sabetzadeh, Mehrdad UL et al

Scientific Conference (2019, June 20)

Acceptance criteria (AC) are implementation agnostic conditions that a system must meet to be consistent with its requirements and be accepted by its stakeholders. Each acceptance criterion is typically ... [more ▼]

Acceptance criteria (AC) are implementation agnostic conditions that a system must meet to be consistent with its requirements and be accepted by its stakeholders. Each acceptance criterion is typically expressed as a natural-language statement with a clear pass or fail outcome. Writing AC is a tedious and error-prone activity, especially when the requirements specifications evolve and there are different analysts and testing teams involved. Analysts and testers must iterate multiple times to ensure that AC are understandable and feasible, and accurately address the most important requirements and workflows of the system being developed. In many cases, analysts express requirements through models, along with natural language, typically in some variant of the UML. AC must then be derived by developers and testers from such models. In this paper, we bridge the gap between requirements models and AC by providing a UML-based modeling methodology and an automated solution to generate AC. We target AC in the form of Behavioral Specifications in the context of Behavioral-Driven Development (BDD), a widely used agile practice in many application domains. More specially we target the well-known Gherkin language to express AC, which then can be used to generate executable test cases. We evaluate our modeling methodology and AC generation solution through an industrial case study in the financial domain. Our results suggest that (1) our methodology is feasible to apply in practice, and (2) the additional modeling effort required by our methodology is outweighed by the benefits the methodology brings in terms of automated and systematic AC generation and improved model precision. [less ▲]

Detailed reference viewed: 109 (18 UL)
See detailAnalysing and reconstructing the Internet and Web of the 1990s. A round table
Schafer, Valerie UL

Presentation (2019, June 19)

This round table is dedicated to the topic “The 1990s as a pivotal decade for the Internet and the Web”. Participants : Niels Brügger, Geert Lovink, Ian Milligan, Patrick Pétin, Valérie Schafer, Michael ... [more ▼]

This round table is dedicated to the topic “The 1990s as a pivotal decade for the Internet and the Web”. Participants : Niels Brügger, Geert Lovink, Ian Milligan, Patrick Pétin, Valérie Schafer, Michael Stevenson, Felix Tréguer. The round table is organised with the authors of a special issue of Internet Histories, which I coedited with Benjamin Thierry and which incorporates several themes identified in the call for papers: Web and Internet histories, archives and access, digital activism and Web history, historicising the Web and digital culture, and social imaginaries of the early Web. Several of the authors of this issue dedicated to the 90s have agreed to exchange and compare their views, methods, problems and expertise, not by presenting the papers they wrote for the issue but rather by engaging in a dialogue based on four central questions that will shed light on the history of the “digital turn”: - How and why were the 1990s a pivotal decade for the Internet and the Web? - Why do we link/intertwine the Internet and the Web: is this relevant? What are the limits and advantages of this approach in analytical terms? - What methods, sources, issues and limits come into play when we attempt to reconstruct the history of the 1990s? - What type of approach is the most relevant and effective: a bottom-up or top-down approach? A study that explores the fringes or one that remains rooted in the mainstream? A US-centric or a more global, or local, or decentralized approach? A discipline-based approach or an interdisciplinary one? Themes explored by the contributors include in particular Perl and the technology and culture of the early Web, the development of the digital rights movement in France, the emergence of a cyberculture in Amsterdam in the 1990s, integration of myths into the Internet and Web’s popular histories, development of an analytical infrastructure to rebuild the history of the 90s. This round table will provide a rich seam of historiographical and methodological perspectives, through the interaction of authors with highly diverse approaches, whether in terms of sources (grey literature, technical guides and handbooks for the general public, legal or state reports, press and audio-visual archives, oral histories, web archives), methods (examining the portrayal of the Web and the Internet in speeches or contemporary representations, analysing controversial issues of the time, incorporating STS notions, etc.) or perspectives (European or North American approaches, the study of software, infrastructures, online content, etc.). This in turn will foster a dialogue with the audience on the writing and shaping of histories of the Internet, the Web and also digital cultures. [less ▲]

Detailed reference viewed: 29 (2 UL)
See detailSoziologie und 'Die Mühlen der Zivilisation'. Gefangen in den Echokammern des Staates?
Connor, Ulla UL

Article for general public (2019)

Detailed reference viewed: 28 (3 UL)