Direct synthesis of timed asynchronous circuits

Journal ArticleThis paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. Our synthesis procedure begins with a deterministic signal transition graph specification to which timing constraints can be added. First, a timing analysis extracts the timed concurrency relation and timed causality relation between any two signal transitions. Then, a hazard-free implementation under the timing constraints is synthesized by constructing a precedence graph and finding a shortest path in the graph. Our method does not have the state explosion problem while the synthesized circuits have nearly the same area with the previous timed circuits

Localization and chiral symmetry in 2+1 flavor domain wall QCD

We present results for the dependence of the residual mass of domain wall fermions (DWF) on the size of the fifth dimension and its relation to the density and localization properties of low-lying eigenvectors of the corresponding hermitian Wilson Dirac operator relevant to simulations of 2+1 flavor domain wall QCD. Using the DBW2 and Iwasaki gauge actions, we generate ensembles of configurations with a $16^3\times 32$ space-time volume and an extent of 8 in the fifth dimension for the sea quarks. We demonstrate the existence of a regime where the degree of locality, the size of chiral symmetry breaking and the rate of topology change can be acceptable for inverse lattice spacings $a^{-1} \ge 1.6$ GeV.Comment: 59 Pages, 23 figures, 1 MPG linke

Three-dimensional variational assimilation with a multivariate background error covariance for the Model for Prediction Across Scales – Atmosphere with the Joint Effort for Data assimilation Integration (JEDI-MPAS 2.0.0-beta)

This paper describes the three-dimensional variational (3D-Var) data assimilation (DA) system for the Model for Prediction Across Scales – Atmosphere with the Joint Effort for Data assimilation Integration (JEDI-MPAS). Its core element is a multivariate background error covariance implemented through multiple linear variable changes, including a wind variable change from stream function and velocity potential to zonal- and meridional-wind components, a vertical linear regression representing wind–mass balance, and multiplication by a diagonal matrix of error standard deviations. The univariate spatial correlations for the “unbalanced” variables utilize the Background error on Unstructured Mesh Package (BUMP), which is one of the generic components in the JEDI framework. The variable changes and univariate correlations are modeled directly on the native MPAS unstructured mesh. BUMP provides utilities to diagnose parameters of the covariance model, such as correlation lengths, from an ensemble of forecast differences, though some manual adjustment of the parameters is necessary because of mismatches between the univariate correlation function assumed by BUMP and the correlation structure in the sample of forecast differences. The resulting multivariate covariances, as revealed by single-observation tests, are qualitatively similar to those found in previous global 3D-Var systems. Month-long cycling DA experiments using a global quasi-uniform 60 km mesh demonstrate that 3D-Var, as expected, performs somewhat worse than a pure ensemble-based covariance, while a hybrid covariance, which combines that used in 3D-Var with the ensemble covariance, significantly outperforms both 3D-Var and the pure ensemble covariance. Due to its simple workflow and minimal computational requirements, the JEDI-MPAS 3D-Var system can be useful for the research community.</p

Disk Detective: Discovery of New Circumstellar Disk Candidates through Citizen Science

The Disk Detective citizen science project aims to find new stars with 22 micron excess emission from circumstellar dust using data from NASA's WISE mission. Initial cuts on the AllWISE catalog provide an input catalog of 277,686 sources. Volunteers then view images of each source online in 10 different bands to identify false-positives (galaxies, background stars, interstellar matter, image artifacts, etc.). Sources that survive this online vetting are followed up with spectroscopy on the FLWO Tillinghast telescope. This approach should allow us to unleash the full potential of WISE for finding new debris disks and protoplanetary disks. We announce a first list of 37 new disk candidates discovered by the project, and we describe our vetting and follow-up process. One of these systems appears to contain the first debris disk discovered around a star with a white dwarf companion: HD 74389. We also report four newly discovered classical Be stars (HD 6612, HD 7406, HD 164137, and HD 218546) and a new detection of 22 micron excess around a previously known debris disk host star, HD 22128.Comment: 50 pages, accepted for publication in the Astrophysical Journa

KT&G : From Korean monopoly to ‘a global name in the tobacco industry’

Until the late 1980s, the former South Korean tobacco monopoly KT&amp;G was focused on the protected domestic market. The opening of the market to foreign competition, under pressure from the U.S. Trade Representative, led to a steady erosion of market share over the next 10 years. Drawing on company documents and industry sources, this paper examines the adaptation of KT&amp;G to the globalization of the South Korean tobacco industry since the 1990s. It is argued that KT&amp;G has shifted from a domestic monopoly to an outward-looking, globally oriented business in response to the influx of transnational tobacco companies. Like other high-income countries, South Korea has also seen a decline in smoking prevalence as stronger tobacco control measures have been adopted. Faced with a shrinking domestic market, KT&amp;G initially focused on exporting Korean-manufactured cigarettes. Since the mid-2000s, a broader global business strategy has been adopted including the building of overseas manufacturing facilities, establishing strategic partnerships and acquiring foreign companies. Trends in KT&amp;G sales suggest an aspiring transnational tobacco company poised to become a major player in the global tobacco market. This article is part of the special issue \u27The emergence of Asian tobacco companies: Implications for global health governance\u27

Global meteorological influences on the record UK rainfall of winter 2013-14

The UK experienced record average rainfall in winter 2013–14, leading to widespread and prolonged flooding. The immediate cause of this exceptional rainfall was a very strong and persistent cyclonic atmospheric circulation over the North East Atlantic Ocean. This was related to a very strong North Atlantic jet stream which resulted in numerous damaging wind storms. These exceptional meteorological conditions have led to renewed questions about whether anthropogenic climate change is noticeably influencing extreme weather. The regional weather pattern responsible for the extreme UK winter coincided with highly anomalous conditions across the globe. We assess the contributions from various possible remote forcing regions using sets of ocean–atmosphere model relaxation experiments, where winds and temperatures are constrained to be similar to those observed in winter 2013–14 within specified atmospheric domains. We find that influences from the tropics were likely to have played a significant role in the development of the unusual extra-tropical circulation, including a role for the tropical Atlantic sector. Additionally, a stronger and more stable stratospheric polar vortex, likely associated with a strong westerly phase of the stratospheric Quasi-Biennial Oscillation (QBO), appears to have contributed to the extreme conditions. While intrinsic climatic variability clearly has the largest effect on the generation of extremes, results from an analysis which segregates circulation-related and residual rainfall variability suggest that emerging climate change signals made a secondary contribution to extreme rainfall in winter 2013–14

Exploring the meaning in meaningful coincidences: an interpretative phenomenological analysis of synchronicity in therapy

Synchronicity experiences (SEs) are defined as psychologically meaningful connections between inner events (e.g. thought, dream or vision) and one or more external events occurring simultaneously or at a future point in time. There has been limited systematic research that has investigated the phenomenology of SEs in therapy. This study aimed to redress this by exploring the process and nature of such experiences from the perspective of the practitioner. Semi-structured face-to-face interviews were conducted with a purposive sample of nine practitioners who reported SEs in their therapeutic sessions (three counsellors, three psychologists and three psychotherapists), and focused on how participants make sense of their experiences of synchronicity in therapy. Interpretative phenomenological analysis was used to identify three superordinate themes: sense of connectedness, therapeutic process, and professional issues. Findings suggest that SEs can serve to strengthen the therapeutic relationship and are perceived as useful harbingers of information about the therapeutic process, as well as being a means of overcoming communication difficulties, as they are seen to provide insights into the client’s experiencing of themselves and others, regardless of whether or not the SE is acknowledged by the client or disclosed by the therapist