Last 7 days
Bookmark and Share    
Full Text
See detailWohnmobilität in der Großregion – eine interurbane Diskursanalyse mit Fokus auf den Städten Arlon, Thionville und Trier.
Christmann, Nathalie UL

Doctoral thesis (2017)

Effects of residential mobility moulding in uneven development in border regions can be perceived very differently by city councils or planners and the local population. This dissertation focuses on the ... [more ▼]

Effects of residential mobility moulding in uneven development in border regions can be perceived very differently by city councils or planners and the local population. This dissertation focuses on the perceptions of population mobility and dwelling in a transnational cross-border polycentric region in western Europe. The economic development of the Grand Duchy of Luxembourg calls for a constant expansion of the labour market, attracting cross-border commuters and highly mobile professional elites. The concomitant rises in property prices as well as the extreme housing shortages in Luxembourg have led to an expansion of the housing market into the border regions. So far studies have mostly dealt with the socio-demographic characteristics of the transmigrants. This research aims to detect people’s perceptions of the phenomenon by applying a discourse analysis, thus aiming to trigger an increasing awareness for the emerging transnational housing market. [less ▲]

See detailGCAI 2017: 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017
Benzmüller, Christoph UL; Lisetti, Christine; Theobald, Martin UL

Scientific Conference (2017, October 18)

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailSecrecy Analysis of Random Wireless Networks with Multiple Eavesdroppers
Vuppala, Satyanarayana UL; Chatzinotas, Symeon UL; Ottersten, Björn UL

in Proc. of IEEE Inter. Symp. on Personal, Indoor and Mobile Radio Communications (PIMRC), Montreal, Canada (2017)

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailIntelligent Gaming for Mobile Crowd-Sensing Participants to Acquire Trustworthy Big Data in the Internet of Things
Pouryazdan, Maryam; Fiandrino, Claudio; Kantarci, Burak et al

in IEEE Access (2017), 5

In mobile crowd-sensing systems, the value of crowd-sensed big data can be increased by incentivizing the users appropriately. Since data acquisition is participatory, crowd-sensing systems face the ... [more ▼]

In mobile crowd-sensing systems, the value of crowd-sensed big data can be increased by incentivizing the users appropriately. Since data acquisition is participatory, crowd-sensing systems face the challenge of data trustworthiness and truthfulness assurance in the presence of adversaries whose motivation can be either manipulating sensed data or collaborating unfaithfully with the motivation of maximizing their income. This paper proposes a game theoretic methodology to ensure trustworthiness in user recruitment in mobile crowd-sensing systems. The proposed methodology is a platform-centric framework that consists of three phases: user recruitment, collaborative decision making on trust scores, and badge rewarding. In the proposed framework, users are incentivized by running sub-game perfect equilibrium and gami cation techniques. Through simulations, we showthat approximately 50% and a minimum of 15% improvement can be achieved by the proposed methodology in terms of platform and user utility, respectively, when compared with fully distributed and user-centric trustworthy crowd-sensing. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailHeterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
Brau, Guillaume UL; Navet, Nicolas UL; Hugues, Jérôme

in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)

The development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as ... [more ▼]

The development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as timing properties, on the other hand. Yet, the coupling between models and analyses remains largely disregarded so far: e.g., how to apply an analysis on a model? How to manage the analysis process? This paper presents an application of our research on this topic. In particular, we show that our approach makes it possible to combine heterogeneous models and analyses in the design of an avionic system. We use two languages to model the system at different levels of abstraction: the industry standard AADL (Architecture Analysis and Design Language) and the more recent implementation-oriented CPAL language (Cyber-Physical Action Language). We then combine different real-time scheduling analyses so as to gradually define the task and network parameters and finally validate the schedulability of all activities of the system. [less ▲]

Detailed reference viewed: 5 (1 UL)
Full Text
Peer Reviewed
See detailEnclave-Based Privacy-Preserving Alignment of Raw Genomic Information
Volp, Marcus UL; Decouchant, Jérémie UL; Lambert, Christoph UL et al

Scientific Conference (2017, October)

Recent breakthroughs in genomic sequencing led to an enormous increase of DNA sampling rates, which in turn favored the use of clouds to e ciently process huge amounts of genomic data. However, while ... [more ▼]

