Solutions de rang k et invariants de Riemann pour les systèmes de type hydrodynamique multidimensionnels

Dans ce travail, nous adaptons la méthode des symétries conditionnelles afin de construire des solutions exprimées en termes des invariants de Riemann. Dans ce contexte, nous considérons des systèmes non elliptiques quasilinéaires homogènes (de type hydrodynamique) du premier ordre d'équations aux dérivées partielles multidimensionnelles. Nous décrivons en détail les conditions nécessaires et suffisantes pour garantir l'existence locale de ce type de solution. Nous étudions les relations entre la structure des éléments intégraux et la possibilité de construire certaines classes de solutions de rang k. Ces classes de solutions incluent les superpositions non linéaires d'ondes de Riemann ainsi que les solutions multisolitoniques. Nous généralisons cette méthode aux systèmes non homogènes quasilinéaires et non elliptiques du premier ordre. Ces méthodes sont appliquées aux équations de la dynamique des fluides en (3+1) dimensions modélisant le flot d'un fluide isentropique. De nouvelles classes de solutions de rang 2 et 3 sont construites et elles incluent des solutions double- et triple-solitoniques. De nouveaux phénomènes non linéaires et linéaires sont établis pour la superposition des ondes de Riemann. Finalement, nous discutons de certains aspects concernant la construction de solutions de rang 2 pour l'équation de Kadomtsev-Petviashvili sans dispersion.

Properties of Lp (K)-Solutions of Linear Nonhomogeneous Impulsive Differential Equations with Unbounded Linear Operator

Sufficient conditions for the existence of Lp(k)-solutions of linear nonhomogeneous impulsive differential equations with unbounded linear operator are found. An example of the theory of the linear nonhomogeneous partial impulsive differential equations of parabolic type is given.

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

New Ventures’ influence on the Growth of SME Employment, Production and Exports in India: Does Institutional Credit matter?

New ventures are considered to be a major source of small firm growth. In Indian context the contribution of new ventures in terms of new employment, production and exports has largely remained unexplored. It is equally important and unexplored, the significance of the contribution of bank credit to the growth of new ventures in India. This paper is an attempt to throw light on these two aspects. The research is based on secondary data of the liberalized period provided by Ministry of Micro, Small and Medium Enterprises, Government of India and Reserve Bank of India. To analyze the influence of bank credit growth on new ventures and the influence of new ventures on growth of additional employment, additional production and additional exports, we used a Bi-Variate Vector Auto Regression. Based on the model generated, Granger causality tests are conducted to obtain the results. The study found that rate of growth of bank credit causes the number of new ventures, implying any increase in the rate of growth of bank credit will be beneficial to the growth of new ventures. The study also concluded that new ventures are not causing the growth of additional employment or additional production. However new ventures cause the growth of additional exports. This is reasonable as entrepreneurs start their new ventures with minimum possible employment and relatively low rate of capacity utilization and they come up to take advantage of the process of globalization by catering to the international market.

Combinatorial properties of finite geometric lattices

Let L be a finite geometric lattice of dimension n, and let w(k) denote the number of elements in L of rank k. Two theorems about the numbers w(k) are proved: first, w(k) ≥ w(1) for k = 2, 3, ..., n-1. Second, w(k) = w(1) if and only if k = n-1 and L is modular. Several corollaries concerning the "matching" of points and dual points are derived from these theorems.

Both theorems can be regarded as a generalization of a theorem of de Bruijn and Erdös concerning ʎ= 1 designs. The second can also be considered as the converse to a special case of Dilworth's theorem on finite modular lattices.

These results are related to two conjectures due to G. -C. Rota. The "unimodality" conjecture states that the w(k)'s form a unimodal sequence. The "Sperner" conjecture states that a set of non-comparable elements in L has cardinality at most max/k {w(k)}. In this thesis, a counterexample to the Sperner conjecture is exhibited.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

Outward currents in smooth muscle cells isolated from sheep mesenteric lymphatics.

