Local search for stable marriage problems

The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more generally to any two-sided market. In the classical formulation, n men and n women express their preferences (via a strict total order) over the members of the other sex. Solving a SM problem means finding a stable marriage where stability is an envy-free notion: no man and woman who are not married to each other would both prefer each other to their partners or to being single. We consider both the classical stable marriage problem and one of its useful variations (denoted SMTI) where the men and women express their preferences in the form of an incomplete preference list with ties over a subset of the members of the other sex. Matchings are permitted only with people who appear in these lists, an we try to find a stable matching that marries as many people as possible. Whilst the SM problem is polynomial to solve, the SMTI problem is NP-hard. We propose to tackle both problems via a local search approach, which exploits properties of the problems to reduce the size of the neighborhood and to make local moves efficiently. We evaluate empirically our algorithm for SM problems by measuring its runtime behaviour and its ability to sample the lattice of all possible stable marriages. We evaluate our algorithm for SMTI problems in terms of both its runtime behaviour and its ability to find a maximum cardinality stable marriage.For SM problems, the number of steps of our algorithm grows only as O(nlog(n)), and that it samples very well the set of all stable marriages. It is thus a fair and efficient approach to generate stable marriages.Furthermore, our approach for SMTI problems is able to solve large problems, quickly returning stable matchings of large and often optimal size despite the NP-hardness of this problem.Comment: 12 pages, Proc. COMSOC 2010 (Third International Workshop on Computational Social Choice

The Tax Treatment of Pension Contributions in Ireland. Quarterly Economic Commentary Special Article, Summer 2018

Tax treatments of pensions vary widely across countries. This paper examines the current tax treatment of pension contributions in Ireland and some widely discussed alternatives, including equalising the tax relief available to low and high earners. The analysis takes into account both explicit contributions in the private sector, and the implicit value of publicly funded pensions

Dapiprazole HCI: A literature review

Dapiprazole HCl ophthalmic eyedrops have been recently introduced to the optometric profession, and more specifically to optometrists practicing in therapeutic states. This diagonostic drug is used in reversing mydriasis induced by adrenergic or parasympatholytic agents. This is a literature review which covers the entire scope of dapiprazole HCl, or better known as Rev-Eyes, with special emphasis on the specific research studies and the subjective reported side effects, both systemic and ocular

High mass star formation in the infrared dark cloud G11.11-0.12

We report detection of moderate to high-mass star formation in an infrared dark cloud (G11.11-0.12) where we discovered class II methanol and water maser emissions at 6.7 GHz and 22.2 GHz, respectively. We also observed the object in ammonia inversion transitions. Strong emission from the (3,3) line indicates a hot (~60 K) compact component associated with the maser emission. The line width of the hot component (4 km/s), as well as the methanol maser detection, are indicative of high mass star formation. To further constrain the physical parameters of the source, we derived the spectral energy distribution (SED) of the dust continuum by analysing data from the 2MASS survey, HIRAS, MSX, the Spitzer Space Telescope, and interferometric 3mm observations. The SED was modelled in a radiative transfer program: a) the stellar luminosity equals 1200 L_sun corresponding to a ZAMS star of 8 M_sun; b) the bulk of the envelope has a temperature of 19 K; c) the mass of the remnant protostellar cloud in an area 8x10^17 cm or 15 arcsec across amounts to 500M_sun, if assuming standard dust of the diffuse medium, and to about 60 M_sun, should the grains be fluffy and have ice mantles; d) the corresponding visual extinction towards the star is a few hundred magnitudes. The near IR data can be explained by scattering from tenuous material above a hypothetical disk. The class II methanol maser lines are spread out in velocity over 11 km/s. To explain the kinematics of the masing spots, we propose that they are located in a Kepler disk at a distance of about 250 AU. The dust temperatures there are around 150 K, high enough to evaporate methanol--containing ice mantles.Comment: 10 pages, 6 figures, Accepted for publication in Astronomy & Astrophysics Journa

