We have investigated the effect of Cu substitution in Eu2(Ir1-xCux)2O7 with help magnetic and transport property measurements. XPS measurement reveals that each Cu2+ converts Ir4+ to double amount Ir5+ ions. The metal-insulator transition temperature (T_MI) is obtained around 120 K. In insulating phase, at lower below 50 K, dependent resistivity follows a power law dependence magnitude exponent...

This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary λ-calculus. The completeness of the typing system is obtained from subject expansion at root position. This paper...

We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumerable language can be generated by a network with one deletion and two insertion nodes. Networks with an arbitrary number of deletion and substitution nodes only produce finite languages, and for each finite language on...

In analytic chemistry a detection limit (DL) is the lowest measurable amount of an analyte that can be distinguished from a blank; many biomedical measurement technologies exhibit this property. From a statistical perspective, these data present inferential challenges because instead of precise measures, one only has information that the value is somewhere between 0 and the DL (below detection ...

We demonstrate the usefulness of higher-order rewriting techniques for specializing programs, i.e., for partial evaluation. More precisely, we demonstrate how casting program specializers as combinatory reduction systems (CRSs) makes it possible to formalize the corresponding program transformations as meta-reductions, i.e., reductions in the internal “substitution calculus.” For partial-evalua...

Intellectual property (IP) scholars have long struggled to explain the boundaries of and differences between copyright and patent law. This Article proposes a novel explanation: copyright and patent can be fruitfully understood as establishing a dichotomy between two different groups of human senses. Copyright traditionally involves objects addressed to the senses of sight and hearing while pro...