代码大模型 / AI 编程 - arXivDaily 专题

1505.06430 2015-05-26 cs.LO 50%

Category Theory in Coq 8.5

Amin Timany, Bart Jacobs

专题命中仓库级理解：repository(abstract)

Comments This is the abstract for a talk accepted for a presentation at the 7th Coq Workshop, Sophia Antipolis, France on June 26, 2015

1010.1632 2015-05-20 astro-ph.EP 50%

Rotation of the Solar System planets and the origin of the Moon in the context of the tidal downsizing hypothesis

Sergei Nayakshin

专题命中仓库级理解：repository(abstract)

Comments latex typo corrected -- Fig2a and Fig3a were switched by error in the previous version

1501.06285 2015-05-20 cs.DL 50%

Analyzing data citation practices using the Data Citation Index

Nicolas Robinson-Garcia, Evaristo Jiménez-Contreras, Daniel Torres-Salinas

专题命中仓库级理解：repository(abstract)

Comments Paper accepted for publication in the Journal of the Association for Information Science and Technology. v2 revises style on text, title and abstract

1003.5658 2015-05-18 astro-ph.CO 50%

Massive and refined: a sample of large galaxy clusters simulated at high resolution. I:Thermal gas and shock waves properties

Franco Vazza, Gianfranco Brunetti, Claudio Gheller, Riccardo Brunino

专题命中仓库级理解：repository(abstract)

Comments 26 pages, 20 figures, New Astronomy accepted. Reference list updated. Higher quality versions of the paper can be found at: http://www.ira.inaf.it/~vazza/papers A public archive of galaxy clusters data is accessible at http://data.cineca.it/

0909.2396 2015-05-14 astro-ph.SR 50%

Wind-driving protostellar accretion discs. I. Formulation and parameter constraints

A. Königl, R. Salmeron, M. Wardle

专题命中仓库级理解：repository(abstract)

Comments 23 pages, 2 figures, 4 tables; accepted for publication in MNRAS

Journal ref Mon.Not.Roy.Astron.Soc.401:479-499, 2010

0901.4598 2015-05-12 q-bio.NC 50%

A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale

Jason W. Bohland, Caizhi Wu, Helen Barbas, Hemant Bokil, Mihail Bota, Hans C. Breiter, Hollis T. Cline, John C. Doyle, Peter J. Freed, Ralph J. Greenspan, Suzanne N. Haber, Michael Hawrylycz, Daniel G. Herrera, Claus C. Hilgetag, Z. Josh Huang, Allan Jones, Edward G. Jones, Harvey J. Karten, David Kleinfeld, Rolf Kotter, Henry A. Lester, John M. Lin, Brett D. Mensh, Shawn Mikula, Jaak Panksepp, Joseph L. Price, Joseph Safdieh, Clifford B. Saper, Nicholas D. Schiff, Jeremy D. Schmahmann, Bruce W. Stillman, Karel Svoboda, Larry W. Swanson, Arthur W. Toga, David C. Van Essen, James D. Watson, Partha P. Mitra

专题命中仓库级理解：repository(abstract)

Comments 41 pages

1504.02133 2015-04-10 astro-ph.IM 50%

The Virtual Astronomical Observatory: Re-engineering Access to Astronomical Data

R. J. Hanisch, G. B. Berriman, T. J. W. Lazio, S. Emery Bunn, J. Evans, T. A. McGlynn, R. Plante

专题命中仓库级理解：repository(abstract)

Comments Abstract abridged for arXiv limit; 23 pages, 15 figures; to appear in a special issue of Astronomy & Computing

1503.07473 2015-03-26 cs.DC 50%

A Survey on Backup of Data on Remote Server

Manali Raje, Debajyoti Mukhopadhyay

专题命中仓库级理解：repository(abstract)

Comments 4 pages, 3 figures in IJSR, Vol.3, Issue 12, December 2014, ISSN: 2319-7064

1503.06095 2015-03-23 cs.LO 50%

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

专题命中仓库级理解：repository(abstract)

Comments 42 pages, 5 figures

1208.4165 2015-03-20 cs.DB 50%

The MADlib Analytics Library or MAD Skills, the SQL

Joe Hellerstein, Christopher Ré, Florian Schoppmann, Daisy Zhe Wang, Eugene Fratkin, Aleksander Gorajek, Kee Siong Ng, Caleb Welton, Xixuan Feng, Kun Li, Arun Kumar

专题命中仓库级理解：repository(abstract)