Recent breakthroughs in genomic sequencing led to an enormous increase of DNA sampling rates, which in turn favored the use of clouds to e ciently process huge amounts of genomic data. However, while allowing possible achievements in personalized medicine and related areas, cloud-based processing of genomic information also entails signi cant privacy risks, asking for increased protection. In this paper, we focus on the rst, but also most data-intensive, processing step of the genomics information processing pipeline: the alignment of raw genomic data samples (called reads) to a synthetic human reference genome. Even though privacypreserving alignment solutions (e.g., based on homomorphic encryption) have been proposed, their slow performance encourages alternatives based on trusted execution environments, such as Intel SGX, to speed up secure alignment. Such alternatives have to deal with data structures whose size by far exceeds secure enclave memory, requiring the alignment code to reach out into untrusted memory. We highlight how sensitive genomic information can be leaked when those enclave-external alignment data structures are accessed, and suggest countermeasures to prevent privacy breaches. The overhead of these countermeasures indicate that the competitiveness of a privacy-preserving enclavebased alignment has yet to be precisely evaluated. [less ▲]

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailComputer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Benzmüller, Christoph UL; Fuenmayor, David

in Archive of Formal Proofs (2017)

Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by ... [more ▼]

Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method. [less ▲]

Detailed reference viewed: 6 (0 UL)
See detailWeakly Inscribed Polyhedra
chen, hao; Schlenker, Jean-Marc UL

E-print/Working paper (2017)

Detailed reference viewed: 10 (0 UL)
See detailNotes on the Schwarzian tensor and measured foliations at infinity of quasifuchsian manifolds.
Schlenker, Jean-Marc UL

E-print/Working paper (2017)

The boundary at infinity of a quasifuchsian hyperbolic manifold is equiped with a holomorphic quadratic differential. Its horizontal measured foliation $f$ can be interpreted as the natural analog of the ... [more ▼]

The boundary at infinity of a quasifuchsian hyperbolic manifold is equiped with a holomorphic quadratic differential. Its horizontal measured foliation $f$ can be interpreted as the natural analog of the measured bending lamination on the boundary of the convex core. This analogy leads to a number of questions. We provide a variation formula for the renormalized volume in terms of the extremal length $\ext(f)$ of $f$, and an upper bound on $\ext(f)$. \par We then describe two extensions of the holomorphic quadratic differential at infinity, both valid in higher dimensions. One is in terms of Poincar\'e-Einstein metrics, the other (specifically for conformally flat structures) of the second fundamental form of a hypersurface in a "constant curvature" space with a degenerate metric, interpreted as the space of horospheres in hyperbolic space. This clarifies a relation between linear Weingarten surfaces in hyperbolic manifolds and Monge-Amp\`ere equations. Notes aiming at clarifying the relations between different points of view and introducing one new notion, no real result. Not intended to be submitted at this point [less ▲]

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailMeasuring data locality ratio in virtual MapReduce cluster using WorkflowSim
Wangsom, Peerasak; Lavangnananda, Kittichai; Bouvry, Pascal UL

in International Joint Conference on Computer Science and Software Engineering (JCSSE), 2017 14th (2017)

The data locality is significant factor which has a direct impact on the performance of MapReduce framework. Several previous works have proposed alternative scheduling algorithms for improving the ... [more ▼]

The data locality is significant factor which has a direct impact on the performance of MapReduce framework. Several previous works have proposed alternative scheduling algorithms for improving the performance by increasing data locality. Nevertheless, their studies had focused the data locality on physical MapReduce cluster. As more and more deployment of MapReduce cluster have been on virtual environment, a more suitable evaluation of MapReduce cluster may be necessary. This study adopts a simulation based approach. Five scheduling algorithms were used for the simulation. WorkflowSim is extended by inclusion of three implemented modules to assess the new performance measure called `data locality ratio'. Comparison of their results reveals interesting findings. The proposed implementation can be used to assess `data locality ratio' and allows users prior to efficiently select and tune scheduler and system configurations suitable for an environment prior to its actual physical MapReduce deployment. [less ▲]

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailCAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation
Cena, Gianluca; Cibrario Bertolotti, Ivan; Hu, Tingting UL et al

in IEEE Transactions on Industrial Informatics (2017), 13(5), 2436-2446

