Abstract: Assertion-Based software testing has been shown to
be a promising tool for generating test cases that reveal program
faults. Because the number of assertions may be very large for
industry-size programs, one of the main concerns to the applicability
of assertion-based testing is the amount of search time required to
explore a large number of assertions. This paper presents a new
approach for assertions exploration during the process of Assertion-
Based software testing. Our initial exterminations with the proposed
approach show that the performance of Assertion-Based testing may
be improved, therefore, making this approach more efficient when
applied on programs with large number of assertions.
Abstract: Reduction of CO2 emissions has become a priority for
several countries due to increasing concerns about global warming
and climate change, especially in the developed countries. Residential
sector is considered one of the most important sectors for
considerable reduction of CO2 emissions since it represents a
significant amount of the total consumed energy in those countries. A
significant CO2 reduction cannot be achieved unless some initiatives
have been adopted in the policy of these countries. Introducing micro
combined heat and power (!CHP) systems into residential energy
systems is one of these initiatives, since such a technology offers
several advantages. Moreover, !CHP technology has the opportunity
to be operated not only by natural gas but it could also be operated by
renewable fuels. However, this technology can be operated by
different operation strategies. Each strategy has some advantages and
disadvantages.
This paper provides a review of different operation strategies of
such a technology used for residential energy systems, especially for
single dwellings. The review summarizes key points that outline the
trend of previous research carried out in this field.
Abstract: Heightened concerns over the amount of carbon
emitted from coal-related processes are generating shifts to the
application of biomass. In co-gasification, where coal is gasified
along with biomass, the biomass may be fed together with coal (cofeeding)
or an independent biomass gasifier needs to be integrated
with the coal gasifier. The main aim of this work is to evaluate the
biomass introduction methods in coal co-gasification. This includes
the evaluation of biomass concentration input (B0 to B100) and its
gasification performance. A process model is developed and
simulated in Aspen HYSYS, where both coal and biomass are
modelled according to its ultimate analysis. It was found that the
syngas produced increased with increasing biomass content for both
co-feeding and independent schemes. However, the heating values
and heat duties decreases with biomass concentration as more CO2
are produced from complete combustion.
Abstract: Collapsible soils go through radical rearrangement of
their particles when triggered by water, stress or/and vibration,
causing loss of volume. This loss of volume in soil as seen in
foundation failures has caused millions of dollars’ worth of damages
to public facilities and infrastructure and so has an adverse effect on
the society and people. Despite these consequences and the several
studies that are available, more research is still required in the study
of soil collapsibility. Discerning the pedogenesis (formation) of soils
and investigating the combined effects of the different geological soil
properties is key to elucidating and quantifying soils collapsibility.
This study presents a novel laboratory testing regime that would be
undertaken on soil samples where the effects of soil type, compactive
variables (moisture content, density, void ratio, degree of saturation)
and loading are analyzed. It is anticipated that results obtained would
be useful in mapping the trend of the combined effect thus the basis
for evaluating soil collapsibility or collapse potentials encountered in
construction with volume loss problems attributed to collapse.
Abstract: The aim of this study is to determine the effect of age
and physiological status on progesterone and energy metabolism of
Ouled Djellal (O.D) breed ewes. 40 healthy ewes were divided into
two groups, primiparous and multiparous, with 20 ewes in each
group. The body weights (BW) (Kg) were 46.6 ± 4.20 and 59.2 ±
3.02, and consuming less 25 to 30% of their basal energetic
requirements. The values of serum glucose, triglycerides and
cholesterol were lower in pregnant than in non-pregnant ewes. The
high to very high significant differences were found during the 15th
week of pregnancy for glycaemia and triglyceridemia respectively.
Concerning serum progesterone, a very highly significant difference
(p
Abstract: Students’ achievement and motivation in learning
English in Malaysia is a worrying trend as it is lagging behind several
other countries in Asia. Thus, necessary actions have to be taken by
the parties concerned to overcome this problem. The purpose of this
research was to study the effects of drill and practice courseware on
students’ achievement and motivation in learning English language.
A multimedia courseware was developed for this purpose. The
independent variable was the drill and practice courseware while the
dependent variables were the students’ achievement and motivation.
Their achievement was measured using pre-test and post-test scores,
while motivation was measured using a questionnaire. A total of 60
students from three vernacular primary schools in a northern state in
Malaysia were randomly selected in this study. The findings indicate:
(1) a significant difference between the students’ pre-test and posttest
scores after using the courseware, (2) no significant difference in
the achievement score between male and female students after using
the courseware, (3) a significant difference in motivation score
between the female and the male students, and (4) while the female
students scored significantly higher than the male students in the
aspects of relevance, confidence and satisfaction, no significant
difference in terms of attention was observed between them. Overall,
the findings clearly indicate that although the female students are
significantly more motivated than their male students, they are
equally good in terms of achievement after learning from the
courseware. Through this study, the drill and practice courseware is
proven to influence the students’ learning and motivation.
Abstract: Cloud service brokering is a new service paradigm that
provides interoperability and portability of application across multiple
Cloud providers. In this paper, we designed Cloud service brokerage
system, anyBroker, supporting integrated service provisioning and
SLA based service lifecycle management. For the system design, we
introduce the system concept and whole architecture, details of main
components and use cases of primary operations in the system. These
features ease the Cloud service provider and customer’s concern and
support new Cloud service open market to increase Cloud service
profit and prompt Cloud service echo system in Cloud computing
related area.
Abstract: This study discovers a novel framework of individual
level technology adoption known as I-P (Individual- Privacy) towards
health information application in Smart National Identity Card. Many
countries introduced smart national identity card (SNIC) with various
applications such as health information application embedded inside
it. However, the degree to which citizens accept and use some of the
embedded applications in smart national identity remains unknown to
many governments and application providers as well. Moreover, the
factors of trust, perceived risk, Privacy concern and perceived
credibility need to be incorporated into more comprehensive models
such as extended Unified Theory of Acceptance and Use of
Technology known as UTAUT2. UTAUT2 is a mainly widespread
and leading theory up to now. This research identifies factors
affecting the citizens’ behavioural intention to use health information
application embedded in SNIC and extends better understanding on
the relevant factors that the government and the application providers
would need to consider in predicting citizens’ new technology
acceptance in the future. We propose a conceptual framework by
combining the UTAUT2 and Privacy Calculus Model constructs and
also adding perceived credibility as a new variable. The proposed
framework may provide assistance to any government planning,
decision, and policy makers involving e-government projects.
Empirical study may be conducted in the future to provide proof and
empirically validate this I-P framework.
Abstract: The North-eastern part of India, which receives
heavier rainfall than other parts of the subcontinent, is of great
concern now-a-days with regard to climate change. High intensity
rainfall for short duration and longer dry spell, occurring due to
impact of climate change, affects river morphology too. In the present
study, an attempt is made to delineate the North-eastern region of
India into some homogeneous clusters based on the Fuzzy Clustering
concept and to compare the resulting clusters obtained by using
conventional methods and nonconventional methods of clustering.
The concept of clustering is adapted in view of the fact that, impact
of climate change can be studied in a homogeneous region without
much variation, which can be helpful in studies related to water
resources planning and management. 10 IMD (Indian Meteorological
Department) stations, situated in various regions of the North-east,
have been selected for making the clusters. The results of the Fuzzy
C-Means (FCM) analysis show different clustering patterns for
different conditions. From the analysis and comparison it can be
concluded that nonconventional method of using GCM data is
somehow giving better results than the others. However, further
analysis can be done by taking daily data instead of monthly means to
reduce the effect of standardization.
Abstract: Mech-Degla, Degla-Beida and Frezza are the date
(Phoenix dactylifera L.) common varieties with a more or less good
availability and feeble trade value. Some morphologic and
physicochemical factors were determined. Results show that the
whole date weight is significantly different (P= 95%) concerning
Mech-Degla and Degla-Beida which are more commercialized than
Frezza whereas the pulp mass proportion in relation to whole fruits is
highest for Frezza (88.28%). Moreover, there is a large variability
concerning the weights and densities of constitutive tissues in each
variety. The white tissue is dominant in Mech-Degla in opposite to
the two other varieties. The variance analyze showed that the
difference in weights between brown and white tissues is significant
(P = 95%) for all studied varieties. Some other morphologic and
chemical proprieties of the whole pulps and their two constitutive
parts (brown or pigmented and white) are also investigated. The
predominance of phenolics in Mech-Degla (4.01g/100g, w.b) and
Frezza (4.96 g/100g, w.b) pulps brown part is the main result
revealed in this study.
Abstract: Recent concerns about the value of teaching cursive
handwriting in the classroom are based on the belief that cursive
handwriting or penmanship is an outdated and unnecessary skill in
today’s online world. The discussion of this issue begins with a
description of current initiatives to eliminate handwriting instruction
in schools. This is followed by a brief history of cursive writing
through the ages. Next considered is a description of its benefits as a
preliminary process for younger children as compared with
immediate instruction in keyboarding, particularly in the areas of
vision, cognition, motor skills and automatic fluency. Also
considered, is cursive’s companion, paper itself, and the impact of a
paperless, “screen and keyboard” environment. The discussion
concludes with a consideration of the unique contributions of cursive
and keyboarding as written forms of communication, along with their
respective surfaces, paper and screen. Finally, an assessment of the
practical utility of each skill is followed by an informal assessment of
what is lost and what remains as we move from a predominantly
paper and pen world of handwriting to texting and keyboarding in an
environment of screens.
Abstract: Age ratings are very helpful in providing parents with
relevant information for the purchase and use of digital technologies
by the children; this is why the non-definition of age ratings for the
use of ICTs by children in schools is a major concern; and this
problem serves as a motivation for this study whose aim is to
examine the factors affecting the perceptions of educators on the
learners’ youngest age for the introduction of ICTs in schools. This
aim is achieved through two types of research objectives: the
identification and design of theories and models on age ratings, and
the empirical testing of such theories and models in a survey of
educators from the Camperdown district of the South African
KwaZulu-Natal province. A questionnaire is used for the collection
of the data of this survey whose validity and reliability is checked in
SPSS prior to its descriptive and correlative quantitative analysis. The
main hypothesis supporting this research is the association between
the demographics of educators, their personality, and their
perceptions on the learners’ youngest age for the introduction of ICTs
in schools; as claimed by existing research; except that the present
study looks at personality from three dimensions: self-actualized
personalities, fully functioning personalities, and healthy
personalities. This hypothesis was fully confirmed by the empirical
study conducted by this research except for the demographic factor
where only the educators’ grade or class was found to be associated
with the personality of educators.
Abstract: In the culture of Thailand, the Yak serve as a mediated
icon representing strength, power, and mystical protection not only
for the Buddha, but for population of worshipers. Originating from
the forests of China, the Yak continues to stand guard at the gates of
Buddhist temples. The Yak represents Thai culture in the hearts of
Thai people. This paper presents a qualitative study regarding the
curious mix of media, culture, and religion that projects the Yak of
Thailand as a larger than life message throughout the political,
cultural, and religious spheres. The gate guardians, or gods as they
are sometimes called, appear throughout the religious temples of
Asian cultures. However, the Asian cultures demonstrate differences
in artistic renditions (or presentations) of such sentinels. Thailand
gate guards (the Yak) stand in front of many Buddhist temples, and
these iconic figures display unique features with varied symbolic
significance. The temple (or wat), plays a vital role in every
community; and, for many people, Thailand’s temples are the
country’s most endearing sights. The authors applied folknography as
a methodology to illustrate the importance of the Thai Yak in serving
as meaningful icons that transcend not only time, but the culture,
religion, and mass media. The Yak represents mythical, religious,
artistic, cultural, and militaristic significance for the Thai people.
Data collection included interviews, focus groups, and natural
observations. This paper summarizes the perceptions of the Thai
people concerning their gate sentries and the relationship,
communication, connection, and the enduring respect that Thai
people hold for their guardians of the gates.
Abstract: This paper is concerning the issues of behaviour of
lightweight expanded clay aggregates concrete exposed to high
temperature. Lightweight aggregates from expanded clay are
produced by firing of row material up to temperature 1050°C.
Lightweight aggregates have suitable properties in terms of volume
stability, when exposed to temperatures up to 1050°C, which could
indicate their suitability for construction applications with higher risk
of fire. The test samples were exposed to heat by using the standard
temperature-time curve ISO 834. Negative changes in resulting
mechanical properties, such as compressive strength, tensile strength,
and flexural strength were evaluated. Also visual evaluation of the
specimen was performed. On specimen exposed to excessive heat, an
explosive spalling could be observed, due to evaporation of
considerable amount of unbounded water from the inner structure of
the concrete.
Abstract: The majority of contemporary insulation materials
commonly used in the building industry is made from non-renewable
raw materials; furthermore, their production often brings high energy
costs. A long-term trend as far as sustainable development is
concerned has been the reduction of energy and material demands of
building material production. One of the solutions is the possibility of
using easily renewable natural raw material sources which are
considerably more ecological and their production is mostly less
energy-consuming compared to the production of normal insulations
(mineral wool, polystyrene). The paper describes the results of
research focused on the development of thermal and acoustic
insulation materials based on natural fibres intended for floor
constructions. Given the characteristic open porosity of natural fibre
materials, the hygrothermal behaviour of the developed materials was
studied. Especially the influence of relative humidity and temperature
on thermal insulation properties was observed.
Abstract: The fundamental issues in ICT Governance (ICTG)
implementation for Malaysian Public Sector (MPS) is how ICT be
applied to support improvements in productivity, management
effectiveness and the quality of services offered to its citizens. Our
main concern is to develop and adopt a common definition and
framework to illustrate how ICTG can be used to better align ICT
with government’s operations and strategic focus. In particular, we
want to identify and categorize factors that drive a successful ICTG
process. This paper presents the results of an exploratory study to
identify, validate and refine such Critical Success Factors (CSFs) and
confirmed seven CSFs and nineteen sub-factors as influential factors
that fit MPS after further validated and refined. The Delphi method
applied in validation and refining process before being endorsed as
appropriate for MPS. The identified CSFs reflect the focus areas that
need to be considered strategically to strengthen ICT Governance
implementation and ensure business success.
Abstract: In Capitalism all economic activity rests upon a set of
core institutional foundations, main from which are privately owned
capital assets and profit. How these core institutional foundations are
working in former soviet countries, in particular in Travel and
Tourism Industry of Georgia?
The role of Travel and Tourism as a key pillar of economic growth
is being increasingly recognized by governments in all regions of the
world. For the last few years Georgia succeeded in the World Bank
and IFC “Doing Business” rankings. Despite of that, during decades
totally different statistical data of the tourism sector were provided by
the different State bodies; economic parameters were published few,
or not published at all.
The frequency and extent of property rights violation in Georgia
has repeatedly been the subject of concern for the last decade. Total
value of abrogated by the former Georgian Government private
property is estimated approximately in US$4-5 billion.
Thus, if economic profitability is unknown and property rights are
not protected – that means that the main institutional foundations of
capitalism in Georgia, are not working properly yet, that cause
management problems at all levels of the national Travel and
Tourism industry of Georgia.
Abstract: This entry concerned with dense silica bricks
microstructure was produced as a part of a project within the
Technology Agency of the Czech Republic which is being
implemented in cooperation of the biggest producer of refractories
the P-D Refractories CZ company with the research organisation
Brno University of Technology. The paper is focused on the
influence of mixture homogenisation and the influence of grain size
of the mineraliser on the resulting utility properties of the material as
well as its microstructure. It has a decisive influence on the durability
of the material in a building structure. This paper is a continuation of
a previously published study dealing with the suitability of various
types of mineralising agents in terms of density, strength and mineral
composition of silica brick.
The entry describes the influence of the method of mixture
homogenisation and the influence of granulometry of the applied Femineralising
agent on the resulting silica microstructure. Porosity,
density, phase composition and microstructure of the experimentally
prepared silica bricks samples were examined and the results were
discussed in context with the technology of homogenisation and
firing temperature used. The properties of silica bricks samples were
compared to the sample without any Fe-mineraliser.
Abstract: Nowadays, the amounts of companies which tend to
have an Enterprise Resource Planning (ERP) application are
increasing. Although ERP projects are expensive, time consuming,
and complex, there are some successful experiences. These days,
developing countries are striving to implement ERP projects
successfully; however, there are many obstacles. Therefore, these
projects would be failed or partially failed. This paper concerns the
implementation of a successful ERP implementation, IFS, in Iran at
Dana Geophysics Company (DGC). After a short review of ERP and
ERP market in Iran, we propose a three phases deployment
methodology (phase 1: Preparation and Business Process
Management (BPM) phase 2: implementation and phase 3: testing,
golive-1 (pilot) and golive-2 (final)). Then, we present five guidelines
(Project Management, Change Management, Business Process
Management (BPM), Training& Knowledge Management, and
Technical Management), which were chose as work streams. In this
case study we present lessons learned in Project management and
Business process Management.
Abstract: Over the past era, there have been a lot of efforts and
studies are carried out in growing proficient tools for performing
various tasks in big data. Recently big data have gotten a lot of
publicity for their good reasons. Due to the large and complex
collection of datasets it is difficult to process on traditional data
processing applications. This concern turns to be further mandatory
for producing various tools in big data. Moreover, the main aim of
big data analytics is to utilize the advanced analytic techniques
besides very huge, different datasets which contain diverse sizes from
terabytes to zettabytes and diverse types such as structured or
unstructured and batch or streaming. Big data is useful for data sets
where their size or type is away from the capability of traditional
relational databases for capturing, managing and processing the data
with low-latency. Thus the out coming challenges tend to the
occurrence of powerful big data tools. In this survey, a various
collection of big data tools are illustrated and also compared with the
salient features.