In magnetic materials, the Pauli exclusion principle typically drives anti-alignment between electron spins on neighbouring species resulting in antiferromagnetic behaviour. Ferromagnetism exhibiting spontaneous spin alignment is a fairly rare behaviour, but once materialized is often associated with itinerant electrons in metals. Here we predict and rationalize robust ferromagnetism in an insu...

Reducing redundant medical lab tests has been discussed in the literature as a cost saving benefit of Electronic Health Record (EHR) adoption; however the literature does not provide a great deal of information on the mechanics of achieving this goal. Laboratory ordering using an EHR occurs within a complex socio-technical context that can be difficult to understand. A case study was performed ...

We construct explicit representations of the Heisenberg-Weyl algebra [P, M ] = 1 in terms of ladder operators acting in the space of Sheffer-type polynomials. Thus we establish a link between the monomiality principle and the umbral calculus. We use certain operator identities which allow one to evaluate explicitly special boson matrix elements between the coherent states. This yields a general...

Generally ordering policies are done by two methods, including fix order quantity (FOQ) and fix order period (FOP). These methods are static and either the quantity of ordering or the procedure of ordering is fixing in throughout time horizon. In real environments, demand is varying in any period and may be considered as uncertainty. When demand is variable in any period, the traditional and st...

We define a collection of Prover-Delayer games to characterise some subsystems of propositional resolution. We give some natural criteria for the games which guarantee lower bounds on the resolution width. By an adaptation of the size-width tradeoff for resolution of [10] this result also gives lower bounds on proof size. We also use games to give upper bounds on proof size, and in particular d...

Example 1. Show that every amount of change n ≥ 8 can be paid with only 3c and 5c coins. Proof: Suppose, for the sake of contradiction, that there are some values of n ≥ 8 such that it is not possible to pay n with 3c and 5c coins. Take the set of all such values. Since all of them are natural numbers, there is, by well-ordering principle, a minimal element in this set; let’s call it k. Now, co...

This paper develops some mathematical models arising in psychology and some other areas of behavioral sciences that are formalized via general preferences with variable ordering structures. Our considerations are based on the recent “variational rationality approach” that unifies numerous theories in different branches of behavioral sciences by using, in particular, worthwhile change and stay d...

The restricted open-shell Hartree-Fock (ROHF) method in its different formulations is a standard tool used by quantum chemists for studying open-shell systems. This work presents a discussion of specific difficulties which arise in the ROHF method in those cases where the orbital energies violate the Aufbau principle (AP). The AP violations are often treated in the literature as a deficiency of...

Estimating and minimizing the maximum power dissipation during testing is an important task in VLSI circuit realization since the power value affects the reliability of the circuits. Therefore during testing a methodology should be adopted to minimize power consumption. Test patterns generated with –D 1 option of ATALANTA contains don’t care bits (x bits). By suitable filling of don’t cares can...