研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
这种将数据结构思维提升到关系级别的做法长期以来一直激励着计算机科学家。在“数据表示合成导论”中,作者的目标是将数据结构编程提升到关系…
我们考虑了以一种声明性的方式指定具有复杂共享的数据结构组合的问题,这种方式的结果是可证明的正确代码。
算法为数值模拟奠定了基础,更重要的是,它为数值模拟的分析提供了一个强大的框架。自然算法的新领域可能会在生命科学中重现微分方程长期以来的作用。
鸟是如何群居的,鱼是如何成群的?在一个社交网络中的个体如何达成一致,即使他们通常只受其他志同道合的个体的影响?一个人怎么能把一群机器人设计得像……