AI Agent - arXivDaily 专题

2005.03555 2020-07-03 cs.LO cs.DC 50%

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer

专题命中软件智能体：agent(abstract)

2006.01270 2020-06-03 physics.comp-ph cond-mat.mtrl-sci 50%

SIESTA: recent developments and applications

Alberto García, Nick Papior, Arsalan Akhtar, Emilio Artacho, Volker Blum, Emanuele Bosoni, Pedro Brandimarte, Mads Brandbyge, J. I. Cerdá, Fabiano Corsetti, Ramón Cuadrado, Vladimir Dikan, Jaime Ferrer, Julian Gale, Pablo García-Fernández, V. M. García-Suárez, Sandra García, Georg Huhs, Sergio Illera, Richard Korytár, Peter Koval, Irina Lebedeva, Lin Lin, Pablo López-Tarifa, Sara G. Mayo, Stephan Mohr, Pablo Ordejón, Andrei Postnikov, Yann Pouillon, Miguel Pruneda, Roberto Robles, Daniel Sánchez-Portal, Jose M. Soler, Rafi Ullah, Victor Wen-zhe Yu, Javier Junquera

专题命中软件智能体：workflow(abstract)

Comments 29 pages, 23 figures

Journal ref J. Chem. Phys. 152, 204108 (2020)

1912.12919 2020-05-27 quant-ph cond-mat.dis-nn 50%

Deep Q-learning decoder for depolarizing noise on the toric code

David Fitzek, Mattias Eliasson, Anton Frisk Kockum, Mats Granath

专题命中软件智能体：agent(abstract)

Comments 8+10 pages, 10+8 figures

Journal ref Physical Review Research 2, 023230 (2020)

1809.05479 2020-05-26 quant-ph cs.IT math.IT 50%

Leftover hashing from quantum error correction: Unifying the two approaches to the security proof of quantum key distribution

Toyohiro Tsurumaru

专题命中软件智能体：tool use(abstract)

Comments 20 pages, no figure. v2: Typos and minor technical errors corrected; presentation improved. v3: Comparison with the previous literature added, references added, and typos and minor technical errors corrected

Journal ref IEEE Transactions on Information Theory, Volume 66, Issue 6, 3465 - 3484 (2020)

2001.11116 2020-05-06 math.OC 50%

Counterfactual Programming for Optimal Control

Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro

专题命中软件智能体：agent(abstract)

1906.06726 2020-04-24 cs.GR 50%

scenery: Flexible Virtual Reality Visualization on the Java VM

Ulrik Günther, Tobias Pietzsch, Aryaman Gupta, Kyle I. S. Harrington, Pavel Tomancak, Stefan Gumhold, Ivo F. Sbalzarini

专题命中软件智能体：agent(abstract)

Comments Added IEEE DOI, version published at VIS 2019

Journal ref 2019 IEEE Visualization Conference (VIS), Vancouver, BC, Canada, 2019, pp. 1-5

1908.02760 2020-04-22 hep-ph cond-mat.other hep-th 50%

DoFun 3.0: Functional equations in Mathematica

Markus Q. Huber, Anton K. Cyrol, Jan M. Pawlowski

专题命中软件智能体：workflow(abstract)

Comments 15 pages, 3 figures; code at https://github.com/markusqh/DoFun; v2: added quick start guide, clarified compatibility with Mathematica versions, agrees with published version

2003.12058 2020-03-27 cs.CV 50%

Grounded Situation Recognition

Sarah Pratt, Mark Yatskar, Luca Weihs, Ali Farhadi, Aniruddha Kembhavi

专题命中软件智能体：agent(abstract)

2003.09286 2020-03-23 physics.pop-ph astro-ph.IM 50%

Water and air consumption aboard interstellar arks

F. Marin, C. Beluffi

专题命中软件智能体：agent(abstract)

Comments 15 pages, 3 figures, accepted for publication in JBIS (Journal of the British Interplanetary Society)

1807.01333 2020-03-12 cs.GT math.OC 50%

Utility Design for Distributed Resource Allocation -- Part I: Characterizing and Optimizing the Exact Price of Anarchy

Dario Paccagnan, Rahul Chandan, Jason R. Marden

专题命中软件智能体：agent(abstract)

Comments 15 pages, 5 figures

1910.04842 2020-03-10 cond-mat.mes-hall physics.app-ph 50%

Robustness and scalability of p-bits implemented with low energy barrier nanomagnets

Justine L. Drobitch, Supriyo Bandyopadhyay

专题命中软件智能体：agent(abstract)

Comments Accepted for publication in IEEE Magnetics Letters

Journal ref IEEE Magnetics Letters, 10, 4510404 (2019)

