XiaoMi-AI文件搜索系统
World File Search SystemArie
Hongce Zhang
会议：•Yu Zeng，Bo-Yuan Huang，Hongce Zhang，Aarti Gupta，Sharad Malik，从RTL设计中产生建筑级别的处理器，用于处理器和加速器的RTL设计，第一部分：确定建筑变量的建筑变量，在计算机上设计（ICCAD），ICCAD（ICCAD），ICCAD•MAKEAI MAKIAN MAKIEN LONS，AHMEDERIAI，AHMEDERIAL LONS，AHMEDERIAL LONS，AHMED AHMEDERIAL LONS，AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED MARGAIN Yang, Hongce Zhang , Kristopher Brown, Aarti Gupta and Clark Barrett, Pono: A Flexible and Extensible SMT-based Model Checker, in Computer-aided Verification (CAV) , 2021 • Hongce Zhang , Aarti Gupta and Sharad Malik, Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking, in Verification Model Checking and Abstract解释（VMCAI），2021。•Hongce Zhang，Maxwell Shinn，Aarti Gupta，Arie Gurfikel，Nham Le和Nina Narodytska，通过可及性分析进行认知任务的复发性神经网络的验证，在欧洲人工智能（ECAI）的欧洲大会上，2020年。•Nina Narodytska，Hongce Zhang，Aarti Gupta和Toby Walsh，在国际学习表现会议（ICLR）中寻找卫星友好的二进制神经网络建筑（ICLR），2020年。•Hongce Zhang，Weikun Yang，Grigory Fedyukovich，Aarti Gupta和Sharad Malik，在验证模型检查和抽象解释（VMCAI）中，用于模块化硬件验证的环境不变性（VMCAI），2020年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。•Hongce Zhang，Caroline Trippel，Yatin A. Manerkar，Aarti Gupta，Aarti Gupta，Margaret Martonosi和Sharad Ma-Maik，Ila-MCM：Ila-MCM：将记忆一致性模型与指导级抽象与异构系统 - chiper-chip chip chip verii chiperifienforcation in-in-chiperforcation in-in-chip-chip-chiperforcation in Sumper-nor-clander/in gramcaded in of Computer-aver-aver-aver-aver-aver-aver>•Jangseop Shin，Hongce Zhang，Jinyong Lee，Ingoo Heo，Yu-Yuan Chen，Ruby B. Lee和Yunheung Paek，这是一种基于硬件的技术隐性信息流动跟踪，在国际计算机辅助设计（ICCAD）的国际会议上（ICCAD），2016
VT-3——红色骑士
编号 时间 T/O 事件 1 0530 0600 UTD 5W DIXEY, JORDAN# GERSBACH, TYLER# I2101 1.3 双倍 - ODB 1430 2 0530 0600 OFT 2W ODAY, TREVOR# PANAGOS, MAXWELL C3102 (86(WU)) 1.3 3 0530 0600 OFT 5W 1.3 练习模拟 4 0530 0600 OFT 8W 1.3 练习模拟 5 0650 0720 UTD 4W HAMER, DENNIS# HOLLAND, SPENCER# I2103 1.3 双倍 6 0650 0720 UTD 7W MOORE, ROBERT CRONIN, KAYLA C2103 1.3 7 0650 0720 OFT 4W RAIFF, MICHAEL GARCIA III, ANTONIO F3101 1.3 PARTNER IS BOUMAN 8 0650 0720 OFT 7W WALSH, KENT# REEVES, MASON I3201 1.3 9 0810 0840 UTD 3W STERSIC, CHRISTOPHER ARMSTRONG, ZION# I2103 1.3 DOUBLE 10 0810 0840 OFT 6W 1.3 PRACTICE SIM 11 0810 0840 OFT 5W TORMEY, JAMES CAMACHO, ISAIAH C3102 1.3 12 0810 0840 OFT 9W WALSH, KENT# GILBREATH, MONIQUE C3101 1.3 13 0930 1000 UTD 5W SURDEL，RICHARD# GERSBACH，TYLER# I2102 1.3 DOUBLE- ODB 1430 14 0930 1000 OFT 2W CANZONIERO，MICHAEL LEATHERWOOD，KEVIN# C3202 1.3 DOUBLE 15 0930 1000 OFT 5W MASON，BRADLEY CUMMINGS，SCOTT I3201 1.3 16 0930 1000 OFT 8W ORTIZ，MARTIN BOUMAN，HEATHER F3101 1.3 合作伙伴是 GARCIA，A 17 1050 1120 UTD 4W ODAY，TREVOR# HOLLAND，SPENCER# I2104 1.3 双倍 18 1050 1120 UTD 7W YOUNG II, BENJAMIN# MURPHY, LAUREN I2102 1.3 19 1050 1120 OFT 7W DIXEY, JORDAN# MORTON, NICHOLAS C3102 1.3 20 1210 1240 OFT 7W SURDEL, RICHARD# MAYES, GABRIELLA I3201 1.3 21 1210 1240 UTD 6W HAMER, DENNIS# ARMSTRONG, ZION# I2104 1.3 双倍 22 1210 1240 OFT 6W ROEST, ARIE SCHOLLAARDT, LARS I3106 1.3 23 1210 1240 OFT 9W WALSH，KENT# GABELLA，LUCAS# I3103 1.3 DNM 24 1330 1400 OFT 5W TANNER，JOSEPH# KELLY，SAMUEL C2201 1.3 25 1330 1400 OFT 2W PRICE，THOMAS LEATHERWOOD，KEVIN# C3203 1.3 DOUBLE 26 1330 1400 OFT 8W RHODES，DALLAS GORDON，NICHOLAS F3101 1.3 PARTNER IS HYDEN 27 1450 1520 UTD 7W JARDINE，TOM# MORLEY，KYLE I2102 1.3 28 1450 1520 OFT 4W BOYER，BENNETT LOPEZ， SIDNEY# N3101 1.3 DOUBLE 29 1610 1640 UTD 3W LINSCOTT, JASON# CRANE, ELLIOTT I2104 1.3 30 1610 1640 OFT 3W TANNER, JOSEPH# HYDEN, CONNER F3101 1.3 PARTNER IS GORDON 31 1610 1640 OFT 9W YOUNG II, BENJAMIN# SANKAR, AIDAN# C3101 1.3 32 1730 1800 OFT 5W WARNER, MICHAEL LILLEY JR, JUSTIN I3201 1.3 33 1850 1920 UTD 5W SALLEE, TROY ROSA, GABRIEL I2102 1.3 34 1850 1920 UTD 7W TOMS，CHRISTOPHER BURKE，JOSHUA C2103 1.3 35 1850 1920 OFT 4W LINSCOTT，JASON# LOPEZ，SIDNEY# N3201 1.3 DOUBLE 36 2010 2040 OFT 3W JARDINE，TOM# SPULER，LOGAN C3102 1.3
2024 年 4 月 - AGS 年会 - 美国老年医学会
编辑委员会 N EIL B. A LEXANDER，医学博士，安娜堡，MI MARLON JR A LIBERTI，医学博士、哲学博士，巴西圣保罗 H EATHER G. ALLORE，哲学博士，康涅狄格州纽黑文 H ALIMA A MJAD，医学博士、公共卫生硕士，巴尔的摩，马里兰州纽约 COURTNEY B ALENTINE，医学博士、公共卫生硕士，伯明翰， AL J OHN A. B ATSIS，医学博士，AGSF，北卡罗来纳州教堂山 D AN R. B ERLOWITZ，医学博士，贝德福德，马萨诸塞州 MARIE B OLTZ，博士，CRNP，宾夕法尼亚州大学公园 A BRAHAM A. B RODY，博士，注册护士，纽约州纽约市 C YNTHIA J. B ROWN，医学博士，公共卫生硕士，AGSF，伯明翰，AL J ULIE PW B YNUM，MD，MPH，安娜堡，MIKATHRYN E. C ALLAHAN，MD，MS，温斯顿-塞勒姆，NC JOSHUA CHODOSH，MD，MSHS，纽约，NY A NTOINETTE B. CO OE，PHARM D，博士，安娜堡，MI A NDREW B. C OHEN，MD，DPHIL，纽黑文，CT A LFONSO J. C RUZ -J ENTOFT，医学博士、博士，西班牙马德里 T HOMAS COFI MENSAH CUDJOE，医学博士、公共卫生硕士，巴尔的摩，医学博士 L ENISE CUMMINGS -V AUGHN , . MD，CMD，密苏里州圣路易斯 M AURO DIB ARI，医学博士，哲学博士，意大利佛罗伦萨 C ATHERINE E. DUBEAU，医学博士，新罕布什尔州黎巴嫩 C HRISTINE E ISENHOWER，PHARM D，罗德岛州金斯顿 T IMOTHY W. F ARRELL，医学博士，AGSF，犹他州盐湖城 Q IUSHI F ENG，哲学博士，新加坡 T HOMAS E. F INUCANE，医学博士，马萨诸塞州波士顿 T ERRY F ULMER，哲学博士，注册护士，AGSF，纽约州纽约 CONSTANCE H. F UNG，医学博士，MSHS，加利福尼亚州洛杉矶 L AUREN B. G ERLACH，DO，MS，密歇根州安娜堡 T HOMAS M. G ILL，医学博士，康涅狄格州纽黑文 S HELLY L. G RAY，. P HARM D, AGSF，华盛顿州西雅图 A RIEL R. G REEN，医学博士，公共卫生硕士，哲学博士，马里兰州巴尔的摩 J ERRY H. G URWITZ，医学博士，马萨诸塞州伍斯特 R ASHEEDA H ALL，医学博士，工商管理硕士，医学硕士，北卡罗来纳州达勒姆 W ILLIAM J. H ALL，医学博士，纽约州罗切斯特 J IN H. H AN，医学博士，.理学硕士，田纳西州纳什维尔 K CHRISTA L. HARRISON，博士，加利福尼亚州旧金山 WILLIAM R. H AZZARD，医学博士，AGSF，北卡罗来纳州温斯顿塞勒姆 S USAN E. HICKMAN，博士，印第安纳州印第安纳波利斯 M EGAN H UISINGH-S CHEETZ，医学博士，公共卫生硕士，芝加哥 ILLIAM R. HAZZARD，医学博士，AGSF，北卡罗来纳州温斯顿塞勒姆 医学博士，哲学博士，日本东京 LEE A. J ENNINGS，医学博士，MSHS，俄克拉荷马城，俄克拉荷马州 J ASON J OHANNING，医学博士，奥马哈 AND D AE H YUN KIM，SCD，医学博士，马萨诸塞州波士顿 A SHWIN A. KOTWAL，医学博士，理学硕士，加利福尼亚州旧金山
2VT- RIT数字机构存储库
[1] Hamed S. Alavi，Elizabeth F. Churchill，Mikael Wiberg，Denis Lalanne，Peter Dalsgaard，Ava Fatah Quarth gen Schieck和Yvonne Rogers。2019。人类建设互动简介（HBI）：将HCI与建筑和城市设计相结合。计算机 - 人类交互作用的ACM交易26，2，第6条（2019年3月），10页。https://doi.org/10.1145/3309714 [2] Michael Benedikt和Kory Bieg。 2018。 中心21：建筑物的秘密生活。 美国奥斯汀市美国建筑与设计中心。 [3] Olga Chesnokova，Mario Nowak和Ross S. Purves。 2017。 众包景观偏好模型。 Leibniz International Informatics，Lipics 86，19（2017），1-13。 https://doi.org/10.4230/lipics.cosit.2017.19 [4] Paul Coulton，Haider Ali Akmal和Joseph Lindley。 2020。 设计研究和面向对象的本体论。 公开哲学3，1（2020），11-41。 https://doi.org/10.1515/opphil-2020-0002 [5] Paul Dourish。 2006。 重新空间：“地点”和“空间”十年。 在2006年2006年20周年的合作工作会议上（加拿大艾伯塔省班夫）（CSCW '06）。 ACM，纽约，纽约，美国，299–308。 https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。 2013。 投机性的一切：设计，小说和社会梦想。 麻省理工学院出版社，马萨诸塞州剑桥。 https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。 2010。 人民的城市。 [8] Alix Gerber。https://doi.org/10.1145/3309714 [2] Michael Benedikt和Kory Bieg。2018。中心21：建筑物的秘密生活。美国奥斯汀市美国建筑与设计中心。 [3] Olga Chesnokova，Mario Nowak和Ross S. Purves。 2017。 众包景观偏好模型。 Leibniz International Informatics，Lipics 86，19（2017），1-13。 https://doi.org/10.4230/lipics.cosit.2017.19 [4] Paul Coulton，Haider Ali Akmal和Joseph Lindley。 2020。 设计研究和面向对象的本体论。 公开哲学3，1（2020），11-41。 https://doi.org/10.1515/opphil-2020-0002 [5] Paul Dourish。 2006。 重新空间：“地点”和“空间”十年。 在2006年2006年20周年的合作工作会议上（加拿大艾伯塔省班夫）（CSCW '06）。 ACM，纽约，纽约，美国，299–308。 https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。 2013。 投机性的一切：设计，小说和社会梦想。 麻省理工学院出版社，马萨诸塞州剑桥。 https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。 2010。 人民的城市。 [8] Alix Gerber。美国奥斯汀市美国建筑与设计中心。[3] Olga Chesnokova，Mario Nowak和Ross S. Purves。2017。众包景观偏好模型。Leibniz International Informatics，Lipics 86，19（2017），1-13。https://doi.org/10.4230/lipics.cosit.2017.19 [4] Paul Coulton，Haider Ali Akmal和Joseph Lindley。2020。设计研究和面向对象的本体论。公开哲学3，1（2020），11-41。https://doi.org/10.1515/opphil-2020-0002 [5] Paul Dourish。 2006。 重新空间：“地点”和“空间”十年。 在2006年2006年20周年的合作工作会议上（加拿大艾伯塔省班夫）（CSCW '06）。 ACM，纽约，纽约，美国，299–308。 https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。 2013。 投机性的一切：设计，小说和社会梦想。 麻省理工学院出版社，马萨诸塞州剑桥。 https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。 2010。 人民的城市。 [8] Alix Gerber。https://doi.org/10.1515/opphil-2020-0002 [5] Paul Dourish。2006。重新空间：“地点”和“空间”十年。在2006年2006年20周年的合作工作会议上（加拿大艾伯塔省班夫）（CSCW '06）。ACM，纽约，纽约，美国，299–308。 https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。 2013。 投机性的一切：设计，小说和社会梦想。 麻省理工学院出版社，马萨诸塞州剑桥。 https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。 2010。 人民的城市。 [8] Alix Gerber。ACM，纽约，纽约，美国，299–308。https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。 2013。 投机性的一切：设计，小说和社会梦想。 麻省理工学院出版社，马萨诸塞州剑桥。 https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。 2010。 人民的城市。 [8] Alix Gerber。https://doi.org/10.1145/1180875.1180921 [6] Anthony Dunne和Fiona Raby。2013。投机性的一切：设计，小说和社会梦想。麻省理工学院出版社，马萨诸塞州剑桥。https：//doi.org/10.1093/jdh/epv001 [7] Jan Gehl。2010。人民的城市。[8] Alix Gerber。岛出版社，华盛顿。2018。参与性猜测：公共安全期货。在ACM国际会议程序系列中，第1卷。2。计算机协会，纽约，纽约，美国，1-4。https://doi.org/10.1145/3210604.3210640 [9] Edward Twitchell Hall。 1969。 隐藏的维度：人类在公共和私人中使用空间。 Doubleday，纽约。 XII，217 Sivua，[16] Kuvasivua页面。 https://oula.finna.fi/record/uela.328721 [10]史蒂夫·哈里森（Steve Harrison）和保罗·杜里什（Paul Dourish）。 1996。 重新位置空间：位置和空间在协作系统中的作用。 在1996年ACM计算机支持合作工作会议论文集（美国马萨诸塞州波士顿）（CSCW '96）。 ACM，纽约，纽约，美国，67-76。 https://doi.org/10.1145/240080.240193 [11] B Hillier。 2007。 空间是机器。 配置理论。 剑桥大学出版社，剑桥大学出版社，剑桥大学，剑桥大学，剑桥大学，剑桥大学，英国CB2 8BS。 http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。 2019。 气味匹兹堡：社区授权的移动气味报告系统。 在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。 ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。https://doi.org/10.1145/3210604.3210640 [9] Edward Twitchell Hall。1969。隐藏的维度：人类在公共和私人中使用空间。Doubleday，纽约。XII，217 Sivua，[16] Kuvasivua页面。https://oula.finna.fi/record/uela.328721 [10]史蒂夫·哈里森（Steve Harrison）和保罗·杜里什（Paul Dourish）。 1996。 重新位置空间：位置和空间在协作系统中的作用。 在1996年ACM计算机支持合作工作会议论文集（美国马萨诸塞州波士顿）（CSCW '96）。 ACM，纽约，纽约，美国，67-76。 https://doi.org/10.1145/240080.240193 [11] B Hillier。 2007。 空间是机器。 配置理论。 剑桥大学出版社，剑桥大学出版社，剑桥大学，剑桥大学，剑桥大学，剑桥大学，英国CB2 8BS。 http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。 2019。 气味匹兹堡：社区授权的移动气味报告系统。 在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。 ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。https://oula.finna.fi/record/uela.328721 [10]史蒂夫·哈里森（Steve Harrison）和保罗·杜里什（Paul Dourish）。1996。重新位置空间：位置和空间在协作系统中的作用。在1996年ACM计算机支持合作工作会议论文集（美国马萨诸塞州波士顿）（CSCW '96）。ACM，纽约，纽约，美国，67-76。 https://doi.org/10.1145/240080.240193 [11] B Hillier。 2007。 空间是机器。 配置理论。 剑桥大学出版社，剑桥大学出版社，剑桥大学，剑桥大学，剑桥大学，剑桥大学，英国CB2 8BS。 http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。 2019。 气味匹兹堡：社区授权的移动气味报告系统。 在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。 ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。ACM，纽约，纽约，美国，67-76。https://doi.org/10.1145/240080.240193 [11] B Hillier。 2007。 空间是机器。 配置理论。 剑桥大学出版社，剑桥大学出版社，剑桥大学，剑桥大学，剑桥大学，剑桥大学，英国CB2 8BS。 http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。 2019。 气味匹兹堡：社区授权的移动气味报告系统。 在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。 ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。https://doi.org/10.1145/240080.240193 [11] B Hillier。2007。空间是机器。配置理论。剑桥大学出版社，剑桥大学出版社，剑桥大学，剑桥大学，剑桥大学，剑桥大学，英国CB2 8BS。http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。 2019。 气味匹兹堡：社区授权的移动气味报告系统。 在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。 ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。http://discovery.ucl.ac.uk/49843/ [12] Yen-Chia Hsu，Jennifer Cross，Paul Dille，Michael Tasota，Beatrice Dias，Beatrice Dias，Randy Sargent，Ting-Hao（Ting-Hao（Kenneth）Huang）和Illah Nourbakhsh。2019。气味匹兹堡：社区授权的移动气味报告系统。在第24届国际智能用户界面会议论文集（加利福尼亚州玛丽娜·德尔·雷）（IUI '19）。ACM，纽约，纽约，美国，65-79。 2016。 众包集体的位置感。 2019。ACM，纽约，纽约，美国，65-79。2016。众包集体的位置感。2019。https://doi.org/10.1145/3301275.3302293 [13] Andrew Jenkins，Arie Croitoru，Andrew T. Crooks和Anthony Stefanidis。 PLOS ONE 11，4（2016年4月），1-20。 https://doi.org/10.1371/journal.pone.0152932 [14] David Kirsh。 建筑师和设计师对互动性的看法有所不同吗？ 计算机 - 人类交互作用上的ACM交易26，2（2019年4月），1-43。 https://doi.org/10.1145/3301425 [15] R. Kitchin。 2018。 智能城市的实地。 Tecnoscienza：意大利科学与技术研究杂志8（2018），19-42。 [16] Peter Gall Krogh，Marianne Graves Petersen，Kenton O'Hara和Jens Emil Groenbaek。 2017。 对HCI中社会空间素养的敏感概念。 在2017年CHI计算系统中人为因素会议论文集（美国科罗拉多州丹佛市）（CHI '17）。 计算协会https://doi.org/10.1145/3301275.3302293 [13] Andrew Jenkins，Arie Croitoru，Andrew T. Crooks和Anthony Stefanidis。PLOS ONE 11，4（2016年4月），1-20。 https://doi.org/10.1371/journal.pone.0152932 [14] David Kirsh。 建筑师和设计师对互动性的看法有所不同吗？ 计算机 - 人类交互作用上的ACM交易26，2（2019年4月），1-43。 https://doi.org/10.1145/3301425 [15] R. Kitchin。 2018。 智能城市的实地。 Tecnoscienza：意大利科学与技术研究杂志8（2018），19-42。 [16] Peter Gall Krogh，Marianne Graves Petersen，Kenton O'Hara和Jens Emil Groenbaek。 2017。 对HCI中社会空间素养的敏感概念。 在2017年CHI计算系统中人为因素会议论文集（美国科罗拉多州丹佛市）（CHI '17）。 计算协会PLOS ONE 11，4（2016年4月），1-20。https://doi.org/10.1371/journal.pone.0152932 [14] David Kirsh。 建筑师和设计师对互动性的看法有所不同吗？ 计算机 - 人类交互作用上的ACM交易26，2（2019年4月），1-43。 https://doi.org/10.1145/3301425 [15] R. Kitchin。 2018。 智能城市的实地。 Tecnoscienza：意大利科学与技术研究杂志8（2018），19-42。 [16] Peter Gall Krogh，Marianne Graves Petersen，Kenton O'Hara和Jens Emil Groenbaek。 2017。 对HCI中社会空间素养的敏感概念。 在2017年CHI计算系统中人为因素会议论文集（美国科罗拉多州丹佛市）（CHI '17）。 计算协会https://doi.org/10.1371/journal.pone.0152932 [14] David Kirsh。建筑师和设计师对互动性的看法有所不同吗？计算机 - 人类交互作用上的ACM交易26，2（2019年4月），1-43。https://doi.org/10.1145/3301425 [15] R. Kitchin。 2018。 智能城市的实地。 Tecnoscienza：意大利科学与技术研究杂志8（2018），19-42。 [16] Peter Gall Krogh，Marianne Graves Petersen，Kenton O'Hara和Jens Emil Groenbaek。 2017。 对HCI中社会空间素养的敏感概念。 在2017年CHI计算系统中人为因素会议论文集（美国科罗拉多州丹佛市）（CHI '17）。 计算协会https://doi.org/10.1145/3301425 [15] R. Kitchin。2018。智能城市的实地。Tecnoscienza：意大利科学与技术研究杂志8（2018），19-42。[16] Peter Gall Krogh，Marianne Graves Petersen，Kenton O'Hara和Jens Emil Groenbaek。2017。对HCI中社会空间素养的敏感概念。在2017年CHI计算系统中人为因素会议论文集（美国科罗拉多州丹佛市）（CHI '17）。计算协会
用高吞吐量测量单细胞密度可以使免疫细胞的动态分析和患者样品的药物反应
用高吞吐量测量单细胞密度可以使免疫细胞和药物1的动态分析2 Weida Wu 1,2，Sarah H. Ishamuddin 1，Thomas W. Quinn 3,4 3,4，Smitha Yerrum 3,4，Smitha Yerum 3,4，Ye Zhang 1，Ye Ye Zhang 1，Ye Ye Ye Zhang 1，Yedie L. DeBaiz 5，3 pei-lun karie arie karie 3,4，du un kao 3,4,4,4,4,4 ,4，; Murakami 5 , Morvarid Mohseni 6 , Kin-Hoe Chow 3,4 , Teemu P. 4 Miettinen 1 , Keith L. Ligon 3,4,7,8,9,* , Scott R. Manalis 1,2,7,10,* 5 6 1 Koch Institute for Integrative Cancer Research, Massachusetts Institute of Technology, 500 Main St building 76, Cambridge, MA 02139, USA.7 2马萨诸塞州理工学院生物工程系，21 Ames ST＃56-651，剑桥，马萨诸塞州02139，美国。然而，现有的密度测量缺乏21个精度或吞吐量，无法量化细胞状态的细微差异，尤其是在主要样本中。22在这里，我们提出了一种方法，可以通过将荧光排除显微镜与悬浮的24个微通道谐振器进行整合，以0.03％（0.0003 g/ml）的精度为0.03％（0.0003 g/ml）的密度。将这种方法应用于人淋巴细胞时，我们发现细胞25密度及其变化随着细胞从静止状态过渡到增殖状态而降低，26表明分子拥挤的水平会降低，并在进入细胞周期时受到更高的调节。使用胰腺癌患者衍生的异种移植模型，我们发现原发性肿瘤细胞对药物治疗的EX 28体内密度反应可以预测体内肿瘤生长29反应。45 46测量细胞密度的主要挑战是获得高采样吞吐量以及高47精度。8 3患者衍生模型中心，达纳 - 法伯癌症研究所，美国马萨诸塞州波士顿伯灵顿大街21号，美国马萨诸塞州02215，美国9 4病理学系，达纳 - 法伯癌症研究所，哈佛大学450 Brookline Avenue，波士顿，波士顿，波士顿，马萨诸塞州马萨诸塞州02215 02215, USA 11 6 Oncology Discovery, Bristol-Myers Squibb, 250 Water St, Cambridge, MA 02141, USA 12 7 Broad Institute of Harvard and MIT, 415 Main St, Cambridge, MA 02142, USA 13 8 Department of Pathology, Brigham & Women's Hospital, Harvard Medical School, 75 Francis St, Boston, MA 02215, USA 14 9 Department of Pathology,波士顿儿童医院，哈佛医学院，马萨诸塞州波士顿朗伍德大街300号，美国马萨诸塞州02115，美国15 10 Massachusetts理工学院机械工程系，马萨诸塞州33 Massachusetts Ave，Masbridge，MA 02139，USA，美国16 17 *通讯作者Keith_ligon@dfci.harvard.eduuuse; srm@mit.edu 18 19细胞密度，细胞质量与体积的比率是分子拥挤的指标，因此是细胞态和功能的20个基本决定因素。我们的方法揭示了细胞状态过渡30期间分子拥挤的意外行为，并将密度作为功能精确药物的新生物标志物。31 32 33细胞密度取决于细胞的干质量组成和水的细胞体积的比例，34反映其分子拥挤水平。尽管细胞质量和体积在增殖的35个细胞中可能会变化高达50％，但细胞密度受到严格调节，以保持最佳的分子拥挤水平1,2,3。使用流线型的音量传感单元，可以实现63环境36提示，例如养分耗竭和渗透压变化会改变分子拥挤，37个通过改变扩散率和蛋白质构象1,4,5来影响细胞生物化学。38个拥挤水平和细胞生理学之间的耦合使细胞密度成为表征基本细胞39过程的关键，例如增殖，凋亡，代谢转移和分化1,3，指出了其潜在的40个生物标记物，用于细胞适应性和药物反应。对细菌和酵母41等单细胞生物的研究报告说，在42种增殖和休眠之间的细胞状态过渡过程中，分子拥挤水平显着变化，并且人们认为密度被认为急性地反映了这些过渡5-8。在原发性哺乳动物细胞中是否存在密度和增殖之间的这种43连接尚不清楚，部分原因是44归因于现有密度测量方法的局限性。传统的梯度离心方法在人口水平上评估细胞密度，但速度为48，需要大量样本量，这限制了它们用于研究瞬态生物学过程的使用。单49个细胞测量结果揭示了人群内细胞密度的异质性，从而深入了解了密度50调节。磁悬浮方法通过平衡细胞的重力来确定单细胞的密度，而51浮力培养基9,10施加的浮力。方法检测干质密度（总数超过52体积的干质量），例如定量相显微镜（QPM）或与细胞体积53测量相结合的拉曼成像，提供替代密度测量值11,12,13,14,15,16。尽管这些方法提供了54个亚细胞分辨率和单细胞跟踪，但在测量细胞密度时，迄今为止使用哺乳动物细胞发表的实验含有55米至数百个单细胞。悬浮的微通道谐振器（SMR）56是一种微流体质量传感器，已用于通过测量两种类型的流体中的57个细胞的57个质量来测量单细胞密度，具有不同的密度为17,18-20。但是，这种方法的吞吐量为58限制为每个实验几百个单元，因为它要求细胞在两种类型的59种流体中进行顺序测量。60 61 SMR和QPM设备已经达到了每62个实验21-23的数十万个单元的吞吐量。