المؤلفون: Xia Shen, Chun-lan Wang, Wan-ying Wu, Guan-mian Liang, Li-yao Xia

المصدر: Journal of International Medical Research, Vol 48 (2020)

مصطلحات موضوعية: Medicine (General), R5-920

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1473-2300

URL الوصول: https://doaj.org/article/6e1cce805e27473bab7137821405e84b

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Lyu, Qi-yuan, Huang, Jie-wei, Li, Yao-xia, Chen, Qing-ling, Yu, Xiao-xue, Wang, Jia-le, Yang, Qiao-hong

المصدر: In International Journal of Nursing Studies July 2021 119

المؤلفون: Xiong, Jia-ming, Su, Jin, Ke, Qi-qi, Li, Yao-xia, Gong, Ni, Yang, Qiao-hong

المصدر: European Journal of Cardiovascular Nursing; Apr2024, Vol. 23 Issue 3, p267-277, 11p

مصطلحات موضوعية: MYOCARDIAL infarction, CROSS-sectional method, SELF-evaluation, ACUTE diseases, RESEARCH funding, STATISTICAL sampling, PSYCHOLOGICAL adaptation, DESCRIPTIVE statistics, LATENT structure analysis, DISEASES, PSYCHOLOGICAL stress, MARITAL status, SOCIAL support, DATA analysis software, PSYCHOLOGICAL adjustment testing

مصطلحات جغرافية: CHINA

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

المصدر: Lesani, M, Xia, L, Kaseorg, A, Bell, C J, Chlipala, A, Pierce, B C & Zdancewic, S 2022, ' C4: Verified Transactional Objects ', Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA1, 80 . https://doi.org/10.1145/3527324

مصطلحات موضوعية: serializability, linearizability, concurrency, verification, Safety, Risk, Reliability and Quality, objects, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7722f82c45baed9279e61a8cc10ec1dd
https://doi.org/10.1145/3527324

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Chung-Kil Hur, Benjamin C. Pierce, Steve Zdancewic, Li-yao Xia, Gregory Malecha, Yannick Zakowski, Paul He

المساهمون: Computer Science Department, University of Pennsylvania [Philadelphia], Seoul National University [Seoul] (SNU), BedRock Systems Inc.

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-32. ⟨10.1145/3371119⟩
Xia, L, Zakowski, Y, He, P, Hur, C-K, Malecha, G, Pierce, B C & Zdancewic, S 2019, ' Interaction Trees: Representing Recursive and Impure Programs in Coq ', Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 51 . https://doi.org/10.1145/3371119

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, Semantics (computer science), monads, 02 engineering and technology, computer.software_genre, Operational semantics, Denotational semantics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Coq, Safety, Risk, Reliability and Quality, Formal verification, compiler correctness, ComputingMilieux_MISCELLANEOUS, Compiler correctness, Bisimulation, Computer Science - Programming Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Programming language, Coinduction, 020207 software engineering, 16. Peace & justice, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Structural induction, coinduction, computer, Software, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::980af888520ab46c18a347e22f031f1d
https://doi.org/10.1145/3371119

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Li-yao Xia, Stephanie Weirich, Yao Li

المصدر: Li, Y, Xia, L & Weirich, S 2021, ' Reasoning about the Garden of Forking Paths ', Proceedings of the ACM on Programming Languages, vol. 5, no. ICFP, 80 . https://doi.org/10.1145/3473585

مصطلحات موضوعية: FOS: Computer and information sciences, Principle of compositionality, Computer science, media_common.quotation_subject, lazy evaluation, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Stateful firewall, Simple (abstract algebra), 0202 electrical engineering, electronic engineering, information engineering, Simplicity, formal verification, Safety, Risk, Reliability and Quality, Formal verification, media_common, Computer Science - Programming Languages, monad, Programming language, 020207 software engineering, Expression (computer science), Monad (functional programming), computation cost, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Lazy evaluation, computer, Software, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::753e3546328c4fcdc19f2795d0846370