Showing 1–33 of 33 results for author: Huo, D

Efficient Cutting Tool Wear Segmentation Based on Segment Anything Model

Authors: Zongshuo Li, Ding Huo, Markus Meurer, Thomas Bergs

Abstract: Tool wear conditions impact the surface quality of the workpiece and its final geometric precision. In this research, we propose an efficient tool wear segmentation approach based on Segment Anything Model, which integrates U-Net as an automated prompt generator to streamline the processes of tool wear detection. Our evaluation covered three Point-of-Interest generation methods and further investi… ▽ More Tool wear conditions impact the surface quality of the workpiece and its final geometric precision. In this research, we propose an efficient tool wear segmentation approach based on Segment Anything Model, which integrates U-Net as an automated prompt generator to streamline the processes of tool wear detection. Our evaluation covered three Point-of-Interest generation methods and further investigated the effects of variations in training dataset sizes and U-Net training intensities on resultant wear segmentation outcomes. The results consistently highlight our approach's advantage over U-Net, emphasizing its ability to achieve accurate wear segmentation even with limited training datasets. This feature underscores its potential applicability in industrial scenarios where datasets may be limited. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Alternating-Chiral Charge Density Waves and Hybrid Ferrimagnetism in Monolayered NbTe2

Authors: Yusong Bai, Guohua Cao, **ghao Deng, Haomin Fei, Xiaoyu Lin, Leiqiang Li, Chao Zhu, Zemin Pan, Tao Jian, Da Huo, Zhengbo Cheng, Chih-Kang Shih, ** Cui, Chendong Zhang, Zhenyu Zhang

Abstract: Intertwining of different quantum degrees of freedom manifests exotic quantum phenomena in many-body systems, especially in reduced dimensionality. Here we show that monolayered NbTe2 serves as an ideal platform where lattice, charge, and spin degrees of freedom manifest cooperatively, leading to a new and threading order of chirality. By using spin-polarized scanning tunneling microscopy/spectros… ▽ More Intertwining of different quantum degrees of freedom manifests exotic quantum phenomena in many-body systems, especially in reduced dimensionality. Here we show that monolayered NbTe2 serves as an ideal platform where lattice, charge, and spin degrees of freedom manifest cooperatively, leading to a new and threading order of chirality. By using spin-polarized scanning tunneling microscopy/spectroscopy, we reveal that the root19 * root19 phase of NbTe2 is encoded with both alternating-chiral atomic displacements and charge density waves, characterized by two chiral units of opposite handedness within the reconstructed cell. We show unambiguous evidence for emergent spin polarizations spreading over the primitive cell, with the magnetization orientation synchronized with alternating handedness of chiral order. Our first-principles studies identify the origin of intertwined orders being correlation driven, with the threading order of chirality emerging when the on-site Coulomb repulsion exceeds a critical value. The spin ordering is further shown to be of hybrid ferrimagnetic nature, contributed by the itinerant electrons and localized d-orbitals. Collectively, these findings expand the realm of chiral order in correlated electron systems, and facilitate an appealing platform for chiral spintronic and related applications. △ Less

Submitted 22 June, 2024; originally announced June 2024.

The Collusion of Memory and Nonlinearity in Stochastic Approximation With Constant Stepsize

Authors: Dongyan Huo, Yixuan Zhang, Yudong Chen, Qiaomin Xie

Abstract: In this work, we investigate stochastic approximation (SA) with Markovian data and nonlinear updates under constant stepsize $α>0$. Existing work has primarily focused on either i.i.d. data or linear update rules. We take a new perspective and carefully examine the simultaneous presence of Markovian dependency of data and nonlinear update rules, delineating how the interplay between these two stru… ▽ More In this work, we investigate stochastic approximation (SA) with Markovian data and nonlinear updates under constant stepsize $α>0$. Existing work has primarily focused on either i.i.d. data or linear update rules. We take a new perspective and carefully examine the simultaneous presence of Markovian dependency of data and nonlinear update rules, delineating how the interplay between these two structures leads to complications that are not captured by prior techniques. By leveraging the smoothness and recurrence properties of the SA updates, we develop a fine-grained analysis of the correlation between the SA iterates $θ_k$ and Markovian data $x_k$. This enables us to overcome the obstacles in existing analysis and establish for the first time the weak convergence of the joint process $(x_k, θ_k)_{k\geq0}$. Furthermore, we present a precise characterization of the asymptotic bias of the SA iterates, given by $\mathbb{E}[θ_\infty]-θ^\ast=α(b_\text{m}+b_\text{n}+b_\text{c})+O(α^{3/2})$. Here, $b_\text{m}$ is associated with the Markovian noise, $b_\text{n}$ is tied to the nonlinearity, and notably, $b_\text{c}$ represents a multiplicative interaction between the Markovian noise and nonlinearity, which is absent in previous works. As a by-product of our analysis, we derive finite-time bounds on higher moment $\mathbb{E}[\|θ_k-θ^\ast\|^{2p}]$ and present non-asymptotic geometric convergence rates for the iterates, along with a Central Limit Theorem. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Prelimit Coupling and Steady-State Convergence of Constant-stepsize Nonsmooth Contractive SA

Authors: Yixuan Zhang, Dongyan Huo, Yudong Chen, Qiaomin Xie

Abstract: Motivated by Q-learning, we study nonsmooth contractive stochastic approximation (SA) with constant stepsize. We focus on two important classes of dynamics: 1) nonsmooth contractive SA with additive noise, and 2) synchronous and asynchronous Q-learning, which features both additive and multiplicative noise. For both dynamics, we establish weak convergence of the iterates to a stationary limit dist… ▽ More Motivated by Q-learning, we study nonsmooth contractive stochastic approximation (SA) with constant stepsize. We focus on two important classes of dynamics: 1) nonsmooth contractive SA with additive noise, and 2) synchronous and asynchronous Q-learning, which features both additive and multiplicative noise. For both dynamics, we establish weak convergence of the iterates to a stationary limit distribution in Wasserstein distance. Furthermore, we propose a prelimit coupling technique for establishing steady-state convergence and characterize the limit of the stationary distribution as the stepsize goes to zero. Using this result, we derive that the asymptotic bias of nonsmooth SA is proportional to the square root of the stepsize, which stands in sharp contrast to smooth SA. This bias characterization allows for the use of Richardson-Romberg extrapolation for bias reduction in nonsmooth SA. △ Less

Submitted 24 April, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: ACM SIGMETRICS 2024. 71 pages, 3 figures

Asymptotic Product-form Steady-state for Multiclass Queueing Networks with SBP Service Policies in Multi-scale Heavy Traffic

Authors: J. G. Dai, Dongyan Huo