Comments VLDB2012

Journal ref Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 12, pp. 1700-1711 (2012)

1111.3983 2015-03-19 astro-ph.IM cs.DL 50%

The ADS All-Sky Survey

Alberto Pepe, Alyssa Goodman, August Muench

专题命中仓库级理解：repository(abstract)

1109.3687 2015-03-19 cs.DL cs.LO math.LO 50%

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

Jesse Alama, Lionel Mamane, Josef Urban

专题命中仓库级理解：repository(abstract)

1103.6038 2015-03-18 astro-ph.IM 50%

Searching for comets on the World Wide Web: The orbit of 17P/Holmes from the behavior of photographers

Dustin Lang, David W. Hogg

专题命中仓库级理解：repository(abstract)

Comments As published. Changes in v2: data-driven initialization rather than JPL; added figures; clarified text

Journal ref The Astronomical Journal, volume 144 article 46 (2012)

1405.7183 2015-03-06 cs.SI cs.CY physics.soc-ph 50%

Interactions of cultures and top people of Wikipedia from ranking of 24 language editions

Young-Ho Eom, Pablo Aragón, David Laniado, Andreas Kaltenbrunner, Sebastiano Vigna, Dima L. Shepelyansky

专题命中仓库级理解：repository(abstract)

Comments 32 pages. 10 figures. Submitted for publication. Supporting information is available on http://www.quantware.ups-tlse.fr/QWLIB/topwikipeople/

Journal ref PLoS ONE 10(3): e0114825 (2015)

1503.01095 2015-03-04 q-bio.SC cs.MS 50%

libRoadRunner: A High Performance SBML Simulation and Analysis Library

Endre T. Somogyi, Jean-Marie Bouteiller, James A. Glazier, Matthias König, Kyle Medley, Maciej H. Swat, Herbert M. Sauro

专题命中仓库级理解：repository(abstract)

1407.7676 2015-02-17 astro-ph.IM astro-ph.CO 50%

GalSim: The modular galaxy image simulation toolkit

Barnaby Rowe, Mike Jarvis, Rachel Mandelbaum, Gary M. Bernstein, James Bosch, Melanie Simet, Joshua E. Meyers, Tomasz Kacprzak, Reiko Nakajima, Joe Zuntz, Hironao Miyatake, Joerg P. Dietrich, Robert Armstrong, Peter Melchior, Mandeep S. S. Gill

专题命中仓库级理解：repository(abstract)

Comments 38 pages, 3 tables, 8 figures, accepted for publication in Astronomy & Computing

1203.6789 2015-02-17 physics.pop-ph math.HO physics.hist-ph 50%

arXiv in the classical Russian literature

Z. K. Silagadze

专题命中仓库级理解：repository(abstract)

Comments Non-working Web link was updated in the text

1407.8186 2015-02-10 math.OC cs.IR 50%

Exploration vs. Exploitation in the Information Filtering Problem

Xiaoting Zhao, Peter I. Frazier

专题命中仓库级理解：repository(abstract)

Comments 36 pages, 5 figures

1501.07116 2015-02-04 astro-ph.IM physics.ed-ph 50%

Peer-review Platform for Astronomy Education Activities

Pedro Russo, Edward Gomez, Thilina Heenatigala, Linda Strubbe

专题命中仓库级理解：repository(abstract)

Comments 8 pages, Published, 2015, eLearning Papers #40 ISSN: 1887-1542

1407.6812 2015-02-02 cs.DB cs.IR q-bio.GN 50%

Aber-OWL: a framework for ontology-based data access in biology

Robert Hoehndorf, Luke Slater, Paul N. Schofield, Georgios V. Gkoutos

专题命中仓库级理解：repository(abstract)

1412.4015 2014-12-15 physics.gen-ph 50%

Primordial Black Holes as Heat Sources for Living Systems with Longest Possible Lifetimes

C Sivaram, Kenath Arun, Kiren O

专题命中仓库级理解：repository(abstract)

Comments 5 pages, 9 equations

Journal ref Astrophysics and Space Science June 2014, Volume 351, Issue 2, pp 407-408

1412.1597 2014-12-05 q-bio.QM stat.ME 50%

Explicit tracking of uncertainty increases the power of quantitative rule-of-thumb reasoning in cell biology

Iain G. Johnston, Benjamin C. Rickett, Nick S. Jones

专题命中仓库级理解：repository(abstract)

Comments 8 pages, 3 figures

Journal ref Biophys. J. 107 2612 (2014)

