Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailTowards a European health research and innovation cloud (HRIC)
Aarestrup, FM; Albeyatti, A; Armitage, WJ et al

in Genome Medicine (2020)

Detailed reference viewed: 51 (2 UL)
Full Text
Peer Reviewed
See detailTowards a European strategy to address the COVID-19 pandemic
Priesemann, V.; Balling, Rudolf UL; Bauer, S. et al

in The Lancet (in press)

How will the coronavirus disease 2019 (COVID-19) pandemic develop in the coming months and years? Based on an expert survey, we examine key aspects that are likely to influence the COVID-19 pandemic in ... [more ▼]

How will the coronavirus disease 2019 (COVID-19) pandemic develop in the coming months and years? Based on an expert survey, we examine key aspects that are likely to influence the COVID-19 pandemic in Europe. The challenges and developments will strongly depend on the progress of national and global vaccination programs, the emergence and spread of variants of concern (VOCs), and public responses to non-pharmaceutical interventions (NPIs). In the short term, many people remain unvaccinated, VOCs continue to emerge and spread, and mobility and population mixing are expected to increase. Therefore, lifting restrictions too much and too early risk another damaging wave. This challenge remains despite the reduced opportunities for transmission given vaccination progress and reduced indoor mixing in summer 2021. In autumn 2021, increased indoor activity might accelerate the spread again, whilst a necessary reintroduction of NPIs might be too slow. The incidence may strongly rise again, possibly filling intensive care units, if vaccination levels are not high enough. A moderate, adaptive level of NPIs will thus remain necessary. These epidemiological aspects combined with economic, social, and health-related consequences provide a more holistic perspective on the future of the COVID-19 pandemic. [less ▲]

Detailed reference viewed: 62 (1 UL)
Full Text
Peer Reviewed
See detailTowards a Formally Verified Proof Assistant
Anand, Abhishek; Rahli, Vincent UL

in Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (2014)

Detailed reference viewed: 148 (5 UL)
Full Text
See detailTowards a Formally Verified Proof Assistant (technical report)
Anand, Abhishek; Rahli, Vincent UL

Report (2014)

Detailed reference viewed: 69 (2 UL)
See detailTowards a framework for application support in mobile networks
Wehling, Ulf UL

Doctoral thesis (2008)

Detailed reference viewed: 97 (3 UL)
Full Text
Peer Reviewed
See detailTowards a framework of choices made during the life-cycle of process models
Gericke, Kilian UL; Eckert, Claudia; Wynn, David

in Marjanovic, Dorian (Ed.) Proceedings of the International Design Conference - DESIGN'16 (2016)

A variety of process modelling approaches exist. The tools provide visualizations and enable analyses of a process. However, analyses of a process depend fundamentally on the properties of the underlying ... [more ▼]

A variety of process modelling approaches exist. The tools provide visualizations and enable analyses of a process. However, analyses of a process depend fundamentally on the properties of the underlying process model. Choices that modellers make in building process models affect the quality of the created models and have an effect on what the models can be used for and can affect the process that is modelled. This paper reflects over the choices the processes modellers need to make in the course of building processes and proposes a framework to show how the choices are related to each other. [less ▲]

Detailed reference viewed: 65 (2 UL)
Full Text
See detailTowards a Full Support of Obligations In XACML
El Kateb, Donia UL; Elrakaiby, Yehia UL; Mouelhi, Tejeddine UL et al

Scientific Conference (2014)

Detailed reference viewed: 163 (3 UL)
Full Text
Peer Reviewed
See detailTowards a full support of obligations in XACML
El Kateb, Donia UL; Elrakaiby, Yehia UL; Mouelhi, T. et al

in Lecture Notes in Computer Science (2015), 8924

Policy-based systems rely on the separation of concerns, by implementing independently a software system and its associated security policy. XACML (eXtensible Access Control Markup Language) proposes a ... [more ▼]

