المؤلفون: Henzinger, Thomas A., Kresse, Fabian, Mallik, Kaushik, Yu, Emily, Žikelić, Đorđe

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2412.16564

المؤلفون: Yu, Emily, Žikelić, Đorđe, Henzinger, Thomas A.

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2412.12996

المؤلفون: Froleyks, Nils, Yu, Emily, Biere, Armin, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/2405.04297

المؤلفون: Yu, Emily

Thesis Advisors: Ekker, Marc

مصطلحات موضوعية: dlx, craniofacial, brain, gene expression, zebrafish

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

الاتاحة: http://hdl.handle.net/10393/44671

المؤلفون: Yu, Emily

المصدر: UC Merced Undergraduate Research Journal. 16(2)

مصطلحات موضوعية: AI Technology, Cancer, Risk Prevention

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

URL الوصول: https://escholarship.org/uc/item/888478tc

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2208.01443

المؤلفون: Yu, Emily, Gavazzi, Francesco, Schlotawa, Lars, Breitling, Vivian, Ahrens-Nicklas, Rebecca, Adang, Laura A.

المساهمون: Yu, Emily, Gavazzi, Francesco, Schlotawa, Lars, Breitling, Vivian, Ahrens-Nicklas, Rebecca, Adang, Laura A.

Relation: https://resolver.sub.uni-goettingen.de/purl?gro-2/143007; S1096719223007217

الاتاحة: https://resolver.sub.uni-goettingen.de/purl?gro-2/143007
https://doi.org/10.1016/j.ymgme.2023.108091

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المساهمون: Nadel, Alexander, Rozier, Kristin Yvonne, Department of Computer Science, Helsinki Institute for Information Technology, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

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

Relation: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023; Yu , E , Froleyks , N , Biere , A & Heljanko , K 2023 , Towards Compositional Hardware Model Checking Certification . in A Nadel & K Y Rozier (eds) , Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 . TU Wien Academic Press , pp. 1-11 , Formal Methods in Computer-Aided Design , Iowa , United States , 23/10/2024 . https://doi.org/10.34727/2023/ISBN.978-3-85448-060-0_12; conference; ORCID: /0000-0002-4547-2701/work/150771124; http://hdl.handle.net/10138/569231; 85619370-56b8-47e9-8fce-e09ee09d11ac; 85180364990

الاتاحة: http://hdl.handle.net/10138/569231

المؤلفون: Adang, Laura Ann, Sevagamoorthy, Anjana, Sherbini, Omar, Fraser, Jamie L., Bonkowsky, Joshua L., Gavazzi, Francesco, D'Aiello, Russel, Modesti, Nicholson B., Yu, Emily, Mutua, Sylvia, Kotes, Emma, Shults, Justine, Vincent, Ariel, Emrick, Lisa T., Keller, Stephanie, Van Haren, Keith P., Woidill, Sarah, Barcelos, Isabella, Pizzino, Amy, Schmidt, Johanna L., Eichler, Florian, Fatemi, Ali, Vanderver, Adeline

المساهمون: National Institutes of Health, NINDS

المصدر: Molecular Genetics and Metabolism ; volume 142, issue 1, page 108453 ; ISSN 1096-7192

الاتاحة: http://dx.doi.org/10.1016/j.ymgme.2024.108453
https://api.elsevier.com/content/article/PII:S1096719224002683?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1096719224002683?httpAccept=text/plain

المؤلفون: Adang, Laura A., Mowafy, Samar, Herbst, Zackary M., Zhou, Zitao, Schlotawa, Lars, Radhakrishnan, Karthikeyan, Bentley, Brenna, Pham, Vi, Yu, Emily, Pillai, Nishitha R., Ahrens‐Nicklas, Rebecca C.

المساهمون: Adang, Laura A., Mowafy, Samar, Herbst, Zackary M., Zhou, Zitao, Schlotawa, Lars, Radhakrishnan, Karthikeyan, Bentley, Brenna, Pham, Vi, Yu, Emily, Pillai, Nishitha R., Ahrens‐Nicklas, Rebecca C.

Relation: https://resolver.sub.uni-goettingen.de/purl?gro-2/138681

الاتاحة: https://resolver.sub.uni-goettingen.de/purl?gro-2/138681
https://doi.org/10.1002/jimd.12688

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المساهمون: Griggio, Alberto, Rungta, Neha, Department of Computer Science, Helsinki Institute for Information Technology, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

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

Relation: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022; Conference Series: Formal Methods in Computer-Aided Design; Yu , E , Froleyks , N , Biere , A & Heljanko , K 2022 , Stratified Certification for k-Induction . in A Griggio & N Rungta (eds) , Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 . , 11 , Conference Series: Formal Methods in Computer-Aided Design , TU Wien Academic Press , The 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 , Trento , Italy , 17/10/2022 . https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_11; conference; ORCID: /0000-0002-4547-2701/work/127508768; http://hdl.handle.net/10138/353740; 4b630e8b-634e-4a5f-9716-27f9f64c2c4d

الاتاحة: http://hdl.handle.net/10138/353740

المؤلفون: Wang, Wei, Xie, Xueyi, Zhuang, Xiaowen, Huang, Yufei, Tan, Tao, Gangal, Himanshu, Huang, Zhenbo, Purvines, William, Wang, Xuehua, Stefanov, Alexander, Chen, Ruifeng, Rodriggs, Lucas, Chaiprasert, Anita, Yu, Emily, Vierkant, Valerie, Hook, Michelle, Huang, Yun, Darcq, Emmanuel, Wang, Jun

