Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 21 - 30
of
979
Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devices
- VSTTE 2010
, 2010
"... We report on the first formal pervasive verification of an operating system microkernel featuring the correctness of inline assembly, large non-trivial C portions, and concurrent devices in a single seamless formal proof. We integrated all relevant verification results we had achieved so far [21,2 ..."
Abstract
-
Cited by 7 (3 self)
- Add to MetaCart
We report on the first formal pervasive verification of an operating system microkernel featuring the correctness of inline assembly, large non-trivial C portions, and concurrent devices in a single seamless formal proof. We integrated all relevant verification results we had achieved so far [21,20,2
Nuclear Physics B Proceedings Supplement – preprint (2014) 1–42 Nuclear Physics B Proceedings Supplement Universal Aspects of QCD-like TheoriesI
"... In these lectures I review some basic examples of how the concepts of universality and scaling can be used to study aspects of the chiral and the deconfinement transition, if not in QCD directly but in QCD-like theories. As an example for flavor dynamics I discuss a quark-hadron model to describe th ..."
Abstract
- Add to MetaCart
the phase diagram of two-color QCD with the functional renormalization group. Universal aspects of deconfinement are illustrated mainly in the 2 + 1 dimensional SU(N) gauge theories with second order transition where many exact results from spin models can be exploited.
1Generalized Signal Alignment: On the Achievable DoF for Multi-User MIMO Two-Way Relay Channels
"... Abstract—This paper studies the achievable degrees of freedom (DoF) for multi-user multiple-input multiple-output (MIMO) two-way relay channels, where there are K source nodes, each equipped with M antennas, one relay node, equipped with N antennas, and each source node exchanges independent message ..."
Abstract
- Add to MetaCart
MIMO two-way X relay channel, and L-cluster MIMO multiway relay channel. Previous studies mainly considered the achievability of the DoF cut-set bound 2N at the antenna configuration N < 2M by applying signal alignment for network coding. This work aims to investigate the achievability of the Do
J. London Math. Soc. (2) 75 (2007) 545–562 C2007 London Mathematical Society doi:10.1112/jlms/jdm033 ON BASE SIZES FOR ACTIONS OF FINITE CLASSICAL GROUPS
"... Let G be a finite almost simple classical group and let Ω be a faithful primitive non-standard G-set. A subset of Ω is a base for G if its pointwise stabilizer in G is trivial. Let b(G) be the minimal size of a base for G. A well-known conjecture of Cameron and Kantor asserts that there exists an ab ..."
Abstract
- Add to MetaCart
an absolute constant c such that b(G) c for all such groups G, and the existence of such an undetermined constant has been established by Liebeck and Shalev. In this paper we prove that either b(G) 4, or G = U6(2) · 2, Gω = U4(3) · 22 and b(G) = 5. The proof is probabilistic, using bounds on fixed
Contents
, 1994
"... We study the generalizations of the well-known Lieb-Thirring inequality for the mag-netic Schrodinger operator with nonconstant magnetic eld. Our main result is the natu-rally expected magnetic Lieb-Thirring estimate on the moments of the negative eigenvalues for a certain class of magnetic elds (in ..."
Abstract
- Add to MetaCart
We study the generalizations of the well-known Lieb-Thirring inequality for the mag-netic Schrodinger operator with nonconstant magnetic eld. Our main result is the natu-rally expected magnetic Lieb-Thirring estimate on the moments of the negative eigenvalues for a certain class of magnetic elds (including even some unbounded ones). We develop a localization technique in path space of the stochastic Feynman-Kac representation of the heat kernel which eectively estimates the oscillatory eect due to the magnetic phase
The Spherical Landau Problem
, 2001
"... The magnetization for electrons on a two-dimensional sphere, under a spherically symmetrical normal magnetic field has been studied in the large field limit. This allows us to use an Euclidean approximation for low energies electron states getting an analytical solution for the problem and avoiding ..."
Abstract
- Add to MetaCart
the difficulties of quantization on a curved manifold. At low temperatures our results are exact and allow direct comparisson with the planar Landau case. In this temperature limit we compute the magnetization and show it exhibit an oscillatory de Hass-Van Alphen type of behaviour.
DOI: 10.1007/s00526-003-0210-4
, 2003
"... Abstract. We give a new proof of regularity of biharmonic maps from four-dimensional domains into spheres, showing first that the biharmonic map system is equivalent to a set of bilinear identities in divergence form. The method of reverse Hölder inequalities is used next to prove continuity of sol ..."
Abstract
- Add to MetaCart
of solutions and higher integrability of their second order derivatives. As a byproduct, we also prove that a weak limit of biharmonic maps into a sphere is again bihar-monic. The proof of regularity can be adapted to biharmonic maps on the Heisenberg group, and to other functionals leading to fourth order
Results 21 - 30
of
979
