Unified Modeling Language extensions for modeling user-oriented, multi-channel access CRM systems

In the advances of Internet technologies in recent years, Electronic Commerce CRM systems have gained much attention as a major theme for companies to maintain their competitiveness. The research shows that the effective customer relationship management is the major source for customer retention and gaining over new ones. On the other hand, modern technology allows to receive information through different channels (Internet, phone, WAP). Therefore analysts are forced to use faster, more reliable methods for system modeling. The author proposes a new method for modeling Customer Relationship Management systems. The UML new extensions are introduced. The customer-oriented and multichannel access patterns aim at improvement of system modeling with the high level of abstraction. This paper identifies and analyses the main advantages of language additions and compare them to object-oriented modeling with the pure UML patterns

The design patterns in PHP language for the web documents aggregation model

This paper considers the usage of design patterns in PHP language for the documents set model. The author discusses briefly to design patterns and one of the open web documents aggregation model. Some of new features on PHP and its consequences are also presented. The author states that usage of free, powerful development tools and standard problem solving in a new context gives the flexible and professional software building environment

Customer Relationship Management system models application in higher education

The paper present a short description of Customer Relationship Management models that can be applied in the university environment. It focuses on evolution of the models and their approximation to real-life situations

Impact of Mining Activity on Soil Quality and Plant Biodiversity in Senkele Faris, West Shoa Zone, Ethiopia

Sand and rock mining is an alarming problem for the agricultural land users in Senkelefaris area since it creates long term   negative impact on the environment. The present study focuses the impacts of sand and rock mining on the soil quality and plant biodiversity. The results revealed water retention rate of the soil has reduced in the mined area due to variation in the physical nature of the soil. The percentage composition of sand fraction was significantly high in the mining area with low in organic content, low fertility, due to the  permeable nature. The bulk density was significantly (p<0.05) higher in mined soil which might be a cause for change in soil properties. Though the pH values remains within the permissible limit, the moisture content and cation exchange capacity were significantly (p<0.001) higher in the unmined soil. There were 1340 trees (22 genera and 19 family) in the unmined area whereas in the mined plots have 174 (16 genera and 19 family) were observed. The most dominant species was Olea europaea belongs to the family Oleaceae in both area. The density of shrubs was high (3975) in the un mined area when compared to (231) the mined places. Among shrubs species belonging to the family Apocynaceae were dominant (2082) in the unmined area  and  those of family Rubiaceae (89) in  the mined area. Keywords: Senkelefaris, mining, bulk density, Oleaceae, Apocynaceae, Rubiaceae

Coupling conditions for isothermal gas flow and applications to valves

We consider an isothermal gas flowing through a straight pipe and study the effects of a two-way electronic valve on the flow. The valve is either open or closed according to the pressure gradient and is assumed to act without any time or reaction delay. We first give a notion of coupling solution for the corresponding Riemann problem; then, we highlight and investigate several important properties for the solver, such as coherence, consistence, continuity on initial data and invariant domains. In particular, the notion of coherence introduced here is new and related to commuting behaviors of valves. We provide explicit conditions on the initial data in order that each of these properties is satisfied. The modeling we propose can be easily extended to a very wide class of valves

THE RELATIONSHIP BETWEEN SOCIAL RESPONSIBILITY AND ORGANIZATIONAL CITIZENSHIP BEHAVIOR IN 5 STARS HOTELS OPERATING IN PETRA CITY

This study explored the degree to which 5 stars hotels operating in Petra city are considered socially responsible, and the linkage between social responsibility activities of these organizations and the citizenship behavior of employees.A sample of 80 out of 200 employees working at 2 five stars hotels, were surveyed.Four dimensions of social responsibility (the economic, ethical, philanthropic, and the legal) with 5 dimensions of citizenship behavior (Altruism, Curtsey, Sportsmanship, Civic Virtue and conscientiousness) were correlated, the results bring to light the positive association between the examined variables, the strongest relationship was with the legal dimension followed by philanthropic, then with the ethical, and the weakest relationship was with the economic dimension

