• 格兰兹曼血小板无力症（Glanzmann Thrombasthenia）患者接受造血干细胞移植后的混合嵌合现象与临床结局：基于2例兄弟姐妹的临床经验及文献综述

  ```section> 摘要 通俗语言总结 格兰兹曼血小板无力症（Glanzmann thrombasthenia，简称GT）是一种罕见的常染色体隐性遗传性血小板疾病，其特征是血小板聚集功能异常，这主要是由于整合素αIIb和β3的量或质缺陷所致。目前，异基因造血干细胞移植（allo-HSCT）是治疗严重GT的唯一可能具有治愈效果的方法。在本报告中，我们介绍了两名接受异基因造血干细胞移植并取得成功治疗的GT患儿病例，并提供了来自国际血液和骨髓移植研究中心（Center for International Blood and Marrow Transplant Research）

  来源：Journal of Pediatric Hematology/Oncology

  时间：2025-11-08

• 2岁以下儿童患者的横纹肌肉瘤：临床特征和预后

  ```section> 摘要 通俗语言总结 背景： 横纹肌肉瘤（RMS）通常对多种治疗方法有良好的反应，1至9岁的儿童预后较好。然而，由于担心手术/放疗的长期影响，婴儿的预后可能更差。本研究调查了2岁以下儿童横纹肌肉瘤的临床特征、治疗方法和生存结果。 方法： 我们回顾性分析了2002年1月至2022年12月在King Hussein癌症中心接受治疗的2岁以下新诊断横纹肌肉瘤患儿的病例。数据包括人口统计学特征、临床特征和生存结果。统计分析采用了描述性统计和Kaplan-Meier生存分析方法。所有病例均由经验丰富的放射治疗师和外科医生组成的多学科团队进行评估。

  来源：Journal of Pediatric Hematology/Oncology

  时间：2025-11-08

• 利用ngAP在GPU上实现可扩展且非阻塞的自动机处理

  摘要有限自动机在各种应用中充当计算核心。尽管GPU提供了强大的并行处理能力，但由于三个挑战，其在自动机处理方面的潜力仍未得到充分利用：(1) 并行性不足导致线程利用率低下；(2) 由于许多状态对应相同的符号，从而产生重复计算；(3) 由于线程和状态之间的频繁重新映射以及不规则的内存访问，时间和空间局部性未能得到有效利用。我们发现，逐个符号地处理自动机会使执行过程串行化，从而限制了系统的可扩展性。为了解决这个问题，我们提出了非阻塞自动机处理方法（Non-blocking Automata Processing），该方法支持不同输入符号的并行处理，并包含以下几种优化措施：(1) 预取计算结果，通过

  来源：ACM Transactions on Computer Systems

  时间：2025-11-08

• GiantSan：利用段折叠实现高效的操作级内存清理

  摘要内存安全检测工具是用于在执行过程中检测无效内存操作的强大工具，它们利用运行时元数据来模拟内存结构，帮助发现程序中隐藏的内存错误。然而，基于位置的内存安全检测方法由于具有较高的兼容性而被广泛使用，但它们面临保护密度低的问题：一个元数据所能保护的字节数量是有限的。因此，大量的内存访问需要加载过多的元数据，从而导致较高的运行时开销。为了解决这个问题，我们提出了一种新的阴影编码技术，并结合了“段折叠”（segment folding）机制来提高保护密度。具体来说，我们通过对具有相同元数据的相邻字节进行汇总处理（这些汇总结果被称为“折叠段”），从而减少不必要的元数据加载。与现有技术相比，新的编码方式

  来源：ACM Transactions on Computer Systems

  时间：2025-11-08

• 超属性（Hyperproperties）的集中式监控系统与去中心化监控系统

  摘要本文重点研究了在Hyper-recHML中表达的超属性的运行时验证问题。Hyper-recHML是一种表达能力强且简单的逻辑语言，用于描述轨迹集合的属性。为此，我们设计了一种简单的监控器语言，这种监控器能够观察系统执行的轨迹集合，并针对给定的Hyper-recHML公式给出判断结果。首先，我们使用了一种全局监控器，它能够集中观察所有系统轨迹。由于集中式监控器并不适用于分布式环境，我们还提供了一种用于分布式监控器的语言，在这种语言中，每个轨迹都由一个专用的监控器负责监控；这些监控器通过相互通信来生成唯一的判断结果。对于集中式和分布式环境，我们都提供了一种合成算法，该算法能够根据给定的公式生成

  来源：ACM Transactions on Computational Logic

  时间：2025-11-08

