Mazur's theorem
Isbell, J. R. (1962)
General Topology and its Relations to Modern Analysis and Algebra
Ziemian, Bogdan (1994)
Equadiff 8
Nishiura, Yasumasa (1994)
Equadiff 8
Kárná, Lucie, Klapka, Štěpán (2015)
Application of Mathematics 2015
The error correcting codes are a common tool to ensure safety in various safety-related systems. The usual technique, employed in the past, is to use two independent transmission systems and to send the safety relevant message two times. This article focuses on analysis of the detection properties of this strategy in the binary symmetrical channel (BSC) model. Besides, various modifications of the mentioned technique can be used. Their impact on the detection properties can be significant, positively...
Andreian-Cazacu, C. (1962)
General Topology and its Relations to Modern Analysis and Algebra
Eichhorn, Jürgen, Fricke, Jan, Lang, Alexander (1996)
Proceedings of the 15th Winter School "Geometry and Physics"
Chleboun, Jan (2012)
Applications of Mathematics 2012
Andersson, Stig I., Högfors, Christian, Pettersson, Bo (1989)
Proceedings of the Winter School "Geometry and Physics"
Zamlynska, Katarzyna, Bolikowski, Lukasz, Rosiek, Tomasz (2008)
Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008
YADDA framework facilitates information exchange between digital document repositories. YaddaWeb, its web-based interface, provides browse and search functionalities. Content providers use DeskLight application to add or modify metadata and content. Internally, YADDA contains flexible repository aggregation mechanisms, multiple hierarchy support and full-text indexing capabilities. YADDA framework is an excellent solution for Open Access paradigm of content exchange. Migration of the Mathematical...
Zvengrowski, Peter (2006)
Proceedings of the 25th Winter School "Geometry and Physics"
Vala, Jiří (2008)
Programs and Algorithms of Numerical Mathematics
Physical analysis of phase transformation of materials consisting from several (both substitutional and interstitial) components, coming from the Onsager extremal thermodynamic principle, leads, from the mathematical point of view, to a system of partial differential equations of evolution type, including certain integral term, with substantial differences in particular phases (, ) and in moving interface of finite thickness (), in whose center the ideal liquid material behaviour can be detected....
Koutský, K., Sekanina, M. (1962)
General Topology and its Relations to Modern Analysis and Algebra
Šnobl, Libor (2004)
Proceedings of the 23rd Winter School "Geometry and Physics"
Törnig, W. (1982)
Equadiff 5
Netuka, Ivan (1982)
Equadiff 5
Kwaśniewski, A. K., Grądzka, E. (2003)
Proceedings of the 22nd Winter School "Geometry and Physics"
This paper deals with calculus which is an extension of finite operator calculus due to Rota, and leading results of Rota’s calculus are easily -extendable. The particular case is known to be relevant for quantum group investigations. It is shown here that such umbral calculus leads to infinitely many new -deformed quantum like oscillator algebra representations. The authors point to several references dealing with new applications of umbral and calculus in which new families of extensions...
Znojil, Miloslav (2005)
Proceedings of the 24th Winter School "Geometry and Physics"
Bang, Nguyen Thanh (1982)
Equadiff 5
Sladek, Vladimír, Sladek, Ján (1994)
Equadiff 8
Ruf, Bernhard (1986)
Nonlinear Analysis, Function Spaces and Applications