References of "Scientific congresses, symposiums and conference proceedings"
     in
Bookmark and Share    
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: 35 (0 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: 53 (10 UL)
Full Text
Peer Reviewed
See detailLe récit de voyage comme rupture de contrat
Roelens, Nathalie UL

in Acta Fabula : Revue des Parutions en Théorie Littéraire (in press)

Detailed reference viewed: 67 (6 UL)
Full Text
Peer Reviewed
See detailRevisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation
Atashpendar, Arash UL; Policharla, Guru Vamsi; Roenne, Peter UL et al

in Secure IT Systems, 23rd Nordic Conference, NordSec 2018 (in press)

We revisit the notion of deniability in quantum key exchange (QKE), a topic that remains largely unexplored. In the only work on this subject by Donald Beaver, it is argued that QKE is not necessarily ... [more ▼]

We revisit the notion of deniability in quantum key exchange (QKE), a topic that remains largely unexplored. In the only work on this subject by Donald Beaver, it is argued that QKE is not necessarily deniable due to an eavesdropping attack that limits key equivocation. We provide more insight into the nature of this attack and how it extends to other constructions such as QKE obtained from uncloneable encryption. We then adopt the framework for quantum authenticated key exchange, developed by Mosca et al., and extend it to introduce the notion of coercer-deniable QKE, formalized in terms of the indistinguishability of real and fake coercer views. Next, we apply results from a recent work by Arrazola and Scarani on covert quantum communication to establish a connection between covert QKE and deniability. We propose DC-QKE, a simple deniable covert QKE protocol, and prove its deniability via a reduction to the security of covert QKE. Finally, we consider how entanglement distillation can be used to enable information-theoretically deniable protocols for QKE and tasks beyond key exchange. [less ▲]

Detailed reference viewed: 80 (12 UL)
Full Text
See detailFundamental rights and constitutional identity(ies): limits or parameters of the EU constitutional governance?
Zinonos, Panagiotis UL

in European Governance and Sovereignty (in press)

Detailed reference viewed: 23 (9 UL)
Full Text
Peer Reviewed
See detailThe competence to conclude the new generation of free trade agreements: lessons from Opinion 2/15
Neframi, Eleftheria UL

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

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

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

Detailed reference viewed: 100 (15 UL)
See detailEntwicklungen der sexualwissenschaftlichen und rechtlichen Debatten zu Transsexualität und deren Verschränkungen in der Bundesrepublik Deutschland (1960er Jahre bis 1980)
De Silva, Adrian UL

in 'Auf nach Casablanca?' Lebensrealitäten transgeschlechtlicher Menschen zwischen 1945-1980 (in press)

Detailed reference viewed: 43 (9 UL)
Full Text
Peer Reviewed
See detailA New Perspective on the Luxembourgish Genitive
Döhmer, Caroline UL

in Germanic Genitives (in press)

Detailed reference viewed: 286 (4 UL)
Full Text
See detailNeue Staaten – neue Grenzen. Die Rhein-Maas-Mosel-Region zwischen den Grenzbereinigungen des Ancien Régime und der Neuordnung durch den Wiener Kongress (1779 – 1816)
Uhrmacher, Martin UL

in Fickers, Andreas; Franz, Norbert; Laux, Stephan (Eds.) et al Repression, Reform und Neuordnung im Zeitalter der Revolutionen: Die Folgen des Wiener Kongresses für Westeuropa. Tagung und Workshop zum 200. Jahrestag des Abschlusses des Wiener Kongresses (in press)

Abstract Konferenz 200 Jahre Wiener Kongress Martin Uhrmacher Neue Staaten – neue Grenzen. Die Großregion zwischen den Grenzbereinigungen des Ancien Régime und der Neuordnung durch den Wiener Kongress ... [more ▼]

Abstract Konferenz 200 Jahre Wiener Kongress Martin Uhrmacher Neue Staaten – neue Grenzen. Die Großregion zwischen den Grenzbereinigungen des Ancien Régime und der Neuordnung durch den Wiener Kongress (1779 – 1816). Der Vortrag untersucht die Veränderung von Grenzen und Ihre Entwicklung von sich teils überlagernden und durch Enklaven und Gemeinsherrschaften durchsetzten historisch gewachsenen Grenzsäumen hin zu begradigten, fest definierten und teils naturräumlichen Scheidelinien folgenden Staatsgrenzen. In der heutigen Großregion vollzog sich dieser fundamentale Wandel in nur drei Jahrzehnten: Er gliederte die Region vollkommen neu. Zunächst waren es 1779 mit dem Brüsseler Vertrag nach jahrzehntelangen Verhandlungen endlich zu einem Ausgleich zwischen Österreich und Frankreich gekommen, der die Grenzstreitigkeiten beseitigte und neue, begradigte Grenzen exakt festlegte. Ein ähnlicher Vertrag wurde auch zwischen Österreich und Kurtrier abgeschlossen. Doch die als endgültig geplanten Regelungen bestanden nur wenige Jahre: Infolge der französischen Revolution annektierte die französische Republik am 1. Oktober 1795 die österreichischen Niederlande mit dem Herzogtum Luxemburg und kurz darauf auch Kurtrier und die anderen linksrheinischen Territorien. Alle Staaten wurden aufgelöst und gehörten nun zum französischen Staatsgebiet; Teile der alten Grenzen bestanden als Départementsgrenzen weiter. Nach der Absetzung Napoleons beschloss der Wiener Kongress 1815 eine Neuordnung Europas. Doch im Maas-Moselraum blieben mit Ausnahme Frankreichs alle Territorien und Landesherrschaften, die hier seit dem Früh- und Hochmittelalter bestanden hatten verschwunden. Sie wurden ersetzt durch das neu gegründete Großherzogtum Luxemburg und das ebenfalls neu gegründete Königreich der Vereinigten Niederlande sowie durch die preußische Rheinprovinz, die den gesamten östlichen Teil umfasste. Bei der territorialen Neugliederung griff man in Teilen auf die bis 1795 bestehenden Grenzen des alten Herzogtums zurück. In der Schlussakte des Wiener Kongresses behandeln die Artikel 66 bis 69 das Großherzogtum Luxemburg. Hier werden die Grenzen des neuen Staates allerdings nur grob umrissen; detaillierte Regelungen blieben späteren Verträgen vorbehalten. Unstrittig war die Süd- und Westgrenze mit Frankreich; sie entsprach der 1769/79 festgesetzten und bis 1795 gültigen Linie mit Ausnahme des ehemaligen Herzogtums Bouillon als Zugewinn. Vollkommen neu festgelegt wurde jedoch die Ostgrenze: Mit der Schlussakte des Wiener Kongresses waren alle hier an Luxemburg angrenzenden Gebiete an das Königreich Preußen gefallen. In den Verträgen von Aachen (26. Juni 1816) und Kleve (7. Oktober 1816) einigten sich die niederländische und die preußische Seite darauf, dass die Flussläufe von Mosel, Sauer und Our zukünftig die gemeinsame Grenze bildeten. Hier offenbart sich ein grundlegender Wandel im Verständnis und der Genese von Grenzen: Bisher waren territoriale Veränderungen auf Grundlage historisch gewachsener Herrschaftsstrukturen vorgenommen worden. So konnten kleinere Herrschaften aber auch größere Gebietskonglomerate zwar durch Tausch, Verkauf, Abtretung oder - wie durch Frankreich praktiziert - als „Reunionen“ die territoriale Zugehörigkeit wechseln. Dabei wurden jedoch die historisch gewachsenen Grenzen beachtet, sogar noch bei der Einrichtung der französischen Départements 1795. Mit der Wahl des Flußverlaufs von Sauer und Our als Grenze zwischen Luxemburg und Preußen wurde dieses Prinzip durchbrochen und ein naturräumliches Gliederungselement als neu geschaffene Grenze gewählt. [less ▲]

Detailed reference viewed: 30 (1 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: 67 (3 UL)
Full Text
Peer Reviewed
See detailAn Investigation of Compression Techniques to Speed up Mutation Testing
Zhu; Panichella, Annibale UL; Zaidman, Andy

in Proceedings of 11th IEEE Conference on Software Testing, Validation and Verification, 2018 (in press)

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of ... [more ▼]

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the efficiency of strong mutation based on weak mutation information. Our investigation is centred around six mutation compression strategies that we have devised. More specifically, we adopt overlapped grouping and Formal Concept Analysis (FCA) to cluster mutants and test cases based on the reachability (code covergae) and necessity (weak mutation) conditions. Moreover, we leverage mutation knowledge (mutation locations and mutation operator types) during compression. To evaluate our method, we conducted a study on 20 open source Java projects using manually written tests. We also compare our method with pure random sampling and weak mutation. The overall results show that mutant compression techniques are a better choice than random sampling and weak mutation in practice: they can effectively speed up strong mutation 6.3 to 94.3 times with an accuracy of >90%. [less ▲]

Detailed reference viewed: 124 (18 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: 43 (1 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: 108 (9 UL)
Full Text
Peer Reviewed
See detailRevisiting Gaussian Mixture Models for Driver Identification
Jafarnejad, Sasan UL; Castignani, German UL; Engel, Thomas UL

in Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES) (ICVES 2018) (in press)

The increasing penetration of connected vehicles nowadays has enabled driving data collection at a very large scale. Many telematics applications have been also enabled from the analysis of those datasets ... [more ▼]

The increasing penetration of connected vehicles nowadays has enabled driving data collection at a very large scale. Many telematics applications have been also enabled from the analysis of those datasets and the usage of Machine Learning techniques, including driving behavior analysis predictive maintenance of vehicles, modeling of vehicle health and vehicle component usage, among others. In particular, being able to identify the individual behind the steering wheel has many application fields. In the insurance or car-rental market, the fact that more than one driver make use of the vehicle generally triggers extra fees for the contract holder. Moreover being able to identify different drivers enables the automation of comfort settings or personalization of advanced driver assistance (ADAS) technologies. In this paper, we propose a driver identification algorithm based on Gaussian Mixture Models (GMM). We show that only using features extracted from the gas pedal position and steering wheel angle signals we are able to achieve near 100 accuracy in scenarios with up to 67 drivers. In comparison to the state-of-the-art, our proposed methodology has lower complexity, superior accuracy and offers scalability to a larger number of drivers. [less ▲]

Detailed reference viewed: 31 (8 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: 167 (6 UL)
Full Text
Peer Reviewed
See detailService Performance Pattern Analysis and Prediction of Commercially Available Cloud Providers
Wagle, Shyam Sharan UL; Guzek, Mateusz UL; Bouvry, Pascal UL

in Service Performance Pattern Analysis and Prediction of Commercially Available Cloud Providers (in press)

The knowledge of service performance of cloud providers is essential for cloud service users to choose the cloud services that meet their requirements. Instantaneous performance readings are accessible ... [more ▼]

The knowledge of service performance of cloud providers is essential for cloud service users to choose the cloud services that meet their requirements. Instantaneous performance readings are accessible, but prolonged observations provide more reliable information. However, due to technical complexities and costs of monitoring services, it may not be possible to access the service performance of cloud provider for longer time durations. The extended observation periods are also a necessity for prediction of future behavior of services. These predictions have very high value for decision making both for private and corporate cloud users, as the uncertainty about the future performance of purchased cloud services is an important risk factor. Predictions can be used by specialized entities, such as cloud service brokers (CSBs) to optimally recommend cloud services to the cloud users. In this paper, we address the challenge of prediction. To achieve this, the current service performance patterns of cloud providers are analyzed and future performance of cloud providers are predicted using to the observed service performance data. It is done using two automatic predicting approaches: ARIMA and ETS. Error measures of entire service performance prediction of cloud providers are evaluated against the actual performance of the cloud providers computed over a period of one month. Results obtained in the performance prediction show that the methodology is applicable for both short- term and long-term performance prediction. [less ▲]

Detailed reference viewed: 146 (19 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: 118 (6 UL)
Peer Reviewed
See detailExploration of Different School Value-Added Models in a Highly Heterogeneous Educational Context
Levy, Jessica UL; Brunner, Martin; Keller, Ulrich UL et al

Scientific Conference (2019, April)

Detailed reference viewed: 28 (1 UL)
Full Text
Peer Reviewed
See detailCollaborative Data Delivery for Smart City-oriented Mobile Crowdsensing Systems
Vitello, Piergiorgio; Capponi, Andrea UL; Fiandrino, Claudio UL et al

in IEEE Global Communications Conference (GLOBECOM), Abu Dhabi, UAE, 2018 (2018, December)

The huge increase of population living in cities calls for a sustainable urban development. Mobile crowdsensing (MCS) leverages participation of active citizens to improve performance of existing sensing ... [more ▼]

The huge increase of population living in cities calls for a sustainable urban development. Mobile crowdsensing (MCS) leverages participation of active citizens to improve performance of existing sensing infrastructures. In typical MCS systems, sensing tasks are allocated and reported on individual-basis. In this paper, we investigate on collaboration among users for data delivery as it brings a number of benefits for both users and sensing campaign organizers and leads to better coordination and use of resources. By taking advantage from proximity, users can employ device-to-device (D2D) communications like Wi-Fi Direct that are more energy efficient than 3G/4G technology. In such scenario, once a group is set, one of its member is elected to be the owner and perform data forwarding to the collector. The efficiency of forming groups and electing suitable owners defines the efficiency of the whole collaborative-based system. This paper proposes three policies optimized for MCS that are compliant with current Android implementation of Wi-Fi Direct. The evaluation results, obtained using CrowdSenSim simulator, demonstrate that collaborative-based approaches outperform significantly individual-based approaches. [less ▲]

Detailed reference viewed: 49 (6 UL)
Full Text
Peer Reviewed
See detailPower and Load Optimization in Interference-Coupled Non-Orthogonal Multiple Access Networks
Lei, Lei UL; You, Lei; Yang, Yang UL et al

in IEEE Global Communications Conference (GLOBECOM) 2018 (2018, December)

Detailed reference viewed: 31 (5 UL)
Full Text
Peer Reviewed
See detailKnowledge Graph-based Core Concept Identification in Learning Resources
Manrique, Rubén; Grevisse, Christian UL; Mariño, Olga et al

in 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings (2018, December)

The automatic identification of core concepts addressed by a learning resource is an important task in favor of organizing content for educational purposes and for the next generation of learner support ... [more ▼]

The automatic identification of core concepts addressed by a learning resource is an important task in favor of organizing content for educational purposes and for the next generation of learner support systems. We present a set of strategies for core concept identification on the basis of a semantic representation built using the open and available knowledge in the so-called Knowledge Graphs (KGs). Different unsupervised weighting strategies, as well as a supervised method that operates on the semantic representation, were implemented for core concept identification. In order to test the effectiveness of the proposed strategies, a human-expert annotated dataset of 96 learning resources extracted from MOOCs was built. In our experiments, we show the capacity of the semantic representation for the core-concept identification task as well as the superiority of the supervised method. [less ▲]

Detailed reference viewed: 288 (1 UL)
Full Text
Peer Reviewed
See detailSequential Resource Distribution Technique for Multi-User OFDM-SWIPT based Cooperative Networks
Gautam, Sumit UL; Lagunas, Eva UL; Chatzinotas, Symeon UL et al

Scientific Conference (2018, December)

In this paper, we investigate resource allocation and relay selection in a dual-hop orthogonal frequency division multiplexing (OFDM)-based multi-user network where amplify-and-forward (AF) enabled relays ... [more ▼]

In this paper, we investigate resource allocation and relay selection in a dual-hop orthogonal frequency division multiplexing (OFDM)-based multi-user network where amplify-and-forward (AF) enabled relays facilitate simultaneous wireless information and power transfer (SWIPT) to the end-users. In this context, we address an optimization problem to maximize the end-users’ sum-rate subjected to transmit power and harvested energy constraints. Furthermore, the problem is formulated for both time-switching (TS) and power-splitting (PS) SWIPT schemes.We aim at optimizing the users’ SWIPT splitting factors as well as sub-carrier–destination assignment, sub-carrier pairing, and relay–destination coupling metrics. This kind of joint evaluation is combinatorial in nature with non-linear structure involving mixed-integer programming. In this vein, we propose a sub-optimal low complex sequential resource distribution (SRD) method to solve the aforementioned problem. The performance of the proposed SRD technique is compared with a semi-random resource allocation and relay selection approach. Simulation results reveal the benefits of the proposed design under several parameter values with various operating conditions to illustrate the efficiency of SWIPT schemes for the proposed techniques. [less ▲]

Detailed reference viewed: 51 (6 UL)
Full Text
Peer Reviewed
See detailOsiris: Hunting for Integer Bugs in Ethereum Smart Contracts
Ferreira Torres, Christof UL; Schütte, Julian; State, Radu UL

in 34th Annual Computer Security Applications Conference (ACSAC ’18), San Juan, Puerto Rico, USA, December 3-7, 2018 (2018, December)

The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed ... [more ▼]

The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed once deployed to the blockchain. They typically implement the business logic of distributed apps and carry billions of dollars worth of coins. In that respect, it is imperative that smart contracts are correct and have no vulnerabilities or bugs. However, research has identified different classes of vulnerabilities in smart contracts, some of which led to prominent multi-million dollar fraud cases. In this paper we focus on vulnerabilities related to integer bugs, a class of bugs that is particularly difficult to avoid due to some characteristics of the Ethereum Virtual Machine and the Solidity programming language. In this paper we introduce Osiris – a framework that combines symbolic execution and taint analysis, in order to accurately find integer bugs in Ethereum smart contracts. Osiris detects a greater range of bugs than existing tools, while providing a better specificity of its detection. We have evaluated its performance on a large experimental dataset containing more than 1.2 million smart contracts. We found that 42,108 contracts contain integer bugs. Be- sides being able to identify several vulnerabilities that have been reported in the past few months, we were also able to identify a yet unknown critical vulnerability in a couple of smart contracts that are currently deployed on the Ethereum blockchain. [less ▲]

Detailed reference viewed: 104 (5 UL)
Full Text
Peer Reviewed
See detailConcrete-Filled Steel Tubular (CFTS) Columns Subjected to Eccentric Compressive Load
KEDZIORA, SLAWOMIR UL; Anwaar, Muhammad Omer

in AIP Conference Proceedings (2018, November 15)

Concrete-steel composite structures are very efficient in carrying high loads as they combine benefits of both materials concrete and steel. The combination of them can significantly improve the strength ... [more ▼]

Concrete-steel composite structures are very efficient in carrying high loads as they combine benefits of both materials concrete and steel. The combination of them can significantly improve the strength of the composite structure by taking advantage of high compression resistance of concrete and high strength of steel in tension. Recently, there has been renewed interest in the composite structures used in different forms, as beams, slabs, sandwich structures and columns and many methods of structural analyses were utilised. However, none of them was able to eliminate concrete material when it fractured. The presented work concerns circular composite columns CFST under eccentric compression. The principal objective of the project was to investigate a straightforward method based on a finite element analysis employed to estimate the load carrying capacity of columns. This study has also been set out to determine whether the Drucker-Prager material model of concrete without a crack capability could be used for analyses of the CFST columns with the additional elimination of the concrete material when concrete is damaged. The elaborated finite element model was verified with existing test data from the literature. The findings show that the correlation between the test results and the numerical analysis was excellent confirming the feasibility of usage of the proposed method for the assessment of complex cases of the CFST columns. A new part of the work is the employment of a death element feature to eliminate concrete material, which theoretically is not taking any load after reaching its tensile strength. A criterion to eliminate elements from the model is the maximum principal stress greater than tensile strength. The obtained results are excellent; the established goal was met entirely. [less ▲]

Detailed reference viewed: 31 (11 UL)
Peer Reviewed
See detailDeveloping and validating a short-form questionnaire for the assessment of seven conscientiousness facets in educational large-scale assessments
Franzen, Patrick UL; van der Westhuizen, Lindie UL; Greiff, Samuel UL et al

Scientific Conference (2018, November 09)

The influence of personality on academic outcomes has been demonstrated consistently in previous research. In particular, conscientiousness and its lower order facets generally show the strongest ... [more ▼]

The influence of personality on academic outcomes has been demonstrated consistently in previous research. In particular, conscientiousness and its lower order facets generally show the strongest predictive validity for academic success. MacCann et al. (2009) constructed a 68-item questionnaire for the comprehensive assessment of different conscientiousness facets in secondary education. However, such questionnaires are arguably too long for the use in large-scale educational assessments. Investigating the influence of conscientiousness facets within large-scale educational assessments is, nevertheless, crucial for advancing our knowledge of the differential influence of facets on various academic outcomes. Short and psychometrically sound questionnaires are thus required. Currently, no short and yet comprehensive questionnaire assessing the lower order facets of conscientiousness, that is suitable for large-scale educational assessments exists. Therefore, within the present investigation we develop a short-form instrument based upon the seven-factor version (59 items) of the questionnaire presented by MacCann et al. (2009), by using an exhaustive search algorithm and traditional item selection methods. Our sample consists of a large and representative dataset comprising all 9th grade students in Luxembourg from the Luxembourgish national school monitoring system (N = 6325; see epstan.lu), who answered French and German adaptations of the original 59-item questionnaire. We specified the exhaustive search algorithm to select the best possible combination of four items for each lower order facet, by considering goodness of fit criteria, factor saturation statistics, and measurement invariance between the German and French version. In addition, we used Mokken scale analysis and assessed the congruence of item wordings and theoretical definitions of each lower order facet to ensure content validity. We finally selected four to five items per scale based on our analyses. We found good fit statistics for all lower order facet scales (CFI >.95, RMSEA < 0.05), and acceptable to good factor saturation statistics for all but one of these scales (McDonalds ω > 0.7). On top of that, all scales show either scalar invariance, or partial scalar invariance between the German and French language version. The result of our investigation is a short and psychometrically sound instrument for the assessment of the lower order facets of conscientiousness. It is specifically tailored towards the unique context of the multilingual Luxembourgish educational system, and can be used in the upcoming Épstan cohorts. [less ▲]

Detailed reference viewed: 23 (4 UL)
Peer Reviewed
See detailLongitudinal development of students‘ competencies in Mathematics and German reading comprehension
Sonnleitner, Philipp UL; Krämer, Charlotte UL; Gamo, Sylvie UL et al

Scientific Conference (2018, November 09)

Im Rahmen des luxemburgischen Schulmonitorings werden Schlüsselkompetenzen der Schülerinnen und Schüler der luxemburgischen Regelschulen in regelmäßigen Abständen durch die so genannten Épreuves ... [more ▼]

Im Rahmen des luxemburgischen Schulmonitorings werden Schlüsselkompetenzen der Schülerinnen und Schüler der luxemburgischen Regelschulen in regelmäßigen Abständen durch die so genannten Épreuves Standardisées (ÉpStan) gemessen. Diese längsschnittliche Begleitung der Schülerinnen und Schüler birgt die einmalige Chance, neue Erklärungsansätze für ein (alt)bekanntes Problem des luxemburgischen Schulsystems zu finden: die großen Unterschiede der Bildungschancen von Schülerinnen und Schüler je nach Geschlecht, sprachlichem und sozioökonomischem Hintergrund. Der vorliegende Beitrag gibt nun einen ersten Einblick in die längsschnittliche Kompetenzentwicklung in den Bereichen Deutsch-Leseverstehen und Mathematik. Hierfür werden die Testergebnisse der untersuchten Schülerkohorte aus den ÉpStan-Kompetenztests 2010 in der 3.Schulstufe den Leistungen in der 9. Schulstufe im Jahre 2016 gegenübergestellt. Die Darstellung der Entwicklungsverläufe mittels Sankey-Flussdiagrammen, erlaubt ein schnelles und intuitives Verständnis, von welchem Kompetenzniveau die Schülerinnen und Schüler in der 3. Klasse starten und welches sie schließlich in der 9. Klasse erreichen. Der Effekt von nachgewiesenermaßen einflussreichen, demografischen (Hintergrund-) Merkmalen wie Geschlecht, sprachlichem Hintergrund und sozioökonomischem Status wird dabei gesondert analysiert. Beim Blick auf die generellen Entwicklungsverläufe in den Bereichen Deutsch-Leseverstehen und Mathematik fällt vor allem eine sehr hohe Stabilität der Kompetenzeinstufungen auf: Schülerinnen und Schüler der 3. Klasse, deren Leistungen auf dem (erwartungskonformen) Niveau Socle oder Niveau Avancé liegen, verfügen in der Regel auch 6 Jahre später über hohe Deutsch- bzw. Mathematikkompetenzen. Umgekehrt verbleibt die Mehrheit der Schülerinnen und Schüler mit anfänglich schwachen Leistungen auch später auf einem niedrigen Kompetenzniveau. Bezieht man nun die Teilergebnisse zum Sprachhintergrund mit ein, lässt sich ganz klar folgern, dass die Unterrichtssprache hierfür einen entscheidenden Faktor darstellt: Schülerinnen und Schüler, die Luxemburgisch oder Deutsch als Muttersprache angeben, können sowohl in Deutsch-Leseverstehen als auch in Mathematik eher ein hohes Niveau halten bzw. sich im Laufe ihrer Schulkarriere auf ein solches verbessern. Portugiesischsprachige bzw. frankophone Schülerinnen und Schüler, die im Allgemeinen ohnehin auf einem niedrigeren Kompetenzniveau starten, können sich nur teilweise deutlich verbessern, profitieren aber vom Wechsel der Unterrichtssprache im Secondaire. Die Analysen zeigen darüber hinaus, dass typische Geschlechtsunterschiede, die auf einen Vorteil für Mädchen beim Lesen und einen leichten Vorteil für Jungen in Mathematik hindeuten, schon anfangs der 3. Klasse bestehen, und über die folgenden 6 Jahre weitgehend stabil bleiben. Zusammenfassend bestätigen die Ergebnisse die bereits mehrfach aufgezeigten landestypischen Probleme, erlauben aber eine feinere Aufschlüsselung und zeitliche Verortung der Wechselwirkungen zwischen Unterrichtssprache, sprachlichem und sozioökonomischem Schülerhintergrund, und bilden so die Grundlage für effektivere Interventionen. [less ▲]

Detailed reference viewed: 25 (6 UL)
Peer Reviewed
See detailChildren's languaging and peer interactions in non-formal early childhood education in Luxembourg
Mortini, Simone UL

Scientific Conference (2018, November 09)

In Luxembourg children engage daily in multilingual practices outside early childhood institutions but often face monolingual practices within (Neumann, 2015). Despite research having debunked the need ... [more ▼]

In Luxembourg children engage daily in multilingual practices outside early childhood institutions but often face monolingual practices within (Neumann, 2015). Despite research having debunked the need for strict language separation for effective language learning, children are deprived from drawing on their complete linguistic repertoire (Neumann, 2015). In 2017 Luxembourg has opted for multilingual education in the early years. Formal and non-formal education settings are now required to offer the teaching of Luxembourgish, a familiarization with French and a valorisation of the children’s home languages. Whereas researchers have analysed inclusive language pedagogies (García, Johnson & Seltzer, 2017), studies seldomly examine the children’s active participation and peer interactions in early years settings implementing such multilingual pedagogies (Schwartz & Gorbatt, 2018). The present doctoral study is part of the research project MuLiPEC (Kirsch, 2016-2019) which aims at developing multilingual pedagogies through professional development in early childhood. Drawing on a sociocultural perspective, this paper focusses on two three-year-old children in two non-formal settings and investigates their languaging and interactions with peers and practitioners over a year. The data stem from 31 days of participant observation and videography of the children’s interactions with peers and practitioners and from eight interviews with the practitioners. The ongoing data analysis is based on thematic and interaction analysis. The preliminary findings, firstly, indicate that the children translanguaged, making use of their home language French, features of at least two other languages (e.g. German, English) and non-verbal communication (e.g. actions, gestures, pointing). Secondly, the children developed competences in Luxembourgish and learned new words in other languages from their peers and the practitioners. Finally, akin to Corsaro (2018), the children reproduced the practitioners’ language strategies (e.g. labelling, corrective feedback, translanguaging) during peer interactions and adapted their languaging to their interlocutors. The findings should contribute to research on dynamic multilingual practices and their impact on peer interactions in early childhood education. Corsaro, W.A. (2018). The Sociology of Childhood (5th edition). Los Angeles: SAGE García, O., Johnson, S., & Seltzer, K. (2017). The Translanguaging classroom. Leveraging student bilingualism for learning. Philadelphia: Caslon. Neumann, S. (2015). Lost in Translanguaging? Practices of Language Promotion in Luxemburgish Early Childhood Education. Global Education Review 2(1), 23–39. Schwartz, M., & Gorbatt, N. (2018). The Role of Language Experts in Novices’ Language Acquisition and Socialization. In M. Schwartz (ed.) Preschool Bilingual Education. Agency Between Children, Teachers, and Parents (pp. 343 – 356). Springer. [less ▲]

Detailed reference viewed: 16 (1 UL)
See detail(Dis)engaging in Language and Sciences Lessons: How do Primary School Students in Multilingual Luxembourg Communicate With Each Other?
Degano, Sarah UL

Scientific Conference (2018, November 09)

As the country with the highest percentage of immigration in Europe, Luxembourg has a very diverse school population. This doctoral project is part of the research project ‘CALIDIE’ that investigates how ... [more ▼]

As the country with the highest percentage of immigration in Europe, Luxembourg has a very diverse school population. This doctoral project is part of the research project ‘CALIDIE’ that investigates how multilingualism can be capitalized on. In Luxembourg, the teaching of Luxembourgish, German and French accounts for 40.5% of all curricular time. Assessment studies have shown that students of Portuguese, French and Slavic heritage underperform compared to Luxembourgish and German-speaking students in primary schools (MENJE, 2017). While studies in preschool, Year 1 and Year 2 classes show that some teachers begin to draw on children’s semiotic repertoires (Kirsch 2017), the present project targets Years 4 and 5. The focus lies on translanguaging practices. Translanguaging is the enactment of a person’s linguistic and non-linguistic resources. Research in bilingual and trilingual school contexts has shown that translanguaging can promote knowledge, understanding and academic success (García & Sylvan 2011). To help students learn, teachers need to encourage students to make use of their resources in a strategic and responsible way, whatever the status of the languages (García, Johnson & Seltzer 2017). In this paper, I examine the extent to which a fourth-grader of Slovenian language background deploys (or does not deploy) his linguistic repertoire while interacting with peers. Data are drawn from eighteen days of observation and video-recordings of the students’ language use in German, French and Science lessons from September 2017 to July 2018 in a state school in Eastern Luxembourg. The thematic analysis focuses on classroom interactions among students; the learning activities; the languages; and the purposes of their (in)flexible language use. Preliminary results show that peer interactions and child-led learning activities are scarce; the students communicate in the language of instruction; and translanguaging is used to (help) participate. The findings are tentative because data collection is on-going. [less ▲]

Detailed reference viewed: 59 (5 UL)
See detailResearching education in Luxembourg (symposium)
Fischbach, Antoine UL

Scientific Conference (2018, November 08)

Detailed reference viewed: 11 (2 UL)
Full Text
Peer Reviewed
See detailSchulische Kompetenzen von Erstklässlern und ihre Entwicklung nach zwei Jahren.
Hoffmann, Danielle UL; Hornung, Caroline; Gamo, Sylvie UL et al

Poster (2018, November 08)

Jedes Jahr werden in den luxemburgischen Schulen die ÉpStan (Épreuves Standardisées) durchgeführt. Hierbei handelt es sich um nationale Schulleistungstests, welche Kompetenzen im Bereich der Mathematik ... [more ▼]

Jedes Jahr werden in den luxemburgischen Schulen die ÉpStan (Épreuves Standardisées) durchgeführt. Hierbei handelt es sich um nationale Schulleistungstests, welche Kompetenzen im Bereich der Mathematik und den Schulsprachen (Luxemburgisch, Deutsch und Französisch) auf standardisierte Art messen. Der vorliegende Beitrag ist sowohl eine Bestandsaufnahme der Schülerschaft zu Beginn des formalen Bildungswegs als auch ein Bericht ihrer Evolution über zwei Jahre im luxemburgischen Schulsystem. Hierzu haben wir die Daten aus drei Erhebungen (2014, 2015, 2016) der ÉpStan analysiert. Zum einen zeigen wir, anhand von Daten aus drei verschiedenen Kohorten, welche schulischen Kompetenzen Erstklässler (Zyklus 2.1) am Anfang ihrer Schullaufbahn aufweisen. Zudem hatten wir die Möglichkeit die Schüler und Schülerinnen der ersten Erhebung (2014) zwei Jahre später im Zyklus 3.1 nochmals zu testen und somit ihren Entwicklungsverlauf über zwei Jahre im luxemburgischen Bildungssystem zu dokumentieren. Diese ersten längsschnittlichen Daten zeigen, dass die Mehrheit der Schülerinnen und Schüler zu Beginn des Zyklus 2.1 das Niveau Avancé in den drei überprüften Kernkompetenzen („Luxemburgisch-Hörverstehen“, „Vorläuferfertigkeiten der Schriftsprache“ und „Mathematik“) erreicht. Somit stellen wir fest, dass die für den ersten Lernzyklus festgehaltenen Bildungsstandards erfüllt sind. Zwei Jahre später fällt die Verteilung der Schülerinnen und Schüler auf die verschiedenen Kompetenzränge negativer aus als im Zyklus 2.1. Im Zyklus 3.1 haben vergleichsweise mehr Kinder das Niveau Socle in allen drei Kernkompetenzen („Deutsch-Hörverstehen“, „Deutsch-Leseverstehen“ und „Mathematik“) noch nicht erreicht. Unsere Befunde zeigen außerdem, dass verschiedene außerschulische Faktoren (wie z. B. sozioökonomische Situation, Sprachhintergrund) bereits sehr früh im Verlauf der Schullaufbahn einen äußerst starken Einfluss auf die Testergebnisse haben und sich dieser Einfluss über die Jahre hinweg verstärkt. Abschließend präsentieren und diskutieren wir verschiedene Erklärungsansätze für diesen beobachteten Schereneffekt. [less ▲]

Detailed reference viewed: 23 (1 UL)
Peer Reviewed
See detailChildren’s languaging and peer interactions in non-formal early childhood education in Luxembourg
Kirsch, Claudine UL; Aleksic, Gabrijela UL; Andersen, Katja Natalie UL

Scientific Conference (2018, November 08)

The need for multilingual pedagogies has been recognized and several multilingual programmes have been implemented in early childhood in Europe. In Luxembourg, where this study is based, laws were voted ... [more ▼]

The need for multilingual pedagogies has been recognized and several multilingual programmes have been implemented in early childhood in Europe. In Luxembourg, where this study is based, laws were voted in 2017 that require early years practitioners to develop Luxembourgish, familiarize children with French, and value home languages. To develop inclusive multilingual practices, the authors of this presentation developed a 30-hour professional development programme (thereafter PD) which was long-term, collaborative, inquiry-based, performance-oriented, and included coaching. The participants carried out and video-record activities based on books and rhymes in several languages, reflected on these, and received feedback. This case-study examines the influence of the PD on the understanding of language learning and practices of two teachers and five carers working in schools and crèches. The data stem from a questionnaire completed three times; twelve interviews; six observations of the training; 30 video-recorded activities; ten coaching reports, and emails. The methods of data analysis comprise paired samples t-test, correlational analysis, content analysis and triangulation. The findings show a positive effect of the PD on understanding of language learning and practices. The teachers and some carers developed a better understanding of social constructivist learning theories which influenced their practices that began to focus on interactions between adults and children, and amongst children. The other carers understood the relevance of dialogue and carried out activities in several languages but their overall practice did not change. The findings confirm that collaborative, inquiry-based PD can be transformative (Gaikhorst et al., 2017; Prenger et al., 2017) and change perspectives and practices to some extent (Buschmann & Sachse, 2018). In addition, they add to the dearth of literature on PD on multilingual education in early years (Egert, 2015). Buschmann, A., & Sachse, S. (2018). Heidelberg interaction training for language promotion in early childhood settings. European Journal of Education, 53(1), 66-78. Egert, F. (2015). Meta-analysis on the impact of in-service professional development programs for preschool teachers on quality ratings and child outcomes. Gaikhorst, L., Beishuizen, J. J. J., Zijlstra, B. J. H., & Volman, M. L. L. (2017) The sustainability of a teacher professional development programme for beginning urban teachers, Cambridge Journal of Education, 47(1), 135-154. Prenger, R., Poortman, C. L., & Handelzalts, A. (2017). Factors influencing teachers’ professional development in networked professional learning communities. Teaching and Teacher Education, 68(1), 77-90. [less ▲]

Detailed reference viewed: 39 (12 UL)
Peer Reviewed
See detailIt's not only the game, it's also the player: The role of player personality in violent video game preference
Holl, Elisabeth UL; Melzer, André UL

Scientific Conference (2018, November 03)

In contrast to the effects of game content, violent video games have less been researched with regard to players' preferences for these games, and whether these preferences are related to certain ... [more ▼]

In contrast to the effects of game content, violent video games have less been researched with regard to players' preferences for these games, and whether these preferences are related to certain personality characteristics. Using a novel brief and uni-dimensional self-report measure, the present research examined the role of personality factors and preferences for violent video games. A scale of five items was administrated in two studies that involved 292 and 180 respondents, respectively. The same scale with two additional items was presented to 190 respondents in the third study, which included measures revealed by prior research to be relevant for understanding violent video game motivation and preference. More specifically, we measured participants' trait aggression, the Dark Triad traits of psychopathy, Machiavellianism, and narcissism. To test for the scale's discriminant validity, trait empathy was also included. In line with other findings in the literature (e.g., Greitemeyer, 2015), results obtained with the self-report measure indicated that players with a propensity for games featuring violent themes show callous, impulsive and exploitative attributes, whereas narcissism was not a significant predictor. However, and as already suggested by some authors (Hartmann, Möller, & Krause, 2014), a lack of empathy was found to predict violent game preferences. The present findings are important with regard to future research on video games that should focus more on the players and their gaming motivation than on the effects of playing alone. [less ▲]

Detailed reference viewed: 50 (2 UL)
Full Text
Peer Reviewed
See detailVisualizing the Learning Progress of Self-Driving Cars
Mund, Sandro; Frank, Raphaël UL; Varisteas, Georgios UL et al

in 21st International Conference on Intelligent Transportation Systems (2018, November 02)

Using Deep Learning to predict lateral and longitudinal vehicle control, i.e. steering, acceleration and braking, is becoming increasingly popular. However, it remains widely unknown why those models ... [more ▼]

Using Deep Learning to predict lateral and longitudinal vehicle control, i.e. steering, acceleration and braking, is becoming increasingly popular. However, it remains widely unknown why those models perform so well. In order for them to become a commercially viable solution, it first needs to be understood why a certain behavior is triggered and how and what those networks learn from human-generated driving data to ensure safety. One research direction is to visualize what the network sees by highlighting regions of an image that influence the outcome of the model. In this vein, we propose a generic visualization method using Attention Heatmaps (AHs) to highlight what a given Convolutional Neural Network (CNN) learns over time. To do so, we rely on a novel occlusion technique to mask different regions of an input image to observe the effect on a predicted steering signal. We then gradually increase the amount of training data and study the effect on the resulting Attention Heatmaps, both in terms of visual focus and temporal behavior. [less ▲]

Detailed reference viewed: 20 (2 UL)
Full Text
See detailA survey: The usage of Augmented Reality in Industry
Gallala, Abir UL; Hichri, Bassem UL; Plapper, Peter UL

in Robotix-Academy Conference for Industrial Robotics 2018 (2018, November 01)

Human-Robot-Interaction technologies in industry 4.0 and modern manufacturing are more and more growing. Using off-line robot programming methods such as Augmented Reality (AR) could gain time and money ... [more ▼]

Human-Robot-Interaction technologies in industry 4.0 and modern manufacturing are more and more growing. Using off-line robot programming methods such as Augmented Reality (AR) could gain time and money as well as improve programming and repair tasks. This paper is a study of the use of AR in smart factories. [less ▲]

Detailed reference viewed: 16 (0 UL)
Peer Reviewed
See detailAußerschulisches Lesen und Lesekompetenz Zum Zusammenhang zwischen den Deutsch- und Französisch- Lesekompetenzen von Neuntklässlerinnen und Neuntklässlern und ihren außerschulischen Lesegewohnheiten in Luxemburg.
Reichert, Monique UL; Krämer, Charlotte UL; Rivas, Salvador UL et al

Scientific Conference (2018, November)

In Luxemburg erreichen viele Jugendliche ein gutes Lesekompetenzniveau nicht nur in einer, sondern gleich in zwei Sprachen. Allerdings wird wiederholt darauf hingewiesen, dass die Lesekompetenzen in ... [more ▼]

In Luxemburg erreichen viele Jugendliche ein gutes Lesekompetenzniveau nicht nur in einer, sondern gleich in zwei Sprachen. Allerdings wird wiederholt darauf hingewiesen, dass die Lesekompetenzen in Luxemburg stark mit dem familiären Hintergrund der Schülerinnen und Schüler zusammenhängen. Die vorliegende Studie soll jedoch über die Darstellung der Zusammenhänge zwischen den Deutsch- und Französisch-Lesekompetenzen und Einflussfaktoren wie sozio-ökonomischem Hintergrund, Migrationsstatus und Muttersprache hinausgehen. In der Tat stellt sich die Frage, ob es Faktoren gibt, die sich positiv auf das Lesekompetenzniveau der Schülerinnen und Schüler auswirken und auf die sie – anders als bei diesen mittlerweile gut belegten Faktoren – selbst Einfluss nehmen können? Das Leseverhalten Jugendlicher stellt hierfür einen naheliegenden Ansatzpunkt dar. Somit wurden die Schülerinnen und Schüler während der ÉpStan 2016 nicht nur zu ihrem familiären, schulischen und persönlichen Hintergrund befragt, sondern erstmals auch zu ihrem außerschulischen Leseverhalten. Hierbei wurde erfasst, wie häufig sie in ihrer Freizeit Texte unterschiedlicher Art (z. B. Erzählungen, Sachtexte, Zeitungsartikel, Foreneinträge oder Emails) lesen, und in welchen Sprachen sie dies tun. Mittels verschiedener Regressionsanalysen wurde der familiäre Hintergrund der Jugendlichen, ihr Leseverhalten, sowie ihr Lesekompetenzniveau im Deutschen und Französischen zueinander in Bezug gesetzt. Die aus diesen Analysen hervorgehenden Ergebnisse belegen eindrücklich, dass neben dem familiären Hintergrund auch die Lesehäufigkeit und die Sprache, in der die Schülerinnen und Schüler üblicherweise lesen, von Bedeutung für das erreichte Lesekompetenzniveau sind. Darüber hinaus haben insbesondere die Textsorten, mit denen sich die Jugendlichen in ihrer Freizeit auseinandersetzen, entscheidenden Einfluss auf ihre Deutsch- und ihre Französisch-Lesekompetenz. Insbesondere die Häufigkeit, mit der Jugendliche angeben, narrative Texte (wie Geschichten, Romane oder Erzählungen) zu lesen, steht deutlich in positivem Zusammenhang mit ihrer Lesekompetenz in beiden Sprachen. Der Vortrag schließt mit einer Diskussion bezüglich der außerordentlich hohen Attraktivität von digitalen Textsorten bei Kindern und Jugendlichen, und den Möglichkeiten, diese Vielfalt an primär kommunikativ bzw. interaktiv ausgerichteten Lesematerialien als lebensnahe, pädagogische „Sprungbretter“ zu nutzen, mit deren Hilfe zukünftige Leserinnen und Leser an zunehmend komplexere Texte herangeführt werden könnten. [less ▲]

Detailed reference viewed: 14 (4 UL)
Full Text
Peer Reviewed
See detailAssociations of wealth with frailty and memory impairment across the course of aging
Leist, Anja UL

in Innovation in Aging (2018, November), 2(S1), 906

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailAdvancing the Security of Trustworthy Self-IoT (Position Paper)
Msadek, Mohamed Nizar UL; Soua, Ridha UL; Ladid, Latif UL et al

in International Conference on Smart Applications, Communications and Networking (SmartNets) (2018, November)

The Internet of Things (IoT) encompasses many aspects of our daily life, from connected homes and cities through connected vehicles and roads to devices that collaborate independently to achieve a ... [more ▼]

The Internet of Things (IoT) encompasses many aspects of our daily life, from connected homes and cities through connected vehicles and roads to devices that collaborate independently to achieve a specific purpose. Being an example of a largescale self-organizing systems, the IoT should present imperative properties such as autonomy and trustworthiness. However, compared to classical self-organizing systems, IoT has intrinsic characteristics (wide deployment, resource constraints, uncertain environment, etc.) that open up several security challenges. These challenges cannot be solved by existing Autonomic and Organic Computing techniques and therefore new techniques adapted to self-organizing IoT, (that we call Self-IoT) peculiarities are needed. To this end, this paper studies related work in the area of self-organizing IoT, identifies and describes the key research challenges for trustworthy secure Self-IoT and proposes new and tailored existing solutions. [less ▲]

Detailed reference viewed: 139 (3 UL)
Full Text
Peer Reviewed
See detailDeterminants of cognitive decline in a large cross-national study using machine learning
Leist, Anja UL

in Innovation in Aging (2018, November), 2(S1), 244

Detailed reference viewed: 26 (5 UL)
Full Text
Peer Reviewed
See detailAn Approach to Incorporate Emotions in a Chatbot with Seq2Seq Model
Zheng, Yaqiong; Guo, Siwen UL; Schommer, Christoph UL

in Benelux Conference on Artificial Intelligence, ‘s-Hertogenbosch 8-9 November 2018 (2018, November)

Detailed reference viewed: 19 (9 UL)
Full Text
Peer Reviewed
See detailAre octroyed constitutions of the 19th century to be considered as 'imposed constitutions'?
Gerkrath, Jörg UL

in Contiades, Xenophon; Albert, Richard; Fotiadou, Alkmene (Eds.) The Law and Legitimacy of Imposed Constitutions (2018, November)

The paper considers ‘octroyed’, ‘conceded’ or ‘granted’ constitutions of 19th century Europe whose common roots are to be found in the French ‘Charte constitutionnelle’ of 1814. These Charters stem from a ... [more ▼]

The paper considers ‘octroyed’, ‘conceded’ or ‘granted’ constitutions of 19th century Europe whose common roots are to be found in the French ‘Charte constitutionnelle’ of 1814. These Charters stem from a paternalistic process of domestic constitution-making engaged unilaterally by a monarch possessing the de facto constituent power and exercising it without the direct involvement of a body representing the people. Such octroyed constitutions, which are of course to be opposed to democratically established ones, show nevertheless a number of specific characteristics which distinguish them also from ‘imposed constitutions’ in the usual sense. The expression ‘constitutional octroy’ should not be used as a synonym for any process leading to an ‘imposed Constitution’. The contribution aims to develop and to validate or invalidate the value of a series of distinctive criteria and possible elements of a definition of ‘octroyed’ or ‘granted’ constitutions in order to underline their specificity. [less ▲]

Detailed reference viewed: 91 (6 UL)
Full Text
Peer Reviewed
See detailDeformation-Based Abnormal Motion Detection using 3D Skeletons
Baptista, Renato UL; Demisse, Girum UL; Aouada, Djamila UL et al

in IEEE International Conference on Image Processing Theory, Tools and Applications (IPTA) (2018, November)

In this paper, we propose a system for abnormal motion detection using 3D skeleton information, where the abnormal motion is not known a priori. To that end, we present a curve-based representation of a ... [more ▼]

In this paper, we propose a system for abnormal motion detection using 3D skeleton information, where the abnormal motion is not known a priori. To that end, we present a curve-based representation of a sequence, based on few joints of a 3D skeleton, and a deformation-based distance function. We further introduce a time-variation model that is specifically designed for assessing the quality of a motion; we refer to a distance function that is based on such a model as~\emph{motion quality distance}. The overall advantages of the proposed approach are 1) lower dimensional yet representative sequence representation and 2) a distance function that emphasizes time variation, the motion quality distance, which is a particularly important property for quality assessment. We validate our approach using a publicly available dataset, SPHERE-StairCase2014 dataset. Qualitative and quantitative results show promising performance. [less ▲]

Detailed reference viewed: 22 (2 UL)
Peer Reviewed
See detailWie wirken sich Klassenwiederholungen in der Sekundarstufe 1 auf spätere Schulnoten aus? Eine Längsschnittanalyse
Klapproth, Florian; Fischbach, Antoine UL; Keller, Ulrich UL et al

Scientific Conference (2018, November)

Detailed reference viewed: 42 (1 UL)
See detailPolicy and research priorities of the World Young Leaders in Dementia (WYLD) network
Leist, Anja UL

Scientific Conference (2018, October 30)

Detailed reference viewed: 16 (0 UL)
See detailMicromagnetic simulations for understanding magnetic SANS
Michels, Andreas UL

Scientific Conference (2018, October 29)

Detailed reference viewed: 6 (0 UL)
See detailDoing Digital Hermeneutics in an Interdisciplinary Setting
van der Heijden, Tim UL

Scientific Conference (2018, October 25)

This contribution examines the conference theme from the perspective of the Doctoral Training Unit (DTU) in ‘Digital History and Hermeneutics’, a four-year interdisciplinary research and training program ... [more ▼]

This contribution examines the conference theme from the perspective of the Doctoral Training Unit (DTU) in ‘Digital History and Hermeneutics’, a four-year interdisciplinary research and training program funded by the Luxembourg National Research Fund (FNR) and hosted by the Centre for Contemporary and Digital History (C2DH) at the University of Luxembourg. The DTU is designed as an experimental platform for collaboration, in which thirteen doctoral candidates with different disciplinary backgrounds – from history, linguistics and philosophy to computer and information science – study and reflect on the epistemological and methodological implications of the ‘digital turn’ on historical research. The presentation takes a look back at the project’s first year, in which the doctoral candidates were introduced to various skills and methods in digital humanities, including text mining, digital source criticism, database structures, data visualization, GIS analysis, tool criticism and algorithmic critique. Based on experiences by the doctoral students themselves as reflected in semi-structured interviews, as well as drawing upon studies in interdisciplinarity, digital humanities, and the role of space(s) in scientific collaborations, the possibilities and challenges will be explored of doing digital history and hermeneutics in an interdisciplinary setting. [less ▲]

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailTwitter data as primary sources for historians: a critical approach
Clavert, Frédéric UL; Papastamkou, Sofia

Scientific Conference (2018, October 25)

Detailed reference viewed: 24 (0 UL)
Full Text
Peer Reviewed
See detailPrésences de souverains dans l'espace du "regnum Lotharii": Itinéraires, lieux de pouvoir et fidélités "Lotharingiennes" (869-936)
Pettiau, Hérold UL

in Pettiau, Hérold; Margue, Michel (Eds.) La Lotharingie en question. Identités, oppositions, intégration. LOtharingische Identitäten im Spannungsfeld zwischen integrativen und partikularen Kräften. Actes des 14es Journées Lotharingiennes (2018, October 25)

Detailed reference viewed: 15 (0 UL)
See detailEin Atlas der Stadtgeschichte Luxemburgs - digital und interaktiv. Ein Werkstattbericht
Uhrmacher, Martin UL; Kass, Steve UL

Scientific Conference (2018, October 18)

Seit 2016 widmet sich ein Forschungsprojekt der Universität, in Zusammenarbeit mit der Stadt Luxemburg, der Erstellung eines historischen Atlas. Dieser wird die städtische Entwicklung seit Beginn des 19 ... [more ▼]

Seit 2016 widmet sich ein Forschungsprojekt der Universität, in Zusammenarbeit mit der Stadt Luxemburg, der Erstellung eines historischen Atlas. Dieser wird die städtische Entwicklung seit Beginn des 19. Jahrhunderts in Form von digitalen und interaktiven Karten im Internet darstellen. Fünf Zeitschnitte sind vorgesehen, um die tiefgreifenden Wandlungsprozesse Luxemburgs zu analysieren und zugleich auch spannend und anschaulich zu präsentieren: Von der Festungsstadt, die das militärische Korsett erst nach 1867 ablegen konnte, über eine moderne europäischen Hauptstadt des frühen 20. Jahrhunderts bis hin zu einem der Hauptverwaltungssitze der EU und einem internationalen Finanzzentrum. Ein Jahr vor der offiziellen Veröffentlichung des Atlas werden erste Ergebnisse präsentiert. Dies ermöglicht einen Einblick in die historische Forschungsarbeit sowie in die digitale Aufbereitung alter Karten für die Publikation im Internet. [less ▲]

Detailed reference viewed: 18 (4 UL)
Full Text
Peer Reviewed
See detailThe long and winding road to inclusion in Higher Education
Limbach-Reich, Arthur UL

Scientific Conference (2018, October 18)

Detailed reference viewed: 17 (3 UL)
Full Text
Peer Reviewed
See detailSoLeMiO: Semantic Integration of Learning Material in Office
Grevisse, Christian UL; Manrique, Rubén; Mariño, Olga et al

in Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2018 (2018, October 15)

Learners throughout different educational levels and study domains use a significant amount of time to consult learning material. In addition to the resources given by their teachers, further information ... [more ▼]

Learners throughout different educational levels and study domains use a significant amount of time to consult learning material. In addition to the resources given by their teachers, further information might be required by the learner. However, leaving the study context to search for related material may lead to distraction or even abandonment of the learning task. Furthermore, traditional learning resources do not foster active learning. In this paper, we present SoLeMiO, a plugin for Office applications, which identifies key concepts in a document and thereby integrates related, heterogeneous resources from an open corpus. We employ concept recognition tools to determine concepts from different domains. Thereupon, resources from different repositories are suggested to the learner and can be consulted from within the current document. Aside from traditional learning resources, active learning is fostered through gamification activities. We showcase the applicability of our approach in multiple disciplines with concrete examples. [less ▲]

Detailed reference viewed: 35 (6 UL)
Full Text
Peer Reviewed
See detailDEMO: An Effective Android Code Coverage Tool
Pilgun, Aleksandr UL; Gadyatskaya, Olga UL; Dashevskyi, Stanislav UL et al

Poster (2018, October 15)

The deluge of Android apps from third-party developers calls for sophisticated security testing and analysis techniques to inspect suspicious apps without accessing their source code. Code coverage is an ... [more ▼]

The deluge of Android apps from third-party developers calls for sophisticated security testing and analysis techniques to inspect suspicious apps without accessing their source code. Code coverage is an important metric used in these techniques to evaluate their effectiveness, and even as a fitness function to help achieving better results in evolutionary and fuzzy approaches. Yet, so far there are no reliable tools for measuring fine-grained bytecode coverage of Android apps. In this work we present ACVTool that instruments Android apps and measures the smali code coverage at the level of classes, methods, and instructions. Tool repository: https://github.com/pilgun/acvtool [less ▲]

Detailed reference viewed: 36 (8 UL)
Full Text
Peer Reviewed
See detailAre mutants really natural? A study on how “naturalness” helps mutant selection
Jimenez, Matthieu UL; Titcheu Chekam, Thierry UL; Cordy, Maxime UL et al

in 12th International Symposium on 
 Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)

Background: Code is repetitive and predictable in a way that is similar to the natural language. This means that code is ``natural'' and this ``naturalness'' can be captured by natural language modelling ... [more ▼]

Background: Code is repetitive and predictable in a way that is similar to the natural language. This means that code is ``natural'' and this ``naturalness'' can be captured by natural language modelling techniques. Such models promise to capture the program semantics and identify source code parts that `smell', i.e., they are strange, badly written and are generally error-prone (likely to be defective). Aims: We investigate the use of natural language modelling techniques in mutation testing (a testing technique that uses artificial faults). We thus, seek to identify how well artificial faults simulate real ones and ultimately understand how natural the artificial faults can be. %We investigate this question in a fault revelation perspective. Our intuition is that natural mutants, i.e., mutants that are predictable (follow the implicit coding norms of developers), are semantically useful and generally valuable (to testers). We also expect that mutants located on unnatural code locations (which are generally linked with error-proneness) to be of higher value than those located on natural code locations. Method: Based on this idea, we propose mutant selection strategies that rank mutants according to a) their naturalness (naturalness of the mutated code), b) the naturalness of their locations (naturalness of the original program statements) and c) their impact on the naturalness of the code that they apply to (naturalness differences between original and mutated statements). We empirically evaluate these issues on a benchmark set of 5 open-source projects, involving more than 100k mutants and 230 real faults. Based on the fault set we estimate the utility (i.e. capability to reveal faults) of mutants selected on the basis of their naturalness, and compare it against the utility of randomly selected mutants. Results: Our analysis shows that there is no link between naturalness and the fault revelation utility of mutants. We also demonstrate that the naturalness-based mutant selection performs similar (slightly worse) to the random mutant selection. Conclusions: Our findings are negative but we consider them interesting as they confute a strong intuition, i.e., fault revelation is independent of the mutants' naturalness. [less ▲]

Detailed reference viewed: 40 (5 UL)
See detailDoes Born-Digital Heritage turn Historians into Digital Historians?
Schafer, Valerie UL

Scientific Conference (2018, October 10)

On three levels within digital history - the use of (1) digital sources, (2) digital tools (3) digital narratives, this presentation aims to demonstrate how the practice of born-digital heritage opens new ... [more ▼]

On three levels within digital history - the use of (1) digital sources, (2) digital tools (3) digital narratives, this presentation aims to demonstrate how the practice of born-digital heritage opens new possibilities but also issues for historians. [less ▲]

Detailed reference viewed: 33 (2 UL)
Full Text
Peer Reviewed
See detailOral History and Linguistic Analysis. A Study in Digital and Contemporary European History
Armaselu, Florentina UL; Danescu, Elena UL; Klein, Francois UL

Scientific Conference (2018, October 09)

The article presents a workflow for combining oral history and language technology, and for evaluating this combination in the context of European contemporary history research and teaching. Two ... [more ▼]

The article presents a workflow for combining oral history and language technology, and for evaluating this combination in the context of European contemporary history research and teaching. Two experiments are devised to analyse how interdisciplinary connections between history and linguistics are built and evaluated within a digital framework. The longer term objective of this type of enquiry is to draw an “inventory” of strengths and weaknesses of language technology applied to the study of history. [less ▲]

Detailed reference viewed: 13 (5 UL)
Full Text
Peer Reviewed
See detailHITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
Shin, Seung Yeob UL; Chaouch, Karim UL; Nejati, Shiva UL et al

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

Hardware-in-the-loop (HiL) testing is an important step in the development of cyber physical systems (CPS). CPS HiL test cases manipulate hardware components, are time-consuming and their behaviors are ... [more ▼]

Hardware-in-the-loop (HiL) testing is an important step in the development of cyber physical systems (CPS). CPS HiL test cases manipulate hardware components, are time-consuming and their behaviors are impacted by the uncertainties in the CPS environment. To mitigate the risks associated with HiL testing, engineers have to ensure that (1) HiL test cases are well-behaved, i.e., they implement valid test scenarios and do not accidentally damage hardware, and (2) HiL test cases can execute within the time budget allotted to HiL testing. This paper proposes an approach to help engineers systematically specify and analyze CPS HiL test cases. Leveraging the UML profile mechanism, we develop an executable domain-specific language, HITECS, for HiL test case specification. HITECS builds on the UML Testing Profile (UTP) and the UML action language (Alf). Using HITECS, we provide analysis methods to check whether HiL test cases are well-behaved, and to estimate the execution times of these test cases before the actual HiL testing stage. We apply HITECS to an industrial case study from the satellite domain. Our results show that: (1) HITECS is feasible to use in practice; (2) HITECS helps engineers define more complete and effective well-behavedness assertions for HiL test cases, compared to when these assertions are defined without systematic guidance; (3) HITECS verifies in practical time that HiL test cases are well-behaved; and (4) HITECS accurately estimates HiL test case execution times. [less ▲]

Detailed reference viewed: 150 (29 UL)
Full Text
Peer Reviewed
See detailThe Price of Privacy in Collaborative Learning
Pejo, Balazs UL; Tang, Qiang UL; Gergely, Biczok

Poster (2018, October)

Machine learning algorithms have reached mainstream status and are widely deployed in many applications. The accuracy of such algorithms depends significantly on the size of the underlying training ... [more ▼]

Machine learning algorithms have reached mainstream status and are widely deployed in many applications. The accuracy of such algorithms depends significantly on the size of the underlying training dataset; in reality a small or medium sized organization often does not have enough data to train a reasonably accurate model. For such organizations, a realistic solution is to train machine learning models based on a joint dataset (which is a union of the individual ones). Unfortunately, privacy concerns prevent them from straightforwardly doing so. While a number of privacy-preserving solutions exist for collaborating organizations to securely aggregate the parameters in the process of training the models, we are not aware of any work that provides a rational framework for the participants to precisely balance the privacy loss and accuracy gain in their collaboration. In this paper, we model the collaborative training process as a two-player game where each player aims to achieve higher accuracy while preserving the privacy of its own dataset. We introduce the notion of Price of Privacy, a novel approach for measuring the impact of privacy protection on the accuracy in the proposed framework. Furthermore, we develop a game-theoretical model for different player types, and then either find or prove the existence of a Nash Equilibrium with regard to the strength of privacy protection for each player. [less ▲]

Detailed reference viewed: 41 (3 UL)
Full Text
Peer Reviewed
See detailIoT Application Protocols Optimisation for Future Integrated M2M-Satellite Networks
Soua, Ridha UL; Palattella, Maria Rita UL; Engel, Thomas UL

in IoT Application Protocols Optimisation for Future Integrated M2M-Satellite Networks (2018, October)

Satellites are playing a key role in driving the vision for a truly connected world, providing ubiquitous coverage and reliability in places where no other terrestrial technology could. While the ... [more ▼]

Satellites are playing a key role in driving the vision for a truly connected world, providing ubiquitous coverage and reliability in places where no other terrestrial technology could. While the potentials of satellites for IoT are well recognised, to allow a smooth integration of M2M and satellite networks, a lot of tweaking and optimising is still required. The M2MSAT project, funded by the European space Agency (ESA) is contributing to fill this gap, investigating optimisations for MQTT and CoAP, identified as IoT Application Protocols suitable for IoT data collection over satellite. This work outlines the efficient configuration of MQTT and CoAP in an integrated M2M-Satellite network, and presents some optimisations, designed taking into account the peculiarities of satellite links. [less ▲]

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailHardware Demonstration of Precoded Communications in Multi-Beam UHTS Systems
Merlano Duncan, Juan Carlos UL; Krivochiza, Jevgenij UL; Andrenacci, Stefano UL et al

Scientific Conference (2018, October)

In this paper, we present a hardware test-bed to demonstrate closed-loop precoded communications for interference mitigation in the forward link of the multi-beam ultra-high throughput satellite systems ... [more ▼]

In this paper, we present a hardware test-bed to demonstrate closed-loop precoded communications for interference mitigation in the forward link of the multi-beam ultra-high throughput satellite systems. The hardware demonstrator is a full-chain closed-loop communication system with a multi-beam DVB-S2X compliant gateway, a satellite payload and MIMO channel emulator and a set of DVB-S2X user terminals with real-time CSI estimation and feedback. We experimentally show the feasibility of Precoding implementation in satellite communications based on the superframe structure DVB-S2X standard. Using the test-bed we have a possibility to run real-time precoded DVB-S2X communication and benchmark its performance under realistic environment. The hardware demonstrator is suitable to perform realistic benchmarks of Block- and Symbol-level Precoding techniques for multicast and unicast user scheduling scenarios. [less ▲]

Detailed reference viewed: 15 (1 UL)
Full Text
Peer Reviewed
See detailStatic load deflection experiment on a beam for damage detection using the Deformation Area Difference Method
Erdenebat, Dolgion UL; Waldmann, Danièle UL; Teferle, Felix Norman UL

Scientific Conference (2018, October)

A reliable and safety infrastructure for both transport and traffic is becoming increasingly important today. The condition assessment of bridges remains difficult and new methods must be found to provide ... [more ▼]

A reliable and safety infrastructure for both transport and traffic is becoming increasingly important today. The condition assessment of bridges remains difficult and new methods must be found to provide reliable information. A meaningful in-situ assessment of bridges requires very detailed investigations which cannot be guaranteed by commonly used methods. It is known that the structural response to external loading is influenced by local damages. However, the detection of local damage depends on many factors such as environmental effects (e.g. temperature), construction layer (e.g. asphalt) and accuracy of the structural response measurement. Within the paper, a new so-called Deformation Area Difference (DAD) Method is presented. The DAD method is based on a load deflection experiment and does not require a reference measurement of initial condition. Therefore, the DAD method can be applied on existing bridges. Moreover, the DAD method uses the most modern technologies such as high precision measurement techniques and attempts to combine digital photogrammetry with drone applications. The DAD method uses information given in the curvature course from a theoretical model of the structure and compares it to real measurements. The paper shows results from a laboratory load-deflection experiment with a steel beam which has been gradually damaged at distinct positions. The load size is chosen so that the maximum deflection does not exceed the serviceability limit state. With the data obtained by the laboratory experiment, the damage degree, which can still be detected by the DAD method, is described. Furthermore, the influence of measurement accuracy on damage detection is discussed. [less ▲]

Detailed reference viewed: 74 (21 UL)
Full Text
Peer Reviewed
See detailThe Influence of Code Coverage Metrics on Automated Testing Efficiency in Android
Dashevskyi, Stanislav UL; Gadyatskaya, Olga UL; Pilgun, Aleksandr UL et al

Poster (2018, October)

Code coverage is an important metric that is used by automated Android testing and security analysis tools to guide the exploration of applications and to assess efficacy. Yet, there are many different ... [more ▼]

Code coverage is an important metric that is used by automated Android testing and security analysis tools to guide the exploration of applications and to assess efficacy. Yet, there are many different variants of this metric and there is no agreement within the Android community on which are the best to work with. In this paper, we report on our preliminary study using the state-of-the-art automated test design tool Sapienz. Our results suggest a viable hypothesis that combining different granularities of code coverage metrics can be beneficial for achieving better results in automated testing of Android applications. [less ▲]

Detailed reference viewed: 45 (13 UL)
Full Text
Peer Reviewed
See detailMesophilic and Thermophilic Anaerobic Digestion of Model Kitchen Waste with Variation of Fat Content
Sobon-Muehlenbrock, Elena UL; Greger, Manfred UL; Schlienz, Markus UL

in Mesophilic and Thermophilic Anaerobic Digestion of Model Kitchen Waste with Variation of Fat Content (2018, October)

Synthetic kitchen waste, produced on basis of a real kitchen waste, and two of its variations are studied. Previous study showed that the fermentation of kitchen waste was similar to the degradation of ... [more ▼]

Synthetic kitchen waste, produced on basis of a real kitchen waste, and two of its variations are studied. Previous study showed that the fermentation of kitchen waste was similar to the degradation of synthetic kitchen waste, further called model kitchen waste (MKW) with the same amounts of carbohydrates, fats and proteins. In this study the anaerobic degradation of this MKW (named MKW1; 23 % rapeseed oil) was investigated under mesophilic and thermophilic conditions at 2 different loadings. Additional experiments were performed with lower (MKW2; 14.7 %) and higher (MKW3; 27.2 %) rapeseed oil content at the expense of starch. An organic loading of 5 gVS/l leads to a fast and undisturbed degradation under mesophilic conditions. The volatile fatty acids (mainly acetic acid) appeared only during the first 3 days. Finally the amount of biogas been produced is weakly correlated with the oil content. Under thermophilic conditions the biogas production was retarded and the concentrations of the volatile fatty acids were generally higher whereas acetic acid was present for a period of 10 days. The final biogas amount was higher than compared to mesophilc conditions. At a higher loading of 25 gVS/l a strong retardation of biogas production was observed which correlates with very high concentrations of volatile fatty acids over the whole runtime period of 50 days. [less ▲]

Detailed reference viewed: 19 (3 UL)
Full Text
Peer Reviewed
See detailEnabling Model Testing of Cyber-Physical Systems
Gonzalez Perez, Carlos Alberto UL; Varmazyar, Mojtaba UL; Nejati, Shiva UL et al

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due to the deep intertwining of software and hardware, and the complex, continuous interactions between the system ... [more ▼]

Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due to the deep intertwining of software and hardware, and the complex, continuous interactions between the system and its environment. To alleviate these challenges we propose to conduct testing at early stages and over executable models of the system and its environment. Model testing of CPSs is however not without difficulties. The complexity and heterogeneity of CPSs renders necessary the combination of different modeling formalisms to build faithful models of their different components. The execution of CPS models thus requires an execution framework supporting the co-simulation of different types of models, including models of the software (e.g., SysML), hardware (e.g., SysML or Simulink), and physical environment (e.g., Simulink). Furthermore, to enable testing in realistic conditions, the co-simulation process must be (1) fast, so that thousands of simulations can be conducted in practical time, (2) controllable, to precisely emulate the expected runtime behavior of the system and, (3) observable, by producing simulation data enabling the detection of failures. To tackle these challenges, we propose a SysML-based modeling methodology for model testing of CPSs, and an efficient SysML-Simulink co-simulation framework. Our approach was validated on a case study from the satellite domain. [less ▲]

Detailed reference viewed: 115 (17 UL)
Full Text
Peer Reviewed
See detailSemi-automatically Augmenting Attack Trees using an Annotated Attack Tree Library
Jhawar, Ravi UL; Lounis, Karim UL; Mauw, Sjouke UL et al

in Katsikas, Sokratis; Alcaraz, Cristina (Eds.) Security and Trust Management. STM 2018. (2018, October)

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailModel-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

in Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) (2018, October)

Offline trace checking tools check whether a specification holds on a log of events recorded at run time; they yield a verification verdict (typically a boolean value) when the checking process ends. When ... [more ▼]

Offline trace checking tools check whether a specification holds on a log of events recorded at run time; they yield a verification verdict (typically a boolean value) when the checking process ends. When the verdict is false, a software engineer needs to diagnose the property violations found in the trace in order to understand their cause and, if needed, decide for corrective actions to be performed on the system. However, a boolean verdict may not be informative enough to perform trace diagnostics, since it does not provide any useful information about the cause of the violation and because a property can be violated for multiple reasons. The goal of this paper is to provide a practical and scalable so- lution to solve the trace diagnostics problem, in the settings of model-driven trace checking of temporal properties expressed in TemPsy, a pattern-based specification language. The main contributions of the paper are: a model-driven approach for trace diagnostics of pattern-based temporal properties expressed in TemPsy, which relies on the evaluation of OCL queries on an instance of a trace meta-model; the implementation of this trace diagnostics procedure in the TemPsy-Report tool; the evaluation of the scalability of TemPsy-Report, when used for the diagnostics of violations of real properties derived from a case study of our industrial partner. The results show that TemPsy-Report is able to collect diagnostic information from large traces (with one million events) in less than ten seconds; TemPsy-Report scales linearly with respect to the length of the trace and keeps approximately constant performance as the number of violations increases. [less ▲]

Detailed reference viewed: 46 (0 UL)
Peer Reviewed
See detailFacilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning
Wang, Jun UL; Arriaga, Afonso; Tang, Qiang et al

Poster (2018, October)

Machine-Learning-as-a-Service has become increasingly popular, with Recommendation-as-a-Service as one of the representative examples. In such services, providing privacy protection for users is an ... [more ▼]

Machine-Learning-as-a-Service has become increasingly popular, with Recommendation-as-a-Service as one of the representative examples. In such services, providing privacy protection for users is an important topic. Reviewing privacy-preserving solutions which were proposed in the past decade, privacy and machine learning are often seen as two competing goals at stake. Though improving cryptographic primitives (e.g., secure multi-party computation (SMC) or homomorphic encryption (HE)) or devising sophisticated secure protocols has made a remarkable achievement, but in conjunction with state-of-the-art recommender systems often yields far-from-practical solutions. We tackle this problem from the direction of machine learning. We aim to design crypto-friendly recommendation algorithms, thus to obtain efficient solutions by directly using existing cryptographic tools. In particular, we propose an HE-friendly recommender system, refer to as CryptoRec, which (1) decouples user features from latent feature space, avoiding training the recommendation model on encrypted data; (2) only relies on addition and multiplication operations, making the model straightforwardly compatible with HE schemes. The properties turn recommendation-computations into a simple matrix-multiplication operation. To further improve efficiency, we introduce a sparse-quantization-reuse method which reduces the recommendation-computation time by $9\times$ (compared to using CryptoRec directly), without compromising the accuracy. We demonstrate the efficiency and accuracy of CryptoRec on three real-world datasets. CryptoRec allows a server to estimate a user's preferences on thousands of items within a few seconds on a single PC, with the user's data homomorphically encrypted, while its prediction accuracy is still competitive with state-of-the-art recommender systems computing over clear data. Our solution enables Recommendation-as-a-Service on large datasets in a nearly real-time (seconds) level. [less ▲]

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailDas Palux-Projekt in Luxemburg: Forschungsdesign und erste Ergebnisse einer Pilotstudie
Eckelt, Melanie UL; Hutmacher, Djenna UL; Steffgen, Georges UL et al

in Bartsch, Fabienne; Mombeck, Mona; Müller, Merle (Eds.) et al Tägliche Herausforderungen meistern - Sportlehrkräfte im Fokus (2018, October)

Detailed reference viewed: 28 (4 UL)
Peer Reviewed
See detailDie Erfindung der Grenze. Zur Konstruktion von Herrschaftsgebieten auf Regionalkarten des 16. Jahrhunderts im Westen des Reiches.
Uhrmacher, Martin UL

Scientific Conference (2018, September 28)

Im Spätmittelalter war das Reich durch Prozesse der Territorialisierung geprägt. Vor allem in den größeren Landesherrschaften wurde versucht, der Zersplitterung von Rechten und Besitzungen ... [more ▼]

Im Spätmittelalter war das Reich durch Prozesse der Territorialisierung geprägt. Vor allem in den größeren Landesherrschaften wurde versucht, der Zersplitterung von Rechten und Besitzungen entgegenzuwirken und Herrschaft zu verdichten. Im Westen des Reiches blieb man jedoch auf dem Weg zum Territorialstaat zumeist noch weit von einer flächigen Durchsetzung von Herrschaft entfernt. Die territorialen Verhältnisse lassen sich häufig als Gemengelage aus sich überlagernden Herrschaftsrechten, Hochgerichtsbezirken, Gemeinherrschaften, umstrittenen Gebieten oder anderen Abhängigkeiten beschreiben. Eine kartographische Erfassung dieser komplexen und mehrdimensionalen räumlichen Strukturen war mit den Mitteln der damaligen Zeit nicht möglich. Der Aufschwung einer zunehmend wissenschaftlich geprägten Kartographie ab der Mitte des 15. Jahrhunderts erlaubte es den Landesherren, kartographischer Darstellungen als Instrumente von Macht und Herrschaft zu nutzen: einerseits als Grundlage für die politische und wirtschaftliche Entwicklung des Territoriums, andererseits als Medium zur Verbreitung territorialer Ansprüche und zur Inszenierung von Herrschaft. Aus diesem Grund wurden einige der bekanntesten zeitgenössischen Kartographen mit der räumlichen Darstellung einzelner Fürstentümer beauftragt, bspw. Martin Waldseemüller durch Herzog René II. von Lothringen. Diese Aufgaben stellten die Kartographen vor große Probleme, denn noch gab es keine geeigneten Mittel, mit denen die politischen und territorialen Verhältnisse im Kartenbild auch nur annähernd widergegeben werden konnten. Eine Analyse ausgewählter Karten zeigt, welche verschiedenen Strategien angewandt wurden, um den fragmentarischen Besitz der Auftraggeber in seiner Gesamtheit als geschlossenes Herrschaftsgebiet erst zu konstruieren. Diese Experimentierphase endete Mitte des 16. Jahrhunderts mit der Etablierung von Grenzen in Form von Linien als allgemein gültiger Konvention, obwohl Territorialgrenzen im Sinne einer umfassenden Scheidelinie zwischen zwei Territorien in dieser Zeit nicht existierten. Der Vortrag widmet sich einer Fragestellung, die in Folge des spatial turn zwar wieder verstärkt in den geschichtswissenschaftlichen Fokus gelangte, aber in vieler Hinsicht noch nicht gründlich genug aufgearbeitet ist. Es gilt, historische Karten als vielschichtige, Schrift und Bild vereinende Wissensträger verstärkt auf Ihre Funktion bei der Ausbildung von politischen Räumen und Einheiten in den Blick zu nehmen. Denn sie müssen stets als bewusste Konstruktionen und keinesfalls als Versuch eines - gemessen an den jeweiligen technischen Möglichkeiten - quasi photographischen Abbildes der Realität verstanden und interpretiert werden. Die mit den Karten vermittelten und durch deren Druck auch weit verbreiteten Inszenierungen von geschlossenen Territorialstaaten erwiesen sich zudem als sehr wirkmächtig und prägend, teilweise bis zum Ende des Alten Reiches. Den zugrundeliegenden Strukturen und Prozessen wird im Rahmen des Vortrags besondere Aufmerksamkeit geschenkt. [less ▲]

Detailed reference viewed: 13 (4 UL)
See detailDie Zeit der Pfandherrschaften (1388-1437). Luxemburg unter fremder Herrschaft?
Dönges, Christa Annette UL

Scientific Conference (2018, September 28)

Detailed reference viewed: 28 (1 UL)
See detailRadial urban forms in Europe
Caruso, Geoffrey UL

Scientific Conference (2018, September 27)

Detailed reference viewed: 13 (1 UL)
Peer Reviewed
See detailMultilingualism in forced migration research: insights from an ethnographic study in Luxembourg
Kalocsanyiova, Erika UL

Scientific Conference (2018, September 27)

This paper outlines some methodological considerations for researching integration trajectories in multilingual societies. It draws on a linguistic ethnographic study undertaken in Luxembourg. It ... [more ▼]

This paper outlines some methodological considerations for researching integration trajectories in multilingual societies. It draws on a linguistic ethnographic study undertaken in Luxembourg. It discusses ways of accommodating the participants’ (and my own) multilingual but distinct language competences. I reflect upon how my positionality as a multilingual researcher became part of the research process, shaping both the research design and the relationships I had with the informants. Multilingual research practices can play a fundamental role in empowering participants and privileging their voices in migration-related studies. This paper outlines some of the benefits/complexities that can arise if both participants and researchers draw on their old and newly acquired language resources. In this connection, I will argue that narrative analysis allows a refined understanding of foreign- and cross-language exchanges, which in turn helps to uncover the many ways in which linguistic integration can be understood, practiced and experienced. Narratives also proved to be an excellent tool for exploring multiple and shifting ideological stances in (meta)discourses surrounding language, identity and societal participation in the context of this research. [less ▲]

Detailed reference viewed: 21 (1 UL)
Full Text
Peer Reviewed
See detailTUNA: TUning Naturalness-based Analysis
Jimenez, Matthieu UL; Cordy, Maxime UL; Le Traon, Yves UL et al

in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)

Natural language processing techniques, in particular n-gram models, have been applied successfully to facilitate a number of software engineering tasks. However, in our related ICSME ’18 paper, we have ... [more ▼]

Natural language processing techniques, in particular n-gram models, have been applied successfully to facilitate a number of software engineering tasks. However, in our related ICSME ’18 paper, we have shown that the conclusions of a study can drastically change with respect to how the code is tokenized and how the used n-gram model is parameterized. These choices are thus of utmost importance, and one must carefully make them. To show this and allow the community to benefit from our work, we have developed TUNA (TUning Naturalness-based Analysis), a Java software artifact to perform naturalness-based analyses of source code. To the best of our knowledge, TUNA is the first open- source, end-to-end toolchain to carry out source code analyses based on naturalness. [less ▲]

Detailed reference viewed: 50 (7 UL)
See detailMagnetic neutron scattering on nanomagnets
Michels, Andreas UL

Scientific Conference (2018, September 26)

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailKnowledge Graph-based Teacher Support for Learning Material Authoring
Grevisse, Christian UL; Manrique, Rubén; Mariño, Olga et al

in Advances in Computing - CCC 2018 (2018, September 26)

Preparing high-quality learning material is a time-intensive, yet crucial task for teachers of all educational levels. In this paper, we present SoLeMiO, a tool to recommend and integrate learning ... [more ▼]

Preparing high-quality learning material is a time-intensive, yet crucial task for teachers of all educational levels. In this paper, we present SoLeMiO, a tool to recommend and integrate learning material in popular authoring software. As teachers create their learning material, SoLeMiO identifies the concepts they want to address. In order to identify relevant concepts in a reliable, automatic and unambiguous way, we employ state of the art concept recognition and entity linking tools. From the recognized concepts, we build a semantic representation by exploiting additional information from Open Knowledge Graphs through expansion and filtering strategies. These concepts and the semantic representation of the learning material support the authoring process in two ways. First, teachers will be recommended related, heterogeneous resources from an open corpus, including digital libraries, domain-specific knowledge bases, and MOOC platforms. Second, concepts are proposed for semi-automatic tagging of the newly authored learning resource, fostering its reuse in different e-learning contexts. Our approach currently supports resources in English, French, and Spanish. An evaluation of concept identification in lecture video transcripts and a user study based on the quality of tag and resource recommendations yielded promising results concerning the feasibility of our technique. [less ▲]

Detailed reference viewed: 29 (6 UL)
Full Text
Peer Reviewed
See detailSOFTENING AND MELTING MODELING OF IRON ORE PARTICLES USING A CFD-DEM COUPLING METHOD
Baniasadi, Mehdi UL; Peters, Bernhard UL

Scientific Conference (2018, September 25)

The iron-bearing particles start softening and melting because of the weight of burden above and the high temperature in the middle of the blast furnace so-called cohesive zone. In this region, as ... [more ▼]

The iron-bearing particles start softening and melting because of the weight of burden above and the high temperature in the middle of the blast furnace so-called cohesive zone. In this region, as particles are softened, the void space between particles decreases. As the temperature increases further, the softened particles start melting and generate two different liquids: molten iron and slag. Then the generated liquids trickle down to the lower part of the blast furnace. The softening and melting process forms the impermeable ferrous layers forcing gas to flow horizontally through the permeable coke windows. These phenomena have a big effect on the operation of the blast furnace, and since it is not possible to interrupt the blast furnace to investigate details of the phenomena occurring inside, the numerical simulation becomes more practical. In this contribution, the eXtended Discrete Element Method (XDEM) as an advanced numerical tool based on the discrete-continuous framework, is used. Within this model, the gas and liquid phases are described by computational fluid dynamics (CFD) and the soft-sphere discrete element approach (DEM) is used for the coke and iron ore particles. Continuous phases are coupled to the discrete entities through mass, momentum, and energy exchange. Moreover, the internal temperature distribution of the particles is described. The particle’s deformation, temperature, melting, and shrinking along with the saturation of molten iron and slag are examined using the XDEM method. [less ▲]

Detailed reference viewed: 20 (2 UL)
Full Text
Peer Reviewed
See detailVerlet buffer for broad phase interaction detection in Discrete Element Method
Mainassara Chekaraou, Abdoul Wahid UL; Rousset, Alban UL; Besseron, Xavier UL et al

Poster (2018, September 24)

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical ... [more ▼]

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical discrete element method (DEM) by additional properties such as the thermodynamic state, stress/strain for each particle. Such DEM simulations used by industries to set up their experimental processes are complexes and heavy in computation time. Therefore, simulations have to be precise, efficient and fast in order to be able to process hundreds of millions of particles. To tackle this issue, such DEM simulations are usually parallelized with MPI. One of the most expensive computation parts of a DEM simulation is the collision detection of particles. It is classically divided into two steps: the broad phase and the narrow phase. The broad phase uses simplified bounding volumes to perform an approximated but fast collision detection. It returns a list of particle pairs that could interact. The narrow phase is applied to the result of the broad phase and returns the exact list of colliding particles. The goal of this research is to apply a Verlet buffer method to (X)DEM simulations regardless of which broad phase algorithm is used. We rely on the fact that such DEM simulations are temporal coherent: the neighborhood only changes slightly from the last time-step to the current time-step. We use the Verlet buffer method to extend the list of pairs returned by the broad phase by stretching the particles bounding volume with an extension range. This allows re-using the result of the broad phase for several time-steps before an update is required once again and thereby its reduce the number of times the broad phase is executed. We have implemented a condition based on particles displacements to ensure the validity of the broad phase: a new one is executed to update the list of colliding particles only when necessary. This guarantees identical results because approximations introduced in the broad phase by our approach are corrected in the narrow phase which is executed at every time-steps anyway. We perform an extensive study to evaluate the influence of the Verlet extension range on the performance of the execution in terms of computation time and memory consumption. We consider different test-cases, partitioners (ORB, Zoltan, METIS, SCOTCH, ...), broad phase algorithms (Link cell, Sweep and prune, ...) and grid configurations (fine, coarse), sequential and parallel (up to 280 cores). While a larger Verlet buffer increases the cost of the broad phase and narrow phase, it also allows skipping a significant number of broad phase execution (> 99 \%). As a consequence, our first results show that this approach can speeds up the total .execution time up to a factor of 5 for sequential executions, and up to a factor of 3 parallel executions on 280 cores while maintaining a reasonable memory consumption. [less ▲]

Detailed reference viewed: 21 (7 UL)
See detailA digital and interactive historical atlas of the city of Luxembourg.
Uhrmacher, Martin UL; Kass, Steve UL

Scientific Conference (2018, September 20)

Detailed reference viewed: 22 (4 UL)
Peer Reviewed
See detailIntergenerationelle Solidarität im Kontext von Migration: Gegenseitige Erwartungen, familienbezogene Werthaltungen und filiale Angst in portugiesischen und luxemburgischen Familien
Albert, Isabelle UL; Barros Coimbra, Stephanie UL

Scientific Conference (2018, September 20)

Vor dem Hintergrund einer sich am Übergang zum Rentenalter befindlichen ersten Generation von Migranten gewinnen Fragen zur intergenerationellen Solidarität in Familien mit Migrationshintergrund zunehmend ... [more ▼]

Vor dem Hintergrund einer sich am Übergang zum Rentenalter befindlichen ersten Generation von Migranten gewinnen Fragen zur intergenerationellen Solidarität in Familien mit Migrationshintergrund zunehmend an Bedeutung. Ein Verbleiben im Aufnahmeland könnte im Einklang mit kulturspezifischen Werthaltungen mit besonderen Erwartungen an die erwachsenen Kinder einhergehen. Die vorliegende Studie befasst sich ausgehend von Bengtson’s Solidaritätsmodell mit der Frage, wie sich die intergenerationelle Solidarität im Migrationskontext ausgestaltet, insbesondere welche gegenseitigen Erwartungen Eltern und erwachsene Kinder haben und wie der gegenseitige Austausch reguliert wird. Im Rahmen der vom FNR geförderten IRMA-Studie wurden mittels eines standardisierten Fragebogens Daten zur Familienkohäsion, zu gegenseitigen Erwartungen bezüglich Unterstützung und familienbezogenen Werthaltungen sowie zur filialen Angst und zum subjektiven Wohlbefinden an n = 67 in Luxemburg lebenden portugiesischen sowie n = 87 luxemburgischen Familien (Vater, Mutter und jeweils ein erwachsenes Kind) erhoben. Während luxemburgische und portugiesische Familien eine ähnlich hohe Familienkohäsion aufwiesen, zeigten sich Unterschiede in der Ausgestaltung des gegenseitigen Austauschs. Portugiesische Teilnehmer berichteten höhere Erwartungen bezüglich Kontakthäufigkeit und Unterstützung, wohingegen der Zusammenhalt luxemburgischer Familien eher durch eine generelle Verfügbarkeit bei Bedarf gekennzeichnet war. Es zeigte sich kein Mittelwertsunterschied der portugiesischen und luxemburgischen erwachsenen Kinder bezüglich filialer Angst. Während allerdings ein starker wahrgenommener Familienzusammenhalt mit geringerer filialer Angst in beiden Gruppen einherging, war ein stärkeres Bedürfnis nach Unabhängigkeit aber insbesondere bei den portugiesischen Kindern mit höherer filialer Angst verbunden. Die Ergebnisse werden unter Berücksichtigung intrafamilialer Prozesse der Beziehungsregulation im Rahmen eines integrativen Modells von Familienbeziehungen im Kontext von Altern und Migration diskutiert. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailThe Impact of Feedback Trading on Option Prices
Lehnert, Thorsten UL

Scientific Conference (2018, September 20)

Detailed reference viewed: 3 (0 UL)
Full Text
See detailTell Your Town – Sprache lernen, Integration fördern, Städte erkunden und entdecken
Reuter, Bob UL; Haberkorn, Marcus

Scientific Conference (2018, September 20)

Wie können ansässige und neu zugezogene Schülerinnen und Schülern in Rheinland-Pfalz und Luxemburg besser in ihren Regionen integriert werden, dabei ihre sprachlichen Fähigkeiten entwickeln und die ... [more ▼]

Wie können ansässige und neu zugezogene Schülerinnen und Schülern in Rheinland-Pfalz und Luxemburg besser in ihren Regionen integriert werden, dabei ihre sprachlichen Fähigkeiten entwickeln und die erforderliche Medienkompetenz erlernen? Diesen Fragen hat sich ein grenzüberschreitendes bilaterales Entwicklungs- und Forschungsprojekt gewidmet, wobei ein „Partizipativer Design“ Ansatz (Danielsson & Wiberg, 2006) angewandt wurde. Unter der Leitung eines Teams der Hochschule Trier wurde in Zusammenarbeit mit SchülerInnen und LehrerInnen der Escher Brill Schule und der Trierer Kurfürst-Balduin-Realschule sowie einem Team der Universität Luxemburg, während des Schuljahres 2016/2017, die mobile App „Tell Your Town" entwickelt. Ziel war es erfundene Geschichten an echten Schauplätzen in Trier und Esch auf Deutsch, Französisch, Englisch und Luxemburgisch in spielerischer Form zu erzählen. Die Geschichten, Schauplätze und Routen wurden in Design Workshops partizipativ erarbeitet. Ein Team an der Hochschule Trier setzte die App anschließend um und ein Team der Universität Luxemburg dokumentierte, analysierte und evaluierte die Benutzung der App durch die SchülerInnen in Feldversuchen in Trier und in Esch, mit Hilfe teilnehmender Beobachtungen, Videographie und Befragungen von SchülerInnen und LehrerInnen, um technische und pädagogische Rückmeldungen an die EntwicklerInnen und LehrerInnen zu geben. Bei diesem Projekt ist eine frei verfügbare App entstanden, welche die Benutzer dazu einlädt eine der beiden Städte „per pedes“ zu entdecken und dabei noch so einiges über die Geschichte der Stadt zu erfahren, was ihnen durch einen fiktionalen Reiseführer in interaktiven Dialogen vermittelt wird. Dabei wird die Geolokalisierungsfunktion des Smartphones genutzt um den Benutzer zu bedeutsamen Sehenswürdigkeiten zu führen, wo dann interaktive Minispiele oder Dialoge mit dem fiktionalen Reiseführer erfolgen. In der Route Esch steht die Geschichte des Luxemburgischen Bergbaus und den dortigen Minenarbeitern im Mittelpunkt. Die Route Trier handelt von einem Wettlauf zwischen Karl Marx und Nero. In diesem wird der Spieler von Karl Marx begleitet und lernt so bekannte Orte aus Trier kennen. Mit Hilfe der Feldversuche wurde sichtbar, dass die App großes Potential hat, um eine relativ autonome Erkundung der Städte zu initiieren und es auch den einheimischen SchülerInnen erlaubt, ihre Stadt mit neuen Augen bewusster wahrzunehmen. [less ▲]

Detailed reference viewed: 28 (1 UL)
Peer Reviewed
See detailSymposium "Positive Psychologie III: Soziale Beziehungen"
Baudson, Tanja UL; Brohm-Badry, Michaela

Scientific Conference (2018, September 19)

Detailed reference viewed: 5 (0 UL)
Peer Reviewed
See detailUsing Log-File Data to Uncover Strategy Use in Complex Problem Solving
Nicolay, Björn Fabrice UL; Krieger, Florian UL; Lagou, Charalampia UL et al

Scientific Conference (2018, September 18)

The aim of the current project is to utilize log-file data to enhance the understanding of strategy use in Complex Problem Solving (CPS). CPS can be defined as the ability to manipulate the existing ... [more ▼]

The aim of the current project is to utilize log-file data to enhance the understanding of strategy use in Complex Problem Solving (CPS). CPS can be defined as the ability to manipulate the existing variables of a particular novel, complex, intransparent, and dynamic environment successfully in order to reach a predefined goal. In order to successfully solve a CPS task, the goal-directed application and variation of certain strategies is necessary. To uncover the systematic use of these strategies, log-files have been deemed a fruitful resource as they contain not only the final results of a computer-based CPS item, but also the individual steps undertaken while solving such a task. Recent studies using log-files have highlighted the importance of some strategies for CPS, like the varying one variable at a time (VOTAT) strategy, or of engaging in noninterfering observations (i.e., idle rounds). In addition, other strategies have also been shown to be relevant in neighboring fields of CPS. However, comprehensive studies investigating a broad repertoire of strategies applied in CPS are scarce. Hence, on the basis of existing large-scale assessment data sets, the present project set out to investigate which strategies hidden in log-files are relevant for solving a CPS task in order to gain a more thorough understanding of how CPS tasks are being approached. Preliminary findings indicate that, in addition to VOTAT and idle rounds, particularly the flexibility of switching between strategies should be taken into account. [less ▲]

Detailed reference viewed: 16 (3 UL)
Full Text
Peer Reviewed
See detailAqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

Scientific Conference (2018, September 17)

We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof ... [more ▼]

We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof assistant for deontic logic reasoning. The experiments with this environment provide evidence that this logic \textit{implementation} fruitfully enables interactive and automated reasoning at the meta-level and the object-level. [less ▲]

Detailed reference viewed: 31 (8 UL)
Peer Reviewed
See detailTeachers´ attitudes towards inclusion: Effects of a training module
Pit-Ten Cate, Ineke UL; Krischler, Mireille Gilberte Pauline UL

Scientific Conference (2018, September 17)

The success of implementing inclusive practice depends on teachers´ competence as well as their attitudes. Attitudes are defined as psychological tendencies expressed by evaluating a particular entity ... [more ▼]

The success of implementing inclusive practice depends on teachers´ competence as well as their attitudes. Attitudes are defined as psychological tendencies expressed by evaluating a particular entity with some degree of favor or disfavor. Research has provided mixed results concerning teachers´ attitudes toward students with SEN and inclusive practice, whereby teachers generally have more positive attitudes toward the inclusion of students with mild SEN than toward students with complex needs. Training, especially modules focusing on the cognitive processes underlying judgment, can facilitate positive change in attitudes toward inclusion of students with SEN. In a pre–post-test design, data were collected for a sample of 33 experienced primary school teachers attending a course (2x4hr) on inclusion with a focus on the role of attitudes in decision-making and behavior. We assessed general attitudes toward the inclusion of students with SEN as well as teachers´ emotional reactions, stereotypes and behavioural intentions. Results of a repeated measures ANOVA, with time (pre vs. post) and general attitude toward inclusion (4 subscales) as within group factors only showed a main effect for attitudes, reflecting variations between the subscale scores. The training course did not result in changes in general attitudes. Further analyses revealed a positive pre-post course change in teachers´ emotional reactions concerning the inclusion of a student with SEN in their class. Teachers´ stereotype ratings indicated they perceived students with learning difficulties as less competent but warm, whereas students with challenging behavior were perceived as relatively competent but average in warmth. Finally, teachers´ behavioral intentions shifted from focusing on finding solutions within the classroom to more cooperation with colleagues, parents and experts to provide the best support for the student with SEN. In sum, the training course impacted both the affective and conative components of attitudes, whereas general attitudes toward inclusion remained unchanged. [less ▲]

Detailed reference viewed: 28 (2 UL)
Full Text
See detailI/O Logic in HOL
Farjami, Ali UL; Meder, Paul Joseph Yves UL; Parent, Xavier UL et al

Scientific Conference (2018, September 17)

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order ... [more ▼]

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order proof assistant Isabelle/HOL. We provide an empirical regulative framework for assessing General Data Protection Regulation. [less ▲]

Detailed reference viewed: 35 (7 UL)
Peer Reviewed
See detailChanges in preservice teachers´ attitudes toward inclusion: the role of competence
Pit-Ten Cate, Ineke UL; Krischler, Mireille Gilberte Pauline UL

Scientific Conference (2018, September 13)

Following policies to promote a more equitable and inclusive educational system, the question arises how to prepare teachers to accommodate an increasingly heterogeneous student population. As teachers´ ... [more ▼]

Following policies to promote a more equitable and inclusive educational system, the question arises how to prepare teachers to accommodate an increasingly heterogeneous student population. As teachers´ competence concerning inclusion is grounded in their training (e.g. Baker-Ericzen et al. 2009), courses focussing on inclusion as an educational practice could reduce uncertainties (e.g. Carroll et al. 2003). However, inclusion not only depends on teachers´ competence but also on their attitudes. Teachers’ attitudes may be pivotal for the success of inclusive education as they can elicit differential expectations and behaviors, which can enhance or limit the successful inclusion of students with special educational needs (SEN). Avramidis and Norwich (2002) stressed the importance of training in the formation of positive attitudes toward the integration of students with SEN. Although several studies have reported positive changes in attitudes following a course on inclusive education (e.g. Shade & Stewart, 2001), the relationship between competence and attitudes is less clear. Therefore, this study aimed to evaluate the effect of a course on inclusive pedagogy on competence and attitudes and the association between these constructs. Data were collected for 69 preservice teachers enrolled in a course on inclusive pedagogy. Attitudes toward the inclusion of students with SEN were assessed before and after the course, using the German version of The Opinions Relative to Integration of Students with Disabilities questionnaire (ORI; Benoit & Bless, 2014). In addition, at the end of the course students indicated to what extend the course had helped them to gain knowledge, skills and strategies concerning teaching a heterogeneous student population. Results of a repeated measures 2×4 ANOVA, with time (pre vs. post) and attitude towards inclusion (ORI subscales) as within group factors showed a main effect for attitudes, reflecting variations between the subscale scores. A significant time × attitudes interaction effect indicated positive attitude changes over time, but only in the domain of educational and social progression of students with SEN. Results of a regression analysis indicated that, after controlling for pre-course attitude ratings, perceived competence predicted attitude ratings at the end of the course. This study shows that teacher training can positively affect both teachers´ competence and attitudes concerning inclusive education, whereby perceived competence contributed to positive attitude change. [less ▲]

Detailed reference viewed: 13 (2 UL)