Policy-based systems rely on the separation of concerns, by implementing independently a software system and its associated security policy. XACML (eXtensible Access Control Markup Language) proposes a conceptual architecture and a policy language to reflect this ideal design of policy-based systems.However, while rights are well-captured by authorizations, duties, also called obligations, are not well managed by XACML architecture. The current version of XACML lacks (1) well-defined syntax to express obligations and (2) an unified model to handle decision making w.r.t. obligation states and the history of obligations fulfillment/ violation. In this work, we propose an extension of XACML reference model that integrates obligation states in the decision making process.We have extended XACML language and architecture for a better obligations support and have shown how obligations are managed in our proposed extended XACML architecture: OB-XACML. © Springer International Publishing Switzerland 2015. [less ▲]

Detailed reference viewed: 142 (4 UL)
Full Text
Peer Reviewed
See detailTowards a Generic Framework for Automating Extensive Analysis of Android Applications
Li, Li UL; Li, Daoyuan UL; Bartel, Alexandre et al

in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)

Despite much effort in the community, the momentum of Android research has not yet produced complete tools to perform thorough analysis on Android apps, leaving users vulnerable to malicious apps. Because ... [more ▼]

Despite much effort in the community, the momentum of Android research has not yet produced complete tools to perform thorough analysis on Android apps, leaving users vulnerable to malicious apps. Because it is hard for a single tool to efficiently address all of the various challenges of Android programming which make analysis difficult, we propose to instrument the app code for reducing the analysis complexity, e.g., transforming a hard problem to a easy-resolvable one. To this end, we introduce in this paper Apkpler, a plugin-based framework for supporting such instrumentation. We evaluate Apkpler with two plugins, demonstrating the feasibility of our approach and showing that Apkpler can indeed be leveraged to reduce the analysis complexity of Android apps. [less ▲]

Detailed reference viewed: 218 (9 UL)
Full Text
Peer Reviewed
See detailTowards a harmonized method for the global reconnaissance of multi-class antimicrobials and other pharmaceuticals in wastewater and receiving surface waters
Singh, Randolph UL; Angeles, Luisa; Butryn, Deena et al

in Environment International (2019), 124

Antimicrobial resistance is a worldwide problem that is both pressing and challenging due to the rate at which it is spreading, and the lack of understanding of the mechanisms that link human, animal and ... [more ▼]

Antimicrobial resistance is a worldwide problem that is both pressing and challenging due to the rate at which it is spreading, and the lack of understanding of the mechanisms that link human, animal and environmental sources contributing to its proliferation. One knowledge gap that requires immediate attention is the significance of antimicrobial residues and other pharmaceuticals that are being discharged from wastewater treatment plants (WWTPs) on the dissemination of antimicrobial resistance in the environment. In this work we provide an approach to develop a harmonized analytical method for 8 classes of antimicrobials and other pharmaceuticals that can be used for global monitoring in wastewater and receiving waters. Analysis of these trace organic chemicals in the influent and effluent wastewater, and in the respective upstream and downstream receiving waters from different countries across the globe is not trivial. Here, we demonstrated that sample preparation using solid-phase extraction (SPE) not only provides a convenient and cost-effective shipping of samples, but also adds stability to the analytes during international shipping. It is important that SPE cartridges are maintained at cold temperature during shipment if the duration is longer than 7 days because a significant decrease in recoveries were observed after 7 days in the cartridges stored at room temperature, especially for sulfonamides and tetracyclines. To compensate for sample degradation during shipment, and matrix effects in liquid chromatography/mass spectrometry, the use of stable isotope labeled compounds should be employed when available and affordable. The importance of applying a defined tolerance for the ion ratios (Q/q) that have been optimized for wastewater and surface water is discussed. The tolerance range was set to be the mean Q/q of the analyte standard at various concentrations ±40% for the influent, and ±30% for the effluent, upstream, and downstream samples; for tetracyclines and quinolones, however, the tolerance range was ±80% in order to minimize false negative and false positive detection. The optimized procedures were employed to reveal differences in antimicrobial and pharmaceutical concentrations in influent, effluent, and surface water samples from Hong Kong, India, Philippines, Sweden, Switzerland, and United States. The antimicrobials with the highest concentrations in influent and effluent samples were ciprofloxacin (48,103 ng/L, Hong Kong WWTP 1) and clarithromycin (5178 ng/L, India WWTP 2), respectively. On the other hand, diclofenac (108,000 ng/L, Sweden WWTP 2), caffeine (67,000 ng/L, India WWTP 1), and acetaminophen (28,000 ng/L, India WWTP 1) were the highest detected pharmaceuticals in the receiving surface water samples. Hong Kong showed the highest total antimicrobial concentrations that included macrolides, quinolones, and sulfonamides with concentrations reaching 60,000 ng/L levels in the influent. Antidepressants were predominant in Sweden, Switzerland, and the United States. [less ▲]

