33,560 research outputs found
Neural network based method for solving SMT problems
No full textSubmission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo termsThe student, Keyu Lu, accepted the attached license on 2025-05-01 at 20:25.The student, Keyu Lu, submitted this Thesis for approval on 2025-05-01 at 20:39.This Thesis was approved for publication on 2025-05-05 at 12:28.DSpace SAF Submission Ingestion Package generated from Vireo submission #22166 on 2025-10-19 at 18:11:31Satisfiability Modulo Theories (SMT) over nonlinear real arithmetic (NRA) represents a fundamental yet notoriously difficult problem class in formal verification and symbolic reasoning. Traditional SMT solvers struggle with the scalability and decidability of QF_NRA problems due to their intrinsic nonlinearity. In this work, we propose a novel reduction-based framework that translates SMT problems defined in the SMT-LIB2 format into equivalent neural network verification problems specified in the VNN-LIB format. By constructing tailored neural networks that capture the semantics of the original constraints, we leverage powerful neural network verifiers—specifically, the α,β-CROWN solver—to determine the satisfiability of the original NRA formulas. This transformation enables the application of recent advances in neural network verification to a broader class of symbolic problems. Our approach bridges the gap between symbolic logic reasoning and neural verification, potentially unlocking new paths for scalable and parallelizable SMT solving. We demonstrate the soundness and feasibility of the method through illustrative case studies and analyze its performance in terms of accuracy and approximation fidelity
Synthesis of ultralong MnO/C coaxial nanowires as freestanding anodes for high-performance lithium ion batteries
No full textPublisher's PDFA facile synthesis strategy is reported for the preparation of a freestanding membrane of ultralong MnO/C coaxial nanowires using a novel in situ interfacial polymerization technique. The MnO/C membrane possesses interconnected porous structures with a nanowire diameter of ca. 100 nm and a length of up to hundreds of micrometers. When used as a freestanding anode for lithium ion batteries, the coaxial MnO/C nanocomposites exhibit a high reversible capacity of 832 mA h g−1 at a current density of 100 mA g−1 after 100 cycles, good rate capability and outstanding cycling stability with a specific capacity of 480 mA h g−1 being retained after 600 cycles at a high current density of 1000 mA g−1. The uniform carbon coating formed along the ultralong one-dimensional nanostructure surface is the key-enabling factor that not only improves the electrode reaction kinetics, but also renders excellent cycling performance by accommodating the large volume variation of MnO during charge/discharge processes. The superior electrochemical properties suggest that the facile synthesis strategy can be extended to the fabrication of other freestanding films for potential application in energy storage systems.University of Delaware. Department of Mechanical Engineering
†Chuchinolepididae Zhang 1978
No full textFamily †Chuchinolepididae Zhang 1978, spelling in prevailing recent practice †Chuchinolepidae Zhang 1978a: 296 (family) † Chuchinolepis Zhang 1978 [family name also seen as †Chuchinolepididae; author also seen as Chang] †Qujinolepidae Zhang 1978b: 173 (family) † Qujinolepis Zhang 1978 [family name sometimes seen as † Qujinolepididae] †Procondylolepidae Zhang 1984: 82 (family) † Procondylolepis Zhang 1984Published as part of Laan, Richard Van Der, 2018, Family-group names of fossil fishes, pp. 1-167 in European Journal of Taxonomy 466 on page 27, DOI: 10.5852/ejt.2018.466, http://zenodo.org/record/555755
An enhanced author name dataset for PubMed/MEDLINE
No full text<p>The incompleteness of author names is a well-known issue in the MEDLINE database. It was since 2002, the full author name has been systematically indexed in MEDLINE. Although many full author names have been added to MEDLINE, we still found a significant number of abbreviated names in papers published after 2002.</p>
<p>Here we built an enhanced author name dataset for MEDLINE, called EAN, achieved by linking the whole PubMed to other large literature databases and conducting a large-scale name comparison and restoration with obtained multi-sources author names. Our evaluation shows that more than 90% of author names in EAN are complete as compared to the ratio of ~60% in MEDLINE.</p>
An enhanced author name dataset for PubMed/MEDLINE
No full text<p>The incompleteness of author names is a well-known issue in the MEDLINE database. It was since 2002, the full author name has been systematically indexed in MEDLINE. Although many full author names have been added to MEDLINE, we still found a significant number of abbreviated names in papers published after 2002.</p>
<p>Here we built an enhanced author name dataset for MEDLINE, called EAN, achieved by linking the whole PubMed to other large literature databases and conducting a large-scale name comparison and restoration with obtained multi-sources author names. Our evaluation shows that more than 90% of author names in EAN are complete as compared to the ratio of ~60% in MEDLINE.</p>
Astragalus wui M. Idrees & Z. Y. Zhang 2021, nom. nov.
No full textAstragalus wui M. Idrees & Z.Y. Zhang, nom. nov. Replaced name:— Astragalus sylvaticus Y.H. Wu (2015: 718), nom. illeg., non A. sylvaticus (Pall.) Willd. (1802: 1300). Type:— CHINA. Xinjiang: Yecheng Country, Sukepiya, in border forest, alt. 3000 m, 15 Aug. 1987, Exped. Qinghai-Tibet Wu Yuhu 1067 (holotype: QTPMB, not seen). Etymology:—The specific epithet honours Prof. Dr. Wu Yuhu (Northwest Institute of Plateau Biology, Chinese Academy of Science, Xining, China), author of the replaced name, who first described this new species.Published as part of Idrees, Muhammad & Zhang, Zhiyong, 2021, Astragalus wui, a new replacement name for A. sylvaticus Y. H. Wu (Galegeae, Papilionoideae, Fabaceae), pp. 210-211 in Phytotaxa 524 (3) on page 210, DOI: 10.11646/phytotaxa.524.3.6, http://zenodo.org/record/564936
Professor Zhang Weihua's Clinical Experience in the Application of Yongquan Acupoint
No full textSummarizing Professor Zhang Weihua's understanding of the bidirectional regulation function of Yongquan Point and his clinical application experience, the author believes that Yongquan is a meeting place of Yin and Yang qi, and both Yin and Yang qi are rooted here, which can be used to balance Yin and Yang, and proposes that Yongquan is the key point of bidirectional regulation, which has the functions of bidirectional regulation, bidirectional lifting, bidirectional replenishing. At the same time, Professor Zhang believes that Yongquan point should be combined with the corresponding stimulation method in the treatment of different diseases, which provides a new idea for the clinical treatment of some difficult diseases
mixture treatment
No full textTo acquire a material with simultaneous oil–water emulsion demulsification and oil-absorbing performance, SiO
2 nanoparticles were introduced into the acrylate polymerization system to prepare oil absorbent SiO
2/P (SMA-co-MMA-co-BA) (PSA-SiO
2). PSA-SiO
2 was synthesized from monomers and functional materials, including methyl methacrylate (MMA), butyl acrylate (BA), octadecyl methacrylate (SMA) and SiO
2 hydrophobically modified by vinyltrimethoxysilane. The molecular structure of PSA-SiO
2 was characterized by FT-IR, and its morphology was observed using scanning electron microscopy. In addition, the optimal synthesis conditions for the polymerization system, such as the monomer ratio, the amount of crosslinker and stabilizer and then the particle size and dose of SiO
2, were discussed in detail. PSA-SiO
2 had a decent oil absorbency for pure halogenated and aromatic hydrocarbons (49.10, 56.41, 47.32, 43.45, 36.22, and 30.14 g/g for CH
2Cl
2, CHCl
3, CCl
4, C
2Cl
4, toluene and styrene, respectively). Furthermore, SiO
2, as a functional material, makes composites that possess excellent demulsification properties for oil-in-water emulsions. The oil removal efficiency of CHCl
3 in Tween 80-stabilized and CTAB-stabilized emulsions were 94.88% and 98.11%, respectively. All results indicated that PSA-SiO
2 had valuable potential for oil removal and emulsion treatment. Highlights: An organic–inorganic composite was synthesized by suspension polymerization. The composite was applied for absorbing pure oil or removing oil form water. By modification, the composite acquired the demulsification ability. The composite accomplished one-step demulsification and emulsion treatment. The oil absorption and emulsion treatment could achieve at room temperature.</p
In Memoriam: Prof. Jingdong Zhang
No full textCelebrating the electrochemistry legacy: Prof. Zhang was a member of the Editorial Board of ChemElectroChem as well as a valued author and reviewer. Together with her friends and colleagues Christian Engelbrekt, Xinxin Xiao and Jens Ulstrup (Technical University of Denmark) as well as Bingwei Mao (Xiamen University, China), we hope to commemorate Prof Zhang′s contributions to the electrochemical sciences by this Special ChemElectroChem Collection on the theme of “Electrochemical Materials and Interfaces”
From expectation-3-maximization to bayesian expectation-3-maximization: A latent mixture modeling-based bayesian algorithm for the 4-parameter logistic model
No full textThere is renewed interest in the four-parameter logistic model (4PLM), but the lack of a user-friendly calibration method constitutes a major barrier to its widespread application. In the present study, this researcher reformulated the 4PLM from a latent mixture modeling view and developed the Expectation-Maximization-Maximization-Maximization (EMMM) method. Combining the EMMM with the Bayesian approach, allowed the Bayesian Expectation-Maximization-Maximization-Maximization (BEMMM) algorithm to be proposed. First, the author compared the EMMM with BEMMM to confirm that the BEMMM method reduced the number of implausible estimates in EMMM. Next, when comparing the BEMMM with the Markov Chain Monte Carlo method (Culpepper, 2016) and Bayesian Modal Estimation (Waller & Feuerstahler, 2017), the results from a simulation study and a real-world data calibration indicated that the BEMMM and the MCMC are more accurate than the BME, while the BEMMM is much faster than the MCMC.Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2020-05-01The student, Ci Zhang, accepted the attached license on 2018-04-11 at 15:29.The student, Ci Zhang, submitted this Thesis for approval on 2018-04-11 at 15:36.This Thesis was approved for publication on 2018-04-13 at 11:03.DSpace SAF Submission Ingestion Package generated from Vireo submission #12194 on 2018-08-31 at 17:27:19Made available in DSpace on 2018-09-04T20:47:03Z (GMT). No. of bitstreams: 2
ZHANG-THESIS-2018.pdf: 1851527 bytes, checksum: 95a341e0aad4bb76bbe6e691b461868d (MD5)
LICENSE.txt: 4205 bytes, checksum: f735a60aef4d3c0daa0576cb5a4301d6 (MD5)
Previous issue date: 2018-04-13Embargo set by: Seth Robbins for item 107382
Lift date: 2020-09-04T20:47:38Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 107382
Lift date: 2020-09-04T20:50:11Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemLimited Restriction Lifted for Item 107382 on 2020-09-05T09:15:09Z
- …