• 德克萨斯大学MD安德森癌症中心实行“无烟草招聘”政策

  摘要 简而言之 目标 MD安德森在2015年实施了无烟草招聘政策，以契合我们“终结癌症”的使命。关于无烟草招聘政策的有效性，目前证据较为匮乏，我们的目标是评估这一政策的影响。 方法 我们评估了该政策的效果，并进行了文献回顾，以分析与无烟草招聘相关的伦理和组织方面的考量。 结果 在美国，有29个州（占58%）在招聘过程中有保护吸烟者的相关法律。2015年至2024年间，共进行了41

  来源：Journal of Occupational and Environmental Medicine

  时间：2025-11-08

• LazyLog：一种专为现代低延迟应用程序设计的新型共享日志抽象层与框架

  摘要共享日志在存储分片之间提供了可线性化的总顺序。然而，它们在数据摄入时就会立即强制执行这种顺序，从而导致较高的延迟。我们观察到，在许多现代共享日志应用程序中，虽然可线性化排序是必要的，但在数据摄入时并不需要立即执行，而只在数据被消费时才需要执行。此外，在这些应用程序中，读取者和写入者在时间上是自然解耦的。基于这一洞察，我们提出了LazyLog这一新型共享日志抽象层。LazyLog会延迟地将记录（跨分片）绑定到可线性化的全局位置，并在读取日志位置之前强制执行这种顺序。这种延迟排序机制使得数据摄入时的延迟较低。由于时间上的解耦，LazyLog可以在读取操作到来之前就建立好数据顺序，从而将读取时的

  来源：ACM Transactions on Computer Systems

  时间：2025-11-08

• 探索生成式人工智能在增强痴呆症患者韧性活动中的作用：发现机遇与挑战

  摘要迄今为止，人工智能（AI）与痴呆症相关的研究主要集中在医疗和护理领域。本研究通过收集轻度认知障碍（MCI）患者以及轻度至中度痴呆症患者的定性数据，补充了以往的研究成果，揭示了他们的观点、预期的应用场景以及生成式AI应用可能面临的挑战。研究结果表明，这些患者希望利用AI参与增强韧性的活动，以促进健康、建立社交联系并寻找生活目标。不过，每个应用场景在促进健康思维方面都存在一定的权衡。基于这些发现，我们探讨了未来在AI领域开展增强痴呆症患者韧性的研究方向。我们希望这项工作能为未来的AI设计与开发奠定基础，帮助痴呆症患者积极参与增强韧性的活动，从而对其心理健康和福祉产生持久的积极影响。

  来源：ACM Transactions on Computer-Human Interaction

  时间：2025-11-08

• 团结与参与：通过数字工具实现积极体验与工作投入

  摘要随着远程协作成为当代工作的核心，了解数字工具如何塑造用户体验（UX）和工作参与度变得至关重要。本研究探讨了产品设计团队如何使用Miro（一种在线协作白板工具）来支持远程和混合工作环境中的协作。我们发现“团结”是一种核心的积极体验，它包含四种形式：信息整合、人际关系、情感连接和乐趣。通过社会物质学的视角，我们指出这些体验并非仅仅源于工具本身的功能，而是源于它们与具体工作实践的结合。我们的研究贡献有五方面：（1）将“团结”概念化为积极用户体验的一个独特维度；（2）对人机交互（HCI）领域提出的“关系性、相互交织的方法”提供了认识论上的回应；（3）揭示了“团结”是如何通过社会物质配置形成的；（4

  来源：ACM Transactions on Computer-Human Interaction

  时间：2025-11-08

• 迈向人机协同在UI设计中的应用：利用大语言模型（LLMs）支持迭代式设计过程

  摘要在自动化用户界面（UI）设计生成过程中，一个关键挑战是缺乏对迭代过程的支持，因为大多数系统仅关注端到端的输出结果。这主要是由于在解读设计意图方面的能力有限，以及缺乏对中间结果的优化过程透明度所致。为了更好地理解这些挑战，我们进行了一项初步研究，确定了使用生成工具支持迭代设计的具体且可操作的需求。基于这些发现，我们提出了PrototypeFlow——一个以用户为中心的自动化UI生成系统，该系统利用多模态输入和模型来实现设计目标。PrototypeFlow以自然语言描述和布局偏好作为输入，生成高保真的UI设计。其核心是一个主题设计模块，该模块通过提示优化来明确隐含的设计意图，并协调各个子模块以

  来源：ACM Transactions on Computer-Human Interaction

  时间：2025-11-08

