![]() Zheng, Gan ![]() in Communications in China (ICCC), 2012 1st IEEE International Conference on (2012) This paper studies different uses of two cooperating relays to improve the secrecy rate of a wiretap channel. These two relays are assumed to perform only simple functions: either amplify-and-forward (AF ... [more ▼] This paper studies different uses of two cooperating relays to improve the secrecy rate of a wiretap channel. These two relays are assumed to perform only simple functions: either amplify-and-forward (AF) or jamming. Complex functions such as decode-and-forward (DF) are not considered. We study three modes of cooperation: i) cooperative jamming (CJ), ii) AF-aided beamforming and iii) mixed AF-aided beamforming and CJ, all with individual relay power constraints. While i) is known in the literature, our efforts are spent on ii) and iii). In particular, for iii), we assume that the jamming signals in two communication stages are correlated, giving rise to improved performances. We also propose a heuristic approach for selecting the appropriate cooperating mode. Simulation results illustrate the performance gain of each scheme under different channel conditions and the effectiveness of the proposed mode selection method. [less ▲] Detailed reference viewed: 184 (0 UL)![]() ; Bersweiler, Mathias ![]() in Nanoscale Advances (2022), 4 Detailed reference viewed: 51 (3 UL)![]() Barbier, Mathilde ![]() ![]() in BMJ Open (2021) Introduction: The use of social marketing strategies to induce the promotion of cognitive health has received little attention in research. The objective of this scoping review is twofold: (i) to identify ... [more ▼] Introduction: The use of social marketing strategies to induce the promotion of cognitive health has received little attention in research. The objective of this scoping review is twofold: (i) to identify the social marketing strategies that have been used in recent years to initiate and maintain health-promoting behaviour; (ii) to advance research in this area to inform policy and practice on how to best make use of these strategies to promote cognitive health. Methods and analysis: We will use the five-stage methodological framework of Arksey and O’Malley. Articles in English published since 2010 will be searched in electronic databases (the Cochrane Library, DoPHER, the International Bibliography of the Social Sciences, PsycInfo, PubMed, ScienceDirect, Scopus). Quantitative and qualitative study designs as well as reviews will be considered. We will include those articles that report the design, implementation, outcomes and evaluation of programmes and interventions concerning social marketing and/or health promotion and/or promotion of cognitive health. Grey literature will not be searched. Two independent reviewers will assess in detail the abstracts and full text of selected citations against the inclusion criteria. A Preferred Reporting Items for Systematic Reviews and Meta-Analyses flowchart for Scoping Reviews will be used to illustrate the process of article selection. We will use a data extraction form, present the results through narrative synthesis and discuss them in relation to the scoping review research questions. Ethics and dissemination: Ethics approval is not required for conducting this scoping review. The results of the review will be the first step to advance a conceptual framework, which contributes to the development of interventions targeting the promotion of cognitive health. The results will be published in a peer-reviewed scientific journal. They will also be disseminated to key stakeholders in the field of the promotion of cognitive health. [less ▲] Detailed reference viewed: 50 (5 UL)![]() Lygidakis, Charilaos ![]() ![]() in Goodyear-Smith, Felicity; Mash, Robert (Eds.) How To Do Primary Care Research (2018) Social media are a powerful means of communication among health-care professionals, patients and the public. Their use has been increasing steadily globally, transforming the way that people exchange ... [more ▼] Social media are a powerful means of communication among health-care professionals, patients and the public. Their use has been increasing steadily globally, transforming the way that people exchange information, interact and collaborate. Physicians are using more and more social networks to connect with broader audiences, communicate with their patients and their colleagues and build a network of trustworthy peers. Researchers are also leveraging social media, capitalising on the velocity with which the messages can spread and the ability to disseminate their messages to the general public in addition to research communities, thus attracting more attention and increasing the influence and impact of their work. [less ▲] Detailed reference viewed: 114 (13 UL)![]() Blount, Percy ![]() in ROOM: The Space Journal (2018) Detailed reference viewed: 62 (2 UL)![]() Kirsch, Claudine ![]() in Language Learning Journal (2012), 44(1), 33-51 It has long been claimed that stories are a powerful tool for language learning. Storytelling is often used as a discrete pedagogical approach in primary modern foreign language (MFL) lessons in England ... [more ▼] It has long been claimed that stories are a powerful tool for language learning. Storytelling is often used as a discrete pedagogical approach in primary modern foreign language (MFL) lessons in England. There has, however, been little investigation into how storytelling might impact on vocabulary learning in the primary classroom. This article focuses on how a London primary teacher used stories in German lessons in a Year 6 class (ages 10–11), and analyses the words and sentences the case-study children remembered over a brief period of time. Data were collected over two terms through observations, interviews and posttests. The findings illustrate the wide range of teaching strategies that allowed for explicit and incidental learning and encouraged meaningful language use. They also show that children recalled a considerable number of words and sentences. [less ▲] Detailed reference viewed: 544 (16 UL)![]() Imeri, Adnan ![]() Doctoral thesis (2021) This thesis address the general problem of safe and secure transport of dangerous goods (TDG). The TDG is very complicated to manage because of risk for the environment and human life. Currently, it ... [more ▼] This thesis address the general problem of safe and secure transport of dangerous goods (TDG). The TDG is very complicated to manage because of risk for the environment and human life. Currently, it suffers from a lack of efficiency, trust, and t ransparency. In this thesis, we propose a novel method to specify the workflow aspects of TDG by considering all TDG process stages during its entire lifecycle. This method aims to facilitate the specifications of the TDG workflow management system that is entirely based on existing regulatory frameworks ensuring the compliance, trust, and transparency of all underlying processes. The proposed system design method is based on the so-called model-driven architecture (MDA) approach and enhancing it to consider blockchain properties. The first stage is the formal analysis of the process of TDG and its alignment with the regulatory frameworks. The proposed design method aims, at this stage, to allow the formal definition and verification of the design of the system with regard to the regulatory frameworks. The next stages of the method rely strongly on the model transformation that is a salient aspect of the proposed design method. Model transformation allows to automatically discover peer system components and authorized interactions. The last stage of the whole model transformations is the specification of digital twin profiles for all potential s t akeholders. All the interactions in the real world between stakeholders are transformed into interactions in the digital world, while the interactions with the environment are achieved through the use of IoT. The proposed approach enables interactions between components of the systems (digital twins, IoT devices, etc.) only if this is compliant with the regulatory framework. Thanks to blockchain technology, our design method allows improving trust and transparency in the process of TDG from the perspective of stakeholder collaborations. Smart contract technological capabilities are also a cornerstone of the proposed solution. This thesis also contributes to improving the semantic of smart contracts to capture supply chain management specifications as well as dangerous goods specificities in terms of t ransportation. Dynamic concepts related to the supply chain management of dangerous goods such as time-related and geographic constraints, digital certification, anomaly detection and multi-party smart contract, managing emergencies, and shared responsibility have been addressed at the level of the smart contract. In particular, this thesis proposes applying temporal logic for the formal specification and verification of smart contracts. This thesis proposes an integrated approach for blockchain and IoT to support the dynamic aspects in the supply chain of dangerous goods. Data collected from various IoT devices along the physical supply chain (goods, vehicles, country borders, etc.) are transmitted to the blockchain and further processed by the system following the workflow logic that was specified and automatically triggering related smart contracts and corresponding actions. The last contribution in this thesis is the implementation of a proof-of-concept system to validate the different aspects of the contribution, namely the design method, the trust and transparency assurance, and the automatic triggering of actions and information flows. [less ▲] Detailed reference viewed: 219 (8 UL)![]() Olivares Mendez, Miguel Angel ![]() ![]() in Control and Automation (MED), 2014 22nd Mediterranean Conference of (2014, June) This paper presents an adaptation of the Cross-Entropy (CE) method to optimize fuzzy logic controllers. The CE is a recently developed optimization method based on a general Monte-Carlo approach to ... [more ▼] This paper presents an adaptation of the Cross-Entropy (CE) method to optimize fuzzy logic controllers. The CE is a recently developed optimization method based on a general Monte-Carlo approach to combinatorial and continuous multi-extremal optimization and importance sampling. This work shows the application of this optimization method to optimize the inputs gains, the location and size of the different membership functions' sets of each variable, as well as the weight of each rule from the rule's base of a fuzzy logic controller (FLC). The control system approach presented in this work was designed to command the orientation of an unmanned aerial vehicle (UAV) to modify its trajectory for avoiding collisions. An onboard looking forward camera was used to sense the environment of the UAV. The information extracted by the image processing algorithm is the only input of the fuzzy control approach to avoid the collision with a predefined object. Real tests with a quadrotor have been done to corroborate the improved behavior of the optimized controllers at different stages of the optimization process. [less ▲] Detailed reference viewed: 201 (12 UL)![]() Meyers, Raymond ![]() ![]() ![]() in Psychology Research (2016), 6(11), 648-659 Empowerment is a widely used construct in research on social work, mental health and community interventions, but has only been exploited indirectly with the unemployed. But job finding is an important ... [more ▼] Empowerment is a widely used construct in research on social work, mental health and community interventions, but has only been exploited indirectly with the unemployed. But job finding is an important dimension of empowerment and could be used to test the accuracy of the concept and of its measures. The Making Decisions Empowerment Scale was used with 97 unemployed people who had been jobless for 6 months. Even though the psychometric qualities of the 5 subscales and the total scale were mixed, convergent and discriminant validity with several adaptive and non-adaptive dimensions could be established for the global scale and for the Esteem, Power, Control and, to a lesser degree, the Activism subscales. The results were only marginally better for the 28 items global scale compared to the 9 items Esteem scale. Empowerment could be adequately modelled by using three dimensions: change coping, depression, and chance control of unemployment. Comparing 6 months later those who had found a job with the still unemployed, the 2 groups differed significantly on 2 of the 5 subscales (Activism and Control) though not on the total empowerment scale, nor on the other psychometric scales. The results throw some doubt on the accuracy of an aggregate measure that sums up divergent dimensions. Instead, it is proposed that more specific and individualized constructs be used, at least in unemployment research. [less ▲] Detailed reference viewed: 284 (13 UL)![]() ; ; Goncalves Almeida Antunes, Michel ![]() in IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) (2014) Detailed reference viewed: 114 (9 UL)![]() ; ; Kreis, Yves ![]() in Bardini, Caroline; Fortin, Philippe; Oldknow, Adrian (Eds.) et al Proceedings of the 9th International Conference on Technology in Mathematics Teaching (2009) The main objective of the Intergeo Project (http://i2geo.net) is to make digital content for mathematics teaching in Europe more accessible, usable and exploitable. So far, Intergeo provides an Internet ... [more ▼] The main objective of the Intergeo Project (http://i2geo.net) is to make digital content for mathematics teaching in Europe more accessible, usable and exploitable. So far, Intergeo provides an Internet platform that offers content in a searchable and metadata-tagged form. In particular, teachers can search for suitable content based on the key concepts and themes of their curriculum. Once found, the content can be used either directly on the web or using the software of choice. Another very important aspect is that all material used in the classroom should adhere to certain pedagogical and mathematical quality standards. Intergeo facilitates the evaluation of material by means of a quality-testing framework that aids teachers and researchers in assessing the educational value of the digital content. The questionnaire used for this can be answered both quickly as well as in depth. In this workshop we will show how to use the platform and how to participate in the project as a user or by becoming an associate partner. Also, we will help software and tool authors to be able to read and write the new standard format for interactive geometry, i2g. [less ▲] Detailed reference viewed: 43 (9 UL)![]() ![]() Sonnleitner, Philipp ![]() Poster (2008) Due to inconclusive findings concerning the components responsible for the difficulty of reading comprehension items, this paper attempts to set up an item-generating system using hypothesis-driven ... [more ▼] Due to inconclusive findings concerning the components responsible for the difficulty of reading comprehension items, this paper attempts to set up an item-generating system using hypothesis-driven modeling of item complexity applying Fischer’s (1973) linear logistic test model (LLTM) to a German reading comprehension test. This approach guarantees an evaluation of the postulated item-generating system; moreover construct validity of the administered test is investigated. Previous findings in this field are considered; additionally, some text features are introduced to this debate and their impact on item difficulty is discussed. Results once more show a strong influence of formal components (e.g. the number of presented response options in a multiple-choice-format), but also indicate how this effect can be minimized. [less ▲] Detailed reference viewed: 58 (0 UL)![]() Sonnleitner, Philipp ![]() in Psychology Science Quarterly (2008), 50(3), 345-362 Due to inconclusive findings concerning the components responsible for the difficulty of reading comprehension items, this paper attempts to set up an item-generating system using hypothesis-driven ... [more ▼] Due to inconclusive findings concerning the components responsible for the difficulty of reading comprehension items, this paper attempts to set up an item-generating system using hypothesis-driven modeling of item complexity applying Fischer’s (1973) linear logistic test model (LLTM) to a German reading comprehension test. This approach guarantees an evaluation of the postulated item-generating system; moreover construct validity of the administered test is investigated. Previous findings in this field are considered; additionally, some text features are introduced to this debate and their impact on item difficulty is discussed. Results once more show a strong influence of formal components (e.g. the number of presented response options in a multiple-choice-format), but also indicate how this effect can be minimized. [less ▲] Detailed reference viewed: 274 (2 UL)![]() ; Vlassis, Nikos ![]() in Proc. RoboCup Int. Symposium, Osaka, Japan (2006) Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each agent can in principle select an ... [more ▼] Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each agent can in principle select an optimal individual action based on a variable elimination algorithm performed on this graph. This results in optimal behavior for the group, but its worst-case time complexity is exponential in the number of agents, and it can be slow in densely connected graphs. Moreover, variable elimination is not appropriate for real-time systems as it requires that the complete algorithm terminates before a solution can be reported. In this paper, we investigate the max-plus algorithm, an instance of the belief propagation algorithm in Bayesian networks, as an approximate alternative to variable elimination. In this method the agents exchange appropriate payoff messages over the coordination graph, and based on these messages compute their individual actions. We provide empirical evidence that this method converges to the optimal solution for tree-structured graphs (as shown by theory), and that it finds near optimal solutions in graphs with cycles, while being much faster than variable elimination. [less ▲] Detailed reference viewed: 100 (1 UL)![]() Melzer, André ![]() in IADIS International Journal on WWW/Internet (2006), 4(2), 48-58 Detailed reference viewed: 69 (1 UL)![]() Bender, Philipp Florian ![]() in Acta Crystallographica. Section A, Foundations and Advances (2019), A75 Detailed reference viewed: 90 (2 UL)![]() De Leeuw, Astrid ![]() in Journal of Environmental Psychology (2015) Detailed reference viewed: 299 (2 UL)![]() ; Hunegnaw, Addisu ![]() ![]() Scientific Conference (2019, December 13) Global mean sea level (GMSL) is now widely recognized to have risen between 1 to 2 mm/yr depending on location since the 20th century. Prior to the satellite altimetry era, GMSL was primarily estimated ... [more ▼] Global mean sea level (GMSL) is now widely recognized to have risen between 1 to 2 mm/yr depending on location since the 20th century. Prior to the satellite altimetry era, GMSL was primarily estimated from a set of secular tide gauge records relative to coastal benchmarks. Recent measurements of GPS (Global Positioning System) have been demonstrated as a useful tool of a direct estimate of Vertical Land Motion (VLM) induced by both long and short-term geophysical and human-induced processes in a geocentric reference frame. This presentation will provide the results of a combination performed using the CATREF software of three independent GPS daily solutions provided by British Isles continuous GNSS Facility – University of Luxembourg consortium (BLT), German Research Centre for Geosciences (GFZ) and University of La Rochelle (ULR) under the auspices of the Tide Gauge Benchmark Monitoring (TIGA) Working Group (WG), that results in a spatially comprehensive map of VLM near or close to tide gauge benchmarks. The combination was performed in accordance with the second re-processing campaign (repro2) of the IGS (International GNSS Service). Long coastal tide gauge records from the archives maintained at the Permanent Service for Mean Sea Level (PSMSL) were extracted for relative sea level estimates. To cross-compare the sea level rates over the years, we employed observations between 1900-2016. Then, the time series were cut and analyzed separately, ceteris paribus, for the period 1960-2016. This analysis was aimed at a cross-comparison of relative sea level trends and their changes over the years. The stochastic part of the tide gauge records was analyzed with Maximum Likelihood Estimation (MLE) and assumed several different combinations of noise models with the Bayesian Information Criterion (BIC) providing a means to identify the preferred one. The relative sea level estimates were corrected by the inverted barometric effect to the tide-gauge records using data from the 20th century Reanalysis project version V2C, the effect of wind stress on the surface of the ocean in both, zonal and meridional components, as well as Pacific Decadal Oscillation (PDO) and the North Pacific Gyre Oscillation (NPGO) influencing Pacific tide gauge records. The GPS-based velocities were corrected by Glacial Isostatic Adjustment (GIA) effect using ICE-6G(VM5a) model with associated geoid rate and post seismic decays using ITRF2014 estimates. Also, environmental loading models were employed to account for present-day elastic loading in VLM. The Mean Sea Level (MSL) trends from tide gauges and VLM-corrected MSL trends using GIA model (TG+GIA) and the TIGA combination (TG+TIGA) were determined. Our final reconstruction of GMSL based on the MSL records from 1900 to 2016 where the VLM uncertainty is smaller than 0.7 mm/yr indicate a long-term trend of 1.75 +/- 0.2 mm/yr and is in good agreement with several similar determinations. [less ▲] Detailed reference viewed: 85 (2 UL)![]() Soltana, Ghanem ![]() ![]() in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014) Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is ... [more ▼] Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling pro- cedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of com- plexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach. [less ▲] Detailed reference viewed: 368 (74 UL)![]() Amalio, Nuno ![]() ![]() ![]() in Transactions on Aspect-Oriented Software Development (2010), 7 Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of ... [more ▼] Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns. [less ▲] Detailed reference viewed: 158 (5 UL) |
||