Using automated electrode localization to guide stimulation management in DBS; Husch, Andreas ; et alin Annals of Clinical and Translational Neurology (2018), 0(0), Abstract Deep Brain Stimulation requires extensive postoperative testing of stimulation parameters to achieve optimal outcomes. Testing is typically not guided by neuroanatomical information on electrode ... [more ▼] Abstract Deep Brain Stimulation requires extensive postoperative testing of stimulation parameters to achieve optimal outcomes. Testing is typically not guided by neuroanatomical information on electrode contact locations. To address this, we present an automated reconstruction of electrode locations relative to the treatment target, the subthalamic nucleus, comparing different targeting methods: atlas‐, manual‐, or tractography‐based subthalamic nucleus segmentation. We found that most electrode contacts chosen to deliver stimulation were closest or second closest to the atlas‐based subthalamic nucleus target. We suggest that information on each electrode contact's location, which can be obtained using atlas‐based methods, might guide clinicians during postoperative stimulation testing. [less ▲] Detailed reference viewed: 135 (3 UL) Using Bayes' theorem to infer the material parameters of human soft tissueHale, Jack ; ; Bordas, Stéphane ![]() Presentation (2015, October 21) Detailed reference viewed: 125 (5 UL) Using Bayesian inference to recover the material parameters of a heterogeneous hyperelastic bodyHale, Jack ; ; Bordas, Stéphane ![]() Scientific Conference (2016) We present a method for calculating a Bayesian uncertainty estimate on the recovered material parameters of a heterogeneous geometrically non-linear hyperelastic body. We formulate the problem in the ... [more ▼] We present a method for calculating a Bayesian uncertainty estimate on the recovered material parameters of a heterogeneous geometrically non-linear hyperelastic body. We formulate the problem in the Bayesian inference framework [1]; given noisy and sparse observations of a body, some prior knowledge on the parameters and a parameter-to-observable map the goal is to recover the posterior distribution of the parameters given the observations. In this work we primarily focus on the challenges of developing dimension-independent algorithms in the context of very large inverse problems (tens to hundreds of thousands of parameters). Critical to the success of the method is viewing the problem in the correct infinite- dimensional function space setting [2]. With this goal in mind, we show the use of automatic symbolic differentiation techniques to construct high-order adjoint models [3], scalable maximum a posteriori (MAP) estimators, and efficient low-rank update methods to calculate credible regions on the posterior distribution [4]. [less ▲] Detailed reference viewed: 137 (15 UL)![]() Using behavioral data from computer-generated log files to understand complex problem solving performance in a computer-based assessmentNiepel, Christoph ; Greiff, Samuel ; et alScientific Conference (2016, July) Detailed reference viewed: 110 (5 UL) Using Choquet integral in Machine Learning: what can MCDA bring?; ; et al in DA2PL' 2012 - from Multiple Criteria Decision Aid to Preference Learning (2012) In this paper we discuss the Choquet integral model in the realm of Preference Learning, and point out advantages of learning simultaneously partial utility functions and capacities rather than ... [more ▼] In this paper we discuss the Choquet integral model in the realm of Preference Learning, and point out advantages of learning simultaneously partial utility functions and capacities rather than sequentially, i.e., first utility functions and then capacities or vice-versa. Moreover, we present possible interpretations of the Choquet integral model in Preference Learning based on Shapley values and interaction indices. [less ▲] Detailed reference viewed: 184 (0 UL)![]() Using co-production to understand innovation in green buidling: taking complexity into accountJUNG ép. PRELLER, Bérénice ![]() Scientific Conference (2014, August 29) Detailed reference viewed: 55 (4 UL) Using cohort data to emulate lifestyle interventions: Long-term beneficial effects of initiating physical activity on cognitive decline and dementiaLeist, Anja ; ; in Alzheimer's and Dementia: the Journal of the Alzheimer's Association (2020), 16 Background: Intervention studies have shown beneficial short-term effects of physical activity on cognitive decline and reduced risk of dementia. However, randomized controlled trial data of lifestyle ... [more ▼] Background: Intervention studies have shown beneficial short-term effects of physical activity on cognitive decline and reduced risk of dementia. However, randomized controlled trial data of lifestyle interventions over long time spans are not available due to lack of resources, feasibility or ethical reasons. Drawing from the principles of emulating a ‘target trial’, which apply design principles of randomized trials to the analysis of observational data, cohort data of a large European survey were analyzed to understand the long-term effects of physical activity changes. Method: Biennial assessments of the economic, social, and health situation of respondents aged 50 and older came from the Survey of Health, Ageing and Retirement in Europe (2004-2017). Cognitive functioning (immediate recall, delayed recall, and verbal fluency) and self-reported diagnosis of dementia were assessed at each follow-up. The target trial included sedentary respondents at t1 who, at follow-up (t2), stayed sedentary (“control group”) or newly reported vigorous physical activity more often than once a week (initiators, “treatment group”). Inclusion and exclusion criteria were implemented as close as possible to those of the FINGER trial. Inverse-probability weighting accounted for the probability of initiating physical activity with a large set of predictor variables. Selecting respondents aged 50-85 years old who met the target trial inclusion and exclusion criteria, assessments of cognitive functioning and self-reported diagnosis of dementia were available for 8,781 respondents at t3 (on average 3.02 years later), 3,858 respondents at t4 (5.84 years), and 2,304 respondents at t5 (7.72 years). A total of 304 respondents reported a diagnosis of dementia. Result: Initiators of vigorous physical activity had higher cognitive functioning at two follow-ups compared to non-initiators (t3: “average treatment effect on the treated”, ATET=0.059, CI: 0.028, 0.090), which remained significant after implementing inclusion and exclusion criteria. Initiators had lower risk of dementia compared to non-initiators at all three follow-ups (t3: ATET=-0.009, CI: -0.015, -0.005, relative risk decrease -46.7%), remaining significant after implementing inclusion and exclusion criteria. Conclusion: Emulating a target trial showed long-term benefits of initiating physical activity for cognitive functioning and dementia risk. Multidomain interventions related to nutrition, social, cognitive activities etc. can be similarly emulated. [less ▲] Detailed reference viewed: 108 (0 UL) Using Community Demographics in Social and Political ActionPowell, Justin J W ![]() Report (1990) Handbook for college community service programs Detailed reference viewed: 71 (2 UL) Using Complex Problem Solving Simulations for General Cognitive Ability Assessment: the Genetics Lab Framework; ; et al in International Journal of Information Science and Intelligent System (2013), 2(4), 71-88 This paper presents the conception and operation of “the Genetics Lab,” a research platform designed for general intelligence measurement. This tool has been developed and refined to measure cognitive ... [more ▼] This paper presents the conception and operation of “the Genetics Lab,” a research platform designed for general intelligence measurement. This tool has been developed and refined to measure cognitive skills of students in Luxembourg, Thanks to its generic and clear architecture, “the Genetics Lab” makes a major contribution by addressing technical weaknesses and flaws met with tools previously used to assess intelligence. This new platform can be used as groundwork for other evaluation solutions. In this paper, we explore in depth the main fields of e-assessment such as instructions, localized and multilingual content production and display, traces, and scoring. We also describe how the platform was put into action to create complex simulations and to make data collection resulting from the user’s test a flawless process. This paper is a continuation and extension of earlier work. [less ▲] Detailed reference viewed: 141 (11 UL) Using computer-generated log files for tracking students' problem solving performance: A new path from the What to the How?Greiff, Samuel ![]() Scientific Conference (2015) Detailed reference viewed: 54 (0 UL) Using Concordances in the ClassroomWeber, Jean-Jacques ![]() in Bulletin Nouvelles Technologies et Education (1990), 6 Detailed reference viewed: 62 (0 UL) Using CPAL to model and validate the timing behaviour of embedded systemsAltmeyer, Sebastian ; Navet, Nicolas ; 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 ▲] Detailed reference viewed: 349 (8 UL) Using cross-border mobility in vocational education and training in the Greater Region SaarLorLux regionNienaber, Birte ; ; et alin Cairns, David (Ed.) The Palgrave Handbook of Youth Mobility and Educational Migration (2021) High unemployment rates on one side of a border and training opportunities on the other, the lack of training programmes for specialised jobs on the one side of the border and well defined vocational ... [more ▼] High unemployment rates on one side of a border and training opportunities on the other, the lack of training programmes for specialised jobs on the one side of the border and well defined vocational programmes on the other side: cross-border vocational education and training (VET) is an increasingly used tool to accommodate the differing needs inside the European Union in recent years. This paper will present, explain and analyse the diverse approaches and concepts of tailor-made as well as more standardized cross-border VET programmes in the Greater Region SaarLorLux (DE, FR, LUX, BE) and explain the different mobility types (from short-time exchange programmes, to internships as well as a formalised division of mobility between days of apprenticeship in one country and days of practical training in another country). This cross-border region is the largest transboundary commuting area and therefore the largest transboundary labour market in the EU. [less ▲] Detailed reference viewed: 114 (24 UL) Using crowd-sourced data to analyse the ongoing merger of [ɕ] and [ʃ] in LuxembourgishGilles, Peter ![]() 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 ▲] Detailed reference viewed: 138 (9 UL) Using data analysis on recruited Luxembourgers in WWII - Project WARLUXJanz, Nina ; Vercruysse, Sarah Maya ; Pauly, Michel Romain ![]() Presentation (2021, June) Detailed reference viewed: 17 (0 UL) Using data from the HBSC study for evidence-based suicide prevention in Luxembourgvan Duin, Claire ; Heinz, Andreas ; Catunda, Carolina et alin European Journal of Public Health (2019), 29 Detailed reference viewed: 75 (7 UL)![]() Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations; Varrette, Sébastien ; in Proc. of the 1th Intl. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04) (2004) Detailed reference viewed: 34 (0 UL) Using Data-flow analysis in MAS for power-aware HPC runsVarrette, Sébastien ; Danoy, Grégoire ; Guzek, Mateusz et alin Proc. of the IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS'13) (2013) Detailed reference viewed: 183 (9 UL) Using Defeasible Information to Obtain CoherenceCasini, Giovanni ; in Baral, Chitta; Delgrande, James; Wolter, Frank (Eds.) Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16) (2016, April) 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 ... [more ▼] 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. In the propositional case we consider here, this translates to a propositional formula being satisfiable. We define belief change operators in a framework of nonmonotonic preferential reasoning.We show how the introduction of defeasible information using contraction operators can be an effective means for obtaining coherence. [less ▲] Detailed reference viewed: 61 (16 UL) Using Defeasible Information to Obtain CoherenceCasini, Giovanni ; 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 ▲] Detailed reference viewed: 44 (4 UL) |
||