Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailOracles for Testing Software Timeliness with Uncertainty
Wang, Chunhui UL; Pastore, Fabrizio UL; Briand, Lionel UL

in ACM Transactions on Software Engineering and Methodology (in press)

Uncertainty in timing properties (e.g., detection time of external events) is a common occurrence in embedded software systems since these systems interact with complex physical environments. Such time ... [more ▼]

Uncertainty in timing properties (e.g., detection time of external events) is a common occurrence in embedded software systems since these systems interact with complex physical environments. Such time uncertainty leads to non-determinism. For example, time-triggered operations may either generate different valid outputs across different executions, or experience failures (e.g., results not being generated in the expected time window) that occur only occasionally over many executions. For these reasons, time uncertainty makes the generation of effective test oracles for timing requirements a challenging task. To address the above challenge, we propose STUIOS (Stochastic Testing with Unique Input Output Sequences), an approach for the automated generation of stochastic oracles that verify the capability of a software system to fulfill timing constraints in the presence of time uncertainty. Such stochastic oracles entail the statistical analysis of repeated test case executions based on test output probabilities predicted by means of statistical model checking. Results from two industrial case studies in the automotive domain demonstrate that this approach improves the fault detection effectiveness of tests suites derived from timed automata, compared to traditional approaches. [less ▲]

Detailed reference viewed: 59 (2 UL)
Full Text
Peer Reviewed
See detailCoercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme
Roenne, Peter UL; Atashpendar, Arash UL; Kristian, Gjøsteen et al

in Financial Cryptography and Data Security 2019. FC 2016: International Workshops, CIW, VOTING, and WTSC (in press)

