Synthesis Of Asynchronous Reactive Programs From Temporal Specifications

Asynchronous interactions are ubiquitous in computing systems and complicate design and programming. Automatic construction ("synthesis") of asynchronous programs from specifications could help ease this difficulty, but known methods are intractable in practice. This work develops substantially simpler methods for synthesis. An exponentially more compact automaton construction is developed for the ...

Enriching Taxonomies with Functional Domain Knowledge

  • Ajwani D.
  • Dutta S.
  • Nicholson P.
  • Parthasarathy S.
  • Sala A.
  • Vedula N.

Knowledge hierarchies have become immensely useful and popular in a wide variety of fields owing to their applicability in structurally organizing and conveniently navigating information. A plethora of techniques have been developed to automatically build knowledge hierarchies from a variety of data sources. Nevertheless, maintaining such extensive knowledge bases and ...

Integration of New Concepts in Knowledge Hierarchies

  • Ajwani D.
  • Dutta S.
  • Nicholson P.
  • Parthasarathy S.
  • Sala A.
  • Vedula N.

Knowledge hierarchies have become immensely useful and popular in a wide variety of fields owing to their applicability in structurally organizing and conveniently navigating information. A plethora of techniques have been developed to automatically build knowledge hierarchies from a variety of data sources. Nevertheless, maintaining such extensive knowledge bases and ...

Massive Machine Type Communications over 5G using Lean Protocols and Edge Proxies

  • Benno S.
  • Bhatia R.
  • Esteban J.
  • Gupta B.
  • Lakshman T.
  • Samardzija D.
  • Tavares M.

We present a novel solution for Massive Machine Type Communications (mMTC) over wireless networks comprising of Edge Proxies and Lean Protocols. Our solution is designed to reduce the overheads associated with data exchange from massive number of low complexity, low power machine type devices. The solution allows the full richness ...

Things NOT to do in Python Python is an amazing tool that can be used to write beautiful expressive code. But sometimes it's easy to shoot yourself in the foot. This talk will NOT focus on things that are listed in "The Little Book of Python Anti-Patterns". Those tips and tricks are already well known. ...

Physical Layer Security in TDD Massive MIMO

  • Ashikhmin A.
  • Basciftci Y.
  • Koksal C.

IEEE We consider a single-cell downlink time division duplex (TDD) based massive MIMO communication in the presence of an adversary capable of jamming and eavesdropping simultaneously. We show that massive MIMO communication is naturally resilient to no training-phase jamming attack in which the adversary jams only the data communication and ...

Multimode and Coupled-Core Fiber Amplifiers

  • Alvarado-Zacarias J.
  • Amezcua-Correa A.
  • Amezcua-Correa R.
  • Antonio-López J.
  • Axel Schülzgen
  • Bigot-Astruc M.
  • Chen H.
  • Eznaveh Z.
  • Fontaine N.
  • Gonnet C.
  • Ryf R.
  • Sillard P.

We report recent advances in multimode-and coupled-core fiber amplifiers for SDM. The amplifiers gain goes up to 20dB, operating at low mode-dependent-loss. Adequate fibers design and pumping configuration allows for exploiting multiple benefits of these two approaches making them suitable for employment in transmission links.

Long distance and high bandwidth wireless link tests for a 39 GHz to 28 GHz 5G low-cost repeater

  • Maier S.
  • Schlesinger H.
  • Templ W.
  • Viswanathan H.

This paper presents a low-cost millimeter-wave repeater for range extension in a 5G fixed wireless access system. It simply converts the wireless fronthaul signals in the 39 GHz band to the wireless access signals in the 28 GHz band without any base-band signal processing. Initial outdoor over-the-air tests with a ...

Inter-polarization mixers for coherent detection of optical signals

  • Chandrasekhar S.
  • Chen Y.
  • Dong P.
  • Fontaine N.
  • Kim K.
  • Melikyan A.

Electro-magnetic (EM) mixers are fundamental building blocks in communication systems. They are used in frequency/wavelength filters, interferometric modulators, amplitude-phase receivers, to name a few. Traditional EM mixers have two or more input ports and work only for co-polarized signal and local-oscillator (LO) incident on its inputs. Here we report on ...

A Novel Constellation Rotation Algorithm to Reduce Transmitter Noise

  • Almonacil S.
  • Jenneve P.
  • Layec P.
  • Ramantanis P.

We propose a constellation phase rotation technique to mitigate digital-to-analog converters induced penalty. We demonstrate by simulations and experiments that our technique enables up to 1 dB of system signal-to-noise ratio improvement for 16-QAM signals. OCIS codes: (060.1660) Coherent communications;

A Novel Constellation Phase Rotation Method to Reduce Transmitter Noise in Metro Links

  • Almonacil S.
  • Jenneve P.
  • Layec P.
  • Ramantanis P.

