References of "Scientific congresses, symposiums and conference proceedings"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA New Perspective on the Luxembourgish Genitive
Döhmer, Caroline UL

in Germanic Genitives (in press)

Detailed reference viewed: 410 (10 UL)
Full Text
Peer Reviewed
See detailLes archevêques de Milan face aux premières expériences seigneuriales: stratégies et positionnements (milieu XIIIe-début XIVe s.)
Salemme, Timothy UL

in Barralis, Christine (Ed.) L’évêque face à son métier. Actes du colloque international, Metz. 15-17 novembre 2017 (in press)

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailMM-Based Solution for Partially Connected Hybrid Transceivers with Large Scale Antenna Arrays
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 2019 IEEE Global Communications Conference (GLOBECOM) (in press)

In a mmWave multiple-input multiple-output (MIMO) communication system employing a large-scale antenna array (LSAA), the hybrid transceivers are used to reduce the power consumption and the hardware cost ... [more ▼]

In a mmWave multiple-input multiple-output (MIMO) communication system employing a large-scale antenna array (LSAA), the hybrid transceivers are used to reduce the power consumption and the hardware cost. In a hybrid analog-digital (A/D) transceiver, the pre/post-processing operation splits into a lower-dimensional baseband (BB) pre/postcoder, followed by a network of analog phase shifters. Primarily two kinds of hybrid architectures are proposed in the literature to implement hybrid transceivers namely, the fully-connected and the partially-connected. Implementation of fully-connected architecture has higher hardware complexity, cost and power consumption in comparison with partially-connected. In this paper, we focus on partially-connected hybrid architecture and develop a low-complexity algorithm for transceiver design for a single user point-to-point mmWave MIMO system. The proposed algorithm utilizes the variable elimination (projection) and the minorization-maximization (MM) frameworks and has convergence guarantees to a stationary point. Simulation results demonstrate that the proposed algorithm is easily scalable for LSAA systems and achieves significantly improved performance in terms of the spectral efficiency (SE) of the system compared to the state-of-the-art solution. [less ▲]

Detailed reference viewed: 70 (16 UL)
Full Text
Peer Reviewed
See detailExternalisation de la politique migratoire et identité de l'Union européenne
Neframi, Eleftheria UL; Gatti, Mauro UL

in Benlolo, Myriam (Ed.) L'Union européenne et les migrations (in press)

Detailed reference viewed: 144 (5 UL)
Full Text
Peer Reviewed
See detailBlockchain Governance: An Overview and Prediction of Optimal Strategies Using Nash Equilibrium
Khan, Nida UL; Ahmad, Tabrez; Patel, Anass et al

in 3rd AUE International Research Conference (in press)

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this ... [more ▼]

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this nascent technology. In this paper, the position of blockchain governance within the hierarchy of Institutional governance is discussed. Blockchain governance is analyzed from the perspective of IT governance using Nash equilibrium to predict the outcome of different governance decisions. A payoff matrix for blockchain governance is created and simulation of different strategy profiles is accomplished for computation of all Nash equilibria. We also create payoff matrices for different kinds of blockchain governance, which were used to propose novel mathematical formulae usable to predict the best governance strategy that minimizes the occurrence of a hard fork as well as predicts the behavior of the majority during protocol updates. [less ▲]

Detailed reference viewed: 175 (13 UL)
Full Text
Peer Reviewed
See detailLeveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
Veizaga Campero, Alvaro Mario UL; Alferez, Mauricio UL; Torre, Damiano UL et al

in Proceedings of 23rd ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (in press)

In many software and systems development projects, analysts specify requirements using a combination of modeling and natural language (NL). In such situations, systematic acceptance testing poses a ... [more ▼]

In many software and systems development projects, analysts specify requirements using a combination of modeling and natural language (NL). In such situations, systematic acceptance testing poses a challenge because defining the acceptance criteria (AC) to be met by the system under test has to account not only for the information in the (requirements) model but also that in the NL requirements. In other words, neither models nor NL requirements per se provide a complete picture of the information content relevant to AC. Our work in this paper is prompted by the observation that a reconciliation of the information content in NL requirements and models is necessary for obtaining precise AC. We perform such reconciliation by devising an approach that automatically extracts AC-related information from NL requirements and helps modelers enrich their model with the extracted information. An existing AC derivation technique is then applied to the model that has now been enriched by the information extracted from NL requirements. Using a real case study from the financial domain, we evaluate the usefulness of the AC-related model enrichments recommended by our approach. Our evaluation results are very promising: Over our case study system, a group of five domain experts found 89% of the recommended enrichments relevant to AC and yet absent from the original model (precision of 89%). Furthermore, the experts could not pinpoint any additional information in the NL requirements which was relevant to AC but which had not already been brought to their attention by our approach (recall of 100%) [less ▲]

Detailed reference viewed: 128 (11 UL)
Full Text
Peer Reviewed
See detailFlipping Geometric Triangulations on Hyperbolic Surfaces
Despré, vincent; Schlenker, Jean-Marc UL; Teillaud, Monique

in symposium on computational geometry (SoCG) (in press)

We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with ... [more ▼]

We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with fixed vertices of a flat torus or a closed hyperbolic surface is connected. We give upper bounds on the number of edge flips that are necessary to transform any geometric triangulation on such a surface into a Delaunay triangulation. [less ▲]

Detailed reference viewed: 14 (1 UL)
Full Text
Peer Reviewed
See detailMind the gap: Robotic Mission Planning Meets Software Engineering
Askarpour, Mehrnoosh; Menghi, Claudio UL; Belli, Gabriele et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (in press)

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to ... [more ▼]

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to accomplish a complex mission. While many planners have been proposed in the robotics literature, they are usually evaluated on showcase examples, making hard to understand whether they can be effectively (re)used for realising complex missions, with heterogeneous robots, and in real-world scenarios. In this paper we propose ENFORCE, a framework which allows wrapping FM-based planners into comprehensive software engineering tools, and considers complex robotic missions. ENFORCE relies on (i) realistic maps (e.g, fire escape maps) that describe the environment in which the robots are deployed; (ii) temporal logic for mission specification; and (iii) Uppaal model checker to compute plans that satisfy mission specifications. We evaluated ENFORCE by analyzing how it supports computing plans in real case scenarios, and by evaluating the generated plans in simulated and real environments. The results show that while ENFORCE is adequate for handling single-robot applications, the state explosion still represents a major barrier for reusing existing planners in multi-robot applications. [less ▲]

Detailed reference viewed: 175 (10 UL)
Full Text
Peer Reviewed
See detailProcess analysis in thermal process engineering with high-performance computing using the example of grate firing
Peters, Bernhard UL; Rousset, Alban UL; Besseron, Xavier UL et al

in Process analysis in thermal process engineering with high- performance computing using the example of grate firing (in press)

Biomass as a renewable energy source continues to grow in popularity to reduce fossil fuel consumption for environmental and economic benefits. In the present contribution, the combustion chamber of a 16 ... [more ▼]

Biomass as a renewable energy source continues to grow in popularity to reduce fossil fuel consumption for environmental and economic benefits. In the present contribution, the combustion chamber of a 16 MW geothermal steam super-heater, which is part of the Enel Green Power "Cornia 2" power plant, is being investigated with high-performance computing methods. For this purpose, the extended discrete element method (XDEM) developed at the University of Luxembourg is used in a high-performance computing environment, which includes both the moving wooden bed and the combustion chamber above it. The XDEM simulation platform is based on a hybrid four-way coupling between the Discrete Element Method (DEM) and Computational Fluid Dynamics (CFD). In this approach, particles are treated as discrete elements that are coupled by heat, mass, and momentum transfer to the surrounding gas as a continuous phase. For individual wood particles, besides the equations of motion, the differential conservation equations for mass, heat, and momentum are solved, which describe the thermodynamic state during thermal conversion. The consistency of the numerical results with the actual system performance is discussed in this paper to determine the potentials and limitations of the approach. [less ▲]

Detailed reference viewed: 70 (6 UL)
See detail« … Eripuit servus mihi vitam » - Représentations médiatiques de la violence et de la criminalité dans les provinces occidentales de l'Empire romain
Binsfeld, Andrea UL

in Amodio, Mara (Ed.) The imagery of violence in Roman society (I-VI cent.). Persistence, innovations and interrelations from the Roman to the Christian Empire (in press)

Detailed reference viewed: 88 (12 UL)
Full Text
Peer Reviewed
See detailTopologie culinaire au cinéma : le lieu commun du repas et ses déclinaison
Roelens, Nathalie UL

in Bibliothèque électronique Paris 8 (in press)

Detailed reference viewed: 147 (9 UL)
Full Text
Peer Reviewed
See detailHybrid Analog-Digital Precoding Design for Satellite Systems
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 37th International Communications Satellite Systems Conference (ICSSC'19) (in press)

The work investigates the feasibility of massive MIMO in SatCom. Towards this, the necessary channel models, system parameters and scenarios are identified and a basic simulator developed. The work then ... [more ▼]

The work investigates the feasibility of massive MIMO in SatCom. Towards this, the necessary channel models, system parameters and scenarios are identified and a basic simulator developed. The work then considers an efficient implementation of the massive MIMO transmission through the use of hybrid analog/digital precoder. Efficient algorithmic solutions are proposed for the partially connected precoder architecture which enables efficiency in power/ hardware complexity and its performance evaluated. [less ▲]

Detailed reference viewed: 88 (22 UL)
Full Text
Peer Reviewed
See detailConservazione e ricezione dei documenti pontifici in Italia settentrionale: il caso del monastero cistercense di Chiaravalle Milanese (secoli XII-XVI)
Salemme, Timothy UL

in Salemme, Timothy; Renault, Jean-Baptiste (Eds.) Conservation et réception des documents pontificaux par les Ordres religieux (XIe-XVe siècles). Actes du colloque international. Nancy, 12-13 décembre 2013 (in press)

Detailed reference viewed: 34 (0 UL)
See detailThe legacy of coal mining – a view on examples in Belgium and France
Helfer, Malte UL

in Deutsches Bergbau-Museum Bochum (Ed.) Boom – Crisis – Heritage. King Coal and Energy Revolutions after 1945; proceedings of the international conference March 14th-16th 2018, Technische Hochschule Georg Agricola, Bochum (in press)

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s ... [more ▼]

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s French-speaking neighbours and presents the most important remaining coal mining heritage sites as well as some extraordinary converted sites in France and the Belgian province Wallonia. [less ▲]

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailGoal-Directed Decision Procedures for Input/Output Logics
Steen, Alexander UL

in Marra, Alessandra; Liu, Fenrong; Portner, Paul (Eds.) et al Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021, Munich) (in press)

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been ... [more ▼]

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed. [less ▲]

Detailed reference viewed: 55 (3 UL)
Full Text
Peer Reviewed
See detailWidths of regular and context-free languages
Mestel, David UL

in 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) (in press)

Detailed reference viewed: 57 (6 UL)
Full Text
Peer Reviewed
See detailL’exposition d’objets ou de collections de « marque » : cobranding, réécriture, réénonciation
Schall, Céline UL

in Laval, Sylvie (Ed.) Marques muséales : un espace public revisité ? (in press)