المصدر: Cell Reports ; volume 42, issue 2, page 112089 ; ISSN 2211-1247

الاتاحة: http://dx.doi.org/10.1016/j.celrep.2023.112089
https://api.elsevier.com/content/article/PII:S2211124723001006?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2211124723001006?httpAccept=text/plain

المؤلفون: Yu, Emily

الاتاحة: http://hdl.handle.net/2429/23807

المؤلفون: Yu, Emily, Biere, Armin, Heljanko, Keijo

المساهمون: Silva, Alexandra, Leino, K. Rustan M., Helsinki Institute for Information Technology, Department of Computer Science, Doctoral Programme in Computer Science, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

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

Relation: Computer Aided Verification; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Acknowledgement. This work is supported by the Austrian Science Fund (FWF) under the project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, and Academy of Finland under the project 336092.; Yu , E , Biere , A & Heljanko , K 2021 , Progress in Certifying Hardware Model Checking Results . in A Silva & K R M Leino (eds) , Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12760 LNCS , Springer Nature Switzerland AG , Cham , pp. 363-386 , 33rd International Conference on Computer Aided Verification, CAV 2021 , Virtual, Online , 20/07/2021 . https://doi.org/10.1007/978-3-030-81688-9_17; conference; ORCID: /0000-0002-4547-2701/work/107674256; http://hdl.handle.net/10138/339486; d68e361a-ae10-4e2c-9cfa-29a004652a89; 85115873567; 000693429500017

الاتاحة: http://hdl.handle.net/10138/339486

المؤلفون: Yu, Emily

الاتاحة: http://hdl.handle.net/2429/7010

المؤلفون: Lianhai Zu (1614439), Xingyue Qian (4688053), Shenlong Zhao (1701124), Qinghua Liang (741665), Yu Emily Chen (12025420), Min Liu (45756), Bing-Jian Su (1705027), Kuang-Hsu Wu (1444546), Longbing Qu (1582855), Linlin Duan (1391776), Hualin Zhan (3751798), Jun-Ye Zhang (4448392), Can Li (31070), Wei Li (7081), Jenh Yih Juang (12025423), Junwu Zhu (755739), Dan Li (106345), Aibing Yu (1473973), Dongyuan Zhao (1286025)

مصطلحات موضوعية: Biophysics, Biochemistry, Sociology, Computational Biology, Space Science, Environmental Sciences not elsewhere classified, Chemical Sciences not elsewhere classified, Information Systems not elsewhere classified, ∼ 20 nm, uniformly distributed within, merged lamellar micelles, key active species, identifying active species, computational results reveal, adsorption free energy, strategy thus opens, ordered interlayer space, favorable mesostructured architectures, synthesized ultrathin ir, shortened ir –, 2d mesoporous ir, geo , x <, unfavorable architectures, interlayer distance, sub ><, prepared ir, fabricated ir, >, widely explored

Relation: https://figshare.com/articles/journal_contribution/Self-Assembly_of_Ir-Based_Nanosheets_with_Ordered_Interlayer_Space_for_Enhanced_Electrocatalytic_Water_Oxidation/19100101

الاتاحة: https://doi.org/10.1021/jacs.1c11241.s001

المؤلفون: Yu, Emily

المساهمون: Saygin, Zeynep

مصطلحات موضوعية: developmental neuroscience, brain organization, clustering, brain network, network organization

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

Relation: Ohio State University. Undergraduate Research Festival. 2021 Autumn.; http://hdl.handle.net/1811/93184

الاتاحة: http://hdl.handle.net/1811/93184

المؤلفون: Yu, Emily, Biere, Armin, Heljanko, Keijo

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 363-386 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030816872 9783030816889

الاتاحة: http://dx.doi.org/10.1007/978-3-030-81688-9_17
https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_17

المؤلفون: Mutua, Sylvia, Sevagamoorthy, Anjana, Gavazzi, Francesco, Thakur, Nivedita, Woidill, Sarah, Yu, Emily, Fumagalli, Francesca, Groeschel, Samuel, Bernard, Genevieve, Stutterd, Chloe, Kehrer, Christiane, Emrick, Lisa, Shults, Justine, Vanderver, Adeline, Adang, Laura A.

المصدر: Molecular Genetics and Metabolism ; volume 141, issue 2, page 107976 ; ISSN 1096-7192

الاتاحة: http://dx.doi.org/10.1016/j.ymgme.2023.107976
https://api.elsevier.com/content/article/PII:S1096719223006066?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1096719223006066?httpAccept=text/plain

المؤلفون: Sevagamoorthy, Anjana, Gavazzi, Francesco, Sherbini, Omar, Vincent, Ariel, D'Aiello, Russel, Modesti, Nicholson, Mutua, Sylvia, Yu, Emily, Woidill, Sarah, Schmidt, Johanna L., Pizzino, Amy, Shults, Justine, Vanderver, Adeline, Adang, Laura A.

المصدر: Molecular Genetics and Metabolism ; volume 141, issue 2, page 108041 ; ISSN 1096-7192

الاتاحة: http://dx.doi.org/10.1016/j.ymgme.2023.108041
https://api.elsevier.com/content/article/PII:S1096719223006716?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1096719223006716?httpAccept=text/plain