1. The patch-clamp technique was used to measure membrane currents in isolated smooth muscle cells dispersed from sheep mesenteric lymphatics. Depolarizing steps positive to -30 mV evoked rapid inward currents followed by noisy outward currents. 2. Nifedipine (1 microM) markedly reduced the outward current, while Bay K 8644 (1 microM) enhanced it. Up to 90% of the outward current was also blocked by iberiotoxin (Kd = 36 nM). 3. Large conductance (304 +/- 15 pS, 7 cells), Ca(2+)- and voltage-sensitive channels were observed during single-channel recordings on inside-out patches using symmetrical 140 mM K+ solutions (at 37 degrees C). The voltage required for half-maximal activation of the channels (V1/2) shifted in the hyperpolarizing direction by 146 mV per 10-fold increase in [Ca2+]i. 4. In whole-cell experiments a voltage-dependent outward current remained when the Ca(2+)-activated current was blocked with penitrem A (100 nM). This current activated at potentials positive to -20 mV and demonstrated the phenomenon of voltage-dependent inactivation (V1/2 = -41 +/- 2 mV, slope factor = 18 +/- 2 mV, 5 cells). 6. Tetraethylammonium (TEA; 30 mM) reduced the voltage-dependent current by 75% (Kd = 3.3 mM, 5 cells) while a maximal concentration of 4-aminopyridine (4-AP; 10 mM) blocked only 40% of the current. TEA alone had as much effect as TEA and 4-AP together, suggesting that there are at least two components to the voltage-sensitive K+ current. 7. These results suggest that lymphatic smooth muscle cells generate a Ca(2+)-activated current, largely mediated by large conductance Ca(2+)-activated K+ channels, and several components of voltage-dependent outward current which resemble 'delayed rectifier' currents in other smooth muscle preparations.

The lower central and derived series of the braid groups of the projective plane

In this paper, we determine the lower central and derived series for the braid groups of the projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. The n-string braid groups B(n)(RP(2)) of the projective plane RP(2) were originally studied by Van Buskirk during the 1960s. and are of particular interest due to the fact that they have torsion. The group B(1)(RP(2)) (resp. B(2)(RP(2))) is isomorphic to the cyclic group Z(2) of order 2 (resp. the generalised quaternion group of order 16) and hence their lower central and derived series are known. If n > 2, we first prove that the lower central series of B(n)(RP(2)) is constant from the commutator subgroup onwards. We observe that Gamma(2)(B(3)(RP(2))) is isomorphic to (F(3) X Q(8)) X Z(3), where F(k) denotes the free group of rank k, and Q(8) denotes the quaternion group of order 8, and that Gamma(2)(B(4)(RP(2))) is an extension of an index 2 subgroup K of P(4)(RP(2)) by Z(2) circle plus Z(2). As for the derived series of B(n)(RP(2)), we show that for all n >= 5, it is constant from the derived subgroup onwards. The group B(n)(RP(2)) being finite and soluble for n <= 2, the critical cases are n = 3, 4. We are able to determine completely the derived series of B(3)(RP(2)). The subgroups (B(3)(RP(2)))((1)), (B(3)(RP(2)))((2)) and (B(3)(RP(2)))((3)) are isomorphic respectively to (F(3) x Q(8)) x Z(3), F(3) X Q(8) and F(9) X Z(2), and we compute the derived series quotients of these groups. From (B(3)(RP(2)))((4)) onwards, the derived series of B(3)(RP(2)), as well as its successive derived series quotients, coincide with those of F(9). We analyse the derived series of B(4)(RP(2)) and its quotients up to (B(4)(RP(2)))((4)), and we show that (B(4)(RP(2)))((4)) is a semi-direct product of F(129) by F(17). Finally, we give a presentation of Gamma(2)(B(n)(RP(2))). (C) 2011 Elsevier Inc. All rights reserved.

Closed-form solutions for low-rank non-rigid reconstruction