Abstract: In this work, we study the stationary distribution of the scaled queue length vector process in multi-class queueing networks operating under static buffer priority service policies. We establish that when subjected to a multi-scale heavy traffic condition, the stationary distribution converges to a product-form limit, with each component in the product form following an exponential distribution.… ▽ More In this work, we study the stationary distribution of the scaled queue length vector process in multi-class queueing networks operating under static buffer priority service policies. We establish that when subjected to a multi-scale heavy traffic condition, the stationary distribution converges to a product-form limit, with each component in the product form following an exponential distribution. This convergence is achieved under the assumption of uniform moment bounds. As an example, the uniform moment bound condition is shown to hold in a two-station five-class re-entrant line. Whether such a bound holds for general multi-class queueing networks remains an open problem. △ Less

Submitted 6 March, 2024; originally announced March 2024.

MSC Class: 60K25; 60J27; 60K37

Effectiveness of Constant Stepsize in Markovian LSA and Statistical Inference

Authors: Dongyan Huo, Yudong Chen, Qiaomin Xie

Abstract: In this paper, we study the effectiveness of using a constant stepsize in statistical inference via linear stochastic approximation (LSA) algorithms with Markovian data. After establishing a Central Limit Theorem (CLT), we outline an inference procedure that uses averaged LSA iterates to construct confidence intervals (CIs). Our procedure leverages the fast mixing property of constant-stepsize LSA… ▽ More In this paper, we study the effectiveness of using a constant stepsize in statistical inference via linear stochastic approximation (LSA) algorithms with Markovian data. After establishing a Central Limit Theorem (CLT), we outline an inference procedure that uses averaged LSA iterates to construct confidence intervals (CIs). Our procedure leverages the fast mixing property of constant-stepsize LSA for better covariance estimation and employs Richardson-Romberg (RR) extrapolation to reduce the bias induced by constant stepsize and Markovian data. We develop theoretical results for guiding stepsize selection in RR extrapolation, and identify several important settings where the bias provably vanishes even without extrapolation. We conduct extensive numerical experiments and compare against classical inference approaches. Our results show that using a constant stepsize enjoys easy hyperparameter tuning, fast convergence, and consistently better CI coverage, especially when data is limited. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: AAAI 2024

WMFormer++: Nested Transformer for Visible Watermark Removal via Implict Joint Learning

Authors: Dongjian Huo, Zehong Zhang, Han**g Su, Guanbin Li, Chaowei Fang, Qingyao Wu

Abstract: Watermarking serves as a widely adopted approach to safeguard media copyright. In parallel, the research focus has extended to watermark removal techniques, offering an adversarial means to enhance watermark robustness and foster advancements in the watermarking field. Existing watermark removal methods mainly rely on UNet with task-specific decoder branches--one for watermark localization and the… ▽ More Watermarking serves as a widely adopted approach to safeguard media copyright. In parallel, the research focus has extended to watermark removal techniques, offering an adversarial means to enhance watermark robustness and foster advancements in the watermarking field. Existing watermark removal methods mainly rely on UNet with task-specific decoder branches--one for watermark localization and the other for background image restoration. However, watermark localization and background restoration are not isolated tasks; precise watermark localization inherently implies regions necessitating restoration, and the background restoration process contributes to more accurate watermark localization. To holistically integrate information from both branches, we introduce an implicit joint learning paradigm. This empowers the network to autonomously navigate the flow of information between implicit branches through a gate mechanism. Furthermore, we employ cross-channel attention to facilitate local detail restoration and holistic structural comprehension, while harnessing nested structures to integrate multi-scale information. Extensive experiments are conducted on various challenging benchmarks to validate the effectiveness of our proposed method. The results demonstrate our approach's remarkable superiority, surpassing existing state-of-the-art methods by a large margin. △ Less

Submitted 21 August, 2023; v1 submitted 20 August, 2023; originally announced August 2023.

Coupling liquid electrochemical TEM and mass-spectrometry to investigate electrochemical reactions occurring in a Na-ion battery anode

Authors: Kevyn Gallegos Moncayo, Nicolas Folastre, Milan Toledo, Hélène Tonnoir, François Rabuel, Grégory Gachot, Da Huo, Arnaud Demortière

Abstract: In this study, we propose a novel approach for investigating the formation of solid electrolyte interphase (SEI) in Na-ion batteries (NIB) through the coupling of in situ liquid electrochemical transmission electron microscopy (ec-TEM) and gas-chromatography mass-spectrometry (GC/MS). To optimize this coupling, we conducted experiments on the sodiation of hard carbon materials (HC) using two diffe… ▽ More In this study, we propose a novel approach for investigating the formation of solid electrolyte interphase (SEI) in Na-ion batteries (NIB) through the coupling of in situ liquid electrochemical transmission electron microscopy (ec-TEM) and gas-chromatography mass-spectrometry (GC/MS). To optimize this coupling, we conducted experiments on the sodiation of hard carbon materials (HC) using two different setups: in situ ec-TEM holder (operating in an "anode free" configuration, referred to as $μ$-battery) and ex-situ setup (Swagelok battery configuration). In the in situ TEM experiments, we intentionally degraded the electrolyte (NP30) using cyclic voltammetry (CV) and analyzed the recovered liquid product using GC/MS, while the solid product ($μ$-chip) was analyzed using TEM techniques in a post-mortem analysis. The ex-situ experiments served as a reference to observe and detect the insertion of Na+ ions in the HC, SEI size (389 nm), SEI composition (P, Na, F, and O), and Na plating. Furthermore, the TEM analysis revealed a cyclability limitation in our in situ TEM system. This issue appears to be caused by the deposition of Na in the form of a "foam" structure, resulting from the gas release during the reaction of Na with DMC/EC electrolyte. The foam structure, subsequently transforms into a second SEI, is electrochemically inactive and reduce the cyclability of the battery. Overall, our results demonstrate the powerful synergy achieved by coupling in situ ec-TEM and GC/MS techniques, which provides a deeper understanding of the dynamics and behavior of SEI. Consequently, this knowledge contributes to the advancement of the new generation of NIB. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 8 figures

MVA2023 Small Object Detection Challenge for Spotting Birds: Dataset, Methods, and Results

Authors: Yuki Kondo, Norimichi Ukita, Takayuki Yamaguchi, Hao-Yu Hou, Mu-Yi Shen, Chia-Chi Hsu, En-Ming Huang, Yu-Chen Huang, Yu-Cheng Xia, Chien-Yao Wang, Chun-Yi Lee, Da Huo, Marc A. Kastner, Tingwei Liu, Yasutomo Kawanishi, Takatsugu Hirayama, Takahiro Komamizu, Ichiro Ide, Yosuke Shinya, Xinyao Liu, Guang Liang, Syusuke Yasui