Le cobranding est une pratique habituelle du secteur marchand. Mais lorsque deux musées réalisent ensemble une exposition, peut-on parler de cobranding muséal ? Quelles en seraient les spécificités  ... [more ▼]

Le cobranding est une pratique habituelle du secteur marchand. Mais lorsque deux musées réalisent ensemble une exposition, peut-on parler de cobranding muséal ? Quelles en seraient les spécificités ? Quels effets peut avoir cette démarche sur la communication ou sur l’exposition ? Notamment, le musée d’accueil s’approprie-t-il simplement l’imaginaire et les valeurs de la marque invitée par un phénomène de « transfert » ? Pour répondre à ces questions, nous étudions trois expositions qui reprennent des objets ou collections de musées dont la marque est internationalement reconnue. L’analyse sémiotique des images de marque du musée d’accueil et du musée invité ainsi que l’analyse sémiopragmatique des expositions montrent l’impact de la présence d’une grande marque internationale sur l’exposition et réciproquement, l’impact de l’exposition sur l’image de marque du musée d’accueil. Plus qu’un simple cobranding, c’est une réécriture impliquant une réénonciation du discours et des valeurs portés par les marques qui est proposée à travers ces expositions. Le processus aboutit à la création de nouveaux espaces symboliques et d’expositions réflexives, avec plusieurs niveaux de lecture. [less ▲]

Detailed reference viewed: 214 (6 UL)
Full Text
Peer Reviewed
See detailUsing Passive Data Collection Methods to Learn Complex Mobility Patterns: An Exploratory Analysis
Toader, Bogdan UL; Cantelmo, Guido UL; Popescu, Mioara et al

Scientific Conference (in press)

Detailed reference viewed: 123 (11 UL)
Full Text
Peer Reviewed
See detailA Methodology for Handling Data Movements by Anticipation: Position Paper
Bleuse, Raphaël UL; Lucarelli, Giorgio; Trystram, Denis

in Euro-Par 2018 Workshops (in press)

The enhanced capabilities of large scale parallel and distributed platforms produce a continuously increasing amount of data which have to be stored, exchanged and used by various tasks allocated on ... [more ▼]

The enhanced capabilities of large scale parallel and distributed platforms produce a continuously increasing amount of data which have to be stored, exchanged and used by various tasks allocated on different nodes of the system. The management of such a huge communication demand is crucial for reaching the best possible performance of the system. Meanwhile, we have to deal with more interferences as the trend is to use a single all-purpose interconnection network whatever the interconnect (tree-based hierarchies or topology-based heterarchies). There are two different types of communications, namely, the flows induced by data exchanges during the computations, and the flows related to Input/Output operations. We propose in this paper a general model for interference-aware scheduling, where explicit communications are replaced by external topological constraints. Specifically, the interferences of both communication types are reduced by adding geometric constraints on the allocation of tasks into machines. The proposed constraints reduce implicitly the data movements by restricting the set of possible allocations for each task. This methodology has been proved to be efficient in a recent study for a restricted interconnection network (a line/ring of processors which is an intermediate between a tree and higher dimensions grids/torus). The obtained results illustrated well the difficulty of the problem even on simple topologies, but also provided a pragmatic greedy solution, which was assessed to be efficient by simulations. We are currently extending this solution for more complex topologies. This work is a position paper which describes the methodology, it does not focus on the solving part. [less ▲]

Detailed reference viewed: 119 (0 UL)
Full Text
See detailUpdate Internationales und Europäisches Steuerrecht
Sinnig, Julia UL

in Taeger, Jürgen (Ed.) Tagungsband DSRI-Herbstakademie 2020 (in press)

Im Berichtszeitraum dieses Updates rief die OECD zu einem zweiten Öffentlichkeitsbetei-ligungsverfahren auf und erarbeitete einen präziseren Lösungsansatz zur Besteuerung digitalisierter Geschäftsmodelle ... [more ▼]

Im Berichtszeitraum dieses Updates rief die OECD zu einem zweiten Öffentlichkeitsbetei-ligungsverfahren auf und erarbeitete einen präziseren Lösungsansatz zur Besteuerung digitalisierter Geschäftsmodelle, der in einer Veröffentlichung im Januar 2020 vorgestellt wurde. Auf Ebene der Europäischen Union gab es im Berichtszeitraum keine Weiterent-wicklung der Richtlinienvorschläge zu einer Digitalsteuer und dem Konzept der „signifi-kanten digitalen Präsenz“. Der EuGH urteilte am 3. März 2020 in Hinblick auf die unions-rechtliche Vereinbarkeit zweier ungarischer Umsatzsteuern. Dieses Urteil erlaubt erste Rückschlüsse bezüglich der Europarechtskonformität umsatzbasierter Steuern, wie bspw. auch im Berichtszeitraum eingeführte Digitalsteuern einzelner Mitgliedstaaten. Dieser Beitrag knüpft an die Vorträge von Prof. Dr. Jens M. Schmittmann und der Verfasserin anlässlich der Herbstakademien 2018 in Bochum und 2019 in Oldenburg, sowie dem Vortrag der Verfasserin anlässlich der Herbstakademie 2017 in Heidelberg an. [less ▲]

Detailed reference viewed: 64 (1 UL)
Peer Reviewed
See detailBuffer XDEM
Mainassara Chekaraou, Abdoul Wahid UL; Besseron, Xavier UL; Rousset, Alban UL et al

Scientific Conference (in press)

Detailed reference viewed: 105 (46 UL)
Full Text
Peer Reviewed
See detailHistorical outline and chromatic properties of purpura rubra Tarentina and its potential identification with purple dye extracted from Bolinus brandaris
Meiers, Fabienne UL

in Enegren, Hedvig; Meo, Francesco (Eds.) Treasures from the Sea : Sea-Silk and Shell purple dye in antiquity. Proceedings from the International workshop, 26.-28.05. (in press)

This paper presents a historical overview of the importance of the red dye found in spiny dye-murices (Bolinus brandaris) and its production in Taranto, one of the most industrious Greek colonies founded ... [more ▼]

This paper presents a historical overview of the importance of the red dye found in spiny dye-murices (Bolinus brandaris) and its production in Taranto, one of the most industrious Greek colonies founded in southern Italy in the 8th century BC and renowned for its luxury products. Written evidence as well as numismatic and archaeological sources dating from the 5th century BC to the 5th century AD have been analysed in this context to identify purpura rubra Tarentina. In addition, the results of a series of dye experiments with hypobranchial glands from the same species are treated in order to detect chromatic properties and potential manufacturing processes for Tarentine Red. The methods for vatting the dye glands are discussed in relation to historical validity and chromatic outcome. To conclude, comparisons are drawn between the colour characteristics of Bolinus brandaris and Hexaplex trunculus (banded dye-murex), and the possibility of mixing both dyes is taken into consideration. The synthesis of historical and experimental approach finally shows that purpura rubra Tarentina can potentially be identified with purple dye extracted from Bolinus brandaris. [less ▲]

Detailed reference viewed: 161 (7 UL)
Full Text
Peer Reviewed
See detailMajorization-Minimization Algorithms for Analog Beamforming with Large-Scale Antenna Arrays
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 7th IEEE Global Conference on Signal and Information Processing (GlobalSIP) 2019 (in press)

Beamforming with large-scale antenna arrays (LSAA) is one of the predominant operations in designing wireless communication systems. However, the implementation of a fully digital system significantly ... [more ▼]

Beamforming with large-scale antenna arrays (LSAA) is one of the predominant operations in designing wireless communication systems. However, the implementation of a fully digital system significantly increases the number of required radio-frequency (RF) chains, which may be prohibitive. Thus, analog beamforming based on a phase-shifting network driven by a variable gain amplifier (VGA) is a potential alternative technology. In this paper, we cast the beamforming vector design problem as a beampattern matching problem, with an unknown power gain. This is formulated as a unit-modulus least-squares (ULS) problem where the optimal gain of the VGA is also designed in addition to the beamforming vector. We also consider a scenario where the receivers have the additional processing capability to adjust the phases of the incoming signals to mitigate specular multipath components. We propose efficient majorization-minimization (MM) based algorithms with convergence guarantees to a stationary point for solving both variants of the proposed ULS problem. Numerical results verify the effectiveness of the proposed solution in comparison with the existing state-of-the-art techniques. [less ▲]

Detailed reference viewed: 200 (40 UL)
Full Text
See detailDatenbank für Zweisprachige Historische Luxemburgische Bekanntmachungen
Gilles, Peter UL; Ziegler, Evelyn

in Wallmeier, Nadine; Tophinke, Doris (Eds.) Historische Stadtsprachenforschung (in press)

Detailed reference viewed: 97 (3 UL)
See detailLe dialogue entre les juges en matière de protection des droits de l'homme
Pelin Raducu, Ioana UL

in Menetrey, Séverine; Hess, Burkhard (Eds.) Les dialogues des juges en Europe (in press)

Dans cet article, nous allons mettre en exergue quelques aspects des arrêts récents provenant de la Cour de justice de l’UE (Akerberg Frasson, Melloni, Kamberaj)qui démontrent l’émergence d’un standard ... [more ▼]

Dans cet article, nous allons mettre en exergue quelques aspects des arrêts récents provenant de la Cour de justice de l’UE (Akerberg Frasson, Melloni, Kamberaj)qui démontrent l’émergence d’un standard propre de l’UE en matière des droits de l’homme. Cette tendance de la C.J.U.E. contredira le prescrit normatif découlant du « dialogue des juges » d’interprétation conforme à la jurisprudence de la C.E.D.H. avant que l’adhésion de l’UE à la Convention E.D.H. ne soit formellement acquise. [less ▲]

Detailed reference viewed: 99 (11 UL)
Full Text
Peer Reviewed
See detailAn AI-assisted Approach for Checking the Completeness of Privacy Policies Against GDPR
Torre, Damiano UL; Abualhaija, Sallam UL; Sabetzadeh, Mehrdad UL et al

in in Proceedings of the 28th IEEE International Requirements Engineering Conference (RE’20) (in press)

Detailed reference viewed: 215 (24 UL)
Full Text
Peer Reviewed
See detailLe quotidien d’un poilu de la première guerre mondiale sur Facebook : nouvelle forme de médiation, nouvelle expérience ?
Schall, Céline UL; Vilatte, Jean-Christophe

in Les mondes de la médiation culturelle (in press)

« En 2013, le Musée de la Grande Guerre du Pays de Meaux et l’agence de communication DDB ont élaboré une page Facebook d’un genre nouveau. Facebook 1914, le quotidien de la première guerre offre une ... [more ▼]

« En 2013, le Musée de la Grande Guerre du Pays de Meaux et l’agence de communication DDB ont élaboré une page Facebook d’un genre nouveau. Facebook 1914, le quotidien de la première guerre offre une forme de médiation a priori inédite pour un musée français. Elle présente l’histoire d’un personnage de fiction, Léon Vivien, qui raconte son quotidien lors de la première guerre mondiale, sur Facebook, comme si ce réseau social avait existé à cette époque. Cette contribution met en évidence certains des effets de sens de la page par une analyse sémiotique du dispositif et une analyse thématique de ses contenus. Nous questionnons ensuite cette « nouvelle » forme de médiation qui se dit « participante » et qui, en réalité, reste assez classique dans son contenu et sous-exploite le potentiel de Facebook. » [less ▲]