Recovering the motion of a non-rigid body from a set of monocular images permits the analysis of dynamic scenes in uncontrolled environments. However, the extension of factorisation algorithms for rigid structure from motion to the low-rank non-rigid case has proved challenging. This stems from the comparatively hard problem of finding a linear “corrective transform” which recovers the projection and structure matrices from an ambiguous factorisation. We elucidate that this greater difficulty is due to the need to find multiple solutions to a non-trivial problem, casting a number of previous approaches as alleviating this issue by either a) introducing constraints on the basis, making the problems nonidentical, or b) incorporating heuristics to encourage a diverse set of solutions, making the problems inter-dependent. While it has previously been recognised that finding a single solution to this problem is sufficient to estimate cameras, we show that it is possible to bootstrap this partial solution to find the complete transform in closed-form. However, we acknowledge that our method minimises an algebraic error and is thus inherently sensitive to deviation from the low-rank model. We compare our closed-form solution for non-rigid structure with known cameras to the closed-form solution of Dai et al. [1], which we find to produce only coplanar reconstructions. We therefore make the recommendation that 3D reconstruction error always be measured relative to a trivial reconstruction such as a planar one.

Phase relations between Al2O3---Cr2O3 and FeAl2O4---FeCr2O4 solid solutions at 1823 K

Tie-lines between the corundum and spinel solid solutions have been determined experimentally at 1823 K. Next, activities of FeCr2O4 and FeAl2O4 in the spinel solid solution were determined by combining the tie-line data with literature values for the activities of Cr2O3 and Al2O3 in the corundum phase. Activities and the Gibbs energy of mixing for the spinel solid solution were also obtained from a model based on cation distribution between nonequivalent crystallographic sites in the oxide lattice. The difference between the Gibbs energy of mixing obtained experimentally and from the model has been attributed to a strain enthalpy term which is relatively unchanged in magnitude from the reported at 1373 K. The integral enthalpy of mixing obtained from experimental data at 1373 and 1823 K using the second law is compared with the model result.

Thermodynamic measurements of b.c.c. Cr-Mn solid solutions at 1373 K

Thermodynamics of Cr-Mn alloys have been studied by Eremenko et al (l) using a fused salt e.m.f.technique. Their results indicate positive deviations from ideality at 1023 K. Kaufman (2) has independently estimated negative enthaipy and excess entropy for the b.c.c. Cr-Mn alloys, such that at high temperatures, the entropy term predominates over the enthalpy term giving positive deviations from ideality. Recently the thermodynamic properties of the alloys have been measured by 3acob (3) using a Knudsen cell technique in the temperature range of 1200 to 1500 K. The results indicate mild negative deviations from ideality over the entire composition range. Because of the differences in the reported results and Mn being a volatile component in the alloys which leads to surface depletion under a dynamic set up, an isopiestic technique is used to measure the properties of the alloys.

Phase equilibria in the Co Ni F system and activities in (CoxNi1 x)F2 solid solutions at 1373 K

The tie-lines delineating equilibria between CoF2-NiF2 and Co-Ni solid solutions in the ternary Co-Ni-F system at 1373 K have been determined by electron microprobe and EDAX point count analysis of the equilibrated phases. Activities in the fluoride solid solution have been derived from the knowledge of activitycomposition relation in the metallic solid solution and tie-line data,using a modified form of the Gibbs-Duhem integration. The fluorine potentials corresponding to the tie-line compositions have been calculated.The excess Gibbs' energy of mixing for the fluoride solid solution derived from the present data can be represented by the expression

Origin and elimination of spurious solutions of the eight-band k center dot p theory

The origin of spurious solutions in the eight-band envelope function model is examined and it is shown that spurious solutions arise from the additional spurious degeneracies caused by the unphysical bowing of the conduction bands calculated within the eight-band k center dot p model. We propose two approaches to eliminate these spurious solutions. Using the first approach, the wave vector cutoff method, we demonstrate the origin and elimination of spurious solutions in a transparent way without modifying the original Hamiltonian. Through the second approach, we introduce some freedom in modifying the Hamiltonian. The comparison between the results from the various modified Hamiltonians suggests that the wave vector cutoff method can give accurate enough description to the final results.