Let σ = {σi|i ∈ I} be a partition of the set of all primes P and G a finite group. Let σ(G) = {σi: σi∩ π(G) 6= Ø. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member ≠ 1 o...
The problem of data entry in mobile devices is considered. The shortcomings of virtual projected keyboards are analyzed. The new input technology called VKF (Virtual Keyboard and Fingers) is offered. It is shown that ...
详细信息
ISBN:
(数字)9781728125640
ISBN:
(纸本)9781728125657
The problem of data entry in mobile devices is considered. The shortcomings of virtual projected keyboards are analyzed. The new input technology called VKF (Virtual Keyboard and Fingers) is offered. It is shown that VKF is more convenient not only in comparison with projected virtual keyboards, but also with data entry methods including use of on-screen keyboards.
The aim of this work is to derive a symbol calculus on L2(n) for multidimensional Hausdorff operators. Two aspects of this activity result in two almost independent parts. While throughout the perturbation matrices ar...
详细信息
In the paper the general case of a normal discrete Hausdorff operators in L2(Rd) is considered. The main result states that under some natural arithmetic condition the spectrum of such an operator is rotationally inva...
A new notion of a Hausdorff-type operator on function spaces over domains in Euclidean spaces is introduced, and a sufficient condition for the boundedness of this operator on Sobolev spaces is proved. It is shown tha...
详细信息
Let F be a class of group and G a finite group. Then a set Σ of subgroups of G is called a G-covering subgroup system for the class F if G ∈ F whenever Σ ⊆ F. We prove that: If a set of subgroups Σ of G contains a...
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.;The 14 revised full papers were ca...
详细信息
ISBN:
(数字)9783642357374
ISBN:
(纸本)9783642357367
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.;The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
Let σ = {σi | i ∈ I} be some partition of the set of all primes. A subgroup A of a finite group G is said to be: (i) σ-subnormal in G if there is a subgroup chain A = A0 ≤ A1 ≤ · · · ≤ An = G suc...
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine...
详细信息
ISBN:
(数字)9783319039985
ISBN:
(纸本)9783319039978
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. The 18 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification.
暂无评论