XiaoMi-AI文件搜索系统
World File Search Systemffer
算法知识结构和设计的中介方法。教学莫迪操作数字技术
我要感谢Habilitation Julia Franz，Dominic Busch和BurkhardSchäffer的专家导师的成员。BurkhardSchäffer多年来一直在他的教授职位上为我提供了一个学术意义，并给了我自由追求自己的利益。在此期间与我们在一起的学生助理通过抨击和评论文本部分，即Merle Medrow，Konstantin Regner，Felix Sonnberger和Noelle Kuntz来支持这项工作。Max Beisswenger将感谢您对访谈的比例转录。克里斯蒂娜·穆勒（ChristinaMüller），弗洛里安·乌兹（Florian Utz）和托马斯·弗洛斯（Thomas Clever）帮助我创建了应用程序分析的经验材料，并且也总是在丰富讨论伙伴。我们要感谢所有在科学工作帮助下做出重大贡献的学生辅助工人。
NIST SP 800-232首次公共草稿，基于ASCON的轻巧加密标准受限设备
2023年，美国国家标准技术研究所（NIST）宣布了Dobraunig，Eichlseder，Mendel和Schläffer设计的Ascon算法家族，为资源约束设备提供有效的密码解决方案。这个决定来自严格的多轮轻巧的加密标准化过程。该标准介绍了一个新的基于ASCON的对称键加密原始家族，旨在提供经过验证的加密，并具有相关数据（AEAD），哈希和可扩展输出功能（XOF）功能，即Ascon-Aead-Aead128，Ascon-Hash256，Ascon-Hash256，Ascon-Xof128，Ascon-Xof128，和Ascon-cxof128。ASCON家族的特征是基于轻质置换的原始词，并提供了可靠的安全性，效率和灵活性，使其非常适合资源受限的环境，例如物联网（IoT）设备，嵌入式系统和低功率传感器。当高级加密标准（AES）可能无法最佳性能时，将开发家庭提供可行的替代方案。该标准草案概述了Ascon-Aead128，Ascon-Hash256，Ascon-XOF128和Ascon-CXOF128的技术规格，并提供其安全属性。
SHA-256与程序化SAT碰撞攻击
抽象的加密哈希功能在确保数据安全性，从可变长度输入中生成固定长度哈希至关重要。Hash函数SHA-256因其二十多年的严格审查后的弹性而被信任数据安全性。其关键特性之一是碰撞电阻，这意味着找到具有相同哈希的两个不同输入是不可行的。当前，最佳的SHA-256碰撞攻击使用差分密码分析在SHA-256的简化版本中找到碰撞，这些碰撞减少以更少的步骤，从而使发现碰撞是可行的。在本文中，我们使用满意度（SAT）求解器作为搜索步骤减少的SHA-256碰撞的工具，并借助于计算机代数系统（CAS），动态地指导求解器，用于检测不一致之处并推断信息，否则求解器将不会单独检测到求解器。我们的混合动力SAT + CAS求解器明显超过了纯SAT方法，从而使我们能够在步骤减少的SHA-256中发现碰撞，并具有更大的步骤。使用SAT + CAS，我们找到了带有修改初始化向量的SHA-256的38步碰撞，这是由Mendel，Nad和Schläffer的高度复杂搜索工具首先找到的。相反，纯粹的SAT方法可能会发现不超过28个步骤的碰撞。但是，我们的工作仅使用SAT求解器Cadical及其程序化接口Ipasir-Up。
基于自然的解决方案和绿色经济
致谢作者要感谢英国学院圆桌会议的参与者在2021年7月对基于自然解决方案的参与者。Their contributions to the discussion as well as sharing their experiences and case-studies in background materials, has provided a valuable source for the production of this briefing: Yaser Abunnasr, Dóra Almássy, Diego Almendrades, Hillary Angelo, Cristina Argudin, Susan Baker, Ian Bateman, Matt Bishop, JD Brown, Michael Buser, Judy Bush, Harriet Bulkeley, Fernando Camacho Rico, Carlo Ceglia, Mahé Charles, Barney Dickson, Mihaela Dragan-Lebovics, Wolfram Dressler, Virginie Duvat, Aklilu Fikresilassie, Todd Gartner, Davide Geneletti, Anne-Claire Goarant, Julie Greenwalt, Fernando Gutiérrez Champion, Keith Hyams, Soudeh Jamshidian, Daniel Johns, Lisa Jones, Marie-Ange Kalenga, Christoph Küffer, Melike Kuş, Carmen Lacambra Segura, Reuben Larbi, Marije van Lidth de Jeude, Leslie Mabon, Inga Mangisi-Mafileo, Adrian Martin, Matthew McCartney, Rob McDonald, Timon麦克弗森（McPherson），维诺卡·门迪亚（VerónicaMendietaSiordia），克莱门特·梅特维尔（Clement Metivier），艾里斯·莫勒（Iris Moeller），蒂迪（Teodyl Nkuintchua），杰西卡·诺斯（Jessica Northey），杰西卡·诺伊（Jessica Northey），戴维·奥布拉（David Obura），塔尼亚·奥格拉（Tanya O'Garra），玛丽亚·奇亚拉（Maria Chiara），玛丽亚·奇亚拉（Maria Chiara Pastore），伊瓦·佩萨（Iva Pesa），伊瓦·佩萨（Iva Pesa） Manoj Roy，OliverSchütte，Pete Smith，Amanda Stone，Scott Vaughan，Walter Vergara，Joeli Veitayaki，Chiara Vitali，Arief Wijaya，Emily Wilkinson，Linjun Xie。
第 42 届国际噪声大会和博览会...
Muhammad Tahir Akhtar，Fabienne Anfosso，Jorge Arenas，Noureddine Atalla，Keith Attenborough，Mike Bahtiarion，Delphine Bard，Hans Bendsen，Hans Bendtsen，Frits van den Berg L. Bronsdon，Lex Brown，Courtney Burroughs，Jean-Pierre Clairbois，Charlotte Clark，LuísBento Coelho，Dominique Collin，Stephen C. Conlon，Joe Cuchieri，Patricia Davis，Patricia Davis，John Laurence dec. ，Hugo Fastl，Thomas Fedtke，Andre Fiebig，Salvador Figueroa，Heinz Martin Fischer，Ian Flindell，Adrian Fuente，Aslak Fyhri，Massimo Garai，David Pelegrin Garcia，Juan Jesus Garcia，Denis Gely，Klaus Genuit，Samir Ny Gerges，Eddy Gerretsen，Berry Gibbs，AnitaGidlöf-Gunnarsson，克里斯蒂安·汉斯克（Christian Hantschk），马库斯·赫希特（Markus Hecht），卡尔·霍普金斯（Carl Hopkins），乔恩·霍贝尔特（JörnHübelt），斯塔坦·赫吉（Staffan Hygge），钟·贡（Jeong Guon Ich），巴特·英格拉尔（Bart Ingelaere），乌尔里希·伊斯曼（Ullrich Ingelaere），乌尔里希·伊斯曼（Ullrich Isermann），萨宾·詹森（Sabine Janssen），迪伦·琼斯（Dylan Jones），曼弗雷德·卡尔滕巴赫（Manfred Kaltenbacher），艾琳·范·坎普（Irene van Kamp） UC Koujoumji，Annette Kruger-Dokter，Patrick Kurtz，Sonoko Kuwano，Soogab Lee，Peter Lercher，Kai Ming Li, Jing Lu, Luigi Maffei, Jeffrey Mahn, Thomas Maly, Toshihito Matsui, Young J. Moon, Mats E Nilsson, Svein Arne Nordby, Mikael Ögren, Jorge Patricio, Eja Pedersen, Rich Peppin, Kerstin Persson-Waye, Markus Petz, Bert Pluymers, Christian Popp, Anna Preis, Guido Previati, Wolfgang Probst, Nicola Prodi, Birgit Rasmussen, Robert Rasmussen, Timothy Van Renterghem, Jens Rindel, Ulrich Saemann, Ulf Sandberg, Beat Schäffer, Werner Scholl, Dirk Schreckenberg, Brigitte Schulte-Fortkamp, Ahmet Selamet, Daniel Shepherd, Malcolm Sim, Christian Simmons, Stephen Stansfeld, Marianna Pérez Abendaño Tecnalia, Wolfgang Unterberger, Berthold Vogelsang, Diemer de Vries、Dittrich Wittekind、Ning Xiang、Ichiro Yamada、Takano Yasushi、Bernd Zeitler
第 42 届国际噪声大会和博览会...
穆罕默德·塔希尔·阿赫塔尔、法比恩·安福索、豪尔赫·阿里纳斯、努尔丁·阿塔拉、基思·阿滕伯勒、迈克·巴蒂亚里昂、戴尔芬·巴德、汉斯·本特森、弗里茨·范登伯格、马丁·范登伯格、特鲁斯·伯格、伯纳德·贝里、安妮莉丝·博克斯塔尔、杰拉德·博雷洛、迪克·博特尔杜伦、马克·布林克、桑德拉·布里克斯、罗伯特·L·布朗斯登、莱克斯·布朗、考特尼·巴勒斯让-皮埃尔·克莱尔布瓦、夏洛特·克拉克、路易斯·本托·科埃略、多米尼克·科林、史蒂芬·C·康伦、乔·库基耶里、帕特里夏·戴维斯、约翰·劳伦斯·戴维、弗朗西斯科·D·德尼亚、福特·德鲁、科尼利厄斯·杜兰、纪尧姆·杜蒂利厄、阿德里安·艾格、Tamer Elnady、雨果·法斯特、托马斯·费特克、安德烈·菲比格、萨尔瓦多·菲格罗亚、海因茨·马丁·费舍尔、伊恩·弗林德尔、 Adrian Fuente、Aslak Fyhri、Massimo Garai、David Pelegrin Garcia、Juan Jesus Garcia、Denis Gely、Klaus Genuit、Samir N.Y.格尔格斯、埃迪·格雷森、贝里·吉布斯、安妮塔·吉德洛夫-冈纳森、吕克·古伯特、伊达尔·格兰诺恩、科林·格里姆伍德、凯茜·吉古-卡特、克拉斯·哈格伯格、穆罕默德-阿里·哈姆迪、卡尔-克里斯蒂安·汉奇克、马库斯·赫克特、卡尔·霍普金斯、约恩·胡贝尔特、斯塔凡Hygge、Jeong Guon Ich、Bart Ingelaere、Ullrich Isermann、Sabine詹森、迪伦·琼斯、曼弗雷德·卡尔滕巴赫、艾琳·范·坎普、康健、史蒂芬·基思、罗尼·克拉博、伊冯·德·克鲁泽纳尔、让-吕克·库朱姆吉、安妮特·克鲁格-多克特、帕特里克·库尔茨、桑诺子、Soogab Lee、Peter Lercher、李凯明, 卢静, Luigi Maffei, Jeffrey Mahn, Thomas Maly, Toshihito Matsui, Young J. Moon、Mats E Nilsson、Svein Arne Nordby、Mikael Ögren、Jorge Patricio、Eja Pedersen
2024年9月6日 - 德国Kaiserslautern
前言，我们希望您参加第27届攀岩和步行机器人国际会议 - Clawar 2024！成立于1997年，Clawar会议已成为国际机器人社区中盛大的年度活动。今年，Clawar 2024是由RPTU KAISERSLAUTERN-LANDAU和信息技术研究中心的RPTU KAISERSLAUTERN-LANDAU和FZI的机器人研究实验室组织的。我们很荣幸欢迎您参加Kaiserslautern市今年的会议。Kaiserslautern是德国西南部莱茵兰 - 帕宁特州的工业和大学城。我们的城市直接附着在德国最大的连续森林的西北边缘。因此，Kaiserslautern在南部和东部被树木繁茂的高度（如Humberg或Kahlenberg）精美。Clawar 2024位于国际知名的研究所弗劳恩霍夫·Zentrum Kaiserslautern中。Clawar 2024涵盖了步行和攀登机器人研究，开发和创新的所有主要领域。除其他外，提出了新的应用和当前趋势，基于AI的感知和控制解决方案，创新的设计概念，康复和专业系统以及双皮亚和四足动物的步行机。，我们为三位著名的全体演讲者以及在其主要研究领域的未来创新提供的创新感到非常自豪。这些是Marco Hutter（27年攀登和步行机器人 - 我们在那里吗？），Alin Albu-Schäffer（扭矩控制或本质上符合？dlr在稳健，有效的双头和四倍的机车上的观点）和navinda kottege（两个，四个或六个？腿部机器人用于现实世界中的探索和检查）。对我们来说，拥有另外两个主题演讲者 - 本杰明·莫蒂斯（Benjamin Mottis）（创建自主机器人的工作）和katja mombaur（人形机器人机器人和外骨骨骼中的双皮亚动力学 - 从基准测试框架中，从基准测试框架中进行了高效控制者），要求对会议的高质量审查，以备受质量的质量，以备受质量的质量。审查过程导致接受了49篇定期论文和14张海报的贡献，中有75份原始提交。在整个会议期间都提出了所有公认的贡献，在14个技术会议上组织，将来自15个国家的领先的机器人研究人员汇总在一起。所有作者的出色工作以及所有审稿人的专业和详细反馈给作者的特殊认可。在学术会谈外，还组织了几项技术和社交活动，以支持整个会议的友好，合作和创新的精神。除其他外，其中包括技术展览，游览和导游。尤其要感谢参展商MAB机器人，Mybot Shop，DFKI机器人创新中心不来梅，DLR机器人和机电机器人学院，ETH的机器人系统实验室，服务机器人实验室，FZI的Service Robotics Lab，FZI，机器Intelligence and Machine Intelligence and Robotics在Kit和Robotics the Robotics for Robots for rptutu kaiesland for rptutu kaiasera for rptutu kaiasera intuutututututututu kaaisera-机器。组织这次会议需要大量工作，我们要感谢所有参与人员的时间和精力。衷心感谢您向我们的主要赞助商，Deutsche Forschungsgemeinschaft（DFG）和Hübner基金会。此外，我们要感谢Fraunhofer中心Kaiserslautern提供的会议地点。我们的真诚感谢也感谢Clawar协会，国际科学委员会，会议的顾问委员会以及国家和地方组织委员会的宝贵支持。