We present an approach for performing the tallying work in the coercion-resistant JCJ voting protocol, introduced by Juels, Catalano, and Jakobsson, in linear time using fully homomorphic encryption (FHE ... [more ▼]

We present an approach for performing the tallying work in the coercion-resistant JCJ voting protocol, introduced by Juels, Catalano, and Jakobsson, in linear time using fully homomorphic encryption (FHE). The suggested enhancement also paves the path towards making JCJ quantum-resistant, while leaving the underlying structure of JCJ intact. The exhaustive, comparison-based approach of JCJ using plaintext equivalence tests leads to a quadratic blow-up in the number of votes, which makes the tallying process rather impractical in realistic settings with a large number of voters. We show how the removal of invalid votes can be done in linear time via a solution based on recent advances in various FHE primitives such as hashing, zero-knowledge proofs of correct decryption, verifiable shuffles and threshold FHE. We conclude by touching upon some of the advantages and challenges of such an approach, followed by a discussion of further security and post-quantum considerations. [less ▲]

Detailed reference viewed: 40 (7 UL)
Full Text
Peer Reviewed
See detailA tutorial on Bayesian inference to identify material parameters in solid mechanics
Rappel, Hussein UL; Beex, Lars UL; Hale, Jack UL et al

in Archives of Computational Methods in Engineering (in press)

The aim of this contribution is to explain in a straightforward manner how Bayesian inference can be used to identify material parameters of material models for solids. Bayesian approaches have already ... [more ▼]

The aim of this contribution is to explain in a straightforward manner how Bayesian inference can be used to identify material parameters of material models for solids. Bayesian approaches have already been used for this purpose, but most of the literature is not necessarily easy to understand for those new to the field. The reason for this is that most literature focuses either on complex statistical and machine learning concepts and/or on relatively complex mechanical models. In order to introduce the approach as gently as possible, we only focus on stress-strain measurements coming from uniaxial tensile tests and we only treat elastic and elastoplastic material models. Furthermore, the stress-strain measurements are created artificially in order to allow a one-to-one comparison between the true parameter values and the identified parameter distributions. [less ▲]

Detailed reference viewed: 41 (5 UL)
Peer Reviewed
See detailNetworks and Governance of Local Food Systems. The case of Food Policy Councils
Reckinger, Rachel UL

Scientific Conference (2019, June 06)

Detailed reference viewed: 18 (0 UL)
Peer Reviewed
See detailExploration of Different School Value-Added Models in a Highly Heterogeneous Educational Context
Levy, Jessica UL; Brunner, Martin; Keller, Ulrich UL et al

Scientific Conference (2019, April)

Detailed reference viewed: 33 (4 UL)
Full Text
Peer Reviewed
See detailSecurity – Visible, Yet Unseen? How Displaying Security Mechanisms Impacts User Experience and Perceived Security
Distler, Verena UL; Zollinger, Marie-Laure UL; Lallemand, Carine UL et al

in Proceedings of ACM CHI Conference on Human Factors in Computing Systems (CHI2019) (2019, April)

An unsolved debate in the field of usable security concerns whether security mechanisms should be visible, or blackboxed away from the user for the sake of usability. However, tying this question to ... [more ▼]

An unsolved debate in the field of usable security concerns whether security mechanisms should be visible, or blackboxed away from the user for the sake of usability. However, tying this question to pragmatic usability factors only might be simplistic. This study aims at researching the impact of displaying security mechanisms on user experience (UX) in the context of e-voting. Two versions of an e-voting application were designed and tested using a between-group experimental protocol (N=38). Version D displayed security mechanisms, while version ND did not reveal any security-related information. We collected data on UX using standardised evaluation scales and semi-structured interviews. Version D performed better overall in terms of UX and need fulfilment. Qualitative analysis of the interviews gives further insights into factors impacting perceived security. Our study adds to existing research suggesting a conceptual shift from usability to UX and discusses implications for designing and evaluating secure systems. [less ▲]

Detailed reference viewed: 23 (5 UL)
Full Text
Peer Reviewed
See detailCurvature based DAD-method for damage localisation under consideration of measurement noise minimisation
Erdenebat, Dolgion UL; Waldmann, Danièle UL; Teferle, Felix Norman UL

in Engineering Structures (2019), 181

Several research projects on condition assessment of bridges have proven that structural responses from dynamic excitation or static loading are influenced by local damages and thus, could be used for the ... [more ▼]

Several research projects on condition assessment of bridges have proven that structural responses from dynamic excitation or static loading are influenced by local damages and thus, could be used for the detection and localisation of damages. Particularly, the curvature of structures is directly depending on their stiffness. In order to localise the discontinuities in curvature lines resulting from damage, this paper uses the so-called Deformation Area Difference Method (DAD), which is based on static load deflection tests on bridge structures. The DAD-method for damage localisation is presented within the paper using a theoretical example, which is then verified by two laboratory experiments. The first experiment consists of a reinforced concrete beam, which is loaded stepwise until failure of the concrete in the compression zone. Due to the load increase, the tensile zone of the beam starts cracking, leading to a stiffness reduction. The application of the DAD-method allows identifying the cracked area from the measurement of the deflection line. However, a challenge and a prerequisite for the applicability of the DAD-method is the highly accurate measurement of the deflection line. Therefore, one of the most modern measurement techniques such as digital photogrammetry is applied. Nonetheless, the accuracy of each measurement technique is limited. The second laboratory experiment consists of a steel beam, which is locally damaged at three positions. The degree of the damage is stepwise increased in order to identify at which degree of damage the applied DAD-method is still able to identify and localise damage. In this work, the focus lies on the minimisation of the effect of noise resulting from the limited measurement precision. Possible solutions were examined and proposed based on methods such as data smoothing using polynomial regression, consideration of standard deviation and measurement point variation. The reduction of the noise effect leads to an increase in the sensitivity of the damage localisation. The DAD-method has proven its potential for practical application through the successful localisation of cracking in the concrete beam. [less ▲]

Detailed reference viewed: 28 (3 UL)
Full Text
Peer Reviewed
See detailThe TNF Family of Ligands and Receptors: Communication Modules in the Immune System and Beyond
Dostert, Catherine; Grustat, M.; Letellier, Elisabeth UL et al

in Physiological Reviews (2019), 99(1),

The tumor necrosis factor (TNF) and TNF receptor (TNFR) superfamilies (TNFSF/TNFRSF) include 19 ligands and 29 receptors that play important roles in the modulation of cellular functions. The ... [more ▼]

The tumor necrosis factor (TNF) and TNF receptor (TNFR) superfamilies (TNFSF/TNFRSF) include 19 ligands and 29 receptors that play important roles in the modulation of cellular functions. The communication pathways mediated by TNFSF/TNFRSF are essential for numerous developmental, homeostatic, and stimulus-responsive processes in vivo. TNFSF/TNFRSF members regulate cellular differentiation, survival, and programmed death, but their most critical functions pertain to the immune system. Both innate and adaptive immune cells are controlled by TNFSF/TNFRSF members in a manner that is crucial for the coordination of various mechanisms driving either co-stimulation or co-inhibition of the immune response. Dysregulation of these same signaling pathways has been implicated in inflammatory and autoimmune diseases, highlighting the importance of their tight regulation. Investigation of the control of TNFSF/TNFRSF activities has led to the development of therapeutics with the potential to reduce chronic inflammation or promote anti-tumor immunity. The study of TNFSF/TNFRSF proteins has exploded over the last 30 yr, but there remains a need to better understand the fundamental mechanisms underlying the molecular pathways they mediate to design more effective anti-inflammatory and anti-cancer therapies. [less ▲]

Detailed reference viewed: 25 (0 UL)
Full Text
See detailMethodological Aspects of Software Engineering, Assurance, Quality, and Reliability Engineering (MAS/AQR) 2019 Welcome from the Minitrack Co-Chairs
Tenbergen, Bastian; Ries, Benoît UL

in Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS) (2019, January)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailWhy is it so hard? And for whom? Obstacles to intra-European mobility
Kmiotek-Meier, Emilia Alicja UL; Skrobanek, Jan; Nienaber, Birte UL et al

