Search results for: formal work sector

Authors: Tanusha Raniga, Michael Boecker, Maud Mthembu

Abstract:

This paper considers the formal employment sector, human capacity development and economic capital of single-mother households’ as they strive to sustain livelihoods. This paper advances empirical data in the field of economic and social development policy. The correlation between educational level, human capacity development and economic self-reliance of single-mother households is considered. This paper presents empirical evidence obtained from qualitative in-depth interviews conducted with twenty-five single mothers who were working in the formal work sector in Hagen, Germany and two provinces, namely KwaZulu-Natal and Gauteng in South Africa. This is an underexplored research area as most of the international literature focuses on pathology and victimhood related to single-mother households. Instead, this paper presents the biographic profiles and discusses two key themes that emerged from the data analysis namely; formal and informal streams of income enhanced human capital development through access to further education and training opportunities. The women perceived these themes as facilitating factors which helped them sustain their households. The paper presents some suggestions for policymakers and social work practitioners to consider to improve support systems and avoid economic exclusion of single mothers who work within the first economy.

Keywords: single mothers, formal work sector, economic capital, human capital

Procedia PDF Downloads 117

Authors: Yvonne Ayerki Lamptey

Abstract:

The expanding informal sector in developing countries and in Ghana in particular from the 1980s has now been aggravated by the growing population and downsizing in both the public and private sectors, with displaced workers finding alternative livelihoods in the informal sector. Youth and graduate unemployment also swell the numbers and further promote the continuity of the sector. Formal workers and institutions facilitate the growth and complicate demarcations between informality within the formal and informal sectors. In spite of its growth and increasing importance, the informal economy does not feature in policy debates and has often been neglected by the Ghana government. The phenomenon has evolved with modernity into myriad unimaginable forms. Indeed, actors within the sector often clash with the interventions provided by policy makers - because neither the operatives nor the activities they perform can be clearly defined. This study uses in-depth interviews to explore the behavioural nature of the informal workers in Ghana to understand how the operatives describe and perceive the sector, and to identify the factors that influence their drive to stay within the sector. This paper concludes that the operatives clearly distinguish between the formal and informal sectors and identify the characteristics and conditions that constitute the informal sector. Other workers are trapped between formality and informality. The findings also enumerate the push and pull factors contributing to the growth of the sector.

Keywords: informal employment, informal sector, informal work, informality

Procedia PDF Downloads 262

Authors: Jegede Oluseye Oladayo

Abstract:

The study mapped innovation activities in the formal and informal mining sector in Nigeria. Data were collected through primary and secondary sources. Primary data were collected through guided questionnaire administration, guided interviews and personal observation. A purposive sampling method was adopted to select firms that are micro, small and medium enterprises. The study covered 100 (50 in the formal sector and 50 in the informal sector) purposively selected companies in south-western Nigeria. Secondary data were collected from different published sources. Data were analysed using descriptive and inferential statistics. Of the four types of technological innovations sampled, organisational innovation was found to be highest both in the formal (100%) and informal (100%) sectors, followed by process innovation: 60% in the formal sector and 28% in the informal sector, marketing innovation and diffusion based innovation were implemented by 64% and 4% respectively in the formal sector. There were no R&D activities (intramural or extramural) in both sectors, however, innovation activities occur at moderate levels in the formal sector. This is characterised by acquisition of machinery, equipment, hardware (100%), software (56), training (82%) and acquisition of external knowledge (60%) in the formal sector. In the informal sector, innovation activities were characterised by acquisition of external knowledge (100%), training/learning by experience (100%) and acquisition of tools (68%). The impact of innovation on firm’s performance in the formal sector was expressed mainly as increased capacity of production (100%), reduced production cost per unit of labour (88%), compliance with governmental regulatory requirements (72%) and entry on new markets (60%). In the informal sector, the impact of innovation was mainly expressed in improved flexibility of production (70%) and machinery/energy efficiency (70%). The important technological driver of process innovation in the mining sector was acquisition of machinery which accounts for the prevalence of 100% both in the formal and informal sectors. Next to this is training and re-training of technical staff, 74% in both the formal and the informal sector. Other factors influencing organisational innovation are skill of workforce with a prevalence of 80% in both the formal and informal sector. The important technological drivers include educational background of the manager/head of technical department (54%) for organisational innovation and (50%) for process innovation in the formal sector. The study concluded that innovation competence of the firms was mostly organisational changes.

Keywords: innovation prevalence, innovation activities, innovation performance, innovation drivers

Procedia PDF Downloads 349

Authors: Asghar Ali, Narjis Khatoon

