Skip to main content

5 Result(s)

within Wanxia Wei Remove this filter

and

  1. No Access

    Article

    Increase in the efficiency and stability of large-area flexible organic photovoltaic modules via improved electrical contact

    Large-area flexible organic photovoltaic modules suffer from electrical shunt and poor electrical contact between adjacent subcells, causing efficiency and stability losses. Here we improve the performance of ...

    **n Lu, Cong **e, Yang Liu, Hui Zheng, Kai Feng, Zedong **ong, Wanxia Wei… in Nature Energy (2024)

  2. No Access

    Chapter and Conference Paper

    Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability

    Variable properties such as score and age are used to select a variable to flip. The score of a variable x refers to the decrease in the number of unsatisfied clauses if x is flipped. The age of x refers to the n...

    Chu Min Li, Wanxia Wei, Yu Li in Theory and Applications of Satisfiability … (2012)

  3. No Access

    Chapter and Conference Paper

    Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT

    One way to design a local search algorithm that is effective on many types of instances is allowing this algorithm to switch among heuristics. In this paper, we refer to the way in which non-weighting algorithm a...

    Wanxia Wei, Chu Min Li, Harry Zhang in Principles and Practice of Constraint Programming (2008)

  4. No Access

    Chapter and Conference Paper

    Combining Adaptive Noise and Look-Ahead in Local Search for SAT

    The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G 2 WSAT deterministically exploits prom...

    Chu Min Li, Wanxia Wei, Harry Zhang in Theory and Applications of Satisfiability … (2007)

  5. No Access

    Chapter and Conference Paper

    Merging of XML Documents

    How to deal with the heterogeneous structures of XML documents, identify XML data instances, solve conflicts, and effectively merge XML documents to obtain complete information is a challenge. In this paper, w...

    Wanxia Wei, Mengchi Liu, Shijun Li in Conceptual Modeling – ER 2004 (2004)