XiaoMi-AI文件搜索系统
World File Search SystemPrague
布拉格捷克理工大学电工技术...
上市时间是决定集成电路设计开发成本的关键因素。自动化部分设计过程的工具可以节省开发时间，因为本质上是跳过了这些部分。在本项目中，基于现有存储器设计，使用 Cadence SKILL 语言为此目的开发了一个只读存储器生成器。此设计是一个具有 12 位输入地址的 1.8 V 异步存储器。位线的数量直接对应于输出数据总线的宽度。生成器功能包括存储器原理图和布局生成、存储器重新编程、自动解码和布局后访问时间模拟，以及生成用于 Verilog 中解码模拟的功能模型。可以使用直接集成到 Cadence Virtuoso 菜单中图形用户界面单独运行这些功能。在正常条件下，创建的内存范围从 128 B 到 65.536 kB，访问时间从 4.2 ns 到 6.9 ns。角运行显示最多比原始值增加 78%。此外，生成的内存布局面积从 21397 µm2 到 829776 µm2。最大内存生成时间为 1 小时 31 分钟。
Julien Miranda、Stanislas Larnier、Ariane Herbulot、Michel Devy。基于无人机的计算机视觉飞机外部螺丝检测。14 小时国际计算机视觉、成像和计算机图形理论与应用联合会议，2019 年 2 月，捷克共和国布拉格。hal- 02065284
在飞机维护中，绝大多数目视检查旨在发现机身上的缺陷或异常。这些检测很容易受到人工操作员的错误影响。由于空中交通量不断增长，并且由于商业航班时刻表对飞机利用率的要求不断提高，因此对维护操作的按时压力更大，从而对劳动力的压力也更大（Marx and Graeber，1994）（Drury，1999）。自 1990 年代以来，人们一直在研究使用机器人自动进行飞机外部检查。目的通常是帮助维护技术人员进行诊断并提高维护报告中缺陷和损坏的可追溯性。第一个机器人解决方案专注于外部表面蒙皮检查，机器人在飞机上爬行。尽管概念验证有效，但实际部署仍存在一些局限性（Davis 和 Siegel，1993 年）（Siegel 等人，1993 年）（Backes 等人，1997 年）（Siegel，1997 年）（Siegel 等人，1998 年）。2010 年代初，一款名为 Air-Cobot 的轮式协作移动机器人问世。它能够在包含一些需要避免的障碍物的环境中安全地围绕飞机发展（Futterlieb 等人，2014 年）（Frejaville 等人，2016 年）（Bauda 等人，2017 年）（Futterlieb，2017 年）（Lakrouf 等人，2017 年）。两个传感器专用于检查。使用平移倾斜变焦摄像机，可以进行一些检查
捷克共和国布拉格 - 2023 年全球脊柱大会
电子海报和剧场会议。我们世界知名的演讲者将分享他们在脊柱外科方面的专业知识、见解和最新研究成果，包括退行性、畸形、肿瘤学和 MIS 等主题。GSC 将行业、外科医生和医疗保健提供者聚集在一起，分享经验和成功案例。这为全球社区提供了交流和教育机会。
2019 年布拉格四年展上的虚拟和增强现实
沉浸式技术的布景潜力：2019 年布拉格四年展上的虚拟现实和增强现实 Lucy Thornett 设计学院，伦敦艺术大学伦敦传媒学院，伦敦，英国 l.thornett@lcc.arts.ac.uk Lucy Thornett 是伦敦艺术大学的布景师和讲师。她还在利兹大学攻读由 AHRC 资助的增强现实布景观众体验博士学位。
布拉格 C & M 标准
* 堪萨斯大学医学院退伍军人事务医疗中心系，密苏里州堪萨斯城；‡ 澳大利亚阿德莱德皇家阿德莱德医院胃肠病学、肝病学和全科医学系；§ 加拿大安大略省汉密尔顿麦克马斯特大学胃肠病学分部；¶ 荷兰阿姆斯特丹大学学术医学中心胃肠病学和肝病学系；� 德国威斯巴登 HSK-Kliniken 第二内科；# 日本东京虎之门医院胃肠病学系；** 英国牛津牛津大学临床药理学系；‡‡ 瑞典默恩达尔阿斯利康研发中心；§§ 瑞典斯德哥尔摩卡罗琳斯卡大学医院外科分部；¶¶ 德国马格德堡奥托冯格里克大学病理学研究所