• 单词建议有帮助吗？输入效率与建议准确性的影响

  摘要单词提示是输入界面的常见功能，但以往的研究发现其效果并不明确，甚至存在负面影响。我们在三项研究中控制了单词提示的准确性和输入效率这两个因素。我们的准确性评估方法基于常见的单词提示指标。在第一项研究中，输入效率受到设备类型的影响；而在后两项研究中，则通过人为设置障碍来模拟不同的输入环境。研究结果表明，随着输入效率的提高，用户使用单词提示的频率会降低；只有当单词提示的准确性非常高时，才能在输入效率较低的情况下提升输入速度。与条形提示相比，内联提示可节省约4%的按键次数，并使输入速度提高每分钟2个单词，不过它们更容易分散用户的注意力。基于我们的研究结果，我们提出了一个模型，将单词提示的使用情况与

  来源：ACM Transactions on Computer-Human Interaction

  时间：2025-11-08

• 关于自动化编程评估系统中反馈类型的研究

  摘要随着所有主要行业数字化进程的加速，编程技能的需求不断增加，这促使越来越多的大学将编程课程纳入教学体系，不仅涵盖技术专业，还包括商业和管理领域。因此，需要额外的资源来支持具有不同教育背景和技能水平的学生进行教学、评分和辅导。为此，自动化编程评估系统（APAS）应运而生，这类系统能够提供可扩展且高质量的评估服务，具备高效的评估能力和即时反馈功能。然而，传统的APAS通常依赖预定义的单元测试来生成反馈，这限制了反馈的内容范围和详细程度。近年来，随着大型语言模型（LLM）的发展，这些技术为提升反馈质量和个性化提供了新的可能性。为了研究学生在不同APAS反馈机制下的感知情况及其对问题解决能力的实际帮

  来源：ACM Transactions on Computing Education

  时间：2025-11-08

• 通过机器人模拟在课堂外进行的任务导向型课程对设计思维、个人创造力及自我调节能力的影响

  摘要在这项研究中，学生在两种不同的教学方法（课堂内和课堂外）中进行了机器人应用实践。这项为期14周的研究旨在考察学生的设计思维、个人创造力以及自我调节能力的发展情况。共有60名副学士学位学生参与了研究，其中16名为女性，44名为男性，他们均就读于某州立大学的计算机技术专业。在采用前测-后测对照组实验设计的情况下，学生们被随机分配到不同的组别。两组都接受了基于Arduino的物理机器人培训，并强调了团队合作的重要性。此外，实验组的学生还通过Tinkercad平台在课堂外独立完成了某些任务。对于定量数据，研究人员进行了正态性检验、T检验和相关性分析；而对于定性数据，则采用了描述性分析和内容分析方法

  来源：ACM Transactions on Computing Education

  时间：2025-11-08

• 为提升人工智能素养设计具身化的隐喻与类比：一项与专家、教师及儿童共同开展的迭代研究

  摘要向儿童教授复杂的AI概念面临着重大挑战，因为教育工作者往往难以同时理解这些概念的细微机制，并将其转化为引人入胜的学习体验。本文基于具身认知和类比推理理论，旨在创建能够简化AI推荐系统机制和伦理问题的具身隐喻与类比，以便中学生能够更好地理解这些内容。我们采用基于设计的研究（Design-Based Research, DBR）方法论，通过多阶段设计流程整合了领域专家、学生和教师等关键利益相关者的反馈，将抽象的AI概念与具体且熟悉的体验联系起来。这一过程首先通过与七位AI专家的合作头脑风暴来生成多种具身表达方式。最终设计成果经过中学生和教师的混合方法评估，结果显示学生的态度发生了积极变化，并为

  来源：ACM Transactions on Computing Education

  时间：2025-11-08

• 由电路定义的枚举类

  摘要我们通过引入使用布尔电路作为枚举器的非常低级别的分类方法，来细化枚举问题的复杂性框架。我们将一些众所周知的枚举问题（例如来自图论的问题、格雷码枚举以及命题可满足性问题）归类到这些级别中。通过这种方式，我们建立了一个框架，用于区分不同问题的复杂性。这些问题至今为止还没有正式的比较方法。

  来源：ACM Transactions on Computation Theory

  时间：2025-11-08

