Fast Distributed Approximation for Max-Cut

Finding a maximum cut is a fundamental task in many computational settings. Surprisingly, it has been insufficiently studied in the classic distributed settings, where vertices communicate by synchronously sending messages to their neighbors according to the underlying graph, known as the $\mathcal{LOCAL}$ or $\mathcal{CONGEST}$ models. We amend this by obtaining almost optimal algorithms for Max-Cut on a wide class of graphs in these models. In particular, for any $\epsilon > 0$, we develop randomized approximation algorithms achieving a ratio of $(1-\epsilon)$ to the optimum for Max-Cut on bipartite graphs in the $\mathcal{CONGEST}$ model, and on general graphs in the $\mathcal{LOCAL}$ model. We further present efficient deterministic algorithms, including a $1/3$-approximation for Max-Dicut in our models, thus improving the best known (randomized) ratio of $1/4$. Our algorithms make non-trivial use of the greedy approach of Buchbinder et al. (SIAM Journal on Computing, 2015) for maximizing an unconstrained (non-monotone) submodular function, which may be of independent interest

The symbiotic star CH Cygni – II. The ejecta from the 1998-2000 active phase

We present Hubble Space Telescope (HST) imaging, a Very Large Array (VLA) radio map (4.74 GHz), optical high-resolution (echelle) spectroscopy and UBV photoelectric photometry of the symbiotic star CH Cyg obtained during its 1998–2000 active phase. The HST imaging, taken during eclipse, shows the central stars are embedded in a nebula extending to 620 ± 150 au for a distance of 270 ± 66 pc. The inner nebula is strongly influenced by the onset of activity and associated outflow in 1998. The surface brightness contours of the contemporaneous radio VLA observation agree well with HST images. Photometric observations of the broad 1999 U-minimum suggest that it is due to the eclipse of the active hot component by the giant on the long-period (14.5 yr) outer orbit. We also find that the onset of the 1998 and the 1992 active periods occur at the same orbital phase of the inner binary. Spectroscopic observations reveal two types of outflow from the active star: a high-velocity (>1200 km s−1) hot star wind sporadically alternating with a more massive outflow indicated by P-Cygni-like profiles. We present evidence connecting the extended nebulosity with the high-velocity shocked outflow, and hence the activity in the central binary

Distributed Testing of Excluded Subgraphs

We study property testing in the context of distributed computing, under the classical CONGEST model. It is known that testing whether a graph is triangle-free can be done in a constant number of rounds, where the constant depends on how far the input graph is from being triangle-free. We show that, for every connected 4-node graph H, testing whether a graph is H-free can be done in a constant number of rounds too. The constant also depends on how far the input graph is from being H-free, and the dependence is identical to the one in the case of testing triangles. Hence, in particular, testing whether a graph is K_4-free, and testing whether a graph is C_4-free can be done in a constant number of rounds (where K_k denotes the k-node clique, and C_k denotes the k-node cycle). On the other hand, we show that testing K_k-freeness and C_k-freeness for k>4 appear to be much harder. Specifically, we investigate two natural types of generic algorithms for testing H-freeness, called DFS tester and BFS tester. The latter captures the previously known algorithm to test the presence of triangles, while the former captures our generic algorithm to test the presence of a 4-node graph pattern H. We prove that both DFS and BFS testers fail to test K_k-freeness and C_k-freeness in a constant number of rounds for k>4

Validation of Advanced Computer Codes for VVER Technology: LB-LOCA Transient in PSB-VVER Facility

The OECD/NEA PSB-VVER project provided unique and useful experimental data for code validation from PSB-VVER test facility. This facility represents the scaled-down layout of the Russian-designed pressurized water reactor, namely, VVER-1000. Five experiments were executed, dealing with loss of coolant scenarios (small, intermediate, and large break loss of coolant accidents), a primary-to-secondary leak, and a parametric study (natural circulation test) aimed at characterizing the VVER system at reduced mass inventory conditions. The comparative analysis, presented in the paper, regards the large break loss of coolant accident experiment. Four participants from three different institutions were involved in the benchmark and applied their own models and set up for four different thermal-hydraulic system codes. The benchmark demonstrated the performances of such codes in predicting phenomena relevant for safety on the basis of fixed criteria

On certain other sets of integers

We show that if A is a subset of {1,...,N} containing no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{3/4-o(1)} N).Comment: 29 pp. Corrected typos. Added definitions for some non-standard notation and remarks on lower bound

E-learning as a tool for knowledge transfer through traditional and independent study at two UK higher educational institutes: a case study

Much has been made of the advances in computer aided learning activities. Websites, virtual campus, the increased use of Web CT and chat rooms and further advances in the use of WebCT are becoming more commonplace in UK universities. This paper looks for ways of changing higher education students’ perception of the usefulness of recommended internet web sites for learning purposes, with the intention of increasing the usage rate of recommended module web-sites. The change could represent an adaptation of the existing, well-known technology to change students’ perception regarding its potentially formative role. Subsequently, the outcomes from this preliminary research could be used in order to enhance the quality of the Internet use for teaching and learning purposes

Pulsation in the atmosphere of the roAp star HD 24712. I. Spectroscopic observations and radial velocity measurements

We have investigated the structure of the pulsating atmosphere of one of the best studied rapidly oscillating Ap stars, HD 24712. For this purpose we analyzed spectra collected during 2001-2004. An extensive data set was obtained in 2004 simultaneously with the photometry of the Canadian MOST mini-satellite. This allows us to connect directly atmospheric dynamics observed as radial velocity variations with light variations seen in photometry. We directly derived for the first time and for different chemical elements, respectively ions, phase shifts between photometric and radial velocity pulsation maxima indicating, as we suggest, different line formation depths in the atmosphere. This allowed us to estimate for the first time the propagation velocity of a pulsation wave in the outer stellar atmosphere of a roAp star to be slightly lower than the sound speed. We confirm large pulsation amplitudes (150-400 m/s) for REE lines and the Halpha core, while spectral lines of the other elements (Mg, Si, Ca, and Fe-peak elements) have nearly constant velocities. We did not find different pulsation amplitudes and phases for the lines of rare-earth elements before and after the Balmer jump, which supports the hypothesis of REE concentration in the upper atmosphere above the hydrogen line-forming layers. We also discuss radial velocity amplitudes and phases measured for individual spectral lines as tools for a 3D tomography of the atmosphere of HD 24712.Comment: accepted by A&

Microarray profiling reveals the integrated stress response is activated by halofuginone in mammary epithelial cells

<p>Abstract</p> <p>Background</p> <p>The small molecule Halofuginone (HF) is a potent regulator of extracellular matrix (ECM ) gene expression and is unique in its therapeutic potential. While the basis for HF effects is unknown, inhibition of TGFβ signaling and activation of the amino acid restriction response (AAR) have been linked to HF transcriptional control of a number of ECM components and amelioration of fibrosis and alleviation of autoimmune disease by regulation of Th17 cell differentiation, respectively. The aim of this study was to generate a global expression profile of HF targets in epithelial cells to identify potential mediators of HF function in this cell type.</p> <p>Results</p> <p>We report that HF modulation of the expression of the ECM remodeling protein Mmp13 in epithelial cells is separable from previously reported effects of HF on TGFβ signal inhibition, and use microarray expression analysis to correlate this with transcriptional responses characteristic of the Integrated Stress Response (ISR).</p> <p>Conclusions</p> <p>Our findings suggest activation of the ISR may be a common mechanism underlying HF biological effects.</p