Last 7 days
Bookmark and Share    
Peer Reviewed
See detailEspaces de frontière. Penser et analyser la frontière en tant qu’espace
Wille, Christian UL

in Dziub, Nikol (Ed.) Le Transfrontalier, pratiques et représentations (in press)

This paper examines how practice-theoretical considerations can be linked with those of a spatial-theoretical nature and translated into a heuristic of spatial analysis from a cultural studies perspec ... [more ▼]

This paper examines how practice-theoretical considerations can be linked with those of a spatial-theoretical nature and translated into a heuristic of spatial analysis from a cultural studies perspec-tive. This question focus results from the understanding that space should be regarded as an emer-gent aspect of the social and that it is still largely insufficiently defined in Border Studies. Drawing on a number of different spatial concepts, the paper first presents an action-theoretical notion of space and reformulates it in a practice-theoretical framework. It constitutes the point of departure for the development of the spaces of the border model with its analytical categories of social practices, practical knowledge as well as physical-material and social-structural aspects. The diversity of con-nections between these analytical categories have proven to be heuristically particularly useful. [less ▲]

Detailed reference viewed: 87 (0 UL)
See detailMapping Legal Innovation: Trends and Perspectives
Robinson, Gavin UL; Masson, Antoine

Book published by Springer (in press)

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailMining Assumptions for Software Components using Machine Learning
Gaaloul, Khouloud UL; Menghi, Claudio UL; Nejati, Shiva UL et al

in Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (in press)

Software verification approaches aim to check a software component under analysis for all possible environments. In reality, however, components are expected to operate within a larger system and are ... [more ▼]

Software verification approaches aim to check a software component under analysis for all possible environments. In reality, however, components are expected to operate within a larger system and are required to satisfy their requirements only when their inputs are constrained by environment assumptions. In this paper, we propose EPIcuRus, an approach to automatically synthesize environment assumptions for a component under analysis (i.e., conditions on the component inputs under which the component is guaranteed to satisfy its requirements). EPIcuRus combines search-based testing, machine learning and model checking. The core of EPIcuRus is a decision tree algorithm that infers environment assumptions from a set of test results including test cases and their verdicts. The test cases are generated using search-based testing, and the assumptions inferred by decision trees are validated through model checking. In order to improve the efficiency and effectiveness of the assumption generation process, we propose a novel test case generation technique, namely Important Features Boundary Test (IFBT), that guides the test generation based on the feedback produced by machine learning. We evaluated EPIcuRus by assessing its effectiveness in computing assumptions on a set of study subjects that include 18 requirements of four industrial models. We show that, for each of the 18 requirements, EPIcuRus was able to compute an assumption to ensure the satisfaction of that requirement, and further, ≈78% of these assumptions were computed in one hour. [less ▲]

Detailed reference viewed: 185 (90 UL)
Full Text
Peer Reviewed
See detailModulation of startle and heart rate responses by fear of physical activity in patients with heart failure and in healthy adults
Hoffmann, Jeremia Mark; Finke, Johannes B.; Schächinger, Hartmut et al

in Physiology and Behavior (in press)

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological ... [more ▼]

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological indicators of FoPA by assessing startle modulation and heart rate responses after affective priming with lexical stimuli of positive, neutral, and negative valence, as well as words related to physical activity as potentially phobic cues. After screening for FoPA in patients with heart failure and healthy adults, twenty participants each were assigned to one of three subsamples: a healthy control group and two cardiac patient groups scoring either low or high on FoPA. The high-FoPA group showed more pronounced startle potentiation and heart rate acceleration (i.e., mobilization of defensive behavior) in the phobic prime condition compared to controls. Differences in FoPA accounted for 30% of the startle potentiation by phobic priming, whereas general anxiety, depression, and disease severity were no significant predictors in patients with heart failure. These findings suggest that heart failure-associated FoPA elicits avoidance behavior at a largely automatic level, and might thereby contribute to low adherence to exercise regimen. Thus, FoPA should be addressed in the design of psychological interventions for cardiac patients to foster physical activity. [less ▲]

Detailed reference viewed: 71 (0 UL)
Full Text
Peer Reviewed
See detailAltered interoceptive awareness in high habitual symptom reporters and patients with somatoform disorders
Flasinski, Tabea; Dierolf, Angelika UL; Rost, Silke et al

in Frontiers in Psychology (in press)

Objective. Altered interoception may play a major role in the etiology of medically unexplained symptoms (MUS). It remains unclear, however, if these alterations concerns noticing of signals or if they ... [more ▼]