The risk from SARS-CoV-2 to bat species in england and mitigation options for conservation field workers

The newly evolved coronavirus, SARS-CoV-2, which has precipitated a global COVID-19 pandemic among the human population, has been shown to be associated with disease in captive wild animals. Bats (Chiroptera) have been shown to be susceptible to experimental infection and therefore may be at risk from disease when in contact with infected people. Numerous conservation fieldwork activities are undertaken across the United Kingdom bringing potentially infected people into close proximity with bats. In this study, we analysed the risks of disease from SARS-CoV-2 to free-living bat species in England through fieldworkers undertaking conservation activities and ecological survey work, using a qualitative, transparent method devised for assessing threats of disease to free-living wild animals. The probability of exposure of bats to SARS-CoV-2 through fieldwork activities was estimated to range from negligible to high, depending on the proximity between bats and people during the activity. The likelihood of infection after exposure was estimated to be high and the probability of dissemination of the virus through bat populations medium. The likelihood of clinical disease occurring in infected bats was low, and therefore, the ecological, economic and environmental consequences were predicted to be low. The overall risk estimation was low, and therefore, mitigation measures are advisable. There is uncertainty in the pathogenicity of SARS-CoV-2 in bats and therefore in the risk estimation. Disease risk management measures are suggested, including the use of personal protective equipment, good hand hygiene and following the existing government advice. The disease risk analysis should be updated as information on the epidemiology of SARS-CoV-2 and related viruses in bats improves. The re-analysis may be informed by health surveillance of free-living bats

Damage Identification for Prestressed Adjacent Box-Beam Bridges

Structural health monitoring (SHM) has gained considerable attention as a tool for monitoring the health of civil infrastructure. For bridge infrastructure, previous methods have focused on the detection of localized damage through modal parameters extracted from the longitudinal direction of the structure. This paper investigates a new damage detection method based on the change in the first vertical mode extracted from the transverse direction of the bridge. The mode is determined through application of modal curve fitting to frequency response functions (FRFs) that are formed using vertical response data obtained in the direction perpendicular to the bridge’s longitudinal axis. Using this method, both local damage and global damage in the bridge reveal themselves as having a localized effect on the bridge response. Furthermore, damage is revealed in such a way that it enables differentiation of the damage types. To demonstrate the effectiveness of the method, modal parameters were extracted from acceleration data obtained from a finite element model of a full bridge. Analysis of the modal parameters showed that the proposed approach could not only detect both local and global bridge damage, but could also differentiate between damage types using only one mode shape. The proposed method was compared to a previously developed SHM method

Percolation of satisfiability in finite dimensions

The satisfiability and optimization of finite-dimensional Boolean formulas are studied using percolation theory, rare region arguments, and boundary effects. In contrast with mean-field results, there is no satisfiability transition, though there is a logical connectivity transition. In part of the disconnected phase, rare regions lead to a divergent running time for optimization algorithms. The thermodynamic ground state for the NP-hard two-dimensional maximum-satisfiability problem is typically unique. These results have implications for the computational study of disordered materials.Comment: 4 pages, 4 fig

Sensitivity of predicted bioaerosol exposure from open windrow composting facilities to ADMS dispersion model parameters

Bioaerosols are released in elevated quantities from composting facilities and are associated with negative health effects, although dose-response relationships are not well understood, and require improved exposure classification. Dispersion modelling has great potential to improve exposure classification, but has not yet been extensively used or validated in this context. We present a sensitivity analysis of the ADMS dispersion model specific to input parameter ranges relevant to bioaerosol emissions from open windrow composting. This analysis provides an aid for model calibration by prioritising parameter adjustment and targeting independent parameter estimation. Results showed that predicted exposure was most sensitive to the wet and dry deposition modules and the majority of parameters relating to emission source characteristics, including pollutant emission velocity, source geometry and source height. This research improves understanding of the accuracy of model input data required to provide more reliable exposure predictions