2002.07472 2020-02-25 stat.CO cs.PL 50%

A method for deriving information from running R code

Mark P. J. van der Loo

专题命中软件智能体：workflow(abstract)

Comments 11 pages, 1 figure. Accepted for publication by the R Journal (2020-02-20)

2002.04295 2020-02-17 cond-mat.soft 50%

Set Voronoi Tessellation for Particulate Systems in Two Dimensions

Simeon Völkel, Kai Huang

专题命中软件智能体：planning(abstract)

Comments fixed umlauts in names in the text; 8 pages, 5 figures; For the associated python source code, see https://doi.org/10.5281/zenodo.3531546

2001.06505 2020-01-22 physics.soc-ph stat.CO 50%

Urban Street Network Analysis in a Computational Notebook

Geoff Boeing

专题命中软件智能体：planning(abstract)

Journal ref Region 6 (3), 39-51 (2020)

1907.02243 2020-01-08 cond-mat.supr-con 50%

NbSeTe -A New Layered Transition Metal Dichalcogenide Superconductor

Dong Yan, Shu Wang, Yishi Lin, Guohua Wang, Yijie Zeng, Mebrouka Boubeche, Yuan He, Jie Ma, Yihua Wang, Dao-Xin Yao, Huixia Luo

专题命中软件智能体：agent(abstract)

Comments 21 pages, 6 figures, 2 tables

1912.10880 2019-12-24 quant-ph physics.hist-ph 50%

Are Non-Boolean Event Structures the Precedence or Consequence of Quantum Probability?

Christopher A. Fuchs, Blake C. Stacey

专题命中软件智能体：agent(abstract)

Comments 32 pages; Appendix B contains extracts that were formerly buried deep within arXiv:1405.2390

1903.01973 2019-12-23 cs.RO 50%

Learning Latent Plans from Play

Corey Lynch, Mohi Khansari, Ted Xiao, Vikash Kumar, Jonathan Tompson, Sergey Levine, Pierre Sermanet

专题命中软件智能体：agent(abstract)

Comments Published at CoRL 2019 (3rd Conference on Robot Learning, Osaka, Japan)

1912.05844 2019-12-13 econ.TH 50%

A Bilateral River Bargaining Problem with Negative Externality

Shivshanker Singh Patel, Parthasarathy Ramachandran

专题命中软件智能体：agent(abstract)

1909.08920 2019-11-27 cs.GT 50%

Parameterized Complexity of Manipulating Sequential Allocation

Michele Flammini, Hugo Gilbert

专题命中软件智能体：agent(abstract)

Comments Changes w.r.t. previous version: new W[1]-result on the parameter number of agents

1904.04225 2019-11-27 math.OC q-fin.PR 50%

A Forward Electricity Contract Price Projection: A Market Equilibrium Approach

Mateus A. Cavaliere, Sergio Granville, Gerson C. Oliveira, Mario V. F. Pereira

专题命中软件智能体：agent(abstract)

1910.06964 2019-10-17 stat.OT stat.ME 50%

\texttt{code::proof}: Prepare for \emph{most} weather conditions

Charles T. Gray

专题命中软件智能体：workflow(abstract)