Objective. Altered interoception may play a major role in the etiology of medically unexplained symptoms (MUS). It remains unclear, however, if these alterations concerns noticing of signals or if they are limited to the interpretation of signals. We investigated whether individuals with MUS differ in interoceptive awareness as assessed with the Multidimensional Assessment of Interoceptive Awareness (MAIA) questionnaire. Methods. Study 1: 486 individuals completed the Screening for Somatoform Disorders (SOMS-2). 32 individuals each of the upper and lower decile of the SOMS distribution (low symptom reporters/LSR, high symptom reporters/HSR) completed the MAIA. Study 2: MAIA scores of individuals diagnosed with somatoform disorder (SFD; n = 26) were compared to individuals with major depressive disorder (MDD; n = 25) and healthy controls (HC; n = 26). Results. HSR had lower scores than LSR on the MAIA scales Not-Distracting and Not-Worrying. The SFD and MDD groups showed lower scores than HC on the MAIA scales Not-Distracting, Self-Regulation, and Trusting. The MDD group scored lower than the other two groups on the scales Body Listening and Attention Regulation. There were no group differences on the scale Noticing. Conclusion. HSR, SFD and MDD patients do not differ from HC in the awareness of noticing of interoceptive signal processing, whereas cognitive facets of interoception, such as distraction or self-regulation are differentially affected. This highlights the necessity of including specifically targeted interventions, which improve interoceptive awareness, in the prevention and treatment of SFDs. [less ▲]

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailGBA variants in Parkinson’s disease: clinical, metabolomic and multimodal neuroimaging phenotypes
Greuel, Andrea; Trezzi, Jean-Pierre UL; Glaab, Enrico UL et al

in Movement Disorders (in press)

Background: Alterations in the GBA gene (NM_000157.3) are the most important genetic risk factor for Parkinson’s disease. Biallelic GBA mutations cause the lysosomal storage disorder Gaucher´s disease ... [more ▼]

Background: Alterations in the GBA gene (NM_000157.3) are the most important genetic risk factor for Parkinson’s disease. Biallelic GBA mutations cause the lysosomal storage disorder Gaucher´s disease. The GBA variants p.E365K and p.T408M are associated with Parkinson’s but not with Gaucher´s disease. The pathophysiological role of these variants needs to be further explored. Objective: This study analyzed the clinical, neuropsychological, metabolic and neuroimaging phenotypes of Parkinson’s disease patients carrying the GBA variants p.E365K and p.T408M. Methods: GBA was sequenced in 56 mid-stage Parkinson’s disease patients. Carriers of GBA variants were compared to non-carriers regarding clinical history and symptoms, neuropsychological features, metabolomics and multimodal neuroimaging. Blood plasma gas chromatography coupled to mass spectrometry, [18F]FDopa PET, [18F]FDG PET, and resting-state fMRI were performed. Results: Sequence analysis detected 13 heterozygous GBA variant carriers (seven with p.E365K, six with p.T408M). One patient carried a GBA mutation (p.N409S) and was excluded. Clinical history and symptoms were not significantly different between groups. Global cognitive performance was lower in variant carriers. Metabolomic group differences were suggestive of more severe Parkinson’s disease-related alterations in carriers versus non-carriers. [18F]FDopa and [18F]FDG PET showed signs of a more advanced disease; [18F]FDG PET and fMRI showed similarities with Lewy body dementia and Parkinson’s disease dementia in carriers. Conclusions: This is the first study to comprehensively assess (neuro-)biological phenotypes of GBA variants in Parkinson’s disease. Metabolomics and neuroimaging detected more significant group differences than clinical and behavioral evaluation. These alterations could be promising to monitor effects of disease-modifying treatments targeting glucocerebrosidase metabolism. [less ▲]

Detailed reference viewed: 81 (2 UL)
Peer Reviewed
See detailEngagement féministe en sons et en images dans l’œuvre cinématographique d’Assia Djebar
Barthelmebs-Raguin, Hélène UL

in Guaaybess, Tourya; Di Cesare, Nurit; Levy, Jessica (Eds.) et al Femmes engagées au cœur de l’action. Mise en récit(s), mise en image(s) (in press)

Detailed reference viewed: 14 (1 UL)
Peer Reviewed
See detailSword, Shield and Cloud: Toward a European System of Public-Private Orders for Electronic Evidence in Criminal Matters?
Ligeti, Katalin UL; Robinson, Gavin UL

in Mitsilegas, Valsamis; Vavoula, Niovi (Eds.) Surveillance and Privacy in the Digital Age: European, Transatlantic and Global Perspectives (in press)

