• ### Non-commutative Discretize-then-Optimize Algorithms for Elliptic PDE-Constrained Optimal Control Problems(1706.07652)

Aug. 1, 2018 math.NA, math.OC
In this paper, we analyze the convergence of several discretize-then-optimize algorithms, based on either a second-order or a fourth-order finite difference discretization, for solving elliptic PDE-constrained optimization or optimal control problems. To ensure the convergence of a discretize-then-optimize algorithm, one well-accepted criterion is to choose or redesign the discretization scheme such that the resultant discretize-then-optimize algorithm commutes with the corresponding optimize-then-discretize algorithm. In other words, both types of algorithms would give rise to exactly the same discrete optimality system. However, such an approach is not trivial. In this work, by investigating a simple distributed elliptic optimal control problem, we first show that enforcing such a stringent condition of commutative property is only sufficient but not necessary for achieving the desired convergence. We then propose to add some suitable $H_1$ semi-norm penalty/regularization terms to recover the lost convergence due to the inconsistency caused by the loss of commutativity. Numerical experiments are carried out to verify our theoretical analysis and also validate the effectiveness of our proposed regularization techniques.
• ### Discovery of Log-Periodic Oscillations in Ultra-Quantum Topological Materials(1704.00995)

Quantum oscillations are usually the manifestation of the underlying physical nature in condensed matter systems. Here we report a new type of log-periodic quantum oscillations in ultra-quantum three-dimensional topological materials. Beyond the quantum limit (QL), the log-periodic oscillations involving up to five oscillating cycles (5 peaks and 5 dips) are observed on the magnetoresistance (MR) of high quality single-crystal ZrTe5, virtually showing the clearest feature of discrete scale invariance (DSI). Further theoretical analyses show that the two-body quasi-bound states can be responsible for the DSI feature. Our work provides a new perspective on the ground state of topological materials beyond the QL.
• ### Distributionally Robust Chance-Constrained Approximate AC-OPF with Wasserstein Metric(1706.05538)

April 28, 2018 math.OC
Chance constrained optimal power flow (OPF) has been recognized as a promising framework to manage the risk from variable renewable energy (VRE). In presence of VRE uncertainties, this paper discusses a distributionally robust chance constrained approximate AC-OPF. The power flow model employed in the proposed OPF formulation combines an exact AC power flow model at the nominal operation point and an approximate linear power flow model to reflect the system response under uncertainties. The ambiguity set employed in the distributionally robust formulation is the Wasserstein ball centered at the empirical distribution. The proposed OPF model minimizes the expectation of the quadratic cost function w.r.t. the worst-case probability distribution and guarantees the chance constraints satisfied for any distribution in the ambiguity set. The whole method is data-driven in the sense that the ambiguity set is constructed from historical data without any presumption on the type of the probability distribution, and more data leads to smaller ambiguity set and less conservative strategy. Moreover, special problem structures of the proposed problem formulation are exploited to develop an efficient and scalable solution approach. Case studies are carried out on IEEE 14 and 118 bus systems to show the accuracy and necessity of the approximate AC model and the attractive features of the distributionally robust optimization approach compared with other methods to deal with uncertainties.
• ### Rapid variability of BL Lac 0925+504: interstellar scintillation induced?(1804.09665)

April 25, 2018 astro-ph.GA, astro-ph.HE
Analysis of rapid variability at 4.85 GHz for the BL BLac object 0925+504 is presented and discussed. The structure functions (SF) are investigated with both refractive and weak interstellar scintillation (RISS/WISS) models analytically. Parameters obtained with these models are quantitatively compared, suggesting that the emission region of IDV is remarkably compact and the responsible interstellar scintillation medium (ISM) lies very close to the observer. Furthermore possible evidence of annual modulation of the variability timescales is detected in this source. Our findings indicate that the observed rapid variability in 0925+504 is predominantly caused by a scattering screen located along the line of sight to the source, at a distance of $\sim 110\,pc$ to the observer.
• ### Effelsberg Monitoring of a Sample of RadioAstron Blazars: Analysis of Intra-Day Variability(1804.09289)

