Search results for "Telecommunication"
showing 10 items of 1769 documents
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
Survey of Formal Verification Methods for Smart Contracts on Blockchain
2019
Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…
Predictive analysis of Cardiac Resynchronization Therapy response by means of the ECG
2016
Aims: Cardiac Resynchronization Therapy (CRT) is an effective treatment for heart failure patients with moderate to severe symptoms. Unfortunately, a significant proportion of patients (up to 35%) do not respond to CRT (patients called "non-responders"). This results in a large cost-effectiveness relation for heart failure treatment. This study aims to assess the prediction response to CRT by means of analysing the ECG. Methods: We retrospectively analysed the surface ECG and QRS previous to CRT implantation in 45 consecutive patients with dilated (27) or ischemic (18) cardiomyopathy. We extracted the QRS and then processed a measure of energy of a discrete version of the Stockwell Transfor…
Modeling software integration scenarios for telecommunications operations software vendors
2007
- Telecom operators deploy a vast number of software systems to support their operations. Vendors of these systems often integrate such software in their products in order to enable innovations, minimize the customer's integration efforts, etc. Different integration scenarios can be envisioned, and the issue of identifying more beneficial scenarios is of a great importance to the vendors. This paper focuses on analyzing different integration scenarios in the context of telecommunications operations software. For each scenario, the overall modularity of the set of software systems is evaluated, and the expected benefits of the scenario are modeled in terms of the modularity gain it provides.…
Bɪ-CомDᴇт: Community Detection in Bipartite Networks
2019
Abstract Extracting hidden communities from bipartite networks witnessed a determined effort. In this respect, different streams of research relied on bipartite networks to unveil communities. In this paper, we introduce a new approach, called Bi-Comdet, that aims to an efficient community detection in bipartite networks. The main trust of the introduced approach is that it stresses on the importance of grouping two types of nodes in communities having a full connection between its nodes. The quality of the unveiled communities, is assessed through some metrics borrowed from the FCA community, to wit modularity, overlapping and stability. These metrics are then aggregated through the use of…
Single quantum dot emission at telecom wavelengths from metamorphic InAs/InGaAs nanostructures grown on GaAs substrates
2011
3 figuras, 3 páginas.
Health Applications Based on Molecular Communications: A Brief Review
2019
This work analyses significant cases in which applications of molecular communication systems to nano/bio-hybrid medical field represent an ideal solution for medical therapies (e.g., for the treatment of diseases such as cancer). A review of the literature reveals that biocompatibility jointly with nanocommunication can be exploited to provide effective treatment of diseases and reduce side effects considerably when compared to conventional therapy. Biocompatibility avoids the immune response rejecting drugs and does not stimulate nerves, whereas nanocommunication is a promising technology that allows accessing small and delicate body sites non-invasively. Refereed/Peer-reviewed
Boolean operations mediated by an ion-pair receptor of a multi-readout molecular logic gate
2013
A heteroditopic BODIPY dye that performs all basic Boolean operations with a cation (K+) and an anion (F-) as inputs and absorption, transmission and fluorescence as outputs is described. The molecular logic gate can also act as a digital comparator between the inputs.
Learning From Errors: Detecting Cross-Technology Interference in WiFi Networks
2018
In this paper, we show that inter-technology interference can be recognized using commodity WiFi devices by monitoring the statistics of receiver errors. Indeed, while for WiFi standard frames the error probability varies during the frame reception in different frame fields (PHY, MAC headers, and payloads) protected with heterogeneous coding, errors may appear randomly at any point during the time the demodulator is trying to receive an exogenous interfering signal. We thus detect and identify cross-technology interference on off-the-shelf WiFi cards by monitoring the sequence of receiver errors (bad PLCP, bad FCS, invalid headers, etc.) and propose two methods to recognize the source of in…
CODING PARTITIONS OF REGULAR SETS
2009
A coding partition of a set of words partitions this set into classes such that whenever a sequence, of minimal length, has two distinct factorizations, the words of these factorizations belong to the same class. The canonical coding partition is the finest coding partition that partitions the set of words in at most one unambiguous class and other classes that localize the ambiguities in the factorizations of finite sequences. We prove that the canonical coding partition of a regular set contains a finite number of regular classes and we give an algorithm for computing this partition. From this we derive a canonical decomposition of a regular monoid into a free product of finitely many re…