Abstract: In this paper, we describe the use of formal methods
to model malware behaviour. The modelling of harmful behaviour
rests upon syntactic structures that represent malicious procedures
inside malware. The malicious activities are modelled by a formal
grammar, where API calls’ components are the terminals and the set
of API calls used in combination to achieve a goal are designated
non-terminals. The combination of different non-terminals in various
ways and tiers make up the attack vectors that are used by harmful
software. Based on these syntactic structures a parser can be
generated which takes execution traces as input for pattern
recognition.
Abstract: Health workforce is a fundamental component of
health system and plays a significant role in delivering effective
health care services. However, there is a crucial shortage of skilled
personnel which make them prone to work in stressful conditions. In
spite of excessively high workload and burnout among the staff, little
attention is given to their job satisfaction level which has serious
implications on the productivity and effective performance of staff to
achieve organizational goals. Therefore, this study aims to explore
the job satisfaction of midwives working in the labor ward of the
Lady Dufferin Hospital, Karachi. A cross-sectional survey was
conducted. The short version of Minnesota Job Satisfaction
Questionnaire was administered on a convenient sample group of 22
midwives to gather information on their job satisfaction. The results
demonstrated that midwives were overall satisfied with their job. The
level of job satisfaction was however found different in various
positions within midwifery cadre. The head of midwives was highly
satisfied as compared to midwifery staff who works under the
supervision of head. The level of satisfaction of team leaders fall
between the head and staff of midwifery. Similar trends were
observed for both intrinsic and extrinsic job satisfaction. Such
evidences on these issues are essential and useful as it helps explore
the attitudes of individuals towards work which has direct
implications on access to quality care services. Strategic interventions
are required at organizational level to provide motivators and
satisfiers to health workers for their work related satisfaction and
enhanced motivation.
Abstract: There are real needs to integrate types of Open
Educational Resources (OER) with an intelligent system to extract
information and knowledge in the semantic searching level. The
needs came because most of current learning standard adopted web
based learning and the e-learning systems do not always serve all
educational goals. Semantic Web systems provide educators,
students, and researchers with intelligent queries based on a semantic
knowledge management learning system. An ontology-based learning
system is an advanced system, where ontology plays the core of the
semantic web in a smart learning environment. The objective of this
paper is to discuss the potentials of ontologies and mapping different
kinds of ontologies; heterogeneous or homogenous to manage and
control different types of Open Educational Resources. The important
contribution of this research is that it uses logical rules and
conceptual relations to map between ontologies of different
educational resources. We expect from this methodology to establish
an intelligent educational system supporting student tutoring, self and
lifelong learning system.
Abstract: Urban areas, as they have been developed and operate
today, are areas of accumulation of a significant amount of people
and a large number of activities that generate desires and reasons for
traveling. The territorial expansion of the cities as well as the need to
preserve the importance of the central city areas lead to the
continuous increase of transportation needs which in the limited
urban space results in creating serious traffic and operational
problems. The modern perception of urban planning is directed towards more
holistic approaches and integrated policies that make it economically
competitive, socially just and more environmentally friendly. Over
the last 25 years, the goal of sustainable transport development has
been central to the agenda of any plan or policy for the city. The
modern planning of urban space takes into account the economic and
social aspects of the city and the importance of the environment to
sustainable urban development. In this context, the European Union
promotes direct or indirect related interventions according to the
cohesion and environmental policies; many countries even had the
chance to actually test them. This paper explores the methods and processes that have been
developed towards this direction and presents a review and
systematic presentation of this work. The ultimate purpose of this
research is to effectively use this review to create a decision making
methodological framework which can be the basis of a useful
operational tool for sustainable urban planning.
Abstract: Biomass treatment through densification is very suitable and helpful technology before its effective energy recovery. Densification process of biomass is significantly influenced by various technological and material variables, which are ultimately reflected on the final solid biofuels quality. The paper deals with the experimental research of the relationship between technological and material variables during densification of fast-growing trees, roundly fast-growing willows. The main goal of presented experimental research is to determine the relationship between compression pressure and raw material particle size from a final briquettes density point of view. Experimental research was realized by single-axis densification. The impact of particle size with interaction of compression pressure and stabilization time on the quality properties of briquettes was determined. These variables interaction affects the final solid biofuels (briquettes) quality. From briquettes production point of view and from densification machines constructions point of view is very important to know about mutual interaction of these variables on final briquettes quality. The experimental findings presented here are showing the importance of mentioned variables during the densification process.
Abstract: One of the major problems being faced by human society is that the global temperature is believed to be rising due to human activity that releases carbon IV Oxide (CO2) to the atmosphere. Carbon IV Oxide is the most important greenhouse gas influencing global warming and possible climate change. With climate change becoming alarming, reducing CO2 in our atmosphere has become a primary goal of international efforts. Forest lands are major sink and could absorb large quantities of carbon if the trees are judiciously managed. The study aims at estimating the carbon sequestration capacity of Pinus caribaea (pine) and Tectona grandis (Teak) under the prevailing environmental conditions and exploring tree growth variables that influences the carbon sequestration capacity in Omo Forest Reserve, Ogun State, Nigeria. Improving forest management by manipulating growth characteristics that influences carbon sequestration could be an adaptive strategy of forestry to climate change. Random sampling was used to select Temporary Sample Plots (TSPs) in the study area from where complete enumeration of growth variables was carried out within the plots. The data collected were subjected to descriptive and correlational analyses. The results showed that average carbon stored by Pine and Teak are 994.4±188.3 Kg and 1350.7±180.6 Kg respectively. The difference in carbon stored in the species is significant enough to consider choice of species relevant in climate change adaptation strategy. Tree growth variables influence the capacity of the tree to sequester carbon. Height, diameter, volume, wood density and age are positively correlated to carbon sequestration. These tree growth variables could be manipulated by the forest manager as an adaptive strategy for climate change while plantations of high wood density species could be relevant for management strategy to increase carbon storage.
Abstract: This paper presents the modeling approach in SBO
sequence for VVER 1000 reactors and describes the reactor core
behavior at late in-vessel phase in case of late reflooding by HPIS
and gives preliminary results for the ASTECv2 validation. The work
is focused on investigation of plant behavior during total loss of
power and the operator actions. The main goal of these analyses is to
assess the phenomena arising during the Station blackout (SBO)
followed by primary side high pressure injection system (HPIS)
reflooding of already damaged reactor core at very late “in-vessel”
phase. The purpose of the analyses is to define how the later HPIS
switching on can delay the time of vessel failure or possibly avoid
vessel failure. The times for HPP injection were chosen based on
previously performed investigations.
Abstract: This paper will discuss how we optimize our physical
verification flow in our IC Design Department having various rule
decks from multiple foundries. Our ultimate goal is to achieve faster
time to tape-out and avoid schedule delay. Currently the physical
verification runtimes and memory usage have drastically increased
with the increasing number of design rules, design complexity, and
the size of the chips to be verified. To manage design violations, we
use a number of solutions to reduce the amount of violations needed
to be checked by physical verification engineers. The most important
functions in physical verifications are DRC (design rule check), LVS
(layout vs. schematic), and XRC (extraction). Since we have a
multiple number of foundries for our design tape-outs, we need a
flow that improve the overall turnaround time and ease of use of the
physical verification process. The demand for fast turnaround time is
even more critical since the physical design is the last stage before
sending the layout to the foundries.
Abstract: The importance of energy efficiency within the production processes increases steadily. For a comprehensive assessment of energy efficiency within the production process, unfortunately no tools exist or have been developed yet. Therefore the Institute for Factory Automation and Production Systems at the Friedrich-Alexander-University Erlangen-Nuremberg has developed two methods with the goal of achieving transparency and a quantitative assessment of energy efficiency namely EEV (Energy Efficiency Value) and EPE (Energetic Process Efficiency). This paper describes the basics and state-of-the-art as well as the developed approaches.
Abstract: It is an indispensible strategy to adopt greenery
approach on architectural bases so as to improve ecological habitats,
decrease heat-island effect, purify air quality, and relieve surface
runoff as well as noise pollution, all of which are done in an attempt to
achieve sustainable environment. How we can do with plant design to
attain the best visual quality and ideal carbon dioxide fixation depends
on whether or not we can appropriately make use of greenery
according to the nature of architectural bases. To achieve the goal, it is
a need that architects and landscape architects should be provided with
sufficient local references. Current greenery studies focus mainly on
the heat-island effect of urban with large scale. Most of the architects
still rely on people with years of expertise regarding the adoption and
disposition of plantation in connection with microclimate scale.
Therefore, environmental design, which integrates science and
aesthetics, requires fundamental research on landscape environment
technology divided from building environment technology. By doing
so, we can create mutual benefits between green building and the
environment. This issue is extremely important for the greening design
of the bases of green buildings in cities and various open spaces. The
purpose of this study is to establish plant selection and allocation
strategies under different building sunshade levels. Initially, with the
shading of sunshine on the greening bases as the starting point, the
effects of the shades produced by different building types on the
greening strategies were analyzed. Then, by measuring the PAR
(photosynthetic active radiation), the relative DLI (daily light integral)
was calculated, while the DLI Map was established in order to
evaluate the effects of the building shading on the established
environmental greening, thereby serving as a reference for plant
selection and allocation. The discussion results were to be applied in
the evaluation of environment greening of greening buildings and
establish the “right plant, right place” design strategy of multi-level
ecological greening for application in urban design and landscape
design development, as well as the greening criteria to feedback to the
eco-city greening buildings.
Abstract: Web mining is to discover and extract useful
Information. Different users may have different search goals when
they search by giving queries and submitting it to a search engine.
The inference and analysis of user search goals can be very useful for
providing an experience result for a user search query. In this project,
we propose a novel approach to infer user search goals by analyzing
search web logs. First, we propose a novel approach to infer user
search goals by analyzing search engine query logs, the feedback
sessions are constructed from user click-through logs and it
efficiently reflect the information needed for users. Second we
propose a preprocessing technique to clean the unnecessary data’s
from web log file (feedback session). Third we propose a technique
to generate pseudo-documents to representation of feedback sessions
for clustering. Finally we implement k-medoids clustering algorithm
to discover different user search goals and to provide a more optimal
result for a search query based on feedback sessions for the user.
Abstract: Communicating users' needs, goals and problems help
designers and developers overcome challenges faced by end users.
Personas are used to represent end users’ needs. In our research,
creating personas allowed the following questions to be answered:
Who are the potential user groups? What do they want to achieve by
using the service? What are the problems that users face? What
should the service provide to them? To develop realistic personas, we
conducted a focus group discussion with undergraduate and graduate
students and also interviewed a university librarian. The personas
were created to help evaluating the Institutional Repository that is
based on the DSpace system. The profiles helped to communicate
users' needs, abilities, tasks, and problems, and the task scenarios
used in the heuristic evaluation were based on these personas. Four
personas resulted of a focus group discussion with undergraduate and
graduate students and from interviewing a university librarian. We
then used these personas to create focused task-scenarios for a
heuristic evaluation on the system interface to ensure that it met
users' needs, goals, problems and desires. In this paper, we present
the process that we used to create the personas that led to devise the
task scenarios used in the heuristic evaluation as a follow up study of
the DSpace university repository.
Abstract: This study discusses a Turkish music education model
similar to its Venezuelan counterpart El Sistema, in which
socialization and human development are the main goals. The Music
for Peace (Baris Icin Muzik) model, founded in 2005 by an idealist
humanitarian in Istanbul, started as a pilot project with accordion and
today makes symphonic music education. The program aims to offer
social change through free-of-charge. In such a big city like Istanbul, in a deprived inner city center
people have poor economic, social and cultural conditions. In that
Edirnekapi district people don’t have opportunities to join the cultural
and social life, like music or sports. It is believed that this initiative
covered a part of this gap by giving children the opportunities to
participate in social and cultural life. In this study it is planned to understand what social changes could
music education could make in children’s lives. In the complimentary
music lessons children works in groups, which helps them to learn
the feelings of solidarity, friendship, communion and sharing. By Music for Peace project children connect with the community,
they have the belief to succeed in life because they feel that they are
loved by their friends, instructors and families. In short they feel that
they are important, thus brings the success in life. Additionally, it is
believed that, this program has achieved success. Today
approximately 400 children participate in this programs orchestras
and choirs. Some of the students get into the conservatories. And the
center is not just a place where they get music lessons but also a place
where they get socialized. And music education helps children to
have strong sense of identity, self-confidence and self-esteem.
Abstract: Traditional mechanical control systems in thrust
vectoring are efficient in rocket thrust guidance but their costs
and their weights are excessive. The fluidic injection in the nozzle
divergent constitutes an alternative procedure to achieve the goal. In
this paper, we present a 3D analytical model for fluidic injection
in a supersonic nozzle integrating an orifice. The fluidic vectoring
uses a sonic secondary injection in the divergent. As a result, the
flow and interaction between the main and secondary jet has built in
order to express the pressure fields from which the forces and thrust
vectoring are deduced. Under various separation criteria, the present
analytical model results are compared with the existing numerical
and experimental data from the literature.
Abstract: The goal of the modern education system is to prepare
students to be able to adapt to ever-changing life situations. They
must be able to acquire required knowledge independently; apply
such knowledge in practice to solve various problems by using
modern technologies; think critically and creatively; competently use
information; be communicative, work in a team; and develop their
own moral values, intellect and cultural awareness. As a result, the
status of education significantly increases; new requirements to its
quality have been formed. In recent years the competency-based
approach in education has become of significant interest. This
approach is a strengthening of applied and practical characteristics of
a school education and leads to the forming of the key students’
competencies which define their success in future life. In this article,
the authors’ attention focuses on a range of key competencies,
educational, informational and communicative and on the possibility
to develop such competencies via STEM education. This research
shows the change in students’ attitude towards scientific disciplines
such as mathematics, general science, technology and engineering as
a result of STEM education. Two staged analyzed questionnaires
completed by students of forms II to IV in the republic of Trinidad
and Tobago allowed the authors to categorize students between two
levels that represent students’ attitude to various disciplines. The
significance of differences between selected levels was confirmed
with the use of Pearson’s chi-squared test. In summary, the analysis
of obtained data makes it possible to conclude that STEM education
has a great potential for development of core students’ competencies
and encourage the development of positive student attitude towards
the above mentioned above scientific disciplines.
Abstract: Facility location is a complex real-world problem
which needs a strategic management decision. This paper provides a
general review on studies, efforts and developments in Facility
Location Problems which are classical optimization problems having
a wide-spread applications in various areas such as transportation,
distribution, production, supply chain decisions and
telecommunication. Our goal is not to review all variants of different
studies in FLPs or to describe very detailed computational techniques
and solution approaches, but rather to provide a broad overview of
major location problems that have been studied, indicating how they
are formulated and what are proposed by researchers to tackle the
problem. A brief, elucidative table based on a grouping according to
“General Problem Type” and “Methods Proposed” used in the studies
is also presented at the end of the work.
Abstract: The right to basic sanitation, was elevated to the
category of fundamental right by the Constitution of 1988 to protect
the ecologically balanced environment, ensuring social rights to
health and adequate housing and put the dignity of the human person
as the foundation of the Brazilian Democratic State. Before their
essentiality to humans, this article seeks to understand why universal
access to basic sanitation is a goal so difficult to achieve in Brazil.
Therefore, this research uses the deductive and analytical method.
Given the nature of the research literature, research techniques were
centered in specialized books on the subject, journals, theses and
dissertations, laws, relevant law case and raising social indicators
relating to the theme. The relevance of the topic stems, among other
things, the fact that sanitation services are essential for a dignified
life, i.e., everyone is entitled to the maintenance of the necessary
existence conditions are satisfied. However, the effectiveness of this
right is undermined in society, since Brazil has huge deficit in
sanitation services, denying thus a worthy life to most of the
population. Thus, it can be seen that the provision of water and
sewage services in Brazil is still characterized by a large imbalance,
since the municipalities with lower population index have greater
disability in the sanitation service. The truth is that the precariousness
of water and sewage services in Brazil is still very concentrated in the
North and Northeast regions, limiting the effective implementation of
the Law 11.445/2007 in the country. Therefore, there is urgent need
for a positive service by the State in the provision of sanitation
services in order to prevent and control disease, improve quality of
life and productivity of individuals, besides preventing contamination
of water resources. More than just social and economic necessity,
there is a government duty to implement such services. In this sense,
given the current scenario, to achieve universal access to basic
sanitation imposes many hurdles. These are mainly in the field of
properly formulated and implemented public policies, i.e., it requires
an excellent institutional organization, management services,
strategic planning, social control, in order to provide answers to
complex challenges.
Abstract: In this article, we deal with a variant of the classical
course timetabling problem that has a practical application in many
areas of education. In particular, in this paper we are interested in
high schools remedial courses. The purpose of such courses is to
provide under-prepared students with the skills necessary to succeed
in their studies. In particular, a student might be under prepared in
an entire course, or only in a part of it. The limited availability
of funds, as well as the limited amount of time and teachers at
disposal, often requires schools to choose which courses and/or which
teaching units to activate. Thus, schools need to model the training
offer and the related timetabling, with the goal of ensuring the
highest possible teaching quality, by meeting the above-mentioned
financial, time and resources constraints. Moreover, there are some
prerequisites between the teaching units that must be satisfied. We
first present a Mixed-Integer Programming (MIP) model to solve
this problem to optimality. However, the presence of many peculiar
constraints contributes inevitably in increasing the complexity of
the mathematical model. Thus, solving it through a general-purpose
solver may be performed for small instances only, while solving
real-life-sized instances of such model requires specific techniques
or heuristic approaches. For this purpose, we also propose a heuristic
approach, in which we make use of a fast constructive procedure
to obtain a feasible solution. To assess our exact and heuristic
approaches we perform extensive computational results on both
real-life instances (obtained from a high school in Lecce, Italy) and
randomly generated instances. Our tests show that the MIP model is
never solved to optimality, with an average optimality gap of 57%.
On the other hand, the heuristic algorithm is much faster (in about the
50% of the considered instances it converges in approximately half of
the time limit) and in many cases allows achieving an improvement
on the objective function value obtained by the MIP model. Such an
improvement ranges between 18% and 66%.
Abstract: Currently, green rating systems are mainly utilized for
correctly sizing mechanical and electrical systems, which have short
lifetime expectancies. In these systems, passive solar and bio-climatic
architecture, which have long lifetime expectancies, are neglected.
Urban rating systems consider buildings and services in addition to
neighborhoods and public transportation as integral parts of the built
environment. The main goal of this study was to develop a more
consistent point allocation system for urban building standards by
using six different lifetime shearing layers: Site, Structure, Skin,
Services, Space, and Stuff, each reflecting distinct environmental
damages. This shearing-layer concept was applied to internationally
well-known rating systems: Leadership in Energy and Environmental
Design (LEED) for Neighborhood Development, BRE
Environmental Assessment Method (BREEAM) for Communities
and Comprehensive Assessment System for Building Environmental
Efficiency (CASBEE) for Urban Development. The results showed
that LEED for Neighborhood Development and BREEAM for
Communities focused on long-lifetime-expectancy building designs,
whereas CASBEE for Urban Development gave equal importance to
the Building and Service Layers. Moreover, although this rating
system was applied using a building-scale assessment, “Urban Area +
Buildings” focuses on a short-lifetime-expectancy system design,
neglecting to improve the architectural design by considering bioclimatic
and passive solar aspects.
Abstract: Several embryonic cellular mechanism including cell
cycle, growth and apoptosis are regulated by phosphatidylinositol-3-
kinase (PI3K)/Akt signaling pathway. The goal of present study is to
determine the effects of annatto (Bixa orellana)-derived δ-tocotrienol
(δ-TCT) on the regulations of PI3K/Akt genes in murine morula.
Twenty four 6-8 week old (23-25g) female balb/c mice were
randomly divided into four groups (G1-G4; n=6). Those groups were
subjected to the following treatments for 7 consecutive days: G1
(control) received tocopherol stripped corn oil, G2 was given 60
mg/kg/day of δ-TCT mixture (contains 90% delta & 10% gamma
isomers), G3 was given 60 mg/kg/day of pure δ-TCT (>98% purity)
and G4 received 60 mg/kg/day α-TOC. On Day 8, females were
superovulated with 5 IU Pregnant Mare’s Serum Gonadotropin
(PMSG) for 48 hours followed with 5 IU human Chorionic
Gonadotropin (hCG) before mated with males at the ratio of 1:1.
Females were sacrificed by cervical dislocation for embryo collection
48 hours post-coitum. About fifty morulas from each group were
used in the gene expression analyses using Affymetrix QuantiGene
Plex 2.0 Assay. Present data showed a significant increase (p