Analysis of functionality of distance learning platform moodle

The authors of this article, conducting the classes using the blended-learning method, focus their interest on the analysis of functionality of the Learning Content Management Systems software class. Architecture of open source distance learning platform Moodle was analyzed. The Author's experience with teaching students and student suggestions allow to present the influence of architectural design on functionality of the software. Facing with growing interests of usage of Moodle in the Polish universities, the authors present some advantages and disadvantages concerning the functional design and possibility of deployment in similar environments. They also suggest a few ways of improving the system architecture and give some clues that could be helpful for the deployers

Isometric Differentiable Functions on Real Normed Space

In this article, we formalize isometric differentiable functions on real normed space [17], and their properties.Futa Yuichi - Japan Advanced Institute of Science and Technology Ishikawa, JapanEndou Noboru - Gifu National College of Technology Gifu, JapanShidama Yasunari - Shinshu University Nagano, JapanGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Noboru Endou, Yasunari Shidama, and Keiichi Miyajima. The product space of real normed spaces and its properties. Formalized Mathematics, 15(3):81-85, 2007. doi:10.2478/v10037-007-0010-y.Hiroshi Imura, Morishige Kimura, and Yasunari Shidama. The differentiable functions on normed linear spaces. Formalized Mathematics, 12(3):321-327, 2004.Hiroshi Imura, Yuji Sakai, and Yasunari Shidama. Differentiable functions on normed linear spaces. Part II. Formalized Mathematics, 12(3):371-374, 2004.Jarosław Kotowicz. Partial functions from a domain to a domain. Formalized Mathematics, 1(4):697-702, 1990.Eugeniusz Kusak, Wojciech Leonczuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics, 19(1):51-59, 2011. doi:10.2478/v10037-011-0009-2.Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.Laurent Schwartz. Cours d’analyse. Hermann, 1981. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000271006300001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f3Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004.Yasunari Shidama. Differentiable functions on normed linear spaces. Formalized Mathematics, 20(1):31-40, 2012. doi:10.2478/v10037-012-0005-1.Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990.Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Hiroshi Yamazaki and Yasunari Shidama. Algebra of vector functions. Formalized Mathematics, 3(2):171-175, 1992

Quotient Module of Z-module

In this article we formalize a quotient module of Z-module and a vector space constructed by the quotient module. We formally prove that for a Z-module V and a prime number p, a quotient module V/pV has the structure of a vector space over Fp. Z-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm and cryptographic systems with lattices [14]. Some theorems in this article are described by translating theorems in [20] and [19] into theorems of Z-module.This work was supported by JSPS KAKENHI 22300285.Futa Yuichi - Shinshu University, Nagano, JapanOkazaki Hiroyuki - Shinshu University, Nagano, JapanShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Yuichi Futa, Hiroyuki Okazaki, and Yasunari Shidama. Z-modules. Formalized Mathematics, 20(1):47-59, 2012, doi: 10.2478/v10037-012-0007-z.Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5):841-845, 1990.Eugeniusz Kusak, Wojciech Leonczuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829-832, 1990.Daniele Micciancio and Shafi Goldwasser. Complexity of lattice problems: A cryptographic perspective (the international series in engineering and computer science). 2002.Christoph Schwarzweller. The ring of integers, Euclidean rings and modulo integers. Formalized Mathematics, 8(1):29-34, 1999.Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Basis of real linear space. Formalized Mathematics, 1(5):847-850, 1990.Wojciech A. Trybulec. Linear combinations in real linear space. Formalized Mathematics, 1(3):581-588, 1990.Wojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575-579, 1990.Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar

Security proofs for cryptographic systems are very important. The ultimate objective of our study is to prove the security of cryptographic systems using the Mizar proof checker. In this study, we formalize the probability on a finite and discrete sample space to achieve our aim. Therefore, we introduce a formalization of the probability distribution and prove the correctness of the formalization using the Mizar proof checking system as a formal verification tool.ArticleArtificial Intelligence Research. 2(4):37-48 (2013)journal articl