Detailed reference viewed: 74 (1 UL)
Full Text
Peer Reviewed
See detailUML Consistency Rules:a Case Study with Open-Source UML Models
Torre, Damiano UL; Labiche, Yvan; Genero, Marcela et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (in press)

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by ... [more ▼]

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on each other, hence they must be consistent. Inconsistencies cause faults in the final software systems. It is, therefore, paramount that they get detected, analyzed, and fixed. Consistency rules are a useful tool proposed in the literature to detect inconsistencies. They categorize constraints that help in identifying inconsistencies when violated. This case study aims at collecting and analyzing UML models with OCL consistency rules proposed in the literature and at promoting the development of a reference benchmark that can be reused by the (FM-)research community. We collected 33 UML consistency rules and 206 different UML diagrams contained in 34 open-source UML models presented in the literature. We propose an FM-based encoding of the consistency rules in OCL. This encoding allows analyzing whether the consistency rules are satisfied or violated within the 34 UML models. To assess the proposed benchmark, we analyzed how the UML models, consistency rules, diagram types contained in the benchmark help in assessing the consistency of UML models, and the consistency of diagrams across the different software development phases. Our results show that the considered UML models and consistency rules allowed identifying 2731 inconsistencies and that those inconsistencies refer to different software development phases. We concluded that the considered UML models and consistency rules could be considered as an initial benchmark that can be further extended by the research community. [less ▲]

Detailed reference viewed: 158 (16 UL)
Full Text
Peer Reviewed
See detailWhich Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography
Rossi, Arianna UL; Lenzini, Gabriele UL

in Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST) (in press)

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this ... [more ▼]

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this paper, we firstly critically review some of those proposals. We then examine the properties that icons and icon sets should arguably fulfill according to Art.12's transparency provisions. Lastly, we discuss metrics and evaluation procedures to measure compliance with the Article. [less ▲]

Detailed reference viewed: 90 (9 UL)
See detailSmall in size, great in significance: conspicilla and perspicilla in the visual arts of the Low Countries around 1600
Koeleman, Floor UL

Scientific Conference (2021, July)

A largely forgotten constcamer painting from the early seventeenth century shows eyeglasses and a telescope in close proximity. The inclusion of these extensions of sight in The Five Senses of the Musée ... [more ▼]

A largely forgotten constcamer painting from the early seventeenth century shows eyeglasses and a telescope in close proximity. The inclusion of these extensions of sight in The Five Senses of the Musée Magnin (Dijon) seems to allude to the implicit link between the two. As tools to observe with and through, these instruments visualize the limits of human perception and the ability to alter the scale of the visible world. The Five Senses was created in Antwerp around the same time the telescope first appeared in textual sources, namely 1608. However, the optical instrument is likely to have existed for years by then. This paper investigates if any references to the telescope in the visual arts predate the first written evidence of its invention. For artists the early telescope was probably not that challenging an object to represent. The exterior, a simple tube characterized by a diaphragm, housed two lenses made by the same glass industry that manufactured eyeglasses. This paper takes a closer look at the imagery of eyeglasses and telescopes, depicted in the visual arts of the late sixteenth and early seventeenth centuries. The meaning assigned to these instruments can be inferred from the context in which they are presented and their relative scale. Together eyeglasses and telescopes feature prominently in constcamer paintings dedicated to visual perception, understood both physically and metaphysically. While the exact date of creation remains subject to debate, The Five Senses probably contains the earliest known depiction of a telescope – true to scale. [less ▲]

Detailed reference viewed: 140 (1 UL)
Full Text
Peer Reviewed
See detailKant's supposed realism about things-in-themselves
Heidemann, Dietmar UL

in Serck-Hanssen, Camila (Ed.) Proceedings of the 13th International Kant Congress ‘The Court of Reason’ (Oslo, 6-9 August 2019) (2021)

Detailed reference viewed: 84 (0 UL)
Full Text
Peer Reviewed
See detailOn the Random Access Procedure of NB-IoT Non-Terrestrial Networks
Kodheli, Oltjon UL; Maturo, Nicola UL; Chatzinotas, Symeon UL et al

Scientific Conference (2020, October 20)

Detailed reference viewed: 45 (2 UL)
Full Text
Peer Reviewed
See detailBuilding up Explainability in Multi-layer Perceptrons for Credit Risk Modeling
Sharma, Rudrani; Schommer, Christoph UL; Vivarelli, Nicolas

in Sharma, Rudrani (Ed.) Building up Explainability in Multi-layer Perceptrons for Credit Risk Modeling (2020, October 09)

Granting loans is one of the major concerns of financial institutions due to the risks of default borrowers. Default prediction by the neural networks is a popular technique for credit risk modeling ... [more ▼]

Granting loans is one of the major concerns of financial institutions due to the risks of default borrowers. Default prediction by the neural networks is a popular technique for credit risk modeling. Neural networks generally offer the accurate predictions that help banks to prevent financial losses and grow their business by approving more creditworthy borrowers. Although neural networks are capable of capturing the complex, non-linear relationships between a large number of features and output, these models act as black boxes. This is a graduation project paper that is focused on loan default risk prediction by multi-layer perceptron neural network and building up explainability to some degree in the trained neural networks through sensitivity analysis. The architecture of a multi-layer perceptron neural network with the best result is used to help the credit-risk manager in explaining why an applicant is a defaulter or non-defaulter. The prediction of a trained multi-layer perceptron neural network is explained by mapping input features and target variables directly using a model-agnostic explanation as well as a modelspecific explanation. Lastly, a comparison is performed between two explanation methods. [less ▲]

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailPVDeConv: Point-Voxel Deconvolution for Autoencoding CAD Construction in 3D
Cherenkova, Kseniya UL; Aouada, Djamila UL; Gusev, Gleb

Scientific Conference (2020, October)

We propose a Point-Voxel DeConvolution (PVDeConv) mod- ule for 3D data autoencoder. To demonstrate its efficiency we learn to synthesize high-resolution point clouds of 10k points that densely describe ... [more ▼]

We propose a Point-Voxel DeConvolution (PVDeConv) mod- ule for 3D data autoencoder. To demonstrate its efficiency we learn to synthesize high-resolution point clouds of 10k points that densely describe the underlying geometry of Computer Aided Design (CAD) models. Scanning artifacts, such as pro- trusions, missing parts, smoothed edges and holes, inevitably appear in real 3D scans of fabricated CAD objects. Learning the original CAD model construction from a 3D scan requires a ground truth to be available together with the corresponding 3D scan of an object. To solve the gap, we introduce a new dedicated dataset, the CC3D, containing 50k+ pairs of CAD models and their corresponding 3D meshes. This dataset is used to learn a convolutional autoencoder for point clouds sampled from the pairs of 3D scans - CAD models. The chal- lenges of this new dataset are demonstrated in comparison with other generative point cloud sampling models trained on ShapeNet. The CC3D autoencoder is efficient with respect to memory consumption and training time as compared to state- of-the-art models for 3D data generation. [less ▲]

Detailed reference viewed: 97 (3 UL)
Full Text
Peer Reviewed
See detail3D SPARSE DEFORMATION SIGNATURE FOR DYNAMIC FACE RECOGNITION
Shabayek, Abd El Rahman UL; Aouada, Djamila UL; Cherenkova, Kseniya UL et al

in 27th IEEE International Conference on Image Processing (ICIP 2020), Abu Dhabi 25-28 October 2020 (2020, October)

Detailed reference viewed: 36 (0 UL)
Full Text
Peer Reviewed
See detailActive Re-identification Attacks on Periodically Released Dynamic Social Graphs
Chen, Xihui UL; Kepuska, Ema UL; Mauw, Sjouke UL et al

in Chen, Liqun; Li, Ninghui; Liang, Kaitai (Eds.) et al Computer Security - ESORICS 2020 (2020, September 13)

Active re-identification attacks pose a serious threat to privacy-preserving social graph publication. Active attackers create fake accounts to enforce structural patterns that can be used to re-identify ... [more ▼]

Active re-identification attacks pose a serious threat to privacy-preserving social graph publication. Active attackers create fake accounts to enforce structural patterns that can be used to re-identify legitimate users on published anonymised graphs, even without additional background knowledge. So far, this type of attacks has only been studied in the scenario where the inherently dynamic social graph is published once. In this paper, we present the first active re-identification attack in the more realistic scenario where a dynamic social graph is periodically published. Our new attack leverages tempo-structural patterns, created by a dynamic set of sybil nodes, for strengthening the adversary. We evaluate our new attack through a comprehensive set of experiments on real-life and synthetic dynamic social graphs. We show that our new attack substantially outperforms the most effective static active attack in the literature by increasing success probability by at least two times and efficiency by at least 11 times. Moreover, we show that, unlike the static attack, our new attack remains at the same level of efficiency as the publication process advances. Additionally, we conduct a study on the factors that may thwart our new attack, which can help design dynamic graph anonymisation methods displaying a better balance between privacy and utility. [less ▲]

Detailed reference viewed: 15 (0 UL)
Full Text
Peer Reviewed
See detailDeepNDN: Opportunistic Data Replication and Caching in Support of Vehicular Named Data
Manzo, Gaetano; Kalogeiton, Eirini; di Maio, Antonio UL et al

in 21st IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) (2020, September)

Although many target applications in VANETs are information-centric, the performance of Named Data Networking (NDN) in vehicular ad-hoc networks is severely hampered by persistent network partitioning ... [more ▼]

Although many target applications in VANETs are information-centric, the performance of Named Data Networking (NDN) in vehicular ad-hoc networks is severely hampered by persistent network partitioning, typical of many vehicular scenarios. Existing approaches try to address this issue by relying on opportunistic communications. However, they leave open the crucial issue of how to guarantee content persistence and tight QoS levels while optimizing the resource utilization in the vehicular environment. In this work we propose DeepNDN, a communication scheme based on the joint application of NDN and of probabilistic spatial content caching, which enables content retrieval in fragmented and dynamic network topologies with tight delay constraints. We present a data-based approach to DeepNDN management, based on locally modulating content replication and delivery in order to achieve a target hit ratio in a resource-efficient manner. Our management algorithm employs a Convolutional Neural Network (CNN) architecture for effectively capturing the complex relations between spatio-temporal patterns of mobility and content requests and DeepNDN performance. Its numerical assessment in realistic, measurement-based scenarios suggest that our management approach achieves its target set goals while outperforming a set of reference schemes. [less ▲]

Detailed reference viewed: 94 (6 UL)
See detailScientific Instruments in Constcamer Paintings: Pictorial Space as a Context for Interpretation
Koeleman, Floor UL

Scientific Conference (2020, September)

Representations of scientific instruments abound in the seventeenth-century genre of constcamer paintings. These works of art depict interiors full of rich collections of artifacts, natural materials ... [more ▼]