April 24, 2018 astro-ph.GA, astro-ph.HE
We present the first results of an ongoing intra-day variability (IDV) flux density monitoring program of 107 blazars, which were selected from a sample of RadioAstron space very long baseline interferometry (VLBI) targets. The~IDV observations were performed with the Effelsberg 100-m radio telescope at 4.8\,GHz, focusing on the statistical properties of IDV in a relatively large sample of compact active galactic nuclei (AGN). We investigated the dependence of rapid ($<$3 day) variability on various source properties through a likelihood approach. We found that the IDV amplitude depends on flux density and that fainter sources vary by about a factor of 3 more than their brighter counterparts. We also found a significant difference in the variability amplitude between inverted- and flat-spectrum radio sources, with the former exhibiting stronger variations. $\gamma$-ray loud sources were found to vary by up to a factor 4 more than $\gamma$-ray quiet ones, with 4$\sigma$ significance. However a galactic latitude dependence was barely observed, which suggests that it is predominantly the intrinsic properties (e.g., angular size, core-dominance) of the blazars that determine how they scintillate, rather than the directional dependence in the interstellar medium (ISM). We showed that the uncertainty in the VLBI brightness temperatures obtained from the space VLBI data of the RadioAstron satellite can be as high as $\sim$70\% due to the presence of the rapid flux density variations. Our statistical results support the view that IDV at centimeter wavelengths is predominantly caused by interstellar scintillation (ISS) of the emission from the most compact, core-dominant region in an AGN.
• ### Dual Spaces of Anisotropic Mixed-Norm Hardy Spaces(1804.05558)

