XiaoMi-AI文件搜索系统
World File Search SystemYoon
Steve Zdancewic - UPenn CIS - 宾夕法尼亚大学
Jianzhou Zhao，博士，2013 年 8 月。形式化基于 SSA 的编译器以进行验证的高级程序转换 Peter-Michael Osera，博士，2016 年 8 月。带类型的程序合成 Jennifer Paykin，博士，2018 年 6 月。嵌入式领域特定语言的线性/非线性类型 Robert Rand，博士，2018 年 12 月。形式化验证的量子编程 Li-yao Xia，博士，2022 年 8 月。（由 Benjamin Pierce 共同监督）具有交互树的可执行表示语义 Yishuai Li，博士，2022 年 5 月。（由 Benjamin Pierce 共同监督）通过对偶化进行测试 Lucas Silver，博士，2023 年 8 月。交互树和形式规范 Irene Yoon，博士2023 年 12 月。LLVM IR 的模块化语义和元理论 Calvin Beck Paul He Nicholas Rioux Lawrence Dunn（由 Val Tannen 共同监督） Stephen Mell（由 Osbert Bastani 共同监督） Joey Velez-Ginorio（由 Konrad Kording 共同监督）
人工智能的路线图和超导性的大数据技术
yazdan-asrami 1，∗，歌曲，穆尔塔 - 皮纳4，Pronto 4，Oliveira 3，Francesco Grilli 3，Enric Pardo 5，Michael Parish 6，Boyang Shen 7 Nhan Tran 11，Wiels Mace 12，Scottish和Nothing Vilhena 4，Guilherme Soteo 15，Zhenan Jiang 10，Veit Gross 16，Bagni 17，Bagni 17，Diego Mauro 17，Carmine Senatore，Carmine Senatore 17 25，26
通过免疫细胞特异性转录组的关联研究
Xianyong Yin, 1,2,3,4,5,6 Kwangwoo Kim , 7 Hiroyuki Suetsugu, 8,9,10 So-Young Bang, 11,12 Leilei Wen, 1,2 Masaru Koido, 9,13 Eunji Ha, 7 Lu Liu, 1,2 Yuma Sakamoto, 8,14 Sungsin Jo, 12 Rui-Xue Leng , 15 Nao Otomo, 8,9,16 Young-Chang Kwon, 12 Yujun Sheng, 1,2 Nobuhiko Sugano , 17 Mi Yeong Hwang, 18 Weiran Li, 1,2 Masaya Mukai, 19 Kyungheon Yoon, 18 Minglong Cai, 1,2 Kazuyoshi Ishigaki, 9,20,21,22 Won Tae Chung, 23 He Huang, 1,2 Daisuke Takahashi, 24 Shin-Seok Lee, 25 Mengwei Wang, 1,2 Kohei Karino, 26 Seung-Cheol Shim, 27 Xiaodong Zheng, 1,2 Tomoya Miyamura, 28 Young Mo Kang, 29 Dongqing Ye , 15 Junichi Nakamura , 30 Chang-Hee Suh, 31 Yuanjia Tang, 32 Goro Motomura, 10 Yong-Beom Park, 33 Huihua Ding , 32 Takeshi Kuroda, 34 Jung-Yoon Choe, 35 Chengxu Li, 4 Hiroaki Niiro, 36 Youngho Park, 12 Changbing Shen, 37,38 Takeshi Miyamoto, 39 Ga-Young Ahn, 11 Wenmin Fei, 4 Tsutomu Takeuchi , 40 Jung-Min Shin, 11 Keke Li, 4 Yasushi Kawaguchi, 41 Yeon-Kyung Lee, 11 Yong-Fei Wang , 42 Koichi Amano, 43 Dae Jin Park, 11 Wanling Yang , 42 Yoshifumi Tada, 44 Yu Lung Lau, 42 Ken Yamaji, 45 Zhengwei Zhu, 1,2 Masato Shimizu, 46 Takashi Atsumi, 47 Akari Suzuki, 48 Takayuki Sumida, 49 Yukinori Okada , 50,51,52 Koichi Matsuda, 53,54 Keitaro Matsuo, 55,56 Yuta Kochi , 57 Japanese Research Committee on Idiopathic Osteonecrosis of the Femoral Head, Kazuhiko Yamamoto , 48 Koichiro Ohmura, 58 Tae-Hwan Kim , 11,12 Sen Yang, 1,2 Takuaki Yamamoto, 59 Bong-Jo Kim, 18 Nan Shen , 32,60,61 Shiro Ikegawa, 8 Hye-Soon Lee, 11,12 Xuejun Zhang, 1,2,62 Chikashi Terao , 9,63,64 Yong Cui, 4 Sang-Cheol Bae 11,12
世界银行文件
本报告由 Junu Shrestha（高级环境专家）领导的团队在 Mona Sur（实践经理）、Jason Allford（特别代表）和 Anna Wellenstein（区域主任）的指导下编写。核心团队由 Hubert Jenny（高级环境顾问）、Elaine Tinsley（私营部门专家）、Ann Bishop（技术编辑）和 Sojin Jung（环境顾问）组成。Rieko Kubota Tasaki（高级环境专家）、Ravi Gupta（财务和创新顾问）和 Bora Kim（创新政策顾问）也做出了技术贡献。韩国补充说明的主要研究和分析由 Yoon Ju Heo（高级环境顾问）和 Hyunji Roh（环境顾问）进行。团队得到了 Milen Dyoulgerov Vollen（高级环境专家）和 Maria Lourdes Noel（高级项目助理）的运营指导。Anjali Acharya（高级环境专家）在项目初期提供了指导。Sarah Jene Hollis（设计顾问）负责出版物的设计布局。Soyoun Jun（项目助理）为团队提供行政支持。
临床特征和诱导多能干细胞（IPSC）疾病模型的Harel-Yoon综合征模型由复合杂合ATAD3A变体引起
ATPase家族AAA含有域的蛋白3a（ATAD3A）富含线粒体膜，对于维持线粒体结构和功能至关重要。 ATAD3A基因的变体可以导致Harel Yoon综合征（Hayos），这是神经，心血管和其他系统的发育缺陷。 这项研究旨在从患者的体细胞（Zjuchyli001-A）和阴性对照（Zjuchyli002-A）中开发出诱导的多能干细胞（IPSC），作为对ATAD3A变异疾病的病因的进一步研究的有效工具。 我们描述并分析了Proband及其家人的临床表现。 从概率和阴性对照中收集并将其重新编程为IPSC。 此外，我们测量了IPSC中的ATAD3A表达水平，以确认这些细胞系的有效性。 Proband和她的姐姐都病重病，并有复合杂合的ATAD3A变体（F459S/T498NF*13）。 他们的父母是这些变体的载体，没有任何临床表现。 两个变体都位于ATAD3A蛋白的ATPase结构域上。 细胞系Zjuchyli001-A和Zjuchyli002-A呈现多能干细胞的典型特征。 与Zjuchyli002-A相比，Zjuchyli001-A的ATAD3A表达水平显着降低。 这项研究从ATAD3A的复合杂合变体的患者中产生了IPSC，并且是负面对照，作为阐明ATAD3A变体相关疾病的分子机制的有价值工具。ATPase家族AAA含有域的蛋白3a（ATAD3A）富含线粒体膜，对于维持线粒体结构和功能至关重要。ATAD3A基因的变体可以导致Harel Yoon综合征（Hayos），这是神经，心血管和其他系统的发育缺陷。 这项研究旨在从患者的体细胞（Zjuchyli001-A）和阴性对照（Zjuchyli002-A）中开发出诱导的多能干细胞（IPSC），作为对ATAD3A变异疾病的病因的进一步研究的有效工具。 我们描述并分析了Proband及其家人的临床表现。 从概率和阴性对照中收集并将其重新编程为IPSC。 此外，我们测量了IPSC中的ATAD3A表达水平，以确认这些细胞系的有效性。 Proband和她的姐姐都病重病，并有复合杂合的ATAD3A变体（F459S/T498NF*13）。 他们的父母是这些变体的载体，没有任何临床表现。 两个变体都位于ATAD3A蛋白的ATPase结构域上。 细胞系Zjuchyli001-A和Zjuchyli002-A呈现多能干细胞的典型特征。 与Zjuchyli002-A相比，Zjuchyli001-A的ATAD3A表达水平显着降低。 这项研究从ATAD3A的复合杂合变体的患者中产生了IPSC，并且是负面对照，作为阐明ATAD3A变体相关疾病的分子机制的有价值工具。ATAD3A基因的变体可以导致Harel Yoon综合征（Hayos），这是神经，心血管和其他系统的发育缺陷。这项研究旨在从患者的体细胞（Zjuchyli001-A）和阴性对照（Zjuchyli002-A）中开发出诱导的多能干细胞（IPSC），作为对ATAD3A变异疾病的病因的进一步研究的有效工具。我们描述并分析了Proband及其家人的临床表现。从概率和阴性对照中收集并将其重新编程为IPSC。此外，我们测量了IPSC中的ATAD3A表达水平，以确认这些细胞系的有效性。Proband和她的姐姐都病重病，并有复合杂合的ATAD3A变体（F459S/T498NF*13）。他们的父母是这些变体的载体，没有任何临床表现。两个变体都位于ATAD3A蛋白的ATPase结构域上。细胞系Zjuchyli001-A和Zjuchyli002-A呈现多能干细胞的典型特征。与Zjuchyli002-A相比，Zjuchyli001-A的ATAD3A表达水平显着降低。这项研究从ATAD3A的复合杂合变体的患者中产生了IPSC，并且是负面对照，作为阐明ATAD3A变体相关疾病的分子机制的有价值工具。
三分钟论文竞赛第一轮预赛#1 ...
第一轮预赛 #1 2024 年 11 月 12 日星期二，上午 9:00 评委： Carrie Johnston，SMU 图书馆研究与学术计划主任 Brandon Miller，大学荣誉课程和奖学金助理院长 Rob Pearson，穆迪研究生和高级研究学院职业发展和博士后事务主任 参赛者： Nicole Pinzon Hoyos，分子和细胞生物学博士：“将免疫与癫痫发作联系起来：免疫补体蛋白对癫痫的潜在影响” Rawda Ahmed，土木与环境工程博士：“使用集成计算机视觉和过滤技术估计区域卡车运动的数字框架” Zheyuan Xu，可持续发展硕士：“达拉斯的城市农业：改善贫困人口生活的潜在方法” Jason Yoon，数据科学硕士：“社交媒体网络中机器人的流行和影响： 2024 年总统大选” Umanga Weerasingha，地质学博士：“利用多个卫星遥感源确定北半球湖泊的间歇性冰盖” Wen Fan，生物统计学博士：“深度学习用于抗生素耐药性预测”
反病毒先天免疫力：1型糖尿病真正开始的地方吗？
1。Hober D，Sauter P. 1型糖尿病的发病机理：肠病毒和宿主之间的相互作用。nat Rev Endocrinol。2010; 6（5）：279-289。https://doi.org/10.1038/nrendo.2010.27 2。 Jun HS，Yoon JW。 对1型糖尿病中病毒的新景象。 dia-betes metab res rev。 2003; 19（1）：8-31。 https://doi.org/10.1002/dm rr.337 3。 Citro A，Campo F，Dugnani E，Piemonti L.先天免疫介导的炎症和β细胞功能：邻居或敌人？ 前内分泌（Lausanne）。 2020; 11：606332。 https://doi.org/10.3389/ fendo.2020.606332 4。 Alidjinou EK，Hober D.肠病毒和1型糖尿病：与先天免疫反应相关的候选基因。 ebiomedicine。 2015; 2（7）：636-637。 https://doi.org/10.1016/j.ebiom.2015.06.001 5。 Zirpel H，Roep Bo。 iSlet居住的树突状细胞和1型糖尿病中的巨噬细胞：寻找Bigfoot的印刷品。 前内分泌（Lau-Sanne）。 2021; 12：666795。 https://doi.org/10.3389/fendo.2021.66 6795https://doi.org/10.1038/nrendo.2010.27 2。Jun HS，Yoon JW。对1型糖尿病中病毒的新景象。dia-betes metab res rev。2003; 19（1）：8-31。 https://doi.org/10.1002/dm rr.337 3。 Citro A，Campo F，Dugnani E，Piemonti L.先天免疫介导的炎症和β细胞功能：邻居或敌人？ 前内分泌（Lausanne）。 2020; 11：606332。 https://doi.org/10.3389/ fendo.2020.606332 4。 Alidjinou EK，Hober D.肠病毒和1型糖尿病：与先天免疫反应相关的候选基因。 ebiomedicine。 2015; 2（7）：636-637。 https://doi.org/10.1016/j.ebiom.2015.06.001 5。 Zirpel H，Roep Bo。 iSlet居住的树突状细胞和1型糖尿病中的巨噬细胞：寻找Bigfoot的印刷品。 前内分泌（Lau-Sanne）。 2021; 12：666795。 https://doi.org/10.3389/fendo.2021.66 67952003; 19（1）：8-31。https://doi.org/10.1002/dm rr.337 3。Citro A，Campo F，Dugnani E，Piemonti L.先天免疫介导的炎症和β细胞功能：邻居或敌人？前内分泌（Lausanne）。2020; 11：606332。 https://doi.org/10.3389/ fendo.2020.606332 4。Alidjinou EK，Hober D.肠病毒和1型糖尿病：与先天免疫反应相关的候选基因。ebiomedicine。2015; 2（7）：636-637。 https://doi.org/10.1016/j.ebiom.2015.06.001 5。 Zirpel H，Roep Bo。 iSlet居住的树突状细胞和1型糖尿病中的巨噬细胞：寻找Bigfoot的印刷品。 前内分泌（Lau-Sanne）。 2021; 12：666795。 https://doi.org/10.3389/fendo.2021.66 67952015; 2（7）：636-637。https://doi.org/10.1016/j.ebiom.2015.06.001 5。 Zirpel H，Roep Bo。 iSlet居住的树突状细胞和1型糖尿病中的巨噬细胞：寻找Bigfoot的印刷品。 前内分泌（Lau-Sanne）。 2021; 12：666795。 https://doi.org/10.3389/fendo.2021.66 6795https://doi.org/10.1016/j.ebiom.2015.06.001 5。Zirpel H，Roep Bo。iSlet居住的树突状细胞和1型糖尿病中的巨噬细胞：寻找Bigfoot的印刷品。前内分泌（Lau-Sanne）。2021; 12：666795。 https://doi.org/10.3389/fendo.2021.66 6795
疏浚淘洗试验 (DRET) 开发
本报告中描述的工作由以下博士在 1988 至 1990 财年期间进行。北卡罗来纳大学教堂山分校环境科学与工程系 Francis A. DiGiano、Cass T. Miller 和 Jeyong Yoon 先生根据与水资源工程组 (WREG) 签订的合同 DACW39-88-K-0063 和 DACW39-88-K-0063-P00005 开展工作，该组目前为工程应用分部 (EAB)、环境工程部 (EED)、环境实验室 (EL)、美国陆军工程兵水道实验站 (WES)。这些合同由 Donald F. Hayes 博士监督，他在合同期间就职于 WREG，目前就职于犹他大学土木工程系。这项工作的资金最初由工作单位 #32433 提供，该单位名为“疏浚过程中的污染物释放控制”，隶属于改进操作和维护技术 (IOMT) 研究计划。合同期间的行政监督由 WREG/EAB 负责人 John J. Ingram 博士、EED 负责人 Raymond L. Montgomery 博士和 EL 主任 John Harrison 博士提供。IOMT 项目经理是 WES 水力学实验室的 E. Clark McNair, Jr. 先生和 Robert F. Athow 先生。
疏浚淘洗试验（DRET）开发
本报告中描述的工作由以下博士在 1988 至 1990 财年期间进行。北卡罗来纳大学教堂山分校环境科学与工程系 Francis A. DiGiano、Cass T. Miller 和 Jeyong Yoon 先生根据与水资源工程组 (WREG) 签订的合同 DACW39-88-K-0063 和 DACW39-88-K-0063-P00005 开展工作，该组目前为工程应用分部 (EAB)、环境工程部 (EED)、环境实验室 (EL)、美国陆军工程兵水道实验站 (WES)。这些合同由 Donald F. Hayes 博士监督，他在合同期间就职于 WREG，目前就职于犹他大学土木工程系。这项工作的资金最初由工作单位 #32433 提供，该单位名为“疏浚过程中的污染物释放控制”，隶属于改进操作和维护技术 (IOMT) 研究计划。合同期间的行政监督由 WREG/EAB 负责人 John J. Ingram 博士、EED 负责人 Raymond L. Montgomery 博士和 EL 主任 John Harrison 博士提供。IOMT 项目经理是 WES 水力学实验室的 E. Clark McNair, Jr. 先生和 Robert F. Athow 先生。
探索崎岖的技术前沿
我们感谢 Michael Bervell、John Cheng、Pallavi Deshpande、Maxim Ledovskiy、John Kalil、Kelly Kung、Rick Lacerda、MarcAntonio Awada、Paula Marin Sariego、Rafael Noriega、Alejandro Ortega、Rahul Phanse、Quoc-Anh Nguyen、Nitya Rajgopal、Ogbemi Rewane、Kyle Schirmann、Andrew Seo、Tanay Tiwari、Elliot Tobin、Lebo Nthoiwa、Patrick Healy、Saud Almutairi、Steven Randazzo、Anahita Sahu、Aaron Cheng 和 Yogesh Kumaar 提供了有益的研究帮助。我们感谢 Kevin Dai 在数据和可视化方面的出色支持。对于有用的反馈，我们感谢 Maxime Courtaux、Clement Dumas、Gaurav Jha、Jesse Li、Max Männig、Michael Menietti、Rachel Mural、Zahra Rasouli、Esther Yoon、Leonid Zhukov 和 David Zuluaga Martínez。Lakhani 要感谢 Martha Wells、Anne Leckie、Iain Banks 和 Alastair Reynolds 启发了 AI 的未来。我们使用 Poe、Claude 和 ChatGPT 进行简单的文字编辑和图形创作。Lakhani 是波士顿咨询集团的 AI 战略和学习参与顾问。