arXiv subjects

Tao Yu

Publications and source records attributed to Tao Yu.

At least 379 records · Page 21Linked to original sources

arXiv2019

Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing and Text-to-SQL Task

We present Spider, a large-scale, complex and cross-domain semantic parsing and text-to-SQL dataset annotated by 11 college students. It consists of 10,181 questions and 5,693 unique complex SQL queries on 200 databases with multiple tables, covering 138 different domains. We define a new complex and cross-domain semantic parsing and text-to-SQL task where different complex SQL queries and databases appear in train and test sets. In this way, the task requires the model to generalize well to both new SQL queries and new database schemas. Spider is distinct from most of the previous semantic parsing tasks because they all use a single database and the exact same programs in the train set and the test set. We experiment with various state-of-the-art models and the best model achieves only 12.4% exact matching accuracy on a database split setting. This shows that Spider presents a strong challenge for future research. Our dataset and task are publicly available at https://yale-lily.github.io/spider

cs.CL↗

arXiv2019

Surface dynamics of rough magnetic films

The chirality of Damon-Eshbach (DE) magnons affects the transport of energy and angular momentum at the surface of magnetic films and spheres. We calculate the surface-disorder-limited dephasing and transport lifetimes of surface modes of sufficiently thick high-quality magnetic films such as yttrium iron garnet. In spite of their chirality surface magnons are not protected, but interact strongly with smooth surface roughness. Nevertheless, for long-range disorder the transport is much less affected by the suppressed back scattering (vertex correction). Moreover, in the presence of roughness ferromagnetic resonance under a \textit{uniform} microwave field can gennerate a considerable amount of surface magnons.

cond-mat.mes-hall↗

arXiv2019

Chiral excitation of spin waves in ferromagnetic films

We theoretically investigate the interlayer dipolar and exchange couplings for an array of metallic magnetic nanowires grown on top of an extended ultrathin yttrium iron garnet film. The calculated interlayer dipolar coupling agrees with observed anticrossings [Chen \emph{et al.}, Phys. Rev. Lett. \textbf{120}, 217202 (2018)], concluding that the interlayer exchange coupling is suppressed by a spacer layer between the nanowires and film. The Kittel mode in the nanowire array couples chirally to spin waves in the film, even though Damon-Eshbach surface modes do not exist. The chirality is suppressed when the interlayer exchange coupling becomes strong.

cond-mat.mes-hall↗

arXiv2018

SyntaxSQLNet: Syntax Tree Networks for Complex and Cross-DomainText-to-SQL Task

Most existing studies in text-to-SQL tasks do not require generating complex SQL queries with multiple clauses or sub-queries, and generalizing to new, unseen databases. In this paper we propose SyntaxSQLNet, a syntax tree network to address the complex and cross-domain text-to-SQL generation task. SyntaxSQLNet employs a SQL specific syntax tree-based decoder with SQL generation path history and table-aware column attention encoders. We evaluate SyntaxSQLNet on the Spider text-to-SQL task, which contains databases with multiple tables and complex SQL queries with multiple SQL clauses and nested queries. We use a database split setting where databases in the test set are unseen during training. Experimental results show that SyntaxSQLNet can handle a significantly greater number of complex SQL examples than prior work, outperforming the previous state-of-the-art model by 7.3% in exact matching accuracy. We also show that SyntaxSQLNet can further improve the performance by an additional 7.5% using a cross-domain augmentation method, resulting in a 14.8% improvement in total. To our knowledge, we are the first to study this complex and cross-domain text-to-SQL task.

cs.CL↗

arXiv2018

Performance Evaluation for LTE-V based Vehicle-to-Vehicle Platooning Communication

With the raising demand for autonomous driving, vehicle-to-vehicle communications becomes a key technology enabler for the future intelligent transportation system. Based on our current knowledge field, there is limited network simulator that can support end-to-end performance evaluation for LTE-V based vehicle-to-vehicle platooning systems. To address this problem, we start with an integrated platform that combines traffic generator and network simulator together, and build the V2V transmission capability according to LTE-V specification. On top of that, we simulate the end-to-end throughput and delay profiles in different layers to compare different configurations of platooning systems. Through numerical experiments, we show that the LTE-V system is unable to support the highest degree of automation under shadowing effects in the vehicle platooning scenarios, which requires ultra-reliable low-latency communication enhancement in 5G networks. Meanwhile, the throughput and delay performance for vehicle platooning changes dramatically in PDCP layers, where we believe further improvements are necessary.