Representations of scientific instruments abound in the seventeenth-century genre of constcamer paintings. These works of art depict interiors full of rich collections of artifacts, natural materials, animals and people, and were created almost exclusively in Antwerp and Brussels. In contrast to material and written sources, such images provide us with a context, captured in paint, which contributes to our understanding of the contemporary meaning of scientific instruments. This presentation will highlight the wide variety of instruments (mainly optical and mathematical) that are included in constcamer paintings. Depending on how we define ‘scientific instrument’, between 63 and 100 constcamer paintings from the early modern period can be identified as including representations of scientific instruments. The study of these images from the perspective of the visual and material culture of science not only provides further insight into the variety of instruments that existed at the time, but also sheds light on how painters produced these representations, either by using an actual object or by resorting to a preexisting depiction. It will be shown that the instruments in the paintings reflect a thriving glass industry and the activity of skilled goldsmiths in local workshops and at the archducal court. While over the course of the seventeenth century the novelty of such instruments declined, their association with knowledge of nature, the role of vision and the art of painting persisted. As such, the instruments in constcamer paintings denote both a practical and a philosophical dimension, relating to the world of the senses as well as the intellect. [less ▲]

Detailed reference viewed: 49 (8 UL)
Full Text
Peer Reviewed
See detailTrace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Boufaied, Chaima UL; Menghi, Claudio UL; Bianculli, Domenico UL et al

in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical ... [more ▼]

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical systems. Although there exist several specification languages for expressing SBTPs, such languages either do not easily allow the specification of important types of properties (such as spike or oscillatory behaviors), or are not supported by (efficient) trace-checking procedures. In this paper, we propose SB-TemPsy, a novel model-driven trace-checking approach for SBTPs. SB-TemPsy provides (i) SB-TemPsy-DSL, a domain-specific language that allows the specification of SBTPs covering the most frequent requirement types in cyber-physical systems, and (ii) SB-TemPsy-Check, an efficient, model-driven trace-checking procedure. This procedure reduces the problem of checking an SB-TemPsy-DSL property over an execution trace to the problem of evaluating an Object Constraint Language constraint on a model of the execution trace. We evaluated our contributions by assessing the expressiveness of SB-TemPsy-DSL and the applicability of SB-TemPsy-Check using a representative industrial case study in the satellite domain. SB-TemPsy-DSL could express 97% of the requirements of our case study and SB-TemPsy-Check yielded a trace-checking verdict in 87% of the cases, with an average checking time of 48.7 s. From a practical standpoint and compared to state-of-the-art alternatives, our approach strikes a better trade-off between expressiveness and performance as it supports a large set of property types that can be checked, in most cases, within practical time limits. [less ▲]

Detailed reference viewed: 92 (7 UL)
Full Text
Peer Reviewed
See detailForest SaVR – A Virtual-Reality Application to Raise Awareness of Deforestation
Botev, Jean UL; Viegas Milani, Adriano

in Proceedings of the 17th GI VR/AR Workshop (VAR) (2020, September)

Detailed reference viewed: 90 (2 UL)
Full Text
Peer Reviewed
See detailAnaerobe Vergärung von (synthetischem) Küchenabfall in zweistufigem Semi-Konti-Betrieb
Sobon, Elena UL; Schlienz, Markus UL; Greger, Manfred UL

in Chemie Ingenieur Technik (2020, August 28), 92(9), 1267-1268

Detailed reference viewed: 23 (2 UL)
Full Text
Peer Reviewed
See detailDecomposition schemes for symmetric n-ary bands
Devillet, Jimmy UL; Mathonet, Pierre

Scientific Conference (2020, August 27)

We extend the classical (strong) semilattice decomposition scheme of certain classes of semigroups to the class of idempotent symmetric n-ary semigroups (i.e. symmetric n-ary bands) where n \geq 2 is an ... [more ▼]

We extend the classical (strong) semilattice decomposition scheme of certain classes of semigroups to the class of idempotent symmetric n-ary semigroups (i.e. symmetric n-ary bands) where n \geq 2 is an integer. More precisely, we show that these semigroups are exactly the strong n-ary semilattices of n-ary extensions of Abelian groups whose exponents divide n-1. We then use this main result to obtain necessary and sufficient conditions for a symmetric n-ary band to be reducible to a semigroup. [less ▲]

Detailed reference viewed: 34 (1 UL)
Full Text
Peer Reviewed
See detailAn Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC
Eichlseder, Maria; Grassi, Lorenzo; Lüftenegger, Reinhard et al

in 26th Annual International Conference on the Theory and Application of Cryptology and Information Security - ASIACRYPT 2020 (2020, August 16)

Detailed reference viewed: 71 (1 UL)
Full Text
Peer Reviewed
See detailAn Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independent Sums
Hu, Kai; Sun, Siwei; Wang, Meiqin et al

in 26th Annual International Conference on the Theory and Application of Cryptology and Information Security- ASIACRYPT 2020 (2020, August 16)

Detailed reference viewed: 78 (0 UL)
Full Text
Peer Reviewed
See detailRIVER MORPHOLOGY MONITORING OF A SMALL-SCALE ALPINE RIVERBED USING DRONE PHOTOGRAMMETRY AND LIDAR
Backes, Dietmar UL; Smigaj, Magdalena; Schimka, Marian et al

in The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (2020, August 12), XLIII-B2-2020 Article Metrics Related articles(1017), 1024

An efficient alternative to labour-intensive terrestrial and costly airborne surveys is the use of small, inexpensive Unmanned Aerial Vehicles (UAVs) or Remotely Piloted Aerial Systems (RPAS). These low ... [more ▼]

An efficient alternative to labour-intensive terrestrial and costly airborne surveys is the use of small, inexpensive Unmanned Aerial Vehicles (UAVs) or Remotely Piloted Aerial Systems (RPAS). These low-altitude remote sensing platforms, commonly known as drones, can carry lightweight optical and LiDAR sensors. Even though UAV systems still have limited endurance, they can provide a flexible and relatively inexpensive monitoring solution for a limited area of interest. This study investigated the applicability of monitoring the morphology of a frequently changing glacial stream using high-resolution topographic surface models derived from low-altitude UAV-based photogrammetry and LiDAR. An understanding of river-channel morphology and its response to anthropogenic and natural disturbances is imperative for effective watershed management and conservation. We focus on the data acquisition, processing workflow and highlight identified challenges and shortcomings. Additionally, we demonstrate how LiDAR data acquisition simulations can help decide which laser scanning approach to use and help optimise data collection to ensure full coverage with desired level of detail. Lastly, we showcase a case study of 3D surface change analysis in an alpine stream environment with UAV-based photogrammetry. The datasets used in this study were collected as part of the ISPRS Summer School of Alpine Research, which will continue to add new data layers on a biyearly basis. This growing data repository is freely available for research. [less ▲]

Full Text
Peer Reviewed
See detailSelf-Integration in Mediated-Reality Systems: a Socio-Technical Perspective
Botev, Jean UL

in Proceedings of the 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) (2020, August)

Detailed reference viewed: 73 (1 UL)
Peer Reviewed
See detailCollective Knowledge Production in Educational Ethnography: From Team-Ethnography to European Cooperation and Beyond
Maeder, Christoph; Kuhn, Melanie; Neumann, Sascha et al

Scientific Conference (2020, August)

Ethnography can be regarded as being inherently collaborative (see: Lassiter 2005). But if we accept ethnography as a collaborative, cooperative and joint production of knowledge, many questions namely ... [more ▼]

Ethnography can be regarded as being inherently collaborative (see: Lassiter 2005). But if we accept ethnography as a collaborative, cooperative and joint production of knowledge, many questions namely around cooperation within and between people, projects, disciplines, places, organizations and research teams etc. arise. In this panel discussion we want to explore and discuss questions and challenges of different levels of collaboration, or ways of working together in educational ethnography under the auspices of the production of knowledge on education. [...] [less ▲]

