保存此搜索
研究论文 2024年6月 有向非循环图上的同步动力系统:复杂性和算法 离散动力系统是研究社会网络中扩散现象的有效形式化模型。 最近几篇文章研究了同步布尔网络上一些决策问题的算法和复杂性方面,这些问题是。。。 研究论文 2024年5月 分布式列表操作练习——闪电对话 《大学计算科学杂志》(JCSC)第39卷第8期 第216-217页 我们的程序模拟了异步处理元素(PE)的链(线网络的一种情况),每个元素只与邻居通信。 该链可以存储整数列表,每个PE一个整数。这为40个关于。。。 研究论文 2024年5月 多版本并发控制的视图鲁棒性和冲突鲁棒性何时一致 DBMS允许通过分配严格弱于可序列化性的隔离级别来交换一致性以提高效率。 健壮性问题是,对于给定的事务集和给定的隔离级别分配,是否。。。 研究论文 2024年5月 论帕累托最优和无嫉妒彩票的复杂性 AAMAS’24:第23届自主代理和多代理系统国际会议记录 2024年5月, 第244-252页 我们研究了一个经典的问题,即在具有不同偏好的一组代理之间公平有效地划分一组不可分割的资源。 帕累托最优是经济效率的一个标准概念,它表明经济效率应该。。。 研究论文 2024年5月 基于价值的资源匹配与公平标准:在农业水交易中的应用 阿比金·阿迪加 , 尤海·特拉贝尔西 , Tanvir Ferdousi公司 , 马达夫·马拉特 , S.S.拉维 , 萨默斯沼泽 , 阿尼尔·库马尔·瓦利坎蒂 , 曼迪·威尔逊 , 萨里特·克劳斯 , 里特维卡·巴苏 , 苏普利亚·萨瓦尔卡 , 马修·尤雷克 , 迈克尔·布雷迪 , 基尔蒂·拉贾戈帕兰 , 乔纳森·尤德
AAMAS’24:第23届自主代理和多代理系统国际会议记录 2024年5月, 第13-21页 发生干旱时农业用水的最佳分配是一个重要的全球问题。 在解决这个问题时,必须考虑许多方面,包括农民的福利、经济和环境。 在这种背景下,我们的。。。 -
研究论文 2024年4月 基于最优线性组合的量子线性系统求解器 线性方程组的求解是许多不同领域中最重要的原语之一,包括优化、仿真和机器学习。 用于求解线性系统的量子算法有潜力提供一种量子。。。 研究论文 2024年4月 LTL有理合成的复杂性 在 有理综合 ,我们自动构建一个反应系统,该系统在所有理性环境中都满足其规范,即具有目标并为实现目标而行动的环境。 我们完成了LTL有理函数复杂性的研究。。。 研究论文 2024年4月 更快的模块化组成 提出了一种新的拉斯维加斯算法,用于求解任意域上模三分之一的两个多项式的合成。 当这些多项式的次数有界于 n个 ,算法使用 O(运行) ( n个 1.43 )现场作业,突破3/2。。。 研究论文 2024年3月 线性方程组解的最小生成集构造算法 摘要 作者考虑了在自然数集上构造线性齐次方程组(SLHE)解的最小生成集算法的优化变换。 本文描述了这种方法的特点。。。 研究论文 2024年3月 对过度参数化模型中最小描述长度复杂度的修正 机器学习研究杂志(JMLR),第24卷,第1期 条款编号:268 , 第12529–12587页 复杂性是统计学习理论的一个基本概念,旨在为泛化性能提供信息。 参数计数虽然在低维设置中很成功,但在数字。。。 第条 2024年2月 研究论文 2024年1月 模型检验知识和时间的复杂性 我们为知识和时间的主要逻辑建立了模型检查问题的精确复杂性。 虽然这个问题对于具有完美回忆的代理来说是非基本的,但随着。。。 模式正则语言的预测性监视 虽然当前并发软件的错误检测技术侧重于发现低级问题,如数据争用或死锁,但它们往往无法发现更复杂的时间行为,即使在没有这种低级。。。 研究论文 2024年1月 弱记忆测试有多难? 弱内存模型是跨硬件、编程语言和分布式系统的并发性的标准形式规范。 一个基本的计算问题是 一致性测试 :是在…中观察到的并发程序执行。。。 检查无限下降的复杂景观 隐式管理归纳的循环证明系统是一种很有前途的自动验证方法。 循环证明图的稳健性是通过根据基于迹的无限下降属性对其进行检查来确保的。 尽管……的问题。。。 第条 2023年12月 场景下的总完工时间安排 摘要 在相同的并行机器上以给定的处理时间调度作业,以最小化其总完成时间,是最基本的调度问题之一。 我们研究这个经典问题的有趣推广,涉及。。。 第条 2023年12月 弱局部Kuramoto-Like耦合下Adler振子的计算能力 摘要 讨论了耦合非线性振子在实现计算系统中的计算能力。 从涌现行为的角度分析了Kuramoto型局部耦合Adler振荡器。 尽管。。。 研究论文 2023年12月 无约束无导数优化的新子空间方法 本文定义了一种有效的子空间方法,称为SSDFO,用于无约束无导数优化问题,其中目标函数的梯度是Lipschitz连续的,但只有精确的函数值可用。 SSDFO雇佣了。。。 邀请谈话 2023年12月 下一代自动人性化证明支持多项式形式验证 在过去几年中,数字电路的复杂性显著增加,导致验证难度增加。 只有基于形式验证技术,才能充分保证电路的正确性。 然而。。。 研究论文 2023年12月 KFDD电路的多项式形式化验证 随着数字电路复杂性的增加,它们的验证提出了越来越困难的挑战。 仿真技术不能完全保证电路的正确性,因此,形式验证技术(如BDD或SAT)。。。