Abstract: Small Object Detection (SOD) is an important machine vision topic because (i) a variety of real-world applications require object detection for distant objects and (ii) SOD is a challenging task due to the noisy, blurred, and less-informative image appearances of small objects. This paper proposes a new SOD dataset consisting of 39,070 images including 137,121 bird instances, which is called the S… ▽ More Small Object Detection (SOD) is an important machine vision topic because (i) a variety of real-world applications require object detection for distant objects and (ii) SOD is a challenging task due to the noisy, blurred, and less-informative image appearances of small objects. This paper proposes a new SOD dataset consisting of 39,070 images including 137,121 bird instances, which is called the Small Object Detection for Spotting Birds (SOD4SB) dataset. The detail of the challenge with the SOD4SB dataset is introduced in this paper. In total, 223 participants joined this challenge. This paper briefly introduces the award-winning methods. The dataset, the baseline code, and the website for evaluation on the public testset are publicly available. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: This paper is included in the proceedings of the 18th International Conference on Machine Vision Applications (MVA2023). It will be officially published at a later date. Project page : https://www.mva-org.jp/mva2023/challenge

Journal ref: 2023 18th International Conference on Machine Vision and Applications (MVA)

Spin-polarized correlated insulator in monolayer MoTe2-x

Authors: Zemin Pan, Wenqi Xiong, Jiaqi Dai, Yunhua Wang, Tao Jian, Xingxia Cui, **ghao Deng, Xiaoyu Lin, Zhengbo Cheng, Yusong Bai, Chao Zhu, Da Huo, Geng Li, Min Feng, Jun He, Wei Ji, Shengjun Yuan, Fengcheng Wu, Chendong Zhang, Hong-Jun Gao

Abstract: Flat electronic bands near the Fermi level provide a fertile playground for realizing interaction-driven correlated physics. To date, related experiments have mostly been limited to engineered multilayer systems (e.g., moiré systems). Herein, we report an experimental realization of nearly flat bands across the Fermi level in monolayer MoTe2-x by fabricating a uniformly ordered mirror-twin boundar… ▽ More Flat electronic bands near the Fermi level provide a fertile playground for realizing interaction-driven correlated physics. To date, related experiments have mostly been limited to engineered multilayer systems (e.g., moiré systems). Herein, we report an experimental realization of nearly flat bands across the Fermi level in monolayer MoTe2-x by fabricating a uniformly ordered mirror-twin boundary superlattice (corresponding to a stoichiometry of MoTe56/33). The kagome flat bands are discovered by combining scanning tunnelling microscopy and theoretical calculations. The partial filling nature of flat bands yields a correlated insulating state exhibiting a hard gap as large as 15 meV. Moreover, we observe pronounced responses of the correlated states to magnetic fields, providing evidence for a spin-polarized ground state. Our work introduces a monolayer platform that manifests strong correlation effects arising from flattened electronic bands. △ Less

Submitted 29 April, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 20 pages, 4 figures

Learning to Recover Spectral Reflectance from RGB Images

Authors: Dong Huo, Jian Wang, Yiming Qian, Yee-Hong Yang

Abstract: This paper tackles spectral reflectance recovery (SRR) from RGB images. Since capturing ground-truth spectral reflectance and camera spectral sensitivity are challenging and costly, most existing approaches are trained on synthetic images and utilize the same parameters for all unseen testing images, which are suboptimal especially when the trained models are tested on real images because they nev… ▽ More This paper tackles spectral reflectance recovery (SRR) from RGB images. Since capturing ground-truth spectral reflectance and camera spectral sensitivity are challenging and costly, most existing approaches are trained on synthetic images and utilize the same parameters for all unseen testing images, which are suboptimal especially when the trained models are tested on real images because they never exploit the internal information of the testing images. To address this issue, we adopt a self-supervised meta-auxiliary learning (MAXL) strategy that fine-tunes the well-trained network parameters with each testing image to combine external with internal information. To the best of our knowledge, this is the first work that successfully adapts the MAXL strategy to this problem. Instead of relying on naive end-to-end training, we also propose a novel architecture that integrates the physical relationship between the spectral reflectance and the corresponding RGB images into the network based on our mathematical analysis. Besides, since the spectral reflectance of a scene is independent to its illumination while the corresponding RGB images are not, we recover the spectral reflectance of a scene from its RGB images captured under multiple illuminations to further reduce the unknown. Qualitative and quantitative evaluations demonstrate the effectiveness of our proposed network and of the MAXL. Our code and data are available at https://github.com/Dong-Huo/SRR-MAXL. △ Less

Submitted 22 April, 2024; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: IEEE Transactions on Image Processing (TIP), 2024

Realization of multiple charge density waves in NbTe2 at the monolayer limit

Authors: Yusong Bai, Zemin Pan, **ghao Deng, Xiaoyu Lin, Tao Jian, Chao Zhu, Da Huo, Zhengbo Cheng, ** Cui, Zhenyu Zhang, Qiang Zou, Chendong Zhang

Abstract: Abstract: Layered transition-metal dichalcogenides (TMDCs) down to the monolayer (ML) limit provide a fertile platform for exploring charge-density waves (CDWs). Though bulk NbTe2 is known to harbor a single axis 3*1 CDW coexisting with non-trivial quantum properties, the scenario in the ML limit is still experimentally unknown. In this study, we unveil the richness of the CDW phases in ML NbTe2,… ▽ More Abstract: Layered transition-metal dichalcogenides (TMDCs) down to the monolayer (ML) limit provide a fertile platform for exploring charge-density waves (CDWs). Though bulk NbTe2 is known to harbor a single axis 3*1 CDW coexisting with non-trivial quantum properties, the scenario in the ML limit is still experimentally unknown. In this study, we unveil the richness of the CDW phases in ML NbTe2, where not only the theoretically predicted 4*4 and 4*1 phases, but also two unexpected sqrt(28)*sqrt(28) and sqrt(19)*sqrt(19) phases, can be realized. For such a complex CDW system, we establish an exhaustive growth phase diagram via systematic efforts in the material synthesis and scanning tunneling microscope characterization. Moreover, we report that the energetically stable phase is the larger scale order (sqrt(19)*sqrt(19)), which is surprisingly in contradiction to the prior prediction (4*4). These findings are confirmed using two different kinetic pathways, i.e., direct growth at proper growth temperatures (T), and low-T growth followed by high-T annealing. Our results provide a comprehensive diagram of the "zoo" of CDW orders in ML 1T-NbTe2 for the first time and offer a new material platform for studying novel quantum phases in the 2D limit. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Carbon Monitor Europe, near-real-time daily CO$_2$ emissions for 27 EU countries and the United Kingdom