Controller area network (CAN) has been the de facto standard in the automotive industry for the past two decades. Recently, CAN with flexible data-rate (CAN FD) has been standardized, which achieves ... [more ▼]

Controller area network (CAN) has been the de facto standard in the automotive industry for the past two decades. Recently, CAN with flexible data-rate (CAN FD) has been standardized, which achieves noticeably higher throughput. Further improvements are still possible for CAN, by exploiting its peculiar physical layer to carry out distributed operations among network nodes, implemented as atomic transactions mapped on quasi-conventional frame exchanges. In this paper, a proposal is made for an extension to the CAN protocol, termed CAN with eXtensible in-frame Reply (CAN XR), which enables upper protocol layers to define new custom services devoted to, e.g., network management, application-specific functions, and high-efficiency data transfer. The key point is that CAN XR retains full backward compatibility with CAN, therefore, there is no need to change the protocol specification once again. [less ▲]

Detailed reference viewed: 10 (1 UL)
Full Text
Peer Reviewed
See detailReal-Time Virtual Network Function (VNF) Migration toward Low Network Latency in Cloud Environments
Cho, Daewoong; Taheri, Javid; Zomaya, Albert Y. et al

in IEEE 10th International Conference on Cloud Computing - Cloud 2017 (2017)

Network Function Virtualization (NFV) is an emerging network architecture to increase flexibility and agility within operator's networks by placing virtualized services on demand in Cloud data centers ... [more ▼]

Network Function Virtualization (NFV) is an emerging network architecture to increase flexibility and agility within operator's networks by placing virtualized services on demand in Cloud data centers (CDCs). One of the main challenges for the NFV environment is how to minimize network latency in the rapidly changing network environments. Although many researchers have already studied in the field of Virtual Machine (VM) migration and Virtual Network Function (VNF) placement for efficient resource management in CDCs, VNF migration problem for low network latency among VNFs has not been studied yet to the best of our knowledge. To address this issue in this article, we i) formulate the VNF migration problem and ii) develop a novel VNF migration algorithm called VNF Real-time Migration (VNF-RM) for lower network latency in dynamically changing resource availability. As a result of experiments, the effectiveness of our algorithm is demonstrated by reducing network latency by up to 70.90% after latency-aware VNF migrations. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailLoad-Aware Strategies for Cloud-Based VoIP Optimization with VM Startup Prediction
Cortes-Mendoza, Jorge M.; Tchernykh, Andrei; Feoktistov, Alexander et al

in IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2017 (2017)

In this paper, we address cloud VoIP scheduling strategies to provide appropriate levels of quality of service to users, and cost to VoIP service providers. This bi-objective focus is reasonable and ... [more ▼]

In this paper, we address cloud VoIP scheduling strategies to provide appropriate levels of quality of service to users, and cost to VoIP service providers. This bi-objective focus is reasonable and representative for real installations and applications. We conduct comprehensive simulation on real data of twenty three on-line non-clairvoyant scheduling strategies with fixed threshold of utilization to request VMs, and twenty strategies with dynamic prediction of the load. We show that our load-aware with predictions strategies outperform the known ones providing suitable quality of service and lower cost. The robustness of these strategies is also analyzed varying VM startup time delays to deal with realistic VoIP cloud environments. [less ▲]

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailAn online parallel algorithm for recursive estimation of sparse signals
Yang, Yang UL; Marius, Pesavento; Mengyi, Zhang et al

in IEEE Transactions on Signal and Information Processing over Networks (2017), 2(3), 290-305

Peer Reviewed
See detailLa régulation des émotions pendant le processus de médiation
Cabeza Alcina, Esther; Houssemand, Claude UL

Scientific Conference (2017, May)

Detailed reference viewed: 10 (0 UL)
Peer Reviewed
See detailIngénierie de la médiation. Exemple d’une action de médiation communautaire en Afrique
Serra, Lurdes; Houssemand, Claude UL

Scientific Conference (2017, May)

Detailed reference viewed: 10 (0 UL)
Peer Reviewed
See detailAre the mediators more emotionnaly competent than ordinary people?
Pignault, Anne UL; Houssemand, Claude UL

Scientific Conference (2017, May)

Detailed reference viewed: 3 (0 UL)