BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Haibin Wang

Haibin Wang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Artificial IntelligenceComputer Science and Game Theoryhep-phComputation and LanguageComputational Engineering, Finance, and Sciencecond-mat.mtrl-sciDatabaseseess.SYnlin.PSSystems and Control

Catalog footprint

What is connected

10works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Balanced control between performance and saturation for constrained nonlinear systems

This paper addresses the balanced control between performance and saturation for a class of constrained nonlinear systems, including the branches: balanced command filtered backstepping (BCFB) and balanced performance control (BPC). To balance the interconnection and conflict between performance and saturation constraints, define a performance safety evaluation (PSE) function, which evaluates the system safety under the destabilizing effect variables (DEVs) like saturation quantity and filter errors, then the cumulative effects of DEVs are fully utilized and compensated for the performance recovery. Specifically, there exists some degree of tolerance for the DEVs in the safety region, and the compensation operation works when the evaluation of the system goes dangerous. The advantages of the proposed methodology are illustrated in the numerical simulation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Deformation mechanism of WC single crystals under nanoindentation: Effects of surface defects and orientation on pop-in and hysteresis

Nanoindentation was carried out on pure tungsten carbide (WC) on the basal (0001) and prismatic (1010) planes, using Berkovich and spherical indenters, in both single load and multi-load testing. The work focuses on correlating the load-displacement curves, including elastic to plastic deformation, size effect and hysteresis with the deformation behaviour of WC. With different specimen preparation processes, the elastic to plastic deformation started at different threshold loads: This observation was found to be due to the variation in surface dislocation density. Staircase deformation was observed thought to be caused by dislocation motion and the formation of slip bands; sudden displacement discontinuities in the load-displacement response - associated with dislocation loop nucleation - occurred at, or near the theoretical shear strength. Furthermore, discontinuities in load-displacement curves were also used to confirm that hysteresis loops were a result of plastic deformation, as they when the loading was purely elastic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

HIE-SQL: History Information Enhanced Network for Context-Dependent Text-to-SQL Semantic Parsing

Recently, context-dependent text-to-SQL semantic parsing which translates natural language into SQL in an interaction process has attracted a lot of attention. Previous works leverage context-dependence information either from interaction history utterances or the previous predicted SQL queries but fail in taking advantage of both since of the mismatch between natural language and logic-form SQL. In this work, we propose a History Information Enhanced text-to-SQL model (HIE-SQL) to exploit context-dependence information from both history utterances and the last predicted SQL query. In view of the mismatch, we treat natural language and SQL as two modalities and propose a bimodal pre-trained model to bridge the gap between them. Besides, we design a schema-linking graph to enhance connections from utterances and the SQL query to the database schema. We show our history information enhanced methods improve the performance of HIE-SQL by a significant margin, which achieves new state-of-the-art results on the two context-dependent text-to-SQL benchmarks, the SparC and CoSQL datasets, at the writing time.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Sequential Mechanisms for Multi-type Resource Allocation

Several resource allocation problems involve multiple types of resources, with a different agency being responsible for "locally" allocating the resources of each type, while a central planner wishes to provide a guarantee on the properties of the final allocation given agents' preferences. We study the relationship between properties of the local mechanisms, each responsible for assigning all of the resources of a designated type, and the properties of a sequential mechanism which is composed of these local mechanisms, one for each type, applied sequentially, under lexicographic preferences, a well studied model of preferences over multiple types of resources in artificial intelligence and economics. We show that when preferences are O-legal, meaning that agents share a common importance order on the types, sequential mechanisms satisfy the desirable properties of anonymity, neutrality, non-bossiness, or Pareto-optimality if and only if every local mechanism also satisfies the same property, and they are applied sequentially according to the order O. Our main results are that under O-legal lexicographic preferences, every mechanism satisfying strategyproofness and a combination of these properties must be a sequential composition of local mechanisms that are also strategyproof, and satisfy the same combinations of properties.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Probabilistic Serial Mechanism for Multi-Type Resource Allocation

In multi-type resource allocation (MTRA) problems, there are p $\ge$ 2 types of items, and n agents, who each demand one unit of items of each type, and have strict linear preferences over bundles consisting of one item of each type. For MTRAs with indivisible items, our first result is an impossibility theorem that is in direct contrast to the single type (p = 1) setting: No mechanism, the output of which is always decomposable into a probability distribution over discrete assignments (where no item is split between agents), can satisfy both sd-efficiency and sd-envy-freeness. To circumvent this impossibility result, we consider the natural assumption of lexicographic preference, and provide an extension of the probabilistic serial (PS), called lexicographic probabilistic serial (LexiPS).We prove that LexiPS satisfies sd-efficiency and sd-envy-freeness, retaining the desirable properties of PS. Moreover, LexiPS satisfies sd-weak-strategyproofness when agents are not allowed to misreport their importance orders. For MTRAs with divisible items, we show that the existing multi-type probabilistic serial (MPS) mechanism satisfies the stronger efficiency notion of lexi-efficiency, and is sd-envy-free under strict linear preferences, and sd-weak-strategyproof under lexicographic preferences. We also prove that MPS can be characterized both by leximin-ptimality and by item-wise ordinal fairness, and the family of eating algorithms which MPS belongs to can be characterized by no-generalized-cycle condition.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Stability and collisions of quantum droplets in PT -symmetric dual-core couplers