in Migration Letters (2019)

Detailed reference viewed: 42 (8 UL)
See detailSchulische Kontexte, Schulentfremdung und Bildungsarmut
Hadjar, Andreas UL; Scharf, Jan; Grecu, Alyssa Laureen UL

in Quenzel, Gudrun; Hurrelmann, Klaus (Eds.) Handbuch Bildungsarmut (2019)

Detailed reference viewed: 25 (2 UL)
Full Text
Peer Reviewed
See detailThe role of planning in complex problem solving
Eichmann, Beate; Goldhammer, Frank; Greiff, Samuel UL et al

in Computers & Education (2019), 128

Complex problem solving (CPS) is a highly transversal competence needed in educational and vocational settings as well as everyday life. The assessment of CPS is often computer-based, and therefore ... [more ▼]

Complex problem solving (CPS) is a highly transversal competence needed in educational and vocational settings as well as everyday life. The assessment of CPS is often computer-based, and therefore provides data regarding not only the outcome but also the process of CPS. However, research addressing this issue is scarce. In this article we investigated planning activities in the process of complex problem solving. We operationalized planning through three behavioral measures indicating the duration of the longest planning interval, the delay of the longest planning interval and the variance of intervals between each two successive interactions. We found a significant negative average effect for our delay indicator, indicating that early planning in CPS is more beneficial. However, we also found effects depending on task and interaction effects for all three indicators, suggesting that the effects of different planning behaviors on CPS are highly intertwined. [less ▲]

Detailed reference viewed: 29 (6 UL)
Full Text
Peer Reviewed
See detailLa juridictionnalisation du droit dans l’espace OHADA
Menetrey, Séverine UL

in Penant (2019)

Detailed reference viewed: 29 (2 UL)
Full Text
Peer Reviewed
See detailLe principe de juridiction dans une perspective comparatiste
Menetrey, Séverine UL

in Les principes directeurs du procès et les racines européennes de la pensée de Motulsky (2019)

Detailed reference viewed: 26 (3 UL)
Full Text
Peer Reviewed
See detailReview of Elizabeth Guffey (2018). Designing Disability: Symbols, Space and Society.
Powell, Justin J W UL

in Design Issues (2019)

In her pathbreaking book Designing Disability: Symbols, Space and Society, Elizabeth Guffey provides vital insights into decades of social and design processes that ultimately produced the most ubiquitous ... [more ▼]