Detailed reference viewed: 55 (3 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander UL; Benzmüller, Christoph UL

in Proceedings of the 24th European Conference on Artificial Intelligence (2020, August)

Leo-III is an effective automated theorem prover for extensional type theory with Henkin semantics. It is based on an extensional higher-order paramodulation calculus and supports reasoning in monomorphic ... [more ▼]

Leo-III is an effective automated theorem prover for extensional type theory with Henkin semantics. It is based on an extensional higher-order paramodulation calculus and supports reasoning in monomorphic and rank-1 polymorphic first-order and higher-order logics. Leo-III also automates various non-classical logics, including almost every normal higher-order modal logic. [less ▲]

Detailed reference viewed: 31 (1 UL)
Full Text
See detailManaging residence permits and migrant unemployment during the COVID-19 crisis
Sommarribas, Adolfo UL

Scientific Conference (2020, July 30)

This presentation deals on how immigration authorities in European Union Member States and Norway dealt with third-country national residence permits and how they are dealing with third-country nationals ... [more ▼]

This presentation deals on how immigration authorities in European Union Member States and Norway dealt with third-country national residence permits and how they are dealing with third-country nationals who are losing their employment in regard to their right to stay in the host countries. [less ▲]

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailOne-Bit Quantized Constructive Interference Based Precoding for Massive Multiuser MIMO Downlink
Haqiqatnejad, Alireza UL; Kayhan, Farbod UL; Shahbazpanahi, Shahram UL et al

in One-Bit Quantized Constructive Interference Based Precoding for Massive Multiuser MIMO Downlink (2020, July 27)

We propose a one-bit symbol-level precoding method for massive multiuser multiple-input multiple-output (MU-MIMO) downlink systems using the idea of constructive interference (CI). In particular, we adopt ... [more ▼]

We propose a one-bit symbol-level precoding method for massive multiuser multiple-input multiple-output (MU-MIMO) downlink systems using the idea of constructive interference (CI). In particular, we adopt a max-min fair design criterion which aims to maximize the minimum instantaneous received signal-to-noise ratio (SNR) among the user equipments (UEs), while ensuring a CI constraint for each UE and under the restriction that the output of the precoder is a vector of binary elements. This design problem is an NP-hard binary quadratic programming due to the one-bit constraints on the elements of the precoder’s output vector, and hence, is difficult to solve. In this paper, we tackle this difficulty by reformulating the problem, in several steps, into an equivalent continuous-domain biconvex form. Our final biconvex reformulation is obtained via an exact penalty approach and can efficiently be solved using a standard block coordinate ascent algorithm. We show through simulation results that the proposed design outperforms the existing schemes in terms of (uncoded) bit error rate. It is further shown via numerical analysis that our solution algorithm is computationally-efficient as it needs only a few tens of iterations to converge in most practical scenarios. [less ▲]

Detailed reference viewed: 46 (3 UL)
Full Text
Peer Reviewed
See detailWorking with Deep Generative Models and Tabular Data Imputation
Camino, Ramiro Daniel UL; Hammerschmidt, Christian UL; State, Radu UL

Scientific Conference (2020, July 17)

Datasets with missing values are very common in industry applications. Missing data typically have a negative impact on machine learning models. With the rise of generative models in deep learning, recent ... [more ▼]

Datasets with missing values are very common in industry applications. Missing data typically have a negative impact on machine learning models. With the rise of generative models in deep learning, recent studies proposed solutions to the problem of imputing missing values based various deep generative models. Previous experiments with Generative Adversarial Networks (GANs) and Variational Autoencoders (VAEs) showed promising results in this domain. Initially, these results focused on imputation in image data, e.g. filling missing patches in images. Recent proposals addressed missing values in tabular data. For these data, the case for deep generative models seems to be less clear. In the process of providing a fair comparison of proposed methods, we uncover several issues when assessing the status quo: the use of under-specified and ambiguous dataset names, the large range of parameters and hyper-parameters to tune for each method, and the use of different metrics and evaluation methods. [less ▲]

Detailed reference viewed: 44 (0 UL)
Full Text
Peer Reviewed
See detailReservoir Computing with Random Chemical Systems
Nguyen, Hoang; Banda, Peter UL; Stefanovic, Darko et al

in ALIFE 2020: The 2020 Conference on Artificial Life (2020, July 14)

Top-down engineering of biomolecular circuits to perform specific computational tasks is notoriously hard and time-consuming. Current circuits have limited complexity and are brittle and application ... [more ▼]

Top-down engineering of biomolecular circuits to perform specific computational tasks is notoriously hard and time-consuming. Current circuits have limited complexity and are brittle and application-specific. Here we propose an alternative: we design and test a bottom-up constructed Reservoir Computer (RC) that uses random chemical circuits inspired by DNA strand displacement reactions. This RC has the potential to be implemented easily and trained for various tasks. We describe and simulate it by means of a Chemical Reaction Network (CRN) and evaluate its performance on three computational tasks: the Hamming distance and a short- as well as a long-term memory. Compared with the deoxyribozyme oscillator RC model simulated by Yahiro et al., our random chemical RC performs 75.5% better for the short-term and 67.2% better for the long-term memory task. Our model requires an 88.5% larger variety of chemical species, but it relies on random chemical circuits, which can be more easily realized and scaled up. Thus, our novel random chemical RC has the potential to simplify the way we build adaptive biomolecular circuits. [less ▲]

Detailed reference viewed: 49 (1 UL)
See detailEthische Aspekte im reflexiven Schulpraktikum. Eine Ethik des Lebens für Praxisbegleiter
Weber, Jean-Marie UL

Scientific Conference (2020, July 03)

Detailed reference viewed: 31 (2 UL)
Full Text
See detailSTEAM Education in elementary schools: A holistic investigation on technology enhanced teaching and learning
Haas, Ben; Lavicza, Zsolt; Kreis, Yves UL

Scientific Conference (2020, July 03)

When we address the learning of mathematics in elementary school, we imagine pupils doing experiments, discoveries, and combining the different elements from arithmetics to geometry. Pupils interact with ... [more ▼]

When we address the learning of mathematics in elementary school, we imagine pupils doing experiments, discoveries, and combining the different elements from arithmetics to geometry. Pupils interact with their environment and try to use their learned skills to get a deeper understanding of the world. They engage in a mathematical thinking process and try to interact with their environment. However, when you visit a classroom, you find a rather old fashioned teaching based on a deductive approach where imitations of technics play an essential role. Based on our observations, pupils learn mainly through to repetitions in textbooks. Experimentation, if any, comes as additional work, it is seen as a ludic activity rather than as real learning activity. In our research, we inquired about different ways to engage pupils in an experimental approach. We used digital and physical modulation, augmented reality, and various educational technologies. In one of our first studies, we designed a tutoring system to foster process-related skills in mathematics within the educational software MathemaTIC . We collected data on pupils in assessments on transferring mathematical thinking from instructional technology to the everyday classroom teaching. In a second study, we worked with pupils from elementary schools, kindergarten, and from the special needs section to go beyond two-dimensional representations and discover how mathematics operates in three-dimensional settings. Pupils worked on designing software and three-dimensional printing. We collected data on how pupils and parents perceived the learning and teaching and how this influences the further thinking in mathematics. In a holistic approach, we aimed to identify how pupils, teachers and parents perceive the learning through these new technologies and how it affects the learning and teaching. Our research happened in onsite and remote teaching. In this conference, we will present results from the different studies, give insights into our research, and present future experimental investigations. [less ▲]

Detailed reference viewed: 145 (2 UL)
Full Text
See detailNational responses to date during the COVID-19 crisis in the areas of migration and asylum
Sommarribas, Adolfo UL

Scientific Conference (2020, July 02)

This is a presentation of key findings of national responses to COVID-19 to date based on EMN Ad-hoc Queries launched by the European Migration Network between 13 March and 15 June 2020.

Detailed reference viewed: 60 (0 UL)
Full Text
Peer Reviewed
See detailDo they belong? Perception of new citizens – a host country perspective
Murdock, Elke UL

Scientific Conference (2020, July 02)

In 30 years, Luxembourg’s population grew from 500,000 in 2010 to 614,000 in 2019. This growth is largely due to immigration. The foreign population percentage reached 47,5% on 1st of January 2019 – a ... [more ▼]

In 30 years, Luxembourg’s population grew from 500,000 in 2010 to 614,000 in 2019. This growth is largely due to immigration. The foreign population percentage reached 47,5% on 1st of January 2019 – a slight decline (-0.4%) on the previous year. This decline is in fact due to the rise in naturalizations. Since the reform of the citizenship law in 2008, Luxembourg has experienced a steady rise in naturalizations – which amounted to 684 in 2000, 4311 in 2010 and reached 11,876 in 2018. In terms of formal criteria, these new citizens belong to Luxembourg. They have to take part in parliamentary elections and can stand themselves as candidates. Yet how are these new Luxembourgish citizens perceived by the native population? Are they perceived as part of the in-group? To investigate this question, we conducted a quantitative study among 253 native Luxembourgers (65% women, Mage= 34.6, SD = 15.6) – all of whom held Luxembourgish citizenship and the majority (97%) were born in Luxembourg. We assessed the attitude towards a diverse society in general and Luxembourg in particular, adapted the allophilia scale to measure the positive attitude towards the outgroup new-Luxembourgers and assessed the perceived degree of overlap between native and new Luxembourgers. Just over half of the participants (57%) perceive a degree of overlap – which is in turn predicted by openness towards diversity and acceptance of new Luxembourgers. Implications of these findings for inclusive societies will be discussed. [less ▲]

Detailed reference viewed: 63 (1 UL)
Full Text
Peer Reviewed
See detailImmigration - the host country perspective
Murdock, Elke UL; Sölvason, Ómar

Scientific Conference (2020, July 01)

With 35.5 immigrants per 1000 inhabitants, Iceland had the third highest number of immigrants/ inhabitants in Europe in 2017. Until the turn of the century, the foreign population percentage in Iceland ... [more ▼]

With 35.5 immigrants per 1000 inhabitants, Iceland had the third highest number of immigrants/ inhabitants in Europe in 2017. Until the turn of the century, the foreign population percentage in Iceland was around 2%. In the last 5 years, this percentage has risen steadily to over 10% in 2018. How is this rapid rise in immigration experienced by the host country population? What is the attitude towards this increasingly plurally composed society? The Inclusive Societies – Iceland project investigated both, the immigrants’ situation in Iceland, but also the native populations’ attitude towards immigration and immigrants. It is important to take the host country perspective into consideration, as diversity ideologies will also determine the acculturation options for minorities. A quantitative survey was conducted among 3630 native Icelanders (51.1% women, Mean Age = 50.8, SD = 15.6), spread across all regions of Iceland. The questions covered satisfaction with life in Iceland in different domains but included also specific questions about the attitudes towards immigrants and enquired about contact with immigrants. The results indicate that this culture contact takes place – with over two thirds of participants indicating that they have invited immigrants to their home a few (34.4%) or many times (34.4%). Slightly less participants have been invited to immigrants’ homes (few times 33.6%, often 27.9%). Predictors for openness towards multiculturalism will be presented and discussed. We will also outline the domains with little and considerable variance among respondents concerning cultural practice and attitude to immigration and close with a discussion of policy implications. [less ▲]

Detailed reference viewed: 46 (2 UL)
Peer Reviewed
See detailMeasuring multiculturalism: Scale development and validation in different languages and contexts (Cancelled due to COVID-19)
Stogianni, Maria UL; Schmidt, Lea Marie; Murdock, Elke UL et al

Scientific Conference (2020, July)

Increased migration has led to the formation of culturally diverse societies in most places around the world. Consequently, individuals of different ethnic backgrounds need to find ways of living together ... [more ▼]

Increased migration has led to the formation of culturally diverse societies in most places around the world. Consequently, individuals of different ethnic backgrounds need to find ways of living together. Multiculturalism as an ideology and policy framework proposes several strategies to deal with increasing diversity and to improve intergroup relations in multicultural contexts. Berry (2016) emphasizes two important aspects of multiculturalism: a) diversity, the presence of ethnocultural diversity in the population and b) equity, the right for equal participation of all cultural groups in the society. Both diversity and equity are necessary conditions for the success of multicultural policies. Culturally heterogeneous communities that do not support inclusion and equitable participation of all groups, face the negative consequences of segregation. In line with this notion, an international research consortium developed a revised version of the Multicultural Ideology Scale (Berry & Kalin, 1995) to assess support for cultural diversity. The scale aims to distinguish various attitudinal dimensions of multiculturalism, relevant to the acceptance and social inclusion of different ethnocultural groups: Cultural Maintenance, Equity/Inclusion, Social interaction, Essentialistic Boundaries, Extent of Differences, and Conflictual Relations. The present study is part of this cross-cultural research project, which aims to develop and test the psychometric properties of the scale in different language versions and cultural contexts. The survey will be administered to a large sample of native German citizens with different demographic characteristics. We aim to understand the attitude of native citizens towards cultural diversity and their willingness to interact with members of ethnic minority groups. We will also investigate the relationship between multicultural attitudes and individual difference variables, such as ethnic group attachment and social dominance orientation. Findings from all the country studies in the project will enable us develop a universal measure of multicultural attitudes that can be applied in multiple groups and contexts. [less ▲]

Detailed reference viewed: 111 (6 UL)
Full Text
Peer Reviewed
See detailJoint User Scheduling, and Precoding for Multicast Spectral Efficiency in Multigroup Multicast Systems
Bandi, Ashok UL; Mysore Rama Rao, Bhavani Shankar UL; Chatzinotas, Symeon UL et al

in International conference on signal processing and communications (SPCOM) (2020, July)

This paper studies the joint design of user scheduling and precoding for the maximization of spectral efficiency (SE) for a multigroup multicast scenario in multiuser MISO downlink channels. Noticing that ... [more ▼]

This paper studies the joint design of user scheduling and precoding for the maximization of spectral efficiency (SE) for a multigroup multicast scenario in multiuser MISO downlink channels. Noticing that the existing definition of SE fails to account for group sizes, a new metric called multicast spectral efficiency (MC-SE) is proposed. In this context, the joint design is considered for the maximization of MC-SE. Firstly, with the help of binary scheduling variables, the joint design problem is formulated as a mixed-integer non-linear programming problem such that it facilitates the joint update of scheduling and precoding variables. Further, useful reformulations are proposed to reveal the hidden difference-of-convex/concave structure of the problem. Thereafter, we propose a convex-concave procedure based iterative algorithm with convergence guarantees to a stationary point. Finally, we compare different aspects namely MC-SE, SE and number of scheduled users through Monte-Carlo simulations. [less ▲]

