Vacancy island creation and coalescence using automated scanning tunneling microscopy

We demonstrate that scanning tunneling microscope tip-surface crash events can be utilized as an efficient means for the creation of predefined island configurations for diffusion studies. Using this method, islands of varying size can be created and placed in close proximity, increasing the probability of initiating and observing coalescence events. Data obtained from crash initiated events on a Ag(111) surface are presented. Relaxation time exponents extracted from these data confirm that our method gives results consistent with previous, sputter-obtained island coalescence studies. We also describe an instrument-control routine developed for these measurements that utilizes commercial imaging and off-the-shelf automation software to automate the tracking of islands or other features by the microscope.     

Fusion: Expensive and Taking Forever?

The road map of fusion power is compared to the development and deployment of other energy technologies. A generic deployment model is presented, which describes the fastest deployment (of any new technology) achievable with the constraint that the industrial capacity that needs to be built up must be continuous and should not overshoot the replacement market in the final, saturated state. It is shown that the development needs an ‘investment’ phase to build up industrial capacity which takes several decades, during which growth is typically exponential, but net energy production is negligible. During the exponential growth the cost is dominated by the capital investment, which allows for a simple comparison of different energy technologies. Fusion is at the start of the exponential growth phase, while still having significant uncertainties concerning its technical feasibility. In comparison to e.g. solar PV and wind, fusion is ‘late’, lagging by some 50 years. To follow the same rate of development that fission, wind and PV have shown, fusion will need to have 3 DEMO reactors operational in the early 2050s, followed by 10 generation one (GEN1) plants in the early 2060s and 100 GEN2 plants in the early 2070s. For the cost development to be comparable, an estimated allowable cost for one DEMO reactor is ~20 G$. While these indicative numbers for the pace and cost of development are very challenging but perhaps not unthinkable for fusion, this analysis does point towards an emphasis on ‘simpler and cheaper’ reactor designs.     

Solving parity games by a reduction to SAT

This paper presents a reduction from the problem of solving parity games to the satisfiability problem in propositional logic (SAT). The reduction is done in two stages, first into difference logic, i.e. SAT combined with the theory of integer differences, an instance of the SAT modulo theories (SMT) framework. In the second stage the integer variables and constraints of the difference logic encoding are replaced with a set of Boolean variables and constraints on them, giving rise to a pure SAT encoding of the problem. The reduction uses Jurdziński?s characterisation of winning strategies via progress measures. The reduction is motivated by the success of SAT solvers in symbolic verification, bounded model checking in particular. The paper reports on prototype implementations of the reductions and presents some experimental results.     

Coupling Interrupted Fischer and Multicomponent Joullié-Ugi to Chase Chemical Diversity: from Batch to Sustainable Flow Synthesis of Peptidomimetics

The generation of peptidomimetic substructures for medicinal chemistry purposes requires effective and divergent synthetic methods. We present in this work an efficient flow process that allows quick modulation of reagents for Joullié-Ugi multicomponent reaction, using spiroindolenines as core motifs. This sterically hindered imine equivalent could successfully be diversified using various isocyanides and amino acids in generally good space-time yields. A telescoped flow process combining interrupted Fischer reaction for spiroindolenine synthesis and subsequent Joullié-Ugi-type modification resulted in product formation in very good overall yield in less than 2 hours compared to 48 hours required in batch mode. The developed protocol can be seen as a general tool for rapid and facile generation of peptidomimetic compounds. We also showcase preliminary biological assessments for the prepared compounds.     

Environmental Control of Triplet Emission in Donor–Bridge–Acceptor Organometallics

