Abstract: Probabilistic techniques in computer programs are becoming
more and more widely used. Therefore, there is a big
interest in the formal specification, verification, and development
of probabilistic programs. In our work-in-progress project, we are
attempting to make a constructive framework for developing probabilistic
programs formally. The main contribution of this paper
is to introduce an intermediate artifact of our work, a Z-based
formalism called PZ, by which one can build set theoretical models of
probabilistic programs. We propose to use a constructive set theory,
called CZ set theory, to interpret the specifications written in PZ.
Since CZ has an interpretation in Martin-L¨of-s theory of types, this
idea enables us to derive probabilistic programs from correctness
proofs of their PZ specifications.
Abstract: We discuss a theoretical conceptual framework to help
understand how the new business analytics technologies have
diffused in firms. We draw on three theoretical perspectives for this
purpose. They are innovation diffusion theory, IT Business Value
and the technology-organization-environment theory. We develop a
conceptual framework that helps understand the interlinkages among
factors affecting diffusion of business analytics and its impact on
performance.
Abstract: Obsessive-Compulsive Disorder (OCD) is a common
and disabling condition. Therapist-delivered treatments that use
exposure and response prevention have been found to be very
effective in treating OCD, although they are costly and associated
with high rates of attrition. Effective treatments that can be made
widely available without the need for therapist contact are urgently
needed. This case study represents the first published investigation of
a self-administered cognitive treatment for OCD in a 50-year old
female with a 20 year history of OCD. The treatment evaluation
occurred over 27 weeks, including 12 weeks of self-administration of
the Danger Ideation Reduction Therapy (DIRT) program. Decreases
of between 23% to 33% on measures from pre-treatment to follow-up
were observed. Bearing in mind the methodological limitations
associated with a case study, we conclude that the results reported
here are encouraging and indicate that further research effort
evaluating the effectiveness of self-administered DIRT is warranted.
Abstract: Recent progress in calculation of the one-loop selfenergy
of the electron bound in the Coulomb field is summarized.
The relativistic multipole expansion is introduced. This expansion
is based on a single assumption: except for the part of the time
component of the electron four-momentum corresponding to the
electron rest mass, the exchange of four-momentum between the
virtual electron and photon can be treated perturbatively. For non Sstates
and normalized difference n3En −E1 of the S-states this
itself yields very accurate results after taking the method to the third
order. For the ground state the perturbation treatment of the electron
virtual states with very high three-momentum is to be avoided. For
these states one can always rearrange the pertinent expression in such
a way that free-particle approximation is allowed. Combination of
the relativistic multipole expansion and free-particle approximation
yields very accurate result after taking the method to the ninth order.
These results are in very good agreement with the previous results
obtained by the partial wave expansion and definitely exclude the
possibility that the uncertainity in determination of the proton radius
comes from the uncertainity in the calculation of the one-loop selfenergy.
Abstract: High-voltage power transmission lines are the back
bone of electrical power utilities. The stability and continuous
monitoring of this critical infrastructure is pivotal. Nine-Sigma
representing Eskom Holding SOC limited, South Africa has a major
problem on proactive detection of fallen power lines and real time
sagging measurement together with slipping of such conductors. The
main objective of this research is to innovate RFID technology to
solve this challenge. Various options and technologies such as GPS,
PLC, image processing, MR sensors and etc., have been reviewed
and draw backs were made. The potential of RFID to give precision
measurement will be observed and presented. The future research
will look at magnetic and electrical interference as well as corona
effect on the technology.
Abstract: The proper assessment of interaxial distance and
convergence control are important factors in stereoscopic imaging
technology to make an efficient 3D image. To control interaxial
distance and convergence for efficient 3D shooting, horizontal 3D
camera rig is designed using some hardware components like 'LM
Guide', 'Goniometer' and 'Rotation Stage'. The horizontal 3D camera
rig system can be properly aligned by moving the two cameras
horizontally in same or opposite directions, by adjusting the camera
angle and finally considering horizontal swing as well as vertical
swing. In this paper, the relationship between interaxial distance and
convergence angle control are discussed and intensive experiments are
performed in order to demonstrate an easy and effective 3D shooting.
Abstract: School physical education, through its objectives and
contents, efficiently valorizes the pupils- abilities, developing them,
especially the coordinative skill component, which is the basis of
movement learning, of the development of the daily motility and also
of the special, refined motility required by the practice of certain
sports. Medium school age offers the nervous and motor substratum
needed for the acquisition of complex motor habits, a substratum that
is essential for the coordinative skill. Individuals differ as to the level
at which this function is performed, the extent to which this function
turns an individual into a person that is adapted and adaptable to
complex and various situations. Spatio-temporal orientation, together
with movement combination and coupling, and with kinesthetic,
balance, motor reaction, movement transformation and rhythm
differentiation form the coordinative skills. From our viewpoint,
these are characteristic features with high levels of manifestation in a
complex psychomotor act - valorizing the quality of one-s talent - as
well as indices pertaining to one-s psychomotor intelligence and
creativity.
Abstract: The design of a complete expansion that allows for
compact representation of certain relevant classes of signals is a
central problem in signal processing applications. Achieving such a
representation means knowing the signal features for the purpose of
denoising, classification, interpolation and forecasting. Multilayer
Neural Networks are relatively a new class of techniques that are
mathematically proven to approximate any continuous function
arbitrarily well. Radial Basis Function Networks, which make use of
Gaussian activation function, are also shown to be a universal
approximator. In this age of ever-increasing digitization in the
storage, processing, analysis and communication of information,
there are numerous examples of applications where one needs to
construct a continuously defined function or numerical algorithm to
approximate, represent and reconstruct the given discrete data of a
signal. Many a times one wishes to manipulate the data in a way that
requires information not included explicitly in the data, which is
done through interpolation and/or extrapolation.
Tidal data are a very perfect example of time series and many
statistical techniques have been applied for tidal data analysis and
representation. ANN is recent addition to such techniques. In the
present paper we describe the time series representation capabilities
of a special type of ANN- Radial Basis Function networks and
present the results of tidal data representation using RBF. Tidal data
analysis & representation is one of the important requirements in
marine science for forecasting.
Abstract: Thermochemcial characteristics of powder fabricated
using oxidation treatment of spent PWR fuel and SIMFUEL were
evaluated for recycling of spent fuel such as DUPIC process.
Especially, the influence of spent fuel burn-ups on the powder
fabrication characteristics was experimentally evaluated, ranging from
27,300 to 65,000 MWd/tU. Densities of powder manufactured from an
oxidation, OREOX and the milling processes at the same process
conditions were compared as a function of the fuel burn-ups
respectively. Also, based on chemical analysis results, homogeneity of
fissile elements in oxidized powder was confirmed.
Abstract: Users of computer systems may often require the
private transfer of messages/communications between parties across
a network. Information warfare and the protection and dominance of
information in the military context is a prime example of an
application area in which the confidentiality of data needs to be
maintained. The safe transportation of critical data is therefore often
a vital requirement for many private communications. However,
unwanted interception/sniffing of communications is also a
possibility. An elementary stealthy transfer scheme is therefore
proposed by the authors. This scheme makes use of encoding,
splitting of a message and the use of a hashing algorithm to verify the
correctness of the reconstructed message. For this proof-of-concept
purpose, the authors have experimented with the random sending of
encoded parts of a message and the construction thereof to
demonstrate how data can stealthily be transferred across a network
so as to prevent the obvious retrieval of data.
Abstract: It is necessary to incorporate technological advances
achieved in the field of engineering into dentistry in order to enhance
the process of diagnosis, treatment planning and enable the doctors to
render better treatment to their patients. To achieve this ultimate goal
long distance collaborations are often necessary. This paper discusses
the various collaborative tools and their applications to solve a few
burning problems confronted by the dentists. Customization is often
the solution to most of the problems. But rapid designing,
development and cost effective manufacturing is a difficult task to
achieve. This problem can be solved using the technique of digital
manufacturing. Cases from 6 major branches of dentistry have been
discussed and possible solutions with the help of state of art
technology using rapid digital manufacturing have been proposed in
the present paper. The paper also entails the usage of existing tools in
collaborative and digital manufacturing area.
Abstract: The purpose of this paper is to describe the process of
setting up a learning community within an elementary school in
Ontario, Canada. The description is provided through reflection and
examination of field notes taken during the yearlong training and
implementation process. Specifically the impact of teachers- capacity
on the creation of a learning community was of interest. This paper is
intended to inform and add to the debate around the tensions that
exist in implementing a bottom-up professional development model
like the learning community in a top-down organizational structure.
My reflections of the process illustrate that implementation of the
learning community professional development model may be
difficult and yet transformative in the professional lives of the
teachers, students, and administration involved in the change process.
I conclude by suggesting the need for a new model of professional
development that requires a transformative shift in power dynamics
and a shift in the view of what constitutes effective professional
learning.
Abstract: Diabetes is one of the high prevalence diseases
worldwide with increased number of complications, with retinopathy
as one of the most common one. This paper describes how data
mining and case-based reasoning were integrated to predict
retinopathy prevalence among diabetes patients in Malaysia. The
knowledge base required was built after literature reviews and
interviews with medical experts. A total of 140 diabetes patients- data
were used to train the prediction system. A voting mechanism selects
the best prediction results from the two techniques used. It has been
successfully proven that both data mining and case-based reasoning
can be used for retinopathy prediction with an improved accuracy of
85%.
Abstract: There are multiple reasons to expect that detecting the
word order errors in a text will be a difficult problem, and detection
rates reported in the literature are in fact low. Although grammatical
rules constructed by computer linguists improve the performance of
grammar checker in word order diagnosis, the repairing task is still
very difficult. This paper presents an approach for repairing word
order errors in English text by reordering words in a sentence and
choosing the version that maximizes the number of trigram hits
according to a language model. The novelty of this method concerns
the use of an efficient confusion matrix technique for reordering the
words. The comparative advantage of this method is that works with
a large set of words, and avoids the laborious and costly process of
collecting word order errors for creating error patterns.
Abstract: Multilobe bearings are found to be more stable than circular bearings. A three lobe bearing also possesses good stability characteristics. Sometimes the line of action of the load does not pass through the axis of a bearing and is shifted on either side by a few degrees. Load orientation is one of the factors that affect the stability of a three lobe bearing. The effect of load orientation on the stability of a three-lobe has been discussed in this paper. The results show that stability of a three-lobe bearing supporting either rigid or flexible rotor is increased for the positive values of load orientation i.e. when the load line is shifted in the opposite direction of rotation.
Abstract: Using plug flow model in conjunction with
experimental solute concentration profiles, overall volumetric mass
transfer coefficient based on continuous phase (Koca), in a packed
liquid-liquid extraction column has been optimized. Number of 12
experiments has been done using standard system of water/acid
acetic/toluene in a 6 cm diameter, 120 cm height column. Thorough
consideration of influencing parameters we intended to correlate
dimensionless parameters in term of overall Sherwood number which
has an acceptable average error of about 15.8%.
Abstract: In open settings, the participants in virtual
organization are autonomous and there is no central authority to
ensure the felicity of their interactions. When agents interact in such
settings, each relies upon being able to model the trustworthiness of
the agents with whom it interacts. Fundamentally, such models must
consider the past behavior of the other parties in order to predict their
future behavior. Further, it is sensible for the agents to share
information via referrals to trustworthy agents. In this article, trust is
a bet on the future contingent actions of others" and enumerates six
major factors supporting it: (1) reputation, (2) performance, (3)
appearance, (4) accountability, (5) precommitment, and (6)
contextual facilitation.
Abstract: During the past decade, pond aeration systems have
been developed which will sustain large quantities of fish and
invertebrate biomass. Dissolved Oxygen (DO) is considered to be
among the most important water quality parameters in fish culture.
Fishponds in aquaculture farms are usually located in remote areas
where grid lines are at far distance. Aeration of ponds is required to
prevent mortality and to intensify production, especially when
feeding is practical, and in warm regions. To increase pond
production it is necessary to control dissolved oxygen. Artificial
intelligence (AI) techniques are becoming useful as alternate
approaches to conventional techniques or as components of
integrated systems. They have been used to solve complicated
practical problems in various areas and are becoming more and more
popular nowadays. This paper presents a new design of diffused
aeration system using fuel cell as a power source. Also fuzzy logic
control Technique (FLC) is used for controlling the speed of air flow
rate from the blower to air piping connected to the pond by adjusting
blower speed. MATLAB SIMULINK results show high performance
of fuzzy logic control (FLC).
Abstract: This work deals with the initial applications and formulation of an anisotropic plastic-damage constitutive model proposed for non-linear analysis of reinforced concrete structures submitted to a loading with change of the sign. The original constitutive model is based on the fundamental hypothesis of energy equivalence between real and continuous medium following the concepts of the Continuum Damage Mechanics. The concrete is assumed as an initial elastic isotropic medium presenting anisotropy, permanent strains and bimodularity (distinct elastic responses whether traction or compression stress states prevail) induced by damage evolution. In order to take into account the bimodularity, two damage tensors governing the rigidity in tension or compression regimes are introduced. Then, some conditions are introduced in the original version of the model in order to simulate the damage unilateral effect. The three-dimensional version of the proposed model is analyzed in order to validate its formulation when compared to micromechanical theory. The one-dimensional version of the model is applied in the analyses of a reinforced concrete beam submitted to a loading with change of the sign. Despite the parametric identification problems, the initial applications show the good performance of the model.
Abstract: This paper presents a systematic procedure for modelling and simulation of a power system installed with a power system stabilizer (PSS) and a flexible ac transmission system (FACTS)-based controller. For the design purpose, the model of example power system which is a single-machine infinite-bus power system installed with the proposed controllers is developed in MATLAB/SIMULINK. In the developed model synchronous generator is represented by model 1.1. which includes both the generator main field winding and the damper winding in q-axis so as to evaluate the impact of PSS and FACTS-based controller on power system stability. The model can be can be used for teaching the power system stability phenomena, and also for research works especially to develop generator controllers using advanced technologies. Further, to avoid adverse interactions, PSS and FACTS-based controller are simultaneously designed employing genetic algorithm (GA). The non-linear simulation results are presented for the example power system under various disturbance conditions to validate the effectiveness of the proposed modelling and simultaneous design approach.