AI Agent

Duplication Detection in Knowledge Graphs: Literature and Tools

Elwin Huaman, Elias Kärle, Dieter Fensel

专题命中 工具调用 ：workflow(abstract)

Comments Submitted to EKAW 2020 Conference

Batch Informed Trees (BIT*): Informed Asymptotically Optimal Anytime Search

Jonathan D. Gammell, Timothy D. Barfoot, Siddhartha S. Srinivasa

专题命中 工具调用 ：planning(abstract)

Comments International Journal of Robotics Research (IJRR). 32 Pages. 16 Figures

Journal ref The International Journal of Robotics Research (IJRR), 39(5): 543-567, 2020

Functional uncertainty quantification for isobaric molecular dynamics simulations and defect formation energies

Samuel Temple Reeve, Alejandro Strachan

专题命中 工具调用 ：tool use(abstract)

Journal ref Modelling Simul. Mater. Sci. Eng. 27, 044002 (2019)

STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

Yiannis Kantaros, Michael M. Zavlanos

专题命中 工具调用 ：planning(abstract)

Implementation of Survivor Detection Strategies Using Drones

Sarthak J. Shetty, Rahul Ravichandran, Lima Agnel Tony, N. Sai Abhinay, Kaushik Das, Debasish Ghose

专题命中 工具调用 ：planning(abstract)

Comments 22 pages, 42 figures, 2 tables

Learning-Based Multi-Channel Access in 5G and Beyond Networks with Fast Time-Varying Channels

Shaoyang Wang, Tiejun Lv, Xuewei Zhang, Zhipeng Lin, Pingmu Huang

专题命中 工具调用 ：agent(abstract)

Comments 16 pages, 20 figures

Journal ref IEEE Transactions on Vehicular Technology, 2020, published

Infostop: Scalable stop-location detection in multi-user mobility data

Ulf Aslak, Laura Alessandretti

专题命中 工具调用 ：planning(abstract)

An improved hyperboxing algorithm for calculating a Pareto front representation

Kerstin Dächert, Katrin Teichert

专题命中 工具调用 ：planning(abstract)

Multiplicity of solutions for the Minkowski-curvature equation via shooting method

Alberto Boscaggin, Francesca Colasuonno, Benedetta Noris

专题命中 工具调用 ：tool use(abstract)

Comments 18 pages, 4 figures

Journal ref Bruno Pini Math. Anal. Semin., Vol. 11 No. 1 (2020) 1-17

Uniqueness and exponential mixing for the measure of maximal entropy for piecewise hyperbolic maps

Mark F. Demers

专题命中 工具调用 ：tool use(abstract)

Comments Accepted version to appear in DCDS-A. References added; 1 figure added; minor corrections to proofs; main results unchanged from version 1

Monotonicity properties of exclusion sensitivity

Malin Palö Forsström

专题命中 工具调用 ：tool use(abstract)

Comments 21 pages, 3 figures

A Case for Humans-in-the-Loop: Decisions in the Presence of Erroneous Algorithmic Scores

Maria De-Arteaga, Riccardo Fogliato, Alexandra Chouldechova

专题命中 工具调用 ：tool use(abstract)

Comments Accepted at ACM Conference on Human Factors in Computing Systems (ACM CHI), 2020

Bayesian Quantile Factor Models

Kelly C. M. Gonçalves, Afonso C. B. Silva

专题命中 工具调用 ：tool use(abstract)

A New Exocentric Metaphor for Complex Path Following to Control a UAV Using Mixed Reality

Baptiste Wojtkowski, Pedro Castillo, Indira Thouvenin

专题命中 工具调用 ：planning(abstract)

Journal ref Journées Française de l'Informatique graphique et de Réalité Virtuelle, Nov 2019, Marseille, France

Quadratic points on modular curves with infinite Mordell--Weil group

Josha Box

专题命中 工具调用 ：tool use(abstract)

Comments The Magma computations supporting this paper can be found at https://github.com/joshabox/quadraticpoints

AI-driven Inverse Design System for Organic Molecules

Seiji Takeda, Toshiyuki Hama, Hsiang-Han Hsu, Toshiyuki Yamane, Koji Masuda, Victoria A. Piunova, Dmitry Zubarev, Jed Pitera, Daniel P. Sanders, Daiju Nakano

专题命中 工具调用 ：workflow(abstract)

Shades of Perception- User Factors in Identifying Password Strength

Jason M. Pittman, Nikki Robinson

专题命中 工具调用 ：tool use(abstract)

Comments 18 pages, 6 tables, 6 figures

A Bi-Level Cooperative Driving Strategy Allowing Lane Changes

Huile Xu, Yi Zhang, Christos G. Cassandras, Li Li, Shuo Feng

专题命中 工具调用 ：planning(abstract)

Absorption probabilities for Gaussian polytopes and regular spherical simplices

Zakhar Kabluchko, Dmitry Zaporozhets

专题命中 工具调用 ：tool use(abstract)

Comments 30 pages. To appear in Advances in Applied Probability

Reducing Inefficiency in Carbon Auctions with Imperfect Competition

Kira Goldner, Nicole Immorlica, Brendan Lucier

专题命中 工具调用 ：tool use(abstract)

Comments To appear in the 11th Innovations in Theoretical Computer Science (ITCS 2020)

Network Data

Bryan S. Graham

专题命中 工具调用 ：agent(abstract)

Distributed stochastic subgradient-free algorithm for Nash equilibrium seeking in two-network zero-sum games

Dandan Yue, Ziyang Meng

专题命中 工具调用 ：agent(abstract)

The Perfect Match: 3D Point Cloud Matching with Smoothed Densities

Zan Gojcic, Caifa Zhou, Jan D. Wegner, Andreas Wieser

专题命中 工具调用 ：workflow(abstract)

Comments CVPR 2019

Privacy-Preserving Payment Splitting

Saba Eskandarian, Mihai Christodorescu, Payman Mohassel

专题命中 工具调用 ：tool use(abstract)

Real-time Trajectory Generation for Quadrotors using B-spline based Non-uniform Kinodynamic Search

Lvbang Tang, Hesheng Wang, Peng Li, Yong Wang

专题命中 工具调用 ：planning(abstract)

Comments 7 pages,6 figures, conference

Resource-Competitive Sybil Defenses

Diksha Gupta, Jared Saia, Maxwell Young

专题命中 工具调用 ：tool use(abstract)

Comments 46 Pages, 9 Figures

Visualizing biomolecular electrostatics in virtual reality with UnityMol-APBS

Joseph Laureanti, Juan Brandi, Elvis Offor, David Engel, Robert Rallo, Bojana Ginovska, Xavier Martinez, Marc Baaden, Nathan A. Baker

专题命中 工具调用 ：tool use(abstract)

Journal ref Protein Science, 2019

Birational Calabi-Yau manifolds have the same small quantum products

Mark McLean

专题命中 工具调用 ：tool use(abstract)

Comments 111 pages, 23 figures. Improved exposition and added a few more figures

KETO: Learning Keypoint Representations for Tool Manipulation

Zengyi Qin, Kuan Fang, Yuke Zhu, Li Fei-Fei, Silvio Savarese

专题命中 工具调用 ：tool use(abstract)

Swarm Behaviour Evolution via Rule Sharing and Novelty Search

Phillip Smith, Robert Hunjet, Aldeida Aleti, Asad Khan

专题命中 工具调用 ：agent(abstract)