会员服务
这个新版本的工具会议系列恢复了从1989年到2012年的50个会议的传统。工具最初是“面向对象语言和系统的技术”，后来发展到包括软件技术的所有创新方面。今天许多最重要的软件概念都是在这里首次引入的。2019年TOOLS 50+1在俄罗斯喀山附近举行，以同样的创新精神、对所有与软件相关的事物的热情、科学稳健性和行业适用性的结合以及欢迎该领域所有趋势和社区的开放态度，延续了该系列。 官网链接：http://tools2019.innopolis.ru/
Optimized but Unowned: How AI-Authored Goals Undermine the Motivation They Are Meant to Drive
Arxiv
0+阅读 · 5月13日
Optimized but Unowned: How AI-Authored Goals Undermine the Motivation They Are Meant to Drive
Arxiv
0+阅读 · 5月12日
Empirical stratification for treatment effect heterogeneity with post-treatment variables
Arxiv
0+阅读 · 6月9日
pyModRev: a Python Tool for Model Revision of Boolean Networks
Arxiv
0+阅读 · 5月18日
The Influence of HEXACO Personality Traits on the Teamwork Quality in Software Teams -- A Preliminary Research Approach
Arxiv
0+阅读 · 6月12日
Enhancing Performance Insight at Scale: A Heterogeneous Framework for Exascale Diagnostics
Arxiv
0+阅读 · 5月5日
Enhancing Performance Insight at Scale: A Heterogeneous Framework for Exascale Diagnostics
Arxiv
0+阅读 · 5月9日
LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
Arxiv
0+阅读 · 5月13日
LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
Arxiv
0+阅读 · 5月14日
Evoflux: Inference-Time Evolution of Executable Tool Workflows for Compact Agents
Arxiv
0+阅读 · 6月10日
moveEZ: An R Package for Animated Biplots
Arxiv
0+阅读 · 5月21日
The New Pro Se: Generative AI and the Surge in Federal Civil Self-Representation
Arxiv
0+阅读 · 5月28日
Useful for Exploration, Risky for Precision: Evaluating AI Tools in Academic Research
Arxiv
0+阅读 · 5月11日
Mag-VLA: Vision-Language-Action Model for Bimanual Magnetically Actuated Microrobot Manipulation
Arxiv
0+阅读 · 5月27日
Useful for Exploration, Risky for Precision: Evaluating AI Tools in Academic Research
Arxiv
0+阅读 · 5月12日
参考链接
微信扫码咨询专知VIP会员
Top