In her pathbreaking book Designing Disability: Symbols, Space and Society, Elizabeth Guffey provides vital insights into decades of social and design processes that ultimately produced the most ubiquitous symbol of disability—and accessibility—worldwide: The International Symbol of Access (ISA). Building on existing scholarship from a range of disciplines coupled with original historical research, this book uncovers the origins and evolving (largely transatlantic) architectural and design discourse, and several moments of serendipity, that led to its creation. The ISA has since diffused to become part of the built environment in all corners of the world. Richly illustrated and charting at times vitriolic debates, protest activities, and artistic interventions up to the contemporary era, Guffey weaves together activist and aesthetic perspectives into a tapestry of social and design history relating to disability and accessibility. Structured in historical phases, the book’s chapters progress across larger and shorter stretches over more than a century of wheelchair design, social and welfare policies and programs (mostly in the US, UK, and Scandinavia), architectural standards, and symbols relating to barriers and accessibility measures. Guffey engages the reader in what is necessarily a multidisciplinary, multilevel investigation, with unexpected twists and turns. On one level, the book focuses on the politics of highest office, with US Presidents Franklin D. Roosevelt and Dwight D. Eisenhower (who permanently or temporarily used wheelchairs) sketched against the backdrop of the lack of accessible government buildings in Washington, DC, and the social consensus then to hide impairment for fear of stigmatization (shifted marginally by disabled Veterans). On another level, welfare state provisions in the US, UK, and Scandinavia are discussed in light of progressive legislation and the persistent challenges of implementation. Finally, at ground level, the utmost significance of individuals devoted to universal design writ large becomes manifestly evident. Guffey recounts how, in US universities, inspirational figures such as Timothy Nugent (at Illinois), Ron Mace (at North Carolina State), and Viktor Papanek (at Purdue, CalArts, Kansas, etc.), campus planners, and students designed and constructed new worlds on the drawing board and poured in concrete. We follow design professionals, such as architect Selwyn Goldsmith in the UK, who was a strident arbiter of accessibility. Academic initiatives went hand-in-fist with advocacy activities in organizations and protest and artistic actions in the streets. Indeed, to raise general awareness of the ever-present attitudinal and structural barriers—institutionalized discrimination—that disabled people face daily and to secure disability rights, disability protests and cross-national organizing have repeatedly been necessary. The long and bumpy road to universal design extends into the future. Integral to this history of design development, revision, and critiques of various symbols of disability have been international events (world expositions, Olympics & Paralympics) and organizations (Rehabilitation International), artistic inspiration, design competitions, and guerilla art interventions. Tracing the convoluted process of designing what would become the ISA—fifty years ago now—leads to Susanne Koefoed, a Danish design student, and Karl Montan, leader of the Swedish Institute for the Handicapped, but also to international negotiations and chance. The on-going questioning of the official ISA, especially, its “misfit” nature as an amalgam of technical aid and person, emphasizes the shift from invisibility to ubiquity of disability via social change and political activism as well as cultural representations and the need for signs of identity. In the new century, newer initiatives in the US, such as Brendan Murphy’s and the Accessible Icon Project (developed by Sara Hendren and Brian Glenney), have challenged the official ISA, revealing both persistence and change in understandings of disability and accessibility. When integrated into signage, the ISA designates accessible spaces and facilities. If the ISA has become present in public buildings and spaces everywhere, cultural notions of disability and access remain understudied across the social sciences, with especially the Global South remaining a blank page. Research is needed to chart the diverse local interpretations that mirror shifts from exclusion to inclusion of disabled people as the human rights revolution witnessed since the end of WWII continues, but also suffers backlash, even in the Global North. Paradoxically, this global icon refers simultaneously to disability, and its ameliorating factor, accessibility. Yet, the ambivalence and debate surrounding the ISA persist, as Guffey emphasizes especially in the later chapters, focusing on proposed alternatives to the existing ISA, codified as it is in law and conforming to the guidelines of the International Organization for Standardization (ISO). Until universal design (and the universalizing social policies likely needed to support it) succeeds in reducing the barriers in environments and in attitudes and in maximizing the usefulness of products and services during the design stage, identity formation processes are among the most positive aspects of the ISA. The icon’s influence and implementation extend far beyond marking modifications to the built environment. Whether taken-for-granted, modified or critiqued, the current ISA has spread globally. It can now be found wherever people move in physical space, finding their way. The symbol testifies to the on-going shift from exclusion, along a slow and winding road, to social inclusion and full participation of disabled people. In sum, Guffey brings scholarship on the ISA to the next stage. It complements studies that chart the influence of disabled peoples’ organizations and of international organizations as they facilitated remarkable shifts in disability paradigms. Yet institutionalized discrimination abounds, with the ISA marking that accessibility and universal design are far from achieved. If a few imprecisions tarnish the literature list, this historical work reconstructing a largely Western process cannot be faulted for not providing a complete global analysis of ISA implementation and adjustment. In that vein, with contributions from Guffey herself, the current exhibition “Viktor Papanek: The Politics of Design” (Kries, Klein & Clarke, 2018) indeed extends the discussion to the Global South and across further disciplines, rightfully embedding the dialogue about symbols of disability and enhancing access within broader contexts. Footnote: Kries, Matteo, Amelie Klein & Alison J. Clarke (eds.) (2018). Viktor Papanek: The Politics of Design. Weil am Rhein, Germany: Vitra Design Museum. ISBN: 978-3-945852-26-2. The exhibition is currently on view at Germany’s Vitra Design Museum (20 September 2018–10 March 2019), then at Barcelona Design Museum (20 October 2019–2 February 2020). [less ▲]