We study the effect of the interplay between parity-time ($\mathcal{PT}$) symmetry and optical lattice (OL) potential on dynamics of quantum droplets (QDs) forming in a binary bosonic condensate trapped in a dual-core system. It is found that the stability of symmetric QDs in such non-Hermitian system depends critically on the competition of gain and loss $γ$, inter-core coupling $κ$, and OL potential. In the absence of OL potential, the $\mathcal{PT}$-symmetric QDs are unstable against symmetry-breaking perturbations with the increase of the total condensate norm $N$, and they retrieve the stability at larger $N$, in the weakly-coupled regime. As expected, the stable region of the $\mathcal{PT}$-symmetric QDs shrinks when $γ$ increases, i.e., the $\mathcal{PT}$ symmetry is prone to break the stability of QDs. There is a critical value of $κ$ beyond which the $\mathcal{PT}$-symmetric QDs are entirely stable in the unbroken $\mathcal{PT}$-symmetric phase. In the presence of OL potential, the $\mathcal{PT}$-symmetric on-site QDs are still stable for relatively small and large values of $N$. Nevertheless, it is demonstrated that the OL potential can assist stabilization of $\mathcal{PT}$-symmetric on-site QDs for some moderate values of $N$. On the other hand, it is worth noting that the relatively small $\mathcal{PT}$-symmetric off-site QDs are unstable, and only the relatively large ones are stable. Furthermore, collisions between stable $\mathcal{PT}$-symmetric QDs are considered too. It is revealed that the slowly moving $\mathcal{PT}$-symmetric QDs tend to merge into breathers, while the fast-moving ones display quasi-elastic collision and suffer fragmentation for small and large values of $N$, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

C-PASS-PC: A Cloud-driven Prototype of Multi-Center Proactive Surveillance System for Prostate Cancer

Currently there are many clinical trials using paper case report forms as the primary data collection tool. Cloud Computing platforms provide big potential for increasing efficiency through a web-based data collection interface, especially for large-scale multi-center trials. Traditionally, clinical and biological data for multi-center trials are stored in one dedicated, centralized database system running at a data coordinating center (DCC). This paper presents C-PASS-PC, a cloud-driven prototype of multi-center proactive surveillance system for prostate cancer. The prototype is developed in PHP, JQuery and CSS with an Oracle backend in a local Web server and database server and deployed on Google App Engine (GAE) and Google Cloud SQL-MySQL. The deploying process is fast and easy to follow. The C-PASS-PC prototype can be accessed through an SSL-enabled web browser. Our approach proves the concept that cloud computing platforms such as GAE is a suitable and flexible solution in the near future for multi-center clinical trials.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

A Neutrosophic Description Logic

Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it is yes/no question. More often than not, the concepts encountered in the real world do not have a precisely defined criteria of membership: we may say that an individual is an instance of a concept only to a certain degree, depending on the individual's properties. The DLs that deal with such fuzzy concepts are called fuzzy DLs. In order to deal with fuzzy, incomplete, indeterminate and inconsistent concepts, we need to extend the fuzzy DLs, combining the neutrosophic logic with a classical DL. In particular, concepts become neutrosophic (here neutrosophic means fuzzy, incomplete, indeterminate, and inconsistent), thus reasoning about neutrosophic concepts is supported. We'll define its syntax, its semantics, and describe its properties.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

B --> Phi K_S and Supersymmetry

The rare decay B --> Phi K_S is a well-known probe of physics beyond the Standard Model because it arises only through loop effects yet has the same time-dependent CP asymmetry as B --> Psi K_S. Motivated by recent data suggesting new physics in B --> Phi K_S, we look to supersymmetry for possible explanations, including contributions mediated by gluino loops and by Higgs bosons. Chirality-preserving LL and RR gluino contributions are generically small, unless gluinos and squarks masses are close to the current lower bounds. Higgs contributions are also too small to explain a large asymmetry if we impose the current upper limit on B(B_s --> mu mu). On the other hand, chirality-flipping LR and RL gluino contributions can provide sizable effects and while remaining consistent with related results in B --> Psi K_S, Delta M_s, B --> X_s gamma and other processes. We discuss how the LR and RL insertions can be distinguished using other observables, and we provide a string-based model and other estimates to show that the needed sizes of mass insertions are reasonable.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

B(d) --> phi K(S) CP asymmetries as an important probe of supersymmetry

The decay $B_d \to ϕK_S$ is a special probe of physics beyond the Standard Model (SM), since it has no SM tree level contribution. Motivated by recent data suggesting a deviation from the SM for its time-dependent CP asymmetry, we examine supersymmetric explanations. Chirality preserving contributions are generically small, unless gluino is relatively light. Higgs contributions are also too small to explain a large asymmetry. Chirality flipping $LR$ and $RL$ gluino contributions actually can provide sizable effects without conflict with all related results. We discuss how various insertions can be distinguished, and argue the needed sizes of mass insertions are reasonable.

0 citations0 reviewsNo code linkedOpen access