![]() Vitello, Piergiorgio ![]() ![]() ![]() in IEEE Global Communications Conference (GLOBECOM), Abu Dhabi, UAE, 2018 (2018, December) The huge increase of population living in cities calls for a sustainable urban development. Mobile crowdsensing (MCS) leverages participation of active citizens to improve performance of existing sensing ... [more ▼] The huge increase of population living in cities calls for a sustainable urban development. Mobile crowdsensing (MCS) leverages participation of active citizens to improve performance of existing sensing infrastructures. In typical MCS systems, sensing tasks are allocated and reported on individual-basis. In this paper, we investigate on collaboration among users for data delivery as it brings a number of benefits for both users and sensing campaign organizers and leads to better coordination and use of resources. By taking advantage from proximity, users can employ device-to-device (D2D) communications like Wi-Fi Direct that are more energy efficient than 3G/4G technology. In such scenario, once a group is set, one of its member is elected to be the owner and perform data forwarding to the collector. The efficiency of forming groups and electing suitable owners defines the efficiency of the whole collaborative-based system. This paper proposes three policies optimized for MCS that are compliant with current Android implementation of Wi-Fi Direct. The evaluation results, obtained using CrowdSenSim simulator, demonstrate that collaborative-based approaches outperform significantly individual-based approaches. [less ▲] Detailed reference viewed: 265 (22 UL)![]() Arcuri, Andrea ![]() in Information and Software Technology (2018), 104(December), 195-206 Context: Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g, statements to execute or mutants to kill) is an objective on its own. Test ... [more ▼] Context: Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g, statements to execute or mutants to kill) is an objective on its own. Test suite generation has peculiarities that are quite different from other more regular optimisation problems. For example, given an existing test suite, one can add more tests to cover the remaining objectives. One would like the smallest number of small tests to cover as many objectives as possible, but that is a secondary goal compared to covering those targets in the first place. Furthermore, the amount of objectives in software testing can quickly become unmanageable, in the order of (tens/hundreds of) thousands, especially for system testing of industrial size systems. Objective: To overcome these issues, different techniques have been proposed, like for example the Whole Test Suite (WTS) approach and the Many-Objective Sorting Algorithm (MOSA). However, those techniques might not scale well to very large numbers of objectives and limited search budgets (a typical case in system testing). In this paper, we propose a novel algorithm, called Many Independent Objective (MIO) algorithm. This algorithm is designed and tailored based on the specific properties of test suite generation. Method: An empirical study was carried out for test suite generation on a series of artificial examples and seven RESTful API web services. The \evo system test generation tool was used, where MIO, MOSA, WTS and random search were compared. Results: The presented MIO algorithm resulted having the best overall performance, but was not the best on all problems. Conclusion: The novel presented MIO algorithm is a step forward in the automation of test suite generation for system testing. However, there are still properties of system testing that can be exploited to achieve even better results. [less ▲] Detailed reference viewed: 175 (25 UL)![]() Pantazatou, Aikaterini ![]() in Kritische Vierteljahresschrift für Gesetzgebung und Rechtswissenschaft (2018) Detailed reference viewed: 187 (5 UL)![]() Leon, Florian ![]() in Pacific-Basin Finance Journal (2018), 52 The recent expansion of Islamic banks raises questions on its economic implications. The aim of this paper is to investigate the impact of Islamic banking development on access to credit. We combine data ... [more ▼] The recent expansion of Islamic banks raises questions on its economic implications. The aim of this paper is to investigate the impact of Islamic banking development on access to credit. We combine data from a unique hand-collected database that covers Islamic banks with firm-level data covering developing and emerging countries over the period of 2006 to 2009. We find that Islamic banking development has overall no impact on credit constraints, while banking development and conventional banking development alleviate obstacles to financing. However Islamic banking development exerts a positive impact on access to credit when conventional banking development is low. Hence we support the view that Islamic banking does not overall alleviate obstacles to financing, but it can act as substitute to conventional banking. [less ▲] Detailed reference viewed: 261 (8 UL)![]() Terzidou, Kalliopi ![]() in Hellenic Review of European Law (2018) Detailed reference viewed: 16 (2 UL)![]() Camarda, Sandra ![]() in Mutations. Mémoires et Perspectives du Bassin Minier (2018), (10), 161-167 Detailed reference viewed: 79 (17 UL)![]() Ferreira Torres, Christof ![]() ![]() in 34th Annual Computer Security Applications Conference (ACSAC ’18), San Juan, Puerto Rico, USA, December 3-7, 2018 (2018, December) The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed ... [more ▼] The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed once deployed to the blockchain. They typically implement the business logic of distributed apps and carry billions of dollars worth of coins. In that respect, it is imperative that smart contracts are correct and have no vulnerabilities or bugs. However, research has identified different classes of vulnerabilities in smart contracts, some of which led to prominent multi-million dollar fraud cases. In this paper we focus on vulnerabilities related to integer bugs, a class of bugs that is particularly difficult to avoid due to some characteristics of the Ethereum Virtual Machine and the Solidity programming language. In this paper we introduce Osiris – a framework that combines symbolic execution and taint analysis, in order to accurately find integer bugs in Ethereum smart contracts. Osiris detects a greater range of bugs than existing tools, while providing a better specificity of its detection. We have evaluated its performance on a large experimental dataset containing more than 1.2 million smart contracts. We found that 42,108 contracts contain integer bugs. Be- sides being able to identify several vulnerabilities that have been reported in the past few months, we were also able to identify a yet unknown critical vulnerability in a couple of smart contracts that are currently deployed on the Ethereum blockchain. [less ▲] Detailed reference viewed: 594 (20 UL)![]() Eckelt, Melanie ![]() ![]() ![]() Scientific Conference (2018, December) Detailed reference viewed: 120 (32 UL)![]() ; Schafer, Valerie ![]() in Brügger, Niels; Milligan, Ian (Eds.) The SAGE Handbook of Web History FIRST EDITION (2018) This chapter seeks to show the value of a relational, practice-oriented approach – what in STS vocabulary is called ‘unpacking black boxes’, or doing a sociology ‘of assemblages’. The chapter examines how ... [more ▼] This chapter seeks to show the value of a relational, practice-oriented approach – what in STS vocabulary is called ‘unpacking black boxes’, or doing a sociology ‘of assemblages’. The chapter examines how this approach can shed light on the hybrid mobilizations of innovators, consumers, users and entrepreneurs – alongside their creations and cultures – that have made the Web the complex socio-technical system it is today. [less ▲] Detailed reference viewed: 151 (5 UL)![]() Huang, Haiqin ![]() ![]() in Proceedings in Applied Mathematics and Mechanics (2018), 18(1), The initial setting of fresh concrete is mainly caused by the dissolution of cement grains and the precipitation of calcium-silicate-hydrates during cement hydration. Progressing hydration drives the ... [more ▼] The initial setting of fresh concrete is mainly caused by the dissolution of cement grains and the precipitation of calcium-silicate-hydrates during cement hydration. Progressing hydration drives the transition from a dense suspension to a porous solid phase. Fresh mixture of self-compacting concrete (SCC) can be considered as a phase-changing multi-component material and can be described as a continuum at the macro scale, interacting with a set of transport-reaction-diffusion processes which in turn are driven by phenomena at the level of the microstructure. This contribution focuses on a predictive model for the setting of fresh SCC where the liquid-solid phase transition is captured by a phase-field variable using the Ginzburg-Landau type free energy function. Hydration-related chemical reactions together with heat and mass transfer are volume coupled with the mechanical behaviour and determined by the environmental conditions. The weak form of the predictive model is discretised using the finite element method and implemented with the FEniCS computational framework. [less ▲] Detailed reference viewed: 132 (9 UL)![]() Clavert, Frédéric ![]() in Le Temps des Médias (2018) Depuis leur émergence au milieu des années 2000, les réseaux sociaux numériques favorisent et provoquent une accélération de la circulation des informations, les transformant en médias à part entière ... [more ▼] Depuis leur émergence au milieu des années 2000, les réseaux sociaux numériques favorisent et provoquent une accélération de la circulation des informations, les transformant en médias à part entière. Leurs moyens et leur infrastructure techniques autorisent leurs membres à participer non seulement à la diffusion mais également à la création et à la mise en forme de ces informations. Si la (relative) nouveauté des technologies et infrastructures utilisées par les réseaux sociaux numériques est bien documentée, celle des pratiques des utilisateurs/acteurs de ces services dans les modes d’émergence et de circulation de l’information l’est moins. Ce dossier du Temps des médias souhaite mettre au centre de sa démarche une série de questionnements touchant à l’interaction entre (nouvelles) technologies, rythmes ou formats de l’information et (nouveaux) acteurs. Si le cas des réseaux sociaux numériques est considéré comme emblématique de nouveaux modèles de production et de circulation des informations, ce dossier s’appuie sur des approches diachroniques qui permettent ainsi de réintroduire une pluralité de temporalités dans l’étude des réseaux sociaux numériques. [less ▲] Detailed reference viewed: 188 (10 UL)![]() Pauly, Michel ![]() in Zeitschrift für Historische Forschung (2018), 45(3), 507-509 Detailed reference viewed: 83 (2 UL)![]() ![]() Leist, Anja ![]() Scientific Conference (2018, December) Detailed reference viewed: 94 (2 UL)![]() Schafer, Valerie ![]() in Brügger, Niels; Milligan, Ian (Eds.) The SAGE Handbook of Web History FIRST EDITION (2018) The presence now of the Web in every area of life demands studies which constitute it simultaneously both as itself a contextualising object and as anchored in a context. Contextualising because today it ... [more ▼] The presence now of the Web in every area of life demands studies which constitute it simultaneously both as itself a contextualising object and as anchored in a context. Contextualising because today it directly influences an infinite number of objects, which can no longer be studied without taking account of their echoes online. In transmedia dynamics in particular, we can see how the Web is increasingly becoming an ever-present backdrop to controversies, to the configuration of information and even to interpersonal relationships. Equally, the Web must find its own contextualisation, first of all – since we are historians – from a diachronic perspective. The first challenge is not to remain within the limits set by the technology itself. This twofold approach (the Web in context and the Web as context) suggests how focused we need to be on the construction of an ever-changing socio-technical reality – a return to a totalising, process-focused history which takes account of ongoing developments. We should resist the effects of any discourse tending to fix realities or establish, in hieratic or metonymic fashion, an image of ‘THE’ Web. The present analysis falls into three main sections, which interrogate, in turn, the diachronic or temporal contextualisation, the boundaries or spatial contextualisation, and finally collective and individual experiences of the Web. [less ▲] Detailed reference viewed: 135 (6 UL)![]() Wilmes, Paul ![]() Scientific Conference (2018, December) Detailed reference viewed: 100 (9 UL)![]() ![]() Krivochiza, Jevgenij ![]() ![]() ![]() Scientific Conference (2018, December) We present a convex optimization based Symbol-Level Precoding (SLP) for sum power minimization and propose the low-latency closed-form algorithm to find a heuristic solution to the optimization problem ... [more ▼] We present a convex optimization based Symbol-Level Precoding (SLP) for sum power minimization and propose the low-latency closed-form algorithm to find a heuristic solution to the optimization problem. The technique exploits constructive interference at the multi-user MIMO systems and minimizes the sum power of the transmitted precoded signal per each symbol slot. As a result, the received signals gain extra Signal-to-Noise Ratio (SNR), which leads to the improved data rate and energy efficiency. We benchmark the low-complexity algorithm for solving the optimization technique against the conventional Fast Non-Negative Least Squares algorithm (NNLS). The demonstrated design of the SLP technique combined with the proposed closed-form algorithm has low computational complexity and fast processing time, which is applicable in low-latency high-throughput satellite communication systems. [less ▲] Detailed reference viewed: 200 (25 UL)![]() Conac, Pierre-Henri ![]() in Revue des Sociétés (2018) Detailed reference viewed: 104 (5 UL)![]() Terzidou, Kalliopi ![]() in Hellenic Review of European Law (2018) Detailed reference viewed: 13 (0 UL)![]() ; Schafer, Valerie ![]() in Enjeux numériques (2018), (4), De la gouvernance d’Internet à celle du Web mais aussi de ses archives, en passant par la gouvernance de Wikipedia, de l’Internet des objets, ou encore, par la neutralité du Net, cette contribution ... [more ▼] De la gouvernance d’Internet à celle du Web mais aussi de ses archives, en passant par la gouvernance de Wikipedia, de l’Internet des objets, ou encore, par la neutralité du Net, cette contribution témoigne de multiples déclinaisons. Si la gouvernance peut être pensée au pluriel et à plusieurs échelles, de la donnée au « réseau des réseaux », dans cet article, nous montrerons aussi la nuance qu’apporte la notion de « gouvernementalité » pour saisir, en théorie comme en pratique, les manières de faire et d’agir dans les environnements numériques. [less ▲] Detailed reference viewed: 110 (7 UL)![]() Krüger, Rejko ![]() in Journal of Parkinson's Disease (2018) [en] Current best medical treatment for patients with Parkinson’s disease (PD) involves a medical professional who applies state-of-the-art knowledge of diagnostics and treatment— as derived from cohort ... [more ▼] [en] Current best medical treatment for patients with Parkinson’s disease (PD) involves a medical professional who applies state-of-the-art knowledge of diagnostics and treatment— as derived from cohort studies and clinical trials— to the healthcare process of individual patients. Thus, the much-needed personalization of medicine depends on the abilities, experience and intuition of medical professionals to adjust group-based knowledge to individual decision making. Within 20 years from now, such personal clinical decisions will be largely supported by digital means, also defining a new ecosystem of healthcare often referred to as “digital medicine”. We expect that the next phase of digitalization will include new “digital health pathways”: data-driven personalized decision support that is based on a combination of multimodal data sources, including evidence-based medical knowledge (e.g., clinical guidelines), personal disease profiles (including genetic determinants of disease progression and treatment response), insights into individual disease trajectories (thereby defining subgroups of patients) and individual patients’ needs. Here, we illustrate the potential of this development by sketching the contours of a digitally supported care pathway for gait disability and falls. Such digital health pathways will support the introduction of personalized medicine for PD patients, allowing patients to benefit optimally from individually tailored treatments. This should result in a better quality of life for patients and lower costs for society. [less ▲] Detailed reference viewed: 77 (0 UL) |
||