The reduction of titanocene dichloride with dysprosium yields a new titanocene(ii) equivalent without the need for further stabilising ligands. This reagent can be employed in combination with dithioacetals for the olefination of different carbonyl groups and allows for a simplified all-in-one procedure.

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...

BACKGROUND Several methods that are currently used for contouring analysis have problems providing reliable and/or meaningful results. In this paper a solution to these problems is proposed in a form of a novel measure, which was developed based on requirements defined for contouring studies. MATERIALS AND METHODS The proposed distance deviation measure can be understood as an extension of th...

A Dy6 complex composed of two Dy3 triangular units, [Dy6(μ3-OH)(CO3)3(bsc)3(MeOH)14(H2O)](Cl)5·(H2O)·(MeOH)2 (1), was isolated and found to exhibit slow relaxation of the magnetisation under zero applied dc field, resulting in a high energetic barrier to relaxation.

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

Alloy is a formal modeling language based on first-order relational logic, with no native support for specifying reactive systems. We propose an extension of Alloy to allow the specification of temporal formulas using LTL, and show how they can be verified by bounded model checking with the Alloy Analyzer.

High axiality in double unsupported phenoxide-bridged DyIII and HoIII complexes promotes slow relaxation of magnetisation high Ueff the dysprosium derivative.

There are errors in the Funding section. The correct funding information is as follows: This work was supported by National Natural Science Foundation of China (NNSFC31400091) (http://www.nsfc.gov.cn), Natural Science Foundation of Jiangsu Province (BK2012202) (http://www.jstd.gov.cn/), Chinese Postdoctoral Science Foundation (2013M540518) (http://res.chinapostdoctor.org.cn/BshWeb/index.shtml),...

Single crystals of lithium dysprosium polyphosphate, LiDy(PO(3))(4), were prepared by the flux method. The atomic arrangement is built up by infinite (PO(3))(n) chains extending along the b axis. Dy(3+) and Li(+) cations alternate in the middle of four such chains, with Dy⋯Li distances of 3.54 (1) and 3.48 (1) Å. The DyO(8) dodeca-hedra and LiO(4) tetra-hedra deviate significantly from the idea...