Recent oceanographic investigations in the Gulf of California

Results of seven hydrographic cruises into the Gulf of California during 1956 and 1957 show that the water mass there is characteristic of Equatorial Pacific water though modified by intensive evaporation in surface layers. The combination of wind regime and complicated topographical features plays a predominant role in circulation, upwelling, distribution of temperature, and other hydrographic factors. Seasonal changes are large...

Note on the dynamics of the Gulf Stream

The nonlinear inertial terms have been neglected in Stommel\u27s and in Munk\u27s theory for the wind-driven ocean circulation. Using a method of successive approximations, the effect of these terms on the mass transport in the Gulf Stream region has been computed under greatly simplifying assumptions. These assumptions involve Reid\u27s model of the vertical density structure, which consists of an exponential decrease in the density upward to the thermocline and a homogeneous upper layer...

Computer-aided verification in mechanism design

In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism

Budget feasible mechanisms on matroids

Motivated by many practical applications, in this paper we study budget feasible mechanisms where the goal is to procure independent sets from matroids. More specifically, we are given a matroid =(,) where each ground (indivisible) element is a selfish agent. The cost of each element (i.e., for selling the item or performing a service) is only known to the element itself. There is a buyer with a budget having additive valuations over the set of elements E. The goal is to design an incentive compatible (truthful) budget feasible mechanism which procures an independent set of the matroid under the given budget that yields the largest value possible to the buyer. Our result is a deterministic, polynomial-time, individually rational, truthful and budget feasible mechanism with 4-approximation to the optimal independent set. Then, we extend our mechanism to the setting of matroid intersections in which the goal is to procure common independent sets from multiple matroids. We show that, given a polynomial time deterministic blackbox that returns -approximation solutions to the matroid intersection problem, there exists a deterministic, polynomial time, individually rational, truthful and budget feasible mechanism with (3+1) -approximation to the optimal common independent set

Gravity travelling waves for two superposed fluid layers, one being of infinite depth: a new type of bifurcation

International audienceIn this paper, we study the travelling gravity waves in a system of two layers of perfect fluids, the bottom one being infinitely deep, the upper one having a finite thickness h. We assume that the flow is potential, and the dimensionless parameters are the ratio between densities ρ = ρ 2 /ρ 1 and λ = gh/c^2. We study special values of the parameters such that λ(1 − ρ) is near 1 − , where a bifurcation of a new type occurs. We formulate the problem as a spatial reversible dynamical system, where U = 0 corresponds to a uniform state (velocity c in a moving reference frame), and we consider the linearized operator around 0. We show that its spectrum contains the entire real axis (essential spectrum), with in addition a double eigenvalue in 0, a pair of simple imaginary eigenvalues ±iλ at a distance O(1) from 0, and for λ(1 − ρ) above 1, another pair of simple imaginary eigenvalues tending towards 0 as λ(1 − ρ) → 1 +. When λ(1 − ρ) ≤ 1 this pair disappears into the essential spectrum. The rest of the spectrum lies at a distance at least O(1) from the imaginary axis. We show in this paper that for λ(1 − ρ) close to 1 − , there is a family of periodic solutions like in the Lyapunov-Devaney theorem (despite the resonance due to the point 0 in the spectrum). Moreover, showing that the full system can be seen as a perturbation of the Benjamin-Ono equation, coupled with a nonlinear oscillation, we also prove the existence of a family of homoclinic connections to these periodic orbits, provided that these ones are not too small

A Detailed Study of the Radio--FIR Correlation in NGC6946 with Herschel-PACS/SPIRE from KINGFISH