Authors: Piyu Ke, Zhu Deng, Biqing Zhu, Bo Zheng, Yilong Wang, Olivier Boucher, Simon Ben Arous, Chuanlong Zhou, Xinyu Dou, Taochun Sun, Zhao Li, Feifan Yan, Duo Cui, Yifan Hu, Da Huo, Jean Pierre, Richard Engelen, Steven J. Davis, Philippe Ciais, Zhu Liu

Abstract: With the urgent need to implement the EU countries pledges and to monitor the effectiveness of Green Deal plan, Monitoring Reporting and Verification tools are needed to track how emissions are changing for all the sectors. Current official inventories only provide annual estimates of national CO$_2$ emissions with a lag of 1+ year which do not capture the variations of emissions due to recent sho… ▽ More With the urgent need to implement the EU countries pledges and to monitor the effectiveness of Green Deal plan, Monitoring Reporting and Verification tools are needed to track how emissions are changing for all the sectors. Current official inventories only provide annual estimates of national CO$_2$ emissions with a lag of 1+ year which do not capture the variations of emissions due to recent shocks including COVID lockdowns and economic rebounds, war in Ukraine. Here we present a near-real-time country-level dataset of daily fossil fuel and cement emissions from January 2019 through December 2021 for 27 EU countries and UK, which called Carbon Monitor Europe. The data are calculated separately for six sectors: power, industry, ground transportation, domestic aviation, international aviation and residential. Daily CO$_2$ emissions are estimated from a large set of activity data compiled from different sources. The goal of this dataset is to improve the timeliness and temporal resolution of emissions for European countries, to inform the public and decision makers about current emissions changes in Europe. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Near-real-time global gridded daily CO$_2$ emissions 2021

Authors: Xinyu Dou, **pyo Hong, Philippe Ciais, Frédéric Chevallier, Feifan Yan, Ying Yu, Yifan Hu, Da Huo, Yun Sun, Yilong Wang, Steven J. Davis, Monica Crippa, Greet Janssens-Maenhout, Diego Guizzardi, Efisio Solazzo, Xiaojuan Lin, Xuanren Song, Biqing Zhu, Duo Cui, Piyu Ke, Hengqi Wang, Wenwen Zhou, Xia Huang, Zhu Deng, Zhu Liu

Abstract: We present a near-real-time global gridded daily CO$_2$ emissions dataset (GRACED) throughout 2021. GRACED provides gridded CO$_2$ emissions at a 0.1degree*0.1degree spatial resolution and 1-day temporal resolution from cement production and fossil fuel combustion over seven sectors, including industry, power, residential consumption, ground transportation, international aviation, domestic aviatio… ▽ More We present a near-real-time global gridded daily CO$_2$ emissions dataset (GRACED) throughout 2021. GRACED provides gridded CO$_2$ emissions at a 0.1degree*0.1degree spatial resolution and 1-day temporal resolution from cement production and fossil fuel combustion over seven sectors, including industry, power, residential consumption, ground transportation, international aviation, domestic aviation, and international ship**. GRACED is prepared from a near-real-time daily national CO$_2$ emissions estimates (Carbon Monitor), multi-source spatial activity data emissions and satellite NO$_2$ data for time variations of those spatial activity data. GRACED provides the most timely overview of emissions distribution changes, which enables more accurate and timely identification of when and where fossil CO$_2$ emissions have rebounded and decreased. Uncertainty analysis of GRACED gives a grid-level two-sigma uncertainty of value of 19.9% in 2021, indicating the reliability of GRACED was not sacrificed for the sake of higher spatiotemporal resolution that GRACED provides. Continuing to update GRACED in a timely manner could help policymakers monitor energy and climate policies' effectiveness and make adjustments quickly. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Bias and Extrapolation in Markovian Linear Stochastic Approximation with Constant Stepsizes

Authors: Dongyan Huo, Yudong Chen, Qiaomin Xie

Abstract: We consider Linear Stochastic Approximation (LSA) with a constant stepsize and Markovian data. Viewing the joint process of the data and LSA iterate as a time-homogeneous Markov chain, we prove its convergence to a unique limiting and stationary distribution in Wasserstein distance and establish non-asymptotic, geometric convergence rates. Furthermore, we show that the bias vector of this limit ad… ▽ More We consider Linear Stochastic Approximation (LSA) with a constant stepsize and Markovian data. Viewing the joint process of the data and LSA iterate as a time-homogeneous Markov chain, we prove its convergence to a unique limiting and stationary distribution in Wasserstein distance and establish non-asymptotic, geometric convergence rates. Furthermore, we show that the bias vector of this limit admits an infinite series expansion with respect to the stepsize. Consequently, the bias is proportional to the stepsize up to higher order terms. This result stands in contrast with LSA under i.i.d. data, for which the bias vanishes. In the reversible chain setting, we provide a general characterization of the relationship between the bias and the mixing time of the Markovian data, establishing that they are roughly proportional to each other. While Polyak-Ruppert tail-averaging reduces the variance of the LSA iterates, it does not affect the bias. The above characterization allows us to show that the bias can be reduced using Richardson-Romberg extrapolation with $m\ge 2$ stepsizes, which eliminates the $m-1$ leading terms in the bias expansion. This extrapolation scheme leads to an exponentially smaller bias and an improved mean squared error, both in theory and empirically. Our results immediately apply to the Temporal Difference learning algorithm with linear function approximation, Markovian data, and constant stepsizes. △ Less

Submitted 21 August, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: SIGMETRICS 2023

Dual Progressive Transformations for Weakly Supervised Semantic Segmentation

Authors: Dongjian Huo, Yukun Su, Qingyao Wu

Abstract: Weakly supervised semantic segmentation (WSSS), which aims to mine the object regions by merely using class-level labels, is a challenging task in computer vision. The current state-of-the-art CNN-based methods usually adopt Class-Activation-Maps (CAMs) to highlight the potential areas of the object, however, they may suffer from the part-activated issues. To this end, we try an early attempt to e… ▽ More Weakly supervised semantic segmentation (WSSS), which aims to mine the object regions by merely using class-level labels, is a challenging task in computer vision. The current state-of-the-art CNN-based methods usually adopt Class-Activation-Maps (CAMs) to highlight the potential areas of the object, however, they may suffer from the part-activated issues. To this end, we try an early attempt to explore the global feature attention mechanism of vision transformer in WSSS task. However, since the transformer lacks the inductive bias as in CNN models, it can not boost the performance directly and may yield the over-activated problems. To tackle these drawbacks, we propose a Convolutional Neural Networks Refined Transformer (CRT) to mine a globally complete and locally accurate class activation maps in this paper. To validate the effectiveness of our proposed method, extensive experiments are conducted on PASCAL VOC 2012 and CUB-200-2011 datasets. Experimental evaluations show that our proposed CRT achieves the new state-of-the-art performance on both the weakly supervised semantic segmentation task the weakly supervised object localization task, which outperform others by a large margin. △ Less

