XiaoMi-AI文件搜索系统
World File Search SystemTypescript
双向高级多态性与交点和联合类型
现代主流编程语言，例如打字稿，流量和Scala，具有富含相交和联合类型的多态性类型系统。这些语言实现了双向高级多态类型推断的变体，以前主要在功能编程的背景下进行了研究。然而，现有的类型推理实现在处理非结构性亚型和交叉点和工会类型时缺乏稳固的理论基础，这是以前没有研究过的。在本文中，我们研究了双向高级多态性类型的推断，并使用显式类型的应用以及交点和联合类型，并证明这些特征具有非平凡的相互作用。我们首先提出一种类型系统，该系统由双向规范描述，具有良好的理论属性和声音，完整且可决定的算法。这有助于确定可以始终推断的类型类型。我们还探索了结合实用功能的变体，例如处理记录和推断较大类型的类型，这些类型与现实世界实现更好。尽管某些变体不再具有完整的算法，但它们仍然增强了类型系统的表现力。为了确保严格的结果，所有结果均在COQ证明助手中正式化。
使用 JavaScript 进行医学机器学习
摘要：简介：医学领域的贡献可能来自不同领域；大多数领域都充满了想要提供支持的研究人员。方法：我们使用 TensorFlow.js 对来自 Kaggle 的神经网络生物医学数据集进行建模。我们建模了三个数据集：糖尿病检测、手术并发症和心力衰竭。我们使用 TypeScript 编写的 Angular 来实现模型。使用 TensorFlow.js，我们构建了多层感知器 (MPL) 来建模我们的数据集。结果与讨论：我们使用 TensorFlow.js 作为机器学习平台构建了几个示例。尽管 Python 和 R 目前占主导地位，但 JavaScript 及其衍生产品正在快速发展，提供基本相同的性能以及与 JavaScript 相关的一些额外功能。 Kaggle 是我们下载数据集的公共平台，它提供了大量生物医学案例数据集，因此，读者可以使用相同的代码，以很小的改动，轻松测试我们讨论的内容，用于他们可能感兴趣的任何案例。我们发现糖尿病检测准确率为 92%，手术并发症准确率为 100%，心力衰竭准确率为 70%。可能性是无限的，我们相信对于以网络应用为目标的研究人员来说，这是一个不错的选择，尤其是专注于医学的研究人员。关键词：生物信息学 — TensorFlow — JavaScript — 糖尿病 — 医学 — 机器学习 — Angular
链条末尾的NPM软件包的初始分析
[3]基思·柯林斯（Keith Collins）。2016。一个程序员如何通过删除一小部分代码来打破互联网。https://qz.com/646467/how-ono-programmer-broke-the-internet-by-deleting-a- a-a-a-a-a-piece-a-piece-of-of-of-of-of [4] dalerka。 2020。 [病毒报告] -Clamtk在这个非常受欢迎的软件包中发现了“ pua.win.trojan.xord -1”。 https://github.com/jensyt/imurmurhash-js/issues/1 [5] Alexandre Decan，Tom Mens和Eleni Constantinou。 2018。 关于安全漏洞在NPM软件包依赖网络中的影响。 在MSR中。 ACM，纽约，纽约，美国，181-191。 [6]开源安全基金会。 2024。 alpha-Omega。 https://github.com/ossf/alpha-omega [7] Antonios Gkortzis，Daniel Feitosa和Diomidis Spinellis。 2019。 一把双刃剑？ 软件重用和潜在的安全漏洞。 在大数据时代的再利用中：第18届软件和系统重用国际会议，ICSR 2019，俄亥俄州辛辛那提，俄亥俄州，美国，2019年6月26日至28日，会议记录18。 Springer，187–203。 [8] Raula Gaikovina Kula，Ali Ouni，Daniel M German和Katsuro Inoue。 2017。 对微包的影响：NPM JavaScript生态系统的实证研究。 Arxiv预印ARXIV：1709.04638（2017）。 [9] Raula Gaikovina Kula和Christoph Treude。 2022。 战争与和平：世界政治对软件生态系统的影响。 在esec/fse中。 1600–1604。 [10] Wayne C Lim。 1994。 对质量，生产力和经济学的重复使用影响。 2024。https://qz.com/646467/how-ono-programmer-broke-the-internet-by-deleting-a- a-a-a-a-a-piece-a-piece-of-of-of-of-of [4] dalerka。2020。[病毒报告] -Clamtk在这个非常受欢迎的软件包中发现了“ pua.win.trojan.xord -1”。https://github.com/jensyt/imurmurhash-js/issues/1 [5] Alexandre Decan，Tom Mens和Eleni Constantinou。2018。关于安全漏洞在NPM软件包依赖网络中的影响。在MSR中。ACM，纽约，纽约，美国，181-191。 [6]开源安全基金会。 2024。 alpha-Omega。 https://github.com/ossf/alpha-omega [7] Antonios Gkortzis，Daniel Feitosa和Diomidis Spinellis。 2019。 一把双刃剑？ 软件重用和潜在的安全漏洞。 在大数据时代的再利用中：第18届软件和系统重用国际会议，ICSR 2019，俄亥俄州辛辛那提，俄亥俄州，美国，2019年6月26日至28日，会议记录18。 Springer，187–203。 [8] Raula Gaikovina Kula，Ali Ouni，Daniel M German和Katsuro Inoue。 2017。 对微包的影响：NPM JavaScript生态系统的实证研究。 Arxiv预印ARXIV：1709.04638（2017）。 [9] Raula Gaikovina Kula和Christoph Treude。 2022。 战争与和平：世界政治对软件生态系统的影响。 在esec/fse中。 1600–1604。 [10] Wayne C Lim。 1994。 对质量，生产力和经济学的重复使用影响。 2024。ACM，纽约，纽约，美国，181-191。[6]开源安全基金会。2024。alpha-Omega。https://github.com/ossf/alpha-omega [7] Antonios Gkortzis，Daniel Feitosa和Diomidis Spinellis。 2019。 一把双刃剑？ 软件重用和潜在的安全漏洞。 在大数据时代的再利用中：第18届软件和系统重用国际会议，ICSR 2019，俄亥俄州辛辛那提，俄亥俄州，美国，2019年6月26日至28日，会议记录18。 Springer，187–203。 [8] Raula Gaikovina Kula，Ali Ouni，Daniel M German和Katsuro Inoue。 2017。 对微包的影响：NPM JavaScript生态系统的实证研究。 Arxiv预印ARXIV：1709.04638（2017）。 [9] Raula Gaikovina Kula和Christoph Treude。 2022。 战争与和平：世界政治对软件生态系统的影响。 在esec/fse中。 1600–1604。 [10] Wayne C Lim。 1994。 对质量，生产力和经济学的重复使用影响。 2024。https://github.com/ossf/alpha-omega [7] Antonios Gkortzis，Daniel Feitosa和Diomidis Spinellis。2019。一把双刃剑？软件重用和潜在的安全漏洞。在大数据时代的再利用中：第18届软件和系统重用国际会议，ICSR 2019，俄亥俄州辛辛那提，俄亥俄州，美国，2019年6月26日至28日，会议记录18。Springer，187–203。[8] Raula Gaikovina Kula，Ali Ouni，Daniel M German和Katsuro Inoue。2017。对微包的影响：NPM JavaScript生态系统的实证研究。Arxiv预印ARXIV：1709.04638（2017）。[9] Raula Gaikovina Kula和Christoph Treude。2022。战争与和平：世界政治对软件生态系统的影响。在esec/fse中。1600–1604。[10] Wayne C Lim。1994。对质量，生产力和经济学的重复使用影响。2024。IEEE软件11，5（1994），23–30。 [11] Xing Han Lu。 BM25用于Python：在用BM25s简化依赖性的同时，达到高性能。 https://huggingface.co/blog/xhluca/bm25s [12] sindresorhus。 2018。 路线图的想法。 https://github.com/chalk/chalk/issues/300 [13] sindresorhus.2021。 捆绑依赖项·粉笔/粉笔@04fdbd6。 https://github.com/chalk/chalk/commit/04fdbd6d8d262ed8668cf3f2e94f647d2bc028d8 [14] Snyk。 2024。MS漏洞。 https://security.snyk.io/package/npm/ms [15] Snyk。 2024。打字稿漏洞。 https://security.snyk.io/package/npm/typescript [16] OpenJS Foundation。 [n。 d。]。 node.js - NPM PackageManager的简介。 https://nodejs.org/en/learn/getting-started/an-introduction-to-the-the-npm-package-manager [17] theupsider。 2022。 请合并拉的请求。 https://github.com/jonschlinkert/is-number/issues/35 [18] Supatsara Wattanakriengkrai，Dong Wang，Raula Gaikovina Kula Kula，Christoph Treude，Patanamon Thongtanunam，Takashi Ishio Ishio和Kenichi Mat-sumoto。 2022。 回馈：与软件生态系统中库依赖性更改一致的贡献。 IEEE软件工程交易49，4（2022），2566–2579。 [19] yfrytchsgd。 2021。 github -yfrytchsgd/log4jattacksurface。 https://github.com/yfrytchsgd/log4jattacksurface [20] Markus Zimmermann，Cristian-Alexandru Staicu，Cam Tenny和Michael Pradel。 2019。 在第28届USENIX安全研讨会（USENIX SECurity 19）中。IEEE软件11，5（1994），23–30。[11] Xing Han Lu。BM25用于Python：在用BM25s简化依赖性的同时，达到高性能。https://huggingface.co/blog/xhluca/bm25s [12] sindresorhus。2018。路线图的想法。https://github.com/chalk/chalk/issues/300 [13] sindresorhus.2021。 捆绑依赖项·粉笔/粉笔@04fdbd6。 https://github.com/chalk/chalk/commit/04fdbd6d8d262ed8668cf3f2e94f647d2bc028d8 [14] Snyk。 2024。MS漏洞。 https://security.snyk.io/package/npm/ms [15] Snyk。 2024。打字稿漏洞。 https://security.snyk.io/package/npm/typescript [16] OpenJS Foundation。 [n。 d。]。 node.js - NPM PackageManager的简介。 https://nodejs.org/en/learn/getting-started/an-introduction-to-the-the-npm-package-manager [17] theupsider。 2022。 请合并拉的请求。 https://github.com/jonschlinkert/is-number/issues/35 [18] Supatsara Wattanakriengkrai，Dong Wang，Raula Gaikovina Kula Kula，Christoph Treude，Patanamon Thongtanunam，Takashi Ishio Ishio和Kenichi Mat-sumoto。 2022。 回馈：与软件生态系统中库依赖性更改一致的贡献。 IEEE软件工程交易49，4（2022），2566–2579。 [19] yfrytchsgd。 2021。 github -yfrytchsgd/log4jattacksurface。 https://github.com/yfrytchsgd/log4jattacksurface [20] Markus Zimmermann，Cristian-Alexandru Staicu，Cam Tenny和Michael Pradel。 2019。 在第28届USENIX安全研讨会（USENIX SECurity 19）中。https://github.com/chalk/chalk/issues/300 [13] sindresorhus.2021。捆绑依赖项·粉笔/粉笔@04fdbd6。https://github.com/chalk/chalk/commit/04fdbd6d8d262ed8668cf3f2e94f647d2bc028d8 [14] Snyk。2024。MS漏洞。https://security.snyk.io/package/npm/ms [15] Snyk。 2024。打字稿漏洞。 https://security.snyk.io/package/npm/typescript [16] OpenJS Foundation。 [n。 d。]。 node.js - NPM PackageManager的简介。 https://nodejs.org/en/learn/getting-started/an-introduction-to-the-the-npm-package-manager [17] theupsider。 2022。 请合并拉的请求。 https://github.com/jonschlinkert/is-number/issues/35 [18] Supatsara Wattanakriengkrai，Dong Wang，Raula Gaikovina Kula Kula，Christoph Treude，Patanamon Thongtanunam，Takashi Ishio Ishio和Kenichi Mat-sumoto。 2022。 回馈：与软件生态系统中库依赖性更改一致的贡献。 IEEE软件工程交易49，4（2022），2566–2579。 [19] yfrytchsgd。 2021。 github -yfrytchsgd/log4jattacksurface。 https://github.com/yfrytchsgd/log4jattacksurface [20] Markus Zimmermann，Cristian-Alexandru Staicu，Cam Tenny和Michael Pradel。 2019。 在第28届USENIX安全研讨会（USENIX SECurity 19）中。https://security.snyk.io/package/npm/ms [15] Snyk。2024。打字稿漏洞。https://security.snyk.io/package/npm/typescript [16] OpenJS Foundation。[n。 d。]。node.js - NPM PackageManager的简介。https://nodejs.org/en/learn/getting-started/an-introduction-to-the-the-npm-package-manager [17] theupsider。2022。请合并拉的请求。https://github.com/jonschlinkert/is-number/issues/35 [18] Supatsara Wattanakriengkrai，Dong Wang，Raula Gaikovina Kula Kula，Christoph Treude，Patanamon Thongtanunam，Takashi Ishio Ishio和Kenichi Mat-sumoto。2022。回馈：与软件生态系统中库依赖性更改一致的贡献。IEEE软件工程交易49，4（2022），2566–2579。[19] yfrytchsgd。2021。github -yfrytchsgd/log4jattacksurface。https://github.com/yfrytchsgd/log4jattacksurface [20] Markus Zimmermann，Cristian-Alexandru Staicu，Cam Tenny和Michael Pradel。2019。在第28届USENIX安全研讨会（USENIX SECurity 19）中。具有高风险的小世界：对NPM生态系统中安全威胁的研究。995–1010。
中国分散式可再生能源发展
这是世界银行非正式出版的工作文件。为了尽快呈现研究成果，打字稿并未按照正式印刷文本的程序准备，世界银行对错误不承担任何责任。本出版物以象征性的价格提供，以支付部分制造和发行成本。本文件中的观点和解释均为作者的观点和解释，不应归于世界银行、其附属机构或代表其行事的任何个人。所使用的地图仅为方便读者而制作；所使用的面额和所示的边界并不意味着世界银行及其附属机构对任何领土的法律地位作出任何判断，也不意味着对此类边界的认可或接受。世界银行出版物的全部内容在《世界银行出版物目录》中描述；世界银行的持续研究计划在《世界银行研究计划：当前研究摘要》中概述。这两本小册子每年更新一次；最新版本可从华盛顿银行出版物发行部或法国巴黎耶拿大道 66 号 75116 银行欧洲办事处免费获取，
乔恩·布雷德·斯考格
降低复杂性我创建了一个抽象层，使其易于采用并集成到平台运营的各个方面。我承担了规划和执行后端系统架构的主要责任，重点是采用现代和可扩展的方法。通过设置单一存储库结构，我促进了微服务的集成和管理，增强了开发工作流程和运营效率。我的工作包括使用 AKS 通过 Kubernetes 通过 GitOps 配置基础设施，这为大规模部署和管理我们的微服务提供了一个强大而灵活的环境。这还包括设置日志记录、操作员和安全工具。此外，我还开发了事件驱动的后端系统，用于客户入职、数据室功能以及数据库驱动程序和其他辅助工具的模块系统（即从 OpenAPI 导入 typescript 类型到 FE）。此外，我还实施了一个全面的平台无关的 DevOps 管道，该管道基于 semver 和常规提交支撑微服务架构，确保从代码提交到部署的平稳可靠过渡。其中包括采用签名验证流程和 CVE 扫描，验证从初始提交到最终部署的每个阶段，确保保持最高级别的安全性和可靠性。这种方法不仅简化了我们的部署流程，还显著增强了平台的整体安全态势和运营弹性。
在交互式模拟中可视化量子力学
摘要。Quantum Flytrap 的 Virtual Lab 是一个无代码的光学桌在线实验室，以交互和直观的方式呈现量子现象。它支持最多三个纠缠光子的实时模拟。用户可以使用拖放式图形界面放置典型的光学元件（例如分束器、偏振器、法拉第旋转器和探测器）。Virtual Lab 以两种模式运行。沙盒模式允许用户组合任意设置。Quantum Game 是 Virtual Lab 功能的入门，适合没有接触过量子力学的用户。我们介绍了纠缠态和纠缠度量的可视化表示。它包括 ket 符号的交互式可视化和量子算子的热图式可视化。这些量子可视化可以应用于任何离散量子系统，包括具有量子位和自旋链的量子电路。这些工具以开源 TypeScript 包的形式提供 - Quantum Tensors 和 BraKetVue。虚拟实验室可以探索量子物理的本质（状态演化、纠缠和测量）、模拟量子计算（例如 Deutsch-Jozsa 算法）、使用量子密码术（例如 Ekert 协议）、探索违反直觉的量子现象（例如量子隐形传态和违反贝尔不等式），以及重现历史实验（例如迈克尔逊-莫雷干涉仪）。© 作者。由 SPIE 根据 Creative Commons Attribution 4.0 International 许可证出版。分发或复制本作品的全部或部分内容需要完全注明原始出版物的出处，包括其 DOI。[DOI：10.1117/1.OE.61.8.081808]
al puvg a yah是eggin
Washington NASA Space Grant Seattle, WA Research Software Engineer March 2022 – Present • Awarded NASA Space Grant to build a global database of Southern Ocean phytoplankton species composition to combat climate change • Importing, cleaning, and merging ~15 datasets using Python, SQLite, and web API's • Publishing Python Jupyter notebook for geospatial data visualization and supporting oceanography/earth data科学用例•使用无监督的机器学习预测浮游植物物种的组成，以确定物种与生物生产和空气海洋二氧化碳的关系和空气 - 2022年7月7月2022年7月7日至2022年8月•指导〜90 〜90个高中生的Java/java/exporment covients covients covients seater/averient covients seater seettter• heat map of cases using TypeScript and ArcGIS maps to track COVID-19 spread precisely in UW buildings • Reached semi-final round of the hackathon PrismNotes ( www.prismnotes.com ) Seattle, WA Founder/Developer January 2019 – June 2021 • Built PrismNotes app to reduce test anxiety and combat mental health issues for students by providing a notes organization tool to create digital notebooks from handwritten notes.•使用Java，Microsoft的计算机视觉API和JSON数据在Android Studio中开发•使用OpenCV预处理和Tesseract OCR构建了高级图像搜索
整合可持续发展和... - IPCC
版权所有 2003 政府间气候变化专门委员会 (IPCC) 世界气象组织 7bis, Avenue de la Paix C.P.No. 2300 1211 Geneva 2 瑞士 电话：41-22-730-8208 传真：41-22-730-8025 电子邮件：Ipcc_sec@gateway.wmo.ch 互联网：http://www.ipcc.ch 保留所有权利 斯里兰卡制造 2003 年 7 月第一次印刷 本卷中表达的调查结果、解释和结论全部是作者的观点，不应以任何方式归功于政府间气候变化专门委员会、世界气象组织、联合国环境规划署、Munasinghe 发展研究所及其附属组织、其理事会成员或他们所代表的国家。本卷以最短的延迟出版，以便向 IPCC 第四次评估报告 (AR4) 的主要作者和整个科学界传达有关该主题的最新结果。因此，打字稿并未按照正式印刷文本的适当程序准备，出版商不对任何错误负责。本出版物中的材料受版权保护。如需复制部分内容，请发送至 IPCC 秘书处，地址如上版权声明所示。将可持续发展和气候变化纳入 IPCC 第四次评估报告编辑：Mohan Munasinghe、Osvaldo Canziani、Ogunlade Davidson、
19 世纪印度契约劳工的政治经济学
摘要 英国殖民地废除奴隶制后，英国政府为印度契约移民提供了便利。这种移民形式产生于经济自由和个人自由的话语在英国政经圈引起强烈反响之时，当时亚当·斯密和 JS 密尔的著作已深入人心。我们分析了当自由言论成为主流知识界的必备条件时，契约劳工的不自由是如何被合理化的。我们思考了为什么自由劳动在种植园殖民地被认为是不可行的。我们还思考了信息不对称和不平等谈判对契约制度中的自由造成的制约。我们得出结论，契约代表了奴隶制问题和无法实现的自由劳动目标之间的一种艰难妥协。 * 雷丁大学。邮件至：n.hui@reading.ac.uk ** 雷丁大学。邮寄至：uskambhampati@reading.ac.uk 这份“预印本”是经过同行评审并被接受的打字稿，该文章即将以修订版的形式发表在《经济思想史杂志》（ISSN：1053-8372）（待定期）上，经过微小的编辑修改。该期刊文章的版权归经济学史学会（HES）所有，剑桥大学出版社 (https://www.cambridge.org/core/journals/journal-of-the-history-of-economic-thought) 是该学会的独家授权人和出版商。本预印本只能用于私人研究和学习，不得进一步分发。预印本可引用如下：Hui，Neha 和 Uma Kambhampati。“19 世纪印度契约劳工的政治经济学。”《经济思想史杂志》（即将出版）。SocArXiv 上的预印本，osf.io/preprints/socarxiv
放射学中的无代码机学习
机器学习模型可以帮助临床医生和研究人员在放射学内部的许多任务中，例如诊断，分类，分割/测量和质量保证。为了更好地利用机器学习，我们已经开发了一个平台，该平台允许用户在不需要任何编程知识的情况下标记数据和训练模型。该技术堆栈由用于用户交互，Python，Pytorch和Monai的打字稿Web应用程序组成，用于机器学习，DICOM WADO-RS可从临床系统中检索数据，以及用于模型管理的Docker。作为系统的第一个试验，研究人员将其用来训练锁骨断裂检测模型，作为IRB批准的回顾性研究的一部分。研究人员在13个部位的2,039名患者中标记了4,135个锁骨X光片。平台将数据自动将数据分为培训，验证和测试集，并训练了模型，直到验证损失平稳。然后该系统返回了接收器操作特征曲线，AUC，F1和其他指标。所得模型以90％的敏感性，87％的特异性和88％的精度鉴定锁骨骨折，AUC为0.95。此模型性能等于文献中报道的类似模型。最近，我们的系统用于训练模型，以识别包含个人身份信息（PII）的超声框架。验证后，该模型被用来帮助识别用于研究的大型数据集。这个首先的系统简化了模型开发和部署，并为在医疗保健中使用AI开辟了令人兴奋的新途径。