XiaoMi-AI文件搜索系统
World File Search SystemDutertre
SMT-LIB标准版本2.7
是由整个SMT委托的输入和由SMT工具的开发人员和用户组成的三个国际工作组的输入开发的：由C. Tinelli和SMT-Logic工作组主持的SMT-API工作组，由C. Tinelli和SMT模型工作组领导，由C. Barrett领导。版本2.0文档由C. Barrett，A。Stump和C. Tinelli撰写。Particular thanks are due to the following work group members, who contributed numer- ous suggestions and helpful constructive criticism in person or in email discussions: Nikolaj Bjørner, Sascha Boehme, David Cok, David Deharbe, Bruno Dutertre, Pascal Fontaine, Vi- jay Ganesh, Alberto Griggio, Jim Grundy, Paul Jackson, Albert Oliveras, Sava Krsti´c，Michal Moskal，Leonardo de Moura，PhilippRümmer，Roberto Sebastiani和Johannes Waldmann。也要感谢David Cok，Morgan Deters，AndersFranzén，Amit Goel，Jochen Hoenicke和Tjark Weber提供有关标准的其他反馈，以及Jochen Hoenicke，PhilippRümmer，PhilippRümmer，以及David Cok的仔细校对版本2.0版本的版本2.0版。
SIgN 附属出版物，作者：Florent GINHOUX
Dudziak D、Heger L、Agace WW、Bakker J、de Gruijl TD、Dress RJ、Dutertre CA、Fenton TM、Fransen MF、Ginhoux F、Heyman O、Horev Y、Hornsteiner F、Kandiah V、Kles P、Lubin R、Mizraji G、Prokopi A、Saar O、Sopper P、Stotz、Topp、H、Topp、EC、MM CH、van Pul K、van de Ven R、Wilensky A、Yona S、Zelle-Rieser C。人类非淋巴组织 DC 的制备和流式细胞术分析指南。欧洲免疫学杂志。 2024 年 12 月 12 日：e2250325 Araujo David B、Atif J、Vargas E Silva Castanheira F、Yasmin T、Guillot A、Ait Ahmed Y、Peiseler M、Hommes JW、Salm L、Brundler MA、Surewaard BGJ、Elhenawy W、MacParland S、Kuphoux、P. 和 Kupffer、Kuffer 细胞。ver 窦状隙可减轻新生儿败血症和脑膜炎。科学免疫学。 2024 年 11 月；9(101)：eadq9704。 Abdelbasset M、Saron WAA、Ma D、Rathore APS、Kozaki T、Zhong C、Mantri CK、Tan Y、Tung CC、Tey HL、Chu JJH、Chen J、Ng LG、Wang H、Ginhoux F、St John AL。胎儿单核吞噬细胞对寨卡病毒神经侵袭和先天感染期间神经保护的不同贡献。细胞。 2024年11月6日：S0092-8674(24)01210-8。 Guo W, Li Z, Anagnostopoulos G, Kong WT, Zhang S, Chakarov S, Shin A, Qian J, Zhu Y, Bai W, Cexus O, Nie B, Wang J, Hu X, Blériot C, Liu Z, Shen B, Venteclef N, Su B, Ginhoux F. Notch 信号调节肝病中巨噬细胞介导的炎症相关代谢功能障碍。免疫。 2024 年 10 月 8 日；57(10):2310-2327.e6。 Tiwari SK、Wong WJ、Moreira M、Pasqualini C 和Ginhoux F. 诱导多能干细胞来源的巨噬细胞作为模拟人类疾病的平台。天然免疫评论。 2024 年 9 月 27 日。Anagnostopoulos G、Blériot C、Venteclef N 和 Ginhoux F。免疫代谢重塑：宏量营养素和巨噬细胞的故事。结果 Probl Cell 不同。 2024；74：89-118。 Gessain G、Anzali AA、Lerousseau M、Mulder K、Bied M、Auperin A、Stockholm D、Signolle N、Sassi F、Marques Da Costa ME、Marchais A、Sayadi A、Weidner D、Uderhardt S、Blampey Q、Nakkireddy SR、Broutin S、Dutertre CA、Philaine、Walter、A-Plaine、A-Plaine J、Breuskin I、Casiraghi O、Gorphe P、Classe M、Scoazec JY、Bleriot C、Ginhoux F. 表达 Trem2 的多核巨噬细胞是头颈部鳞状细胞癌预后良好的生物标志物。癌症发现。 2024 年 9 月 16 日。
2025 年 1 月 27 日 2025 Ng M、Cerezo-Wallis D、Ng LG、伊达尔戈……
Dunsmore G、Guo W、Li Z、Bejarano DA、Pai R、Yang K、Kwok I、Tan L、Ng M、De La Calle Fabregat C、YaƟm A、Bougouin A、Mulder K、Thomas J、Villar J、Bied M、Kloeckner B、Dutertre CA、Gessain G、Chakarov S、Liu Z、Scoazec JY、Lennon-Dumenil AM、Marichal T、Sautès-Fridman C、Fridman WH、Sharma A、Su B、Schlitzer A、Ng LG、Blériot C、Ginhoux F. 时间和位置决定单核细胞的命运及其向肿瘤相关巨噬细胞的转变。科学免疫学。 2024 年 7 月 26 日；9(97)：eadk3981。 Ng MSF、Kwok I、Tan L、Shi C、Cerezo-Wallis D、Tan Y、Leong K、Calvo GF、Yang K、Zhang Y、Jin J、Liong KH、Wu D、He R、Liu D、Teh YC、Bleriot C、Caronni N、Liu Z、Duan K、Narang V、Ballesteros I、Moalli F、Li M、Chen J、Liu Y、Liu L、Qi J、Liu Y、Jiang L、Shen B、Cheng H、Cheng T、Angeli V、Sharma A、Loh YH、Tey HL、Chong SZ、Iannacone M、Ostuni R、Hidalgo A、Ginhoux F、Ng LG。肿瘤内中性粒细胞的确定性重编程。科学。 2024 年 1 月 12 日；383(6679)：eadf6493。 2023 Caronni N、La Terza F、Vittoria FM、Barbiera G、Mezzanzanica L、Cuzzola V、Barresi S、Pellegatta M、Canevazzi P、Dunsmore G、Leonardi C、Montaldo E、Lusito E、Dugnani E、Citro A、Ng MSF、Schiavo Lena M、Drago D、Andolfo A、Brugiapaglia S、Scagliotti A、Mortellaro A、Corbo V、Liu Z、Mondino A、Dellabona P、Piemonti L、Taveggia C、Doglioni C、Cappello P、Novelli F、Iannacone M、Ng LG、Ginhoux F、Crippa S、Falconi M、Bonini C、Naldini L、Genua M、Ostuni R. IL-1β+ 巨噬细胞促进胰腺癌的致病性炎症。自然 。 2023年11月；623（7986）：415-422。李明，吴明，吴LG。通过鸡尾酒疗法激发中性粒细胞的抗肿瘤免疫力。 Cancer Cell.2023 年 2 月 13 日；41(2):227-229。 2022 Gu Y、Low JM、Tan JSY、Ng MSF、Ng LFP、Shunmuganathan B、Gupta R、MacAry PA、Amin Z、Lee LY、Lian D、Shek LP、Zhong Y、Wang LW。 GIFT 队列中 2019 年产前冠状病毒病的免疫和病理生理分析：新加坡的一项病例对照研究。前儿科。 2022 年 9 月 15 日；10：949756。 Teh YC、Chooi MY、Liu D、Kwok I、Lai GC、Ayub Ow Yong L、Ng M、Li JLY、Tan Y、Evrard M、Tan L、Liong KH、Leong K、Goh CC、Chan AYJ、Shadan NB、Mantri CK、Hwang YY、Cheng H、Cheng T、Yu W、Tey HL、Larbi A、St John A、Angeli V、Ruedl C、Lee B、Ginhoux F、Chen SL、Ng LG、Ding JL、Chong SZ。过渡性前单核细胞出现在周围，用于宿主防御细菌感染。滑雪进阶2022 年 3 月 4 日；8(9)：eabj4641。