Detailed reference viewed: 41 (7 UL)
See detailEin Experiment kollektiver Gewissensprüfung. Situativer Opportunismus und kumulative Heroisierung
Fickers, Andreas UL; Brüll, Christoph UL

in Quadflieg, Peter M.; Lejeune, Carlo; Brüll, Christoph (Eds.) Grenzerfahrungen. Eine Geschichte der Deutschsprachigen Gemeinschaft Belgiens. Vol. 4: Staatenwechsel, Identitätskonflikte, Kriegserfahrungen (1919-1945) (2019)

Geschichte wird anhand von Quellen unterschiedlicher Herkunft erzählt und interpretiert. Die Fragen der Historiker entwickeln sich auch auf Grundlage ihrer verinnerlichten familiären Erzählungen über ... [more ▼]

Geschichte wird anhand von Quellen unterschiedlicher Herkunft erzählt und interpretiert. Die Fragen der Historiker entwickeln sich auch auf Grundlage ihrer verinnerlichten familiären Erzählungen über erlebte Geschichte. Kann diese Perspektive und ihre Konfrontation mit der archivalischen Überlieferung neue Sichtweisen auf die Vergangenheit ermöglichen? Wie können Historiker das Konzept des situativen Opportunismus nutzen, um die Entscheidungen der Zeitgenossen zu verstehen? Ein Denkanstoß. [less ▲]

Detailed reference viewed: 33 (6 UL)
Full Text
Peer Reviewed
See detailTrait emotional intelligence and problematic online behaviors among adolescents: The mediating role of mindfulness, rumination, and depression
Kircaburun, Kagan; Griffiths, Mark D.; Billieux, Joël UL

in Personality and Individual Differences (2019), 139

Preliminary studies have shown that trait emotional intelligence (trait EI) can be a risk factor for higher problematic use of specific online activities. However, the possible mediating role of ... [more ▼]

Preliminary studies have shown that trait emotional intelligence (trait EI) can be a risk factor for higher problematic use of specific online activities. However, the possible mediating role of mindfulness and rumination on the relationship of trait EI with problematic social media use (PSMU) and problematic online gaming (POG) is unclear. Among a sample of 470 adolescents, the present study examined the direct and indirect associations of trait EI with PSMU and POG and the potential mediational role of mindfulness, rumination, and depression while controlling for gender and age. Multiple mediation analyses indicated that trait EI was indirectly associated with PSMU via mindfulness, rumination, and depression, and with POG via mindfulness and rumination. Furthermore, rumination affected PSMU positively. The study provides empirical evidence of the theoretical assumption that different types of specific problematic online behaviors are related to both shared and specific risk factors. [less ▲]

Detailed reference viewed: 24 (1 UL)
Full Text
Peer Reviewed
See detailEgenberger, or the place of non discrimination on the ground of religion in the EU constitutional legal order
Zaccaroni, Giovanni UL

in Stato, Chiese e Pluralismo Confessionale (2019)

Detailed reference viewed: 23 (0 UL)