AI Agent - arXivDaily 专题

1501.03685 2017-08-15 cs.IT math.IT math.OC 50%

Coordination in distributed networks via coded actions with application to power control

Benjamin Larrousse, Samson Lasaulce, Matthieu Bloch

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

Comments Submitted to ieee transactions on information theory. Some results partly published in references [1-3]

1705.09444 2017-05-29 cs.GT 50%

Equilibria in Sequential Allocation

Haris Aziz, Paul Goldberg, Toby Walsh

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

1705.09042 2017-05-26 cs.PL 50%

Data-Driven Program Completion

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

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

1705.08708 2017-05-25 cs.NI cs.PL 50%

SNMP for Common Lisp

Chun Tian

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

Comments 10 pages; reprinted from ILC '09, Proceedings of the International Lisp Conference, March 22-25, 2009, Cambridge, Massachusetts, USA

Journal ref ILC '09, Proceedings of the International Lisp Conference, March 22-25, 2009, Cambridge, Massachusetts, USA

1704.05251 2017-05-24 astro-ph.EP 50%

Ejection of iron-bearing giant-impact fragments and the dynamical and geochemical influence of the fragment re-accretion

Hidenori Genda, Tsuyoshi Iizuka, Takanori Sasaki, Yuichiro Ueno, Masahiro Ikoma

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

Comments Accepted for publication in Earth and Planetary Science Letters, 33 pages, 7 figures, 1 table

1705.03560 2017-05-11 stat.OT 50%

A Dutch Book against Sleeping Beauties Who Are Evidential Decision Theorists

Vincent Conitzer

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

Comments This paper appears in {\em Synthese}, Volume 192, Issue 9, pp. 2887-2899, October 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/s11229-015-0691-7

Journal ref Synthese, Volume 192, Issue 9, pp. 2887-2899, October 2015

1604.05243 2017-04-13 cs.GT cs.MA 50%

Better Strategyproof Mechanisms without Payments or Prior --- An Analytic Approach

Yun Kuen Cheung

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

Comments 14 pages. This is the full version of and IJCAI 2016 conference paper of the same title

cs/0506061 2017-01-11 cs.PL cs.LO 50%

Security Policies as Membranes in Systems for Global Computing

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

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

Comments 23 pages; to appear in Logical Methods in Computer Science

Journal ref Logical Methods in Computer Science, Volume 1, Issue 3 (December 20, 2005) lmcs:2262

1611.07238 2016-11-23 cs.DC cs.NI 50%

Time and Space Optimal Counting in Population Protocols

James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier

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

Journal ref 20th International Conference on Principles of Distributed Systems, OPODIS 2015, Dec 2016, Madrid, Spain. 2016, 20th International Conference on Principles of Distributed Systems, OPODIS 2015

1611.02775 2016-11-10 cs.CY 50%

Supporting Education in Math Sciences with a Low-budget LMS SAKAI

Mimoza Petrova, Vanco Cabukovski, Roman Golubovski

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

Comments 14 pages, 4 figures

Journal ref Mathematical Bulletin ISSN 0351-336X (print)ISSN 1857-9914 (online) Vol. 40, No. 2, 2016, p. 95 2016 (95-108)

1004.5130 2016-10-05 cs.LO cs.DC 50%

Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast

Omar I. Al-Bataineh, Ron van der Meyden

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

1609.09428 2016-09-30 astro-ph.IM 50%

The Crisis in Astrophysics and Planetary Science: How Commercial Space and Program Design Principles will let us Escape

Martin Elvis

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

Comments 12 pages, 1 table, 0 figures

1609.04455 2016-09-16 hep-ex physics.ins-det 50%

Public repository with Monte Carlo simulations for high-energy particle collision experiments

S. V. Chekanov

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

Comments 5 pages. Contribution to the proceedings of the 38th International Conference of High Energy Physics (ICHEP), Chicago, Aug. 3-10, 2016

1209.1993 2016-08-13 physics.plasm-ph 50%

On neoclassical impurity transport in stellarator geometry

J. M. García-Regaña, R. Kleiber, C. D. Beidler, Y. Turkin, H. Maaßberg, P. Helander

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

Comments 11 pages, 15 figures, presented at Joint Varenna-Lausanne International Workshop on Theory of Fusion Plasmas, 2012. Accepted for publication to Plasma Phys. and Control. Fusion

1608.00867 2016-08-03 cs.LO 50%

Deriving Conclusions From Non-Monotonic Cause-Effect Relations

Jorge Fandinno

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

Comments Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX

1512.08724 2016-06-22 physics.soc-ph cs.SI 50%

Setting the Agenda: Different strategies of a Mass Media in a model of cultural dissemination

Sebastián Pinto, Pablo Balenzuela, Claudio O. Dorso

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

Comments 23 pages, 7 figures