Abstract:

This study focuses on the presence of wage differentials in Pakistan and also on the determinants that originate it. Since there are a smaller number of studies that are conducted on this topic in Pakistan, the current study aims to contribute in bridging the existing gap in this particular research genre. Hence, this study not only generates the desired results specific focus but it also contributes to the overall empirical work on the Pakistan economy. The preceding works which have been done to research wage determinants and wage differentials have used numerous different theories and approaches to reach their goals. The current study, in order to analyze the determinants of wage differentials in the developing economy, deals with the study of a number of such theories and approaches that are supposed as being beneficial for the purpose. This study undertakes the explanation of wage differentials in Pakistan by focusing on wage differentials in public and private sectors, formal and informal sectors, and major occupational groups. The study uses 'Wage Theory' to examine wage differentials among male and female employees in public and private sectors on varied levels of working conditions. This study also uses 'Segmented Labor Market Theory' to determine the wage differential in both public and private sectors, formal and informal, and major occupational groups in Pakistan. So the author has used various econometric techniques in order to explain and test these theories and to find out the required results. This study has employed seven different cross-sectional Labour Force Surveys for the time period between 2006-07 to 2012-13. Gender equality is not only a policy reform agenda for developing countries but also an important goal of Millennium Development Goals. This study investigates the nexus between wage inequality and economic growth and detects co-integration between gender wage differential and economic growth using ARDL bound test. It is confirmed from the empirical results that there exists long-run relationship between economic growth and wage differential. Our study indicated that half of the total female employees from fourteen major cities of Pakistan were employed in the public sector. Out of total female employees in private sector, 66 percent are employed in the formal sector, and 33 percent are working in the informal sector. Results also indicated that both men and women were paid more in the public sector compared to the private sector counterparts. Among the total female employees, only 9 percent had received any formal training, 52% were married and average years of schooling were 11 years. Further, our findings regarding wage differential between genders indicate that wage gap is lower in public sector as compared to private sector. In proportion, gender wage ratio was found to be 0.96, 0.62 and 0.66 in public, formal private and informal private sectors respectively. This suggests that in this case, private sector female employees with the same pay structure are compensated at a lower endowments rate as then public sector workers as compared to their counter parts.

Keywords: wage differentials, formal, informal, economic growth

Procedia PDF Downloads 157

Authors: Ouazoul Abdeloauhd, Jemjami Nadia

Abstract:

The concept of well-being at work is one of today's significant challenges in maintaining quality of life and managing psycho-social risks at work. Indeed, work in the sports sector has evolved, and this exponential evolution, marked by increasing demands and psychological, physical, and social challenges, which sometimes exceed the resources of sports actors, influences their sense of well-being at work. Well-being and burnout as antagonists provide information on the quality of working life in sports. The Basic aim of this literature review is to analyze the scientific corpus dealing with the subject of well-being at work in the sports sector while exploring the link between sports burnout and well-being. The results reveal the richness of the conceptual approaches and the difficulties of implementing them. Prospects for future research have, therefore, been put forward.

Keywords: well-being, burnout, quality of life, psycho-social risk, work on sports sector

Procedia PDF Downloads 47

Authors: Ouazoul Abdelouahd, Jemjami Nadia

Abstract:

The concept of well-being at work is one of today's significant challenges in maintaining quality of life and managing psycho-social risks at work. Indeed, work in the sports sector has evolved, and this exponential evolution, marked by increasing demands and psychological, physical, and social challenges, which sometimes exceed the resources of sports actors, influences their sense of well-being at work. Well-being and burnout as antagonists provide information on the quality of working life in sports. The Basic aim of this literature review is to analyze the scientific corpus dealing with the subject of well-being at work in the sports sector while exploring the link between sports burnout and well-being. The results reveal the richness of the conceptual approaches and the difficulties of implementing them. Prospects for future research have, therefore, been put forward.

Keywords: Well-being, quality of life, Burnout, ; psycho-social risk, Sports sector

Procedia PDF Downloads 42

Authors: Mohamed A. Sullabi

Abstract:

The importance of the formal specification in the software life cycle is barely concealing to anyone. Formal specifications use mathematical notation to describe the properties of information system precisely, without unduly constraining the way in how these properties are achieved. Having a correct and quality software specification is not easy task. This study concerns with how a group of rectifiers can communicate with each other and work to prepare and produce a correct formal software specification. WBCS has been implemented based mainly in the proposed supported cooperative work model and a survey conducted on the existing Webbased collaborative writing tools. This paper aims to assess the feasibility of executing the web-based collaboration process using WBCS. The purpose of conducting this test is to test the system as a whole for functionality and fitness for use based on the evaluation test plan.

