EDBT 2026 Demo / reviewers in the wild / expert
Zhengbing Bian
dblp:97/6287
· DBLP profile ↗
10ranked-venue papers
8as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 5 first-authorComputer networks · 2 · 2 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 64% Quantum computing and quantum information · 28% Mathematical optimization · 8% | |
| Artificial intelligence
1 paper |
Generative modeling · 50% Probabilistic and Bayesian machine learning · 50% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Quantum computing and quantum information › quantum computational models
quantum annealing |
0.4 | 1 | 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results · Inf. Comput. 2020 |
Automated reasoning and model checking
satisfiability |
0.4 | 1 | 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results · Inf. Comput. 2020 |
Automated reasoning and model checking › satisfiability
SAT solving |
0.4 | 1 | 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results · Inf. Comput. 2020 |
Machine learning › Probabilistic and Bayesian machine learning › structured models › latent variable model
discrete latent variable model |
0.3 | 1 | 2018 | DVAE++: Discrete Variational Autoencoders with Overlapping Transformations · ICML 2018 |
Machine learning › Generative modeling
variational autoencoder |
0.3 | 1 | 2018 | DVAE++: Discrete Variational Autoencoders with Overlapping Transformations · ICML 2018 |
Mathematical optimization
combinatorial optimization |
0.1 | 1 | 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results · Inf. Comput. 2020 |
Automated reasoning and model checking › satisfiability
maximum satisfiability |
0.1 | 1 | 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results · Inf. Comput. 2020 |
Methods — techniques the papers use, named apart from their topics
quantum annealing · 0.4overlapping transformations · 0.3gumbel-softmax · 0.3boltzmann machine priors · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti |
Inf. Comput. | 1 |
| 2019 | CATARACTS: Challenge on automatic tool annotation for cataRACT surgery
Hassan Al Hajj, Mathieu Lamard, Pierre-Henri Conze, Soumali Roychowdhury, Xiaowei Hu 0001, Gabija Marsalkaite, Odysseas Zisimopoulos, Muneer Ahmad Dedmari, Fenqiang Zhao, Jonas Prellberg, Manish Sahu, Adrian Galdran, Teresa Araujo, Duc My Vo, Chandan Panda, Navdeep Dahiya, Satoshi Kondo, Zhengbing Bian, Gwenolé Quellec |
Medical Image Anal. | 18 |
| 2018 | DVAE++: Discrete Variational Autoencoders with Overlapping TransformationsabstractTraining of discrete latent variable models remains challenging because passing gradient information through discrete units is difficult. We propose a new class of smoothing transformations based on a mixture of two overlapping distributions, and show that the proposed transformation can be used for training binary latent models with either directed or undirected priors. We derive a new variational bound to efficiently train with Boltzmann machine priors. Using this bound, we develop DVAE++, a generative model with a global discrete prior and a hierarchy of convolutional continuous variables. Experiments on several benchmarks show that overlapping transformations outperform other recent continuous relaxations of discrete latent variables including Gumbel-Softmax (Maddison et al., 2016; Jang et al., 2016), and discrete variational autoencoders (Rolfe 2016). Arash Vahdat, William G. Macready, Zhengbing Bian, Amir Khoshaman, Evgeny Andriyash |
ICML | 3 |
| 2016 | Practical algorithms for branch-decompositions of planar graphs
Zhengbing Bian, Qian-Ping Gu, Mingzhe Zhu |
Discret. Appl. Math. | 1 |
| 2010 | Wavelength assignment in multifiber star networksabstractAbstract We consider the wavelength assignment problem in WDM optical networks with multiple parallel fibers: Given a setPof paths, assign a color to each path such that the number of paths with the same color containing any link is at most the number of fibers in the link. Assuming the number of fibers in each link is fixed, we study two optimization problems. One is to minimize the number of colors for coloringP. The other is to color as many paths ofPas possible with a given number of colors. We show that both the minimization and the maximization problems are NP‐hard in star networks with a uniform odd number of fibers. We give polynomial time optimal algorithms for the minimization and maximization problems in star networks with an even number of fibers and in the generalized star networks with a uniform even number of fibers. We also give a 1.58‐approximation algorithm for the maximization problem in the generalized star networks with an arbitrary number of fibers. The algorithms for the maximization problem in the generalized stars are based on our newly developed algorithm, which optimally solves the call control problem in the generalized star networks. The call control algorithm is of independent interest. © 2009 Wiley Periodicals, Inc. NETWORKS, 2010 Zhengbing Bian, Qian-Ping Gu |
Networks | 1 |
| 2009 | Efficient algorithms for wavelength assignment on trees of rings
Zhengbing Bian, Qian-Ping Gu, Xiao Zhou 0001 |
Discret. Appl. Math. | 1 |
| 2009 | 1.5-Approximation algorithm for weighted maximum routing and wavelength assignment on rings
Zhengbing Bian, Qian-Ping Gu |
Inf. Process. Lett. | 1 |
| 2008 | Empirical Study on Branchwidth and Branch Decomposition of Planar GraphsabstractWe propose efficient implementations of Seymour and Thomas algorithm which, given a planar graph and an integer β, decides whether the graph has the branchwidth at least β. The computational results of our implementations show that the branchwidth of a planar graph can be computed in a practical time and memory space for some instances of size about one hundred thousand edges. Previous studies report that a straightforward implementation of the algorithm is memory consuming, which could be a bottleneck for solving instances with more than a few thousands edges. Our results suggest that with efficient implementations, the memory space required by the algorithm may not be a bottleneck in practice. Applying our implementations, an optimal branch decomposition of a planar graph of practical size can be computed in a reasonable time. Branch-decomposition based algorithms have been explored as an approach for solving many NP-hard problems on graphs. The results of this paper suggest that the approach could be practical. Zhengbing Bian, Qian-Ping Gu, Marjan Marzban, Hisao Tamaki, Yumi Yoshitake |
ALENEX | 1 |
| 2007 | Wavelength Assignment in Multifiber WDM Star and Spider NetworksabstractWe consider the wavelength assignment problem in WDM optical networks with multiple parallel fibers: Given a set P of paths, assign a color to each path such that the number of paths with the same color on any link is at most the number of fibers in the link. Assuming the number of fibers in each link is fixed, we study two optimization problems. One is to minimize the number of colors for coloring P. The other is to color as many paths of P as possible with a given number of colors. The main results of the paper are: (1) Both the minimization and maximization problems are NP-hard in stars (thus in spiders) with uniform odd number of fibers. (2) The minimization problem is polynomial time solvable in stars with even number of fibers and in spiders with uniform even number of fibers. The result for spiders implies a (1 + 1/K - 1)-approximation algorithm for the minimization problem in spiders with uniform odd number k of fibers. (3) For the maximization problem, we show that it is polynomial time solvable for spiders with uniform even number of fibers and give a 1.58-approximation algorithm for spiders with arbitrary number of fibers. The algorithms for the maximization problem in spiders are based on our newly developed algorithm which optimally solves the call control problem in spiders. Call control is a well studied problem in communication networks. It is known solvable for stars but is NP-hard and MAX SNP-hard even for depth-3 trees. As the spider is a boundary topology between the star and the tree, the call control algorithm has its independent interests. Zhengbing Bian, Qian-Ping Gu |
ICC | 1 |
| 2004 | Wavelength Assignment on Bounded Degree Trees of Rings
Zhengbing Bian, Qian-Ping Gu, Xiao Zhou 0001 |
ICPADS | 1 |