1412.0049 2014-12-02 physics.optics 50%

360-degree fringe-projection profilometry of discontinuous solids with 2 co-phased projectors and 1-camera

Manuel Servin, Guillermo Garnica, J. M. Padilla

专题命中仓库级理解：repository(abstract)

Comments 13 pages, 13 figures. Partially presented at the Latin American Optics & Photonics (LAOP) OSA Conference at Cancun Mexico, 16-21 November 2014

1411.7419 2014-12-01 cs.DB 50%

$Υ$-DB: A system for data-driven hypothesis management and analytics

Bernardo Gonçalves, Frederico C. Silva, Fabio Porto

专题命中仓库级理解：repository(abstract)

Comments 6 pages, 7 figures, submitted to ACM SIGMOD 2015, Demo track. arXiv admin note: substantial text overlap with arXiv:1411.5196

physics/0111074 2014-11-18 physics.acc-ph physics.comp-ph 50%

Online Model Server for the Jefferson Lab accelerator

Y. R. Roblin, T. L. Larrieu

专题命中仓库级理解：repository(abstract)

Comments ICALEPCS2001, 27-30 Nov 2001, San-Jose, CA

Journal ref eConf C011127:THAP012,2001

1407.8120 2014-10-14 hep-ph hep-th 50%

String Resonances at Hadron Colliders

Luis A. Anchordoqui, Ignatios Antoniadis, De-Chang Dai, Wan-Zhe Feng, Haim Goldberg, Xing Huang, Dieter Lust, Dejan Stojkovic, Tomasz R. Taylor

专题命中仓库级理解：repository(abstract)

Comments References added

Journal ref Phys. Rev. D 90, 066013 (2014)

1410.2585 2014-10-10 stat.ME q-bio.GN 50%

Large scale statistical analysis of GEO datasets

Bernard Ycart, Konstantina Charmpi, Sophie Rousseaux, Jean-Jacques Fournié

专题命中仓库级理解：repository(abstract)

1410.0600 2014-10-08 cs.DB 50%

Cell Stores

Ghislain Fourny

专题命中仓库级理解：repository(abstract)

Comments Technical report - 10 pages

1405.4174 2014-10-02 q-bio.GN 50%

Long non-coding RNAs as a source of new peptides

Jorge Ruiz-Orera, Xavier Messeguer, Juan A. Subirana, M. Mar Albà

专题命中仓库级理解：repository(abstract)

Comments 40 pages, 3 tables, 6 figures

1403.1180 2014-09-26 cs.DB cs.DC cs.DL 50%

A distributed Integrity Catalog for digital repositories

Nikos Chondros, Mema Roussopoulos

专题命中仓库级理解：repository(abstract)

1. 仓库级理解 3967 篇

Category Theory in Coq 8.5

Rotation of the Solar System planets and the origin of the Moon in the context of the tidal downsizing hypothesis

Analyzing data citation practices using the Data Citation Index

Massive and refined: a sample of large galaxy clusters simulated at high resolution. I:Thermal gas and shock waves properties

Wind-driving protostellar accretion discs. I. Formulation and parameter constraints

A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale

The Virtual Astronomical Observatory: Re-engineering Access to Astronomical Data

A Survey on Backup of Data on Remote Server

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks

The MADlib Analytics Library or MAD Skills, the SQL

The ADS All-Sky Survey

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

Searching for comets on the World Wide Web: The orbit of 17P/Holmes from the behavior of photographers

Interactions of cultures and top people of Wikipedia from ranking of 24 language editions

libRoadRunner: A High Performance SBML Simulation and Analysis Library

GalSim: The modular galaxy image simulation toolkit

arXiv in the classical Russian literature

Exploration vs. Exploitation in the Information Filtering Problem

Peer-review Platform for Astronomy Education Activities

Aber-OWL: a framework for ontology-based data access in biology

Primordial Black Holes as Heat Sources for Living Systems with Longest Possible Lifetimes

Explicit tracking of uncertainty increases the power of quantitative rule-of-thumb reasoning in cell biology

360-degree fringe-projection profilometry of discontinuous solids with 2 co-phased projectors and 1-camera

$Υ$-DB: A system for data-driven hypothesis management and analytics

Online Model Server for the Jefferson Lab accelerator

String Resonances at Hadron Colliders

Large scale statistical analysis of GEO datasets

Cell Stores

Long non-coding RNAs as a source of new peptides

A distributed Integrity Catalog for digital repositories