Cross-layer distributed power control: A repeated games formulation to improve the sum energy-efficiency

The main objective of this work is to improve the energy-efficiency (EE) of a multiple access channel (MAC) system, through power control, in a distributed manner. In contrast with many existing works on energy-efficient power control, which ignore the possible presence of a queue at the transmitter, we consider a new generalized cross-layer EE metric. This approach is relevant when the transmitters have a non-zero energy cost even when the radiated power is zero and takes into account the presence of a finite packet buffer and packet arrival at the transmitter. As the Nash equilibrium (NE) is an energy-inefficient solution, the present work aims at overcoming this deficit by improving the global energy-efficiency. Indeed, as the considered system has multiple agencies each with their own interest, the performance metric reflecting the individual interest of each decision maker is the global energy-efficiency defined then as the sum over individual energy-efficiencies. Repeated games (RG) are investigated through the study of two dynamic games (finite RG and discounted RG), whose equilibrium is defined when introducing a new operating point (OP), Pareto-dominating the NE and relying only on individual channel state information (CSI). Accordingly, closed-form expressions of the minimum number of stages of the game for finite RG (FRG) and the maximum discount factor of the discounted RG (DRG) were established. The cross-layer model in the RG formulation leads to achieving a shorter minimum number of stages in the FRG even for higher number of users. In addition, the social welfare (sum of utilities) in the DRG decreases slightly with the cross-layer model when the number of users increases while it is reduced considerably with the Goodman model. Finally, we show that in real systems with random packet arrivals, the cross-layer power control algorithm outperforms the Goodman algorithm.Comment: 36 pages, single column draft forma

Spondylodiscite tuberculeuse : 12 ans d'expérience dans un centre hospitalier en Tunisie

Objectifs : Décrire les particularités épidémiologiques, cliniques et paracliniques des spondylodiscites tuberculeuses et déterminer les facteurs prédictifs d’une évolution défavorable. Patients et Méthode: Etude rétrospective sur une période de 12 ans. Le diagnostic a été porté sur des preuves bactériologiques, anatomopathologiques ou sur un faisceau d’arguments. Résultats : Il s’agissait de 49 patients (26F/23H), âgés en moyenne de 51,84 ans. Le délai moyen de diagnostic était de 6,65 mois. Un facteur prédisposant à l’infection a été relevé chez 38,7% des patients. L’étage lombaire était le plus touché (67,3%). L’imagerie par résonnance magnétique était pathologique dans tous les cas où elle a été effectuée. Le diagnostic de certitude a été porté dans 9 cas sur une preuve histologique. La ponction biopsie disco-vertébrale a permis de confirmer le diagnostic dans 6/36 cas. Tous les patients ont reçu un traitement anti-tuberculeux d’une durée moyenne de 13,59 mois associé à un geste interventionnel dans 8 cas. L’évolution était favorable dans 84,2% des cas. Nous avons identifiés quatre facteurs prédictifs d’une évolution défavorable: une hyperleucocytose initiale ≥11500 éléments/mm3 (p=0,031), la présence d’abcès ou de collection à l’imagerie (p=0,018); un tassement vertébral à l’IRM (p=0,018) et l’existence de déformation osseuse avant correction chirurgicale (p<0,001). Conclusion: La spondylodiscite tuberculeuse devrait être suspectée devant toute rachialgie inflammatoire. Une prise en charge précoce est la clé pour éviter les complications neurologiques et ostéo-articulaires

Big data Empowered Logistics Services Platform

Logistics section is one of the most important industrial sections to contribute to European economy. To improving efficiency and energy efficient of logistics, European Commission call new research theme ‘smart, green and integrated transport’ in its H2020 program. The paper presents a version on providing a cloud based platform for supporting big data empowered logistics services to respond this call. The research is supported by inter-disciplinary approaches, which brings experts from telecommunication, cloud computing, sensor networking, service-oriented computing, data analysis, transportation, and logistics areas to work together to provide real-world solutions for future logistics. The research questions and challenges of the platform are highlighted. Overall architecture and data collection are presented

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Transformation of UML Activity Diagram for Enhanced Reasoning

IT industry has adopted the unified modelling language activity diagram (UML-AD) as a de facto standard. UML AD facilitates modellers to graphically represent and document business processes to show the flow of activities and behaviour of a system. However, UML AD has many drawbacks such as lack of formal semantics i.e. ontology used for the constructs based on intuition, that vaguely describes processes and no provision for verifiability. Petri Net (PN) has been around for decades and used to model the workflow systems but PNs and its variants are too complex for business process modellers with no prior experience. A logical foundation is desirable to construct a business process with a precision that facilitates in transforming UML AD into a formal mechanism supported by verifiability capabilities for enhanced reasoning. Therefore, in this paper, we will provide a framework that will provide formal definitions for UML AD core terms and constructs used for modelling, and subsequently transform them to formal representation called point graph(PG). This will provide an insight into UML AD and will improve the overall functionality required from a modelling tool. A case study is conducted at King’s College Hospital trust’ to improve their patient flows of an accident and emergency (A&E) department

Effect of praseodymium doping on the structural, magnetic and magnetocaloric properties of Sm0.55−xPrxSr0.45MnO3 (0.1⩽x⩽0.4) manganites

International audienc

Effect of praseodymium doping on the structural, magnetic and magnetocaloric properties of Sm0.55Sr0.45MnO3 manganite

International audienc

Analysis based on scaling relations of critical behaviour at PM–FM phase transition and universal curve of magnetocaloric effect in selected Ag-doped manganites

International audienc

Role of lanthanum vacancy on the structural, magnetic and magnetocaloric properties in the lacunar perovskite manganites La 0.8−x □ x Na 0.2 MnO 3 (0 ≤ x ≤ 0.15)

International audienc