Submitted 29 September, 2022; originally announced September 2022.

Learning Optimal Deterministic Auctions with Correlated Valuation Distributions

Authors: Da Huo, Zhilin Zhang, Zhenzhe Zheng, Chuan Yu, Jian Xu, Fan Wu

Abstract: In mechanism design, it is challenging to design the optimal auction with correlated values in general settings. Although value distribution can be further exploited to improve revenue, the complex correlation structure makes it hard to acquire in practice. Data-driven auction mechanisms, powered by machine learning, enable to design auctions directly from historical auction data, without relying… ▽ More In mechanism design, it is challenging to design the optimal auction with correlated values in general settings. Although value distribution can be further exploited to improve revenue, the complex correlation structure makes it hard to acquire in practice. Data-driven auction mechanisms, powered by machine learning, enable to design auctions directly from historical auction data, without relying on specific value distributions. In this work, we design a learning-based auction, which can encode the correlation of values into the rank score of each bidder, and further adjust the ranking rule to approach the optimal revenue. We strictly guarantee the property of strategy-proofness by encoding game theoretical conditions into the neural network structure. Furthermore, all operations in the designed auctions are differentiable to enable an end-to-end training paradigm. Experimental results demonstrate that the proposed auction mechanism can represent almost any strategy-proof auction mechanism, and outperforms the auction mechanisms wildly used in the correlated value settings. △ Less

Submitted 18 February, 2023; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: The proof of the epxressiveness of CAN is wrong. We made some unnecessary assumptions. We need to correct this idea and resubmit it later

Carbon Monitor-Power: near-real-time monitoring of global power generation on hourly to daily scales

Authors: Biqing Zhu, Xuanren Song, Zhu Deng, Wenli Zhao, Da Huo, Taochun Sun, Piyu Ke, Duo Cui, Chenxi Lu, Haiwang Zhong, Chaopeng Hong, Jian Qiu, Steven J. Davis, Pierre Gentine, Philippe Ciais, Zhu Liu

Abstract: We constructed a frequently updated, near-real-time global power generation dataset: Carbon Monitor-Power since January, 2016 at national levels with near-global coverage and hourly-to-daily time resolution. The data presented here are collected from 37 countries across all continents for eight source groups, including three types of fossil sources (coal, gas, and oil), nuclear energy and four gro… ▽ More We constructed a frequently updated, near-real-time global power generation dataset: Carbon Monitor-Power since January, 2016 at national levels with near-global coverage and hourly-to-daily time resolution. The data presented here are collected from 37 countries across all continents for eight source groups, including three types of fossil sources (coal, gas, and oil), nuclear energy and four groups of renewable energy sources (solar energy, wind energy, hydro energy and other renewables including biomass, geothermal, etc.). The global near-real-time power dataset shows the dynamics of the global power system, including its hourly, daily, weekly and seasonal patterns as influenced by daily periodical activities, weekends, seasonal cycles, regular and irregular events (i.e., holidays) and extreme events (i.e., the COVID-19 pandemic). The Carbon Monitor-Power dataset reveals that the COVID-19 pandemic caused strong disruptions in some countries (i.e., China and India), leading to a temporary or long-lasting shift to low carbon intensity, while it had only little impact in some other countries (i.e., Australia). This dataset offers a large range of opportunities for power-related scientific research and policy-making. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Lopsided optical diffraction in loop electromagnetically induced grating

Authors: Da Huo, Shuo Hua, Xue-Dong Tian, Yi-Mou Liu

Abstract: We propose a theoretical scheme in a cold Rubidium-87 ($^{87}$Rb) atomic ensemble with a non-Hermitian optical structure, in which a lopsided optical diffraction grating can be realized just with the combination of single spatially periodic modulation and loop-phase.~Parity-time ($\mathcal{PT}$) symmetric and parity-time antisymmetric ($\mathcal{APT}$) modulation can be switched by adjusting diffe… ▽ More We propose a theoretical scheme in a cold Rubidium-87 ($^{87}$Rb) atomic ensemble with a non-Hermitian optical structure, in which a lopsided optical diffraction grating can be realized just with the combination of single spatially periodic modulation and loop-phase.~Parity-time ($\mathcal{PT}$) symmetric and parity-time antisymmetric ($\mathcal{APT}$) modulation can be switched by adjusting different relative phases of the applied beams. Both $\mathcal{PT}$ symmetry and $\mathcal{PT}$ antisymmetry in our system are robust to the amplitudes of coupling fields, which allows optical response to be modulated precisely without symmetry breaking. Our scheme shows some nontrivial optical properties, such as lopsided diffraction, single-order diffraction, asymmetric Dammam-like diffraction, etc. Our work will benefit the development of versatile non-Hermitian/asymmetric optical devices. △ Less

Submitted 30 July, 2022; originally announced August 2022.

Structured Light with Redundancy Codes

Authors: Zhanghao Sun, Yu Zhang, Yicheng Wu, Dong Huo, Yiming Qian, Jian Wang

Abstract: Structured light (SL) systems acquire high-fidelity 3D geometry with active illumination projection. Conventional systems exhibit challenges when working in environments with strong ambient illumination, global illumination and cross-device interference. This paper proposes a general-purposed technique to improve the robustness of SL by projecting redundant optical signals in addition to the nativ… ▽ More Structured light (SL) systems acquire high-fidelity 3D geometry with active illumination projection. Conventional systems exhibit challenges when working in environments with strong ambient illumination, global illumination and cross-device interference. This paper proposes a general-purposed technique to improve the robustness of SL by projecting redundant optical signals in addition to the native SL patterns. In this way, projected signals become more distinguishable from errors. Thus the geometry information can be more easily recovered using simple signal processing and the ``coding gain" in performance is obtained. We propose three applications using our redundancy codes: (1) Self error-correction for SL imaging under strong ambient light, (2) Error detection for adaptive reconstruction under global illumination, and (3) Interference filtering with device-specific projection sequence encoding, especially for event camera-based SL and light curtain devices. We systematically analyze the design rules and signal processing algorithms in these applications. Corresponding hardware prototypes are built for evaluations on real-world complex scenes. Experimental results on the synthetic and real data demonstrate the significant performance improvements in SL systems with our redundancy codes. △ Less

Submitted 18 June, 2022; originally announced June 2022.

Near-real-time estimates of daily CO2 emissions from 1500 cities worldwide

Authors: Da Huo, Xiaoting Huang, Xinyu Dou, Philippe Ciais, Yun Li, Zhu Deng, Yilong Wang, Duo Cui, Fouzi Benkhelifa, Taochun Sun, Biqing Zhu, Geoffrey Roest, Kevin R. Gurney, Piyu Ke, Rui Guo, Chenxi Lu, Xiaojuan Lin, Arminel Lovell, Kyra Appleby, Philip L. DeCola, Steven J. Davis, Zhu Liu