We derive the distribution of the synchrotron spectral index across NGC6946 and investigate the correlation between the radio continuum (synchrotron) and far-infrared (FIR) emission using the KINGFISH Herschel PACS and SPIRE data. The radio--FIR correlation is studied as a function of star formation rate, magnetic field strength, radiation field strength, and the total gas surface brightness. The synchrotron emission follows both star-forming regions and the so-called magnetic arms present in the inter-arm regions. The synchrotron spectral index is steepest along the magnetic arms ($\alpha_n \sim 1$), while it is flat in places of giant H{\sc ii} regions and in the center of the galaxy ($\alpha_n \sim 0.6-0.7$). The map of $\alpha_n$ provides an observational evidence for aging and energy loss of cosmic ray electrons propagating in the disk of the galaxy. Variations in the synchrotron--FIR correlation across the galaxy are shown to be a function of both star formation and magnetic fields. We find that the synchrotron emission correlates better with cold rather than with warm dust emission, when the interstellar radiation field is the main heating source of dust. The synchrotron--FIR correlation suggests a coupling between the magnetic field and the gas density. NGC6946 shows a power-law behavior between the total (turbulent) magnetic field strength B and the star formation rate surface density $\Sigma_{\rm SFR}$ with an index of 0.14\,(0.16)$\pm$0.01. This indicates an efficient production of the turbulent magnetic field with the increasing gas turbulence expected in actively star forming regions. The scale-by-scale analysis of the synchrotron--FIR correlation indicates that the ISM affects the propagation of old/diffused cosmic ray electrons, resulting in a diffusion coefficient of $D_0=4.6\times 10^{28}$\,cm$^2$\,s$^{-1}$ for 2.2\,GeV CREs.Comment: 23 pages, 13 figures, accepted for publication in Astronomy & Astrophysics Journa

The dust energy balance in the edge-on spiral galaxy NGC 4565

We combine new dust continuum observations of the edge-on spiral galaxy NGC 4565 in all Herschel/SPIRE (250, 350, 500 micron) wavebands, obtained as part of the Herschel Reference Survey, and a large set of ancillary data (Spitzer, SDSS, GALEX) to analyze its dust energy balance. We fit a radiative transfer model for the stars and dust to the optical maps with the fitting algorithm FitSKIRT. To account for the observed UV and mid-infrared emission, this initial model was supplemented with both obscured and unobscured star-forming regions. Even though these star-forming complexes provide an additional heating source for the dust, the far-infrared/submillimeter emission long wards of 100 micron is underestimated by a factor of 3-4. This inconsistency in the dust energy budget of NGC 4565 suggests that a sizable fraction (two-thirds) of the total dust reservoir (Mdust ~ 2.9e+8 Msun) consists of a clumpy distribution with no associated young stellar sources. The distribution of those dense dust clouds would be in such a way that they remain unresolved in current far-infrared/submillimeter observations and hardly comtribute to the attenuation at optical wavelengths. More than two-thirds of the dust heating in NGC 4565 is powered by the old stellar population, with localized embedded sources supplying the remaining dust heating in NGC 4565. The results from this detailed dust energy balance study in NGC 4565 is consistent with that of similar analyses of other edge-on spirals.Comment: 16 pages, 7 figures, accepted for publication in MNRA

Building partnerships towards strengthening Makerere University College of Health Sciences: a stakeholder and sustainability analysis

<p>Abstract</p> <p>Background</p> <p>Partnerships and networking are important for an institution of higher learning like Makerere University College of Health Sciences (MakCHS) to be competitive and sustainable.</p> <p>Methods</p> <p>A stakeholder and sustainability analysis of 25 key informant interviews was conducted among past, current and potential stakeholders of MakCHS to obtain their perspectives and contributions to sustainability of the College in its role to improve health outcomes.</p> <p>Results</p> <p>The College has multiple internal and external stakeholders. Stakeholders from Uganda wanted the College to use its enormous academic capacity to fulfil its vision, take initiative, and be innovative in conducting more research and training relevant to the country’s health needs. Many stakeholders felt that the initiative for collaboration currently came more from the stakeholders than the College. External stakeholders felt that MakCHS was insufficiently marketing itself and not directly engaging the private sector or Parliament. Stakeholders also identified the opportunity for MakCHS to embrace information technology in research, learning and training, and many also wanted MakCHS to start leadership and management training programmes in health systems. The need for MakCHS to be more vigorous in training to enhance professionalism and ethical conduct was also identified.</p> <p>Discussion</p> <p>As a constituent of a public university, MakCHS has relied on public funding, which has been inadequate to fulfill its mission. Broader networking, marketing to mobilize resources, and providing strong leadership and management support to inspire confidence among its current and potential stakeholders will be essential to MakCHS’ further growth. MakCHS’ relevance is hinged on generating research knowledge for solving the country’s contemporary health problems and starting relevant programs and embracing technologies. It should share new knowledge widely through publications and other forms of dissemination. Whether institutional leadership is best in the hands of academicians or professional managers is a debatable matter.</p> <p>Conclusions</p> <p>This study points towards the need for MakCHS and other African public universities to build a broad network of partnerships to strengthen their operations, relevance, and sustainability. Conducting stakeholder and sustainability analyses are instructive toward this end, and have provided information and perspectives on how to make long-range informed choices for success.</p