eess.SP↗

arXiv2018

Some Sufficient Conditions on Pancyclic Graphs

A pancyclic graph is a graph that contains cycles of all possible lengths from three up to the number of vertices in the graph. In this paper, we establish some new sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.

math.CO↗

arXiv2018

Measure-theoretic mean equicontinuity and bounded complexity

Let $(X,\mathcal{B},μ,T)$ be a measure preserving system. We say that a function $f\in L^2(X,μ)$ is $μ$-mean equicontinuous if for any $ε>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with $μ\left(\bigcup\limits_{i=1}^k A_i\right)>1-ε$ such that whenever $x,y\in A_i$ for some $1\leq i\leq k$, one has \[ \limsup_{n\to\infty}\frac{1}{n}\sum_{j=0}^{n-1}|f(T^jx)-f(T^jy)|<ε. \] Measure complexity with respect to $f$ is also introduced. It is shown that $f$ is an almost periodic function if and only if $f$ is $μ$-mean equicontinuous if and only if $μ$ has bounded complexity with respect to $f$. Ferenczi studied measure-theoretic complexity using $α$-names of a partition and the Hamming distance. He proved that if a measure preserving system is ergodic, then the complexity function is bounded if and only if the system has discrete spectrum. We show that this result holds without the assumption of ergodicity.

math.DS↗

arXiv2018

Knowledge-based Fully Convolutional Network and Its Application in Segmentation of Lung CT Images

A variety of deep neural networks have been applied in medical image segmentation and achieve good performance. Unlike natural images, medical images of the same imaging modality are characterized by the same pattern, which indicates that same normal organs or tissues locate at similar positions in the images. Thus, in this paper we try to incorporate the prior knowledge of medical images into the structure of neural networks such that the prior knowledge can be utilized for accurate segmentation. Based on this idea, we propose a novel deep network called knowledge-based fully convolutional network (KFCN) for medical image segmentation. The segmentation function and corresponding error is analyzed. We show the existence of an asymptotically stable region for KFCN which traditional FCN doesn't possess. Experiments validate our knowledge assumption about the incorporation of prior knowledge into the convolution kernels of KFCN and show that KFCN can achieve a reasonable segmentation and a satisfactory accuracy.

cs.CV↗

arXiv2018

TypeSQL: Knowledge-based Type-Aware Neural Text-to-SQL Generation

Interacting with relational databases through natural language helps users of any background easily query and analyze a vast amount of data. This requires a system that understands users' questions and converts them to SQL queries automatically. In this paper we present a novel approach, TypeSQL, which views this problem as a slot filling task. Additionally, TypeSQL utilizes type information to better understand rare entities and numbers in natural language questions. We test this idea on the WikiSQL dataset and outperform the prior state-of-the-art by 5.5% in much less time. We also show that accessing the content of databases can significantly improve the performance when users' queries are not well-formed. TypeSQL gets 82.6% accuracy, a 17.5% absolute improvement compared to the previous content-sensitive model.

cs.CL↗

arXiv2018

DoubleFusion: Real-time Capture of Human Performances with Inner Body Shapes from a Single Depth Sensor

We propose DoubleFusion, a new real-time system that combines volumetric dynamic reconstruction with data-driven template fitting to simultaneously reconstruct detailed geometry, non-rigid motion and the inner human body shape from a single depth camera. One of the key contributions of this method is a double layer representation consisting of a complete parametric body shape inside, and a gradually fused outer surface layer. A pre-defined node graph on the body surface parameterizes the non-rigid deformations near the body, and a free-form dynamically changing graph parameterizes the outer surface layer far from the body, which allows more general reconstruction. We further propose a joint motion tracking method based on the double layer representation to enable robust and fast motion tracking performance. Moreover, the inner body shape is optimized online and forced to fit inside the outer surface layer. Overall, our method enables increasingly denoised, detailed and complete surface reconstructions, fast motion tracking performance and plausible inner body shape reconstruction in real-time. In particular, experiments show improved fast motion tracking and loop closure performance on more challenging scenarios.

