中欧体育的研究

软件分析，无线网络，问责制和隐私，建模和仿真

用于健壮系统和软件的数据、模型和工具

电子邮件的网站

软件和网络系统的建模和分析：正在进行的研究是大型软件和网络系统工程的多管齐下的方法。分析开发人员如何与ide交互使中欧体育APP能够研究如何预测开发活动以及如何改进这些生产力工具。观察软件项目中的软件变化不仅为中欧体育APP提供了发现软件架构和常见错误的机会，而且还提供了建议编码解决方案的机会。检查系统和网络日志是理解大型和复杂的软件和网络系统的重要手段，这反过来又会导致改进这些系统的解决方案，例如消除性能错误。最后，但并非最不重要的是，安全性是软件和系统设计和实现中的一个横切关注点。为此，重点在于问责制和隐私——虽然访问控制等预防措施对于保护系统、软件和数据至关重要，但它们确实中欧体育官方网站可以防止在普遍的数据收集和信息流面前滥用这些措施。欢迎学生与学院中欧体育，有机会参与研究，为深化学习和应用编程、数据结构和算法、系统和网络、安全和隐私、概率和静态以及机器学习方面的技能和知识提供丰富的经验。

算法，复杂性，约束求解，人工智能搜索，自然语言处理

特拉华州克里斯蒂安娜医院一位病人的CT。中欧体育APP为一些部分上色以显示自动分割。中欧体育APP随后自动分割右上方的肝肿瘤。

学院简介

我的研究重点是具有重要数学内容的计算机科学领域。在过去，我曾致力于机器人、医学成像、约束编程和复杂性理论的应用。这项医学成像研究获得了美国专利。中欧体育APP的系统允许CT和MRI的半自动分割，例如，在分离软组织肿瘤。在过去的几年里，我一直在几个领域工作。在人工智能领域，中欧体育APP一直致力于两条主线。第一个线程涉及为困难（np完全）约束问题开发搜索启发式，这在许多领域，特别是在工业运筹学问题中具有重要意义。中欧体育APP已经开发了新的搜索启发式，在一类np完全问题的困难实例上优于最先进的软件。在第二条线索中，中欧体育APP一直在开发自然语言处理技术，以帮助对文本文档进行分类，这在大数据领域尤为重要。在第二个领域，中欧体育APP研究了随机图搜索，并开发了一个工具来测量这种搜索可能花费的时间，应用了蒙特卡罗方法，这是科学计算中的一项重要技术。中欧体育APP的分析也适用于复杂性理论，它表征了计算问题的固有难度。最后，中欧体育APP继续研究纯复杂性理论。

算法，布尔函数，严肃游戏

代码控制（游戏教入门编程，在开发中）

电子邮件的网站

中欧体育APP从事两个独立的研究领域。首先，中欧体育APP感兴趣的是为机器学习中与问题相关的问题设计算法；例如，在存在属性成本的情况下学习时，最小化测试时间预算的算法。在这方面的研究中，中欧体育APP为广泛的布尔函数类设计了近似算法和结构结果，并通过理论分析和实验的结合继续研究这一主题。

在一个完全独立的研究领域，中欧体育APP正在研究使用严肃的教育游戏来帮助教授计算机科学教育中的主题（例如，入门编程和网络安全）。中欧体育APP的目标是创造有趣和引人入胜的游戏，并帮助学生学习。

口语处理，自然语言处理，说话者状态和特征，深度学习，对话

图2≤k≤40 (a)的k-means聚类剪影分数和基于18D空间2433次SBC会话的前三个主成分(b)的3D投影剪影分数。

电子邮件的网站

中欧体育APP的实验室正在从事各种与语音和语言的自动说话者状态和特征识别相关的研究项目，如欺骗检测、人格识别、讽刺检测的韵律建模、原生检测和影响检测。中欧体育APP感兴趣的是回答关于多种模式和多种任务如何一起实现以提高识别的问题。

中欧体育APP还致力于学习多种模式下的强大和集成的娱乐模型，以改进会话分析，并创建更自然、更可信的虚拟会话代理。

逻辑，博弈论，社交软件

电子邮件

我目前正在做几个项目。

• 没有语言的逻辑（10月在罗格斯大学的演讲，拉马努贾姆博士在新德里的印度理工学院缺席演讲）。帕瑞克豪,罗希特。“没有语言的逻辑。”印度逻辑学及其应用会议。bbb10，柏林，海德堡，2019。
• 中欧体育APP为什么要说话？对交流的博弈论方面的探讨（在MOL：语言数学，伦敦，2017年）。
• 什么时候群体是个体？在塔夫茨大学，社会本体会议2018年8月的演讲。工作仍在继续。

关系数据库，智能代理，科学应用，信息技术

代理人在工作

我的研究横跨两个领域——科学和商业。一个领域涉及关系数据库的设计和开发，以支持科学应用，如神经科学研究，将从人类和动物实验中获得的外部元数据链接到关系数据库中，以加强研究。第二个领域与我过去在商业领域的经验有关，在那里我寻求使用信息技术技术，特别是智能代理，来增强业务功能。

算法，模式匹配，压缩

DNA链

电子邮件的网站

中欧体育APP开发算法（和软件）来搜索文本中的规律。中欧体育APP在DNA序列中寻找串联重复序列，其中串联重复序列被定义为连续重复的一些模式。DNA序列中的串联重复序列已被证明与许多遗传性疾病有关，但其起源和功能仍不清楚。中欧体育APP还在二维文本（如卫星图像）以及压缩文本中搜索模式和重复。中欧体育APP研究回文，这是一种重复的形式，其中第二次出现是相反的。搜索相同的匹配通常是不现实的，因此，中欧体育APP开发了在匹配中承认一定程度的模糊的算法。中欧体育APP研究了关于字符串和矩阵中的重复和回文的汉明距离和编辑距离。目标是优化算法的时间和空间复杂度。

范畴理论;理论计算机科学

已出版和即将出版的教科书

电子邮件的网站

我的研究集中在三个相互关联的领域：

• 范畴理论。这种形式主义很容易描述结构之间的关系和过程。范畴理论适用于许多不同类型的关系、过程和结构。范畴论的概括性被用来在各种看似不相干的领域之间建立中欧体育。我目前正在写一本强调不同领域之间中欧体育的范畴论教材。这本书暂定名为单一性范畴：数学、物理和计算的统一概念。
• 理论计算机科学。特别是和我一起工作的
  • 复杂性理论，衡量程序的复杂性；
  • 香农的信息理论，用来衡量结构是如何被描述的；和
  • Kolmogorov复杂性理论，它衡量结构是如何通过过程来描述的。

  我目前正在尝试用这些不同的复杂性和信息度量来理解分类结构。

• 量子力学基础。我研究量子力学与信息和信息处理（量子计算）的关系。我目前正在尝试理解量子随机性，以及它与这些不同的复杂性和信息度量之间的关系。

编程语言，约束编程，逻辑编程，组合搜索，机器学习，概率推理

Picat网站

电子邮件的网站

我的研究小组对组合搜索和优化问题的编程语言、算法和实现技术感兴趣。最近的项目包括：

• 研究将简单的声明性规划模型转换为高效模型的算法
• 研究将高级约束编译成SAT的有效编码算法和优化技术
• 为人工智能应用集成机器学习和推理算法。

许多算法和实现技术已经被纳入Picat系统，还有更多的需要探索。