Results 91 to 100 of about 33,182 (260)
Recognizing hyperelliptic graphs in polynomial time [PDF]
Recently, a new set of multigraph parameters was defined, called "gonalities". Gonality bears some similarity to treewidth, and is a relevant graph parameter for problems in number theory and multigraph algorithms. Multigraphs of gonality 1 are trees. We
Wegen, Marieke van der +14 more
core +1 more source
Receptor‐Free Identification of Toxic Gases Enabled by Hygroscopic Aqueous Salt Films
Water as a gas sensor coating sounds impossible—until it stops evaporating. Here, hygroscopic salt solutions (LiCl, LiBr, H3PO4) form non‐drying aqueous films on CNT chemiresistors under ambient air. Gases partition into these liquid layers, sometimes transforming into water, and generate salt‐specific resistance fingerprints across a four‐channel ...
Seongwoo Lee +5 more
wiley +1 more source
Machine Learning‐Assisted Inverse Design of Soft and Multifunctional Hybrid Liquid Metal Composites
A machine learning framework is presented for inverse design of synthesizable multifunctional composites containing both liquid metal and solid inclusions. By integrating physics‐based modeling, data‐driven prediction, and Bayesian optimization, the approach enables intelligent design of experiments to identify optimal compositions and realize these ...
Lijun Zhou +5 more
wiley +1 more source
Identity-Based Provable Data Possession with Designated Verifier from Lattices for Cloud Computing
Provable data possession (PDP) is a technique that enables the verification of data integrity in cloud storage without the need to download the data. PDP schemes are generally categorized into public and private verification.
Mengdi Zhao, Huiyan Chen
doaj +1 more source
Improved Algorithms for Maximum Satisfiability and Its Special Cases
The Maximum Satisfiability (MAXSAT) problem is an optimization version of the Satisfiability problem (SAT) in which one is given a CNF formula with n variables and needs to find the maximum number of simultaneously satisfiable clauses.
Bliznets, Ivan +2 more
core
Practical algorithms for linear boolean-width [PDF]
In this paper, we give a number of new exact algorithms and heuristics to compute linear boolean decompositions, and experimentally evaluate these algorithms.
Brinke, Chiel B ten +10 more
core +1 more source
This paper presents a digital microfluidics‐based technique for transferring and reconfiguring soft nanomembranes. Laser‐machined nanothin membranes are picked up, transported, and aligned via tailored surface tension and the actuation of water droplets, enabling the development of flexible electronics, the integration of functional materials on 3D ...
Quang Anh Nguyen +15 more
wiley +1 more source
Number Theoretic Transform (NTT) enables speeding up polynomial multiplications, thereby accelerating the implementation of lattice-based post-quantum cryptography (PQC) algorithms.
Duc-Thuan Dam +5 more
doaj +1 more source
Develop a LiCl–PEI–PAM hydrogel with 3000% stretchability and excellent optical transparency. Through comparative studies of various salts, confirm that LiCl is the most suitable salt for high TENG output. Achieve excellent freeze‐resistant, dry‐resistant, and rapid self‐healing (10 s) properties even in extreme environments. Balance ionic conductivity,
Hai Anh Thi Le +6 more
wiley +1 more source
Robust maximum weighted independent-set problems on interval graphs. [PDF]
We study the maximum weighted independent-set problem on interval graphs with uncertainty on the vertex weights. We use the absolute robustness criterion and the min-max regret criterion to evaluate solutions.
Leus, Roel, Talla Nobibon, Fabrice
core