• 在一项关于工作场所感恩的随机对照试验中，研究重点关注了与改善工作成果密切相关的亲密关系

  摘要 简而言之 目的 感恩计划可能会提高医护人员的幸福感，但目前尚不清楚实践内容是否重要。 方法 我们在一个大型学术性初级保健部门开展了一项基于文本的随机对照试验，名为“三件好事”（3GT）。参与者每周三次回复相关文本，记录当天发生的积极事件。我们测量了“即时干预”组和“延迟干预”组的抑郁情绪、积极情绪、感恩感和生活满意度。我们对超过4600条记录进行了编码，并使用多元回归分析来控制部门规模、角色和性别等因素，以确定内容是

  来源：Journal of Occupational and Environmental Medicine

  时间：2025-11-08

• 一种基于简单包含-排除法的算法，用于(k, n)-MLC及相关问题

  摘要我们提出了一种基于包含排除原理的简单算法，用于计算由算术电路在任何域上计算出的多项式中所有多线性单项式系数的总和。该问题正式表示为（k, n）-MLC，定义如下：•给定一个计算齐次多项式的算术电路，其中该多项式的次数为 k，系数由 F 表示，计算多项式 f 中所有多线性单项式系数的总和。我们为（k, n）-MLC 问题提供了一种确定性算法，其运行时间为 O(nk/2 · 2O(k) · sO(1)，其中 s 是电路的大小。我们的算法也在多项式空间上是有限的。（k, n）-MLC 问题最初由 Koutis 和 Williams [15, 17, 22] 研究，后来由 Arvind 等人 [3

  来源：ACM Transactions on Computation Theory

  时间：2025-11-08

• 同态重构的复杂性

  摘要近年来，通过图的同态计数来表示图的方法催生了“同态不可区分性”这一美丽的理论。此外，同态计数在数据库理论和机器学习领域也有广泛应用，在这些领域中，人们希望仅根据图 G 作为从某些固定有限图集到 G 的同态计数的有限向量表示来回答问题或对图进行分类。我们研究了与这些表示相关的一个最基本的计算问题的计算复杂性，即“同态重构问题”：给定一系列图和一个相应的自然数向量，判断是否存在一个图 G，使得该图能够实现给定的向量，即作为这些图的同态计数结果。我们证明了这个问题是一个典型的 NP#P 难问题；即使将其限制在输入图的树宽有界且输入的自然数向量固定的情况下，或者限制在输入图集有限的情况下，它仍然可

  来源：ACM Transactions on Computation Theory

  时间：2025-11-08

• Sherali-Adams层次结构和Weisfeiler-Leman层次结构在（基于承诺价值的）约束满足问题中的应用

  摘要在本文中，我们研究了整数程序（IPs）的所谓“分数松弛”之间的相互作用，这些整数程序用于编码关系结构之间的同态和同构。我们给出了同态的某种自然线性规划（LP）松弛形式的组合学表征，该表征基于分数同构的概念。研究结果表明，能够通过这种线性规划解决的约束满足问题（CSPs）家族，正是那些满足我们称之为“Weisfeiler-Leman不变性”的等价关系的问题。此外，我们将这一结果推广到了更广泛的“Promise Valued Constraint Satisfaction Problems”框架中，该框架结合了CSP框架的两个著名扩展。最后，我们考虑了通过分别应用Sherali-Adams方法

  来源：ACM Transactions on Computation Theory

  时间：2025-11-08

• SARS-CoV-2大流行前后计算机视觉综合征的变化：新症状的出现与视觉显示终端的工作场所设置

  随着数字化技术的广泛应用，计算机视觉综合征（CVS）已成为影响全球大量办公人员的重要健康问题。CVS通常指因长时间使用计算机和其他视觉显示终端（VDT）如笔记本电脑、平板、电子阅读器及智能手机等所引发的一系列非特异性眼部不适症状，包括眼睛疲劳、视力模糊、干涩、头痛等。这些症状不仅影响个人的工作效率，还可能带来更广泛的健康影响，甚至对经济造成负面影响。因此，研究CVS的诱因及预防措施对于改善办公环境和提高工作效率具有重要意义。### 研究背景与目的本研究是一项横断面在线调查，旨在探讨疫情后视觉显示终端（VDT）设置对计算机视觉综合征新发症状的影响。研究对象为超过800名德国办公人员，调查时间从2

  来源：Journal of Occupational and Environmental Medicine

  时间：2025-11-08

知名企业招聘：