Detailed reference viewed: 134 (4 UL)
Full Text
Peer Reviewed
See detailTowards a high-resolution drone-based 3D mapping dataset to optimise flood hazard modelling
Backes, Dietmar UL; Schumann, Guy; Teferle, Felix Norman UL et al

in International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (2019, June), XLII-2/W13

The occurrence of urban flooding following strong rainfall events may increase as a result of climate change. Urban expansion, ageing infrastructure and an increasing number of impervious surfaces are ... [more ▼]

The occurrence of urban flooding following strong rainfall events may increase as a result of climate change. Urban expansion, ageing infrastructure and an increasing number of impervious surfaces are further exacerbating flooding. To increase resilience and support flood mitigation, bespoke accurate flood modelling and reliable prediction is required. However, flooding in urban areas is most challenging. State-of-the-art flood inundation modelling is still often based on relatively low-resolution 2.5 D bare earth models with 2-5m GSD. Current systems suffer from a lack of precise input data and numerical instabilities and lack of other important data, such as drainage networks. Especially, the quality and resolution of the topographic input data represents a major source of uncertainty in urban flood modelling. A benchmark study is needed that defines the accuracy requirements for highly detailed urban flood modelling and to improve our understanding of important threshold processes and limitations of current methods and 3D mapping data alike. This paper presents the first steps in establishing a new, innovative multiscale data set suitable to benchmark urban flood modelling. The final data set will consist of high-resolution 3D mapping data acquired from different airborne platforms, focusing on the use of drones (optical and LiDAR). The case study includes residential as well as rural areas in Dudelange/Luxembourg, which have been prone to localized flash flooding following strong rainfall events in recent years. The project also represents a cross-disciplinary collaboration between the geospatial and flood modelling community. In this paper, we introduce the first steps to build up a new benchmark data set together with some initial flood modelling results. More detailed investigations will follow in the next phases of this project. [less ▲]

Detailed reference viewed: 123 (18 UL)
See detailTowards a Humanist and Subjective Vision ?Photographers in Luxembourg from 1943 to 1968
Di Felice, Paul UL; Poos, Françoise UL

in Macek, Vaclav (Ed.) The History of European Photography, Volume 2: 1939-1969 (2014)

Detailed reference viewed: 81 (6 UL)
See detailTowards a Humanist and SubjectiveVision ?Photographers in Luxembourg Volume 2: 1939-1969
DI FELICE, Paul

in Majek, Vaclav (Ed.) History of European Photography, Volume 2: 1939-1969 (2014)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailTowards a Language-Independent Approach for Reverse-Engineering of Software Product Lines
Ziadi, Tewfik; Henard, Christopher UL; Papadakis, Mike UL et al

in 29th Symposium on Applied Computing (SAC 2014) (2014)

Detailed reference viewed: 136 (8 UL)
Full Text
Peer Reviewed
See detailTowards a Management Plane for Smart Contracts: Ethereum Case Study
Khan, Nida UL; Lahmadi, Abdelkader; Francois, Jerome et al

in NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium (2018)

Blockchain is an emerging foundational technology with the potential to create a novel economic and social system. The complexity of the technology poses many challenges and foremost amongst these are ... [more ▼]