Keywords: formal methods, formal specifications, collaborative writing, usability testing

Procedia PDF Downloads 366

Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song

Abstract:

The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.

Keywords: smart contract, formal verification, Ethereum, Coq

Procedia PDF Downloads 645

Authors: Wiem Gadri

Abstract:

This study delves into the intriguing properties of Pisot and Salem numbers within the framework of formal Laurent series over finite fields, a domain where these numbers’ spectral charac-teristics, Λm(β) and lm(β), have yet to be fully explored. Utilizing a methodological approach that combines algebraic number theory with the analysis of power series, we extend the foundational work of Erdos, Joo, and Komornik to this new setting. Our research uncovers bounds for lm(β), revealing how these depend on the degree of the minimal polynomial of β and thus offering a novel characterization of Pisot and Salem formal power series. The findings significantly contribute to our understanding of these numbers, highlighting their distribution and properties in the context of formal power series. This investigation not only bridges number theory with formal power series analysis but also sets the stage for further interdisciplinary research in these areas.

Keywords: Pisot numbers, Salem numbers, formal power series, over a finite field

Procedia PDF Downloads 15

Authors: Shabeer Khan

Abstract:

The main objective of Islamic Finance is to promote social justice thorough financial inclusion and redistribution of economic resources between rich and poor. The approach of Islamic finance is more comprehensive in nature and covers both formal and informal sectors of the economy, first, through reducing the gap between both sectors, and second by using specific Islamic values to reallocate the wealth between formal and informal sectors. Applying Generalized Method of Movements (GMM) to the annual data spanning from 1995-2015 for 141 countries, this study explores the determinants of informal business sector in Organization of Islamic Cooperation (OIC) countries and then compares with Non-OIC countries. Economic freedom and institutions variables as well as economic growth and money supply are found to reduce informal business sector in both OIC and Non-OIC nations while government expenditure are found to increase informal business sector in both group of nations. Informal Business sector remain the same in both types of countries but still the majority Muslim population in OIC economies create main difference between both groups of nations and justify the potential role of Islamic Finance in informal business sector in OIC nations. The study suggests that institutions quality should be improved and entrepreneurs’ friendly business environment must be provided. This study refines the main features of informal business sector and discuss their implications on policy designing and implementation, particularly in the context of Islamic finance fight against poverty, inequality and improving living standards of informal sector participants in OIC countries.

Keywords: Islamic finance, informal Business Sector, Generalized Method of Movements (GMM) and OIC

Procedia PDF Downloads 124

Authors: Maria Kjellgren, Sara Lilliehorn, Urban Markström

Abstract:

Critical components that influence the role and performance of school social workers in Swedish elementary schools will be described and analysed, such as formal regulations, professional self-understanding, and the SSWs’ role in the interplay between professional domains involved in elementary school. The data collection was conducted through four semi-structured focus group interviews with a total of 22 SSWs in four different regions in Sweden. The result reveals three main challenges for the School Social Worker (SSW): (1) To navigate in a pedagogic and medical arena within a multidisciplinary team, (2) To manage ambiguity without any formal regulations and unclear settings and leadership and finally, (3) To negotiate tasks at different levels, with a health promotional and preventive focus, where the SSW ends up, mainly in remedial work with individual children. The results also disclosed that SSWs hold a vague professional self-understanding position with a little formal mandate to perform their work.

Keywords: school social worker, multidisciplinary team, counselling, professional self-understanding, formal regulations

Procedia PDF Downloads 37

Authors: Megersa Dugasa Fite

Abstract:

This paper analyses regulatory and supervisory issues in the Ethiopian micro finance sector, which caters to the needs of those who have been excluded from the formal financial sector. Micro-finance has received increased importance in development because of its grand goal to give credits to the poor to raise their economic and social well-being and improve the quality of lives. The micro-finance at present has been moving towards a credit-plus period through covering savings and insurance functions. It thus helps in reducing the rate of financial exclusion and social segregation, alleviating poverty and, consequently, stimulating development. The Ethiopian micro finance policy has been generally positive and developmental but major regulatory and supervisory limitations such as the absolute prohibition of NGOs to participate in micro credit functions, higher risks for depositors of micro-finance institutions, lack of credit information services with research and development, the unmet demand, and risks of market failures due to over-regulation are disappointing. Therefore, to remove the limited reach and high degree of problems typical in the informal means of financial intermediation plus to deal with the failure of formal banks to provide basic financial services to a significant portion of the country’s population, more needs to be done on micro finance. Certain key regulatory and supervisory revisions hence need to be taken to strengthen the Ethiopian micro finance sector so that it can practically provide majority poor access to a range of high quality financial services that help them work their way out of poverty and the incapacity it imposes.

