Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications

Reducing network latency in mobile applications is an effective way of improving the mobile user experience and has tangible economic benefits. This paper presents PALOMA, a novel client-centric technique for reducing the network latency by prefetching HTTP requests in Android apps. Our work leverages string analysis and callback control-flow analysis to automatically instrument apps using PALOMA's rigorous formulation of scenarios that address "what" and "when" to prefetch. PALOMA has been shown to incur significant runtime savings (several hundred milliseconds per prefetchable HTTP request), both when applied on a reusable evaluation benchmark we have developed and on real applicationsComment: ICSE 201

ArgoNeuT, a liquid argon time projection chamber in a low energy neutrino beam

ArgoNeuT (Argon Neutrino Test), a NSF/DOE project at Fermilab, is the first LArTPC to go in a low energy neutrino beam and just the second LArTPC to go in a neutrino beam ever. ArgoNeuT sits just upstream of the on-axis MINOS near detector in the NuMI beamline, about 1 km from the target station and 100 m underground. The detector features a 47X40X90 cm (169 L) active volume TPC with a fully contained recirculation and purification system. Among other physics, ArgoNeuT will measure the charged-current quasi-elastic (anti-) neutrino cross section on argon at an energy of ~3 GeV.Comment: 3 pages, 2 figures, to appear in the proceedings of the 11th International Conference on Topics in Astroparticle and Underground Physics (TAUP 2009), Rome, Italy, 1-5 July 200

Toric Calabi-Yau Fourfolds, Duality Between N=1 Theories and Divisors that Contribute to the Superpotential

We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data for the heterotic theory from the polyhedron. We give a procedure for constructing examples with given gauge groups and describe some of these examples in detail. Interesting features arise when the local pieces are fitted into a global manifold. An important issue is how to compute the superpotential explicitly. Witten has shown that the condition for a divisor to contribute to the superpotential is that it have arithmetic genus 1. Divisors associated with the short roots of non-simply laced gauge groups do not always satisfy this condition while the divisors associated to all other roots do. For such a `dissident' divisor we distinguish cases for which the arithmetic genus is greater than unity corresponding to an X that is not general in moduli (in the toric case this corresponds to the existence of non-toric parameters). In these cases the `dissident' divisor D does not remain an effective divisor for general complex structure. If however the arithmetic genus is less than or equal to 0, then the divisor is general in moduli and there is a genuine instability

ArgoNeuT and the Neutrino-Argon Charged Current Quasi-Elastic Cross Section

ArgoNeuT, a Liquid Argon Time Projection Chamber in the NuMI beamline at Fermilab, has recently collected thousands of neutrino and anti-neutrino events between 0.1 and 10 GeV. The experiment will, among other things, measure the cross section of the neutrino and anti-neutrino Charged Current Quasi-Elastic interaction and analyze the vertex activity associated with such events. These topics are discussed along with ArgoNeuT's automated reconstruction software, currently capable of fully reconstructing the muon and finding the event vertex in neutrino interactions.Comment: 6 pages, 4 figures, presented at the International Nuclear Physics Conference, Vancouver, Canada, July 4-9, 2010, to be published in Journal of Physics: Conference Series (JPCS

Poisson-Lie T-duality

A description of dual non-Abelian duality is given, based on the notion of the Drinfeld double. The presentation basically follows the original paper \cite{KS2}, written in collaboration with P. \v Severa, but here the emphasis is put on the algebraic rather than the geometric aspect of the construction and a concrete example of the Borelian double is worked out in detail.Comment: 11 pages, LaTeX, Lecture given at Trieste conference on S-duality and mirror symmetry, June 1995, (signs in Eqs. (10,11) corrected, 1 reference added

Chirp mitigation of plasma-accelerated beams using a modulated plasma density

Plasma-based accelerators offer the possibility to drive future compact light sources and high-energy physics applications. Achieving good beam quality, especially a small beam energy spread, is still one of the major challenges. For stable transport, the beam is located in the focusing region of the wakefield which covers only the slope of the accelerating field. This, however, imprints a longitudinal energy correlation (chirp) along the bunch. Here, we propose an alternating focusing scheme in the plasma to mitigate the development of this chirp and thus maintain a small energy spread

Influencia de la temperatura en el comportamiento alimentario de peltocephalus dumerilianus (testudines podocnemidae)

Objetivo. Analizar los comportamientos de alimentación bajo diferentes condiciones de temperatura en un grupo de neonatos de Peltocephalus dumerilianus (Testudines Podocnemididae). Materiales y Métodos. Los individuos experimentales fueron obtenidos mediante incubación en el laboratorio, se dividieron en 5 grupos al azar. Durante 2 meses con tres repeticiones a la semana se hicieron pruebas de temperatura utilizando dentro de las bandejas calentadores eléctricos, con registro continuo de temperatura mediante termómetro digital - 10 a + 60ºC (± 0.1ºC), procurando mantener un ritmo constante de incremento equivalente a 0,25ºC cada 10 minutos, hasta llegar a la temperatura seleccionada, que fue mantenida por 60 minutos en cada ensayo. Las temperaturas seleccionadas para cada ensayo, fueron: 26ºC, 30ºC, 34ºC, 38ºC y ambiente que fue de 26,8ºC en promedio. Fueron evaluados los siguientes parámetros: duración en minutos de la ingesta, tiempo de inicio de comportamientos agonísticos, presencia de dos tipos de despliegues característicos: morder y disputa por alimento. Resultados. En general todos los parámetros fueron significativos, a mayor temperatura el tiempo de ingestión fue mayor, a menor temperatura el volumen de consumo fue menor, a menor temperatura el inicio de los despliegues agonísticos fue mayor y se mantuvo una relación inversamente proporcional. Conclusiones. Los resultados mostraron que existe relación directamente proporcional entre la temperatura ambiental y los procesos de alimentación, además que se relacionaron con aspectos básicos del comportamiento lo cual se manifestó en los despliegues agonísticos observados