XiaoMi-AI文件搜索系统
World File Search System科学工作
对 NEURON 模拟器进行现代化改造，以实现可持续性、可移植性和性能
对可重复、可靠、多尺度生物建模的需求导致了标准化模拟平台的发展，例如广泛用于计算神经科学的 NEURON 环境。几十年来，开发和维护 NEURON 需要关注向后兼容性、不断发展的计算机架构、新尺度和物理过程的增加、新用户的可访问性以及专家的效率和灵活性等相互竞争的需求。为了应对这些挑战，我们现在对 NEURON 进行了大幅现代化改造，提供了持续集成、改进的构建系统和发布工作流程以及更好的文档。借助 NMODL 领域特定语言的新源到源编译器，我们通过 CoreNEURON 模拟引擎增强了 NEURON 在各种硬件平台（包括 GPU）上高效运行的能力。通过实施优化的内存传输机制，这个性能优化的后端可供用户轻松访问，提供从笔记本电脑到工作站再到超级计算机和云平台的训练和模型开发路径。同样，我们能够通过使用即时编译来加速 NEURON 的反应扩散模拟性能。我们表明，这些努力已经带来了不断增长的开发人员基础、更简单、更强大的软件分发、更广泛的计算机架构支持、NEURON 与其他科学工作流程的更好集成，以及生物物理和生化模型模拟性能的显著提高。
北美河流的功能性微生物组众群
预测元素周期并在增加人为影响下维持水质需要了解河流微生物组的空间驱动因素。然而，缺乏基因组分辨的功能见解和在多个河流中进行采样的理解阻碍了统治河生物地球化学的核心微生物过程。在这里，我们使用社区科学工作来加速对河流微生物组的抽样，测序和基因组分解的分析，以创建基因组解决的开放水域数据库（GROWDB）。growdb概述了覆盖美国90％的河流水域的微生物基因组的身份，分布，功能和表达。具体而言，growDB包括来自27个门的微生物谱系，其中包括来自10个家庭和128个属的新成员，并在基因组水平上定义了核心河流微生物组。growDB分析与广泛的地理空间信息相结合，揭示了微生物群落结构的本地和区域驱动因素，同时还提出了有关生态系统功能的基础假设。在先前构想的河流连续概念1上构建，我们对微生物功能性状表达进行分层，这表明河流微生物组的结构和功能是可以预见的。我们通过各种协作网络基础设施2,3提供GROWDB，以便可以在分水岭预测建模和基于微生物组的管理实践中广泛访问它。
基于填料床的电热储能，用于可再生能源整合
本论文以汉堡工业大学工程热力学研究所的科学工作为基础，该研究所与西门子歌美飒可再生能源和汉堡能源有限公司合作开展了联合研究项目未来能源解决方案。该项目由德国第六能源研究计划资助，对此我深表感谢。参与该项目对我来说是一次巨大的收获，我非常感谢有趣的见解和讨论，以及所有项目合作伙伴通过提供背景信息和测量数据的支持。我非常感谢我的导师 Prof. Dr.-Ing. Gerhard Schmitz 的支持、信任和鼓励，他给予我充分的自由，让我在日常工作中全身心投入研究领域，并在研究所建立了良好的工作条件。我还要感谢 Prof. Dr.-Ing Stefan Will 担任论文的第二审稿人，以及 Prof. Dr.-Ing. Alfons Kather 担任考试委员会主席。研究所的所有同事都为良好的工作氛围做出了贡献，我感谢他们的支持、有趣的讨论和我们在休息时一起度过的美好时光。我特别要感谢 Lisa Andresen 为该项目所做的前期工作，以及她鼓励我加入该项目。许多学生通过论文或担任研究助理为研究项目做出了贡献。他们的承诺、想法和反馈都值得高度赞赏。最后但并非最不重要的是，我要感谢我的妻子 Jasmin，感谢她在我撰写论文期间给予的大力支持，感谢她让我们的生活如此美好，还要感谢我们的两个儿子 Enno 和 Jonas，他们每天都用自己的快乐和对未来的信心激励着我们。
数学和科学教育中的定量推理
数字时代的数学教育（MEDE）系列探讨了数字技术支持数学教学和网络Geners学习的方式，也关注教育辩论。每卷都将在数学教育中解决一个特定问题（例如，视觉数学和网络学习；基于包容性和社区的电子学习；在数字时代的教学），以探索在数字技术的情况下探索有关教学和学习数学的基本假设。本系列旨在吸引各种各样的读者，包括：数学教育研究人员，数学家，认知科学家和计算机科学家，教育研究生，政策制定者，教育软件开发人员，管理人员和教师实践者。除其他外，本系列发表的高质量科学工作将解决与新一代数学学生的教学法和数字技术适用性有关的问题。该系列还将为读者提供更深入的了解，以了解创新的教学实践如何出现，进入课堂，并塑造成长为技术的年轻学生的学习。该系列还将介绍如何桥接理论和实践，以增强当今学生的不同学习方式，并将他们的动力和自然兴趣转变为对有意义的数学学习的额外支持。该系列为发现数字技术对学习成果的影响及其整合到有效的教学实践中的影响提供了机会；数学教育软件在教学和课程转换方面的潜力；以及数学电子学习的力量，是包容性和基于社区的，但个性化和实践的力量。
附录2 - 联合计划的课程
代码课程代码和名称Day1 Day2场地（TBD）Arch510.1 Arch510.1保护与恢复Wed。 17：00-18：50 Arch517.1 Arch517.1毕业项目Tue.10：00-15：50 Arch569.1 Arch569.1可持续设计工作室THU。17：00-18：50 Arch570.1 Arch570.1填充设计工作室。 17：00-18：50 BIO513.1 BIO513.1高级细胞生物学星期五。 14：00-16：50 BIO514.1 BIO514.1 O-MICS Technology Fri。 17：00-19：50 Bio518.1 Bio518.1生命科学专科主题 17：00-19：50 Bio604.1 Bio604.1高级结构生物信息学星期三。 17：00-19：50 Bio646.1 Bio646.1生命科学特殊主题2 17：00-19：50 BUS602.1 BUS602.1商业周三的定量研究方法。 17：00-19：50 CS509.1 CS509.1高级计算机体系结构。 17：00-19：50 CS511.1 CS511.1高级人工智能THU。 17：00-19：50 Econ506.1 Econ506.1 Applied Conatemetrics Thu. 17：00-19：50 ECON601.1 ECON601.1 Applied Conemonictrics Thu. 17：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。 16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。 17：00-19：50 ELT599.1 ELT599.1 M.A. 论文星期一。 17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-18：50 Arch570.1 Arch570.1填充设计工作室。17：00-18：50 BIO513.1 BIO513.1高级细胞生物学星期五。 14：00-16：50 BIO514.1 BIO514.1 O-MICS Technology Fri。 17：00-19：50 Bio518.1 Bio518.1生命科学专科主题 17：00-19：50 Bio604.1 Bio604.1高级结构生物信息学星期三。 17：00-19：50 Bio646.1 Bio646.1生命科学特殊主题2 17：00-19：50 BUS602.1 BUS602.1商业周三的定量研究方法。 17：00-19：50 CS509.1 CS509.1高级计算机体系结构。 17：00-19：50 CS511.1 CS511.1高级人工智能THU。 17：00-19：50 Econ506.1 Econ506.1 Applied Conatemetrics Thu. 17：00-19：50 ECON601.1 ECON601.1 Applied Conemonictrics Thu. 17：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。 16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。 17：00-19：50 ELT599.1 ELT599.1 M.A. 论文星期一。 17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-18：50 BIO513.1 BIO513.1高级细胞生物学星期五。 14：00-16：50 BIO514.1 BIO514.1 O-MICS Technology Fri。 17：00-19：50 Bio518.1 Bio518.1生命科学专科主题17：00-19：50 Bio604.1 Bio604.1高级结构生物信息学星期三。 17：00-19：50 Bio646.1 Bio646.1生命科学特殊主题217：00-19：50 BUS602.1 BUS602.1商业周三的定量研究方法。 17：00-19：50 CS509.1 CS509.1高级计算机体系结构。 17：00-19：50 CS511.1 CS511.1高级人工智能THU。 17：00-19：50 Econ506.1 Econ506.1 Applied Conatemetrics Thu. 17：00-19：50 ECON601.1 ECON601.1 Applied Conemonictrics Thu. 17：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。 16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。 17：00-19：50 ELT599.1 ELT599.1 M.A. 论文星期一。 17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-19：50 BUS602.1 BUS602.1商业周三的定量研究方法。 17：00-19：50 CS509.1 CS509.1高级计算机体系结构。17：00-19：50 CS511.1 CS511.1高级人工智能THU。17：00-19：50 Econ506.1 Econ506.1 Applied Conatemetrics Thu. 17：00-19：50 ECON601.1 ECON601.1 Applied Conemonictrics Thu. 17：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。 16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。 17：00-19：50 ELT599.1 ELT599.1 M.A. 论文星期一。 17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-19：50 Econ506.1 Econ506.1 Applied Conatemetrics Thu.17：00-19：50 ECON601.1 ECON601.1 Applied Conemonictrics Thu.17：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。 16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。 17：00-19：50 ELT599.1 ELT599.1 M.A. 论文星期一。 17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-19：50 EDU583.1 EDU583.1科学工作方法学方法。16：00-18：50 ELT562.1 ELT562.1终身学习和英语教学周五。 17：00-19：50 ELT565.1 ELT565.1英语教学的评估。17：00-19：50 ELT599.1 ELT599.1 M.A.论文星期一。17：00-17：50 TUE。 17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。 17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。 17：00-19：50 IR651.1 IR651.1世界能源政治星期一。 18：00-20：5017：00-17：50 TUE。17：00-18：50 ELT660.1 ELT660.1应用语言学周五。 17：00-19：50 ELT670.1 ELT670.1教育理念和英语教学THU。17：00-19：50 IBF507.1 IBF507.1管理跨国企业Wed。 17：00-19：50 IBF562.1 IBF562.1财务特殊主题。17：00-19：50 IR651.1 IR651.1世界能源政治星期一。18：00-20：5017：00-19：50 IE502.1 IE502.1高级质量和可靠性工程星期五。 17：00-19：50 IR520.1 IR520.1国际安全周二。17：00-19：50 IR652.1 IR652.1安全与战略周二。17：00-19：50 Law530.1 Law530.1比较宪法法周期。 18：00-20：50 MBA525.1 MBA525.1高级企业家和SBM星期五。 17：00-19：50 MBA535.1 MBA535.1业务分析和决策制定。17：00-19：50 MBA581.1 MBA581.1高级商业研究方法星期三。 17：00-19：50 ME510.1 ME510.1物理运输现象。 17：00-19：50 PSY519.1 PSY519.1临床心理药物学。 17：00-19：50 PSY524.1 PSY524.1健康，健康和幸福。 17：00-19：50 PSY529.1 PSY529.1临床访谈，评估和职业伦理学。 17：00-19：50 SOC503.1 SOC503.1社会和文化理论Wed。 17：00-19：50 SPS509.1 SPS509.1欧盟和能源政治星期一。 17：00-19：50 SPS603.1 SPS603.1社会和政治理论的高级研究。 17：00-19：50 VA502.1 VA502.1 Studio Project II THU。 18：00-20：50 VA517.1 VA517.1艺术和流行文化周二。 17：00-19：50 VA519.1 VA519.1设计领域。17：00-19：50 MBA581.1 MBA581.1高级商业研究方法星期三。 17：00-19：50 ME510.1 ME510.1物理运输现象。17：00-19：50 PSY519.1 PSY519.1临床心理药物学。17：00-19：50 PSY524.1 PSY524.1健康，健康和幸福。17：00-19：50 PSY529.1 PSY529.1临床访谈，评估和职业伦理学。 17：00-19：50 SOC503.1 SOC503.1社会和文化理论Wed。 17：00-19：50 SPS509.1 SPS509.1欧盟和能源政治星期一。 17：00-19：50 SPS603.1 SPS603.1社会和政治理论的高级研究。 17：00-19：50 VA502.1 VA502.1 Studio Project II THU。 18：00-20：50 VA517.1 VA517.1艺术和流行文化周二。 17：00-19：50 VA519.1 VA519.1设计领域。17：00-19：50 PSY529.1 PSY529.1临床访谈，评估和职业伦理学。17：00-19：50 SOC503.1 SOC503.1社会和文化理论Wed。 17：00-19：50 SPS509.1 SPS509.1欧盟和能源政治星期一。17：00-19：50 SPS603.1 SPS603.1社会和政治理论的高级研究。 17：00-19：50 VA502.1 VA502.1 Studio Project II THU。18：00-20：50 VA517.1 VA517.1艺术和流行文化周二。17：00-19：50 VA519.1 VA519.1设计领域。
冷漠背后的大脑机制
摘要 过去几十年来，人们对神经精神综合征冷漠症的兴趣日益浓厚，冷漠症被定义为动力丧失，表现为目标导向行为的减少。冷漠症在各种神经和精神疾病中频繁发生，对生活质量产生重大影响。冷漠症还与特定内侧额叶皮层和皮层下结构的神经影像学变化始终相关，这表明，无论导致冷漠症的疾病是什么，其发展都可能源于一种共同的系统级机制的破坏。随着人们对冷漠症临床重要性的认识不断提高，人们在理解人类和动物的正常动机行为方面也取得了重大进展。这些发展发生在几个不同的概念层面，从将神经结构和神经调节系统与动机行为的特定方面联系起来的工作，到旨在将这些发现统一在正常目标导向行为框架内的高阶计算模型。在这篇综述中，我们基于对正常动机行为的当前理解，制定了一个理解病理性冷漠的概念框架。我们首先介绍动机行为的著名理论——动机行为通常涉及一系列需要长期维持的目标行动。接下来，我们概述了在动物模型中破坏这些过程的行为影响，强调了这些操作对动机行为不同组成部分的具体影响。最后，我们将这些发现与临床冷漠联系起来，证明了这项基础神经科学工作与来自该综合症患者研究的新行为和生理证据之间的同源性。
用于科学仪器联合性能优化和诊断的 AI-Science
简介：下一代科学工作流程预计将在由超级计算机、科学仪器、存储系统和网络组成的复杂联合体上执行，并新增了边缘和云系统和服务。这些多域联合体的复杂性使得管理和优化其性能变得困难，因为微小的阻抗不匹配（可以在系统之间动态发展）可能会大大降低整个联合体的性能。最近，软件定义一切 (SDX) 技术与容器化框架相结合，提供了可以监控和收集各个级别的关键测量值的自定义工具，以支持诊断和性能优化；但它们的数据太大，人类操作员和分析师无法处理和做出决策。从数据中提取关键参数、关系和趋势的机器学习 (ML) 方法提供了通用解决方案。必须基于坚实、严谨的基础为这些问题定制开发人工智能 (AI) 和 ML 方法，因为黑盒方法通常无效且不健全。用于测量驱动科学联盟的 AI-Science：我们建议为科学联盟的绩效开发全面的 AI-Science，以便 (i) 通过软件化层监控和控制跨多个领域的存储、网络、实验和计算系统，速度和规模比当前实践高出几个数量级，(ii) 通过使用动态状态和性能估计方法，以高性能最佳地实现和协调复杂的工作流程，以及 (iii) 汇总跨站点和时间的测量结果，以基于机器学习、博弈论和信息融合领域的基本原理使用 AI-Science 开发基础设施级配置文件、优化和诊断。这种方法为测量驱动、性能优化的科学联盟提供了以下功能：
APINO 2018. 第 4 卷
当前科学和教育中的信息和电信问题。第七届国际科学技术和科学方法会议；星期六。科学的艺术。 4 吨/以下。编辑。 S.V.巴切夫斯基；比较。 A.G.弗拉迪科，E.A.阿尼科维奇。 SPb。 ：SPbSUT，2018。T.4。746 页。程序委员会主席 S. V. Bachevsky，技术科学博士、教授、圣彼得堡国立工业大学校长（俄罗斯） 副主席 K. V. Dukelsky，技术科学候选人、副教授、圣彼得堡国立大学科学工作副校长技术科学部（俄罗斯）执行秘书 Vladyko A. G.，技术科学候选人，IEEE 会员，通信技术研究所所长SPbSUT（俄罗斯） 程序委员会成员 Yevgeni Koucheryavy，教授，博士。博士，IEEE 高级会员，坦佩雷理工大学（芬兰）电子与通信工程系 Tina Tsou，华为技术有限公司联络报告员，ITU-T、IETF 和 ETSI 编辑职位，华为（中国）Matthias Schnöll，教授、博士。 D.，Fachbereich Elektrotechnik，安哈尔特应用科技大学（德国）电气工程博士，IEEK（韩国电子工程师学会）副会长，ETRI（韩国） Edison Pignaton de Freitas，兼职教授，博士。博士，南里奥格兰德联邦大学（巴西）Andrej Kos，教授，博士。卢布尔雅那大学博士（斯洛文尼亚）Janusz Pieczerak，Orange Labs 硕士（波兰）Seilov Sh.，技术科学博士，哈萨克斯坦信息通信学院院长
生物医学数据科学和生物信息学的博士后（...
在最早的日期填写。机器学习是科学中越来越重要的方法。为了利用这种一般农业方法的全部潜力，我们正在寻找一个可以展示有关开发机器学习方法或应用的相关，国际上可见的科学工作的人。成功的候选人有望为卓越群体Exc 2070 Penorob做出贡献，并有助于发展该学院的未来跨学科和跨学科研究计划。因此，机器学习在农业领域的应用，尤其是在作物生产的背景下，对于将来的工作至关重要，但不是该职位的先决条件。可能的研究领域可能是基于过程和数据驱动模型的融合。成功地获取和实施第三方资助的项目是先决条件。在教学中，该学科领域应在B.Sc的强制性和选修课程中代表。和M.Sc.农业，营养和工程科学学院学位课程。正式要求由§36Hochschulgesetz NRW监管。波恩大学致力于多样性和平等机会。它被认证为家庭友好的大学，并拥有双重职业服务。旨在增加妇女人数不足并特别促进其职业的妇女比例。因此，波恩大学强烈鼓励合格妇女的申请。申请应按照LandesgleChstellungsgesetz NRW处理。特别欢迎具有认证严重残疾和同等地位的合格人员的申请。有关此教授职位的更多信息，请通过电子邮件（haunert@igg.uni-bonn.de）与任命委员会主席Haunert教授联系。保证将考虑到2010年11月30日提交的申请。请通过我们的应用程序网站申请：https：//berufungsportal.uni-bonn.de。
基地的位置建立在人工基础之上
以下评论旨在简要说明这些价值观如何应用。请读者访问 BASES 网站，了解有关这些价值观、行为和承诺的更多信息，并鼓励他们思考如何在个人和机构环境中最好地应用它们。公平：公平地获得人工智能的变革能力至关重要。机构提供工具和基础资源，但充分利用这项技术取决于个人。教育工作者应清楚地传达与人工智能相关的风险，机构应合作解决这些风险。我们的立场是，训练数据应该涵盖广泛的声音，而不仅仅是少数特权人士的声音。专业性：对人工智能在 SES 中的应用进行专业的人工监督是确保其使用符合协会价值观的先决条件。诚实：在学术工作中使用人工智能工具既带来了希望，也带来了责任。虽然这些工具可以成为无价的辅助工具，但使用它们的人（例如学生）必须承认他们是如何使用它们的，并确保以正确的方式使用它们，以避免学术不端行为（例如抄袭）。为了实现这一点，需要为学生、学者和其他用户提供适当使用人工智能的培训和明确的指导。责任：在 SES 中整合人工智能工具需要明确的人类责任。无论人工智能在研究、文章或其他成果中的帮助程度如何，指定的个人必须始终作为最终权威，并对内容及其直接后果负责。卓越：人工智能可以作为体育和运动科学家的有用数字助理，提升他们在专业实践、研究和教学方面的能力。通过以正确的方式利用人工智能，我们可以提高我们的科学工作和我们提供的专业服务的质量。相互支持以适应人工智能