Keywords: micro-finance, micro-finance regulation and supervision, micro-finance institutions, financial access, social segregation, poverty alleviation, development, Ethiopia

Procedia PDF Downloads 356

Authors: Sumaira Saleem

Abstract:

This study reveals that the use of SMS effect the formal writing of the students. SMS is in vogue sine the last decade but its detrimental effects are effecting not only to the set norms but also deviant forms of expressions have come into the community to which all are not acquainted and it creates a hurdle in effective communication. It also determines the reasons behind the usage of SMS practices in the formal writings like in assignments and examinations. For this study a questionnaire was designed for faculty and students the data was collected from The Islamia University Bahawalpur and the formal work of the students was also collected to check the manifestation of SMS practices in writings. Data was analysed on excel sheet and the tables and graphs are used to explain the ratios and percentages of SMS usage. The results show that the usage of SMS has very strong effect upon the students writing.

Keywords: technology, writing, effects, SMS

Procedia PDF Downloads 344

Authors: Pirzada Sami Ullah Sabri

Abstract:

The present study examines the relationship between work engagement (WE) and employee turnover intentions (TI) in telecommunication sector using human resource development climate (HRDC) as a moderator. Based on 538 employees of telecommunication sector Hierarchal regression analysis is employed to examine the influence of HRDC on the relationship of work engagement and turnover intentions. The result indicates the negative correlation between work engagement and turnover intentions; HRD climate support as a powerful moderator increases the work engagement and lessens the turnover intentions. The study shows the importance of favorable and supportive HRD climate which foster the work engagement of the employees in the organization. By understanding the importance of human resource development climate and work engagement in reducing the turnover intentions can increase the productivity and performance of the organization.

Keywords: turnover intentions, work engagement, human resource development, climate, hierarchal regression analysis, telecommunication sector

Procedia PDF Downloads 401

Authors: Aamar Ilyas

Abstract:

Value of firm does not only depend upon its financial and material resources rather human resource is also a significant contributor in success of organizations by achieving competitive advantage. Human resource is an important asset so it is the main responsibility of employers to get the best use of this resource. Hence, this paper will explore the human resource practices used by entrepreneurs in the informal economy in Lahore, the provincial capital of Punjab, Pakistan. In this study three major sectors are randomly selected. Snowball sampling technique was applied to collect data. Survey was conducted through interviews of 45 respondents working in the informal sector. The results show that informal sector in Pakistan is not using any formal human resource practices as done by formal enterprises. Findings suggest that there should be the implementation of the human resource practices that help the firm to increase its productivity and ensure the betterment of the employees. The main limitation of the study was short time period to cater all sectors of informal economy of Pakistan which limits the extent of its generalizability. The rationale behind this study is to uncover the facts regarding management practices of human capital in the informal sector.

Keywords: HR practices, informal economy, working condition, recruitment, training, employee motivation, welfare

Procedia PDF Downloads 345

Authors: Yingxu Wang

Abstract:

The base 6 structure and properties of mirror primes are discovered in this work towards the proof of Goldbach Conjecture. This paper reveals a fundamental pattern on pairs of mirror primes adjacent to any even number nₑ > 2 with symmetrical distances on both sides determined by a methodology of Mirror Prime Decomposition (MPD). MPD leads to a formal proof of the Goldbach conjecture, which states that the conjecture holds because any pivot even number, nₑ > 2, is a sum of at least an adjacent pair of primes divided by 2. This work has not only revealed the analytic pattern of base 6 primes but also proven the infinitive validation of the Goldbach conjecture.

Keywords: number theory, primes, mirror primes, double recursive patterns, Goldbach conjecture, formal proof, mirror-prime decomposition, applications

Procedia PDF Downloads 14

Authors: Osman Okumuş

Abstract:

The pandemic has significantly affected every aspect of life. Especially in recenttimes, as a result of this effect, we have come closer to technology. Distance education has taken the place of formal education rather than supporting formal education. Thiscreatednewexperiencesforbothteachersandstudents. This research focused on revealing the experiences of the same students in distance and formal education, especially in history lessons. In the study, which was designed as a case study, 20 students were interviewed through a semi-structured interview form prepared by the researcher. The results show that both learning environments provide students with important experiences. However, despite the fact that the students developed their digital competencies and experienced different learning environments, they focused on formal education in the name of socialization.

