XiaoMi-AI文件搜索系统
World File Search SystemHuisman
Rubinstein-Taybi综合征的诊断和管理
lacombe ，1AgnèsBloch-Zupan，2 Cecilie Bredrup，3 Edward B Cooper，4 SixtoGarcía-Miñaur，6HülyaKayerili Camilla Meossi，11 Jo Mullins，27 Sarah M Nikkel，28 Chris Oliver，30 Alicia Saba，Alicia Saba，34 Santos-Simarro的Fernand，35 Brittany N Simpson，36 David F Smith，DaniëlleC M Van der Kaay，41 Clean Vyshka，42 Clean Vyshka，42 Susan Wiley，42 Susan Wiley，42
更安全的学习自主系统的正式验证
R. S. Boyer和J. S. Moore。Boyer-Moore定理卖者。https://www.cs.utexas.edu/users/moore/best- indeas/nqthm/index.html。D. Cofer，R。Sattigeri，I。Amundson，J。Babar，S。Hasan，E。W。Smith，K。Nukala，D。Osipychev，M。A。Moser，J。L。Paunicka，D。D。D. D. Margineantu，L。Timmerman，L。Timmerman，and J. Q. Q. Q. stringfield。具有运行时保证的碰撞避免神经网络的飞行测试。2022年IEEE/AIAA 41st Digital Avionics Systems会议（DASC），第1-10页，2022年9月。R. Desmartin，G。O。Passmore，E。Komendantskaya和M. Daggit。 CheckInn：Imandra中的范围范围神经网络验证。 在第2022页中：第24届国际宣言节目原则和实践研讨会，佐治亚州第比利斯，9月20日至2022年，第3：1-3：14页。 ACM，2022。 S. Grigorescu，B。Trasnea，T。Cocias和G. Macesanu。 对自动驾驶的深度学习技术的调查。 Field Robotics Journal，37（3）：362–386，2020。 ISSN 1556-4967。 W. A. Hunt，M。Kaufmann，J。S。Moore和A. Slobodova。 使用ACL2进行工业硬件和软件验证。 皇家学会的哲学交易A：数学，物理和工程科学，375（2104）：20150399，2017年9月。 O. Isac，C。W。Barrett，M。Zhang和G. Katz。 通过证明生产的神经网络验证。 2022计算机辅助设计（FMCAD）中的形式方法，第38-48页，2022年。 K. D. Julian，J。Lopez，J。S. Brush，M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。R. Desmartin，G。O。Passmore，E。Komendantskaya和M. Daggit。CheckInn：Imandra中的范围范围神经网络验证。在第2022页中：第24届国际宣言节目原则和实践研讨会，佐治亚州第比利斯，9月20日至2022年，第3：1-3：14页。ACM，2022。S. Grigorescu，B。Trasnea，T。Cocias和G. Macesanu。对自动驾驶的深度学习技术的调查。Field Robotics Journal，37（3）：362–386，2020。ISSN 1556-4967。W. A.Hunt，M。Kaufmann，J。S。Moore和A. Slobodova。 使用ACL2进行工业硬件和软件验证。 皇家学会的哲学交易A：数学，物理和工程科学，375（2104）：20150399，2017年9月。 O. Isac，C。W。Barrett，M。Zhang和G. Katz。 通过证明生产的神经网络验证。 2022计算机辅助设计（FMCAD）中的形式方法，第38-48页，2022年。 K. D. Julian，J。Lopez，J。S. Brush，M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。Hunt，M。Kaufmann，J。S。Moore和A. Slobodova。使用ACL2进行工业硬件和软件验证。皇家学会的哲学交易A：数学，物理和工程科学，375（2104）：20150399，2017年9月。O. Isac，C。W。Barrett，M。Zhang和G. Katz。通过证明生产的神经网络验证。2022计算机辅助设计（FMCAD）中的形式方法，第38-48页，2022年。K. D. Julian，J。Lopez，J。S. Brush，M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。K. D. Julian，J。Lopez，J。S. Brush，M。P. Owen和M. J. Kochenderfer。飞机避免碰撞系统的政策压缩。2016 IEEE/AIAA 35届数字航空电子系统会议（DASC），第1-10页，2016年9月。K. Kanishev。 imandra界面到机器人OS：第一部分I. https：//medium.com/imandra/imandra-intra-intra-intra-intra-intra-intra-intra-intra-os-part-os-part-i-9f388888888888888888c5c3a1。 G. Katz，C。W。Barrett，D。L。Dill，K。Julian和M. J. Kochenderfer。 Reluplex：用于验证深神经网络的有效SMT求解器。 在R. Majumdar和V. Kuncak中，编辑，计算机辅助验证-29届国际会议，2017年，德国海德堡，2017年7月24日至28日，会议记录，第一部分，计算机科学讲义的第10426卷，第97-117页。 Springer，2017年。 G. O. Passmore。 在金融算法的形式方法的工业化中学到的一些经验教训。 在M. Huisman，C.Păsăreanu和N. Zhan中 Springer International Publishing。 ISBN 978-3-030-90870-6。 C. Szegedy，W。Zaremba，I。Sutskever，J。Bruna，D。Erhan，I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr，2013年12月。K. Kanishev。imandra界面到机器人OS：第一部分I. https：//medium.com/imandra/imandra-intra-intra-intra-intra-intra-intra-intra-intra-os-part-os-part-i-9f388888888888888888c5c3a1。G. Katz，C。W。Barrett，D。L。Dill，K。Julian和M. J. Kochenderfer。 Reluplex：用于验证深神经网络的有效SMT求解器。 在R. Majumdar和V. Kuncak中，编辑，计算机辅助验证-29届国际会议，2017年，德国海德堡，2017年7月24日至28日，会议记录，第一部分，计算机科学讲义的第10426卷，第97-117页。 Springer，2017年。 G. O. Passmore。 在金融算法的形式方法的工业化中学到的一些经验教训。 在M. Huisman，C.Păsăreanu和N. Zhan中 Springer International Publishing。 ISBN 978-3-030-90870-6。 C. Szegedy，W。Zaremba，I。Sutskever，J。Bruna，D。Erhan，I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr，2013年12月。G. Katz，C。W。Barrett，D。L。Dill，K。Julian和M. J. Kochenderfer。Reluplex：用于验证深神经网络的有效SMT求解器。在R. Majumdar和V. Kuncak中，编辑，计算机辅助验证-29届国际会议，2017年，德国海德堡，2017年7月24日至28日，会议记录，第一部分，计算机科学讲义的第10426卷，第97-117页。Springer，2017年。G. O. Passmore。在金融算法的形式方法的工业化中学到的一些经验教训。在M. Huisman，C.Păsăreanu和N. Zhan中Springer International Publishing。ISBN 978-3-030-90870-6。 C. Szegedy，W。Zaremba，I。Sutskever，J。Bruna，D。Erhan，I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr，2013年12月。ISBN 978-3-030-90870-6。C. Szegedy，W。Zaremba，I。Sutskever，J。Bruna，D。Erhan，I。J。Goodfellow和R. Fergus。神经网络的有趣特性。Corr，2013年12月。
血浆中 C1 抑制剂水平高与未来静脉血栓栓塞风险降低相关
[1] Naess IA、Christiansen SC、Romundstad P、Cannegieter SC、Rosendaal FR、Hammerstrom J。静脉血栓形成的发病率和死亡率：一项基于人群的研究。J Thromb Haemost。2007；5：692-9。[2] Arshad N、Isaksen T、Hansen JB、Braekkan SK。从一般人群中招募的大型队列中静脉血栓栓塞症发病率的时间趋势。Eur J Epidemiol。2017；32：299-305。[3] Winter MP、Schernthaner GH、Lang IM。静脉血栓栓塞症的慢性并发症。J Thromb Haemost。2017；15：1531-40。 [4] Schulman S、Lindmarker P、Holmstrom M、Larfars G、Carlsson A、Nicol P、Svensson E、Ljungberg B、Viering S、Nordlander S、Leijd B、Jahed K、Hjorth M、Linder O、Beckman M. 首次静脉血栓栓塞症发作后用华法林治疗 6 周或 6 个月 10 年的血栓后综合征、复发和死亡。J Thromb Haemost。2006；4：734-42。[5] Klok FA、van der Hulle T、den Exter PL、Lankeit M、Huisman MV、Konstantinides S. 肺栓塞后综合征：肺栓塞慢性并发症的新概念。血液评论。2014；28：221-6。 [6] Jorgensen H、Horvath-Puho E、Laugesen K、Braekkan S、Hansen JB、Sorensen HT。丹麦发生静脉血栓栓塞症后永久性工作相关残疾养老金的风险：一项基于人群的队列研究。PLoS Med。2021；18：e1003770。[7] Cushman M。静脉血栓形成的流行病学和风险因素。Semin Hematol。2007；44：62-9。[8] Lijfering WM、Rosendaal FR、Cannegieter SC。静脉血栓形成的危险因素——从流行病学角度看目前的认识。Br J Haematol。2010；149：824-33。 [9] Kearon C、Ageno W、Cannegieter SC、Cosmi B、Geersing GJ、Kyrle PA。抗凝控制和血栓性疾病预测与诊断变量小组委员会。将患者分为诱发性或非诱发性静脉血栓栓塞症：ISTH SSC 指导。J Thromb Haemost。2016；14：1480 – 3。https://doi.org/10.1111/jth.13336 [10] Christensen DM、Strange JE、Phelps M、Schjerning AM、Sehested TSG、Gerds T、Gislason G。2005 年至 2021 年丹麦心肌梗死发病率的年龄和性别特定趋势。动脉粥样硬化。 2022；346：63-7。[11] Sulo G、Igland J、Vollset SE、Ebbing M、Egeland GM、Ariansen I、Tell GS。挪威急性心肌梗死发病趋势：使用 CVDNOR 项目的国家数据对 2014 年进行更新分析。Eur J Prev Cardiol。2018；25：1031-9。[12] Munster AM、Rasmussen TB、Falstie-Jensen AM、Harboe L、Stynes G、Dybro L、Hansen ML、Brandes A、Grove EL、Johnsen SP。不断变化的形势：2006-2015 年静脉血栓栓塞症住院患者发病率和特征的时间趋势。Thromb Res。2019；176：46-53。 [13] Ghanima W、Brodin E、Schultze A、Shepherd L、Lambrelli D、Ulvestad M、Ramagopalan S、Halvorsen S。2010-2017 年挪威静脉血栓栓塞的发病率和患病率。血栓研究。 2020;195:165 – 8 。 [14] 万德尔 P，福斯伦德 T，Danin Mankowitz H, Ugarph-Morawski A, Eliasson S, Braunschwieg F, Holmstrom M. 2011-2018 年斯德哥尔摩静脉血栓栓塞症：人口统计学研究。《血栓溶解杂志》。2019；48：668 – 73。
内容 评估 AF 患者的抗凝治疗 页码 ...
1. NICE NG196：心房颤动：诊断和治疗。2021 年 4 月，上次更新于 2021 年 6 月。2. 华法林产品特性总结。上次更新于 2021 年 12 月 10 日，请参阅 www.medicines.org.uk 3. Xarelto 产品特性总结。上次更新于 2022 年 8 月 9 日，请参阅 www.medicines.org.uk 4. Eliquis 产品特性总结。上次更新于 2022 年 5 月 3 日，请参阅 www.medicines.org.uk 5. Pradaxa 产品特性总结。上次更新于 2022 年 9 月 15 日，请参阅 www.medicines.org.uk 6. Lixiana 产品特性总结。最后更新时间 22/04/2022 请参阅 www.medicines.org.uk 7. DOAC 监测 SPS 指南 DOAC（直接口服抗凝剂）监测——SPS——专科药房服务——专业药物建议的第一站。访问时间：2022 年 11 月。 8. UKCPA 按照 NHSE DOAC 委托建议对非瓣膜性 AF 进行抗凝治疗。2022 年 7 月 2022 年 11 月 22 日在 pcpa.org.uk 上访问。 9. PCCS 主网站 - fsnew-generic (pccsuk.org) 10. 肾脏药物数据库。访问时间：2014 年 8 月 13 日 11. NICE 临床指南 144：静脉血栓栓塞性疾病：静脉血栓栓塞性疾病的管理和血栓形成倾向检测的作用。 2012 年 6 月。12. BNF 11 月 23 日。可从 BNF（英国国家处方集）| NICE 获取 13. 2012 年 ESC 心房颤动管理指南重点更新（2010 年 ESC 心房颤动管理指南的更新）欧洲心脏杂志 2012；33：2719-2747 可从以下网址获取：http://www.escardio.org/guidelines-surveys/esc-guidelines/Pages/atrial-fibrillation.aspx 14. NICE 临床指南 73：慢性肾脏病。2008 年 9 月 15. NICE 临床指南 182：慢性肾脏病。 2014 年 7 月 16. NICE：卒中和全身性栓塞（预防，非瓣膜性心房颤动）-阿哌沙班（TA275）2013 年 2 月。可访问 http://www.nice.org.uk/guidance/TA275 17. NICE：利伐沙班用于预防心房颤动患者的卒中和全身性栓塞（TA256）2012 年 5 月。可访问 http://www.nice.org.uk/guidance/TA256 18. NICE：达比加群酯用于预防心房颤动患者的卒中和全身性栓塞（TA249）2012 年 3 月。可访问 http://www.nice.org.uk/guidance/TA249 19. MHRA 药物安全更新 2013 年 10 月：新型口服抗凝剂阿哌沙班（Eliquis ▼ )、达比加群 (Pradaxa) 和利伐沙班 (Xarelto ▼ )：严重出血风险——明确禁忌症适用于这三种药物。可访问以下网址获取：http://www.mhra.gov.uk/Safetyinformation/DrugSafetyUpdate/CON322347 20. Pisters 等人，一种用于评估心房颤动患者 1 年大出血风险的新型用户友好评分 (HAS-BLED) (2010) CHEST: 138(5); 1093-1100 http://journal.publications.chestnet.org/data/Journals/CHEST/20451/100134.pdf 21. Martin K, Beyer-Westendorf J, Davidson BL, Huisman MV, Sandset PM, Moll S. 直接口服抗凝剂在肥胖患者中的应用：ISTH SSC 的指导。《血栓与止血杂志》。2016；14(6):1308-1313。doi.org/10.1111/jth.13323 22. Marin K 等人。使用直接口服抗凝剂治疗和预防肥胖患者静脉血栓栓塞症：ISTH SSC 抗凝控制小组委员会的最新通报。血栓与止血杂志。2021 年 8 月；19(8): 1845-2098。https://doi.org/10.1111/jth.15358 23. De Caterina R、Lip GYH。非维生素 K 拮抗剂口服抗凝剂 (NOAC) 和极端体重——系统文献综述。临床研究心脏学。2017 年 8 月；106(8):565-572。 doi: 10.1007/s00392-017- 1102-5。2017 年 4 月 10 日电子版。评论。24. Tittl L、Endig S、Marten S、Reitter A、Beyer-Westendorf I、Beyer-Westendorf J。BMI 对日常护理中 NOAC 治疗临床结果的影响 - 前瞻性德累斯顿 NOAC 登记处 (NCT01588119) 的结果。Int J Cardiol。2018 年 7 月 1 日；262:85-91。doi: 10.1016/j.ijcard.2018.03.060。2018 年 3 月 14 日电子版。25. Peterson ED 等人。利伐沙班和华法林对合并房颤的肥胖患者疗效、安全性和成本的比较。美国心脏杂志。 2018 年 11 月。212 (0): 113-19。https://doi.org/10.1016/j.ahj.2019.02.001。2019 年 2 月 20 日电子版。26. Joosten LPT 等人，虚弱老年心房颤动患者从维生素 K 拮抗剂换为非维生素 K 拮抗剂口服抗凝剂的安全性：FRAIL-AF 随机对照试验的结果。美国心脏协会。2023 年 8 月。https://doi.org/10.1161/CIRCULATIONAHA.123.066485 27. NICE CKS 抗凝 - 口服：管理。（2023 年 10 月）管理 | 抗凝 - 口服 | CKS | NICE 28. NHS England 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议。(1 月 24 日) NHS England » 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议212 (0): 113-19。https://doi.org/10.1016/j.ahj.2019.02.001。2019 年 2 月 20 日电子版。26. Joosten LPT 等人，虚弱老年心房颤动患者从维生素 K 拮抗剂换为非维生素 K 拮抗剂口服抗凝剂的安全性：FRAIL-AF 随机对照试验的结果。美国心脏协会。2023 年 8 月。https://doi.org/10.1161/CIRCULATIONAHA.123.066485 27. NICE CKS 抗凝 - 口服：管理。（2023 年 10 月）管理 | 抗凝 - 口服 | CKS | NICE 28. NHS England 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议。(1 月 24 日) NHS England » 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议212 (0): 113-19。https://doi.org/10.1016/j.ahj.2019.02.001。2019 年 2 月 20 日电子版。26. Joosten LPT 等人，虚弱老年心房颤动患者从维生素 K 拮抗剂换为非维生素 K 拮抗剂口服抗凝剂的安全性：FRAIL-AF 随机对照试验的结果。美国心脏协会。2023 年 8 月。https://doi.org/10.1161/CIRCULATIONAHA.123.066485 27. NICE CKS 抗凝 - 口服：管理。（2023 年 10 月）管理 | 抗凝 - 口服 | CKS | NICE 28. NHS England 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议。(1 月 24 日) NHS England » 运营说明：针对直接口服抗凝剂 (DOAC) 的国家采购的委托建议