Detailed reference viewed: 46 (1 UL)
Full Text
Peer Reviewed
See detailAutomated Repair of Feature Interaction Failures in Automated Driving Systems
Ben Abdessalem, Raja; Panichella, Annibale; Nejati, Shiva UL et al

in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020) (2020, July)

In the past years, several automated repair strategies have been proposed to fix bugs in individual software programs without any human intervention. There has been, however, little work on how automated ... [more ▼]

In the past years, several automated repair strategies have been proposed to fix bugs in individual software programs without any human intervention. There has been, however, little work on how automated repair techniques can resolve failures that arise at the system-level and are caused by undesired interactions among different system components or functions. Feature interaction failures are common in complex systems such as autonomous cars that are typically built as a composition of independent features (i.e., units of functionality). In this paper, we propose a repair technique to automatically resolve undesired feature interaction failures in automated driving systems (ADS) that lead to the violation of system safety requirements. Our repair strategy achieves its goal by (1) localizing faults spanning several lines of code, (2) simultaneously resolving multiple interaction failures caused by independent faults, (3) scaling repair strategies from the unit-level to the system-level, and (4) resolving failures based on their order of severity. We have evaluated our approach using two industrial ADS containing four features. Our results show that our repair strategy resolves the undesired interaction failures in these two systems in less than 16h and outperforms existing automated repair techniques. [less ▲]

Detailed reference viewed: 78 (10 UL)
Full Text
See detailSystematic derivation of Generalized Langevin Equations for coarse-graining and bridge-scaling procedures
Meyer, Hugues UL

Scientific Conference (2020, July)

In many branches of physics, one must often deal with processes involving a huge number of degrees of freedom. Instead of describing the dynamics of each individual of them, one rather wants to ... [more ▼]

In many branches of physics, one must often deal with processes involving a huge number of degrees of freedom. Instead of describing the dynamics of each individual of them, one rather wants to characterize the process of interest via a small set of observ- ables that capture its main features of the process. Even if the microscopic dynamics can be resolved using Newton’s equations of motion, it quickly becomes a computation- ally very expensive calculation to make. It is however much more convenient to come up with a self-consistent equation of motion for the ’global’ observable of interest itself in order to reduce the complexity of the problem. The development of the Mori-Zwanzig formalism in the 1960’s allowed to systematically derive such equations for arbitrary observables in stationary processes. This framework, derived from first principles by means of projection operator techniques, proves the structure of what is now known as the Generalized Langevin Equation, i.e. a stochastic equation of motion which a priori exhibits memory effects in the form on non-localities in time. We propose to extend the formalism and its corollaries to a broad class of out-of- equilibrium processes. We show that the structure of the Generalized Langevin Equa- tion is overall robust but must be adapted to account for the non-stationary dynamics [1,2]. The function that controls memory effects the stochastic term are related through a relation that can be associated to fluctuation-dissipation theorems. This formalism is very convenient to study two-time auto-correlation functions for which we can write a self-consistent differential equation as well. We finally show a new method to evaluate the memory function from numerical or experimental data [3]. [less ▲]

Detailed reference viewed: 28 (1 UL)
Full Text
Peer Reviewed
See detailImproving open data accessibility through package development and community work
Kozlowski, Diego UL; Tiscornia, Pablo; Weksler, Guido et al

Poster (2020, July)

Detailed reference viewed: 68 (2 UL)
Peer Reviewed
See detailMeasuring Executive Functions and their Relations to Mathematical Skills in Preschool Children: A Meta-Analysis
Emslander, Valentin UL; Scherer, Ronny

Scientific Conference (2020, July)

Introduction: Executive functions (inhibition, attention shifting, working memory) are linked to mathematical skills in school students and adults. This link is particularly important because performance ... [more ▼]

Introduction: Executive functions (inhibition, attention shifting, working memory) are linked to mathematical skills in school students and adults. This link is particularly important because performance in school mathematics is predictive of various competencies later in life. While some researchers argue that tests of executive functions and mathematical skills measure the same underlying construct, others argue that they measure distinct but correlated constructs. Also, evidence on the differentiation of cognitive skills over time exists. Clarifying the relation between executive functions and mathematical skills is, however, challenging, especially because preschoolers cannot fill in commonly used questionnaires that require them to read. As a consequence, researchers have to resort to behavioral, verbal, apparatus-, or computer-based assessments of executive functions. Objectives/Methodology: With this meta-analysis of 26 studies containing 238 effect sizes, we examined the link between executive functions and early mathematical skills for a total sample of 24,256 preschool children. Specifically, we synthesized the corresponding correlations and sought to clarify which executive function assessments were used for preschool children and how the assessment characteristics may moderate the correlation between executive functions and mathematical skills. Results: Utilizing three-level random-effects meta-analysis, we found a moderate correlation between executive functions and mathematical skills in preschool children, r = 0.35. The type of assessment (behavioral, verbal, apparatus-, or computer-based assessments) did not moderate this relation. Differentiating between the three executive functions revealed average correlations of r = 0.31 between math and inhibition, r = 0.38 between math and attention shifting, and r = 0.36 between math and updating. These analyses will be supplemented by further moderator analyses. Conclusions: Our findings support the significant link between executive functions and mathematical skills in preschoolers—yet, the average correlations do not suggest that both measures are identical. Results will be discussed against the background of deployed assessments and testing environments. [less ▲]

Detailed reference viewed: 12 (0 UL)
Full Text
Peer Reviewed
See detailDATA DRIVEN SURGICAL SIMULATIONS
Deshpande, Saurabh UL; Bordas, Stéphane UL; Beex, Lars UL et al

Scientific Conference (2020, July)

Detailed reference viewed: 24 (4 UL)
Full Text
Peer Reviewed
See detailDeveloping an Interactive Tabletop Mediated Activity to Induce Collaboration by Implementing Design Considerations Based on Cooperative Learning Principles
Sunnen, Patrick UL; Arend, Béatrice UL; Heuser, Svenja UL et al

in Stephanidis, Constantine; Antona, Margherita (Eds.) HCI International 2020 - Posters (2020, July)

Constructive collaboration can be a difficult matter. For this reason, we are implementing and studying an interactive-tabletop-mediated activity that aims at inducing collaboration among participants ... [more ▼]

Constructive collaboration can be a difficult matter. For this reason, we are implementing and studying an interactive-tabletop-mediated activity that aims at inducing collaboration among participants. The resulting activity ‘Orbitia’ is designed as a serious game. Participants are asked to act as a space- mining crew, which has to collect minerals with a rover and rely on a camera- drone for reconnaissance, while keeping the rover out of harm and managing limited resources. In this paper we provide an account of how we designed Orbitia’s pedagogical structuring by relying on the Johnsons’ cooperative learning approach whose fundamental concept is “positive interdependence”. More particularly, we show how we worked on resource, role and task inter- dependence to design three collaboration-inducing ‘flagship’ devices: the rover- steering-device (RSD), the item-locating-device (ILD) and the responsibility- activating-device (RAD). [less ▲]

Detailed reference viewed: 36 (1 UL)
Full Text
Peer Reviewed
See detail'Being a space mining crew': How participants jointly discover their complementary resources while engaging into a serious game at an interactive tabletop
Arend, Béatrice UL; Sunnen, Patrick UL; Heuser, Svenja UL et al

in L.Gomez Chova, A. Lopez Martinez, I. Candel Torres: Proceedings, International Conference on Education and New Learning Technologies 2020 (2020, July)

Detailed reference viewed: 98 (0 UL)
Full Text
Peer Reviewed
See detailImmersive Telepresence Framework for Remote Educational Scenarios
Botev, Jean UL; Rodríguez Lera, Francisco J.

in Proceedings of the 22nd International Conference on Human-Computer Interaction (HCI International) (2020, July)

Detailed reference viewed: 27 (8 UL)
Peer Reviewed
See detailA short Survey on the Cyber Security in Control Systems
Bezzaoucha, Souad UL; Voos, Holger UL

Scientific Conference (2020, July)

In the present survey paper, we give a short, yet exhaustive state-of-the-art about the cyber-security applied to control systems, especially the event-based strategy. Indeed, in the past few years, due ... [more ▼]

In the present survey paper, we give a short, yet exhaustive state-of-the-art about the cyber-security applied to control systems, especially the event-based strategy. Indeed, in the past few years, due to a highest degree of connectivity in modern systems, new related control-specific cyber-physical systems security challengesarise and novel approaches integrating the cyber aspect are developed.Our goal in this paper is then to provide an overview of attack-modeling and security analysis approaches in recent works thatexplore networked control systems subject to cyber-attacks attacks. To this end, we look at the control, estimation, and modeling problems. [less ▲]

Detailed reference viewed: 145 (5 UL)
Full Text
See detailPractical aspects of the Bank-Weiser estimator implementation and Biomechanics applications.
Bulle, Raphaël UL; Bordas, Stéphane UL; Chouly, Franz et al

Scientific Conference (2020, July)

Detailed reference viewed: 48 (8 UL)
Full Text
Peer Reviewed
See detailInverse simulation for retrieving the undeformed position for hyperelastic materials : application to breast simulations
Mazier, Arnaud UL; Bilger, Alexandre; Forte, Antonio et al

Scientific Conference (2020, July)

Detailed reference viewed: 42 (16 UL)
Peer Reviewed
See detailThe development and validation of a short conscientiousness questionnaire for large-scale educational assessment
van der Westhuizen, Lindie UL; Franzen, Patrick UL; Arens, A. Katrin et al

Scientific Conference (2020, July)

Conscientiousness and its subfacets are related to multiple learning-related outcomes. MacCann, Duckworth and Roberts (2009) developed a questionnaire measuring seven subfacets of conscientiousness with ... [more ▼]

Conscientiousness and its subfacets are related to multiple learning-related outcomes. MacCann, Duckworth and Roberts (2009) developed a questionnaire measuring seven subfacets of conscientiousness with 59 items. However, the resources required to complete such long scales often renders it unsuitable for large-scale educational assessment. Consequently, an economic and psychometrically sound conscientiousness questionnaire that is specifically customized for this context is needed. We developed and validated a short version of the MacCann et al. (2009) questionnaire. In study 1, French and German adaptations of the questionnaire were administered to a representative dataset comprising all ninth-graders in Luxembourg (N1=6325, Cohort 2017). Using an exhaustive search algorithm, we identified the optimal combination of four items for each subfacet by simultaneously considering three criteria: goodness of fit, factor saturation, and scalar measurement invariance across the German and French versions. In study 2, we validated our short 28-item questionnaire on a second, independent sample comprising 6,279 Luxembourgish ninth-graders (Cohort 2018). A 7-factor model assuming separate factors for each subfacet obtained acceptable fit (CFI=.93, RMSEA=.04, SRMR=.06). The criterion validity for each subfacet was tested by examining the relation to standardized achievement tests (SATs). In study 3, drawing on a dataset of 275 tenth-graders (linked longitudinally with the ninth-grade data from study 1), evidence of predictive validity (i.e., school grades) was examined. The subfacets of industriousness, caution and perfectionism showed the strongest relations with both SATs (study 2) and school grades (study 3). Our study delivered a short, valid and reliable questionnaire for the assessment of seven conscientiousness facets in the educational context. The scale is invariant across the German and French language versions and its brevity makes it suitable for large-scale educational assessment. [less ▲]

