المؤلفون: Figlioli, G, Billaud, AK, Wang, Q, Bolla, M, Dennis, J, Lush, MA, Kvist, AU, Adank, MN, Ahearn, T, Antonenkova, N, Auvinen, P, Behrens, SV, Bermisheva, ME, Bogdanova, N, Bojesen, S, Bonanni, BJ, Bruening, T, Camp, NE, Campbell, AH, Castelao, J, Cessna, M, Czene, K, Devilee, PA, Doerk, T, Eriksson, M, Fasching, P, Flyger, H, Gabrielson, M, Gago-Dominguez, MB, Garcia-Closas, M, Glendon, G, Garcia, EG, Gonzalez-Neira, A, Grassmann, F, Guenel, P, Hahnen, EJ, Hamann, U, Hillemanns, P, Hooning, M, Hoppe, R, Howell, AK, Humphreys, KN, Jakubowska, AA, Khusnutdinova, E, Kristensen, V, Lindblom, A, Loizidou, M, Lubinski, JG, Mannermaa, A, Maurer, TI, Mavroudis, D, Newman, WU, Obi, N, Panayiotidis, M, Radice, P, Rashid, MJ, Rhenius, VK, Ruebner, MK, Saloustros, E, Sawyer, EC, Schmidt, M, Schmutzler, R, Shah, MM, Southey, M, Tomlinson, IR, Truong, T, van Veen, EM, Wendt, C, Yang, XF, Michailidou, KL, Dunning, A, Pharoah, PDP, Easton, D, Andrulis, IL, Evans, DG, Hollestelle, A, Chang-Claude, J, Milne, R, Peterlongo, P

العلاقة: NHMRC/209057; NHMRC/400281; NHMRC/400413; pii: cancers15133313; Figlioli, G., Billaud, A. K., Wang, Q., Bolla, M., Dennis, J., Lush, M. A., Kvist, A. U., Adank, M. N., Ahearn, T., Antonenkova, N., Auvinen, P., Behrens, S. V., Bermisheva, M. E., Bogdanova, N., Bojesen, S., Bonanni, B. J., Bruening, T., Camp, N. E., Campbell, A. H. ,. Peterlongo, P. (2023). Spectrum and Frequency of Germline FANCM Protein-Truncating Variants in 44,803 European Female Breast Cancer Cases. CANCERS, 15 (13), https://doi.org/10.3390/cancers15133313Test.; http://hdl.handle.net/11343/339228Test

الإتاحة: https://doi.org/10.3390/cancers15133313Test
http://hdl.handle.net/11343/339228Test

المؤلفون: Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Sjöberg, Vilhelm, Costanzo, David

المصدر: Communications of the ACM; Oct2019, Vol. 62 Issue 10, p89-99, 11p, 13 Diagrams, 1 Chart, 1 Graph

مصطلحات موضوعية: KERNEL operating systems, COMPUTER multitasking, COMPUTER security, SOFTWARE frameworks, COMPUTER programming

المؤلفون: David Costanzo, Hao Chen, Xiongnan (Newman) Wu, Tahina Ramananandro, Jérémie Koenig, Jieung Kim, Ronghui Gu, Vilhelm Sjöberg, Zhong Shao

المصدر: PLDI

مصطلحات موضوعية: Programming language, Computer science, Concurrency, 020207 software engineering, Thread (computing), 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, Abstraction layer, 010201 computation theory & mathematics, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Concurrent computing, 020201 artificial intelligence & image processing, Compiler, Layer (object-oriented design), computer, Software, Abstraction (linguistics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af77ea9afb03e9892000063d702dfd34Test
https://doi.org/10.1145/3296979.3192381Test

المؤلفون: Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David Mitchell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.yale.edu/homesTest/newman/pubs/LaSH10.pdf.

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1066.583Test; http://www.cs.yale.edu/homesTest/newman/pubs/LaSH10.pdf

الإتاحة: http://www.cs.yale.edu/homesTest/newman/pubs/LaSH10.pdf

المؤلفون: Zhong Shao, Hao Chen, Joshua Lockerman, Xiongnan (Newman) Wu, Ronghui Gu

المصدر: Journal of Automated Reasoning. 61:141-189

مصطلحات موضوعية: Os kernel, Correctness, Basis (linear algebra), Computer science, Proof assistant, 020207 software engineering, 02 engineering and technology, computer.software_genre, Computational Theory and Mathematics, Artificial Intelligence, Kernel (statistics), 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Operating system, 020201 artificial intelligence & image processing, computer, Software, System software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::53b4acf3c084fca41881ec2fe923d122Test
https://doi.org/10.1007/s10817-017-9446-0Test

المؤلفون: Zhong Shao, Hao Chen, Joshua Lockerman, Xiongnan (Newman) Wu, Ronghui Gu

المصدر: PLDI

مصطلحات موضوعية: Correctness, Basis (linear algebra), business.industry, Computer science, Proof assistant, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, computer.software_genre, Computer Graphics and Computer-Aided Design, Abstraction layer, Kernel (statistics), Embedded system, Code (cryptography), Operating system, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Software, System software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e3feddf41391d4ba6a1f66d3a3feca6Test
https://doi.org/10.1145/2980983.2908101Test

المؤلفون: Yu Guo, Shu-Chun Weng, Jérémie Koenig, Zhong Shao, Tahina Ramananandro, Xiongnan (Newman) Wu, Haozhong Zhang, Ronghui Gu

المصدر: POPL

مصطلحات موضوعية: Data abstraction, Functional programming, Correctness, Interface (Java), Computer science, Programming language, Proof assistant, computer.software_genre, Abstraction layer, Compiler, Layer (object-oriented design), computer, Implementation, Abstraction inversion, Abstraction (linguistics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8bc9af853deb44a62fc0b49c7e6474b1Test
https://doi.org/10.1145/2676726.2676975Test

المؤلفون: Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska

المصدر: Lecture Notes in Computer Science ISBN: 9783642415234
INAP/WLP

مصطلحات موضوعية: Answer set programming, Theoretical computer science, Supply chain management, Computer science, business.industry, Satisfiability modulo theories, Automated planning and scheduling, Constraint programming, Artificial intelligence, Service provider, Modular design, business, Integer programming

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::4489353b8006810ecc2df373e53780bfTest
https://doi.org/10.1007/978-3-642-41524-1_12Test

المؤلفون: Amir Aavani, Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell

المصدر: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783642287169
LPAR

مصطلحات موضوعية: Theoretical computer science, Programming language, Computer science, Programming language specification, Combinatorial search, Specification language, Extension (predicate logic), computer.software_genre, Boolean satisfiability problem, computer, First-order logic

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::aee5194409e2583966cbfdf53e018633Test
https://doi.org/10.1007/978-3-642-28717-6_4Test

المؤلفون: Xiongnan Newman Wu, Amir Aavani, David G. Mitchell, Eugenia Ternovska

المصدر: Advances in Artificial Intelligence ISBN: 9783642210426
Canadian Conference on AI

مصطلحات موضوعية: Theoretical computer science, Computer science, Atomic formula, Combinatorial search, Extension (predicate logic), Relational algebra, Solver, Field (computer science), Sentence, Domain (software engineering)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::dcdce988978a47597cb5c50952e49365Test
https://doi.org/10.1007/978-3-642-21043-3_2Test