Comments This manuscript was presented by invitation at The Research School on Statistics and Data Science 2019 (RSSDS2019) [https://sites.google.com/view/rssds2019/home] and will be published with the workshop proceedings in Springer Communications in Computer and Information Science

1906.01098 2019-10-16 astro-ph.SR 50%

Three-dimensional modeling of chromospheric spectral lines in a simulated active region

Johan P. Bjørgen, Jorrit Leenaarts, Matthias Rempel, Mark C. M. Cheung, Sanja Danilovic, Jaime de la Cruz Rodríguez, Andrii V. Sukhorukov

专题命中软件智能体：agent(abstract)

Comments 17 pages, 15 figures, accepted for publication by A&A

Journal ref A&A 631, A33 (2019)

1910.01557 2019-10-11 cs.RO 50%

CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination

Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir Dullerud

专题命中软件智能体：planning(abstract)

1906.01842 2019-10-11 physics.soc-ph 50%

Compartmental voter model

Aleksejus Kononovicius

专题命中软件智能体：agent(abstract)

Comments 13 pages, 8 figures

Journal ref Journal of Statistical Mechanics 2019: 103402 (2019)

1909.12723 2019-09-30 cs.GT 50%

Information Design in Spatial Resource Competition

Pu Yang, Krishnamurthy Iyer, Peter Frazier

专题命中软件智能体：agent(abstract)

Comments 25 pages, 2 figures

1811.12338 2019-09-04 quant-ph cond-mat.dis-nn 50%

Quantum error correction for the toric code using deep reinforcement learning

Philip Andreasson, Joel Johansson, Simon Liljestrand, Mats Granath

专题命中软件智能体：agent(abstract)

Comments V3. As published

Journal ref Quantum 3, 183 (2019)

1908.10107 2019-08-28 cs.RO 50%

Fast Simulation of Crowd Collision Avoidance

John Charlton, Luis Rene Montana Gonzalez, Steve Maddock, Paul Richmond

专题命中软件智能体：agent(abstract)

Comments 12 pages, 6 figures, 36th Computer Graphics International Conference (CGI 2019)

Journal ref CGI 2019: Advances in Computer Graphics, 36, pp 266-277

1601.00008 2019-08-14 astro-ph.EP astro-ph.IM 50%

Exoplanet Exploration Program Analysis Group (ExoPAG) Report to Paul Hertz Regarding Large Mission Concepts to Study for the 2020 Decadal Survey

B. Scott Gaudi, Eric Agol, Daniel Apai, Eduardo Bendek, Alan Boss, James B. Breckinridge, David R. Ciardi, Nicolas B. Cowan, William C. Danchi, Shawn Domagal-Goldman, Jonathan J. Fortney, Thomas P. Greene, Lisa Kaltenegger, James F. Kasting, David T. Leisawitz, Alain Leger, Charles F. Lille, Douglas P. Lisman, Amy S. Lo, Fabian Malbet, Avi M. Mandell, Victoria S. Meadows, Bertrand Mennesson, Bijan Nemati, Peter P. Plavchan, Stephen A. Rinehart, Aki Roberge, Eugene Serabyn, Stuart B. Shaklan, Michael Shao, Karl R. Stapelfeldt, Christopher C. Stark, Mark Swain, Stuart F. Taylor, Margaret C. Turnbull, Neal J. Turner, Slava G. Turyshev, Stephen C. Unwin, Lucianne M. Walkowicz

专题命中软件智能体：planning(abstract)

Comments 22 pages, 2 tables, no figures

1605.09295 2019-08-13 astro-ph.IM cs.DC 50%

The Latin American Giant Observatory: a successful collaboration in Latin America based on Cosmic Rays and computer science domains

H. Asorey, R. Mayo-García, L. A. Núñez, M. Rodríguez-Pascual, A. J. Rubio Montero, M. Suarez-Durán, L. A. Torres-Niño

专题命中软件智能体：workflow(abstract)

Comments to be published in Proccedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing

1907.10699 2019-08-13 cs.HC cs.GR cs.PL 50%

Sketch-n-Sketch: Output-Directed Programming for SVG

Brian Hempel, Justin Lubin, Ravi Chugh

专题命中软件智能体：workflow(abstract)

Comments UIST 2019 Paper + Appendix

1. 软件智能体 3232 篇

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

SIESTA: recent developments and applications

Deep Q-learning decoder for depolarizing noise on the toric code

Leftover hashing from quantum error correction: Unifying the two approaches to the security proof of quantum key distribution

Counterfactual Programming for Optimal Control

scenery: Flexible Virtual Reality Visualization on the Java VM

DoFun 3.0: Functional equations in Mathematica

Grounded Situation Recognition

Water and air consumption aboard interstellar arks

Utility Design for Distributed Resource Allocation -- Part I: Characterizing and Optimizing the Exact Price of Anarchy

Robustness and scalability of p-bits implemented with low energy barrier nanomagnets

A method for deriving information from running R code

Set Voronoi Tessellation for Particulate Systems in Two Dimensions

Urban Street Network Analysis in a Computational Notebook

NbSeTe -A New Layered Transition Metal Dichalcogenide Superconductor

Are Non-Boolean Event Structures the Precedence or Consequence of Quantum Probability?

Learning Latent Plans from Play

A Bilateral River Bargaining Problem with Negative Externality

Parameterized Complexity of Manipulating Sequential Allocation

A Forward Electricity Contract Price Projection: A Market Equilibrium Approach

\texttt{code::proof}: Prepare for \emph{most} weather conditions

Three-dimensional modeling of chromospheric spectral lines in a simulated active region

CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination

Compartmental voter model

Information Design in Spatial Resource Competition

Quantum error correction for the toric code using deep reinforcement learning

Fast Simulation of Crowd Collision Avoidance

Exoplanet Exploration Program Analysis Group (ExoPAG) Report to Paul Hertz Regarding Large Mission Concepts to Study for the 2020 Decadal Survey

The Latin American Giant Observatory: a successful collaboration in Latin America based on Cosmic Rays and computer science domains

Sketch-n-Sketch: Output-Directed Programming for SVG