代码大模型 / AI 编程

CCNCheck: Enabling Checkpointed Distributed Applications in Content Centric Networks

Nitinder Mohan, Pushpendra Singh

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

Comments 2 pages technical talk abstract, CCNxCon-2015

Using time-delayed mutual information to discover and interpret temporal correlation structure in complex populations

D. J. Albers, George Hripcsak

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

Population physiology: leveraging population scale (EHR) data to understand human endocrine dynamics

DJ Albers, George Hripcsak, Michael Schmidt

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

A Consolidated Online Database of Galactic Planetary Nebulae

B. Miszalski, A. Acker, F. Ochsenbein, Q. A. Parker

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

Comments To appear in IAU Symposium 283: Planetary Nebulae, an Eye to the Future. 2 pages, 1 figure

Building the Galactic halo from globular clusters: evidence from chemically unusual red giants

Sarah L. Martell, Jason P. Smolinski, Timothy C. Beers, Eva K. Grebel

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

Comments 9 pages including 8 figures, A&A accepted

Evolution, nucleosynthesis and yields of low mass AGB stars at different metallicities (II): the FRUITY database

Sergio Cristallo, Luciano Piersanti, Oscar Straniero, Roberto Gallino, Inma Dominguez, Carlos Abia, Gianluca DiRico, Massimo Quintini, Sara Bisterzo

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

Comments Accepted for Publication on The Astrophysical Journal Supplements

The effect of variations in the input physics on the cosmic distribution of metals predicted by simulations

Robert P. C. Wiersma, Joop Schaye, Tom Theuns

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

Comments 20 pages, 15 figures, accepted for publication in MNRAS (one reference added to submitted version)

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

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

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

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/

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

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

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

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

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

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)

The ADS All-Sky Survey

Alberto Pepe, Alyssa Goodman, August Muench

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

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

Jesse Alama, Lionel Mamane, Josef Urban

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

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)

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)

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)

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

arXiv in the classical Russian literature

Z. K. Silagadze

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

Comments Non-working Web link was updated in the text

Exploration vs. Exploitation in the Information Filtering Problem

Xiaoting Zhao, Peter I. Frazier

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

Comments 36 pages, 5 figures

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

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

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

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

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

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)

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