References of "2021"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailIs the Z2xZ2-graded sine-Gordon equation integrable?
Bruce, Andrew UL

in Nuclear Physics B (2021), 971

We examine the question of the integrability of the recently defined Z2xZ2-graded sine-Gordon model, which is a natural generalisation of the supersymmetric sine-Gordon equation. We do this via ... [more ▼]

We examine the question of the integrability of the recently defined Z2xZ2-graded sine-Gordon model, which is a natural generalisation of the supersymmetric sine-Gordon equation. We do this via appropriate auto-Bäcklund transformations, construction of conserved spinor-valued currents and a pair of infinite sets of conservation laws. [less ▲]

Detailed reference viewed: 38 (0 UL)
Full Text
Peer Reviewed
See detailDo We Really Need TSN in Next-Generation Helicopters? Insights From a Case-Study
Mauclair, Cédric; Gutiérrez, Marina; Migge, Jörn et al

in 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC) (2021, October)

As Ethernet rapidly replaces legacy networks as the core high-speed network in helicopter’s avionics and mission systems, we ask in this paper the question of the technical benefits of migrating to ... [more ▼]

As Ethernet rapidly replaces legacy networks as the core high-speed network in helicopter’s avionics and mission systems, we ask in this paper the question of the technical benefits of migrating to Ethernet Time-Sensitive-Networking (TSN). Indeed, TSN has become a rich toolbox of mechanisms and protocols to address Quality-of-Service (QoS) requirements pertaining to timing and reliability. TSN is quickly becoming the prominent technology for wired high-speed communications in a variety of application domains like automotive, industry 4.0 and telecom. In this context, this work explores the use of TSN timing QoS mechanisms for helicopter’s avionics and mission systems on a case-study representative of the communication requirements of next-generation systems. This study aims to provide quantified insights into what can be expected from TSN in terms of timing, memory usage and extensibility. [less ▲]

Detailed reference viewed: 41 (4 UL)
Full Text
Peer Reviewed
See detailThe role of economic complexity on the formation of gender roles
Zanaj, Skerdilajda UL

E-print/Working paper (2021)

Detailed reference viewed: 22 (7 UL)
Full Text
Peer Reviewed
See detail"Just for the sake of transparency": Exploring Voter Mental Models Of Verifiability
Zollinger, Marie-Laure UL; Estaji, Ehsan UL; Ryan, Peter Y A UL et al

in Electronic Voting, Sixth International Joint Conference, E-Vote-ID 2021, Bregenz, Austria, October 5-8 (2021, October)

Verifiable voting schemes allow voters to verify their individual votes and the election outcome. The voting protocol Selene offers verification of plaintext votes while preserving privacy. Misconceptions ... [more ▼]

Verifiable voting schemes allow voters to verify their individual votes and the election outcome. The voting protocol Selene offers verification of plaintext votes while preserving privacy. Misconceptions of verification mechanisms might result in voters mistrust of the system or abstaining from using it. In this paper, we interviewed 24 participants and invited them to illustrate their mental models of Selene. The drawings demonstrated different levels of sophistication and four mental models: 1) technology understanding, 2) meaning of the verification phase, 3) security concerns, and 4) unnecessary steps. We highlight the misconceptions expressed regarding Internet voting technologies and the system design. Based on our findings, we conclude with recommendations for future implementations of Selene as well as for the design of Internet voting systems in general. [less ▲]