1606.03735 2016-06-14 astro-ph.IM 50%

The 4 Pi Sky Transient Alerts Hub

Tim D. Staley, Rob Fender

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

Comments 9 pages, 2 figures, 1 code-listing

1605.00158 2016-05-03 math.OC 50%

Necessary Optimality Conditions for Optimal Control Problems with Equilibrium Constraints

Lei Guo, Jane Ye

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

1602.07404 2016-04-20 quant-ph physics.hist-ph 50%

Bell's theorem and the measurement problem: reducing two mysteries to one?

Eric G. Cavalcanti

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

Comments 8 pages, 2 figures. Submitted for the proceedings of Emergent Quantum Mechanics 2015

1502.01125 2016-04-20 q-fin.CP q-fin.TR 50%

Equilibrium Pricing in an Order Book Environment: Case Study for a Spin Model

Frederik Meudt, Thilo A. Schmitt, Rudi Schäfer, Thomas Guhr

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

Comments 15 pages, 3 figures

1507.02988 2016-04-19 cs.PL 50%

Programmatic and Direct Manipulation, Together at Last

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

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

Comments PLDI 2016 Paper + Supplementary Appendices

1603.00656 2016-03-03 cs.RO 50%

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions

Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder

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

1601.07765 2016-01-29 cs.GR 50%

SculptStat: Statistical Analysis of Digital Sculpting Workflows

Christian Santoni, Claudio Calabrese, Francesco Di Renzo, Fabio Pellacini

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

Comments 9 pages, 8 figures

1510.04567 2016-01-11 astro-ph.EP 50%

The James Webb Space Telescopes plan for operations and instrument capabilities for observations in the Solar System

Stefanie N. Milam, John A. Stansberry, George Sonneborn, Cristina Thomas

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

Comments This paper is one of a series for a special issue in PASP. Accepted 10/14/15

1512.08822 2015-12-31 cs.DC math.OC 50%

Privacy Preservation in Distributed Subgradient Optimization Algorithms

Youcheng Lou, Lean Yu, Shouyang Wang

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

1511.06090 2015-11-20 cs.CR 50%

Master of Puppets: Analyzing And Attacking A Botnet For Fun And Profit

Genki Saito, Gianluca Stringhini

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

1509.02981 2015-11-02 cs.SI cs.GT 50%

Social Learning with Coordination Motives

Yangbo Song

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

1510.00322 2015-10-02 cs.DL 50%

Sustainability: Scholarly Repository as an Enterprise

Oya Y. Rieger

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

Journal ref ASIS&T Bulletin, October/November 2012, Volume 39, Number 1

1404.1341 2015-08-25 cs.GT 50%

Multi-dimensional Virtual Values and Second-degree Price Discrimination

Nima Haghpanah, Jason Hartline

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

1507.02746 2015-07-21 cs.GT 50%

Low-Risk Mechanisms for the Kidney Exchange Game

Hossein Esfandiari, Guy Kortsarz

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

1. 软件智能体 3281 篇

Coordination in distributed networks via coded actions with application to power control

Equilibria in Sequential Allocation

Data-Driven Program Completion

SNMP for Common Lisp

Ejection of iron-bearing giant-impact fragments and the dynamical and geochemical influence of the fragment re-accretion

A Dutch Book against Sleeping Beauties Who Are Evidential Decision Theorists

Better Strategyproof Mechanisms without Payments or Prior --- An Analytic Approach

Security Policies as Membranes in Systems for Global Computing

Time and Space Optimal Counting in Population Protocols

Supporting Education in Math Sciences with a Low-budget LMS SAKAI

Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast

The Crisis in Astrophysics and Planetary Science: How Commercial Space and Program Design Principles will let us Escape

Public repository with Monte Carlo simulations for high-energy particle collision experiments

On neoclassical impurity transport in stellarator geometry

Deriving Conclusions From Non-Monotonic Cause-Effect Relations

Setting the Agenda: Different strategies of a Mass Media in a model of cultural dissemination

The 4 Pi Sky Transient Alerts Hub

Necessary Optimality Conditions for Optimal Control Problems with Equilibrium Constraints

Bell's theorem and the measurement problem: reducing two mysteries to one?

Equilibrium Pricing in an Order Book Environment: Case Study for a Spin Model

Programmatic and Direct Manipulation, Together at Last

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions

SculptStat: Statistical Analysis of Digital Sculpting Workflows

The James Webb Space Telescopes plan for operations and instrument capabilities for observations in the Solar System

Privacy Preservation in Distributed Subgradient Optimization Algorithms

Master of Puppets: Analyzing And Attacking A Botnet For Fun And Profit

Social Learning with Coordination Motives

Sustainability: Scholarly Repository as an Enterprise

Multi-dimensional Virtual Values and Second-degree Price Discrimination

Low-Risk Mechanisms for the Kidney Exchange Game