XiaoMi-AI文件搜索系统
World File Search SystemProof
zkllm：大语言模型的零知识证明
最近的人工智能（AI）激增，其特征是大型语言模型（LLM）的突出性，已迎来了全球的基本转变。，除了这些进步之外，围绕LLMS合法性的担忧已经增长，对其广泛的应用构成了法律挑战。加剧了这些关注点，LLM的参数通常被视为知识产权，限制了直接调查。在本研究中，我们解决了AI立法领域中的基本挑战：建立LLMS产生的产出的真实性的必要性。为了解决这个问题，我们提出了ZKLLM，它是为我们所知的为LLMS量身定制的首届专业零知识证明。解决深度学习中非偏心操作的持续挑战时，我们介绍了Tlookup，这是一个平行的查找参数，专为深度学习中的非偏振量张量操作而设计，提供了一个没有渐近性高架的解决方案。此外，在利用Tlookup的基础上，我们介绍了Zkattn，这是一种专门的零知识证明，为注意机制而设计，精心平衡运行时间，内存使用和准确性的考虑。在我们完全并行的CUDA实现的能力下，ZKLLM旨在在LLMS上实现有效的零知识可验证计算的重要大步。非常重要的是，对于拥有130亿个参数的LLMS，我们的方法可以在15分钟内为整个推理过程提供正确的证明。由小于200 kb的最终证明旨在维护模型参数的隐私，从而确保没有无意的信息泄漏。
气候适应性作物繁殖：从实验室到农场 - Recrop-cost
Pascual García-Pérez（意大利）通过基于农学性状和非靶向代谢组学概况的综合化学计量学描述高温作物中生物刺激素的功能特征。
身份验证系统中的知识证明
摘要 - 在数字时代，身份验证系统中的隐私保存已成为最重要的问题，突出了保护用户数据中常规身份验证机制的局限性。本文探讨了零知识证明（ZKP）的应用，这是一种革命的加密技术，是增强身份验证过程中隐私的强大解决方案。通过对包括ZK-Snarks和Zk-Starks在内的ZKP的理论基础进行全面检查，本研究描述了ZKPS启用无需披露任何个人信息而验证用户凭证的机制。通过采用比较分析方法，我们将基于ZKP的身份验证系统与各种指标的传统和现有隐私性身份验证方法进行了对比，例如计算效率，可扩展性和隐私保存程度。我们的发现表明，ZKP为隐私提供身份验证提供了卓越的框架，解决了传统系统中固有的关键安全漏洞，同时提供了适合广泛实现的可扩展和高效解决方案。本文通过讨论与部署基于ZKP的系统，提出潜在解决方案以及突出未来研究的未来研究方向相关的挑战来结束。通过这项调查，我们强调了ZKP在推进隐私保护数字身份验证前沿的重要性，为他们在越来越多地相互联系的世界中确保数字身份方面的更广泛应用铺平了道路。
韦斯顿家庭微生物组倡议原理证明...
1）推进微生物组在改善人类健康中的应用2）在加拿大研究社区中促进更大的协作3）加拿大将加拿大作为微生物组研究领域的全球领导者的地位。通过韦斯顿家族微生物组倡议的原理学证明2024计划，将提供300,000个月的最高级别，以支持高达300万美元的研究，以识别高达300,000美元的研究。和治疗反应。符合条件的项目必须建立在既定的响应者/非反应表型以优化治疗或预防策略的基础上。流1：$ 300K - 涉及活跃患者参与和测试的项目。流2：$ 200K - 不与患者合作的项目（例如生物类样品，动物研究，体外 /外体实验）。申请过程
项目首字母缩写和标题：使用计算机视觉检测和识别海洋船只的创新概念的证明
该项目旨在证明一个概念的技术可行性，该概念包括收集和准备数据集并基于机器学习算法应用计算机视觉系统，以检测和识别海洋船只，以监视航海旅游端口中的交通强度。这解决了观察到的问题，其中管理和控制决策仅基于涉及手动数据处理的常规技术，并需要使用大量的人类，财务和时间资源，并且容易出现错误。没有基于拟议概念的商业产品，该项目具有重大的技术风险。
探索依赖状态的经颅磁刺激中的运动网络连接：概念证明研究
图1。组平均功能连通性（IPLV）到左主运动皮层（LM1，中间面板中左半球的黑点）。中间面板显示基于表面的投影，左右面板显示了同一地图的两个不同的拼字图。所有视图都强调，LM1在功能上连接到右运动皮层（RM1）和左补充运动区（LSMA），这是由其质心的MNI坐标定义的。
美国，请愿人
1970年的《 1970年公平信贷报告法》（Field Credit Reporting Act）由1996年《消费者信用报告改革法》修订，允许消费者起诉贷款人，他们故意或疏忽地向产生信用报告的人提供了有关它们的虚假信息。被告Reginald Kirtz从美国农业部的一个部门获得了一笔贷款，后来起诉该机构在FCRA下赔偿了货币损失。kirtz声称，美国农业部虚假告诉Transunion（一家信用报告机构），该帐户已过期，从而损害了他的信用评分和以负担得起的利率获得贷款的能力。美国农业部移动解雇，援引主权豁免权。地方法院支持美国农业部。第三巡回法院扭转了，认为15 U. S. C.§§§1681n和1681 o授权诉讼违反违反FCRA的“任何人”，§1681a明确表示“人”在“任何”政府机构中。46 F. 4th 159，164–166。
（生成）AI的未来毕业生能力
我们非常感谢德国联邦教育和研究部（BMBF），科学，研究和巴登 - 瓦尔特顿堡（MWK），巴伐利亚州科学与艺术部（STMWK）的资金，以及HESSIAN的高等教育部，重新搜索，搜索，科学和艺术品（ABBA）（HMWK）（HMWK）（HMWK） 16DHBKI003，16DHBKI004，16DHBKI005）。此外，我们非常感谢Der Hochschullehre的Stiftung Innovation为Dellfi项目（赠款号FBM2020-1670-1670-01800）和高等教育人工智能的协调资格。最后，我们非常感谢Baden-Württemberg劳动，经济和旅游部（WM BW）的资助，该项目是该计划的一部分，作为Initiative Invest BW的一部分（赠款编号BW1_3061/02）。
医疗保健专业人员的动机沟通培训计划支持糖尿病足溃疡患者的依从性：概念验证研究
糖尿病足溃疡患者对治疗建议的依从性较差。但是，支持该人群依从性的最有效方法尚不清楚。本研究旨在使用基于理论和基于证据的策略来评估与这些患者合作的医疗保健专业人员的动机交流培训计划的初步有效性。使用非随机，受控的前后设计的概念证明研究。六名足病医生参加了动机沟通培训计划。进行预训练，进行观察，以检查足病医生在常规咨询中使用的沟通方式。患者（n = 25）还评估了对限制体重活动的自主支持，自决和平均每日步数的看法。在培训后，观察和患者措施与不同的患者重复（n = 24）。的观察表明，在进行培训计划后，足病医生表现出更高的支持性的沟通方式（例如，花时间来了解患者的观点）。培训组中的患者报告了更高水平的自主支持，而自决以限制体重减轻活动不变。尽管训练后组的平均每日步数较低，但差异在统计学上并不显着。这是第一项研究在与糖尿病足溃疡患者常规咨询中实施动机交流策略的第一项研究。结果表明，培训可以增强医疗保健专业人员的动机沟通能力，并有可能解决依从性问题，但是，更大的群集随机对照试验是必要的。