-
56301
Decision making in the presence of complex dynamics from limited, batch data
Published 2014Get full text
Thesis -
56302
Non-parametric inference and coordination for distributed robotics
Published 2014“…In addition, a consensus-based algorithm allows for the distributed approximation of the joint measurement probabilities, where these approximations provably converge to the true probabilities even when the number of robots, the maximum in/out degree, and the network diameter are unknown. …”
Get full text
Get full text
Article -
56303
A decentralized control policy for adaptive information gathering in hazardous environments
Published 2014“…This paper proposes an algorithm for driving a group of resource-constrained robots with noisy sensors to localize an unknown number of targets in an environment, while avoiding hazards at unknown positions that cause the robots to fail. …”
Get full text
Get full text
Article -
56304
Sound input filter generation for integer overflow errors
Published 2014“…SIFT uses a static pro- gram analysis to generate filters that discard inputs that may trigger integer overflow errors in the computations of the sizes of allocated memory blocks or the number of copied bytes in block copy operations. Unlike all previous techniques of which we are aware, SIFT is sound -- if an input passes the filter, it will not trigger an integer overflow error at any analyzed site. …”
Get full text
Get full text
Get full text
Article -
56305
Measurement of the Jet Radius and Transverse Momentum Dependence of Inclusive Jet Suppression in Lead–lead Collisions at √s[subscript NN] = 2.76 TeV with the ATLAS Detector
Published 2014“…R[subscript CP] varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. …”
Get full text
Get full text
Article -
56306
-
56307
-
56308
Engineering genetically-encodable MRI contrast agents for in vivo imaging
Published 2014Get full text
Thesis -
56309
-
56310
-
56311
-
56312
-
56313
SubZero: A fine-grained lineage system for scientific databases
Published 2014Get full text
Get full text
Get full text
Article -
56314
Observation of D[superscript 0] Meson Nuclear Modifications in Au + Au Collisions at √s[subscript NN] = 200 GeV
Published 2014“…The charm production cross section per nucleon-nucleon collision at midrapidity scales with the number of binary collisions, N[subscript bin], from p + p to central Au + Au collisions. …”
Get full text
Get full text
Article -
56315
Design and Fabrication of Ultralight Weight, Adjustable Multi-electrode Probes for Electrophysiological Recordings in Mice
Published 2014“…The number of physiological investigations in the mouse, mus musculus, has experienced a recent surge, paralleling the growth in methods of genetic targeting for microcircuit dissection and disease modeling. …”
Get full text
Get full text
Get full text
Article -
56316
-
56317
Developments in the chemistry and nanodelivery of platinum anticancer agents
Published 2014Get full text
Thesis -
56318
Bounding sequence extremal functions with formations
Published 2014“…Upper bounds on Ex((12…l)[superscript t],n) have been used in other papers to bound the maximum number of edges in k-quasiplanar graphs on n vertices with no pair of edges intersecting in more than O(1) points. …”
Get full text
Article -
56319
Dielectron Mass Spectra from Au + Au Collisions at √s[subscript NN] = 200 GeV
Published 2014“…The excess yield in the ρ-like region increases with the number of collision participants faster than the ω and ϕ yields. …”
Get full text
Get full text
Article -
56320
low-energy mobile packet radio networks : routing, scheduling, and architecture
Published 2005Get full text
Thesis