Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions  [PDF]
Roberto Sebastiani,Patrick Trentin
Computer Science , 2014,
Abstract: In the last decade we have witnessed an impressive progress in the expressiveness and efficiency of Satisfiability Modulo Theories (SMT) solving techniques. This has brought previously-intractable problems at the reach of state-of-the-art SMT solvers, in particular in the domain of SW and HW verification. Many SMT-encodable problems of interest, however, require also the capability of finding models that are optimal wrt. some cost functions. In previous work, namely "Optimization Modulo Theory with Linear Rational Cost Functions -- OMT(LAR U T )", we have leveraged SMT solving to handle the minimization of cost functions on linear arithmetic over the rationals, by means of a combination of SMT and LP minimization techniques. In this paper we push the envelope of our OMT approach along three directions: first, we extend it to work also with linear arithmetic on the mixed integer/rational domain, by means of a combination of SMT, LP and ILP minimization techniques; second, we develop a multi-objective version of OMT, so that to handle many cost functions simultaneously; third, we develop an incremental version of OMT, so that to exploit the incrementality of some OMT-encodable problems. An empirical evaluation performed on OMT-encoded verification problems demonstrates the usefulness and efficiency of these extensions.
FAST CLOUD: Pushing the Envelope on Delay Performance of Cloud Storage with Coding  [PDF]
Guanfeng Liang,Ulas C. Kozat
Computer Science , 2013,
Abstract: Our paper presents solutions that can significantly improve the delay performance of putting and retrieving data in and out of cloud storage. We first focus on measuring the delay performance of a very popular cloud storage service Amazon S3. We establish that there is significant randomness in service times for reading and writing small and medium size objects when assigned distinct keys. We further demonstrate that using erasure coding, parallel connections to storage cloud and limited chunking (i.e., dividing the object into a few smaller objects) together pushes the envelope on service time distributions significantly (e.g., 76%, 80%, and 85% reductions in mean, 90th, and 99th percentiles for 2 Mbyte files) at the expense of additional storage (e.g., 1.75x). However, chunking and erasure coding increase the load and hence the queuing delays while reducing the supportable rate region in number of requests per second per node. Thus, in the second part of our paper we focus on analyzing the delay performance when chunking, FEC, and parallel connections are used together. Based on this analysis, we develop load adaptive algorithms that can pick the best code rate on a per request basis by using off-line computed queue backlog thresholds. The solutions work with homogeneous services with fixed object sizes, chunk sizes, operation type (e.g., read or write) as well as heterogeneous services with mixture of object sizes, chunk sizes, and operation types. We also present a simple greedy solution that opportunistically uses idle connections and picks the erasure coding rate accordingly on the fly. Both backlog and greedy solutions support the full rate region and provide best mean delay performance when compared to the best fixed coding rate policy. Our evaluations show that backlog based solutions achieve better delay performance at higher percentile values than the greedy solution.
Sensitivity studies for r-process nucleosynthesis in three astrophysical scenarios  [PDF]
R. Surman,M. Mumpower,J. Cass,I. Bentley,A. Aprahamian,G. C. McLaughlin
Physics , 2013, DOI: 10.1051/epjconf/20146607024
Abstract: In rapid neutron capture, or r-process, nucleosynthesis, heavy elements are built up via a sequence of neutron captures and beta decays that involves thousands of nuclei far from stability. Though we understand the basics of how the r-process proceeds, its astrophysical site is still not conclusively known. The nuclear network simulations we use to test potential astrophysical scenarios require nuclear physics data (masses, beta decay lifetimes, neutron capture rates, fission probabilities) for all of the nuclei on the neutron-rich side of the nuclear chart, from the valley of stability to the neutron drip line. Here we discuss recent sensitivity studies that aim to determine which individual pieces of nuclear data are the most crucial for r-process calculations. We consider three types of astrophysical scenarios: a traditional hot r-process, a cold r-process in which the temperature and density drop rapidly, and a neutron star merger trajectory.
On the minimum of asymptotic translation lengths of point-pushing pseudo-Anosov maps on one punctured Riemann surfaces  [PDF]
Chaohui Zhang
Mathematics , 2013,
Abstract: We show that the minimum of asymptotic translation lengths of all point-pushing pseudo-Anosov maps on any one punctured Riemann surface is one.
Testing the concept of integral approach to derivatives within the smoothed particle hydrodynamics technique in astrophysical scenarios  [PDF]
Ruben M. Cabezon,Domingo Garcia-Senz,Jose Antonio Escartin
Physics , 2012, DOI: 10.1051/0004-6361/201219821
Abstract: The behavior of IAD_0 scheme, a fully conservative SPH scheme based on a tensor formulation, is analyzed in connection with several astrophysical scenarios, and compared to the same simulations carried out with the standard SPH technique. The proposed hydrodynamic scheme is validated using a variety of numerical tests that cover important topics in astrophysics, such as the evolution of supernova remnants, the stability of self-gravitating bodies and the coalescence of compact objects. The results suggest that the SPH scheme built with the integral approach to the derivatives premise improves the results of the standard SPH technique. In particular, it is observed a better development of hydrodynamic instabilities, an improved description of self-gravitant structures in equilibrium and a reasonable description of the process of coalescence of two white dwarfs. A good energy, and linear and angular momentum conservation, generally better than that of standard SPH, was also obtained. In addition the new scheme is less susceptible to suffer pairing instability.
Pushing the envelope to reduce sedation in critically ill patients
Olufunmilayo Ogundele, Sachin Yende
Critical Care , 2010, DOI: 10.1186/cc9339
Abstract: Edited by: Sachin Yende. University of Pittsburgh Department of Critical Care MedicineStrom T, Martinussen T, Toft P: A protocol of no sedation for critically ill patients receiving mechanical ventilation: a randomized trial. Lancet 2010, 375:475-480 [1].Standard treatment of critically ill patients undergoing mechanical ventilation is continuous sedation. Daily interruption of sedation has a beneficial effect, and in the general intensive care unit of Odense University Hospital, Denmark, standard practice is a protocol of no sedation. We aimed to establish whether duration of mechanical ventilation could be reduced with a protocol of no sedation versus daily interruption of sedation.Of 428 patients assessed for eligibility, we enrolled 140 critically ill adult patients who were undergoing mechanical ventilation and were expected to need ventilation for more than 24 h. Patients were randomly assigned in a 1:1 ratio (unblinded) to receive: no sedation (n = 70 patients); or sedation (20 mg/mL propofol for 48 h, 1 mg/mL midazolam thereafter) with daily interruption until awake (n = 70, control group). Both groups were treated with bolus doses of morphine (2.5 or 5 mg). The primary outcome was the number of days without mechanical ventilation in a 28-day period, and we also recorded the length of stay in the intensive care unit (from admission to 28 days) and in hospital (from admission to 90 days). Analysis was by intention to treat. This study is registered with ClinicalTrials.gov, number NCT00466492.27 patients died or were successfully extubated within 48 h, and, as per our study design, were excluded from the study and statistical analysis. Patients receiving no sedation had significantly more days without ventilation (n = 55; mean 13.8 days, SD 11.0) than did those receiving interrupted sedation (n = 58; mean 9.6 days, SD 10.0; mean difference 4.2 days, 95% CI 0.3-8.1; p = 0.0191). No sedation was also associated with a shorter stay in the intensive care unit (HR
An envelope-function approach for a one-dimensional photonic crystal containing single negative materials  [PDF]
Munazza Zulfiqar Ali,Tariq Abdullah
Physics , 2006,
Abstract: An envelope function approach is used to study the wave propagation in a one-dimensional Photonic Crystal containing single negative layers. This approach enables one to obtain the analytic expressions of the parameters of an equivalent effective medium. From these parameters, it is seen that the periodic structure appears to be an equivalent left-handed medium for the envelope function. For the nonlinear wave propagation the phenomenon of bistability and gap soliton formation near the edges of the zero-phi gap is discussed.
ALMA view of the circumstellar environment of the post-common-envelope-evolution binary system HD101584  [PDF]
H. Olofsson,W. H. T. Vlemmings,M. Maercker,E. M. L. Humphreys,M. Lindqvist,L. Nyman,S. Ramstedt
Physics , 2015, DOI: 10.1051/0004-6361/201526026
Abstract: We study the circumstellar evolution of the binary HD101584, consisting of a post-AGB star and a low-mass companion, which is most likely a post-common-envelope-evolution system. We used ALMA observations of the 12CO, 13CO, and C18O J=2-1 lines and the 1.3mm continuum to determine the morphology, kinematics, masses, and energetics of the circumstellar environment. The circumstellar medium has a bipolar hour-glass structure, seen almost pole-on, formed by an energetic jet, about 150 km/s. We conjecture that the circumstellar morphology is related to an event that took place about 500 year ago, possibly a capture event where the companion spiraled in towards the AGB star. However, the kinetic energy of the accelerated gas exceeds the released orbital energy, and, taking into account the expected energy transfer efficiency of the process, the observed phenomenon does not match current common-envelope scenarios. This suggests that another process must augment, or even dominate, the ejection process. A significant amount of material resides in an unresolved region, presumably in the equatorial plane of the binary system.
Type Ia Supernova Scenarios and the Hubble Sequence  [PDF]
P. Ruiz-Lapuente,A. Burkert,R. Canal
Physics , 1995, DOI: 10.1086/309564
Abstract: The dependence of the Type Ia supernova (SN Ia) rate on galaxy type is examined for three currently proposed scenarios: merging of a Chandrasekhar--mass CO white dwarf (WD) with a CO WD companion, explosion of a sub--Chandrasekhar mass CO WD induced by accretion of material from a He star companion, and explosion of a sub--Chandrasekhar CO WD in a symbiotic system. The variation of the SNe Ia rate and explosion characteristics with time is derived, and its correlation with parent population age and galaxy redshift is discussed. Among current scenarios, CO + He star systems should be absent from E galaxies. Explosion of CO WDs in symbiotic systems could account for the SNe Ia rate in these galaxies. The same might be true for the CO + CO WD scenario, depending on the value of the common envelope parameter. A testable prediction of the sub--Chandrasekhar WD model is that the average brightness and kinetic energy of the SN Ia events should increase with redshift for a given Hubble type. Also for this scenario, going along the Hubble sequence from E to Sc galaxies SNe Ia events should be brighter on average and should show larger mean velocities of the ejecta. The observational correlations strongly suggest that the characteristics of the SNe Ia explosion are linked to parent population age. The scenario in which WDs with masses below the Chandrasekhar mass explode appears the most promising one to explain the observed variation of the SN Ia rate with galaxy type together with the luminosity--expansion velocity trend.
Pushing BitTorrent Locality to the Limit  [PDF]
Stevens Le Blond,Arnaud Legout,Walid Dabbous
Computer Science , 2010, DOI: 10.1016/j.comnet.2010.09.014
Abstract: Peer-to-peer (P2P) locality has recently raised a lot of interest in the community. Indeed, whereas P2P content distribution enables financial savings for the content providers, it dramatically increases the traffic on inter-ISP links. To solve this issue, the idea to keep a fraction of the P2P traffic local to each ISP was introduced a few years ago. Since then, P2P solutions exploiting locality have been introduced. However, several fundamental issues on locality still need to be explored. In particular, how far can we push locality, and what is, at the scale of the Internet, the reduction of traffic that can be achieved with locality? In this paper, we perform extensive experiments on a controlled environment with up to 10,000 BitTorrent clients to evaluate the impact of high locality on inter-ISP links traffic and peers download completion time. We introduce two simple mechanisms that make high locality possible in challenging scenarios and we show that we save up to several orders of magnitude inter-ISP traffic compared to traditional locality without adversely impacting peers download completion time. In addition, we crawled 214,443 torrents representing 6,113,224 unique peers spread among 9,605 ASes. We show that whereas the torrents we crawled generated 11.6 petabytes of inter-ISP traffic, our locality policy implemented for all torrents could have reduced the global inter-ISP traffic by up to 40%.
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.