Detailed reference viewed: 118 (12 UL)
See detailWhen historians create their archives: the making of covidmemory project
Brüll, Christoph UL

Scientific Conference (2020, June 30)

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailPolitiques de synchronisation dans les systèmes multi-agents distribués parallèles
Rousset, Alban UL; Breugnot, Paul; Herrmann, Bénédicte et al

in Rousset, Alban (Ed.) Politiques de synchronisation dans les systèmes multi-agents distribués parallèles (2020, June 29)

Among simulation or modelisation methods, multi-agent systems are an interesting candidate to simulate complex systems. As the size of the model's increases, the use of parallel multi-agent systems is ... [more ▼]

Among simulation or modelisation methods, multi-agent systems are an interesting candidate to simulate complex systems. As the size of the model's increases, the use of parallel multi-agent systems is mandatory but comes with many issues. In this article, we are interested in the impact of synchronization on models design and on their execution. We highlight synchronization problems through model instances then we experimentally analyze the impact of synchronization on large scale test cases. [less ▲]

Detailed reference viewed: 35 (0 UL)
Full Text
See detailSTEAM in special needs education in an elementary school in Luxemburg
Haas, Ben; Lavicza, Zsolt; Kreis, Yves UL

Scientific Conference (2020, June 25)

Detailed reference viewed: 57 (1 UL)
Full Text
Peer Reviewed
See detailPIAF: Developing Computational and Algorithmic Thinking in Fundamental Education
Parmentier, Yannick; Reuter, Robert UL; Higuet, Sarah et al

in Proceedings of EdMedia + Innovate Learning (2020, June 23), 2020(1), 315-322

In this article, we present the objectives and first achievements of the PIAF project supported by the European Union and aiming at developing computational and algorithmic thinking in basic education ... [more ▼]

In this article, we present the objectives and first achievements of the PIAF project supported by the European Union and aiming at developing computational and algorithmic thinking in basic education. This project brings together researchers in educational sciences and computer science from four countries (Belgium, France, Germany and Luxembourg) around the theme of teacher training. More concretely, the aim is to define a framework (competency framework, pedagogical scenarios) enabling teachers to (i) appropriate the concept of computational and algorithmic thinking and (ii) implement learning activities that promote the development of this kind of thinking in children. [less ▲]

Detailed reference viewed: 86 (6 UL)
Full Text
See detailInnovative uses of technologies for STEAM education in elementary schools in Luxemburg
Haas, Ben; Kreis, Yves UL

Scientific Conference (2020, June 23)

Detailed reference viewed: 76 (3 UL)
Full Text
See detailDevelopment of innovative concrete mixtures aggregates
Chewe Ngapeya, Gelen Gael UL; Waldmann, Daniele UL

Scientific Conference (2020, June 22)

Detailed reference viewed: 60 (5 UL)
Full Text
Peer Reviewed
See detailDecision Triggered Data Transmission and Collection in Industrial Internet of Things
He, Jiguang; Kong, Long UL; Frondelius, Tero et al

in 2020 IEEE Wireless Communications and Networking Conference (WCNC) (2020, June 19)

We propose a decision triggered data transmission and collection (DTDTC) protocol for condition monitoring and anomaly detection in the industrial Internet of things (IIoT). In the IIoT, the collection ... [more ▼]

We propose a decision triggered data transmission and collection (DTDTC) protocol for condition monitoring and anomaly detection in the industrial Internet of things (IIoT). In the IIoT, the collection, processing, encoding, and transmission of the sensor readings are usually not for the reconstruction of the original data but for decision making at the fusion center. By moving the decision making process to the local end devices, the amount of data transmission can be significantly reduced, especially when normal signals with positive decisions dominate in the whole life cycle and the fusion center is only interested in collecting the abnormal data. The proposed concept combines compressive sensing, machine learning, data transmission, and joint decision making. The sensor readings are encoded and transmitted to the fusion center only when abnormal signals with negative decisions are detected. All the abnormal signals from the end devices are gathered at the fusion center for a joint decision with feedback messages forwarded to the local actuators. The advantage of such an approach lies in that it can significantly reduce the volume of data to be transmitted through wireless links. Moreover, the introduction of compressive sensing can further reduce the dimension of data tremendously. An exemplary case, i.e., diesel engine condition monitoring, is provided to validate the effectiveness and efficiency of the proposed scheme compared to the conventional ones. [less ▲]

Detailed reference viewed: 16 (0 UL)
Full Text
See detailNational responses to date during the COVID-19 crisis in the areas of migration and asylum
Sommarribas, Adolfo UL

Scientific Conference (2020, June 17)

The COVID-19 took by surprise most Member States of the European Union, as they underestimated the rapid spread of the contagion in the continent. The response of the Member States was asymmetrical ... [more ▼]

The COVID-19 took by surprise most Member States of the European Union, as they underestimated the rapid spread of the contagion in the continent. The response of the Member States was asymmetrical, individualistic and significantly slow. The first measures taken were to close down the internal borders. The response of the European Union was even slower to the point that and it was not until March 17th 2020 that the external borders were closed. These actions affected legal migration into the European Union from four perspectives: 1) it affected the mobility of those third country nationals who were on temporary stay in the Member States; 2) the entry of third country nationals to do seasonal work; 3) the entry and stay of legal migrants; and 4) the status quo of the third country nationals already residing in the Member States, especially those who have a loss of income. This article will deal with the measures taken by Member States on who to manage the immigration services during the crisis as well as the measures taken in order to deal with overstayers, seasonal workers and other legal migrants. Finally, we will focus in the vulnerable situation that third-country national salaried workers are exposed due to the loss of income or loss of employment in the Member States and the risk of being returned to their country of origin. This presentation will also analyse the access to unemployment benefits. [less ▲]

Detailed reference viewed: 71 (1 UL)
Full Text
Peer Reviewed
See detailSupporting Citizens’ Political Decision-Making Using Information Visualisation
Graf, Vanessa; Graf-Drasch, Valerie; Tiefenbeck, Verena et al

in Proceedings of the 28th European Conference on Information Systems (ECIS) (2020, June 17)

Individual decision-making is a complex process. If carried out by individual citizens in the context of politically relevant decisions, serious consequences at all levels of a society might occur. That ... [more ▼]

Individual decision-making is a complex process. If carried out by individual citizens in the context of politically relevant decisions, serious consequences at all levels of a society might occur. That is why these decisions need to be made with care and preferably on a broad set of information to reflect citizens’ true preferences. However, due to limited attention, citizens often consider only salient aspects in their decision-making. To mitigate unwanted consequences following therefrom, citizens are in dire need of decision-support. We address this need by developing an Information Systems (IS) tool. Being based on information visualisation, our tool supports citizens by providing instant feedback. To ensure a meaningful engagement, the IS tool is designed according to gamification principles. A first instantiation in the context of renewable energy acceptance in Germany yields three key findings: First, we find indications that young, urban, and environmentally aware citizens are willing to accept a high percentage of renewable wind energy. Second, we find that the tool influences citizens’ decision-making. Third, we find citizens to update, however not completely turn over their preferred level of renewable wind energy after interaction with the tool. This holds true across different cross-sections of the population. [less ▲]

Detailed reference viewed: 28 (0 UL)
See detailNetworked Governance, Enabling Multistakeholder Cooperation
Van Weyenbergh, Gael; Bouillard, Maxime; Wieneke, Lars UL et al

Scientific Conference (2020, June 12)

This workshop gathering 10 participants focused on finding the root cause for the need and purpose for multistakeholder cooperation between social scientists and civil society.

Detailed reference viewed: 38 (0 UL)
Full Text
See detailDiscovering Everyday Mathematical Situations Outside the Classroom with MathCityMap and GeoGebra 3D
Lavicza, Zsolt; Haas, Ben; Kreis, Yves UL

in Ludwig, Matthias; Jablonski, Simone; Caldeira, Amélia (Eds.) et al Research on Outdoor STEM Education in the digiTal Age: Proceedings of the ROSETA Online Conference in June 2020 (2020, June 10)

In elementary school, teaching and learning activities aim to develop, among others, students’ skills to acquire deeper understanding of their living environments. There are numerous opportunities for ... [more ▼]

In elementary school, teaching and learning activities aim to develop, among others, students’ skills to acquire deeper understanding of their living environments. There are numerous opportunities for students to recognize forms, shapes, and mathematical connections in everyday situations. These everyday situations can be simulated in classrooms; however, educational technologies offer new approaches to extend classroom activities, teachers can simulate and design shapes through Augmented Reality and 3D printing within or beyond the classroom. To stimulate students’ everyday mathematical connections utilizing these technologies could assist in developing activities outside the classroom in urban or in natural environments. Through this approach students could utilize or enhance their mathematical and technical skills within their usual living environments. Utilising educational software such as MathCityMap, GeoGebra 3D Calculator, and other 3D modelling software we developed examples of tasks that could offer easy transitions from in- to out-side of classrooms. In this paper, we will describe learning and teaching aims of these tasks and outline further research and development directions to broaden opportunities to develop students’ mathematical, design and modelling skills. [less ▲]

Detailed reference viewed: 95 (7 UL)
Full Text
Peer Reviewed
See detailThe rise of eBPF for non-intrusive performance monitoring
Cassagnes, Cyril UL; Trestioreanu, Lucian Andrei UL; Joly, Clement UL et al

in IEEE Xplore (2020, June 08)

In this paper, we explain that container engines are strengthening their isolation mechanisms. Therefore, nonintrusive monitoring becomes a must-have for the performance analysis of containerized user ... [more ▼]

In this paper, we explain that container engines are strengthening their isolation mechanisms. Therefore, nonintrusive monitoring becomes a must-have for the performance analysis of containerized user-space application in production environments. After a literature review and background of Linux subsystems and container isolation concepts, we present our lessons learned of using the extended Berkeley packet filter to monitor and profile performance. We carry out the profiling and tracing of several Interledger connectors using two full-fledged implementations of the Interledger protocol specifications. [less ▲]

Detailed reference viewed: 65 (2 UL)
Full Text
Peer Reviewed
See detailA Novel Heap-based Pilot Assignment for Full Duplex Cell-Free Massive MIMO with Zero-Forcing
Nguyen, Van Hieu; Nguyen, van Dinh UL; Dobre, Octavia A. et al

in IEEE International Conference on Communications (2020, June 07)

This paper investigates the combined benefits of full-duplex (FD) and cell-free massive multiple-input multipleoutput (CF-mMIMO), where a large number of distributed access points (APs) having FD ... [more ▼]

This paper investigates the combined benefits of full-duplex (FD) and cell-free massive multiple-input multipleoutput (CF-mMIMO), where a large number of distributed access points (APs) having FD capability simultaneously serve numerous uplink and downlink user equipments (UEs) on the same time-frequency resources. To enable the incorporation of FD technology in CF-mMIMO systems, we propose a novel heapbased pilot assignment algorithm, which not only can mitigate the effects of pilot contamination but also reduce the involved computational complexity. Then, we formulate a robust design problem for spectral efficiency (SE) maximization in which the power control and AP-UE association are jointly optimized, resulting in a difficult mixed-integer nonconvex programming. To solve this problem, we derive a more tractable problem before developing a very simple iterative algorithm based on inner approximation method with polynomial computational complexity. Numerical results show that our proposed methods with realistic parameters significantly outperform the existing approaches in terms of the quality of channel estimate and SE. [less ▲]