April 16, 2018 math.AP, math.CA, math.FA
Let $\vec{a}:=(a_1,\ldots,a_n)\in[1,\infty)^n$, $\vec{p}:=(p_1,\ldots,p_n)\in(0,\infty)^n$ and $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ be the anisotropic mixed-norm Hardy space associated with $\vec{a}$ defined via the non-tangential grand maximal function. In this article, the authors give the dual space of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$, which was asked by Cleanthous et al. in [J. Geom. Anal. 27 (2017), 2758-2787]. More precisely, via first introducing the anisotropic mixed-norm Campanato space $\mathcal{L}_{\vec{p},\,q,\,s}^{\vec{a}}(\mathbb{R}^n)$ with $q\in[1,\infty]$ and $s\in\mathbb{Z}_+:=\{0,1,\ldots\}$, and applying the known atomic and finite atomic characterizations of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$, the authors prove that the dual space of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ is the space $\mathcal{L}_{\vec{p},\,r',\,s}^{\vec{a}}(\mathbb{R}^n)$ with $\vec{p}\in(0,1]^n$, $r\in(1,\infty]$, $1/r+1/r'=1$ and $s\in[\lfloor\frac{\nu}{a_-}(\frac{1}{p_-}-1) \rfloor,\infty)\cap\mathbb{Z}_+$, where $\nu:=a_1+\cdots+a_n$, $a_-:=\min\{a_1,\ldots,a_n\}$, $p_-:=\min\{p_1,\ldots,p_n\}$ and, for any $t\in \mathbb{R}$, $\lfloor t\rfloor$ denotes the largest integer not greater than $t$. This duality result is new even for the isotropic mixed-norm Hardy spaces on $\mathbb{R}^n$.
• ### Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties(1803.01387)

March 4, 2018 cs.SY
We define robust abstractions for synthesizing provably correct and robust controllers for (possibly infinite) uncertain transition systems. It is shown that robust abstractions are sound in the sense that they preserve robust satisfaction of linear-time properties. We then focus on discrete-time control systems modelled by nonlinear difference equations with inputs and define concrete robust abstractions for them. While most abstraction techniques in the literature for nonlinear systems focus on constructing sound abstractions, we present computational procedures for constructing both sound and approximately complete robust abstractions for general nonlinear control systems without stability assumptions. Such procedures are approximately complete in the sense that, given a concrete discrete-time control system and an arbitrarily small perturbation of this system, there exists a finite transition system that robustly abstracts the concrete system and is abstracted by the slightly perturbed system simultaneously. A direct consequence of this result is that robust control synthesis for discrete-time nonlinear systems and linear-time specifications is robustly decidable. More specifically, if there exists a robust control strategy that realizes a given linear-time specification, we can algorithmically construct a (potentially less) robust control strategy that realizes the same specification. The theoretical results are illustrated with a simple motion planning example.
• ### Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis(1802.09082)

Feb. 25, 2018 math.OC
This paper proposes a formal synthesis algorithm for discrete-time switched systems with respect to reach-and-stay specifications. Fundamental to the proposed method is a fixed-point algorithm characterizing the initial states satisfying reach-and-stay specifications for continuous-state systems. Based on the interval branch-and-bound scheme, the original continuous state space is adaptively partitioned into a finite number of cells according to the given specification and system dynamics during the fixed-point iterations. Valid switching modes are recorded and a partition-based switching strategy can be extracted immediately after the algorithm terminates. In contrast with most of the abstraction-based methods, the proposed algorithm is guaranteed to return a switching strategy after a finite number of iterations, provided that the specification is robustly realizable. As illustrated in the numerical example, the adaptive partitioning framework effectively reduces the size of the finite partition, which offers a considerable advantage over abstraction-based methods that use a uniform partition.
• ### Atomic and Littlewood-Paley Characterizations of Anisotropic Mixed-Norm Hardy Spaces and Their Applications(1801.06251)

Jan. 22, 2018 math.AP, math.CA
Let $\vec{a}:=(a_1,\ldots,a_n)\in[1,\infty)^n$, $\vec{p}:=(p_1,\ldots,p_n)\in(0,\infty)^n$ and $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ be the anisotropic mixed-norm Hardy space associated with $\vec{a}$ defined via the non-tangential grand maximal function. In this article, via first establishing a Calder\'{o}n-Zygmund decomposition and a discrete Calder\'{o}n reproducing formula, the authors then characterize $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$, respectively, by means of atoms, the Lusin area function, the Littlewood-Paley $g$-function or $g_{\lambda}^\ast$-function. The obtained Littlewood-Paley $g$-function characterization of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ coincidentally confirms a conjecture proposed by Hart et al. [Trans. Amer. Math. Soc. (2017), DOI: 10.1090/tran/7312]. Applying the aforementioned Calder\'{o}n-Zygmund decomposition as well as the atomic characterization of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$, the authors establish a finite atomic characterization of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$, which further induces a criterion on the boundedness of sublinear operators from $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ into a quasi-Banach space. Then, applying this criterion, the authors obtain the boundedness of anisotropic Calder\'{o}n-Zygmund operators from $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ to itself [or to $L^{\vec{p}}(\mathbb{R}^n)$]. The obtained atomic characterizations of $H_{\vec{a}}^{\vec{p}}(\mathbb{R}^n)$ and boundedness of anisotropic Calder\'{o}n-Zygmund operators on these Hardy-type spaces positively answer two questions mentioned by Cleanthous et al. in [J. Geom. Anal. 27 (2017), 2758-2787]. All these results are new even for the isotropic mixed-norm Hardy spaces on $\mathbb{R}^n$.
• ### Skeleton-Based Human Action Recognition with Global Context-Aware Attention LSTM Networks(1707.05740)

Jan. 11, 2018 cs.CV
Human action recognition in 3D skeleton sequences has attracted a lot of research attention. Recently, Long Short-Term Memory (LSTM) networks have shown promising performance in this task due to their strengths in modeling the dependencies and dynamics in sequential data. As not all skeletal joints are informative for action recognition, and the irrelevant joints often bring noise which can degrade the performance, we need to pay more attention to the informative ones. However, the original LSTM network does not have explicit attention ability. In this paper, we propose a new class of LSTM network, Global Context-Aware Attention LSTM (GCA-LSTM), for skeleton based action recognition. This network is capable of selectively focusing on the informative joints in each frame of each skeleton sequence by using a global context memory cell. To further improve the attention capability of our network, we also introduce a recurrent attention mechanism, with which the attention performance of the network can be enhanced progressively. Moreover, we propose a stepwise training scheme in order to train our network effectively. Our approach achieves state-of-the-art performance on five challenging benchmark datasets for skeleton based action recognition.
• ### Convergence rate for a Gauss collocation method applied to constrained optimal control(1607.02798)

Dec. 19, 2017 math.NA
A local convergence rate is established for a Gauss orthogonal collocation method applied to optimal control problems with control constraints. If the Hamiltonian possesses a strong convexity property, then the theory yields convergence for problems whose optimal state and costate possess two square integrable derivatives. The convergence theory is based on a stability result for the sup-norm change in the solution of a variational inequality relative to a 2-norm perturbation, and on a Sobolev space bound for the error in interpolation at the Gauss quadrature points and the additional point -1. The tightness of the convergence theory is examined using a numerical example.
• ### Safe Medicine Recommendation via Medical Knowledge Graph Embedding(1710.05980)

Oct. 16, 2017 cs.AI, cs.IR
Most of the existing medicine recommendation systems that are mainly based on electronic medical records (EMRs) are significantly assisting doctors to make better clinical decisions benefiting both patients and caregivers. Even though the growth of EMRs is at a lighting fast speed in the era of big data, content limitations in EMRs restrain the existed recommendation systems to reflect relevant medical facts, such as drug-drug interactions. Many medical knowledge graphs that contain drug-related information, such as DrugBank, may give hope for the recommendation systems. However, the direct use of these knowledge graphs in the systems suffers from robustness caused by the incompleteness of the graphs. To address these challenges, we stand on recent advances in graph embedding learning techniques and propose a novel framework, called Safe Medicine Recommendation (SMR), in this paper. Specifically, SMR first constructs a high-quality heterogeneous graph by bridging EMRs (MIMIC-III) and medical knowledge graphs (ICD-9 ontology and DrugBank). Then, SMR jointly embeds diseases, medicines, patients, and their corresponding relations into a shared lower dimensional space. Finally, SMR uses the embeddings to decompose the medicine recommendation into a link prediction process while considering the patient's diagnoses and adverse drug reactions. To our best knowledge, SMR is the first to learn embeddings of a patient-disease-medicine graph for medicine recommendation in the world. Extensive experiments on real datasets are conducted to evaluate the effectiveness of proposed framework.
• ### Modified multi-dimensional limiting process with enhanced shock stability on unstructured grids(1710.07187)

Oct. 6, 2017 physics.flu-dyn, math.NA
The basic concept of multi-dimensional limiting process (MLP) on unstructured grids is inherited and modified for improving shock stabilities and reducing numerical dissipation on smooth regions. A relaxed version of MLP condition, simply named as weak-MLP, is proposed for reducing dissipation. Moreover, a stricter condition, that is the strict-MLP condition, is proposed to enhance the numerical stability. The maximum/minimum principle is fulfilled by both the strict- and weak-MLP condition. A differentiable pressure weight function is applied for the combination of two novel conditions, and thus the modified limiter is named as MLP-pw(pressure-weighted). A series of numerical test cases show that MLP-pw limiter has improved stability and convergence, especially in hypersonic simulations. Furthermore, the limiter also shows lower dissipation in regions without significant pressure transition. Therefore, MLP-pw limiter can capture contact discontinuity and expansion accurately.
• ### Elastic and electronic tuning of magnetoresistance in MoTe$_2$(1710.02589)

Oct. 6, 2017 cond-mat.mtrl-sci
Quasi-two dimensional transition metal dichalcogenides (TMD) exhibit dramatic properties that may transform electronic and photonic devices. We report on how the anomalously large magnetoresistance (MR) observed under high magnetic field in MoTe$_2$, a type II Weyl semimetal, can be reversibly controlled under tensile strain. The MR is enhanced by as much as ~ 30 % at low temperatures and high magnetic fields, when uniaxial strain is applied along the $a$-crystallographic direction and reduced by about the same amount when strain is applied along the $b$-direction. We show that the large in-plane electric anisotropy is coupled with the structural transition from the 1T' monoclinic to the Td orthorhombic Weyl phase. A shift of the Td - 1T' phase boundary is achieved by minimal tensile strain. The sensitivity of the MR to tensile strain suggests the possibility of a nontrivial spin-orbital texture of the electron and hole pockets in the vicinity of Weyl points. Our ab initio calculations indeed show a significant orbital mixing on the Fermi surface, which is modified by the tensile strains.
• ### Efficient Time Domain Decomposition Algorithms for Parabolic PDE-Constrained Optimization Problems(1612.09210)

Sept. 27, 2017 math.NA
Optimization with time-dependent partial differential equations (PDEs) as constraints {appears} in many science and engineering applications. The associated first-order necessary optimality system consists of one forward and one backward time-dependent PDE coupled with optimality conditions. An optimization process by using the one-shot method determines the optimal control, state and adjoint state at once, with the cost of solving a large scale, fully discrete optimality system. Hence, such {a} one-shot method could easily become computationally prohibitive when the time span is long or time step is small. To overcome this difficulty, we propose several time domain decomposition algorithms for improving the {computational efficiency of the one-shot method}. In these algorithms, the optimality system is split into many small subsystems over a much smaller time interval, which are coupled by appropriate continuity matching conditions. Both one-level and two-level multiplicative and additive Schwarz algorithms are developed for iteratively solving the decomposed subsystems in parallel. In particular, the convergence of the one-level, non-overlapping algorithms is proved. The effectiveness of our proposed algorithms is demonstrated by both 1D and 2D numerical experiments, where the developed two-level algorithms {show convergence rates that are scalable} with respect to the number of subdomains.
• ### On the Powerball Method for Optimization(1603.07421)

Sept. 1, 2017 math.OC, cs.LG, cs.SY
We propose a new method to accelerate the convergence of optimization algorithms. This method simply adds a power coefficient $\gamma\in[0,1)$ to the gradient during optimization. We call this the Powerball method and analyze the convergence rate for the Powerball method for strongly convex functions. While theoretically the Powerball method is guaranteed to have a linear convergence rate in the same order of the gradient method, we show that empirically it significantly outperforms the gradient descent and Newton's method, especially during the initial iterations. We demonstrate that the Powerball method provides a $10$-fold speedup of the convergence of both gradient descent and L-BFGS on multiple real datasets.
• ### PDD Graph: Bridging Electronic Medical Records and Biomedical Knowledge Graphs via Entity Linking(1707.05340)

July 24, 2017 cs.AI, cs.DB, cs.IR
Electronic medical records contain multi-format electronic medical data that consist of an abundance of medical knowledge. Facing with patient's symptoms, experienced caregivers make right medical decisions based on their professional knowledge that accurately grasps relationships between symptoms, diagnosis and corresponding treatments. In this paper, we aim to capture these relationships by constructing a large and high-quality heterogenous graph linking patients, diseases, and drugs (PDD) in EMRs. Specifically, we propose a novel framework to extract important medical entities from MIMIC-III (Medical Information Mart for Intensive Care III) and automatically link them with the existing biomedical knowledge graphs, including ICD-9 ontology and DrugBank. The PDD graph presented in this paper is accessible on the Web via the SPARQL endpoint, and provides a pathway for medical discovery and applications, such as effective treatment recommendations.
• ### Chlorine and Bromine Isotope Fractionation of Halogenated Organic Compounds in Electron Ionization Mass Spectrometry(1702.02323)

July 4, 2017 physics.chem-ph
Revelation of chlorine and bromine isotope fractionation of halogenated organic compounds (HOCs) in electron ionization mass spectrometry (EI-MS) is crucial for compound-specific chlorine/bromine isotope analysis (CSIA-Cl/Br) using gas chromatography EI-MS (GC-EI-MS). This study systematically investigated chlorine/bromine isotope fractionation in EI-MS of HOCs including 12 organochlorines and 5 organobromines using GC-double focus magnetic-sector high resolution MS (GC-DFS-HRMS). Chlorine/bromine isotope fractionation behaviors of the HOCs in EI-MS showed varied isotope fractionation patterns and extents depending on compounds. Besides, isotope fractionation patterns and extents varied at different EI energies, demonstrating potential impacts of EI energy on the chlorine/bromine isotope fractionation. Hypotheses of inter-ion and intra-ion isotope fractionations were applied to interpreting the isotope fractionation behaviors. The inter-ion and intra-ion isotope fractionations counteractively contributed to the apparent isotope ratio for a certain dehalogenated product ion. The isotope fractionation mechanisms were tentatively elucidated on basis of the quasi-equilibrium theory. In the light of the findings of this study, isotope ratio evaluation scheme using complete molecular ions and the EI source with sufficient stable EI energies may be helpful to achieve optimal precision and accuracy of CSIA-Cl/Br data. The method and results of this study can help to predict isotope fractionation of HOCs during dehalogenation processes and further to reveal the dehalogenation pathways.
• ### Skeleton-Based Action Recognition Using Spatio-Temporal LSTM Network with Trust Gates(1706.08276)

June 26, 2017 cs.CV
Skeleton-based human action recognition has attracted a lot of research attention during the past few years. Recent works attempted to utilize recurrent neural networks to model the temporal dependencies between the 3D positional configurations of human body joints for better analysis of human activities in the skeletal data. The proposed work extends this idea to spatial domain as well as temporal domain to better analyze the hidden sources of action-related information within the human skeleton sequences in both of these domains simultaneously. Based on the pictorial structure of Kinect's skeletal data, an effective tree-structure based traversal framework is also proposed. In order to deal with the noise in the skeletal data, a new gating mechanism within LSTM module is introduced, with which the network can learn the reliability of the sequential data and accordingly adjust the effect of the input data on the updating procedure of the long-term context representation stored in the unit's memory cell. Moreover, we introduce a novel multi-modal feature fusion strategy within the LSTM unit in this paper. The comprehensive experimental results on seven challenging benchmark datasets for human action recognition demonstrate the effectiveness of the proposed method.
• ### Anisotropic Variable Hardy-Lorentz Spaces and Their Real Interpolation(1705.05188)

May 15, 2017 math.AP, math.CA, math.FA
Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-H\"{o}lder continuous condition, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. In this article, the authors first introduce the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ associated with $A$, via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain characterizations of $H_A^{p(\cdot),q}(\mathbb R^n)$, respectively, in terms of the atom and the Lusin area function. As an application, the authors prove that the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ severs as the intermediate space between the anisotropic variable Hardy space $H_A^{p(\cdot)}(\mathbb R^n)$ and the space $L^\infty(\mathbb R^n)$ via the real interpolation. This, together with a special case of the real interpolation theorem of H. Kempka and J. Vyb\'iral on the variable Lorentz space, further implies the coincidence between $H_A^{p(\cdot),q}(\mathbb R^n)$ and the variable Lorentz space $L^{p(\cdot),q}(\mathbb R^n)$ when $\mathop\mathrm{essinf}_{x\in\mathbb{R}^n}p(x)\in (1,\infty)$.
• ### Exploiting Source-Object Network to Resolve Object Conflicts in Linked Data(1604.08407)

April 21, 2017 cs.DB
Considerable effort has been made to increase the scale of Linked Data. However, an inevitable problem when dealing with data integration from multiple sources is that multiple different sources often provide conflicting objects for a certain predicate of the same real-world entity, so-called object conflicts problem. Currently, the object conflicts problem has not received sufficient attention in the Linked Data community. In this paper, we first formalize the object conflicts resolution problem as computing the joint distribution of variables on a heterogeneous information network called the Source-Object Network, which successfully captures the all correlations from objects and Linked Data sources. Then, we introduce a novel approach based on network effects called ObResolution(Object Resolution), to identify a true object from multiple conflicting objects. ObResolution adopts a pairwise Markov Random Field (pMRF) to model all evidences under a unified framework. Extensive experimental results on six real-world datasets show that our method exhibits higher accuracy than existing approaches and it is robust and consistent in various domains. \keywords{Linked Data, Object Conflicts, Linked Data Quality, Truth Discovery
• ### TruthDiscover: Resolving Object Conflicts on Massive Linked Data(1603.02056)

April 21, 2017 cs.DB
Considerable effort has been made to increase the scale of Linked Data. However, because of the openness of the Semantic Web and the ease of extracting Linked Data from semi-structured sources (e.g., Wikipedia) and unstructured sources, many Linked Data sources often provide conflicting objects for a certain predicate of a real-world entity. Existing methods cannot be trivially extended to resolve conflicts in Linked Data because Linked Data has a scale-free property. In this demonstration, we present a novel system called TruthDiscover, to identify the truth in Linked Data with a scale-free property. First, TruthDiscover leverages the topological properties of the Source Belief Graph to estimate the priori beliefs of sources, which are utilized to smooth the trustworthiness of sources. Second, the Hidden Markov Random Field is utilized to model interdependencies among objects for estimating the trust values of objects accurately. TruthDiscover can visualize the process of resolving conflicts in Linked Data. Experiments results on four datasets show that TruthDiscover exhibits satisfactory accuracy when confronted with data having a scale-free property.
• ### A Procedural Texture Generation Framework Based on Semantic Descriptions(1704.04141)

April 13, 2017 cs.CV
Procedural textures are normally generated from mathematical models with parameters carefully selected by experienced users. However, for naive users, the intuitive way to obtain a desired texture is to provide semantic descriptions such as "regular," "lacelike," and "repetitive" and then a procedural model with proper parameters will be automatically suggested to generate the corresponding textures. By contrast, it is less practical for users to learn mathematical models and tune parameters based on multiple examinations of large numbers of generated textures. In this study, we propose a novel framework that generates procedural textures according to user-defined semantic descriptions, and we establish a mapping between procedural models and semantic texture descriptions. First, based on a vocabulary of semantic attributes collected from psychophysical experiments, a multi-label learning method is employed to annotate a large number of textures with semantic attributes to form a semantic procedural texture dataset. Then, we derive a low dimensional semantic space in which the semantic descriptions can be separated from one other. Finally, given a set of semantic descriptions, the diverse properties of the samples in the semantic space can lead the framework to find an appropriate generation model that uses appropriate parameters to produce a desired texture. The experimental results show that the proposed framework is effective and that the generated textures closely correlate with the input semantic descriptions.
• ### Perception Driven Texture Generation(1703.09784)

March 24, 2017 cs.AI, cs.CV, cs.LG
This paper investigates a novel task of generating texture images from perceptual descriptions. Previous work on texture generation focused on either synthesis from examples or generation from procedural models. Generating textures from perceptual attributes have not been well studied yet. Meanwhile, perceptual attributes, such as directionality, regularity and roughness are important factors for human observers to describe a texture. In this paper, we propose a joint deep network model that combines adversarial training and perceptual feature regression for texture generation, while only random noise and user-defined perceptual attributes are required as input. In this model, a preliminary trained convolutional neural network is essentially integrated with the adversarial framework, which can drive the generated textures to possess given perceptual attributes. An important aspect of the proposed model is that, if we change one of the input perceptual features, the corresponding appearance of the generated textures will also be changed. We design several experiments to validate the effectiveness of the proposed method. The results show that the proposed method can produce high quality texture images with desired perceptual properties.
• ### Distributed Kalman filtering with minimum-time consensus algorithm(1703.05438)

March 16, 2017 cs.SY
Fueled by applications in sensor networks, these years have witnessed a surge of interest in distributed estimation and filtering. A new approach is hereby proposed for the Distributed Kalman Filter (DKF) by integrating a local covariance computation scheme. Compared to existing well-established DKF methods, the virtue of the present approach lies in accelerating the convergence of the state estimates to those of the Centralized Kalman Filter (CKF). Meanwhile, an algorithm is proposed that allows each node to compute the averaged measurement noise covariance matrix within a minimal discrete-time running steps in a distributed way. Both theoretical analysis and extensive numerical simulations are conducted to show the feasibility and superiority of the proposed method.