#graph
Cuda.jl v3.3: union types, debug info, graph APIs(juliagpu.org)
2021-6-14 6:26Tim Besard在过去几个月里有几个Cuda.jl版本，许多错误修正和许多令人兴奋的新功能，以改善朱莉娅的GPU编程：CUArray现在支持的Isbits Onions，Cuda.jl可以发出与nvidia一起使用的调试信息工具和编译器的更改使其更容易使用最新版本的CUDA Toolkit。
工会是表示一种或......
TLA+ Graph Explorer(github.com)
2021-4-8 4:20
该应用程序通过解析由TLA +规范生成的点文件，然后具有可视化表示更容易理解并通过可访问状态。
编写该应用程序以支持大点文件，不会将整个文件加载到内存中。这是通过在块中读取文件并仅存储文件中的节点的位置来实现。在我的实验中保存节点位置的结构需要左右的点文件大小的1/10。
表示状态的默认方法显示......
A Simplified E-graph Implementation(www.philipzucker.com)
2021-4-4 7:29我一直在花一些时间仔细考虑电子图表。我觉得我有点折叠，直到它相当简单。这一实现可能不是高性能，因为主要诀窍是去除真正有用的索引结构。尽管如此，这种实施足够小，我可以把它留在我的脑海里。它变得非常可爱。
在计算机中，术语（a + b）* c通常被存储为树。 EGraph将此树结构转换为具有额外间接层的一个树结构。而......
Graph Products(rjlipton.wordpress.com)
2021-2-26 5:6
利奥波德·克罗内克（Leopold Kronecker）是19世纪最伟大的数学家之一。他对基本问题进行了深思。我们之前曾重点介绍过他-并不深入。
今天，我以为我们会谈谈Kronecker的工作中产生的一些核心数学思想。
克罗内克（Kronecker）作为现代数学基础的早期领导者的角度在于，哪些方面有助于具体分析。......
Katana Graph, which helps businesses analyze and manage unstructured data at scale, raises $28.5M Series A led by Intel Capital(venturebeat.com)
2021-2-25 2:17
Katana Graph是一个帮助企业分析和管理规模非结构化数据的启动，今天宣布了英特尔资本领导的2850万美元。
Katana图表是由德克萨斯大学奥斯汀计算机科学教授Keshav Pingali和助理教授Chris Rossbach教授。 CEO Pingali在手机面试中告诉业务将企业摄取大量数据进入记忆力。 ......
Graph theory, graph convolutional networks, knowledge graphs(albertazout.substack.com)
2021-2-9 20:14
欢迎来到Gradient Ascent的第十版。我是前企业家兼现任投资者Albert Azout。我经常会遇到有趣的科学研究，解决重要难题的初创公司以及令我赞叹的技术。我对机器学习，高级计算，分布式系统和dev / data / ml-ops充满好奇和热情。在本新闻简报中，我旨在分享我所看到的内容，含义以及重要性。希......
Why I'm Lukewarm on Graph Neural Networks(www.singlelunch.com)
2021-1-5 0:10请通过[email protected]与服务器管理员联系，以告知他们该错误发生的时间以及您在该错误发生之前执行的操作。 此外，尝试使用ErrorDocument处理请求时遇到500内部服务器错误错误。
2020-12-30 4:53
公式： 应用程序：学分：
2020-10-29 14:32
The Graph是一个服务于主要Defi客户的区块链数据项目，在一次迅速售罄的象征性销售中筹集了1200万美元。
The Graph是一家区块链数据公司，为Defi一些最受欢迎的应用程序提供服务，该公司在一次象征性的销售中筹集了1200万美元，仅在24小时多一点的时间内就销售一空。
Graph基金会今天宣布，以12......
A New Algorithm for Graph Crossings(www.quantamagazine.org)
2020-9-17 8:3
去年10月，雅各布·霍姆(Jacob Holm)和伊娃·罗滕伯格(Eva Rotenberg)在翻阅几个月前发布的一篇论文时，意识到自己坐在了一个大东西上。
几十年来，计算机科学家一直在努力开发一种快速算法，用于确定何时可以向图形添加边，使其保持“平面”，即它的边不会相互交叉。但该领域一直无法改进20多年前发布的算法......
Efficient Graph Search: Stop when done(dl.acm.org)
2020-9-14 22:30我们使用饼干，以确保我们给你最好的经验，在我们的网站。
您的浏览器似乎不支持它们，这会影响网站功能。
Transformers Are Graph Neural Networks(thegradient.pub)
2020-9-13 3:7
我的工程师朋友经常问我：深入学习图形听起来很棒，但是有真正的应用吗？
虽然Pinterest、阿里巴巴和Twitter的推荐系统都使用了图形神经网络，但一个更微妙的成功故事是Transformer架构，它在NLP世界掀起了一场风暴。通过这篇文章，我想在图形神经网络(GNNs)和变形金刚之间建立一种联系。我将讨论NLP......
2020-7-18 23:44
下载PDF摘要：基于图的神经网络模型在许多领域都产生了很强的效果，部分原因是图提供了灵活性，可以在图中的节点之间以关系结构(边)的形式编码领域知识。在实践中，边既用来表示程序的内在结构(例如，程序的抽象语法树)，也用来表示更抽象的关系，这些关系有助于下游任务的推理(例如，相关程序分析的结果)。在这项工作中，我们研究了......
Better Geometry Through Graph Theory (2018)(ideolalia.com)
2020-6-29 15:0几个月前，我决定在曲线区域上实现集合运算。我有一本关于计算几何的规范教科书，它描述了由直线组成的多边形的方法，似乎其他项目已经将这些技术扩展到参数曲线。我想可能需要几个星期。
不幸的是，计算几何领域体现了一个根本性的矛盾。在几何学中，三角形的角度加起来正好等于π弧度，如果u与v成顺时针方向，那么v必然与u成逆时针方向......
Better geometry through graph theory (2018)(ideolalia.com)
2020-6-19 15:11几个月前，我决定在曲线区域上实现集合运算。我有一本关于计算几何的规范教科书，它描述了由直线组成的多边形的方法，似乎其他项目已经将这些技术扩展到参数曲线。我想可能需要几个星期。
不幸的是，计算几何领域体现了一个根本性的矛盾。在几何学中，三角形的角度加起来正好等于π弧度，如果u与v成顺时针方向，那么v必然与u成逆时针方向......
2020-6-9 16:37
RecallGraph是一个版本化图形数据存储-它保留其数据(顶点和边)为达到其当前状态而进行的所有更改。它支持时间点图形遍历，使用户可以像查询当前状态一样方便地查询图形的任何过去状态。
它是ArangoDB的Foxx微服务，在其接口的许多部分都具有类似VCS的语义，并由事务事件跟踪器提供支持。它目前正在Arango......
2020-5-24 4:10
GraphBLAS论坛是用线性代数语言定义图形算法的标准构建块的开放努力。
我们相信，根据线性代数运算构建大量图形算法的最新技术已经足够成熟，足以支持出现一组标准的原语构建块。我们认为，迅速行动并定义这样的标准至关重要，从而解放研究人员在更高级别的算法和图形分析应用程序层面上进行创新和多样化。这项工作的灵感来自密集线......
Scalable graph database with Scylla and JanusGraph(www.scylladb.com)
2020-5-16 2:15
提交此表格即表示您确认已阅读并同意我们的隐私政策。
ZeoTap是一个客户智能平台，使品牌能够更好地了解客户并更好地预测他们的行为。它们跨多个社交媒体、广告技术、Martech和CRM平台集成和关联数据。该公司总部设在德国，强调消费者隐私和数据安全，拥有多种认证(如GDPR)，以确保跨市场的端到端合规性。
在我们的S......