Abstract: Building on near-real-time and spatially explicit estimates of daily carbon dioxide (CO2) emissions, here we present and analyze a new city-level dataset of fossil fuel and cement emissions. Carbon Monitor Cities provides daily, city-level estimates of emissions from January 2019 through December 2021 for 1500 cities in 46 countries, and disaggregates five sectors: power generation, residential (b… ▽ More Building on near-real-time and spatially explicit estimates of daily carbon dioxide (CO2) emissions, here we present and analyze a new city-level dataset of fossil fuel and cement emissions. Carbon Monitor Cities provides daily, city-level estimates of emissions from January 2019 through December 2021 for 1500 cities in 46 countries, and disaggregates five sectors: power generation, residential (buildings), industry, ground transportation, and aviation. The goal of this dataset is to improve the timeliness and temporal resolution of city-level emission inventories and includes estimates for both functional urban areas and city administrative areas that are consistent with global and regional totals. Comparisons with other datasets (i.e. CEADs, MEIC, Vulcan, and CDP) were performed, and we estimate the overall uncertainty to be 21.7%. Carbon Monitor Cities is a near-real-time, city-level emission dataset that includes cities around the world, including the first estimates for many cities in low-income countries. A more complete description of this dataset is published in Scientific Data (https://doi.org/10.1038/s41597-022-01657-z). △ Less

Submitted 9 September, 2022; v1 submitted 16 April, 2022; originally announced April 2022.

Journal ref: Scientific Data, 2022

Glass Segmentation with RGB-Thermal Image Pairs

Authors: Dong Huo, Jian Wang, Yiming Qian, Yee-Hong Yang

Abstract: This paper proposes a new glass segmentation method utilizing paired RGB and thermal images. Due to the large difference between the transmission property of visible light and that of the thermal energy through the glass where most glass is transparent to the visible light but opaque to thermal energy, glass regions of a scene are made more distinguishable with a pair of RGB and thermal images tha… ▽ More This paper proposes a new glass segmentation method utilizing paired RGB and thermal images. Due to the large difference between the transmission property of visible light and that of the thermal energy through the glass where most glass is transparent to the visible light but opaque to thermal energy, glass regions of a scene are made more distinguishable with a pair of RGB and thermal images than solely with an RGB image. To exploit such a unique property, we propose a neural network architecture that effectively combines an RGB-thermal image pair with a new multi-modal fusion module based on attention, and integrate CNN and transformer to extract local features and non-local dependencies, respectively. As well, we have collected a new dataset containing 5551 RGB-thermal image pairs with ground-truth segmentation annotations. The qualitative and quantitative evaluations demonstrate the effectiveness of the proposed approach on fusing RGB and thermal data for glass segmentation. Our code and data are available at https://github.com/Dong-Huo/RGB-T-Glass-Segmentation. △ Less

Submitted 16 March, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: IEEE Transactions on Image Processing (TIP), 2023

Blind Image Deconvolution Using Variational Deep Image Prior

Authors: Dong Huo, Abbas Masoumzadeh, Rafsanjany Kushol, Yee-Hong Yang

Abstract: Conventional deconvolution methods utilize hand-crafted image priors to constrain the optimization. While deep-learning-based methods have simplified the optimization by end-to-end training, they fail to generalize well to blurs unseen in the training dataset. Thus, training image-specific models is important for higher generalization. Deep image prior (DIP) provides an approach to optimize the we… ▽ More Conventional deconvolution methods utilize hand-crafted image priors to constrain the optimization. While deep-learning-based methods have simplified the optimization by end-to-end training, they fail to generalize well to blurs unseen in the training dataset. Thus, training image-specific models is important for higher generalization. Deep image prior (DIP) provides an approach to optimize the weights of a randomly initialized network with a single degraded image by maximum a posteriori (MAP), which shows that the architecture of a network can serve as the hand-crafted image prior. Different from the conventional hand-crafted image priors that are statistically obtained, it is hard to find a proper network architecture because the relationship between images and their corresponding network architectures is unclear. As a result, the network architecture cannot provide enough constraint for the latent sharp image. This paper proposes a new variational deep image prior (VDIP) for blind image deconvolution, which exploits additive hand-crafted image priors on latent sharp images and approximates a distribution for each pixel to avoid suboptimal solutions. Our mathematical analysis shows that the proposed method can better constrain the optimization. The experimental results further demonstrate that the generated images have better quality than that of the original DIP on benchmark datasets. The source code of our VDIP is available at https://github.com/Dong-Huo/VDIP-Deconvolution. △ Less

Submitted 5 June, 2023; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2023

Global Gridded Daily CO$_2$ Emissions

Authors: Xinyu Dou, Yilong Wang, Philippe Ciais, Frédéric Chevallier, Steven J. Davis, Monica Crippa, Greet Janssens-Maenhout, Diego Guizzardi, Efisio Solazzo, Feifan Yan, Da Huo, Zheng Bo, Zhu Deng, Biqing Zhu, Hengqi Wang, Qiang Zhang, Pierre Gentine, Zhu Liu

Abstract: Precise and high-resolution carbon dioxide (CO$_2$) emission data is of great importance of achieving the carbon neutrality around the world. Here we present for the first time the near-real-time Global Gridded Daily CO$_2$ Emission Datasets (called GRACED) from fossil fuel and cement production with a global spatial-resolution of 0.1$^\circ$ by 0.1$^\circ$ and a temporal-resolution of 1-day. Grid… ▽ More Precise and high-resolution carbon dioxide (CO$_2$) emission data is of great importance of achieving the carbon neutrality around the world. Here we present for the first time the near-real-time Global Gridded Daily CO$_2$ Emission Datasets (called GRACED) from fossil fuel and cement production with a global spatial-resolution of 0.1$^\circ$ by 0.1$^\circ$ and a temporal-resolution of 1-day. Gridded fossil emissions are computed for different sectors based on the daily national CO$_2$ emissions from near real time dataset (Carbon Monitor), the spatial patterns of point source emission dataset Global Carbon Grid (GID), Emission Database for Global Atmospheric Research (EDGAR) and spatiotemporal patters of satellite nitrogen dioxide (NO$_2$) retrievals. Our study on the global CO$_2$ emissions responds to the growing and urgent need for high-quality, fine-grained near-real-time CO2 emissions estimates to support global emissions monitoring across various spatial scales. We show the spatial patterns of emission changes for power, industry, residential consumption, ground transportation, domestic and international aviation, and international ship** sectors between 2019 and 2020. This help us to give insights on the relative contributions of various sectors and provides a fast and fine-grained overview of where and when fossil CO$_2$ emissions have decreased and rebounded in response to emergencies (e.g. COVID-19) and other disturbances of human activities than any previously published dataset. As the world recovers from the pandemic and decarbonizes its energy systems, regular updates of this dataset will allow policymakers to more closely monitor the effectiveness of climate and energy policies and quickly adapt. △ Less

Submitted 18 July, 2021; originally announced July 2021.

Blind Non-Uniform Motion Deblurring using Atrous Spatial Pyramid Deformable Convolution and Deblurring-Reblurring Consistency

Authors: Dong Huo, Abbas Masoumzadeh, Yee-Hong Yang

Abstract: Many deep learning based methods are designed to remove non-uniform (spatially variant) motion blur caused by object motion and camera shake without knowing the blur kernel. Some methods directly output the latent sharp image in one stage, while others utilize a multi-stage strategy (\eg multi-scale, multi-patch, or multi-temporal) to gradually restore the sharp image. However, these methods have… ▽ More Many deep learning based methods are designed to remove non-uniform (spatially variant) motion blur caused by object motion and camera shake without knowing the blur kernel. Some methods directly output the latent sharp image in one stage, while others utilize a multi-stage strategy (\eg multi-scale, multi-patch, or multi-temporal) to gradually restore the sharp image. However, these methods have the following two main issues: 1) The computational cost of multi-stage is high; 2) The same convolution kernel is applied in different regions, which is not an ideal choice for non-uniform blur. Hence, non-uniform motion deblurring is still a challenging and open problem. In this paper, we propose a new architecture which consists of multiple Atrous Spatial Pyramid Deformable Convolution (ASPDC) modules to deblur an image end-to-end with more flexibility. Multiple ASPDC modules implicitly learn the pixel-specific motion with different dilation rates in the same layer to handle movements of different magnitude. To improve the training, we also propose a reblurring network to map the deblurred output back to the blurred input, which constrains the solution space. Our experimental results show that the proposed method outperforms state-of-the-art methods on the benchmark datasets. The code is available at https://github.com/Dong-Huo/ASPDC. △ Less

