A Constraint-Based Approach to Solving Minesweeper

·Motivate the students for the study of Constraint Processing (CP). Minesweeper is perfect to this end because it allows us to illustrate the use of CP algorithms in a familiar context and show how they operate. ·Understand and demystify humans’ fascination with puzzles. ·Discourage graduate students from losing too much time playing the game by making a program that plays the game for them

Growth suppression of ice crystal basal face in the presence of a moderate ice-binding protein does not confer hyperactivity

Ice-binding proteins (IBPs) affect ice crystal growth by attaching to crystal faces. We present the effects on the growth of an ice single crystal caused by an ice-binding protein from the sea ice microalga Fragilariopsis cylindrus (fcIBP) that is characterized by the widespread domain of unknown function 3494 (DUF3494) and known to cause a moderate freezing point depression (below 1 °C). By the application of interferometry, bright-field microscopy, and fluorescence microscopy, we observed that the fcIBP attaches to the basal faces of ice crystals, thereby inhibiting their growth in the c direction and resulting in an increase in the effective supercooling with increasing fcIBP concentration. In addition, we observed that the fcIBP attaches to prism faces and inhibits their growth. In the event that the effective supercooling is small and crystals are faceted, this process causes an emergence of prism faces and suppresses crystal growth in the a direction. When the effective supercooling is large and ice crystals have developed into a dendritic shape, the suppression of prism face growth results in thinner dendrite branches, and growth in the a direction is accelerated due to enhanced latent heat dissipation. Our observations clearly indicate that the fcIBP occupies a separate position in the classification of IBPs due to the fact that it suppresses the growth of basal faces, despite its moderate freezing point depression

Blockade but not overexpression of the junctional adhesion molecule C influences virus-induced type 1 diabetes in mice

Type 1 diabetes (T1D) results from the autoimmune destruction of insulin-producing beta-cells in the pancreas. Recruitment of inflammatory cells is prerequisite to beta-cell-injury. The junctional adhesion molecule (JAM) family proteins JAM-B and JAM–C are involved in polarized leukocyte transendothelial migration and are expressed by vascular endothelial cells of peripheral tissue and high endothelial venules in lympoid organs. Blocking of JAM-C efficiently attenuated cerulean-induced pancreatitis, rheumatoid arthritis or inflammation induced by ischemia and reperfusion in mice. In order to investigate the influence of JAM-C on trafficking and transmigration of antigen-specific, autoaggressive T-cells, we used transgenic mice that express a protein of the lymphocytic choriomeningitis virus (LCMV) as a target autoantigen in the β-cells of the islets of Langerhans under the rat insulin promoter (RIP). Such RIP-LCMV mice turn diabetic after infection with LCMV. We found that upon LCMV-infection JAM-C protein was upregulated around the islets in RIP-LCMV mice. JAM-C expression correlated with islet infiltration and functional beta-cell impairment. Blockade with a neutralizing anti-JAM-C antibody reduced the T1D incidence. However, JAM-C overexpression on endothelial cells did not accelerate diabetes in the RIP-LCMV model. In summary, our data suggest that JAM-C might be involved in the final steps of trafficking and transmigration of antigen-specific autoaggressive T-cells to the islets of Langerhans

Optical alignment and orientation of excitons in ensemble of core/shell CdSe/CdS colloidal nanoplatelets