Detailed reference viewed: 109 (29 UL)
Full Text
Peer Reviewed
See detailToward an SDN-based Data Collection Scheme for Vehicular Fog Computing
Boualouache, Abdelwahab UL; Soua, Ridha UL; Engel, Thomas UL

in IEEE International Conference on Communications ICC'2020 (2020, June 07)

With the integration of fog networks and vehicular networks, Vehicular Fog Computing (VFC) is a promising paradigm to efficiently collect data for improving safety, mobility, and driver experience during ... [more ▼]

With the integration of fog networks and vehicular networks, Vehicular Fog Computing (VFC) is a promising paradigm to efficiently collect data for improving safety, mobility, and driver experience during journeys. To this end, we exploit the Software-Defined Networking (SDN) paradigm to propose a fully-programmable, self-configurable, and context-aware data collection scheme for VFC. This scheme leverages a stochastic model to dynamically estimate the number of fog stations to be deployed. Our simulation results demonstrate that our proposed scheme provides lower latency and higher resiliency compared to classical data collection schemes. [less ▲]

Detailed reference viewed: 113 (37 UL)
Full Text
Peer Reviewed
See detailThe relevance of risk disclosure and the role of readability and comparability
Weber, Véronique UL; Muessig, Anke UL

Scientific Conference (2020, June 05)

Detailed reference viewed: 22 (1 UL)
Full Text
Peer Reviewed
See detailSuccessive Convex Approximation for Transmit Power Minimization in SWIPT-Multicast Systems
Gautam, Sumit UL; Lagunas, Eva UL; Kisseleff, Steven UL et al

Scientific Conference (2020, June)

We propose a novel technique for total transmit power minimization and optimal precoder design in wireless multi-group (MG) multicasting (MC) systems. The considered framework consists of three different ... [more ▼]

We propose a novel technique for total transmit power minimization and optimal precoder design in wireless multi-group (MG) multicasting (MC) systems. The considered framework consists of three different systems capable of handling heterogeneous user types viz., information decoding (ID) specific users with conventional receiver architectures, energy harvesting (EH) only users with non-linear EH module, and users with joint ID and EH capabilities having separate units for the two operations, respectively. Each user is categorized under unique group(s), which can be of MC type specifically meant for ID users, and/or an energy group consisting of EH explicit users. The joint ID and EH users are a part of the (last) EH group as well as any one of the MC groups distinctly. In this regard, we formulate an optimization problem to minimize the total transmit power with optimal precoder designs for the three aforementioned scenarios, under constraints on minimum signal-to-interference-plus-noise ratio and harvested energy by the users with respective demands. The problem may be adapted to the well-known semi-definite program, which can be typically solved via relaxation of rank-1 constraint. However, the relaxation of this constraint may in some cases lead to performance degradation, which increases with the rank of the solution obtained from the relaxed problem. Hence, we develop a novel technique motivated by the feasible-point pursuit and successive convex approximation method in order to address the rank-related issue. The benefits of the proposed method are illustrated under various operating conditions and parameter values, with comparison between the three above-mentioned scenarios. [less ▲]

Detailed reference viewed: 100 (12 UL)
Full Text
Peer Reviewed
See detailPractical Posterior Error Bounds from Variational Objectives
Huggins, Jonathan; Kasprzak, Mikolaj UL; Campbell, Trevor et al

in Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics (AISTATS) (2020, June)

Detailed reference viewed: 16 (5 UL)
Full Text
Peer Reviewed
See detailEnhancing CoAP Group Communication to Support mMTC Over Satellite Networks
Soua, Ridha UL; Palattella, Maria Rita UL; Stemper, André UL et al

in IEEE International Conference on Communications (ICC) (2020, June)

Massive MTC (mMTC) is one of the application scenarios that upcoming 5G networks are expected to support. Satellites come into play in mMTC to complement and extend terrestrial networks in under-served ... [more ▼]

Massive MTC (mMTC) is one of the application scenarios that upcoming 5G networks are expected to support. Satellites come into play in mMTC to complement and extend terrestrial networks in under-served areas, where several services can benefit from the adoption of a group communication model. The IETF has specifically standardized the usage of CoAP group communication. However, CoAP responses are still sent in unicast from each single CoAP server to the CoAP client, which results in a substantial traffic load. Such problem becomes more severe in integrated IoT-Satellite networks given the limited bandwidth of the satellite return channel and the large number of IoT devices in a mMTC scenario. To reduce network traffic overhead in group communication and improve the network responsiveness, this paper proposes an aggregation scheme for the CoAP group communication in combination with Observer pattern and proxying. Results obtained by using the openSAND emulator and CoAPthon library corroborate the merit of our optimization in terms of overhead reduction and delay. [less ▲]

Detailed reference viewed: 120 (6 UL)
Full Text
Peer Reviewed
See detailGOING DEEPER WITH NEURAL NETWORKS WITHOUT SKIP CONNECTIONS
Oyedotun, Oyebade UL; Shabayek, Abd El Rahman UL; Aouada, Djamila UL et al

in IEEE International Conference on Image Processing (ICIP 2020), Abu Dhabi, UAE, Oct 25–28, 2020 (2020, May 30)

Detailed reference viewed: 69 (4 UL)
Full Text
Peer Reviewed
See detailBoosting SWIPT via Symbol-Level Precoding
Gautam, Sumit UL; Krivochiza, Jevgenij UL; Haqiqatnejad, Alireza UL et al

Scientific Conference (2020, May 29)

In this paper, we investigate a simultaneous wireless information and power transmission (SWIPT) system, wherein a single multi-antenna transmitter serves multiple single-antenna users which employ the ... [more ▼]

In this paper, we investigate a simultaneous wireless information and power transmission (SWIPT) system, wherein a single multi-antenna transmitter serves multiple single-antenna users which employ the power-splitting (PS) receiver architecture. We formulate a Symbol-Level Precoding (SLP) based transmit power minimization problem dependent on the minimum signal-to-interference-plus-noise ratio (SINR) and energy harvesting (EH) thresholds. We solve the corresponding non-negative convex quadratic optimization problem per time frame of transmitted symbols and study the benefits of proposed design under Zero-Forcing (ZF) Precoding, Direct Demand SLP (DD-SLP), and Squared-Root Demand SLP (RD-SLP) techniques. A static PS-ratio is fixed according to the SINR and EH demands to enable the segregation of intended received signals for information decoding (ID) and EH, respectively. Numerical results show the property conservation of SINR-enhancement via SLP at the ID unit while increasing the harvested energy at each of the end-users. [less ▲]

Detailed reference viewed: 120 (13 UL)
Full Text
Peer Reviewed
See detailZur Bedeutsamkeit des Sportunterrichtes: Der Einfluss der Motivation im Sportunterricht auf den außerschulischen Kontext - ein longitudinaler Ansatz
Hutmacher, Djenna UL; Eckelt, Melanie UL; Bund, Andreas UL et al

Scientific Conference (2020, May 22)

Hintergrund: Hinsichtlich der kontinuierlichen Abnahme der körperlichen Aktivität von Kindern und Jugendlichen, rückt die Stärkung der Motivation als Ansatz zur Sportaktivierung immer mehr in den Fokus ... [more ▼]

Hintergrund: Hinsichtlich der kontinuierlichen Abnahme der körperlichen Aktivität von Kindern und Jugendlichen, rückt die Stärkung der Motivation als Ansatz zur Sportaktivierung immer mehr in den Fokus (Standage, Duda, & Ntoumanis, 2005). In ihrem trans-kontextuellen Modell postulieren Hagger und Chatzisarantis (2016) einen Zusammenhang zwischen intrinsischer Motivation im Sportunterricht und in der Freizeit. Dabei spielt die Unterstützung der Bedürfnisse durch die Sportlehrkraft eine wichtige Rolle, um die intrinsische Motivation der SchülerInnen im Sportunterricht und längerfristig in der Freizeit zu fördern, welche ein selbstbestimmtes körperliches Aktivitätsverhalten begünstigen soll. In der vorliegenden Studie wurden diese Annahmen in erweiterter Form im Längsschnitt geprüft. Methode: Es wurden N = 1681 SchülerInnen zwischen 10 und 23 Jahren (M = 14.7 Jahre; 50.7% weiblich) aus 14 luxemburgischen Schulen zu Beginn des Schuljahres (t1) und sechs Monate später am Ende des Schuljahres (t2) getestet. Neben der wahrgenommenen Bedürfnisunterstützung (Standage, Duda, & Ntoumanis, 2005) wurden die Motivationsregulation im Sportunterricht (PLOC-R; Vlachopoulos, Katartzi, Kontou, Moustaka, & Goudas, 2011) und in der Freizeit (BREQ-II; Markland & Tobin, 2004), sowie alle Konstrukte der Theorie des geplanten Handelns (Ajzen, 1991), und die körperliche Aktivität erhoben. Ergebnisse: Cross-Lagged-Panel Analysen zeigen, dass die intrinsische Motivation im Sportunterricht (t1) kontextübergreifend die intrinsische Motivation zur körperlichen Aktivität in der Freizeit (t2) vorhersagt (β = .12, p < .05). Selbiger Befund konnte auch für die Amotivation gefunden werden (β = .15, p < .05). Allerdings wurde kein kontextübergreifender Zusammenhang der extrinsischen Motivation gefunden (p > .05). Entgegen der postulierten Richtung des Modells, sagt eine höhere intrinsische Motivation der SchülerInnen (t1) eine höhere Wahrnehmung der Unterstützung der Grundbedürfnisse durch den Sportlehrer (t2) vorher (β = .10, p < .05). Die intrinsische Motivation in der Freizeit (t1) hängt zudem mit der Einstellung (β = .24, p < .05), subjektiven Norm (β = .11, p < .05), wahrgenommenen Verhaltenskontrolle (β = .12, p < .05), Intention (β = .16, p < .05) und der körperlichen Aktivität (β = .18, p < .05) zu t2 zusammen. Schlussfolgerung: Die Befunde bestätigen die Bedeutsamkeit des Sportunterrichts in dem Sinne, dass die intrinsische Motivation im Sportunterricht die Wahrnehmung der Bedürfnisunterstützung des Sportlehrers erhöht und kontextübergreifend mit der intrinsischen Motivation im Freizeitbereich zusammenhängt, welche wiederum ein selbstbestimmtes körperliches Aktivitätsverhalten in der Freizeit positiv bedingt. Eine Interventionsstudie im Sportunterricht bekräftigt diese Befunde in dem Sinne, dass die Autoren positivere Effekte fanden, wenn, zusätzlich zur alleinigen Autonomieunterstützung, internale Zielsetzungen in der Lehre eingesetzt wurden (Cheon, Reeve, & Song, 2019). [less ▲]

Detailed reference viewed: 114 (4 UL)