-
Registration of 3D Point Sets Using Correntropy Similarity Matrix
Authors:
Ashutosh Singandhupe,
Hung La,
Trung Dung Ngo,
Van Ho
Abstract:
This work focuses on Registration or Alignment of 3D point sets. Although the Registration problem is a well established problem and it's solved using multiple variants of Iterative Closest Point (ICP) Algorithm, most of the approaches in the current state of the art still suffers from misalignment when the \textit{Source} and the \textit{Target} point sets are separated by large rotations and tra…
▽ More
This work focuses on Registration or Alignment of 3D point sets. Although the Registration problem is a well established problem and it's solved using multiple variants of Iterative Closest Point (ICP) Algorithm, most of the approaches in the current state of the art still suffers from misalignment when the \textit{Source} and the \textit{Target} point sets are separated by large rotations and translation. In this work, we propose a variant of the Standard ICP algorithm, where we introduce a Correntropy Relationship Matrix in the computation of rotation and translation component which attempts to solve the large rotation and translation problem between \textit{Source} and \textit{Target} point sets. This matrix is created through correntropy criterion which is updated in every iteration. The correntropy criterion defined in this approach maintains the relationship between the points in the \textit{Source} dataset and the \textit{Target} dataset. Through our experiments and validation we verify that our approach has performed well under various rotation and translation in comparison to the other well-known state of the art methods available in the Point Cloud Library (PCL) as well as other methods available as open source. We have uploaded our code in the github repository for the readers to validate and verify our approach https://github.com/aralab-unr/CoSM-ICP.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Recurrent neural network transducer for Japanese and Chinese offline handwritten text recognition
Authors:
Trung Tan Ngo,
Hung Tuan Nguyen,
Nam Tuan Ly,
Masaki Nakagawa
Abstract:
In this paper, we propose an RNN-Transducer model for recognizing Japanese and Chinese offline handwritten text line images. As far as we know, it is the first approach that adopts the RNN-Transducer model for offline handwritten text recognition. The proposed model consists of three main components: a visual feature encoder that extracts visual features from an input image by CNN and then encodes…
▽ More
In this paper, we propose an RNN-Transducer model for recognizing Japanese and Chinese offline handwritten text line images. As far as we know, it is the first approach that adopts the RNN-Transducer model for offline handwritten text recognition. The proposed model consists of three main components: a visual feature encoder that extracts visual features from an input image by CNN and then encodes the visual features by BLSTM; a linguistic context encoder that extracts and encodes linguistic features from the input image by embedded layers and LSTM; and a joint decoder that combines and then decodes the visual features and the linguistic features into the final label sequence by fully connected and softmax layers. The proposed model takes advantage of both visual and linguistic information from the input image. In the experiments, we evaluated the performance of the proposed model on the two datasets: Kuzushiji and SCUT-EPT. Experimental results show that the proposed model achieves state-of-the-art performance on all datasets.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Asymptotic behavior of the multilevel type error for SDEs driven by a pure jump Lévy process
Authors:
Mohamed Ben Alaya,
Ahmed Kebaier,
Thi Bao Tram Ngo
Abstract:
Motivated by the multilevel Monte Carlo method introduced by Giles [5], we study the asymptotic behavior of the normalized error process $u_{n,m}(X^n-X^{nm})$ where $X^n$ and $X^{nm}$ are respectively Euler approximations with time steps $1/n$ and $1/nm$ of a given stochastic differential equation $X$ driven by a pure jump Lévy process. In this paper, we prove that this normalized multilevel error…
▽ More
Motivated by the multilevel Monte Carlo method introduced by Giles [5], we study the asymptotic behavior of the normalized error process $u_{n,m}(X^n-X^{nm})$ where $X^n$ and $X^{nm}$ are respectively Euler approximations with time steps $1/n$ and $1/nm$ of a given stochastic differential equation $X$ driven by a pure jump Lévy process. In this paper, we prove that this normalized multilevel error converges to different non-trivial limiting processes with various sharp rates $u_{n,m}$ depending on the behavior of the Lévy measure around zero. Our results are consistent with those of Jacod [9] obtained for the normalized error $u_n(X^n-X)$, as when letting $m$ tends to infinity, we recover the same limiting processes. For the multilevel error, the proofs of the current paper are challenging since unlike [9] we need to deal with $m$ dependent triangular arrays instead of one.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
An Analysis of State-of-the-art Activation Functions For Supervised Deep Neural Network
Authors:
Anh Nguyen,
Khoa Pham,
Dat Ngo,
Thanh Ngo,
Lam Pham
Abstract:
This paper provides an analysis of state-of-the-art activation functions with respect to supervised classification of deep neural network. These activation functions comprise of Rectified Linear Units (ReLU), Exponential Linear Unit (ELU), Scaled Exponential Linear Unit (SELU), Gaussian Error Linear Unit (GELU), and the Inverse Square Root Linear Unit (ISRLU). To evaluate, experiments over two dee…
▽ More
This paper provides an analysis of state-of-the-art activation functions with respect to supervised classification of deep neural network. These activation functions comprise of Rectified Linear Units (ReLU), Exponential Linear Unit (ELU), Scaled Exponential Linear Unit (SELU), Gaussian Error Linear Unit (GELU), and the Inverse Square Root Linear Unit (ISRLU). To evaluate, experiments over two deep learning network architectures integrating these activation functions are conducted. The first model, basing on Multilayer Perceptron (MLP), is evaluated with MNIST dataset to perform these activation functions. Meanwhile, the second model, likely VGGish-based architecture, is applied for Acoustic Scene Classification (ASC) Task 1A in DCASE 2018 challenge, thus evaluate whether these activation functions work well in different datasets as well as different network architectures.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
VinDr-CXR: An open dataset of chest X-rays with radiologist's annotations
Authors:
Ha Q. Nguyen,
Khanh Lam,
Linh T. Le,
Hieu H. Pham,
Dat Q. Tran,
Dung B. Nguyen,
Dung D. Le,
Chi M. Pham,
Hang T. T. Tong,
Diep H. Dinh,
Cuong D. Do,
Luu T. Doan,
Cuong N. Nguyen,
Binh T. Nguyen,
Que V. Nguyen,
Au D. Hoang,
Hien N. Phan,
Anh T. Nguyen,
Phuong H. Ho,
Dat T. Ngo,
Nghia T. Nguyen,
Nhan T. Nguyen,
Minh Dao,
Van Vu
Abstract:
Most of the existing chest X-ray datasets include labels from a list of findings without specifying their locations on the radiographs. This limits the development of machine learning algorithms for the detection and localization of chest abnormalities. In this work, we describe a dataset of more than 100,000 chest X-ray scans that were retrospectively collected from two major hospitals in Vietnam…
▽ More
Most of the existing chest X-ray datasets include labels from a list of findings without specifying their locations on the radiographs. This limits the development of machine learning algorithms for the detection and localization of chest abnormalities. In this work, we describe a dataset of more than 100,000 chest X-ray scans that were retrospectively collected from two major hospitals in Vietnam. Out of this raw data, we release 18,000 images that were manually annotated by a total of 17 experienced radiologists with 22 local labels of rectangles surrounding abnormalities and 6 global labels of suspected diseases. The released dataset is divided into a training set of 15,000 and a test set of 3,000. Each scan in the training set was independently labeled by 3 radiologists, while each scan in the test set was labeled by the consensus of 5 radiologists. We designed and built a labeling platform for DICOM images to facilitate these annotation procedures. All images are made publicly available (https://www.physionet.org/content/vindr-cxr/1.0.0/) in DICOM format along with the labels of both the training set and the test set.
△ Less
Submitted 20 March, 2022; v1 submitted 29 December, 2020;
originally announced December 2020.
-
Achieving Operational Scalability Using Razee Continuous Deployment Model and Kubernetes Operators
Authors:
Srini Bhagavan,
Saravanan Balasubramanian,
Prasad Reddy Annem,
Thuan Ngo,
Arun Soundararaj
Abstract:
Recent advancements in the cloud computing domain have resulted in huge strides toward simplifying the procurement of hardware and software for diverse needs. By moving enterprise workloads to managed cloud offerings (private, public, hybrid), customers are delegating mundane tasks and labor-intensive maintenance activities related to network connectivity, procurement of cloud resource, applicatio…
▽ More
Recent advancements in the cloud computing domain have resulted in huge strides toward simplifying the procurement of hardware and software for diverse needs. By moving enterprise workloads to managed cloud offerings (private, public, hybrid), customers are delegating mundane tasks and labor-intensive maintenance activities related to network connectivity, procurement of cloud resource, application deployment, software patches, and upgrades, etc., This often translates to benefits such as high availability and reduced cost. The popularity of container and micro-services-based deployment has made Kubernetes the de-facto standard to deliver applications. However, even with Kubernetes orchestration, cloud service providers frequently have operational scalability issues due to lack of Continuous Integration and Continuous Deployment (CICD) automation and increased demand for human operators when managing a large number of software deployments across multiple data centers/availability zones. Kubernetes solves this in a novel way by creating and managing custom applications using Operators. Agile methodology advocates incremental CICD which are adopted by cloud providers. However, ironically, it is this same continuous delivery feature of application updates, Kubernetes cluster upgrades, etc., that is also a bane to cloud providers. In this paper, we will demonstrate the use of IBM open-source project Razee as a scalable continuous deployment framework to deploy open-source RStudio and Nginx Operators. We will discuss how IBM Watson SaaS application Operator, Blockchain applications, and Kubernetes resources updates, etc., can be deployed similarly and the use of Operators to perform application life cycle management. We assert that using Razee in conjunction with Operators on Kubernetes simplifies application life cycle management and increases scalability.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Binomial Tails for Community Analysis
Authors:
Omid Madani,
Thanh Ngo,
Weifei Zeng,
Sai Ankith Averine,
Sasidhar Evuru,
Varun Malhotra,
Shashidhar Gandham,
Navindra Yadav
Abstract:
An important task of community discovery in networks is assessing significance of the results and robust ranking of the generated candidate groups. Often in practice, numerous candidate communities are discovered, and focusing the analyst's time on the most salient and promising findings is crucial. We develop simple efficient group scoring functions derived from tail probabilities using binomial…
▽ More
An important task of community discovery in networks is assessing significance of the results and robust ranking of the generated candidate groups. Often in practice, numerous candidate communities are discovered, and focusing the analyst's time on the most salient and promising findings is crucial. We develop simple efficient group scoring functions derived from tail probabilities using binomial models. Experiments on synthetic and numerous real-world data provides evidence that binomial scoring leads to a more robust ranking than other inexpensive scoring functions, such as conductance. Furthermore, we obtain confidence values ($p$-values) that can be used for filtering and labeling the discovered groups. Our analyses shed light on various properties of the approach. The binomial tail is simple and versatile, and we describe two other applications for community analysis: degree of community membership (which in turn yields group-scoring functions), and the discovery of significant edges in the community-induced graph.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Improving Multilingual Neural Machine Translation For Low-Resource Languages: French,English - Vietnamese
Authors:
Thi-Vinh Ngo,
Phuong-Thai Nguyen,
Thanh-Le Ha,
Khac-Quy Dinh,
Le-Minh Nguyen
Abstract:
Prior works have demonstrated that a low-resource language pair can benefit from multilingual machine translation (MT) systems, which rely on many language pairs' joint training. This paper proposes two simple strategies to address the rare word issue in multilingual MT systems for two low-resource language pairs: French-Vietnamese and English-Vietnamese. The first strategy is about dynamical lear…
▽ More
Prior works have demonstrated that a low-resource language pair can benefit from multilingual machine translation (MT) systems, which rely on many language pairs' joint training. This paper proposes two simple strategies to address the rare word issue in multilingual MT systems for two low-resource language pairs: French-Vietnamese and English-Vietnamese. The first strategy is about dynamical learning word similarity of tokens in the shared space among source languages while another one attempts to augment the translation ability of rare words through updating their embeddings during the training. Besides, we leverage monolingual data for multilingual MT systems to increase the amount of synthetic parallel corpora while dealing with the data sparsity problem. We have shown significant improvements of up to +1.62 and +2.54 BLEU points over the bilingual baseline systems for both language pairs and released our datasets for the research community.
△ Less
Submitted 10 July, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Mesoscopic quantum superposition states of weakly-coupled matter-wave solitons
Authors:
Dmitriy Tsarev,
Alexander Alodjants,
The Vinh Ngo,
Ray-Kuang Lee
Abstract:
The Josephson junctions (JJs) are at the heart of modern quantum technologies and metrology. In this work we establish quantum features of an atomic soliton Josephson junction (SJJ) device, which consists of two weakly-coupled condensates with negative scattering length. The condensates are trapped in a double-well potential and elongated in one dimension. Starting with classical field theory we m…
▽ More
The Josephson junctions (JJs) are at the heart of modern quantum technologies and metrology. In this work we establish quantum features of an atomic soliton Josephson junction (SJJ) device, which consists of two weakly-coupled condensates with negative scattering length. The condensates are trapped in a double-well potential and elongated in one dimension. Starting with classical field theory we map for the first time a two-soliton problem onto the effective two-mode Hamiltonian and perform a second quantization procedure. Compared to the conventional Bosonic Josephson junction (BJJ) condensate system, we show that the SJJ-model in quantum domain exhibits unusual features due to its effective nonlinear strength proportional to the square of total particle number, $N^2$. A novel self-tuning effect for the effective tunneling parameter is also demonstrated in the SJJ-model, which depends on the particle number and rapidly vanishes as the JJ population imbalance increases. The formation of entangled Fock state superposition is predicted for the quantum SJJ-model, revealing dominant $N00N$-state components at the "edges" for $n=0, N$ particle number. We have shown that the obtained quantum state is more resistant to few particle losses from the condensates if tiny components of entangled Fock states are present in the vicinity of the major $N00N$-state component. This peculiarity of the quantum SJJ-model establishes an important difference from its semiclassical analogue obtained in the framework of Hartree approach.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Bose-Einstein condensate soliton qubit states for metrological applications
Authors:
The Vinh Ngo,
Dmitriy Tsarev,
Ray-Kuang Lee,
Alexander Alodjants
Abstract:
By utilizing Bose-Einstein condensate solitons, optically manipulated and trapped in a double-well potential, coupled through nonlinear Josephson effect, we propose novel quantum metrology applications with two soliton qubit states. In addition to steady-state solutions in different scenarios, phase space analysis, in terms of population imbalance - phase difference variables, is also performed to…
▽ More
By utilizing Bose-Einstein condensate solitons, optically manipulated and trapped in a double-well potential, coupled through nonlinear Josephson effect, we propose novel quantum metrology applications with two soliton qubit states. In addition to steady-state solutions in different scenarios, phase space analysis, in terms of population imbalance - phase difference variables, is also performed to demonstrate macroscopic quantum self-trap** regimes. Schrödinger-cat states, maximally path-entangled ($N00N$) states, and macroscopic soliton qubits are predicted and exploited for the distinguishability of obtained macroscopic states in the framework of binary (non-orthogonal) state discrimination problem. For arbitrary phase estimation in the framework of linear quantum metrology approach, these macroscopic soliton states are revealed to have a scaling up to the Heisenberg limit (HL). The examples are illustrated for HL estimation of angular frequency between the ground and first excited macroscopic states of the condensate, which opens new perspectives for current frequency standards technologies.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Phase diagram of a three-dimensional dipolar model on a FCC lattice
Authors:
V. Russier,
Juan J. Alonso,
I. Lisiecki,
A. T. Ngo,
C. Salzemann,
S. Nakamae,
C. Raepsaet
Abstract:
The magnetic phase diagram at zero external field of an ensemble of dipoles with uniaxial anisotropy on a FCC lattice is investigated from tempered Monte Carlo simulations. The uniaxial anisotropy is characterized by a random distribution of easy axes and its magnitude $λ_u$ is the driving force of disorder and consequently frustration. The phase diagram, separating the paramagnetic, ferromagnetic…
▽ More
The magnetic phase diagram at zero external field of an ensemble of dipoles with uniaxial anisotropy on a FCC lattice is investigated from tempered Monte Carlo simulations. The uniaxial anisotropy is characterized by a random distribution of easy axes and its magnitude $λ_u$ is the driving force of disorder and consequently frustration. The phase diagram, separating the paramagnetic, ferromagnetic, quasi long range ordered ferromagnetic and spin-glass regions is thus considered in the temperature, $λ_u$ plane. This system is aimed at modeling the magnetic phase diagram of supracrystals of magnetic nanoparticles.
△ Less
Submitted 10 November, 2020; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Economic Theoretic LEO Satellite Coverage Control: An Auction-based Framework
Authors:
Junghyun Kim,
Thong D. Ngo,
Paul S. Oh,
Sean S. -C. Kwon,
Changhee Han,
Joongheon Kim
Abstract:
Recently, ultra-dense low earth orbit (LEO) satelliteconstellation over high-frequency bands has considered as one ofpromising solutions to supply coverage all over the world. Givensatellite constellations, efficient beam coverage schemes should beemployed at satellites to provide seamless services and full-viewcoverage. In LEO systems, hybrid wide and spot beam coverageschemes are generally used,…
▽ More
Recently, ultra-dense low earth orbit (LEO) satelliteconstellation over high-frequency bands has considered as one ofpromising solutions to supply coverage all over the world. Givensatellite constellations, efficient beam coverage schemes should beemployed at satellites to provide seamless services and full-viewcoverage. In LEO systems, hybrid wide and spot beam coverageschemes are generally used, where the LEO provides a widebeam for large area coverage and additional several steering spotbeams for high speed data access. In this given setting, schedulingmultiple spot beams is essentially required. In order to achievethis goal, Vickery-Clarke-Groves (VCG) auction-based trustfulalgorithm is proposed in this paper for scheduling multiple spotbeams for more efficient seamless services and full-view coverage.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
Transfer learning with class-weighted and focal loss function for automatic skin cancer classification
Authors:
Duyen N. T. Le,
Hieu X. Le,
Lua T. Ngo,
Hoan T. Ngo
Abstract:
Skin cancer is by far in top-3 of the world's most common cancer. Among different skin cancer types, melanoma is particularly dangerous because of its ability to metastasize. Early detection is the key to success in skin cancer treatment. However, skin cancer diagnosis is still a challenge, even for experienced dermatologists, due to strong resemblances between benign and malignant lesions. To aid…
▽ More
Skin cancer is by far in top-3 of the world's most common cancer. Among different skin cancer types, melanoma is particularly dangerous because of its ability to metastasize. Early detection is the key to success in skin cancer treatment. However, skin cancer diagnosis is still a challenge, even for experienced dermatologists, due to strong resemblances between benign and malignant lesions. To aid dermatologists in skin cancer diagnosis, we developed a deep learning system that can effectively and automatically classify skin lesions into one of the seven classes: (1) Actinic Keratoses, (2) Basal Cell Carcinoma, (3) Benign Keratosis, (4) Dermatofibroma, (5) Melanocytic nevi, (6) Melanoma, (7) Vascular Skin Lesion. The HAM10000 dataset was used to train the system. An end-to-end deep learning process, transfer learning technique, utilizing multiple pre-trained models, combining with class-weighted and focal loss were applied for the classification process. The result was that our ensemble of modified ResNet50 models can classify skin lesions into one of the seven classes with top-1, top-2 and top-3 accuracy 93%, 97% and 99%, respectively. This deep learning system can potentially be integrated into computer-aided diagnosis systems that support dermatologists in skin cancer diagnosis.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
Joint Resource Allocation to Minimize Execution Time of Federated Learning in Cell-Free Massive MIMO
Authors:
Tung T. Vu,
Duy T. Ngo,
Hien Quoc Ngo,
Minh N. Dao,
Nguyen H. Tran,
Richard H. Middleton
Abstract:
Due to its communication efficiency and privacy-preserving capability, federated learning (FL) has emerged as a promising framework for machine learning in 5G-and-beyond wireless networks. Of great interest is the design and optimization of new wireless network structures that support the stable and fast operation of FL. Cell-free massive multiple-input multiple-output (CFmMIMO) turns out to be a…
▽ More
Due to its communication efficiency and privacy-preserving capability, federated learning (FL) has emerged as a promising framework for machine learning in 5G-and-beyond wireless networks. Of great interest is the design and optimization of new wireless network structures that support the stable and fast operation of FL. Cell-free massive multiple-input multiple-output (CFmMIMO) turns out to be a suitable candidate, which allows each communication round in the iterative FL process to be stably executed within a large-scale coherence time. Aiming to reduce the total execution time of the FL process in CFmMIMO, this paper proposes choosing only a subset of available users to participate in FL. An optimal selection of users with favorable link conditions would minimize the execution time of each communication round, while limiting the total number of communication rounds required. Toward this end, we formulate a joint optimization problem of user selection, transmit power, and processing frequency, subject to a predefined minimum number of participating users to guarantee the quality of learning. We then develop a new algorithm that is proven to converge to the neighbourhood of the stationary points of the formulated problem. Numerical results confirm that our proposed approach significantly reduces the FL total execution time over baseline schemes. The time reduction is more pronounced when the density of access point deployments is moderately low.
△ Less
Submitted 10 June, 2022; v1 submitted 4 September, 2020;
originally announced September 2020.
-
Order of Control and Perceived Control over Personal Information
Authors:
Yefim Shulman,
Thao Ngo,
Joachim Meyer
Abstract:
Focusing on personal information disclosure, we apply control theory and the notion of the Order of Control to study people's understanding of the implications of information disclosure and their tendency to consent to disclosure. We analyzed the relevant literature and conducted a preliminary online study (N = 220) to explore the relationship between the Order of Control and perceived control ove…
▽ More
Focusing on personal information disclosure, we apply control theory and the notion of the Order of Control to study people's understanding of the implications of information disclosure and their tendency to consent to disclosure. We analyzed the relevant literature and conducted a preliminary online study (N = 220) to explore the relationship between the Order of Control and perceived control over personal information. Our analysis of existing research suggests that the notion of the Order of Control can help us understand people's decisions regarding the control over their personal information. We discuss limitations and future directions for research regarding the application of the idea of the Order of Control to online privacy.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
Interpreting Chest X-rays via CNNs that Exploit Hierarchical Disease Dependencies and Uncertainty Labels
Authors:
Hieu H. Pham,
Tung T. Le,
Dat T. Ngo,
Dat Q. Tran,
Ha Q. Nguyen
Abstract:
The chest X-rays (CXRs) is one of the views most commonly ordered by radiologists (NHS),which is critical for diagnosis of many different thoracic diseases. Accurately detecting thepresence of multiple diseases from CXRs is still a challenging task. We present a multi-labelclassification framework based on deep convolutional neural networks (CNNs) for diagnos-ing the presence of 14 common thoracic…
▽ More
The chest X-rays (CXRs) is one of the views most commonly ordered by radiologists (NHS),which is critical for diagnosis of many different thoracic diseases. Accurately detecting thepresence of multiple diseases from CXRs is still a challenging task. We present a multi-labelclassification framework based on deep convolutional neural networks (CNNs) for diagnos-ing the presence of 14 common thoracic diseases and observations. Specifically, we trained astrong set of CNNs that exploit dependencies among abnormality labels and used the labelsmoothing regularization (LSR) for a better handling of uncertain samples. Our deep net-works were trained on over 200,000 CXRs of the recently released CheXpert dataset (Irvinandal., 2019) and the final model, which was an ensemble of the best performing networks,achieved a mean area under the curve (AUC) of 0.940 in predicting 5 selected pathologiesfrom the validation set. To the best of our knowledge, this is the highest AUC score yetreported to date. More importantly, the proposed method was also evaluated on an inde-pendent test set of the CheXpert competition, containing 500 CXR studies annotated by apanel of 5 experienced radiologists. The reported performance was on average better than2.6 out of 3 other individual radiologists with a mean AUC of 0.930, which had led to thecurrent state-of-the-art performance on the CheXpert test set.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
New Way of Generating Electromagnetic Waves
Authors:
Ali Hosseini-Fahraji,
Majid Manteghi,
Khai d. t. Ngo
Abstract:
This paper presents a new method for generating low-frequency electromagnetic waves for navigation and communication in challenging environments, such as underwater and underground. The main idea is to store magnetic energy in two different spaces using the interaction between a permanent magnet and a magnetic material. The magnetic reluctance of the medium around the permanent magnet is modulated…
▽ More
This paper presents a new method for generating low-frequency electromagnetic waves for navigation and communication in challenging environments, such as underwater and underground. The main idea is to store magnetic energy in two different spaces using the interaction between a permanent magnet and a magnetic material. The magnetic reluctance of the medium around the permanent magnet is modulated to change the magnetic flux path. The nonlinear properties of magnetic material as a critical phenomenon are used for effective modulation. As a result, a time-variant field is generated by the modulation of the permanent magnet flux. This non-resonant time-variant characterization means that the transmitter is not bound to the fundamental limits of the antennas and can transmit higher data rates. A prototype transmitter as a prove-of-concept is designed and tested based on the proposed idea. Compared to the rotating magnet, the prototyped transmitter can modulate $50\%$ of the stored energy of the permanent magnet with much lower power consumption.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
Central Limit Theorem for the $σ$-antithetic multilevel Monte Carlo method
Authors:
Mohamed Ben Alaya,
Ahmed Kebaier,
Thi Bao Tram Ngo
Abstract:
In this paper, we introduce the $σ$-antithetic multilevel Monte Carlo (MLMC) estimator for a multi-dimensional diffusion which is an extended version of the original antithetic MLMC one introduced by Giles and Szpruch \cite{a}. Our aim is to study the asymptotic behavior of the weak errors involved in this new algorithm. Among the obtained results, we prove that the error between on the one hand t…
▽ More
In this paper, we introduce the $σ$-antithetic multilevel Monte Carlo (MLMC) estimator for a multi-dimensional diffusion which is an extended version of the original antithetic MLMC one introduced by Giles and Szpruch \cite{a}. Our aim is to study the asymptotic behavior of the weak errors involved in this new algorithm. Among the obtained results, we prove that the error between on the one hand the average of the Milstein scheme without Lévy area and its $σ$-antithetic version build on the finer grid and on the other hand the coarse approximation stably converges in distribution with a rate of order 1. We also prove that the error between the Milstein scheme without Lévy area and its $σ$-antithetic version stably converges in distribution with a rate of order $1/2$. More precisely, we have a functional limit theorem on the asymptotic behavior of the joined distribution of these errors based on a triangular array approach (see e.g. Jacod \cite{c}). Thanks to this result, we establish a central limit theorem of Lindeberg-Feller type for the $σ$-antithetic MLMC estimator. The time complexity of the algorithm is carried out.
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
Nonvanishing of Dirichlet L-functions, II
Authors:
Rizwanur Khan,
Djordje Milićević,
Hieu T. Ngo
Abstract:
We show that for at least $\frac{5}{13}$ of the primitive Dirichlet characters $χ$ of large prime modulus, the central value $L(\frac{1}{2},χ)$ does not vanish, improving on the previous best known result of $\frac{3}{8}$.
We show that for at least $\frac{5}{13}$ of the primitive Dirichlet characters $χ$ of large prime modulus, the central value $L(\frac{1}{2},χ)$ does not vanish, improving on the previous best known result of $\frac{3}{8}$.
△ Less
Submitted 7 April, 2020; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Interpreting chest X-rays via CNNs that exploit hierarchical disease dependencies and uncertainty labels
Authors:
Hieu H. Pham,
Tung T. Le,
Dat Q. Tran,
Dat T. Ngo,
Ha Q. Nguyen
Abstract:
Chest radiography is one of the most common types of diagnostic radiology exams, which is critical for screening and diagnosis of many different thoracic diseases. Specialized algorithms have been developed to detect several specific pathologies such as lung nodule or lung cancer. However, accurately detecting the presence of multiple diseases from chest X-rays (CXRs) is still a challenging task.…
▽ More
Chest radiography is one of the most common types of diagnostic radiology exams, which is critical for screening and diagnosis of many different thoracic diseases. Specialized algorithms have been developed to detect several specific pathologies such as lung nodule or lung cancer. However, accurately detecting the presence of multiple diseases from chest X-rays (CXRs) is still a challenging task. This paper presents a supervised multi-label classification framework based on deep convolutional neural networks (CNNs) for predicting the risk of 14 common thoracic diseases. We tackle this problem by training state-of-the-art CNNs that exploit dependencies among abnormality labels. We also propose to use the label smoothing technique for a better handling of uncertain samples, which occupy a significant portion of almost every CXR dataset. Our model is trained on over 200,000 CXRs of the recently released CheXpert dataset and achieves a mean area under the curve (AUC) of 0.940 in predicting 5 selected pathologies from the validation set. This is the highest AUC score yet reported to date. The proposed method is also evaluated on the independent test set of the CheXpert competition, which is composed of 500 CXR studies annotated by a panel of 5 experienced radiologists. The performance is on average better than 2.6 out of 3 other individual radiologists with a mean AUC of 0.930, which ranks first on the CheXpert leaderboard at the time of writing this paper.
△ Less
Submitted 12 June, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Observation of thermal events on the plasma facing components of Wendelstein 7-X
Authors:
A. Puig Sitjes,
Y. Gao,
M. Jakubowski,
P. Drewelow,
H. Niemann,
A. Ali,
V. Moncada,
F. Pisano,
T. T. Ngo,
B. Cannas,
M. Sleczka,
W7-X Team
Abstract:
Long pulse operation of present and future magnetic fusion devices requires sophisticated methods for protection of plasma facing components from overheating. Typically, thermographic systems are being used to fulfill this task. Steady state operation requires, however, autonomous operation of the system and fully automatic detection of abnormal events. At Wendelstein 7-X (W7-X), a large advanced…
▽ More
Long pulse operation of present and future magnetic fusion devices requires sophisticated methods for protection of plasma facing components from overheating. Typically, thermographic systems are being used to fulfill this task. Steady state operation requires, however, autonomous operation of the system and fully automatic detection of abnormal events. At Wendelstein 7-X (W7-X), a large advanced stellarator, which aims at demonstrating the capabilities of the stellarator line as a future fusion power plant, significant efforts are being undertaken to develop a fully automatic system based on thermographic diagnostics. In October 2018, the first divertor-based experimental campaign has been finished. One of the goals of this operation phase (named OP1.2) was to study the capabilities of the island divertor concept using an uncooled test divertor made of fine-grain graphite tiles. Throughout this campaign, it was possible to test the infrared imaging diagnostic system, which will be used to protect the actively water-cooled plasma facing components (PFCs) during the steady-state operation in the next experimental campaign. An overview of the most relevant thermal events on the PFCs that were detected in OP1.2 using this system are presented. This includes events that limited operation during the campaign, like baffe hot spots and divertor overloads, events that are potentially critical in steady state operation like leading edges, events caused by the ECRH and NBI heating systems and other events which are a common source of false alarms like surface layers. The detected thermal events are now part of an important and extensive image database which will be used to further automate the system by means of computer vision and machine learning techniques in preparation for steady-state operation, when the system must be able to detect dangerous events and protect the machine in real-time.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Overcoming the Rare Word Problem for Low-Resource Language Pairs in Neural Machine Translation
Authors:
Thi-Vinh Ngo,
Thanh-Le Ha,
Phuong-Thai Nguyen,
Le-Minh Nguyen
Abstract:
Among the six challenges of neural machine translation (NMT) coined by (Koehn and Knowles, 2017), rare-word problem is considered the most severe one, especially in translation of low-resource languages. In this paper, we propose three solutions to address the rare words in neural machine translation systems. First, we enhance source context to predict the target words by connecting directly the s…
▽ More
Among the six challenges of neural machine translation (NMT) coined by (Koehn and Knowles, 2017), rare-word problem is considered the most severe one, especially in translation of low-resource languages. In this paper, we propose three solutions to address the rare words in neural machine translation systems. First, we enhance source context to predict the target words by connecting directly the source embeddings to the output of the attention component in NMT. Second, we propose an algorithm to learn morphology of unknown words for English in supervised way in order to minimize the adverse effect of rare-word problem. Finally, we exploit synonymous relation from the WordNet to overcome out-of-vocabulary (OOV) problem of NMT. We evaluate our approaches on two low-resource language pairs: English-Vietnamese and Japanese-Vietnamese. In our experiments, we have achieved significant improvements of up to roughly +1.0 BLEU points in both language pairs.
△ Less
Submitted 17 October, 2019; v1 submitted 6 October, 2019;
originally announced October 2019.
-
How Transformer Revitalizes Character-based Neural Machine Translation: An Investigation on Japanese-Vietnamese Translation Systems
Authors:
Thi-Vinh Ngo,
Thanh-Le Ha,
Phuong-Thai Nguyen,
Le-Minh Nguyen
Abstract:
While translating between East Asian languages, many works have discovered clear advantages of using characters as the translation unit. Unfortunately, traditional recurrent neural machine translation systems hinder the practical usage of those character-based systems due to their architectural limitations. They are unfavorable in handling extremely long sequences as well as highly restricted in p…
▽ More
While translating between East Asian languages, many works have discovered clear advantages of using characters as the translation unit. Unfortunately, traditional recurrent neural machine translation systems hinder the practical usage of those character-based systems due to their architectural limitations. They are unfavorable in handling extremely long sequences as well as highly restricted in parallelizing the computations. In this paper, we demonstrate that the new transformer architecture can perform character-based translation better than the recurrent one. We conduct experiments on a low-resource language pair: Japanese-Vietnamese. Our models considerably outperform the state-of-the-art systems which employ word-based recurrent architectures.
△ Less
Submitted 17 October, 2019; v1 submitted 5 October, 2019;
originally announced October 2019.
-
SELF: Learning to Filter Noisy Labels with Self-Ensembling
Authors:
Duc Tam Nguyen,
Chaithanya Kumar Mummadi,
Thi Phuong Nhung Ngo,
Thi Hoai Phuong Nguyen,
Laura Beggel,
Thomas Brox
Abstract:
Deep neural networks (DNNs) have been shown to over-fit a dataset when being trained with noisy labels for a long enough time. To overcome this problem, we present a simple and effective method self-ensemble label filtering (SELF) to progressively filter out the wrong labels during training. Our method improves the task performance by gradually allowing supervision only from the potentially non-no…
▽ More
Deep neural networks (DNNs) have been shown to over-fit a dataset when being trained with noisy labels for a long enough time. To overcome this problem, we present a simple and effective method self-ensemble label filtering (SELF) to progressively filter out the wrong labels during training. Our method improves the task performance by gradually allowing supervision only from the potentially non-noisy (clean) labels and stops learning on the filtered noisy labels. For the filtering, we form running averages of predictions over the entire training dataset using the network output at different training epochs. We show that these ensemble estimates yield more accurate identification of inconsistent predictions throughout training than the single estimates of the network at the most recent training epoch. While filtered samples are removed entirely from the supervised training loss, we dynamically leverage them via semi-supervised learning in the unsupervised loss. We demonstrate the positive effect of such an approach on various image classification tasks under both symmetric and asymmetric label noise and at different noise ratios. It substantially outperforms all previous works on noise-aware learning across different datasets and can be applied to a broad set of network architectures.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
DeepUSPS: Deep Robust Unsupervised Saliency Prediction With Self-Supervision
Authors:
Duc Tam Nguyen,
Maximilian Dax,
Chaithanya Kumar Mummadi,
Thi Phuong Nhung Ngo,
Thi Hoai Phuong Nguyen,
Zhongyu Lou,
Thomas Brox
Abstract:
Deep neural network (DNN) based salient object detection in images based on high-quality labels is expensive. Alternative unsupervised approaches rely on careful selection of multiple handcrafted saliency methods to generate noisy pseudo-ground-truth labels. In this work, we propose a two-stage mechanism for robust unsupervised object saliency prediction, where the first stage involves refinement…
▽ More
Deep neural network (DNN) based salient object detection in images based on high-quality labels is expensive. Alternative unsupervised approaches rely on careful selection of multiple handcrafted saliency methods to generate noisy pseudo-ground-truth labels. In this work, we propose a two-stage mechanism for robust unsupervised object saliency prediction, where the first stage involves refinement of the noisy pseudo labels generated from different handcrafted methods. Each handcrafted method is substituted by a deep network that learns to generate the pseudo labels. These labels are refined incrementally in multiple iterations via our proposed self-supervision technique. In the second stage, the refined labels produced from multiple networks representing multiple saliency methods are used to train the actual saliency detection network. We show that this self-learning procedure outperforms all the existing unsupervised methods over different datasets. Results are even comparable to those of fully-supervised state-of-the-art approaches. The code is available at https://tinyurl.com/wtlhgo3 .
△ Less
Submitted 15 March, 2021; v1 submitted 28 September, 2019;
originally announced September 2019.
-
Cell-Free Massive MIMO for Wireless Federated Learning
Authors:
Tung T. Vu,
Duy T. Ngo,
Nguyen H. Tran,
Hien Quoc Ngo,
Minh N. Dao,
Richard H. Middleton
Abstract:
This paper proposes a novel scheme for cell-free massive multiple-input multiple-output (CFmMIMO) networks to support any federated learning (FL) framework. This scheme allows each instead of all the iterations of the FL framework to happen in a large-scale coherence time to guarantee a stable operation of an FL process. To show how to optimize the FL performance using this proposed scheme, we con…
▽ More
This paper proposes a novel scheme for cell-free massive multiple-input multiple-output (CFmMIMO) networks to support any federated learning (FL) framework. This scheme allows each instead of all the iterations of the FL framework to happen in a large-scale coherence time to guarantee a stable operation of an FL process. To show how to optimize the FL performance using this proposed scheme, we consider an existing FL framework as an example and target FL training time minimization for this framework. An optimization problem is then formulated to jointly optimize the local accuracy, transmit power, data rate, and users' processing frequency. This mixed-timescale stochastic nonconvex problem captures the complex interactions among the training time, and transmission and computation of training updates of one FL process. By employing the online successive convex approximation approach, we develop a new algorithm to solve the formulated problem with proven convergence to the neighbourhood of its stationary points. Our numerical results confirm that the presented joint design reduces the training time by up to $55\%$ over baseline approaches. They also show that CFmMIMO here requires the lowest training time for FL processes compared with cell-free time-division multiple access massive MIMO and collocated massive MIMO.
△ Less
Submitted 14 June, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Performance Analysis of Cooperative V2V and V2I Communications under Correlated Fading
Authors:
Furqan Jameel,
Muhammad Awais Javed,
Duy T. Ngo
Abstract:
Cooperative vehicular networks will play a vital role in the coming years to implement various intelligent transportation-related applications. Both vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications will be needed to reliably disseminate information in a vehicular network. In this regard, a roadside unit (RSU) equipped with multiple antennas can improve the network capaci…
▽ More
Cooperative vehicular networks will play a vital role in the coming years to implement various intelligent transportation-related applications. Both vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications will be needed to reliably disseminate information in a vehicular network. In this regard, a roadside unit (RSU) equipped with multiple antennas can improve the network capacity. While the traditional approaches assume antennas to experience independent fading, we consider a more practical uplink scenario where antennas at the RSU experience correlated fading. In particular, we evaluate the packet error probability for two renowned antenna correlation models, i.e., constant correlation (CC) and exponential correlation (EC). We also consider intermediate cooperative vehicles for reliable communication between the source vehicle and the RSU. Here, we derive closed-form expressions for packet error probability which help quantify the performance variations due to fading parameter, correlation coefficients and the number of intermediate helper vehicles. To evaluate the optimal transmit power in this network scenario, we formulate a Stackelberg game, wherein, the source vehicle is treated as a buyer and the helper vehicles are the sellers. The optimal solutions for the asking price and the transmit power are devised which maximize the utility functions of helper vehicles and the source vehicle, respectively. We verify our mathematical derivations by extensive simulations in MATLAB.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
-
DFT+DMFT study of spin-charge-lattice coupling in covalent LaCoO$_3$
Authors:
Hyowon Park,
Ravindra Nanguneri,
Anh T. Ngo
Abstract:
We study energetics and the nature of both homogeneous and mixed spin (MS) states in LaCoO$_3$ incorporating structural changes of the crystal volume expansion and the Co-O bond disproportionation (BD) during the spin-state transition using the density functional theory plus dynamical mean field theory (DFT+DMFT) method. DFT+DMFT predicts that energetics of both excited spin states are almost the…
▽ More
We study energetics and the nature of both homogeneous and mixed spin (MS) states in LaCoO$_3$ incorporating structural changes of the crystal volume expansion and the Co-O bond disproportionation (BD) during the spin-state transition using the density functional theory plus dynamical mean field theory (DFT+DMFT) method. DFT+DMFT predicts that energetics of both excited spin states are almost the same while DFT+U calculations of the same structures energetically favor the MS states and produce various metastable solutions whose energetics depend sensitively on final spin states. Within DFT+DMFT, the homogeneous spin state in the expanded crystal volume shows the multiconfigurational nature with non-negligible occupancy probabilities of both high spin (HS) and low spin (LS) states along with $d^6$ and $d^7$ charge configurations indicating the dynamically fluctuating nature of spin and charge states due to the Co-O covalency. The nature of the MS state under the BD structure reveals that Co sites with the long Co-O bonds develop a Mott insulating state and favor HS with a $d^6$ configuration, while more covalent Co sites with the short Co-O bonds occupy more LS states with a $d^7$ configuration and behave as a band insulator, as a result, charge ordering is induced in the BD structure from the spin-state ordering. We also find that both energetics and electronic structure sensitively depend on the Co-O covalency effect, which can be tuned by changing the double counting potential and the resulting $d-$occupancy ($N_d$), and $N_d$ close to 6.7 is consistent with the nature of the spin-state transition. Our results show that structural changes during the spin-state transition can play an important role in understanding energetics and electronic structure of LaCoO$_3$.
△ Less
Submitted 8 May, 2020; v1 submitted 20 July, 2019;
originally announced July 2019.
-
Decentralized Dynamic State Estimation in Microgrids
Authors:
Bang L. H. Nguyen,
Tuyen V. Vu,
Tuan A. Ngo
Abstract:
This paper proposes a decentralized dynamic state estimation scheme for microgrids. The approach employs the voltage and current measurements in the dq0 reference frame through phasor synchronization to be able to exclude orthogonal functions from their relationship formulas. Based on that premise, we utilize a Kalman filter to dynamically estimate states of microgrids. The decoupling of measureme…
▽ More
This paper proposes a decentralized dynamic state estimation scheme for microgrids. The approach employs the voltage and current measurements in the dq0 reference frame through phasor synchronization to be able to exclude orthogonal functions from their relationship formulas. Based on that premise, we utilize a Kalman filter to dynamically estimate states of microgrids. The decoupling of measurement values to state and input vectors reduces the computational complexity. The Kalman filter considers the process noise covariances, which are modified with respect to the covariance of measured input values. Theoretical analysis and simulation results are provided for validation.
△ Less
Submitted 6 July, 2019;
originally announced July 2019.
-
Wireless Network Slicing: Generalized Kelly Mechanism Based Resource Allocation
Authors:
Yan Kyaw Tun,
Nguyen H. Tran,
Duy Trong Ngo,
Shashi Raj Pandey,
Zhu Han,
Choong Seon Hong
Abstract:
Wireless network slicing (i.e., network virtualization) is one of the potential technologies for addressing the issue of rapidly growing demand in mobile data services related to 5G cellular networks. It logically decouples the current cellular networks into two entities; infrastructure providers (InPs) and mobile virtual network operators (MVNOs). The resources of base stations (e.g., resource bl…
▽ More
Wireless network slicing (i.e., network virtualization) is one of the potential technologies for addressing the issue of rapidly growing demand in mobile data services related to 5G cellular networks. It logically decouples the current cellular networks into two entities; infrastructure providers (InPs) and mobile virtual network operators (MVNOs). The resources of base stations (e.g., resource blocks, transmission power, antennas) which are owned by the InP are shared to multiple MVNOs who need resources for their mobile users. Specifically, the physical resources of an InP are abstracted into multiple isolated network slices, which are then allocated to MVNO's mobile users. In this paper, two-level allocation problem in network slicing is examined, whilst enabling efficient resource utilization, inter-slice isolation (i.e., no interference amongst slices), and intra-slice isolation (i.e., no interference between users in the same slice). A generalized Kelly mechanism (GKM) is also designed, based on which the upper level of the resource allocation issue (i.e., between the InP and MVNOs) is addressed. The benefit of using such a resource bidding and allocation framework is that the seller (InP) does not need to know the true valuation of the bidders (MVNOs). For solving the lower level of resource allocation issue (i.e., between MVNOs and their mobile users), the optimal resource allocation is derived from each MVNO to its mobile users by using KKT conditions. Then, bandwidth resources are allocated to the users of MVNOs. Finally, the results of simulation are presented to verify the theoretical analysis of our proposed two-level resource allocation problem in wireless network slicing.
△ Less
Submitted 5 July, 2019; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Supervised and Semi-Supervised Learning for MIMO Blind Detection with Low-Resolution ADCs
Authors:
Ly V. Nguyen,
Duy T. Ngo,
Nghi H. Tran,
A. Lee Swindlehurst,
Duy H. N. Nguyen
Abstract:
The use of low-resolution analog-to-digital converters (ADCs) is considered to be an effective technique to reduce the power consumption and hardware complexity of wireless transceivers. However, in systems with low-resolution ADCs, obtaining channel state information (CSI) is difficult due to significant distortions in the received signals. The primary motivation of this paper is to show that lea…
▽ More
The use of low-resolution analog-to-digital converters (ADCs) is considered to be an effective technique to reduce the power consumption and hardware complexity of wireless transceivers. However, in systems with low-resolution ADCs, obtaining channel state information (CSI) is difficult due to significant distortions in the received signals. The primary motivation of this paper is to show that learning techniques can mitigate the impact of CSI unavailability. We study the blind detection problem in multiple-input-multiple-output (MIMO) systems with low-resolution ADCs using learning approaches. Two methods, which employ a sequence of pilot symbol vectors as the initial training data, are proposed. The first method exploits the use of a cyclic redundancy check (CRC) to obtain more training data, which helps improve the detection accuracy. The second method is based on the perspective that the to-be-decoded data can itself assist the learning process, so no further training information is required except the pilot sequence. For the case of 1-bit ADCs, we provide a performance analysis of the vector error rate for the proposed methods. Based on the analytical results, a criterion for designing transmitted signals is also presented. Simulation results show that the proposed methods outperform existing techniques and are also more robust.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
Robust Learning Under Label Noise With Iterative Noise-Filtering
Authors:
Duc Tam Nguyen,
Thi-Phuong-Nhung Ngo,
Zhongyu Lou,
Michael Klar,
Laura Beggel,
Thomas Brox
Abstract:
We consider the problem of training a model under the presence of label noise. Current approaches identify samples with potentially incorrect labels and reduce their influence on the learning process by either assigning lower weights to them or completely removing them from the training set. In the first case the model however still learns from noisy labels; in the latter approach, good training d…
▽ More
We consider the problem of training a model under the presence of label noise. Current approaches identify samples with potentially incorrect labels and reduce their influence on the learning process by either assigning lower weights to them or completely removing them from the training set. In the first case the model however still learns from noisy labels; in the latter approach, good training data can be lost. In this paper, we propose an iterative semi-supervised mechanism for robust learning which excludes noisy labels but is still able to learn from the corresponding samples. To this end, we add an unsupervised loss term that also serves as a regularizer against the remaining label noise. We evaluate our approach on common classification tasks with different noise ratios. Our robust models outperform the state-of-the-art methods by a large margin. Especially for very large noise ratios, we achieve up to 20 % absolute improvement compared to the previous best model.
△ Less
Submitted 1 June, 2019;
originally announced June 2019.
-
Sequencing and Scheduling for Multi-User Machine-Type Communication
Authors:
Sheeraz A. Alvi,
Xiangyun Zhou,
Salman Durrani,
Duy T. Ngo
Abstract:
In this paper, we propose joint sequencing and scheduling optimization for uplink machine-type communication (MTC). We consider multiple energy-constrained MTC devices that transmit data to a base station following the time division multiple access (TDMA) protocol. Conventionally, the energy efficiency performance in TDMA is optimized through multi-user scheduling, i.e., changing the transmission…
▽ More
In this paper, we propose joint sequencing and scheduling optimization for uplink machine-type communication (MTC). We consider multiple energy-constrained MTC devices that transmit data to a base station following the time division multiple access (TDMA) protocol. Conventionally, the energy efficiency performance in TDMA is optimized through multi-user scheduling, i.e., changing the transmission block length allocated to different devices. In such a system, the sequence of devices for transmission, i.e., who transmits first and who transmits second, etc., has not been considered as it does not have any impact on the energy efficiency. In this work, we consider that data compression is performed before transmission and show that the multi-user sequencing is indeed important. We apply three popular energy-minimization system objectives, which differ in terms of the overall system performance and fairness among the devices. We jointly optimize both multi-user sequencing and scheduling along with the compression and transmission rate control. Our results show that multi-user sequence optimization significantly improves the energy efficiency performance of the system. Notably, it makes the TDMA-based multi-user transmissions more likely to be feasible in the lower latency regime, and the performance gain is larger when the delay bound is stringent.
△ Less
Submitted 4 September, 2019; v1 submitted 2 April, 2019;
originally announced April 2019.
-
Interplay of Purcell effect, stimulated emission, and leaky modes in the photoluminescence spectra of microsphere cavities
Authors:
Ching-Hang Chien,
Shang-Hsuan Wu,
Buu Trong Huynh Ngo,
Yia-Chung Chang
Abstract:
A theoretical model for describing the emission spectra of microsphere cavities is presented, and its prediction of detailed lineshapes of emission spectra associated with whispering gallery modes (WGMs) of various orders in ZnO microspheres (MSs) are verified experimentally by photoluminescence (PL) spectroscopy. The interplay of Purcell effect, quality factor, and leaky modes in spontaneous and…
▽ More
A theoretical model for describing the emission spectra of microsphere cavities is presented, and its prediction of detailed lineshapes of emission spectra associated with whispering gallery modes (WGMs) of various orders in ZnO microspheres (MSs) are verified experimentally by photoluminescence (PL) spectroscopy. The interplay of Purcell effect, quality factor, and leaky modes in spontaneous and stimulated emission spectra related to WGMs of all orders is revealed. The key success of the theory is based on the expansion of the full Green function of the MS in terms of all possible resonance modes in complex frequency space, which allows incorporation of contributions from leaky modes, stimulated emission processes, and Purcell effect. We show that the spontaneous emission spectrum calculated according to Mie theory (without Purcell effect) is dominated by the contribution of leaky modes, while the spontaneous and stimulated emission enhanced by Purcell effect are responsible for the main WGM resonance peaks observed experimentally. It is found that the stimulated emission peaks are doubly enhanced by their respective mode quality factor Q: one factor from the Purcell effect and the other factor from the photon number derived from the rate equation. After combining all these effects the theory can provide a quantitative description of fine features of both TE and TM modes (including higher-order modes) observed in the PL spectra of ZnO MSs. Surprisingly, it is found that for ZnO MS with diameter larger than 5 $μm$, the PL emission spectrum is dominated by higher-order modes. The quantitative understanding of the interplay of these emission mechanisms should prove useful for optimizing the performance of light-emitting devices based on micro resonators.
△ Less
Submitted 27 August, 2019; v1 submitted 18 January, 2019;
originally announced January 2019.
-
A Spatial-temporal 3D Human Pose Reconstruction Framework
Authors:
X. T. Nguyen,
T. D. Ngo,
T. H. Le
Abstract:
3D human pose reconstruction from single-view camera is a difficult and challenging topic. Many approaches have been proposed, but almost focusing on frame-by-frame independently while inter-frames are highly correlated in a pose sequence. In contrast, we introduce a novel spatial-temporal 3D reconstruction framework that leverages both intra and inter frame relationships in consecutive 2D pose se…
▽ More
3D human pose reconstruction from single-view camera is a difficult and challenging topic. Many approaches have been proposed, but almost focusing on frame-by-frame independently while inter-frames are highly correlated in a pose sequence. In contrast, we introduce a novel spatial-temporal 3D reconstruction framework that leverages both intra and inter frame relationships in consecutive 2D pose sequences. Orthogonal Matching Pursuit (OMP) algorithm, pre-trained Pose-angle Limits and Temporal Models have been implemented. We quantitatively compare our framework versus recent works on CMU motion capture dataset and Vietnamese traditional dance sequences. Our method outperforms others with 10 percent lower of Euclidean reconstruction error and robustness against Gaussian noise. Additionally, it is also important to mention that our reconstructed 3D pose sequences are smoother and more natural than others.
△ Less
Submitted 10 January, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Identifying the Best Machine Learning Algorithms for Brain Tumor Segmentation, Progression Assessment, and Overall Survival Prediction in the BRATS Challenge
Authors:
Spyridon Bakas,
Mauricio Reyes,
Andras Jakab,
Stefan Bauer,
Markus Rempfler,
Alessandro Crimi,
Russell Takeshi Shinohara,
Christoph Berger,
Sung Min Ha,
Martin Rozycki,
Marcel Prastawa,
Esther Alberts,
Jana Lipkova,
John Freymann,
Justin Kirby,
Michel Bilello,
Hassan Fathallah-Shaykh,
Roland Wiest,
Jan Kirschke,
Benedikt Wiestler,
Rivka Colen,
Aikaterini Kotrotsou,
Pamela Lamontagne,
Daniel Marcus,
Mikhail Milchenko
, et al. (402 additional authors not shown)
Abstract:
Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing core. This intrinsic heterogeneity is also portrayed in their radio-phenotype, as their sub-regions are depicted by varying intensity profiles dissem…
▽ More
Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing core. This intrinsic heterogeneity is also portrayed in their radio-phenotype, as their sub-regions are depicted by varying intensity profiles disseminated across multi-parametric magnetic resonance imaging (mpMRI) scans, reflecting varying biological properties. Their heterogeneous shape, extent, and location are some of the factors that make these tumors difficult to resect, and in some cases inoperable. The amount of resected tumor is a factor also considered in longitudinal scans, when evaluating the apparent tumor for potential diagnosis of progression. Furthermore, there is mounting evidence that accurate segmentation of the various tumor sub-regions can offer the basis for quantitative image analysis towards prediction of patient overall survival. This study assesses the state-of-the-art machine learning (ML) methods used for brain tumor image analysis in mpMRI scans, during the last seven instances of the International Brain Tumor Segmentation (BraTS) challenge, i.e., 2012-2018. Specifically, we focus on i) evaluating segmentations of the various glioma sub-regions in pre-operative mpMRI scans, ii) assessing potential tumor progression by virtue of longitudinal growth of tumor sub-regions, beyond use of the RECIST/RANO criteria, and iii) predicting the overall survival from pre-operative mpMRI scans of patients that underwent gross total resection. Finally, we investigate the challenge of identifying the best ML algorithms for each of these tasks, considering that apart from being diverse on each instance of the challenge, the multi-institutional mpMRI BraTS dataset has also been a continuously evolving/growing dataset.
△ Less
Submitted 23 April, 2019; v1 submitted 5 November, 2018;
originally announced November 2018.
-
Optimal Stateless Model Checking under the Release-Acquire Semantics
Authors:
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Bengt Jonsson,
Tuan Phong Ngo
Abstract:
We present a framework for the efficient application of stateless model checking (SMC) to concurrent programs running under the Release-Acquire (RA) fragment of the C/C++11 memory model. Our approach is based on exploring the possible program orders, which define the order in which instructions of a thread are executed, and read-from relations, which specify how reads obtain their values from writ…
▽ More
We present a framework for the efficient application of stateless model checking (SMC) to concurrent programs running under the Release-Acquire (RA) fragment of the C/C++11 memory model. Our approach is based on exploring the possible program orders, which define the order in which instructions of a thread are executed, and read-from relations, which specify how reads obtain their values from writes. This is in contrast to previous approaches, which also explore the possible coherence orders, i.e., orderings between conflicting writes. Since unexpected test results such as program crashes or assertion violations depend only on the read-from relation, we avoid a potentially significant source of redundancy. Our framework is based on a novel technique for determining whether a particular read-from relation is feasible under the RA semantics. We define an SMC algorithm which is provably optimal in the sense that it explores each program order and read-from relation exactly once. This optimality result is strictly stronger than previous analogous optimality results, which also take coherence order into account. We have implemented our framework in the tool Tracer. Experiments show that Tracer can be significantly faster than state-of-the-art tools that can handle the RA semantics.
△ Less
Submitted 10 September, 2018; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Brain Tumor Segmentation and Tractographic Feature Extraction from Structural MR Images for Overall Survival Prediction
Authors:
Po-Yu Kao,
Thuyen Ngo,
Angela Zhang,
Jefferson W. Chen,
B. S. Manjunath
Abstract:
This paper introduces a novel methodology to integrate human brain connectomics and parcellation for brain tumor segmentation and survival prediction. For segmentation, we utilize an existing brain parcellation atlas in the MNI152 1mm space and map this parcellation to each individual subject data. We use deep neural network architectures together with hard negative mining to achieve the final vox…
▽ More
This paper introduces a novel methodology to integrate human brain connectomics and parcellation for brain tumor segmentation and survival prediction. For segmentation, we utilize an existing brain parcellation atlas in the MNI152 1mm space and map this parcellation to each individual subject data. We use deep neural network architectures together with hard negative mining to achieve the final voxel level classification. For survival prediction, we present a new method for combining features from connectomics data, brain parcellation information, and the brain tumor mask. We leverage the average connectome information from the Human Connectome Project and map each subject brain volume onto this common connectome space. From this, we compute tractographic features that describe potential neural disruptions due to the brain tumor. These features are then used to predict the overall survival of the subjects. The main novelty in the proposed methods is the use of normalized brain parcellation data and tractography data from the human connectome project for analyzing MR images for segmentation and survival prediction. Experimental results are reported on the BraTS2018 dataset.
△ Less
Submitted 12 November, 2018; v1 submitted 20 July, 2018;
originally announced July 2018.
-
Semantically Enhanced Dynamic Bayesian Network for Detecting Sepsis Mortality Risk in ICU Patients with Infection
Authors:
Tony Wang,
Tom Velez,
Emilia Apostolova,
Tim Tschampel,
Thuy L. Ngo,
Joy Hardison
Abstract:
Although timely sepsis diagnosis and prompt interventions in Intensive Care Unit (ICU) patients are associated with reduced mortality, early clinical recognition is frequently impeded by non-specific signs of infection and failure to detect signs of sepsis-induced organ dysfunction in a constellation of dynamically changing physiological data. The goal of this work is to identify patient at risk o…
▽ More
Although timely sepsis diagnosis and prompt interventions in Intensive Care Unit (ICU) patients are associated with reduced mortality, early clinical recognition is frequently impeded by non-specific signs of infection and failure to detect signs of sepsis-induced organ dysfunction in a constellation of dynamically changing physiological data. The goal of this work is to identify patient at risk of life-threatening sepsis utilizing a data-centered and machine learning-driven approach. We derive a mortality risk predictive dynamic Bayesian network (DBN) guided by a customized sepsis knowledgebase and compare the predictive accuracy of the derived DBN with the Sepsis-related Organ Failure Assessment (SOFA) score, the Quick SOFA (qSOFA) score, the Simplified Acute Physiological Score (SAPS-II) and the Modified Early Warning Score (MEWS) tools.
A customized sepsis ontology was used to derive the DBN node structure and semantically characterize temporal features derived from both structured physiological data and unstructured clinical notes. We assessed the performance in predicting mortality risk of the DBN predictive model and compared performance to other models using Receiver Operating Characteristic (ROC) curves, area under curve (AUROC), calibration curves, and risk distributions.
The derived dataset consists of 24,506 ICU stays from 19,623 patients with evidence of suspected infection, with 2,829 patients deceased at discharge. The DBN AUROC was found to be 0.91, which outperformed the SOFA (0.843), qSOFA (0.66), MEWS (0.73), and SAPS-II (0.77) scoring tools. Continuous Net Reclassification Index and Integrated Discrimination Improvement analysis supported the superiority DBN. Compared with conventional rule-based risk scoring tools, the sepsis knowledgebase-driven DBN algorithm offers improved performance for predicting mortality of infected patients in ICUs.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Combining Advanced Methods in Japanese-Vietnamese Neural Machine Translation
Authors:
Thi-Vinh Ngo,
Thanh-Le Ha,
Phuong-Thai Nguyen,
Le-Minh Nguyen
Abstract:
Neural machine translation (NMT) systems have recently obtained state-of-the art in many machine translation systems between popular language pairs because of the availability of data. For low-resourced language pairs, there are few researches in this field due to the lack of bilingual data. In this paper, we attempt to build the first NMT systems for a low-resourced language pairs:Japanese-Vietna…
▽ More
Neural machine translation (NMT) systems have recently obtained state-of-the art in many machine translation systems between popular language pairs because of the availability of data. For low-resourced language pairs, there are few researches in this field due to the lack of bilingual data. In this paper, we attempt to build the first NMT systems for a low-resourced language pairs:Japanese-Vietnamese. We have also shown significant improvements when combining advanced methods to reduce the adverse impacts of data sparsity and improve the quality of NMT systems. In addition, we proposed a variant of Byte-Pair Encoding algorithm to perform effective word segmentation for Vietnamese texts and alleviate the rare-word problem that persists in NMT systems.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Interplay between superconductivity and magnetism in one-unit-cell LaAlO3 capped with SrTiO3
Authors:
Yongsu Kwak,
Woojoo Han,
Thach D. N. Ngo,
Dorj Odkhuu,
Jihwan Kim,
Young Heon Kim,
Noejung Park,
Sonny H. Rhim,
Myung-Hwa Jung,
Junho Suh,
Seung-Bo Shim,
Mahn-Soo Choi,
Yong-Joo Doh,
Joon Sung Lee,
Jonghyun Song,
**hee Kim
Abstract:
To form a conducting layer at the interface between the oxide insulators LaAlO3 and SrTiO3, the LaAlO3 layer on the SrTiO3 substrate must be at least four unit-cells-thick. The LaAlO3 SrTiO3 heterointerface thus formed exhibits various intriguing phenomena such as ferromagnetism and superconductivity. It has been widely studied for being a low-dimensional ferromagnetic oxide superconducting system…
▽ More
To form a conducting layer at the interface between the oxide insulators LaAlO3 and SrTiO3, the LaAlO3 layer on the SrTiO3 substrate must be at least four unit-cells-thick. The LaAlO3 SrTiO3 heterointerface thus formed exhibits various intriguing phenomena such as ferromagnetism and superconductivity. It has been widely studied for being a low-dimensional ferromagnetic oxide superconducting system with a strong gate-tunable spin-orbit interaction. However, its lack of stability and environmental susceptiveness have been an obstacle to its further experimental investigations and applications. Here, we demonstrate that cap** the bilayer with SrTiO3 relieves this thickness limit, while enhancing the stability and controllability of the interface. In addition, the SrTiO3-capped LaAlO3 exhibits unconventional superconductivity; the critical current dramatically increases under a parallel magnetic field, and shows a reversed hysteresis contrary to the conventional hysteresis of magnetoresistance. Its superconducting energy gap of $Δ\sim 1.31k_BT_c$ also deviates from conventional BCS-type superconductivity. The oxide trilayer could be a robust platform for studying the extraordinary interplay of superconductivity and ferromagnetism at the interface electron system between LaAlO3 and SrTiO3.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Precision and accuracy of single-molecule FRET measurements - a worldwide benchmark study
Authors:
Björn Hellenkamp,
Sonja Schmid,
Olga Doroshenko,
Oleg Opanasyuk,
Ralf Kühnemuth,
Soheila Rezaei Adariani,
Anders Barth,
Victoria Birkedal,
Mark E. Bowen,
Hongtao Chen,
Thorben Cordes,
Tobias Eilert,
Carel Fijen,
Markus Götz,
Giorgos Gouridis,
Enrico Gratton,
Taekjip Ha,
Christian A. Hanke,
Andreas Hartmann,
Jelle Hendrix,
Lasse L. Hildebrandt,
Johannes Hohlbein,
Christian G. Hübner,
Eleni Kallis,
Achillefs N. Kapanidis
, et al. (28 additional authors not shown)
Abstract:
Single-molecule Förster resonance energy transfer (smFRET) is increasingly being used to determine distances, structures, and dynamics of biomolecules in vitro and in vivo. However, generalized protocols and FRET standards ensuring both the reproducibility and accuracy of measuring FRET efficiencies are currently lacking. Here we report the results of a worldwide, comparative, blind study, in whic…
▽ More
Single-molecule Förster resonance energy transfer (smFRET) is increasingly being used to determine distances, structures, and dynamics of biomolecules in vitro and in vivo. However, generalized protocols and FRET standards ensuring both the reproducibility and accuracy of measuring FRET efficiencies are currently lacking. Here we report the results of a worldwide, comparative, blind study, in which 20 labs determined the FRET efficiencies of several dye-labeled DNA duplexes. Using a unified and straightforward method, we show that FRET efficiencies can be obtained with a standard deviation between $Δ$E = +-0.02 and +-0.05. We further suggest an experimental and computational procedure for converting FRET efficiencies into accurate distances. We discuss potential uncertainties in the experiment and the modelling. Our extensive quantitative assessment of intensity-based smFRET measurements and correction procedures serve as an essential step towards validation of distance networks with the ultimate aim to archive reliable structural models of biomolecular systems obtained by smFRET-based hybrid methods.
△ Less
Submitted 29 December, 2017; v1 submitted 10 October, 2017;
originally announced October 2017.
-
Dialogue Act Segmentation for Vietnamese Human-Human Conversational Texts
Authors:
Thi Lan Ngo,
Khac Linh Pham,
Minh Son Cao,
Son Bao Pham,
Xuan Hieu Phan
Abstract:
Dialog act identification plays an important role in understanding conversations. It has been widely applied in many fields such as dialogue systems, automatic machine translation, automatic speech recognition, and especially useful in systems with human-computer natural language dialogue interfaces such as virtual assistants and chatbots. The first step of identifying dialog act is identifying th…
▽ More
Dialog act identification plays an important role in understanding conversations. It has been widely applied in many fields such as dialogue systems, automatic machine translation, automatic speech recognition, and especially useful in systems with human-computer natural language dialogue interfaces such as virtual assistants and chatbots. The first step of identifying dialog act is identifying the boundary of the dialog act in utterances. In this paper, we focus on segmenting the utterance according to the dialog act boundaries, i.e. functional segments identification, for Vietnamese utterances. We investigate carefully functional segment identification in two approaches: (1) machine learning approach using maximum entropy (ME) and conditional random fields (CRFs); (2) deep learning approach using bidirectional Long Short-Term Memory (LSTM) with a CRF layer (Bi-LSTM-CRF) on two different conversational datasets: (1) Facebook messages (Message data); (2) transcription from phone conversations (Phone data). To the best of our knowledge, this is the first work that applies deep learning based approach to dialog act segmentation. As the results show, deep learning approach performs appreciably better as to compare with traditional machine learning approaches. Moreover, it is also the first study that tackles dialog act and functional segment identification for Vietnamese.
△ Less
Submitted 16 August, 2017;
originally announced August 2017.
-
Optimizing Region Selection for Weakly Supervised Object Detection
Authors:
Wenhui Jiang,
Thuyen Ngo,
B. S. Manjunath,
Zhicheng Zhao,
Fei Su
Abstract:
Training object detectors with only image-level annotations is very challenging because the target objects are often surrounded by a large number of background clutters. Many existing approaches tackle this problem through object proposal mining. However, the collected positive regions are either low in precision or lack of diversity, and the strategy of collecting negative regions is not carefull…
▽ More
Training object detectors with only image-level annotations is very challenging because the target objects are often surrounded by a large number of background clutters. Many existing approaches tackle this problem through object proposal mining. However, the collected positive regions are either low in precision or lack of diversity, and the strategy of collecting negative regions is not carefully designed, neither. Moreover, training is often slow because region selection and object detector training are processed separately. In this context, the primary contribution of this work is to improve weakly supervised detection with an optimized region selection strategy. The proposed method collects purified positive training regions by progressively removing easy background clutters, and selects discriminative negative regions by mining class-specific hard samples. This region selection procedure is further integrated into a CNN-based weakly supervised detection (WSD) framework, and can be performed in each stochastic gradient descent mini-batch during training. Therefore, the entire model can be trained end-to-end efficiently. Extensive evaluation results on PASCAL VOC 2007, VOC 2010 and VOC 2012 datasets are presented which demonstrate that the proposed method effectively improves WSD.
△ Less
Submitted 5 August, 2017;
originally announced August 2017.
-
Polarity-tunable magnetic tunnel junctions based on ferromagnetism at oxide heterointerfaces
Authors:
Thach D. N. Ngo,
Jung-Won Chang,
Kyujoon Lee,
Seungju Han,
Joon Sung Lee,
Young Heon Kim,
Myung-Hwa Jung,
Yong-Joo Doh,
Mahn-Soo Choi,
Jonghyun Song,
**hee Kim
Abstract:
Complex oxide systems have attracted considerable attention because of their fascinating properties, including the magnetic ordering at the conducting interface between two band insulators, such as LaAlO3 (LAO) and SrTiO3 (STO). However, the manipulation of the spin degree of freedom at the LAO/STO heterointerface has remained elusive. Here, we have fabricated hybrid magnetic tunnel junctions cons…
▽ More
Complex oxide systems have attracted considerable attention because of their fascinating properties, including the magnetic ordering at the conducting interface between two band insulators, such as LaAlO3 (LAO) and SrTiO3 (STO). However, the manipulation of the spin degree of freedom at the LAO/STO heterointerface has remained elusive. Here, we have fabricated hybrid magnetic tunnel junctions consisting of Co and LAO/STO ferromagnets with the insertion of a Ti layer in between, which clearly exhibit magnetic switching and the tunnelling magnetoresistance (TMR) effect below 10 K. The magnitude and the of the TMR are strongly dependent on the direction of the rotational magnetic field parallel to the LAO/STO plane, which is attributed to a strong Rashba-type spin orbit coupling in the LAO/STO heterostructure. Our study provides a further support for the existence of the macroscopic ferromagnetism at LAO/STO heterointerfaces and opens a novel route to realize interfacial spintronics devices.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
Joint Optimization of User Association, Data Delivery Rate and Precoding for Cache-Enabled F-RANs
Authors:
Tung T. Vu,
Duy T. Ngo,
Lawrence Ong,
Salman Durrani,
Richard H. Middleton
Abstract:
This paper considers the downlink of a cache-enabled fog radio access network (F-RAN) with limited fronthaul capacity, where user association (UA), data delivery rate (DDR) and signal precoding are jointly optimized. We formulate a mixed-integer nonlinear programming problem in which the weighted difference of network throughput and total power consumption is maximized, subject to the predefined D…
▽ More
This paper considers the downlink of a cache-enabled fog radio access network (F-RAN) with limited fronthaul capacity, where user association (UA), data delivery rate (DDR) and signal precoding are jointly optimized. We formulate a mixed-integer nonlinear programming problem in which the weighted difference of network throughput and total power consumption is maximized, subject to the predefined DDR requirements and the maximum transmit power at each eRRH. To address this challenging problem, we first apply the l0-norm approximation and l1-norm minimization techniques to deal with the UA. After this key step, we arrive at an approximated problem that only involves the joint optimization of DDR and precoding. By using the alternating descent method, we further decompose this problem into a convex subproblem for DDR allocation and a nonconvex subproblem for precoding design. While the former is globally solved by the interior-point method, the latter is solved by a specifically tailored successive convex quadratic programming method. Finally, we propose an iterative algorithm for the original joint optimization that is guaranteed to converge. Importantly, each iteration of the developed algorithm only involves solving simple convex problems. Numerical examples demonstrate that the proposed design significantly improves both throughput and power performances, especially in practical F-RANs with limited fronthaul capacity. Compared to the sole precoder design for a given cache placement, our joint design is shown to improve the throughput by 50% while saving at least half of the total power consumption in the considered examples.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Context-Bounded Model Checking for POWER
Authors:
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Tuan Phong Ngo
Abstract:
We propose an under-approximate reachability analysis algorithm for programs running under the POWER memory model, in the spirit of the work on context-bounded analysis intitiated by Qadeer et al. in 2005 for detecting bugs in concurrent programs (supposed to be running under the classical SC model).
To that end, we first introduce a new notion of context-bounding that is suitable for reasoning…
▽ More
We propose an under-approximate reachability analysis algorithm for programs running under the POWER memory model, in the spirit of the work on context-bounded analysis intitiated by Qadeer et al. in 2005 for detecting bugs in concurrent programs (supposed to be running under the classical SC model).
To that end, we first introduce a new notion of context-bounding that is suitable for reasoning about computations under POWER, which generalizes the one defined by Atig et al. in 2011 for the TSO memory model. Then, we provide a polynomial size reduction of the context-bounded state reachability problem under POWER to the same problem under SC: Given an input concurrent program P, our method produces a concurrent program P' such that, for a fixed number of context switches, running P' under SC yields the same set of reachable states as running P under POWER. The generated program P' contains the same number of processes as P, and operates on the same data domain. By leveraging the standard model checker CBMC, we have implemented a prototype tool and applied it on a set of benchmarks, showing the feasibility of our approach.
△ Less
Submitted 23 September, 2019; v1 submitted 3 February, 2017;
originally announced February 2017.
-
A Load-Buffer Semantics for Total Store Ordering
Authors:
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Tuan Phong Ngo
Abstract:
We address the problem of verifying safety properties of concurrent programs running over the Total Store Order (TSO) memory model. Known decision procedures for this model are based on complex encodings of store buffers as lossy channels. These procedures assume that the number of processes is fixed. However, it is important in general to prove the correctness of a system/algorithm in a parametri…
▽ More
We address the problem of verifying safety properties of concurrent programs running over the Total Store Order (TSO) memory model. Known decision procedures for this model are based on complex encodings of store buffers as lossy channels. These procedures assume that the number of processes is fixed. However, it is important in general to prove the correctness of a system/algorithm in a parametric way with an arbitrarily large number of processes.
In this paper, we introduce an alternative (yet equivalent) semantics to the classical one for the TSO semantics that is more amenable to efficient algorithmic verification and for the extension to parametric verification. For that, we adopt a dual view where load buffers are used instead of store buffers. The flow of information is now from the memory to load buffers. We show that this new semantics allows (1) to simplify drastically the safety analysis under TSO, (2) to obtain a spectacular gain in efficiency and scalability compared to existing procedures, and (3) to extend easily the decision procedure to the parametric case, which allows obtaining a new decidability result, and more importantly, a verification algorithm that is more general and more efficient in practice than the one for bounded instances.
△ Less
Submitted 22 January, 2018; v1 submitted 30 January, 2017;
originally announced January 2017.
-
An In Situ Measurement System for Characterizing Orbital Debris
Authors:
Michael A. Tsao,
Hau T. Ngo,
Robert D. Corsaro,
Christopher R. Anderson
Abstract:
This paper presents the development of an in situ measurement system known as the Debris Resistive Acoustic Grid Orbital Navy/NASA Sensor (DRAGONS). The DRAGONS system is designed to detect impacts caused by particles ranging from 50 micrometers to 1 mm at both low-earth and geostationary orbits. DRAGONS utilizes a combination of low-cost sensor technologies to facilitate accurate measurements and…
▽ More
This paper presents the development of an in situ measurement system known as the Debris Resistive Acoustic Grid Orbital Navy/NASA Sensor (DRAGONS). The DRAGONS system is designed to detect impacts caused by particles ranging from 50 micrometers to 1 mm at both low-earth and geostationary orbits. DRAGONS utilizes a combination of low-cost sensor technologies to facilitate accurate measurements and approximations of the size, velocity, and angle of impacting micrometeoroids and orbital debris (MMOD). Two thin layers of kapton sheets with resistive traces are used to detect the changes in resistance that are directly proportional to the impacting force caused by the fast traveling particles. Four polyvinylidene fluoride-based sensors are positioned in the back of each kapton sheet to measure acoustic strain caused by an impact. The electronic hardware module that controls all operations employs a low-power, modular, and compact design that enables it to be installed as a low-resource load on a host satellite. Laboratory results demonstrate that in addition to having the ability to detect an impact event, the DRAGONS system can determine impact location, speed, and angle of impact with a mean error of 1.4 cm, 0.2 km/s, and 5°. The DRAGONS system could be deployed as an add-on subsystem of a payload to enable a real-time, in-depth study of the properties of MMOD.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
Magnetic field induced mixed-level Kondo effect in two-level systems
Authors:
Arturo Wong,
Anh T. Ngo,
Sergio E. Ulloa
Abstract:
We consider a two-orbital impurity system with intra and inter-level Coulomb repulsion that is coupled to a single conduction channel. This situation can generically occur in multilevel quantum dots or in systems of coupled quantum dots. For finite energy-spacing between spin-degenerate orbitals, an in-plane magnetic field drives the system from a local singlet ground state to a "mixed-level" Kond…
▽ More
We consider a two-orbital impurity system with intra and inter-level Coulomb repulsion that is coupled to a single conduction channel. This situation can generically occur in multilevel quantum dots or in systems of coupled quantum dots. For finite energy-spacing between spin-degenerate orbitals, an in-plane magnetic field drives the system from a local singlet ground state to a "mixed-level" Kondo regime, where the Zeeman-split levels are degenerate for opposite spin states. We use the numerical renormalization group approach to fully characterize this mixed level Kondo state and discuss its properties in terms of the applied Zeeman field, temperature and system parameters. Under suitable conditions, the total spectral function is shown to develop a Fermi level resonance, so that the linear conductance of the system peaks at a finite Zeeman field while it decreases as function of temperature. These features, as well as the local moment and entropy contribution of the impurity system are commensurate with Kondo physics, which can be studied in suitably tuned quantum dot systems.
△ Less
Submitted 21 September, 2016; v1 submitted 13 July, 2016;
originally announced July 2016.