Detailed reference viewed: 105 (6 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
Full Text
Peer Reviewed
See detailAnalysis of residual stress relaxation of aluminum alloys EN AW 6061/-82 T6 under cyclic loading
Repplinger, Christian UL; Sellen, Stephan UL; Kedziora, Slawomir UL et al

in Fatigue and Fracture of Engineering Materials and Structures (2021)

Stress relaxation describes the reduction of stress under static or cyclic loading at a constant strain level. Several processes induce intentionally residual stresses, for example, autofrettage of thick ... [more ▼]

Stress relaxation describes the reduction of stress under static or cyclic loading at a constant strain level. Several processes induce intentionally residual stresses, for example, autofrettage of thick-walled pressurized tubes to improve their fatigue life. This well-known process induces residual compressive stresses at the critical inner surface by using a single static but controlled over- loading internal pressure. Relaxation of residual stresses due to cyclic loading in service would endanger the effectiveness of autofrettage and could finally lead to unexpected fatigue failure. In this study, strain-controlled experiments up to 500,000 load cycles and amending nonlinear finite element simulations were done for the aluminum alloys EN AW 6061 T6 and EN AW 6082 T6 to study potential cyclic stress relaxation in four-point bending tests after con- trolled single static plasticization for residual stress generation. This analysis identifies almost stable residual stresses for both materials under different cyclic strain-controlled load levels. [less ▲]

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailLocal Forms of Morphisms of Colored Supermanifolds
Covolo, Tiffany; Kwok, Stephen; Poncin, Norbert UL

in Journal of Geometry and Physics (2021), 168

Detailed reference viewed: 123 (0 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
See detailUncovering Digital History’s forgotten roots: the work of the Association for History and Computing
Zaagsma, Gerben UL

Presentation (2021, October)

This talk has two parts. It will first attempt to frame what a history of digital history might look like, by focusing on hybridity as a key characteristic of historical research, seen as some form of ... [more ▼]

This talk has two parts. It will first attempt to frame what a history of digital history might look like, by focusing on hybridity as a key characteristic of historical research, seen as some form of integrating newly emerging tools, technologies, materials, and/or practices in historical research, and mapped and qualified according to the main phases of historical research. My main argument here is that, in order to ground our current ‘digital’ practices and learn from past experiences and expertise, we need an answer to the question: what were, and are, the continuities and ruptures in the use and uptake of new technologies in historical research, and in the debates that accompanied them? The paper will then proceed to outline what groundwork is necessary to explore digital history’s forgotten roots: a basic overview of the field’s different spatio-temporal trajectories and the networks of computing historians in the pre-PC and early PC period. A key focal point for such a reconstruction are the DH conferences that took place in the 1960s and 1970s, either as singular events or strands of bigger conferences such as the International Congress of Historical Sciences in Moscow in 1970, and later those that were organised under the aegis of the Association for History and Computing (AHC, 1987-2001) and its national member organisations. By studying which scholars attended and where they came from, and by linking that to the topics and methods that were discussed, it will be possible to chart, over time, shifting geographical, topical and methodological developments. In the second part of my paper, I will provide the first results of a concrete case study which is part of this broader endeavour, namely a web archaeology of the old AHC website and H-NET Discussion List for History and Computing (now: H-Digital History). [less ▲]

Detailed reference viewed: 44 (2 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
Full Text
See detailDichtungsanalyse von Elastomer-O-Ringen unter Hochdruck bei Raum- und Tieftemperatur
Repplinger, Christian UL; Sellen, Stephan UL; Maas, Stefan UL

in Repplinger, Christian (Ed.) 47. VDI-Jahrestagung: Schadensanalyse 2021 - Wasserstoff in metallischen Bauteilen und Mediale und klimatische Beanspruchung von polymeren Produkten (2021, October)

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailA global carbon tax? Why firm mobility and heterogeneity matters
Zanaj, Skerdilajda UL

E-print/Working paper (2021)

Detailed reference viewed: 103 (5 UL)
Full Text
Peer Reviewed
See detailDeep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations
Mai, Tieu Long UL; Navet, Nicolas UL

in ACM Transactions on Cyber-Physical Systems (2021), 5(4), 126

Machine learning has been recently applied in real-time systems to predict whether Ethernet network configurations are feasible in terms of meeting deadline constraints without executing conventional ... [more ▼]

Machine learning has been recently applied in real-time systems to predict whether Ethernet network configurations are feasible in terms of meeting deadline constraints without executing conventional schedulability analysis. However, the existing prediction techniques require domain expertise to choose the relevant input features and do not perform consistently when topologies or traffic patterns differ significantly from the ones in the training data. To overcome these problems, we propose a Graph Neural Network (GNN) prediction model that synthesizes relevant features directly from the raw data. This deep learning model possesses the ability to exploit relations among flows, links, and queues in switched Ethernet networks, and generalizes to unseen topologies and traffic patterns. We also explore the use of ensembles of GNNs and show that it enhances the robustness of the predictions. An evaluation on heterogeneous testing sets comprising realistic automotive networks, shows that ensembles of 32 GNN models features a prediction accuracy ranging from 79.3% to 90% for Ethernet networks using priorities as the Quality-of-Service mechanism. The use of ensemble models provides a speedup factor ranging from 77 to 1715 compared to schedulability analysis, which allows a far more extensive design space exploration. [less ▲]

Detailed reference viewed: 235 (19 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Baloglu, Sevdenur UL; Baloglu, Sevdenur UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 72 (13 UL)
Full Text
See detailLabor Market Effects of Technology Shocks biased Toward the Traded Sector
Bertinelli, Luisito UL; cardi, Olivier; restout, Romain

in Department of Economics and Management - Discussion Paper (2021), 2021-15

Motivated by recent evidence pointing at an increasing contribution of asymmetric shocks across sectors to economic fluctuations, we explore the labor market effects of technology shocks biased toward the ... [more ▼]

Motivated by recent evidence pointing at an increasing contribution of asymmetric shocks across sectors to economic fluctuations, we explore the labor market effects of technology shocks biased toward the traded sector. Our VAR evidence for seventeen OECD countries reveals that the non-traded sector alone drives the increase in total hours worked following a technology shock that increases permanently traded relative to non-traded TFP. The shock generates a reallocation of labor toward the non-traded sector which contributes to 35% on average of the rise in non-traded hours worked. Both labor reallocation and variations in labor income shares are found empirically connected with factor-biased technological change. Our quantitative analysis shows that a two-sector open economy model with flexible prices can reproduce the labor market effects we document empirically once we allow for imperfect mobility of labor, gross substitutability between home- and foreign-produced traded goods, and factor-biased technological change. When calibrating the model to country-specific data, its ability to account for the cross-country reallocation and redistributive effects we estimate increases once we let factor-biased technological change vary between sectors and across countries. [less ▲]

Detailed reference viewed: 54 (0 UL)
See detailErnährungssouveränität: Katzentisch statt Mitbestimmung
Adami, Joël; Reckinger, Rachel UL

Article for general public (2021)

Detailed reference viewed: 8 (2 UL)
Full Text
See detailGetting Creative - AI and Arts
Schommer, Christoph UL

in Keynote Talk; AIFA - Artificial Intelligence and the Future of Arts (2021)

Keynote Talk "Getting Creative - AI and Arts"; AIFA - Artificial Intelligence and the Future of Arts

Detailed reference viewed: 116 (0 UL)