cs.CV↗

arXiv2018

A Guide of Fingerprint Based Radio Emitter Localization using Multiple Sensors

Location information is essential to varieties of applications. It is one of the most important context to be detected by wireless distributed sensors, which is a key technology in Internet-of-Things. Fingerprint-based methods, which compare location unique fingerprints collected beforehand with the fingerprint measured from the target, have attracted much attention recently in both of academia and industry. They have been successfully used for many location-based applications.From the viewpoint of practical applications, in this paper, four different typical approaches of fingerprint-based radio emitter localization system are introduced with four different representative applications: localization of LTE smart phone used for anti-cheating in exams, indoor localization of Wi-Fi terminals, localized light control in BEMS using location information of occupants, and illegal radio localization in outdoor environments. Based on the different practical application scenarios, different solutions, which are designed to enhance the localization performance, are discussed in detail. To the best of the authors' knowledge, this is the first paper to give a guideline for readers about fingerprint-based localization system in terms of fingerprint selection, hardware architecture design and algorithm enhancement

eess.SP↗

arXiv2018

Curvature-based Comparison of Two Neural Networks

In this paper we show the similarities and differences of two deep neural networks by comparing the manifolds composed of activation vectors in each fully connected layer of them. The main contribution of this paper includes 1) a new data generating algorithm which is crucial for determining the dimension of manifolds; 2) a systematic strategy to compare manifolds. Especially, we take Riemann curvature and sectional curvature as part of criterion, which can reflect the intrinsic geometric properties of manifolds. Some interesting results and phenomenon are given, which help in specifying the similarities and differences between the features extracted by two networks and demystifying the intrinsic mechanism of deep neural networks.

cs.LG↗

arXiv2017

The Local Dimension of Deep Manifold

Based on our observation that there exists a dramatic drop for the singular values of the fully connected layers or a single feature map of the convolutional layer, and that the dimension of the concatenated feature vector almost equals the summation of the dimension on each feature map, we propose a singular value decomposition (SVD) based approach to estimate the dimension of the deep manifolds for a typical convolutional neural network VGG19. We choose three categories from the ImageNet, namely Persian Cat, Container Ship and Volcano, and determine the local dimension of the deep manifolds of the deep layers through the tangent space of a target image. Through several augmentation methods, we found that the Gaussian noise method is closer to the intrinsic dimension, as by adding random noise to an image we are moving in an arbitrary dimension, and when the rank of the feature matrix of the augmented images does not increase we are very close to the local dimension of the manifold. We also estimate the dimension of the deep manifold based on the tangent space for each of the maxpooling layers. Our results show that the dimensions of different categories are close to each other and decline quickly along the convolutional layers and fully connected layers. Furthermore, we show that the dimensions decline quickly inside the Conv5 layer. Our work provides new insights for the intrinsic structure of deep neural networks and helps unveiling the inner organization of the black box of deep neural networks.

cs.CV↗

arXiv2017

Leveraging Sparse and Dense Feature Combinations for Sentiment Classification

Neural networks are one of the most popular approaches for many natural language processing tasks such as sentiment analysis. They often outperform traditional machine learning models and achieve the state-of-art results on most tasks. However, many existing deep learning models are complex, difficult to train and provide a limited improvement over simpler methods. We propose a simple, robust and powerful model for sentiment classification. This model outperforms many deep learning models and achieves comparable results to other deep learning models with complex architectures on sentiment analysis datasets. We publish the code online.

cs.CL↗

arXiv2017

Design and implementation of lighting control system using battery-less wireless human detection sensor networks

