Using CPAL to model and validate the timing behaviour of embedded systems

in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)

This work presents a solution to the Formal Methods for Timing Verification (FMTV) Challenge 2015 using CPAL. CPAL stands for the Cyber-Physical Action Language and is a novel language to model, simulate ... [more ▼]

This work presents a solution to the Formal Methods for Timing Verification (FMTV) Challenge 2015 using CPAL. CPAL stands for the Cyber-Physical Action Language and is a novel language to model, simulate and verify cyber-physical systems as those described in the challenge. We believe that the complexity of the challenge mainly stems from the complex interactions of the tasks and processes composing the aerial video tracking system of the challenge. Using CPAL we have derived a complete and unambiguous description of the system that supports timing verification. The different sub-challenges were solved by timing-accurate simulation and/or schedulability analysis. Even though simulation does not provide firm guarantees on the worst-case behaviour, it helps the system designer solve scheduling problems and validate the solutions, where verification tools can not be applied directly due to the complexity of the model as in the 2015 FMTV challenge. [less ▲]

Using crowd-sourced data to analyse the ongoing merger of [ɕ] and [ʃ] in Luxembourgish

in Calhoun, Sasha; Escudero, Paola; Tabain, Marija (Eds.) et al Proceedings of the 19th International Congress of Phonetic Sciences. Melbourne, Australia (2019)

Similar to neighbouring German varieties, the recent language history of Luxembourgish is subject to an ongoing merger of the alveolopalatal fricative [ɕ] (deriving from the palatal fricative [ç]) and the ... [more ▼]

Similar to neighbouring German varieties, the recent language history of Luxembourgish is subject to an ongoing merger of the alveolopalatal fricative [ɕ] (deriving from the palatal fricative [ç]) and the postalveolar fricative [ʃ], leading progressively to the collapse, for example, of the minimal pair frech [fʀæɕ] 'cheeky, impertinent' and Fräsch [fʀæʃ] 'frog'. The present study will draw on a large dataset— which has been recorded using an innovative smartphone application—consisting of fricative realisations of more than 1,300 speakers. In an acoustic analysis, various parameters of the two fricatives will be studied (Centre of Gravity, spectral moments, Euclidian distance, DCT coefficients) and correlated with the speaker’s age. The results show that the merger is acoustically manifest for nearly all age groups. Only the oldest speakers keep the two fricatives distinct. [less ▲]

Using data from the HBSC study for evidence-based suicide prevention in Luxembourg

in European Journal of Public Health (2019), 29

Using Data-flow analysis in MAS for power-aware HPC runs

in Proc. of the IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS'13) (2013)

Using Defeasible Information to Obtain Coherence

in BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence (2016)

In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence ... [more ▼]

In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. [less ▲]

Using digital footprints in entrepreneurship research: A Twitter-based personality analysis of superstar entrepreneurs and managers

in Journal of Business Venturing Insights (2017), 8

Research indicates that individuals’ digital footprints, for example in Twitter and Facebook, can reveal remarkably valid information about their personality characteristics. In this study, we use digital ... [more ▼]

Research indicates that individuals’ digital footprints, for example in Twitter and Facebook, can reveal remarkably valid information about their personality characteristics. In this study, we use digital footprints to gain insights into the personality of superstar entrepreneurs and managers, a largely understudied population in entrepreneurship research. Specifically, we compare the personality characteristics of 106 of the most influential business leaders employing a computerized text analysis tool based on the individuals’ Twitter messages (Receptiviti). Our findings are surprising and indicate that superstar managers are more entrepreneurial in many personality characteristics than superstar entrepreneurs. However, we also found some indications that superstar entrepreneurs seem to show features of a classic “Schumpeterian” entrepreneurial personality with respect to being creative, independent rule-breakers. [less ▲]

Using environmental predictive settlement choice models as input data for settlement pattern simulations

Scientific Conference (2020)

Inductive models of archaeological site locations have been successfully used for predicting archaeological potential of places in landscapes. These models are mostly based on currently observable ... [more ▼]

Inductive models of archaeological site locations have been successfully used for predicting archaeological potential of places in landscapes. These models are mostly based on currently observable environmental information. To reduce environmental determinism and increase both explanatory and predictive power several variables like visibility of locations have been interpreted as social factors of settlement locations. In the current paper we explore the possibilities of using inductive environmental models as input to simulation models. Although similar to models created for predictive purposes they need to be designed with different considerations. We present a study where we use inductive models of archaeological site locations to describe the spatial configuration of space environmentally suitable for residence. To do so we develop a conceptual agent-based model of residential choice based on discrete choice theory and theories of residential choice used in multiple fields from archaeology to contemporary urban studies. We discuss the role of environmental influences as perceived in archaeological data and how they relate to social influences and historical processes leading to emergence of settlement patterns. We argue that spatial structures of the inductive models of specific settlement patterns can inform us about the causal processes behind them when experimented with agent-based simulations. We present case study using inductive models of settlement locations from different periods of the Stone Age of Estonia. The differences of inductive settlement choice models and the ways of comparing them are discussed. The spatial configurations of the models of economic modes have different structures. For example region where settlements of water connected hunter-gatherers can be found has a different spatial structure than that of early agrarian communities. Those differences give insights on socioeconomic histories and can be used in explaining settlement pattern formation processes. [less ▲]

Using FileMaker Pro to get the most from your corpus data

Scientific Conference (2014, June 21)

This presentation provides a basic introduction to the database programme FileMaker Pro. I will use examples from my research for which I used Corpus Query Language in Sketch Engine to retrieve importance ... [more ▼]

This presentation provides a basic introduction to the database programme FileMaker Pro. I will use examples from my research for which I used Corpus Query Language in Sketch Engine to retrieve importance markers from BASE lectures which I then stored and annotated with FileMaker Pro. Although this programme is mainly used by businesses and so probably less familiar to corpus researchers than, for example, Access, it offers many features which greatly facilitate and speed up the processing of corpus data for research or materials development. Corpus concordances can be imported into a FileMaker database, where you can give them multiple tags and quickly and easily generate quantified instances from your corpus using any tag or a combination of tags. For example, the programme allowed me to classify concordances of importance markers into lexicogrammatical patterns, interactive and textual orientation types, component parts (e.g. verbs, Subjects), discipline, study level, co-occurring discourse markers etc. In this way, it took only a few seconds to generate and quantify instances of importance markers which, for instance, have the pattern ‘V clause’, contain ‘remember’ and co-occur with the discourse marker ‘but’. The programme thus allows you to examine and quantify the same data in a variety of ways and to retrieve only those instances you are interested in. This has considerable potential for facilitating the retrieval of corpus evidence for materials design and research. [less ▲]

Using forum theatre in organised youth soccer to positively influence antisocial and prosocial behaviour: a pilot study.

in Journal of Moral Education (2010), 39(1), 65-78

Using Gamification and Metaphor to Design a Mobility Platform for Commuters

in International Journal of Mobile Human Computer Interaction (2012)

In this paper the authors explain the use of gamification as a way to optimize mobility patterns within a heav- ily congested European City. They explore this from two perspectives, first by outlining a ... [more ▼]

In this paper the authors explain the use of gamification as a way to optimize mobility patterns within a heav- ily congested European City. They explore this from two perspectives, first by outlining a gaming concept and secondly by explaining how the use of a mobility game that took place in two locations can be used to explore incentives and design issues. [less ▲]