+
Условия слабой зависимости в предельных теоремах для обобщённых сумм
стр.4-12
Приводятся «общеупотребительные» условия регулярности, обеспечивающие выполнение минимальных условий слабой зависимости в предельных теоремах для обобщенных сумм.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Space-time assumptions behind np-hardness of propositional satisfiability
стр.13-30
O.Kosheleva, V. Kreinovieh
For some problems, we know feasible algorithms for solving them. Other computational problems (such as propositional satisfiability) are known to be NP-hard, which means that, unless P=NP (which most computer scientists believe to be impossible), no feasible algorithm is possible for solving all possible instances of the corresponding problem. Most usual proofs of NP-hardness, however, use Turing machine - a very simplified version of a computer - as a computation model. While Turing machine has been convincingly shown to be adequate to describe what can be computed in principle, it is much less intuitive that these oversimplified machines are adequate for describing what can be computed effectively; while the corresponding adequacy results are known, they are not easy to prove and are, thus, not usually included in the textbooks. To make the NP-hardness result more intuitive and more convincing, we provide a new proof in which, instead of a Turing machine, we use a generic computational device. This proof explicitly shows the assumptions about space-time physics that underlie NP-hardness: that all velocities are bounded by the speed of light, and that the volume of a sphere grows no more than polynomially with radius. If one of these assumptions is violated, the proof no longer applies; moreover, in such space-times we can potentially solve the satisfiability problem in polynomial time.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Knowledge geometry is similar to general relativity: both mass and knowledge curve the corresponding spaces
стр.31-37
In this paper, we explain and explore the idea that knowledge is similar to mass in physics: similarly to how mass curves space-time, knowledge curves the corresponding knowledge space.
Загружаем данные из библиотечной системы...
Ключевые слова
+
On hyperbolic motion in two homogeneous space times (research announcement)
стр.38-42
In I960 W. Rindler generalized the concept of hyperbolic motion to an arbitrary Lorentzian manifold and studied this motion in the case of de Sitter space-time. We specify Rindlers (non-linear) system of differential equations in the case of the Segals compact cosmos D (which is locally isometric to the Einstein static universe), and in the case of the Heraclitian space-time F. This F is the real Lie group U(1,1) with a certain bi-invariant metric on it whereas D is U(2) with a bi-invariant metric on it. In each case, we present a particular solution to the Rindlers system.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Oбзор методов идентификации человека по радужной оболочке глаза
стр.43-64
В статье представлен обзор современных методов идентификации и верификации человека по радужной оболочке глаза. Вначале излагаются хорошо известные факты о строении глаза и его радужной оболочки. Далее описываются основные принципы работы биометрических систем и показатели качества их работы. Следующий раздел описывает известные методы: выделения зрачка, выделения радужной оболочки, преобразования к эталону, определения границ радужки. Затем описываются алгоритмы определения ключевых точек на основе вейвлет-преобразований. В частности, описывается применение фильтра Габора. Описаны методы сравнения с эталоном на основе расстояния Хэмминга и метода проекционной фазовой корреляции. Обсуждаются достоинства и недостатки описанных подходов
Загружаем данные из библиотечной системы...
Ключевые слова
