AI Agent

Towards Leveraging End-of-Life Tools as an Asset: Value Co-Creation based on Deep Learning in the Machining Industry

Jannis Walk, Niklas Kühl, Jonathan Schäfer

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

Comments Proceedings of the 53rd Hawaii International Conference on System Sciences | 2020

Tight Bounds for Black Hole Search in Dynamic Rings

Giuseppe Antonio Di Luna, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro

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

The Gaia-ESO Survey: Galactic evolution of lithium at high metallicity

S. Randich, L. Pasquini, E. Franciosini, L. Magrini, R. J. Jackson, R. D. Jeffries, V. d'Orazi, D. Romano, N. Sanna, G. Tautvaisienė, M. Tsantaki, N. J. Wright, G. Gilmore, T. Bensby, A. Bragaglia, E. Pancino, R. Smiljanic, A. Bayo, G. Carraro, A. Gonneau, A. Hourihane, L. Morbidelli, C. C Worley

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

Comments 5 pages, 3 figures, accepted for publication in Astronomy & Astrophysics Letters

Journal ref A&A 640, L1 (2020)

Sharp estimates for operators with positive Bergman kernel in Homogeneous Siegel domains of Cn

Nana Cyrille

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

Comments 31 pages The paper is withdrawn because we finally realize that the Okikiolu test is noting but a variant of the Schur test. It therefore does not provide better result than the Schur test as announced

Elicitation of SME Requirements for Cybersecurity Solutions by Studying Adherence to Recommendations

Alireza Shojaifar, Samuel A. Fricker, Martin Gwerder

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

Comments 7 pages, REFSQ 2018

The surprising little effectiveness of cooperative algorithms in parallel problem solving

Sandro M. Reia, Larissa F. Aquino, José F. Fontanari

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

Journal ref Eur. Phys. J. B (2020) 93: 140

Smt-Switch: a solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Cesare Tinelli, Clark Barrett

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

Comments This version adds a reference to metaSMT. 11 pages, 1 figure, to be included in SMT Workshop 2020: http://smt-workshop.cs.uiowa.edu/2020/

Computing High-Quality Clutter Removal Solutions for Multiple Robots

Wei N. Tang, Shuai D. Han, Jingjin Yu

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

Lessons from reinforcement learning for biological representations of space

Alex Muryy, N. Siddharth, Nantas Nardelli, Philip H. S. Torr, Andrew Glennerster

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

Comments 40 pages including Appendix, 6 figures plus 3 figures in Appendix. Accepted for publication in Vision Research

The categorical equivalence between disjunctive sequent calculi and algebraic L-domains

Longchun Wang, Qingguo Li

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

Comments 17pages

An Evolutional Algorithm for Automatic 2D Layer Segmentation in Laser-aided Additive Manufacturing

N. Liu, K. Ren, W. Zhang, Y. F. Zhang, Y. X. Chew, J. Y. H. Fuh, G. J. Bi

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

Dashboard of sentiment in Austrian social media during COVID-19

Max Pellert, Jana Lasser, Hannah Metzler, David Garcia

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

Comments 23 pages, 3 figures, 1 table

V-Dream: Immersive Exploration of Generative Design Solution Space

Mohammad Keshavarzi, Ardavan Bidgoli, Hans Kellner

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

Comments Accepted to HCI International 2020

Bi-Abduction for Shapes with Ordered Data

Christopher Curry, Quang Loc Le

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

Comments 24 pages, 5 figures, 6 tables. Submitted to Science of Computer Programming journal

Communities of attention networks: introducing qualitative and conversational perspectives for altmetrics

Ronaldo Ferreira Araujo

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

Comments 23 pages, 5 figures, paper accepted for publication in Scientometrics

Journal ref Scientometrics, 2020

Search and Rescue under the Forest Canopy using Multiple UAVs

Yulun Tian, Katherine Liu, Kyel Ok, Loc Tran, Danette Allen, Nicholas Roy, Jonathan P. How

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

Comments IJRR revision

A Meta-Bayesian Model of Intentional Visual Search

Maell Cullen, Jonathan Monney, M. Berk Mirza, Rosalyn Moran

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

Comments Submitted to NeurIPS 2020

Conformal Skorokhod embeddings and related extremal problems

Phanuel Mariano, Hugo Panzo

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

Comments 14 pages, 3 figures, shortened title, to appear in Electronic Communications in Probability

Network-based ranking in social systems: three challenges

Manuel S. Mariani, Linyuan Lü

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

Comments Perspective article. 9 pages, 3 figures

Journal ref J. Phys. Complex. 1 011001 (2020)

Separating vascular and neuronal effects of age on fMRI BOLD signals

Kamen A. Tsvetanov, Richard N. A. Henson, James B. Rowe

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

Comments 57 pages, 2 figures

zfit: scalable pythonic fitting

Jonas Eschle, Albert Puig Navarro, Rafael Silva Coutinho, Nicola Serra

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

Comments 12 pages, 2 figures

Journal ref SoftwareX 11 (2020) 100508

On the (Parameterized) Complexity of Almost Stable Marriage

Sushmita Gupta, Pallavi Jain, Sanjukta Roy, Saket Saurabh, Meirav Zehavi

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

A dynamic modeling tool for estimating healthcare demand from the COVID19 epidemic and evaluating population-wide interventions

Gabriel Rainisch, Eduardo A. Undurraga, Gerardo Chowell

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

Comments 20 pages, 3 figures. The model is available for download in English and Spanish versions. The English version is available at https://publichealth.gsu.edu/files/2020/04/Supplementary-Material-S1_Model-v1.0.xlsx The Spanish version is available at https://publichealth.gsu.edu/files/2020/05/SupplMatS1_Model_Espanol_v1.0.xlsx

Dual matroid polytopes and internal activity of independence complexes

Alexander Heaton, Jose Alejandro Samper

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

A Gentle Introduction to Quantum Computing Algorithms with Applications to Universal Prediction

Elliot Catt, Marcus Hutter

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

Bayesian factor models for multivariate categorical data obtained from questionnaires

Vitor G. C. da Silva, Kelly C. M. Gonçalves, João B. M. Pereira

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

Search for Smart Evaders with Swarms of Sweeping Agents

Roee M. Francos, Alfred M. Bruckstein

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

Comments arXiv admin note: text overlap with arXiv:1905.04006

Growth Diagrams and Minuscule Polygon Configurations in the Affine Grassmannian

Tair Akhmejanov

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

Comments Major revision to the structure of the paper to clarify exposition. The geometric and combinatorial statements are separated

Congestion-aware Evacuation Routing using Augmented Reality Devices

Zeyu Zhang, Hangxin Liu, Ziyuan Jiao, Yixin Zhu, Song-Chun Zhu

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

Comments Accepted to ICRA 2020

Satellite-based Prediction of Forage Conditions for Livestock in Northern Kenya

Andrew Hobbs, Stacey Svetlichnaya

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

Comments Paper presented at the ICLR 2020 Workshop on Computer Vision for Agriculture (CV4A)