Carbene‐metal‐amides (CMAs) are a promising family of donor–bridge–acceptor molecular charge‐transfer (CT) emitters for organic light‐emitting diodes. A universal approach is demonstrated to tune the energy of their CT emission. A blueshift of up to 210 meV is achievable in solid state via dilution in a polar host matrix. The origin of this shift has two components: constraint of thermally‐activated triplet diffusion, and electrostatic interactions between guest and polar host. This allows the emission of mid‐green CMA archetypes to be tuned to sky blue without chemical modifications. Monte‐Carlo simulations based on a Marcus‐type transfer integral successfully reproduce the concentration‐ and temperature‐dependent triplet diffusion process, revealing a substantial shift in the ensemble density of states in polar hosts. In gold‐bridged CMAs, this shift does not lead to a significant change in luminescence lifetime, thermal activation energy, reorganization energy, or intersystem crossing rate. These discoveries offer new insight into coupling between the singlet and triplet manifolds in CMA materials, revealing a dominant interaction between states of CT character. The same approach is employed using materials which have been chemically modified to alter the energy of their CT state directly, shifting the emission of sky‐blue chromophores into the practical blue range.     

Identifying poor metabolic adaptation during early lactation in dairy cows using cluster analysis

Currently, cows with poor metabolic adaptation during early lactation, or poor metabolic adaptation syndrome (PMAS), are often identified based on detection of hyperketonemia. Unfortunately, elevated blood ketones do not manifest consistently with indications of PMAS. Expected indicators of PMAS include elevated liver enzymes and bilirubin, decreased rumen fill, reduced rumen contractions, and a decrease in milk production. Cows with PMAS typically are higher producing, older cows that are earlier in lactation and have greater body condition score at the start of lactation. It was our aim to evaluate commonly used measures of metabolic health (input variables) that were available [i.e., blood β-hydroxybutyrate acid, milk fat:protein ratio, blood nonesterified fatty acids (NEFA)] to characterize PMAS. Bavarian farms (n = 26) with robotic milking systems were enrolled for weekly visits for an average of 6.7 wk. Physical examinations of the cows (5–50 d in milk) were performed by veterinarians during each visit, and blood and milk samples were collected. Resulting data included 790 observations from 312 cows (309 Simmental, 1 Red Holstein, 2 Holstein). Principal component analysis was conducted on the 3 input variables, followed by K-means cluster analysis of the first 2 orthogonal components. The 5 resulting clusters were then ascribed to low, intermediate, or high PMAS classes based on their degree of agreement with expected PMAS indicators and characteristics in comparison with other clusters. Results revealed that PMAS classes were most significantly associated with blood NEFA levels. Next, we evaluated NEFA values that classify observations into appropriate PMAS classes in this data set, which we called separation values. Our resulting NEFA separation values [<0.39 mmol/L (95% confidence limits = 0.360–0.410) to identify low PMAS observations and ≥0.7 mmol/L (95% confidence limits = 0.650–0.775) to identify high PMAS observations] were similar to values determined for Holsteins in conventional milking settings diagnosed with hyperketonemia and clinical symptoms such as anorexia and a reduction in milk yield, as reported in the literature. Future studies evaluating additional clinical and laboratory data, breeds, and milking systems are needed to validate these finding. The aim of future studies would be to build a PMAS prediction model to alert producers of cows needing attention and help evaluate on-farm metabolic health management at the herd level.     

Der Schau- und Lehrstollen Arzberg/Steiermark: Beispiel für eine intelligente Nachnutzung eines Altbergbaus

Touristic mines are by far not only of public interest. During guided tours the importance of mining and mineral resources for society can be explained in a proper way. Mineral deposits, for long time not accessible and only known from old literature can now be studied in detail by scientists. Old underground mines can be used for different purposes. With respect to Arzberg the different possibilities of utilization of old underground workings are described in detail: A touristic mine serves not only as an attraction, but also as a training centre for underground geological mapping, geochemistry and geophysics research laboratory of universities. For many years the ZAMG (Central Institute for Meteorology and Geodynamics) has been operating a seismic station, and parts of the old mine workings have been used for cheese refinery since 2006. Furthermore, the mine water is utilized for extracting geothermal energy and serves the cooling chambers. The combined use of the old mine workings by different parties permits sharing the substantial maintenance costs.     

metaSMT: focus on your application and not on solver integration

International Journal on Software Tools for Technology Transfer - Many applications from artificial intelligence and formal methods use decision procedures as their core solving engines. In this...