Artificial lighting is responsible for a large portion of total energy consumption and has great potential for energy saving. This paper designs an LED light control algorithm based on users' localization using multiple battery-less binary human detection sensors. The proposed lighting control system focuses on reducing office lighting energy consumption and satisfying users' illumination requirement. Most current lighting control systems use infrared human detection sensors, but the poor detection probability, especially for a static user, makes it difficult to realize comfortable and effective lighting control. To improve the detection probability of each sensor, we proposed to locate sensors as close to each user as possible by using a battery-less wireless sensor network, in which all sensors can be placed freely in the space with high energy stability. We also proposed to use a multi-sensor-based user localization algorithm to capture user's position more accurately and realize fine lighting control which works even with static users. The system is actually implemented in an indoor office environment in a pilot project. A verification experiment is conducted by measuring the practical illumination and power consumption. The performance agrees with design expectations. It shows that the proposed LED lighting control system reduces the energy consumption significantly, 57% compared to the batch control scheme, and satisfies user's illumination requirement with 100% probability.

eess.SY↗

arXiv2016

Sensitivity, proximal extension and higher order almost automorphy

Let $(X,T)$ be a topological dynamical system, and $\mathcal{F}$ be a family of subsets of $\mathbb{Z}_+$. $(X,T)$ is strongly $\mathcal{F}$-sensitive, if there is $δ>0$ such that for each non-empty open subset $U$, there are $x,y\in U$ with $\{n\in\mathbb{Z}_+: d(T^nx,T^ny)>δ\}\in\mathcal{F}$. Let $\mathcal{F}_t$ (resp. $\mathcal{F}_{ip}$, $\mathcal{F}_{fip}$) be consisting of thick sets (resp. IP-sets, subsets containing arbitrarily long finite IP-sets). The following Auslander-Yorke's type dichotomy theorems are obtained: (1) a minimal system is either strongly $\mathcal{F}_{fip}$-sensitive or an almost one-to-one extension of its $\infty$-step nilfactor. (2) a minimal system is either strongly $\mathcal{F}_{ip}$-sensitive or an almost one-to-one extension of its maximal distal factor. (3) a minimal system is either strongly $\mathcal{F}_{t}$-sensitive or a proximal extension of its maximal distal factor.

math.DS↗

arXiv2016

Proposal of Readout Electronics for CSNS-WNS BaF2 Detector

BaF2 (Barium fluoride) detector is one of the experiment facilities at the under construction CSNS-WNS (White Neutron Source at China Spallation Neutron Source). It is designed for precisely measuring (n,gamma) cross section with total 92 crystal elements and completely 4 pi steradian coverage. In this proposal for readout electronics, waveform digitizing technique with 1GSps sampling rate and 12-bit resolution is adopted to precisely capture the detector signal. To solve the problem of massive data readout and processing, the readout electronics system is designed into a distributed architecture with 4 PXIe crates. The digitized detector's signal is concentrated to PXIe crate controller through PCIe bus on backplane and transmitted to data acquisition system over Gigabit Ethernet in parallel. Besides, clock and trigger can be fanned out synchronously to each electronic channel over a high-precision distributing network. Test results showed that the prototype of the readout electronics system achieved good performance and cooperated well.

physics.ins-det↗

arXiv2016

Square-free Discriminants of Matrices and the Generalized Spectral Characterizations of Graphs

Let $S_n(\mathbb{Z})$ and $O_n(\mathbb{Q})$ denote the set of all $n\times n$ symmetric matrices over the ring of integers $\mathbb{Z}$ and the set of all $n\times n$ orthogonal matrices over the field of rational numbers $\mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $A\in {S_n(\mathbb{Z})}$. How can one find all rational orthogonal matrices $Q\in{O_n(\mathbb{Q})}$ such that $Q^TAQ\in {S_n(\mathbb{Z})}$, and in particular, when does $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ imply that $Q$ is \emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)? A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Δ_A=\pm \res(ϕ,ϕ')$ be \emph{the discriminant of matrix $A$}, where $\res(ϕ,ϕ')$ is \emph{the resultant} of the characteristic polynomial $ϕ$ of $A$ and its derivative $ϕ'$. We show that if $Δ_A$ is odd and square-free, then $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.

math.CO↗