The microstructure of granular materials is the main factor determining their macroscopic behaviour. We study systematically the statistical characteristics of volume elements (called quadrons) of microstructures of monoand polydisperse planar disc packs granular and report a number of new results. The packs analysed were of different intergranular friction coefficients ,μ , contained about 20,...

The controlled spatial separation of submicrometre particles by a combination of dielectrophoretic and electrohydrodynamic forces is demonstrated for the first time. Using planar microelectrode arrays, a mixture of two differently sized particles (93 nm and 216 nm diameter latex spheres) has been separated into constituent components. The particles separate into distinct bands, spatially separa...

Let F be a real quadratic field with narrow class number one, and f a Hilbert newform of weight 2 and level n with rational Fourier coefficients, where n is an integral ideal of F . By the Eichler-Shimura construction, which is still a conjecture in many cases when [F : Q] > 1, there exists an elliptic curve Ef over F attached to f . In this paper, we develop an algorithm that computes the (can...

We examine the topological characteristic cohomology classes of complexified vector bundles. In particular, all the classes coming from real vector bundles are computed. We use characteristic classes with the axioms of Milnor and Stasheff [6]. Introduction Definition (Real generator bundles). We consider a real vector bundle F → B and a complex vector bundle E → B over the same base space B. If...

We calculate the density-dependent spin-isospin asymmetry energy J(kf ) of nuclear matter in the three-loop approximation of chiral perturbation theory. The interaction contributions to J(kf ) originate from one-pion exchange, iterated one-pion exchange, and irreducible two-pion exchange with no, single, and double virtual ∆-isobar excitation. We find that the approximation to 1π-exchange and i...

Abstract The IE languages developed different strategies for the encoding of passive function. In some language branches, middle voice extended to function varying extents. addition, dedicated derivational formations arose in a number languages, such as Greek - ē-/-thē- aorist and Indo-Aryan ya- presents. Periphrastic involving verbal adjective or participle are also widely attested, played an ...

A new cut elimination method is obtained here by “proof mining” (unwinding) from the following non-effective proof that begins with extracting an infinite branch B when the canonical search tree T for a given formula E of first order logic is not finite. The branch B determines a semivaluation so that B |= Ē and (*) every semivaluation can be extended to a total valuation. Since for every deriv...