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.

Spinel-type CoFe$_2$O$_4$ is a ferrimagnetic insulator with the N\'eel temperature exceeding 790 K, and shows strong cubic magnetocrystalline anisotropy (MCA) in bulk materials. However, when film grown on other materials, its magnetic properties are degraded so that so-called magnetically dead layers expected to be formed interfacial region. We investigate how of modified at interface CoFe$_2$...

Interface engineering is a powerful strategy for modulating electronic structure and enhancing intrinsic activity of electrocatalysts water splitting. Here, we grow two-dimensional cobalt-iron hydroxide (CoFe-OH) nanosheets on nickel foam substrates deposit FeOOH nanoparticles in rapid scalable wet chemical approach. The [email protected] nanocomposite features abundant active sites high surfac...

In this study, in situ -grown cobalt ferrite (CoFe 2 O 4 , CF) nanoparticles on waste biomass-derived porous activated carbon (AC) were grown via a facile hydrothermal technique to develop CF/AC nanocomposite.

A facile and highly efficient one-pot synthesis of multisubstituted pyrrole derivatives is reported via a four-component reaction of amines, aldehydes, acetylacetone and nitromethane using Pr3+ doped CoFe2O4 as a catalyst in solvent free conditions at 90°C. The catalyst is easily recoverable using magnet and could be reused without a significant loss of catalyti...

A facile and highly efficient one-pot synthesis of multisubstituted pyrrole derivatives is reported via a four-component reaction of amines, aldehydes, acetylacetone and nitromethane using Pr3+ doped CoFe2O4 as a catalyst in solvent free conditions at 90°C. The catalyst is easily recoverable using magnet and could be reused without a significant loss of catalyti...

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),...

The early advances in neutron scattering at the Chalk River Laboratories of Atomic Energy Canada are recorded. From initial nuclear physics measurements National Research Experimental (NRX) reactor came realization that, with flux available and improvements monochromator technology, direct normal modes vibrations solids structure dynamics liquids would be feasible. With further increases Univer...

Organic ligand facilitated in situ exsolution of CoFe alloys over Ba 0.5 Sr Co 0.8 Fe 0.2 O 3 perovskite toward enhanced oxygen electrocatalysis for rechargeable Zn-air batteries.