Abstract: Algebra is one of the important fields of mathematics. It concerns with the study and manipulation of mathematical symbols. It also concerns with the study of abstractions such as groups, rings, and fields. Due to the development of these abstractions, it is extended to consider other structures, such as vectors, matrices, and polynomials, which are non-numerical objects. Computer algebra is the implementation of algebraic methods as algorithms and computer programs. Recently, many algebraic cryptosystem protocols are based on non-commutative algebraic structures, such as authentication, key exchange, and encryption-decryption processes are adopted. Cryptography is the science that aimed at sending the information through public channels in such a way that only an authorized recipient can read it. Ring theory is the most attractive category of algebra in the area of cryptography. In this paper, we employ the algebraic structure called skew -Armendariz rings to design a neoteric algorithm for zero knowledge proof. The proposed protocol is established and illustrated through numerical example, and its soundness and completeness are proved.
Abstract: Success means different things for different people.
For us, project managers, it becomes even harder to actually find a
definition. Many factors have to be included in the evaluation.
Moreover, literature is not very helpful, lacking consensus and
neutrality. Post-implementation reviews (PIR) can be an efficient tool
in evaluating how things worked on a certain project. Despite the
visible progress, PIR is not a very detailed subject yet and there is not
common understanding in this matter. This may be the reason that
some organizations include it in the projects’ lifecycle and some do
not. Through this paper, we point out the reasons why all project
managers should pay proper attention to this important step and to the
elements which can be assessed, beside the already famous triple
constraints: cost, budget and time. It is essential to take notice that PIR is not a checklist. It brings the
edge in eliminating subjectivity and judging projects based on actual
proof. Based on our experience, our success indicator model,
presented in this paper, contributes to the success of the project! In
the same time, it increases trust among customers who will perceive
success more objectively.
Abstract: The system for analyzing and eliciting public
grievances serves its main purpose to receive and process all sorts of
complaints from the public and respond to users. Due to the more
number of complaint data becomes big data which is difficult to store
and process. The proposed system uses HDFS to store the big data
and uses MapReduce to process the big data. The concept of cache
was applied in the system to provide immediate response and timely
action using big data analytics. Cache enabled big data increases the
response time of the system. The unstructured data provided by the
users are efficiently handled through map reduce algorithm. The
processing of complaints takes place in the order of the hierarchy of
the authority. The drawbacks of the traditional database system used
in the existing system are set forth by our system by using Cache
enabled Hadoop Distributed File System. MapReduce framework
codes have the possible to leak the sensitive data through
computation process. We propose a system that add noise to the
output of the reduce phase to avoid signaling the presence of
sensitive data. If the complaints are not processed in the ample time,
then automatically it is forwarded to the higher authority. Hence it
ensures assurance in processing. A copy of the filed complaint is sent
as a digitally signed PDF document to the user mail id which serves
as a proof. The system report serves to be an essential data while
making important decisions based on legislation.
Abstract: This study has been prepared with the purpose to get the views of senior class Elementary Education Mathematics preservice teachers on proving. Data have been obtained via surveys and interviews carried out with 104 preservice teachers. According to the findings, although preservice teachers have positive views about using proving in mathematics teaching, it is seen that their experiences related to proving is limited to courses and they think proving is a work done only for the exams. Furthermore, they have expressed in the interviews that proving is difficult for them, and because of this reason they prefer memorizing instead of learning.
Abstract: This paper introduces a temporal epistemic logic
CBCTL that updates agent-s belief states through communications
in them, based on computational tree logic (CTL). In practical
environments, communication channels between agents may not be
secure, and in bad cases agents might suffer blackouts. In this study,
we provide inform* protocol based on ACL of FIPA, and declare the
presence of secure channels between two agents, dependent on time.
Thus, the belief state of each agent is updated along with the progress
of time. We show a prover, that is a reasoning system for a given
formula in a given a situation of an agent ; if it is directly provable
or if it could be validated through the chains of communications, the
system returns the proof.
Abstract: This paper seeks to develop simple yet practical and
efficient control scheme that enables cooperating arms to handle a
flexible beam. Specifically the problem studied herein is that of two
arms rigidly grasping a flexible beam and such capable of generating
forces/moments in such away as to move a flexible beam along a
predefined trajectory. The paper develops a sliding mode control law
that provides robustness against model imperfection and uncertainty.
It also provides an implicit stability proof. Simulation results for two
three joint arms moving a flexible beam, are presented to validate the
theoretical results.