33,123 research outputs found
A Rice’s Theorem for Abstract Semantics
No full textClassical results in computability theory, notably Rice’s theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute. Later and more recent work investigated intensional generalisations of such results that take into account the way in which functions are computed, thus affected by the specific programs computing them. In this paper, we single out a novel class of program semantics based on abstract domains of program properties that are able to capture nonextensional aspects of program computations, such as their asymptotic complexity or logical invariants, and allow us to generalise some foundational computability results such as Rice’s Theorem and Kleene’s Second Recursion Theorem to these semantics. In particular, it turns out that for this class of abstract program semantics, any nontrivial abstract property is undecidable and every decidable overapproximation necessarily includes an infinite set of false positives which covers all values of the semantic abstract domain
Investigations of the stability and electronic properties of two-dimensional Ga2O3 nanosheet in air from first-principles calculations
No full text2D Ga2O3 nanosheet with ultra-high carrier mobility and wide bandgap has gained extensively interests due to its great potential in next generation of solar-bind photodetectors, high-power devices, and gas sensors. However, the study of the stability and air-resistance of Ga2O3 nanosheet is scare up to now. Herein, we investigate the stability and electronic properties of Ga2O3 in air through first-principles calculations. It is found that O2 molecule can physisorb on Ga2O3 nanosheet with the binding energy of −0.12 eV, while it is very hard to dissociate spontaneously due to an extremely high dissociation energy barrier of 4.78 eV. The O2 molecule physisorption can introduce extra energy levels in the bandgap and affect the optical properties of Ga2O3 nanosheet. While H2O molecule adsorption has weak effects on the structural and electronic properties of Ga2O3 nanosheet. The high air-resistance of Ga2O3 nanosheet is attributed to the strong charge transfer between the Ga and O ions, which avoids the surplus electrons induced by the dangling bonds to interact with foreign molecules. These theoretical results indicate Ga2O3 nanosheet has extremely high stability to resist oxidation and humid environment, which is a very promising next-generation 2D material for high-power and ultraviolet applications.This work is supported by the Key Research and Development Program of Shaanxi Province (2019ZDLGY16-01), Xi'an Key Laboratory of Intelligent Detection and Perception (201805061ZD12CG45). Linpeng Dong, Bin Xin, and Weiguo Liu designed this project. Linpeng Dong performed the first principles calculations, analyzed the calculated results and wrote the original manuscript. Shun Zhou and Chen Yang checked the calculation results and modified the manuscript. Jin Zhang and Huan Liu modified the manuscript. Lichun Zhang and Chuanlu Yang applied the resources
†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
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
- …