Blockchain is an emerging foundational technology with the potential to create a novel economic and social system. The complexity of the technology poses many challenges and foremost amongst these are monitoring and management of blockchain-based decentralized applications. In this paper, we design, implement and evaluate a novel system to enable management operations in smart contracts. A key aspect of our system is that it facilitates the integration of these operations through dedicated ’managing’ smart contracts to provide data filtering as per the role of the smart contract-based application user. We evaluate the overhead costs of such data filtering operations after post-deployment analyses of five categories of smart contracts on the Ethereum public testnet, Rinkeby. We also build a monitoring tool to display public blockchain data using a dashboard coupled with a notification mechanism of any changes in private data to the administrator of the monitored decentralized application. [less ▲]

Detailed reference viewed: 168 (14 UL)
Full Text
Peer Reviewed
See detailTowards a methodology for lifelong validation of service compositions
Bianculli, Domenico UL; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008 (2008)

Detailed reference viewed: 87 (2 UL)
Full Text
Peer Reviewed
See detailTowards a Model Transformation Intent Catalog
Amrani, Moussa UL; Dingel, Jürgen; Lambers, Leen et al

in Proceedings of the First Workshop on Analysis of Model Transformations (2012)

Detailed reference viewed: 81 (0 UL)
Full Text
See detailTowards A Model-Based Multi- Perspective ValuationMethod for Smart Grid Initiatives: Foundations, OpenIssues, and a Research Outlook
de Kinderen, Sybren; Kaczmarek-Heß, Monika; Ma, Qin UL et al

Report (2021)

Detailed reference viewed: 42 (1 UL)
Full Text
See detailTOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS
Mouline, Ludovic UL

Doctoral thesis (2019)

Self-Adaptive Systems (SAS) optimise their behaviours or configurations at runtime in response to a modification of their environments or their behaviours. These systems therefore need a deep ... [more ▼]

Self-Adaptive Systems (SAS) optimise their behaviours or configurations at runtime in response to a modification of their environments or their behaviours. These systems therefore need a deep understanding of the ongoing situation which enables reasoning tasks for adaptation operations. Using the model-driven engineering (MDE) methodology, one can abstract this situation. However, information concerning the system is not always known with absolute confidence. Moreover, in such systems, the monitoring frequency may differ from the delay for reconfiguration actions to have measurable effects. These characteristics come with a global challenge for software engineers: how to represent uncertain knowledge that can be efficiently queried and to represent ongoing actions in order to improve adaptation processes? To tackle this challenge, this thesis defends the need for a unified modelling framework which includes, besides all traditional elements, temporal and uncertainty as first-class concepts. Therefore, a developer will be able to abstract information related to the adaptation process, the environment as well as the system itself. Towards this vision, we present two evaluated contributions: a temporal context model and a language for uncertain data. The temporal context model allows abstracting past, ongoing and future actions with their impacts and context. The language, named Ain’tea, integrates data uncertainty as a first-class citizen. [less ▲]

Detailed reference viewed: 109 (6 UL)
Full Text
Peer Reviewed
See detailTowards a More Semantically Transparent i* Visual Syntax
Genon, Nicolas; Caire, Patrice UL; Toussaint, Hubert et al

in Requirements Engineering: Foundation for Software Quality - Essen, Germany, March 19-22, 2012 (2012)

i* is one of the most popular modelling languages in Requirements Engineering. i* models are meant to support communication between technical and non-technical stakeholders about the goals of the future ... [more ▼]

i* is one of the most popular modelling languages in Requirements Engineering. i* models are meant to support communication between technical and non-technical stakeholders about the goals of the future system. Recent research has established that the effectiveness of model mediated communication heavily depends on the visual syntax of the modelling language. A number of flaws in the visual syntax of i* have been uncovered and possible improvements have been suggested. Producing effective visual notations is a complex task that requires taking into account various interacting quality criteria. In this paper, we focus on one of those criteria: Semantic Transparency, that is, the ability of notation symbols to suggest their meaning. Complementarily to previous research, we take an empirical approach. We give a preview of a series of experiments designed to identify a new symbol set for i* and to evaluate its semantic transparency. The reported work is an important milestone on the path towards cognitively effective requirements modelling notations. Although it does not solve all the problems in the i* notation, it illustrates the usefulness of an empirical approach to visual syntax definition. This approach can later be transposed to other quality criteria and other notations. [less ▲]

Detailed reference viewed: 129 (0 UL)