In this work we study multidimensional (nD) linear differential behaviours with a distinguished independent variable, called ”time”. We define in a natural way causality and stability of input/output structures with respect to this distinguished direction. We make an extension of some results in the theory of partial differential equations, demonstrating that causality is equivalent to a proper...

Property testers are algorithms that distinguish inputs with a given property from those that are far from satisfying the property. Far means that many characters of the input must be changed before the property arises in it. Property testing was introduced by Rubinfeld and Sudan in the context of linearity testing and first studied in a variety of other contexts by Goldreich, Goldwasser and Ro...

Structural balance theory attempts to model signed networks consisting of positive (friendly) and negative (antagonistic) relations. We consider network creation games for modeling the evolution of signed networks. Recently, Malekzadeh et. al. (KDD 2011) have proposed a network creation game based on structural balance theory of signed networks. In this paper, we introduce a generalized model b...

8. p 133, k-variable property. Related results are given in the paper On bounded theories by J. Flum (in Proc. Computer Science Logic 91, Berne, eds. E. Boerger, G. Jaeger, H. Kleine Buening, M.M. Richter, Springer LNCS 626, 111–118). There, a first-order theory T in signature L is said to be k-bounded if (essentially) every first-order L-formula is T -equivalent to one where at most k distinct...

Author’s note. This paper was originally written in 1986 during a brief time when scientific American had published a number of math articles. By the time it was finished and submitted, this window had apparently closed. At any rate this paper was turned down and, as far as we know, no further mathematics appeared. We have recently decided that the paper might have sufficient interest to at lea...

It is well-known that any substitution in intuitionistic propositional logic can be seen as an endomorphism between free Heyting algebras. For a given substitution σ : F (n)→ F (m), (where F (n) is the n-generated free Heyting algebra, n ∈ ω), the theory of σ is the filter σ−1(>). The theory of σ is finitely axiomatizable if σ−1(>) is a principal filter. The formula which generates this filter ...

One of the important problems in group theory is characterization of a group by a given property, that is, to prove there exist only one group with a given property. Let  be a finite group. We denote by  the largest order of elements of . In this paper, we prove that some Suzuki groups are characterizable by order and the largest order of elements. In fact, we prove that if  is a group with  an...

Organic electrode materials have received increasing attention in rechargeable batteries due to their earth abundance and variable structures. However, the practical application of most organic is limited by high solubility electrolyte. Herein, an insoluble amino-functionalized hexaazatriphenylene (defined as HATN-[NH2]3) electrolyte developed stable cathode material for lithium-ion (LIBs). The...

This conference paper provides an overview of the material presented in two field electron emission tutorial lectures given at the 2016 Young Researchers' School in Vacuum Microand NanoElectronics, held in Saint-Petersburg in October 2016. This paper aims to indicate the scope and structure of the tutorials, and also where some of the related published material can be found. Keywords—field elec...