Submitted 21 April, 2022; v1 submitted 27 June, 2021; originally announced June 2021.

Comments: CVPRW 2022

Neural Auction: End-to-End Learning of Auction Mechanisms for E-Commerce Advertising

Authors: Xiangyu Liu, Chuan Yu, Zhilin Zhang, Zhenzhe Zheng, Yu Rong, Hongtao Lv, Da Huo, Yiqing Wang, Dagui Chen, Jian Xu, Fan Wu, Guihai Chen, Xiaoqiang Zhu

Abstract: In e-commerce advertising, it is crucial to jointly consider various performance metrics, e.g., user experience, advertiser utility, and platform revenue. Traditional auction mechanisms, such as GSP and VCG auctions, can be suboptimal due to their fixed allocation rules to optimize a single performance metric (e.g., revenue or social welfare). Recently, data-driven auctions, learned directly from… ▽ More In e-commerce advertising, it is crucial to jointly consider various performance metrics, e.g., user experience, advertiser utility, and platform revenue. Traditional auction mechanisms, such as GSP and VCG auctions, can be suboptimal due to their fixed allocation rules to optimize a single performance metric (e.g., revenue or social welfare). Recently, data-driven auctions, learned directly from auction outcomes to optimize multiple performance metrics, have attracted increasing research interests. However, the procedure of auction mechanisms involves various discrete calculation operations, making it challenging to be compatible with continuous optimization pipelines in machine learning. In this paper, we design \underline{D}eep \underline{N}eural \underline{A}uctions (DNAs) to enable end-to-end auction learning by proposing a differentiable model to relax the discrete sorting operation, a key component in auctions. We optimize the performance metrics by develo** deep models to efficiently extract contexts from auctions, providing rich features for auction design. We further integrate the game theoretical conditions within the model design, to guarantee the stability of the auctions. DNAs have been successfully deployed in the e-commerce advertising system at Taobao. Experimental evaluation results on both large-scale data set as well as online A/B test demonstrated that DNAs significantly outperformed other mechanisms widely adopted in industry. △ Less

Submitted 13 July, 2021; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: To appear in the Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2021

Blind Image Super-Resolution with Spatial Context Hallucination

Authors: Dong Huo, Yee-Hong Yang

Abstract: Deep convolution neural networks (CNNs) play a critical role in single image super-resolution (SISR) since the amazing improvement of high performance computing. However, most of the super-resolution (SR) methods only focus on recovering bicubic degradation. Reconstructing high-resolution (HR) images from randomly blurred and noisy low-resolution (LR) images is still a challenging problem. In this… ▽ More Deep convolution neural networks (CNNs) play a critical role in single image super-resolution (SISR) since the amazing improvement of high performance computing. However, most of the super-resolution (SR) methods only focus on recovering bicubic degradation. Reconstructing high-resolution (HR) images from randomly blurred and noisy low-resolution (LR) images is still a challenging problem. In this paper, we propose a novel Spatial Context Hallucination Network (SCHN) for blind super-resolution without knowing the degradation kernel. We find that when the blur kernel is unknown, separate deblurring and super-resolution could limit the performance because of the accumulation of error. Thus, we integrate denoising, deblurring and super-resolution within one framework to avoid such a problem. We train our model on two high quality datasets, DIV2K and Flickr2K. Our method performs better than state-of-the-art methods when input images are corrupted with random blur and noise. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 14 pages, 6 figures

Vulnerability-Aware Poisoning Mechanism for Online RL with Unknown Dynamics

Authors: Yanchao Sun, Da Huo, Furong Huang

Abstract: Poisoning attacks on Reinforcement Learning (RL) systems could take advantage of RL algorithm's vulnerabilities and cause failure of the learning. However, prior works on poisoning RL usually either unrealistically assume the attacker knows the underlying Markov Decision Process (MDP), or directly apply the poisoning methods in supervised learning to RL. In this work, we build a generic poisoning… ▽ More Poisoning attacks on Reinforcement Learning (RL) systems could take advantage of RL algorithm's vulnerabilities and cause failure of the learning. However, prior works on poisoning RL usually either unrealistically assume the attacker knows the underlying Markov Decision Process (MDP), or directly apply the poisoning methods in supervised learning to RL. In this work, we build a generic poisoning framework for online RL via a comprehensive investigation of heterogeneous poisoning models in RL. Without any prior knowledge of the MDP, we propose a strategic poisoning algorithm called Vulnerability-Aware Adversarial Critic Poison (VA2C-P), which works for most policy-based deep RL agents, closing the gap that no poisoning method exists for policy-based RL agents. VA2C-P uses a novel metric, stability radius in RL, that measures the vulnerability of RL algorithms. Experiments on multiple deep RL agents and multiple environments show that our poisoning algorithm successfully prevents agents from learning a good policy or teaches the agents to converge to a target policy, with a limited attacking budget. △ Less

