Last 7 days
Bookmark and Share    
Full Text
See detailA Product Line of Software Engineering Project Courses
Guelfi, Nicolas UL; Capozucca, Alfredo UL; Ries, Benoît UL

Poster (2017, November 08)

Detailed reference viewed: 7 (1 UL)
Full Text
Peer Reviewed
See detailInsights on the performance and configuration of AVB and TSN in automotive applications
Navet, Nicolas UL; Villanueva, Josetxo; Migge, Jörn et al

Scientific Conference (2017, November 01)

Switched Ethernet is profoundly reshaping in-car communications. To meet the diverse real-time requirements in automotive communications, Quality-of-Service protocols that go beyond the mere use of ... [more ▼]

Switched Ethernet is profoundly reshaping in-car communications. To meet the diverse real-time requirements in automotive communications, Quality-of-Service protocols that go beyond the mere use of priorities are required. In this work, the basic questions that we investigate on a case-study with diverse and demanding communication requirements is what can we expect from the various protocols aimed at providing a better timing Quality of Service on top of Ethernet? And how to use them? Especially how to use them in a combined manner. We will focus on the Credit-Based Shaper of AVB, the Time-Aware Shaper of TSN and the use of priorities as defined in IEEE802.1Q. The performance metrics considered are the distributions of the communication latencies, obtained by simulation, as well as upper bounds on these quantities obtained by worst-case schedulability analysis. If there have been over the last 5 years numerous studies on the performance of AVB CBS, the literature on comparing AVB to TSN and other candidate protocols is still sparse. To the best of our knowledge, this empirical study is the first to consider most protocols currently considered in the automotive domain, with the aim to gain insights into the different technological, design and configurations alternatives. In particular, an objective of this study is to identify key problems that need to be solved in order to further automate network design and configuration. [less ▲]

Detailed reference viewed: 7 (1 UL)
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 ▲]

Detailed reference viewed: 13 (7 UL)
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: 12 (0 UL)
See detailArt as an Investment
Nasser Eddine, Ali UL

Doctoral thesis (2017)

During the 1970s and 1980s, the art markets gave abnormal returns. Individuals started speculating on art prices, and institutional investors soon entered the scene. Economists then began evaluating this ... [more ▼]

During the 1970s and 1980s, the art markets gave abnormal returns. Individuals started speculating on art prices, and institutional investors soon entered the scene. Economists then began evaluating this new alternative asset class. In this thesis, we review global art markets, analyze the methodologies employed for studying art as an investment, and seek answers to some fundamental questions. To build solid conclusions, we developed the largest up-to-date dataset of repeat sales of art objects. Our main additional contributions to the literature can be summarized as follows. First, we review and explain the growth in international art markets. Second, we show that it is unreasonable to make a comparison between the two main methodologies used for studying the investment perspective of art: the repeat-sales and hedonic regression frameworks. The returns estimated using the hedonic approach depend greatly on the specifications of the model. Thus, we find that of the two, the repeat-sales models are the most robust. Third, we study the returns on art after accounting for transaction costs. Importantly, we show that taking this fair view renders impractical the widely used art-investment measurement methodologies. Fourth, we revisit the “masterpiece effect”, and find strong evidence supporting its existence. Fifth, we investigate the potential of art investment. We find that the inclusion of art in an optimal portfolio depends significantly on the abnormal returns seen in the 1980s. Omitting these years leads to its exclusion. However, art may add a diversification benefit to an investment portfolio due to its low-to-negative correlation with other asset classes. Sixth, we analyze the optimal holding period of art and find that, in general, the returns increase with the length of the holding period. Nevertheless, we observe significant returns, accompanied with high levels of volatility, for trades made over very short time horizons. We notice that this “flipping” practice has been increasing in recent decades. Finally, we consider the effect some special cases have on art investment returns. We find that artworks that trade frequently tend not to outperform the market. Moreover, the nature of an artwork’s ownership history doesn’t alter returns. We also examine the returns on artworks selected by experts, and find that, surprisingly, they underperform. [less ▲]

Detailed reference viewed: 13 (5 UL)
See detailLa compétence d'incrimination de l'Union européenne. Recherche sur le pouvoir pénal européen
Simon, Perrine UL

Doctoral thesis (2017)

The allocation by the Lisbon Treaty of a genuine criminalisation competence to the Union – article 83 TFEU – prompts the analysis of the existence and the exercice of European criminal law power. It ... [more ▼]

The allocation by the Lisbon Treaty of a genuine criminalisation competence to the Union – article 83 TFEU – prompts the analysis of the existence and the exercice of European criminal law power. It raises the question of the promotion, through criminalisation choices, of essential values to the community. Analysing the criminal law power is interconnected to the question about the nature of the European project as a whole, true existential space of society (ethos) or simple functional space comprised of objectives (telos). Despite the aspiration to clarify the delimitation of European penal power within the new treaty, its ambit remains unclear. An implicit criminalisation competence – an implied criminal law power – could still exist, allowing to overcome the minimum harmonisation provided for by article 83 TFEU. To admit such an implied power would mean revive competence creep. The exercice of the criminalisation competence is progressively framed, beyond the classical principles of subsidiarity and proportionality, by the criminal law principles of ultima ratio as well as the principles of legality and proportionality of criminal offences and penalties expressed in the Charter of fundamental rights. However, these principles have not been taken into account according to the actions of the legislator who appear to follow a securitarian trend. It is to the Court, through an in-depth proportionality check, to determine if the Charter can become the marker of criminal law policy characterised by its moderation and liberalism, and henceforth contribute to a European criminal law identity. [less ▲]

Detailed reference viewed: 12 (3 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 Proceeding of IEEE Inter. Symp. on Personal, Indoor and Mobile Radio Communications (PIMRC), Montreal, Canada (2017)

Detailed reference viewed: 11 (2 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 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: 15 (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: 6 (1 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: 8 (1 UL)
Full Text
Peer Reviewed
See detailTailored Approaches in Drug Development and Diagnostics: From Molecular Design to Biological Model Systems
Sahlgren, C; Meinander, A; Zhang, H et al

in Advanced Healthcare Materials (2017)

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)
Peer Reviewed
See detailHomothetic Scaling of Urban Land Use and Population Density Gradients in Monocentric Models
Delloye, Justin; Lemoy, Rémi UL; Caruso, Geoffrey UL

Scientific Conference (2017, September)

Detailed reference viewed: 7 (0 UL)
Peer Reviewed
See detailEvidence for the homothetic scaling of urban forms
Lemoy, Rémi UL; Caruso, Geoffrey UL

Scientific Conference (2017, September)

Detailed reference viewed: 8 (0 UL)
Full Text
Peer Reviewed
See detailFourQ on Embedded Devices with Strong Countermeasures Against Side-Channel Attacks
Liu, Zhe UL; Longa, Patrick; Pereira, Geovandro et al

in Homma, Naofumi; Fischer, Wieland (Eds.) International Conference on Cryptographic Hardware and Embedded Systems - CHES2017 (2017, August 25)

Detailed reference viewed: 17 (13 UL)
Full Text
Peer Reviewed
See detailMultiprecision Multiplication on ARMv8
Liu, Zhe UL; Järvinen, Kimmo; Liu, Weiqiang et al

in IEEE 24th Symposium on Computer Arithmetic - ARITH24 (2017, August 01)

Detailed reference viewed: 5 (1 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 detailHidden-Token Searchable Public-Key Encryption
Zuo, Cong; Shao, Jun; Liu, Zhe UL et al

in The 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - IEEE TrustCom-17 (2017, August)

Detailed reference viewed: 6 (0 UL)