Search results for "model theory"
showing 10 items of 681 documents
Quasiadditivity of Variational Capacity
2013
We study the quasiadditivity property (a version of superadditivity with a multiplicative constant) of variational capacity in metric spaces with respect to Whitney type covers. We characterize this property in terms of a Mazya type capacity condition, and also explore the close relation between quasiadditivity and Hardy's inequality.
Crystal structure and physical properties of Mg6Cu16Si7-type M6Ni16Si7, for M=Mg, Sc, Ti, Nb, and Ta
2008
Five compounds were investigated for magnetic character and superconductivity, all with non-magnetic nickel and band structures containing flat bands and steep bands. The syntheses and crystal structures, refined by powder X-ray diffraction, are reported for M{sub 6}Ni{sub 16}Si{sub 7}, where M = Mg, Sc, Ti, Nb, and Ta. All compounds form in the Mg{sub 6}Cu{sub 16}Si{sub 7} structure type. Resistance measurements are also reported on M{sub 6}Ni{sub 16}Si{sub 7} (M = Mg, Sc, Ti, and Nb) down to 0.3 K, with all four showing metallic conductivity. No superconductivity is observed. Magnetization measurements for all compounds reveal essentially temperature independent paramagnetism, with a tend…
Interpretation of the Solar 48Ca/46Ca Abundance Ratio and the Correlated Ca-Ti-Cr Isotopic Anomalies in Inclusions of the Allende Meteorite
1986
In the past, astrophysical models encountered severe difficulties in explaining the solar 46,48Ca abundances or the correlated Ca-Ti-Cr isotopic anomalies observed in inclusions of the Allende meteorite [1–3]. Among the various attempts. SANDLER et al. [4] suggested the production of neutron-rich stable Ca-Ti-Cr isotopes in a high neutron density environment of ~107 mol/cm3 with a neutron-exposure time of 10 s. Assuming the initial abundances to be solar and applying Hauser-Feshbach neutron-capture crosa sections, the above authors have calculated a 48Ca/46Ca abundance ratio which is only a factor of 2.6 smaller than the observed solar value of 56. However, the predicted isotopic anomalies …
Computation of the topological type of a real Riemann surface
2014
We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the properties of the set of fixed points of the anti-holomorphic involution τ \tau , namely, the number of its connected components, and whether this set divides the surface into one or two connected components. This is achieved by transforming an arbitrary canonical homology basis to a homology basis where the A \mathcal {A} -cycles are invariant under the anti-holomorphic involution τ \tau .
The solvent-excluding surface as a descriptor of ionic channels: Gramicidin-A
1998
Abstract We have set out a methodology for checking the performance of the methods used to compute the Solvent-Excluding Surface. The method consists of computing the area of the Solvent-Excluding Surface of a model of channel, with a fixed pore size, for several values of the solvent radius. The graphical representation of the value of the area versus the radius of the solvent sphere shows a sharp change just at the radius of the pore. With this model we may analyze the ability of each method to describe small changes of the surface. We made the study with GEPOL93, older versions of GEPOL and MSDOT. The study is applied to a natural protein channel, as is Gramicidin-A, showing that this ty…
Isolated roundings and flattenings of submanifolds in Euclidean spaces
2005
We introduce the concepts of rounding and flattening of a smooth map $g$ of an $m$-dimensional manifold $M$ to the euclidean space $\R^n$ with $m<n$, as those points in $M$ such that the image $g(M)$ has contact of type $\Sigma^{m,\dots,m}$ with a hypersphere or a hyperplane of $\R^n$, respectively. This includes several known special points such as vertices or flattenings of a curve in $\R^n$, umbilics of a surface in $\R^3$, or inflections of a surface in $\R^4$.
Automorphisms of $mathbb{A}^{1}$-fibered affine surfaces
2011
We develop technics of birational geometry to study automorphisms of affine surfaces admitting many distinct rational fibrations, with a particular focus on the interactions between automorphisms and these fibrations. In particular, we associate to each surface S of this type a graph encoding equivalence classes of rational fibrations from which it is possible to decide for instance if the automorphism group of S is generated by automorphisms preserving these fibrations.
H∞ sliding mode control for uncertain neutral-type stochastic systems with Markovian jumping parameters
2015
This paper is devoted to the investigation of H ∞ sliding mode control (SMC) for uncertain neutral stochastic systems with Markovian jumping parameters and time-varying delays. A sliding surface functional is firstly constructed. Then, the sliding mode control law is designed to guarantee the reachability of the sliding surface in a finite-time interval. The sufficient conditions for asymptotically stochastic stability of sliding mode dynamics with a given disturbance attenuation level are presented in terms of linear matrix inequalities (LMIs). Finally, an example is provided to illustrate the efficiency of the proposed method.
Roughening of the Cu(110) surface
1993
The structure of the Cu(110) surface is studied at high temperatures using a combination of lattice-gas Monte Carlo and molecular dynamics methods with identical many-atom interactions derived from the effective medium theory. The anisotropic six-vertex model is used in the interpretation of the lattice-gas results. We find a clear roughening transition around T_R=1000K and T_R/T_M=0.81. Molecular dynamics reveals the clustering of surface defects as the atomistic mechanism of the transition and allows us to estimate characteristic time scales. For the system of size 50x50, the time scale of the local roughening at 1150 K of an initially smooth surface is of the order of 100 ps.
Approximation von extremalflächenstücken (hyperbolischen typs) durch charakteristische räumliche vierecke
1982
We consider solutions z of the Cauchy-problem for hyperbolic Euler-Lagrange equations derived from a general Lagrangian f(x, y, z; zx, zy) in two independent variables x, y. z is supposed to be an extremal of the corresponding variational problem. Visualizing z as a surface in R3 we give a geometric interpretation of Lewy's well-known characteristic approximation scheme for the numerical solution of second order hyperbolic equations by approximating z via a polyhedral construction built up from subunits which consist of two characteristic triangles having one side in common but lying on different planes in R3. Utilizing ideas from Cartan-geometry one can (in an appropriate sense) introduce …