Benchmarking Intra-Patient 3D Deformable Multimodal Image Registration
研究评估了多种3D多模态可变形配准方法，针对不同解剖区域的数据集，采用了几何与基于图像的度量标准，揭示了当前方法在全局结构一致性上的局限性。
0 citationsRead paper
Selected work
Representative Papers
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
为解决定时系统中执行时间导致的保密性问题，提出Execution-Time Opacity Logic(ETOL)，通过基于区域的模型检测框架有效验证执行时间保密性。
0 citationsRead paper
Multilevel Fair Allocation under Additive Preferences
研究了具有树状层级关系的多级公平资源分配问题，提出并比较了多种适应性嫉妒公平概念，并评估了MWRR算法在不同条件下的表现。
0 citationsRead paper
Propaganda Forensics: Recovering the Generation Pipeline of an AI-Driven Influence Campaign
This study addresses the challenge of tracing generative pipelines in AI-driven influence operations by constructing Propagia, the first French propaganda corpus. By integrating topic modeling, sentiment analysis, prompt leakage detection, and rewriting-based attribution techniques, this work reverse-engineers the content generation process. The research reveals distinct stylistic characteristics of AI-generated propaganda, identifies evidence of prompt leakage across 50 websites, and successfully attributes generated content to Llama-3 and Mistral models. Collectively, these findings establish a systematic methodological framework for the forensic analysis and provenance identification of AI-generated content, offering critical insights into detecting and mitigating automated disinformation campaigns.
0 citationsRead paper
Challenges for Musical Education in the Age of AI and Digital Transformation
This study addresses the profound transformation of music’s essence, creative practices, and audience behaviors driven by artificial intelligence and digital technologies, which collectively pose systemic challenges to the content, methods, and objectives of traditional music education. For the first time, it integrates the technological ecosystem encompassing generative AI, streaming algorithms, and digital audio workstations (DAWs), employing a comprehensive literature review and trend analysis to assess their multifaceted impact on music education across disciplinary boundaries. The research identifies three critical dimensions—curricular updating, pedagogical tool innovation, and value orientation shift—and proposes an adaptive educational framework centered on future-oriented musical literacy. This framework offers innovative guidance for both theoretical advancement and practical implementation in music education.
0 citationsRead paper
Recent publications
Latest Papers
Benchmarking Intra-Patient 3D Deformable Multimodal Image Registration
研究评估了多种3D多模态可变形配准方法，针对不同解剖区域的数据集，采用了几何与基于图像的度量标准，揭示了当前方法在全局结构一致性上的局限性。
0 citationsRead paper
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
为解决定时系统中执行时间导致的保密性问题，提出Execution-Time Opacity Logic(ETOL)，通过基于区域的模型检测框架有效验证执行时间保密性。
0 citationsRead paper
Multilevel Fair Allocation under Additive Preferences
研究了具有树状层级关系的多级公平资源分配问题，提出并比较了多种适应性嫉妒公平概念，并评估了MWRR算法在不同条件下的表现。
0 citationsRead paper
Propaganda Forensics: Recovering the Generation Pipeline of an AI-Driven Influence Campaign
This study addresses the challenge of tracing generative pipelines in AI-driven influence operations by constructing Propagia, the first French propaganda corpus. By integrating topic modeling, sentiment analysis, prompt leakage detection, and rewriting-based attribution techniques, this work reverse-engineers the content generation process. The research reveals distinct stylistic characteristics of AI-generated propaganda, identifies evidence of prompt leakage across 50 websites, and successfully attributes generated content to Llama-3 and Mistral models. Collectively, these findings establish a systematic methodological framework for the forensic analysis and provenance identification of AI-generated content, offering critical insights into detecting and mitigating automated disinformation campaigns.
0 citationsRead paper
Challenges for Musical Education in the Age of AI and Digital Transformation
This study addresses the profound transformation of music’s essence, creative practices, and audience behaviors driven by artificial intelligence and digital technologies, which collectively pose systemic challenges to the content, methods, and objectives of traditional music education. For the first time, it integrates the technological ecosystem encompassing generative AI, streaming algorithms, and digital audio workstations (DAWs), employing a comprehensive literature review and trend analysis to assess their multifaceted impact on music education across disciplinary boundaries. The research identifies three critical dimensions—curricular updating, pedagogical tool innovation, and value orientation shift—and proposes an adaptive educational framework centered on future-oriented musical literacy. This framework offers innovative guidance for both theoretical advancement and practical implementation in music education.
0 citationsRead paper