Detailed reference viewed: 64 (2 UL)
Full Text
Peer Reviewed
See detailPre-Hurricane Consumer Stockpiling and Post- Hurricane Product Availability: Empirical Evidence from Natural Experiments
Pan, Xiaodan; Dresner, Martin; Mantin, Binyamin UL et al

in Production and Operations Management (in press)

The provision of essential supplies is a key service provided by retailers when demand spikes due to consumer stockpiling during environmental emergencies. Moreover, it is important for retailers to ... [more ▼]

The provision of essential supplies is a key service provided by retailers when demand spikes due to consumer stockpiling during environmental emergencies. Moreover, it is important for retailers to quickly recover from these events by replenishing the stock of essential supplies to meet the continuing needs of local residents. The main purpose of this research is to study consumer precautionary stockpiling behavior prior to the onset of hurricane landfalls and determine the impact of this behavior on in-store product availability for various formats of retail store outlets. Specifically, we focus on the bottled water product category, an essential emergency category in hurricane preparedness. This study combines an event analysis methodology with econometric models using archival retail scanner data from 60 U.S. retail chains located in 963 counties and real-time data from four recent U.S. continental hurricanes. We find that supply-side characteristics (retail network and product variety), demand-side characteristics (hurricane experience and household income), and disaster characteristics (hazard proximity and hazard intensity) significantly affect consumer stockpiling propensity as the hurricanes approach. The increased consumer stockpiling has immediate and longer-term impacts on retail operations, namely, in-store product availability. Among various retail formats, drug stores are associated with the highest consumer stockpiling propensity before hurricanes, while dollar stores and discount stores are associated with the lowest in-store product availability following hurricanes. Our study points to the need for retailers and policymakers to carefully monitor factors affecting consumer stockpiling behavior that will allow for better allocation of critical supplies during the hurricane season. [less ▲]

Detailed reference viewed: 17 (0 UL)
Full Text
Peer Reviewed
See detailA novel TIMP3 mutation associated with a retinitis pigmentosa-like phenotype
DeBenedictis, Meghan; Gindzin, Yosef; Glaab, Enrico UL et al

in Ophthalmic Genetics (in press)

Sorsby Fundus Dystrophy is an inherited macular degeneration caused by pathogenic variants in the TIMP3 gene. In this study we describe a father and son initially diagnosed with retinitis pigmentosa of ... [more ▼]

Sorsby Fundus Dystrophy is an inherited macular degeneration caused by pathogenic variants in the TIMP3 gene. In this study we describe a father and son initially diagnosed with retinitis pigmentosa of unknown genetic origin. More recent genetic testing of the patients, identified a novel c.410A>G; p.Tyr137Cys variant of uncertain clinical significance in the Tissue Inhibitor of Metalloproteinase-3 (TIMP3) gene. The atypical clinical findings led us to compare the theoretical molecular effects of this variant on the TIMP3 protein structure and interactions with other proteins using homology modeling and machine learning predictions. [less ▲]

Detailed reference viewed: 105 (3 UL)
Peer Reviewed
See detailReconceptualizing the Multilingual Child: Curriculum Construction in Luxembourg
Sattler, Sabrina UL

in Roberts, Philip; Brennan, Marie; Green, Bill (Eds.) Curriculum Challenges and Opportunities in a Changing World (in press)

Detailed reference viewed: 55 (17 UL)
Full Text
Peer Reviewed
See detailSelf-Integration in Mediated-Reality Systems: a Socio-Technical Perspective
Botev, Jean UL

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

Detailed reference viewed: 72 (1 UL)
Peer Reviewed
See detailUnemployment at 50+: economic and psychosocial consequences
Murdock, Elke UL; Filbig, Marceline; Borges Neves, Rita

in Wanka, Anna; Walsh, Kieran; Scharf, Thomas (Eds.) et al Social Exclusion in Later Life: Interdisciplinary and Policy Perspectives. International Perspectives on Aging (in press)

Throughout the lifespan, unemployment has severe consequences in terms of economic exclusion, and overall social exclusion, but is compounded in older age. Within the EU, a growing number of older adults ... [more ▼]