Keywords: history lessons, distance education, pandemic., formal education

Procedia PDF Downloads 64

Authors: Zulaiha Maluma Ahmad

Abstract:

This paper attempted to examine adult and non formal education for the attainment of entrepreneurial skills in empowering the citizens with entrepreneurial skills, for Nigeria’s socioeconomic development. This paper highlighted the meaning of education in the context of skill acquisition, entrepreneurial education, adult and non formal education. It also examined the objectives, issues and challenges as well as prospects of this type of education. It further discussed the role of adult and non formal education for the attainment of socioeconomic development of a growing nation like Nigeria. The paper equally proffered some recommendations and eventually concluded that adult and non formal education can indeed make self reliance, personal satisfaction and the attainment of entrepreneurial education for the socioeconomic development of any nation, possible.

Keywords: entrepreneurial education, adult education, non formal education skills, Nigeria

Procedia PDF Downloads 549

Authors: Rino Gubiani, Gianfranco Pergher

Abstract:

The work focused on the statistical analysis of accidents in the forestry sector (2000-2020) in Friuli-Venezia Giulia region, located in the North-East of Italy. The aim of the work was to analyse the evolution of the casualties throughout time and to evaluate possible improvements in the sector. It was shown that even nowadays the rate of accidents in forestry work is higher compared with all the other sectors, including agriculture; moreover, it was highlighted that some accidents remained present throughout the whole analysed range, such as slipping on the soil, being hit by trees and falling down from the plants. The results showed that an increase in forestry exploitation could even increase the total number of accidents, if advanced technological machines, such as cable cranes, would not implemented, given the fact that there is also a significant number of old people (above 50 years old) working in the sector.

Keywords: safety, forestry work, accidents, risk analysis, casualties, statistical analysis

Procedia PDF Downloads 102

Authors: Krishna Prasad Sharma

Abstract:

Nepal’s financial sector has become deeper and wider, and the number and types of financial intermediaries have grown rapidly over the past two decades. However, access to financial services remains limited for many people in many parts of rural Nepal. While financial institutions have been expanding rapidly in an urban area in recent years, the access to the rural poor is excessively inadequate due to financial illiteracy and limited numbers of financial institutions that confined only to the district headquarters. Based on the focus group discussion, semi-structured interview of key people and literature review, this paper aims to examine the supply of and demand for financial services in Nepal and the constraints to increasing access to them, and offers way forward for making the financial sector work for all of Nepal’s people, especially the rural poor. While Nepal’s government has tried to increase access to formal financial services for small businesses and low-income households through directed lending programs for small businesses and low-income households, created specialized wholesale and retail institutions, and lowered market entry requirements, formal financial services are declining, and financial intermediation is stagnating. Supply and demand indicators show that, despite government efforts, formal financial institutions do not serve the needs of most of the Nepalese population. While access to and use of formal financial services are limited, in general, the problem is acute for small businesses and low-income households. Indeed, both access and use are closely correlated with business loan size and household income. This study concludes that banks and microfinance institutions with the use of mobile phones can connect hundreds of millions of unbanked and low-income people, especially rural poor to financial services at low costs. While there are many challenges ahead in expanding the service to rural areas, the mobile financial services will be beneficial that makes payments faster and cheaper, more convenient and accessible to a greater number of senders and recipients in rural areas. In rural areas, clients will benefit from money transfer and other mobile and online services.

Keywords: financial inclusion, financial enabling environment, microfinance, branchless banking, rural poor

Procedia PDF Downloads 256

Authors: Pramoda Karunarathna, Hemamalie Gunatilaka

Abstract:

This study is based on experiences of Sri Lankan lesbian and gay workers’ career in the corporate sector, which include both manufacturing and service sectors. The study has started with the intention of shedding light on a grey area to observe the negative effects on lesbian and gay workers and their experiences while they are employed in the Sri Lankan corporate sector. In order to understand the experiences of lesbian and gay workers while they are at work within the corporate sector, the study seeks to address four questions. First research question is about the challenges faced by lesbian and gay workers while they are at work, and the second research question looks at their career patterns. Third research question seeks to address the behavior at work, and the fourth research question looks at the influence of class, religion, and cultural aspects on the career of lesbian and gay workers. Methodologically, the research was based on semi-structured interviews with nine participants (five gay men and four lesbian women) having work experience in the corporate sector and residing in Colombo, the capital city of Sri Lanka. The research found that the participants have gone through the process of developing sexual identity; gay men possess more feminine characteristics, while lesbian women possess more masculine characteristics. Further, their identity gets revealed in different ways, such as through the curriculum vitae, at the interviews, through the attire and behavior, and with the use of social media. The study also found that lesbian and gay workers experience discrimination due to violation of hierarchical power difference by other employees and marginalization, verbal and nonverbal abuse by other men at work are common experiences. Another finding is that lesbian and gay workers adopt strategies for survival at work, and they prefer the NGO sector to the corporate sector. In contrast, even within the corporate sector, advertising is preferred by lesbian and gay workers. Some of the Sri Lankan corporate sector organizations, especially multinational organizations, have initiated diversity training, and it might lead to making these organisations lesbian and gay-friendly workplaces in the future. It is also found that nearly 44 percent of the participants do not have a religion, and it is due to the rejection of deviant behaviours by most of the religions. In conclusion, lesbian and gay workers experience discrimination at work in the Sri Lankan corporate sector with an exception to the companies relating to advertising and non-governmental organisations is the sector that these workers prefer the most.