IEEE We present a novel constellation phase rotation method to mitigate the DACs quantization penalty resulting from pre-compensation of chromatic dispersion (CD) in optical metro links where low-resolution digital-to-analog converters (DACs) may be used to be cost- and power-efficient. The CD-induced constellation rotation increases the peak-to-average power-ratio (PAPR) of the ...

Max-Lloyd Quantization of Geometrically and Probabilistically Shaped Circular QAM.

  • Almonacil S.
  • Jardel F.
  • Jenneve P.
  • Layec P.

We apply a Max-Lloyd quantization scheme for geometrically and probabilistically shaped circular QAM. We show that the signal-to-quantization-noise ratio at the DAC output can be improved up to +0.5 dB with a 4-bits DAC comparatively to the uniform quantizer.

Complex overlapping concepts: An effective auditing methodology for families of similarly structured BioPortal ontologies

  • Chen Y.
  • Elhanan G.
  • Geller J.
  • Ochs C.
  • Perl Y.
  • Zheng L.

In previous research, we have demonstrated for a number of ontologies that structurally complex concepts (for different definitions of ?complex?) in an ontology are more likely to exhibit errors than other concepts. Thus, such complex concepts often become fertile ground for quality assurance (QA) in ontologies. They should be audited ...

CBOSS: bringing traffic engineering inside data center networks

  • Benzaoui N.
  • Bigo S.
  • Dong P.
  • Dupas A.
  • Dutisseuil E.
  • Estaran J.
  • Gonzalez M.
  • Mardoyan H.
  • Pointurier Y.
  • Uscumlic B.
  • Valicourt G.
  • Van Q.
  • Verchere D.
  • Y. Chen

Today’s traditional, hierarchical, fullelectronic data centers cannot guarantee quality of service (QoS) for latency-sensitive applications or carrier-grade multitenancy.We propose cloud burst optical-slot switching (CBOSS), an intra-data center network architecture leveraging the original optical components and custom software- defined network (SDN) control to enable traffic engineering. In particular, we demonstrate network ...

Slot switching for deterministic dynamic edge cloud networks

  • Benzaoui N.
  • Bigo S.
  • Dembeck L.
  • Gebhard U.
  • Lautenschlaeger W.
  • Pointurier Y.

We review how two optical slot switching technologies can provide end-to-end service guarantees in next generation edge-cloud-based networks: Optical Ethernet for fronthaul, midhaul and metro networks, and CBOSS for intra data center networking.

A Network Slice Resource Allocation and Optimization Model for End-to-End Mobile Networks

  • Fendt A.
  • Lohmueller S.
  • Schmelz C.

With the fifth generation of mobile networks (5G) diverse new use cases arise, including enhanced Mobile Broadband (eMBB), industrial and sensor networks as well as highly safety and security critical communication services. These new use cases introduce very different requirements on the mobile communication networks, e.g., network reliability, latency and ...

Opportunistic Spatial Preemptive Scheduling For URLLC and eMBB Coexistence in Multi-User 5G Networks

  • Esswie A.
  • Pedersen K.

The fifth generation (5G) of the mobile networks is envisioned to feature two major service classes: ultra-reliable low-latency communications (URLLC) and enhanced mobile broadband (eMBB). URLLC applications require a stringent one-way radio latency of 1 ms with 99.999% success probability while eMBB services demand extreme data rates. The coexistence of ...

Parameter Identification of a Winding Function based Model for Fault Detection of Induction Machines

  • Huynh Van Khang
  • Kjell G. Robbersmyr
  • Pawlus W.
  • Surya Teja Kandukuri

Prediction of machines' faulty parts is important in industrial applications in order to reduce productivity losses. As far as electrical machines are considered, a model-based fault diagnosis approach is usually used for this purpose. The model is derived from the modified winding function theory and hence, it requires a considerable ...

Digital disruption of the AEC industry: technology-oriented scenarios for possible future development paths

  • Airaksinen M.
  • Casey T.
  • Kallio J.
  • Lavikka R.

© 2018 Aalto University Decision-makers in the architecture, engineering and construction (AEC) industry lack knowledge about the implementation of digitalization to generate value. We applied a scenario planning method developed by Schoemaker and Mavaddat to provide decision-makers with information for using digital data and technologies to create value for customers. ...

Deterministic Scheduling of Periodic Messages for Cloud RAN

  • Bart D.
  • Barth D.
  • Guiraud M.
  • Leclerc B.
  • Marce O.
  • Olivier Marcé
  • Strozecki Y.

A recent trend in mobile networks is to centralize in distant data-centers the processing units which were attached to antennas. The main challenge is to guarantee that the latency of the periodic messages sent from the antennas to their processing units and back fulfills protocol time constraints. We show that ...