We report on the experimental and theoretical studies of optical alignment and optical orientation effects in an ensemble of core/shell CdSe/CdS colloidal nanoplatelets. The dependences of three Stokes parameters on the magnetic field applied in the Faraday geometry are measured under continuous wave resonant excitation of the exciton photoluminescence. Theoretical model is developed to take into account both bright and dark exciton states in the case of strong electron and hole exchange interaction and random in-plane orientation of the nanoplatelets in ensemble. The data analysis allows us to estimate the time and energy parameters of the bright and dark excitons. The optical alignment effect enables identification of the exciton and trion contributions to the photoluminescence spectrum even in the absence of a clear spectral line resolution.Comment: main paper (17 pages) and SI (6 pages

Searching for a Stochastic Background of Gravitational Waves with LIGO

The Laser Interferometer Gravitational-wave Observatory (LIGO) has performed the fourth science run, S4, with significantly improved interferometer sensitivities with respect to previous runs. Using data acquired during this science run, we place a limit on the amplitude of a stochastic background of gravitational waves. For a frequency independent spectrum, the new limit is $\Omega_{\rm GW} < 6.5 \times 10^{-5}$. This is currently the most sensitive result in the frequency range 51-150 Hz, with a factor of 13 improvement over the previous LIGO result. We discuss complementarity of the new result with other constraints on a stochastic background of gravitational waves, and we investigate implications of the new result for different models of this background.Comment: 37 pages, 16 figure

Low voltage control of exchange coupling in aferromagnet-semiconductor quantum well hybridstructure

Voltage control of ferromagnetism on the nanometer scale is highly appealing for the development of novel electronic devices with low power consumption, high operation speed, reliable reversibility and compatibility with semiconductor technology. Hybrid structures based on the assembly of ferromagnetic and semiconducting building blocks are expected to show magnetic order as a ferromagnet and to be electrically tunable as a semiconductor. Here, we demonstrate the electrical control of the exchange coupling in a hybrid consisting of a ferromagnetic Co layer and a semiconductor CdTe quantum well, separated by a thin non-magnetic (Cd,Mg)Te barrier. The electric field controls the phononic ac Stark effect—the indirect exchange mechanism that is mediated by elliptically polarized phonons emitted from the ferromagnet. The effective magnetic field of the exchange interaction reaches up to 2.5 Tesla and can be turned on and off by application of 1V bias across the heterostructure

Impact of COVID-19 on cardiovascular testing in the United States versus the rest of the world

Objectives: This study sought to quantify and compare the decline in volumes of cardiovascular procedures between the United States and non-US institutions during the early phase of the coronavirus disease-2019 (COVID-19) pandemic. Background: The COVID-19 pandemic has disrupted the care of many non-COVID-19 illnesses. Reductions in diagnostic cardiovascular testing around the world have led to concerns over the implications of reduced testing for cardiovascular disease (CVD) morbidity and mortality. Methods: Data were submitted to the INCAPS-COVID (International Atomic Energy Agency Non-Invasive Cardiology Protocols Study of COVID-19), a multinational registry comprising 909 institutions in 108 countries (including 155 facilities in 40 U.S. states), assessing the impact of the COVID-19 pandemic on volumes of diagnostic cardiovascular procedures. Data were obtained for April 2020 and compared with volumes of baseline procedures from March 2019. We compared laboratory characteristics, practices, and procedure volumes between U.S. and non-U.S. facilities and between U.S. geographic regions and identified factors associated with volume reduction in the United States. Results: Reductions in the volumes of procedures in the United States were similar to those in non-U.S. facilities (68% vs. 63%, respectively; p = 0.237), although U.S. facilities reported greater reductions in invasive coronary angiography (69% vs. 53%, respectively; p < 0.001). Significantly more U.S. facilities reported increased use of telehealth and patient screening measures than non-U.S. facilities, such as temperature checks, symptom screenings, and COVID-19 testing. Reductions in volumes of procedures differed between U.S. regions, with larger declines observed in the Northeast (76%) and Midwest (74%) than in the South (62%) and West (44%). Prevalence of COVID-19, staff redeployments, outpatient centers, and urban centers were associated with greater reductions in volume in U.S. facilities in a multivariable analysis. Conclusions: We observed marked reductions in U.S. cardiovascular testing in the early phase of the pandemic and significant variability between U.S. regions. The association between reductions of volumes and COVID-19 prevalence in the United States highlighted the need for proactive efforts to maintain access to cardiovascular testing in areas most affected by outbreaks of COVID-19 infection

An Interactive Constraint-Based Approach to Minesweeper

We present a Java applet that uses Constraint Processing (CP) to assist a human in playing the popular game Minesweeper. Our goal is to illustrate the power of CP techniques to model and solve combinatorial problems in a context accessible to the general public. Minesweeper is a video game that has been included with Microsoft Windows since 1989. In this game, the player is presented with a grid of squares. Each of these squares may conceal a mine. When the player clicks on a square, it is revealed. If the square is a mine, the game is over. If the square is not a mine, it is replaced by a number indicating how many of the adjacent squares are mines. The goal of the game is to reveal all squares that are not mines. These simple rules yield a complex problem: Kaye proved that the minesweeper-consistency problem is NP-complete (2000). The minesweeper-consistency problem is to determine if, given a board with some known squares, there exists a layout of mines in the unknown squares that is consistent with the numbers displayed. A few programs have been written to solve Minesweeper. One notable such program was developed by Collet (2004), and uses the Oz language to model and solve Minesweeper as a set of Boolean linear constraints. In his implementation, Collet defines constraints intensionally and generates dual variables to achieve higher-level consistency. This model artificially and unnecessarily increases the number of variables (thus increasing the cost in terms of time and space), and obscures the concept of ‘consistency level,’ which is central to Constraint Processing. Like (Collet 2004), our program assists the player in solving Minesweeper puzzles by modeling them as Constraint Satisfaction Problems (CSPs). Although our model is similar to that of Collet, it was developed independently. Also, our constraints are defined in extension, and, importantly, our implementation uses text- book propagation-algorithms to determine the locations of mines, thus better serving our pedagogical goals. We briefly discuss our motivations, then describe our model, interface and implementation