Keywords: lesbian workers, gay workers, Sri Lankan corporate sector, discrimination

Procedia PDF Downloads 113

Authors: Aran Hakki, Corina Cirstea, Julian Rathke

Abstract:

Formal methods are yet to be utilized in mainstream software development due to issues in scaling and implementation costs. This work is about developing a scalable, simplified, pragmatic, formal software development method with strong correctness properties and guarantees that are easy prove. The method aims to be easy to learn, use and apply without extensive training and experience in formal methods. Petra is proposed as an object-oriented, process calculus with composable data types and sequential/parallel processes. Petra has a simple denotational semantics, which includes a definition of Correct by Construction. The aim is for Petra is to be standard which can be implemented to execute on various mainstream programming platforms such as Java. Work towards an implementation of Petra as a Java EDSL (Embedded Domain Specific Language) is also discussed.

Keywords: compositionality, formal method, software verification, Java, denotational semantics, rewriting systems, rewriting semantics, parallel processing, object-oriented programming, OOP, programming language, correct by construction

Procedia PDF Downloads 111

Authors: Jawid Ahmad Baktash, Mursal Dawodi, Tomokazu Nagata

Abstract:

With the rapid growth of Cloud Computing, Formal Methods became a good choice for the refinement of message specification and verification for Dynamic Routing in Cloud Computing. Cloud-based Dynamic Routing is becoming increasingly popular. We propose feedback in Formal Methods for Dynamic Routing and Cloud Computing; the model and topologies show how to send messages from index zero to all others formally. The responsibility of proper verification becomes crucial with Dynamic Routing in the cloud. Formal Methods can play an essential role in the routing and development of Networks, and the testing of distributed systems. Event-B is a formal technique that consists of describing the problem rigorously and introduces solutions or details in the refinement steps. Event-B is a variant of B, designed for developing distributed systems and message passing of the dynamic routing. In Event-B and formal methods, the events consist of guarded actions occurring spontaneously rather than being invoked.

Keywords: cloud, dynamic routing, formal method, Pro-B, event-B

Procedia PDF Downloads 383

Authors: Clara Inés Pardo Martínez

Abstract:

In emerging economies, recycling is an opportunity for the cities to increase the lifespan of sanitary landfills, reduce the costs of the solid waste management, decrease the environmental problems of the waste treatment through reincorporate waste in the productive cycle and protect and develop people’s livelihoods of informal waste pickers. However, few studies have analysed the possibilities and strategies to integrate formal and informal sectors in the solid waste management for the benefit of both. This study seek to make a strength, weakness, opportunity, and threat (SWOT) analysis in three recycling associations of Bogotá with the aim to understand and determine the situation of recycling from perspective of informal sector in its transition to enter as authorized waste providers. Data used in the analysis are derived from multiple strategies such as literature review, the Bogota’s recycling database, focus group meetings, governmental reports, national laws and regulations and specific interviews with key stakeholders. Results of this study show as the main stakeholders of formal and informal sector of waste management can identify the internal and internal conditions of recycling in Bogotá. Several strategies were designed based on the SWOTs determined, could be useful for Bogotá to advance and promote recycling as a key strategy for integrated sustainable waste management in the city.

Keywords: Bogotá, recycling, solid waste management, SWOT analysis

Procedia PDF Downloads 368

Authors: Surinder Sood, Debajyoti Mukherjee

Abstract:

Formal verification techniques have become widely popular in pre-silicon verification as an alternate to constrain random simulation based techniques. This paper proposed a novel formal verification-based coverage augmentation technique in verifying complex RTL functional verification faster. The proposed approach relies on augmenting coverage analysis coming from simulation and formal verification. Besides this, the functional qualification framework not only helps in improving the coverage at a faster pace but also aids in maturing and qualifying the formal verification infrastructure. The proposed technique has helped to achieve faster verification sign-off, resulting in faster time-to-market. The design picked had a complex control and data path and had many configurable options to meet multiple specification needs. The flow is generic, and tool independent, thereby leveraging across the projects and design will be much easier

Keywords: COI (cone of influence), coverage, formal verification, fault injection

Procedia PDF Downloads 87

Authors: Yahya Al Nahdi

Abstract:

Even though efforts to increase the participation of nationals in the workforce have been in place for more than a decade in the Sultanate of Oman, the results are not impressive. Citizens’ workforce participation – it is argued in the literature – is hindered by institutional, as well as attitudinal concerns. The purpose of this study was to determine barriers to Omanization (employment of Omani nationals) in the private sector as perceived by the senior managers in government and private sector. Data were collected predominantly through in-depth, semi-structured interviews with managers who directly deal with Omanization policies from both the public and private sector. Results from the data analysis have shown that the majority of participants acknowledged a work preference in the movement (public sector). The private sector employees' compensation and benefits package was perceived to be less attractive than that offered in the government (public sector). The negative perceptions (stereotypes) shared by expatriates regarding work attitudes and competencies of citizens in the local labour market was also overwhelmingly perceived as a major hindrance. Furthermore, institutional issues such as, ineffectiveness of rules and regulation regarding Omanization, inappropriate quota system and lack of public awareness towards private sector’s jobs, are also perceived problematic to successful Omanization. Finally, results from the data analysis were used in recommending strategies for potential consideration in the pursuit of a successful Omanization programme.

Keywords: localization, job security, labour force structure, Omanization, private sector, public sector

Procedia PDF Downloads 357

Authors: Namrata Jain, Vishaka Karnad

Abstract:

Fashion has always fascinated people through ages. Indian women’s wear in particular women's western formal wear has gone through transformational phases during the past decade. Increasing number of working women, independence in deciding financial matters, media exposure and awareness of current trends has provided a different dimension to the apparel segment. With globalization and sharing of cultures, in India formal women’s wear is no longer restricted to ethnic outfits like a sari or salwarkameez. Strong western influence has been observed in the process of designing, production and use of western formal wear by working women as consumers. The present study focuses on the psychographics parameters, consumer buying preferences and their relation to the present market scenario. Qualitative and quantitative data was gathered through a observation, consumer survey and study of brands. A questionnaire was prepared and uploaded as a google form to gather primary data from hundred consumer respondents. The respondent samples were drawn through snowball and purposive sampling technique. Consumers’ buying behavior is influenced by various aspects like age group, occupation, income and their personal preferences. Frequency of use, criteria for brand selection, styles of formal wear and motivating factors for purchase of western formals by working women were the other influential factors under consideration. It was observed that higher consumption and more popularity was indicated by women in the age group of 21-30 years. Amongst western formal wear shirts and trousers were noted to be the most preferred in Mumbai. It may be noted that consumers purchased and used branded western formal wear for reasons of comfort and value for money. Past experience in using the product and price were some of the important criteria for brand loyalty but the need for variety lured consumers to look for other brands. Fit of the garment was rated as the most important motivational factor while selecting products for purchase. With the advancement of women’s economic status, self-reliance, women role and image in the society, impulsive buying has increased with increase in consumerism. There is an ever growing demand for innovations in cuts, styles, designs, colors and fabrics. The growing fashion consciousness at the work place has turned women’s formal wear segment into a lucrative and highly evolving market thus providing space for new entrepreneurs to become a part of this developing sector.

Keywords: buying behavior, consumerism, fashion, western formal wear

Procedia PDF Downloads 429

Authors: Chanoknart Mayusoh

Abstract:

The research about Formal Thai National Costume in the reign of King Bhumibol Adulyadej is an applied research that aimed to study the accurate knowledge concerning to Thai national costume in the reign of King Rama IX, also to study origin of all costumes in the reign of King Rama IX and to study the style, material used, and using accasion. This research methodology which are collect quanlitative data through observation, document, and photograph from key informant of costume in the reign of King Rama IX and from another who related to this field. The formal Thai national costume of the reign of King Bhumibol Adulyadej originated from the visit of His Majesty the King to Europe and America in 1960. Since Thailand had no traditional national costume; Her Majesty the Queen initiated the idea to create formal Thai national costumes. In 1964, Her Majesty the Queen selected 8 styles of formal Thai national costume. Later, Her Majesty the Queen confered another 3 formal Thai national costume for men. There are 8 styles of formal Thai national costume for women: Thai Ruean Ton, Thai Chit Lada, Thai Amarin, Thai Borom Phiman, Thai Siwalia, Thai Chakkri, Thai Dusit, and Thai Chakkraphat. There are 3 styles of formal Thai national costume for men: short-sleeve shirt, long-sleeve shirt, and long-sleeve shirt with breechcloth. The costume is widely used in formal ceremony such as greeting ceremony for official foreign visitors, wedding ceremony, or other auspicious ceremonies. Now a day, they are always used as a bridal gown as well. The formal Thai national costume is valuable art that shows Thai identity and, should be preserved for the next generation.