Submitted 15 February, 2022; v1 submitted 1 September, 2020; originally announced September 2020.

Journal ref: The Ninth International Conference on Learning Representations (ICLR 2021)

Building Interpretable Interaction Trees for Deep NLP Models

Authors: Die Zhang, Huilin Zhou, Hao Zhang, Xiaoyi Bao, Da Huo, Ruizhao Chen, Xu Cheng, Mengyue Wu, Quanshi Zhang

Abstract: This paper proposes a method to disentangle and quantify interactions among words that are encoded inside a DNN for natural language processing. We construct a tree to encode salient interactions extracted by the DNN. Six metrics are proposed to analyze properties of interactions between constituents in a sentence. The interaction is defined based on Shapley values of words, which are considered a… ▽ More This paper proposes a method to disentangle and quantify interactions among words that are encoded inside a DNN for natural language processing. We construct a tree to encode salient interactions extracted by the DNN. Six metrics are proposed to analyze properties of interactions between constituents in a sentence. The interaction is defined based on Shapley values of words, which are considered as an unbiased estimation of word contributions to the network prediction. Our method is used to quantify word interactions encoded inside the BERT, ELMo, LSTM, CNN, and Transformer networks. Experimental results have provided a new perspective to understand these DNNs, and have demonstrated the effectiveness of our method. △ Less

Submitted 16 January, 2021; v1 submitted 29 June, 2020; originally announced July 2020.

Logic Bugs in IoT Platforms and Systems: A Review

Authors: Wei Zhou, Chen Cao, Dongdong Huo, Kai Cheng, Lan Zhang, Le Guan, Tao Liu, Yaowen Zheng, Yuqing Zhang, Limin Sun, Yazhe Wang, Peng Liu

Abstract: In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper s… ▽ More In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper seeks to provide a review of the recently discovered logic bugs that are specific to IoT platforms and systems. In particular, 17 logic bugs and one weakness falling into seven categories of vulnerabilities are reviewed in this survey. △ Less

Submitted 2 March, 2020; v1 submitted 31 December, 2019; originally announced December 2019.

A Critique of a Polynomial-time SAT Solver Devised by Sergey Gubin

Authors: Ian Christopher, Dennis Huo, Bryan Jacobs

Abstract: This paper refutes the validity of the polynomial-time algorithm for solving satisfiability proposed by Sergey Gubin. Gubin introduces the algorithm using 3-SAT and eventually expands it to accept a broad range of forms of the Boolean satisfiability problem. Because 3-SAT is NP-complete, the algorithm would have implied P = NP, had it been correct. Additionally, this paper refutes the correctnes… ▽ More This paper refutes the validity of the polynomial-time algorithm for solving satisfiability proposed by Sergey Gubin. Gubin introduces the algorithm using 3-SAT and eventually expands it to accept a broad range of forms of the Boolean satisfiability problem. Because 3-SAT is NP-complete, the algorithm would have implied P = NP, had it been correct. Additionally, this paper refutes the correctness of his polynomial-time reduction of SAT to 2-SAT. △ Less

Submitted 16 April, 2008; originally announced April 2008.

Tunable charge carriers and thermoelectricity of single-crystal Ba8Ga16Sn30

Authors: M. A. Avila, D. Huo, T. Sakata, K. Suekuni, T. Takabatake

Abstract: We have grown single crystals of the type-VIII intermetallic clathrate Ba8Ga16Sn30 from both Sn and Ga flux, evaluated their compositions through electron microprobe analysis and studied their transport properties through measurements on temperature dependent resistivity, thermopower and Hall coefficient. Crystals grown in Sn flux show n-type carriers and those from Ga flux show p-type carriers,… ▽ More We have grown single crystals of the type-VIII intermetallic clathrate Ba8Ga16Sn30 from both Sn and Ga flux, evaluated their compositions through electron microprobe analysis and studied their transport properties through measurements on temperature dependent resistivity, thermopower and Hall coefficient. Crystals grown in Sn flux show n-type carriers and those from Ga flux show p-type carriers, whereas all measured compositions remain very close to the stoichiometric 8:16:30 proportion of Ba:Ga:Sn, expected from charge-balance principles. Our results indicate a very high sensitivity of the charge carrier nature and density with respect to the growth conditions, leading to relevant differences in transport properties which point to the importance of tuning this material for optimal thermoelectric performance. △ Less

Submitted 4 January, 2006; v1 submitted 4 May, 2005; originally announced May 2005.

Comments: Revised version accepted in J. Phys.: Cond. Mat

Journal ref: J. Phys. Condens. Matter 18 (2006) 1585-1592.

Structural, transport, and thermal properties of single crystalline type-VIII clathrate Ba8Ga16Sn30

Authors: D. Huo, T. Sakata, T. Sasakawa, M. A. Avila, M. Tsubota, F. Iga, H. Fukuoka, S. Yamanaka, S. Aoyagi, T. Takabatake

Abstract: We report the electrical resistivity, Hall coefficient, thermoelectric power, specific heat, and thermal conductivity on single crystals of the type-VIII clathrate Ba8Ga16Sn30 grown from Sn-flux. Negative S and R_H over a wide temperature range indicate that electrons dominate electrical transport properties. Both rho(T) and S(T) show typical behavior of a heavily doped semiconductor. The absolu… ▽ More We report the electrical resistivity, Hall coefficient, thermoelectric power, specific heat, and thermal conductivity on single crystals of the type-VIII clathrate Ba8Ga16Sn30 grown from Sn-flux. Negative S and R_H over a wide temperature range indicate that electrons dominate electrical transport properties. Both rho(T) and S(T) show typical behavior of a heavily doped semiconductor. The absolute value of S increases monotonically to 243 uV/K with increasing temperature up to 550 K. The large S may originate from the low carrier concentration n=3.7x10^19 cm^(-3). Hall mobility u_H shows a maximum of 62 cm^2/Vs around 70 K. The analysis of temperature dependence of u_H suggests a crossover of dominant scattering mechanism from ionized impurity to acoustic phonon scattering with increasing temperature. The existence of local vibration modes of Ba atoms in cages composed of Ga and Sn atoms is evidenced by analysis of experimental data of structural refinement and specific heat, which give an Einstein temperature of 50 K and a Debye temperature of 200 K. This local vibration of Ba atoms should be responsible for the low thermal conductivity (1.1 W/m K at 150 K). The potential of type-VIII clathrate compounds for thermoelectric application is discussed. △ Less

Submitted 21 September, 2004; originally announced September 2004.

Comments: 6 pages, 6 figures, submitted to Phys. Rev. B

Journal ref: Phys. Rev. B 71 (2005) 075113.