Throughout the lifespan, unemployment has severe consequences in terms of economic exclusion, and overall social exclusion, but is compounded in older age. Within the EU, a growing number of older adults (50+) are affected by joblessness. Job loss at a later stage in a professional career may determine an early and permanent exit from the labour market with significant psychosocial consequences. Herein lies the age-specific risk for older unemployed adults: once becoming unemployed they are at greater risk at staying unemployed. As a result, older unemployed people may face income cuts, deprivation of a central adulthood role and their mental and physical health may suffer. In this chapter, we draw attention to the latent functions of work, and the psychosocial consequences of job loss in later life. Applying a life-course perspective, the aim of this chapter is to explore how job loss can be framed as a form of acute economic exclusion, and how this exclusion can have significant implications for poor mental health. In a context of rising retirement ages, and the lack of preparedness of the labour market to deal with an ageing workforce, it is essential to understand these dynamics to guide policy development. [less ▲]

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

in Proceedings of the 17th GI VR/AR Workshop (VAR) (in press)

Detailed reference viewed: 85 (0 UL)
Full Text
Peer Reviewed
See detailResource Allocation for Energy Efficiency in OFDMA-Enabled WPCN
Nguyen, Tien-Tung; Pham, Quoc-Viet; Nguyen, van Dinh UL et al

in IEEE Wireless Communications Letters (in press)

This letter considers a wireless powered communication network (WPCN), where an energy-constrained device directly uses harvested energy from a power transfer source to transmit independent signals to ... [more ▼]

This letter considers a wireless powered communication network (WPCN), where an energy-constrained device directly uses harvested energy from a power transfer source to transmit independent signals to multiple Internet of Things (IoT) users using orthogonal frequency division multiple access (OFDMA). Our goal is to maximize the system energy efficiency (EE) by jointly optimizing the duration of energy harvesting (EH), subcarrier and power allocation. The formulated problem is a mixed integer nonlinear programming (MINLP) problem due to the presence of binary assignment variables, and thus it is very challenging to solve it directly. By leveraging Dinkelbach method, a very efficient iterative algorithm with closed-form solutions in each iteration is developed, where its convergence is guaranteed. Numerical results show that the proposed algorithm obtains a fast convergence and outperforms baseline algorithms. Notably, they also reveal that the power source should transmit its maximum allowable power to obtain the optimal EE performance. [less ▲]

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

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

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

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

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

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

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

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

Detailed reference viewed: 54 (3 UL)
Full Text
Peer Reviewed
See detailRisk disclosure and firm operational efficiency
Derouiche, Imen UL; Manita, riadh; Muessig, Anke UL

in Annals of Operations Research (in press)

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period ... [more ▼]

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period 2007–2015. In a first step, we use a data envelopment analysis output-oriented variable returns to scale model to determine firm operational efficiency scores based on one output (i.e., sales revenue) and three inputs (i.e., net property, plant, and equipment; cost of goods sold; and selling, general, and administrative costs). These scores are used in a second step to estimate the effect of risk disclosure on operational efficiency after controlling for a set of other factors. The empirical results show a statistically significant positive relation between risk disclosure and operational efficiency, suggesting that firms tend to be relatively more efficient when they disclose more about their risk exposure. Overall, we provide evidence that firms with greater risk disclosure are seen by stakeholders as more credible and trustworthy, leading them to conduct better transactions and, consequently, to improve their operational efficiency. This result is consistent with the notion that stakeholders perceive transparent firms positively, particularly those revealing bad news. [less ▲]

Detailed reference viewed: 53 (6 UL)
Full Text
Peer Reviewed
See detailAutomated Fault Tolerance Augmentation in Model-Driven Engineering for CPS
Hu, Tingting UL; Cibrario Bertolotti, Ivan; Navet, Nicolas UL et al

in Computer Standards & Interfaces (in press)

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised ... [more ▼]

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non- functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. [less ▲]

Detailed reference viewed: 67 (10 UL)
Full Text
Peer Reviewed
See detailNon-localised contact between beams with circular and elliptical cross-sections
Magliulo, Marco UL; Lengiewicz, Jakub UL; Zilian, Andreas UL et al

in Computational Mechanics (in press)

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections ... [more ▼]

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections. The technique consists of parametrizing the surfaces of the two beams in contact, fixing a point on the centroid line of one of the beams and searching for a constrained minimum distance between the surfaces (two variants are investigated). The resulting unilateral (frictionless) contact condition is then enforced with the Penalty method, which introduces compliance to the, otherwise rigid, beams' cross-sections. Two contact integration schemes are considered: the conventional slave-master approach (which is biased as the contact virtual work is only integrated over the slave surface) and the so-called two-half-pass approach (which is unbiased as the contact virtual work is integrated over the two contacting surfaces). Details of the finite element formulation which is suitably implemented using Automatic Di fferentiation techniques are presented. A set of numerical experiments shows the overall performance of the framework and allows a quantitative comparison of the investigated variants. [less ▲]

Detailed reference viewed: 90 (35 UL)