Keywords: formal Thai national costume for women, formal Thai national costume for men, His Majesty King Bhumibol Adulyadej the Great King Rama IX, Her Majesty Queen Sirikit Queen

Procedia PDF Downloads 224

Authors: Johnas Buhori, Meinrad Haule Lembuka

Abstract:

Introduction: Social work expands its boundary to accommodate indigenous knowledge and practice for better competence and services. In Tanzania, Mama Mkubwa Mkubwa (MMM) (Mother’s elder sister) is an indigenous practice of alternative child care that represents other traditional practices across African societies known as Ubuntu practice. Ubuntu is African Humanism with values and approaches that are connected to the social work. MMM focuses on using the elder sister of a deceased mother or father, a trusted elder woman from the extended family or indigenous community to provide alternative care to an orphan or vulnerable child. In Ubuntu's perspective, it takes a whole village or community to raise a child, meaning that every person in the community is responsible for child care. Methodology: A desk review method guided by Ubuntu theory was applied to enrich the study. Findings: MMM resembles the Ubuntu ideal of traditional child protection of those in need as part of alternative child care throughout Tanzanian history. Social work practice, along with other formal alternative child care, was introduced in Tanzania during the colonial era in 1940s and socio-economic problems of 1980s affected the country’s formal social welfare system, and suddenly HIV/AIDS pandemic triggered the vulnerability of children and hampered the capacity of the formal sector to provide social welfare services, including alternative child care. For decades, AIDS has contributed to an influx of orphans and vulnerable children that facilitated the re-emerging of traditional alternative child care at the community level, including MMM. MMM strongly practiced in regions where the AIDS pandemic affected the community, like Njombe, Coastal region, Kagera, etc. Despite of existing challenges, MMM remained to be the remarkably alternative child care practiced in both rural and urban communities integrated with social welfare services. Tanzania envisions a traditional mechanism of family or community environment for alternative child care with the notion that sometimes institutionalization care fails to offer children all they need to become productive members of society, and later, it becomes difficult to reconnect in the society. Implications to Social Work: MMM is compatible with social work by using strengths perspectives; MMM reflects Ubuntu's perspective on the ground of humane social work, using humane methods to achieve human goals. MMM further demonstrates the connectedness of those who care and those cared for and the inextricable link between them as Ubuntu-inspired models of social work that view children from family, community, environmental, and spiritual perspectives. Conclusion: Social work and MMM are compatible at the micro and mezzo levels; thus, application of MMM can be applied in social work practice beyond Tanzania when properly designed and integrated into other systems. When MMM is applied in social work, alternative care has the potential to support not only children but also empower families and communities. Since MMM is a community-owned and voluntary base, it can relieve the government, social workers, and other formal sectors from the annual burden of cost in the provision of institutionalized alternative child care.

Keywords: ubuntu, indigenous social work, african social work, ubuntu social work, child protection, child alternative care

Procedia PDF Downloads 39

Authors: Minh Thi Hai Vo

Abstract:

This article draws on in-depth interviews with state employees at public hospitals and universities in its institutional analysis of the autonomy practices of public service delivery units in Vietnam. Unlike many empirical and theoretical studies that view formal and informal institutions as complements or substitutes, this article finds no evidence of complementary or substitutive relationships. Instead, the article finds that formal institutions accommodate informal ones and that informal institutions tend to compete and interfere, with the existing and ineffective formal institutions. The result of such conflicting relationship is that the actual autonomy of public service delivery units is, in most cases, perceived to be greater than the formal autonomy they are given. In the condition of poor regulation, the informal autonomy may result in unethical practices including rent-seeking and corruption. The implication of the study finding is policy-makers need to redesign and reorganize the autonomisation of public service delivery units to make informal institutions support and reinforce formal ones in a complementary manner.

Keywords: autonomy, formal institutions, informal institutions, public service delivery units, Vietnam

Procedia PDF Downloads 172