Search results for: formal and informal criminal control
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 11907

Search results for: formal and informal criminal control

11847 Impact of Informal Institutions on Development: Analyzing the Socio-Legal Equilibrium of Relational Contracts in India

Authors: Shubhangi Roy

Abstract:

Relational Contracts (informal understandings not enforceable by law) are a common feature of most economies. However, their dominance is higher in developing countries. Such informality of economic sectors is often co-related to lower economic growth. The aim of this paper is to investigate whether informal arrangements i.e. relational contracts are a cause or symptom of lower levels of economic and/or institutional development. The methodology followed involves an initial survey of 150 test subjects in Northern India. The subjects are all members of occupations where they frequently transact ensuring uniformity in transaction volume. However, the subjects are from varied socio-economic backgrounds to ensure sufficient variance in transaction values allowing us to understand the relationship between the amount of money involved to the method of transaction used, if any. Questions asked are quantitative and qualitative with an aim to observe both the behavior and motivation behind such behavior. An overarching similarity observed during the survey across all subjects’ responses is that in an economy like India with pervasive corruption and delayed litigation, economy participants have created alternative social sanctions to deal with non-performers. In a society that functions predominantly on caste, class and gender classifications, these sanctions could, in fact, be more cumbersome for a potential rule-breaker than the legal ramifications. It, therefore, is a symptom of weak formal regulatory enforcement and dispute settlement mechanism. Additionally, the study bifurcates such informal arrangements into two separate systems - a) when it exists in addition to and augments a legal framework creating an efficient socio-legal equilibrium or; b) in conflict with the legal system in place. This categorization is an important step in regulating informal arrangements. Instead of considering the entire gamut of such arrangements as counter-development, it helps decision-makers understand when to dismantle (latter) and when to pivot around existing informal systems (former). The paper hypothesizes that those social arrangements that support the formal legal frameworks allow for cheaper enforcement of regulations with lower enforcement costs burden on the state mechanism. On the other hand, norms which contradict legal rules will undermine the formal framework. Law infringement, in presence of these norms, will have no impact on the reputation of the business or individual outside of the punishment imposed under the law. It is especially exacerbated in the Indian legal system where enforcement of penalties for non-performance of contracts is low. In such a situation, the social norm will be adhered to more strictly by the individuals rather than the legal norms. This greatly undermines the role of regulations. The paper concludes with recommendations that allow policy-makers and legal systems to encourage the former category of informal arrangements while discouraging norms that undermine legitimate policy objectives. Through this investigation, we will be able to expand our understanding of tools of market development beyond regulations. This will allow academics and policymakers to harness social norms for less disruptive and more lasting growth.

Keywords: distribution of income, emerging economies, relational contracts, sample survey, social norms

Procedia PDF Downloads 145
11846 The Origins of Inflation in Tunisia

Authors: Narimen Rdhaounia Mohamed Kouni

Abstract:

Our aim in this paper is to identify the origins of inflation in Tunisia on the period from 1988 to 2018. In order to estimate the model, an ARDL methodology is used. We studied also the effect of informal economy on inflation. Indeed, we estimated the size of the informal economy in Tunisia based on Gutmann method. The results showed that there are three main origins of inflation. In fact, the first origin is the fiscal policy adopted by Tunisia, particularly after revolution. The second origin is the increase of monetary variables. Finally, informal economy played an important role in inflation.

Keywords: inflation, consumer price index, informal, gutmann method, ARDL model

Procedia PDF Downloads 61
11845 Assessing the Contribution of Informal Buildings to Energy Inefficiency in Kenya: A Case of Mukuru Slums

Authors: Bessy Thuranira

Abstract:

Buildings, as they are designed and used, may contribute to serious environmental problems because of excessive consumption of energy and other natural resources. Buildings in the informal settlements particularly, due to their unplanned physical structure and design, have significantly contributed the global energy problematic scenario typified by high-level inefficiencies. Energy used in buildings in Africa is estimated to be the highest of the total national electricity consumption. Over the last decade, assessments of energy consumption and efficiency/inefficiency has focused on formal and modern buildings. This study seeks to go off the beaten path, by focusing on energy use in informal settlements. Operationally, it sought to establish the contribution of informal buildings in the overall energy consumption in the city and the country at large. This study was carried out in Mukuru kwa Reuben informal settlement where there is distinct manifestation of different settlement morphologies within a small locality. The research narrowed down to three villages (Mombasa, Kosovo and Railway villages) within the settlement, that were representative of the different slum housing typologies. Due to the unpredictability nature and informality in slums, this study takes a multi-methodology approach. Detailed energy audits and measurements are carried out to predict total building consumption, and document building design and envelope, typology, materials and occupancy levels. Moreover, the study uses semi-structured interviews and to access energy supply, cost, access and consumption patterns. Observations and photographs are also used to shed more light on these parameters. The study reveals the high energy inefficiencies in slum buildings mainly related to sub-standard equipment and appliances, building design and settlement layout, poor access and utilization/consumption patterns of energy. The impacts of this inefficiency are high economic burden to the poor, high levels of pollution, lack of thermal comfort and emissions to the environment. The study highlights a set of urban planning and building design principles that can be used to retrofit slums into more energy efficient settlements. The study explores principles of responsive settlement layouts/plans and appropriate building designs that use the beneficial elements of nature to achieve natural lighting, natural ventilation, and solar control to create thermally comfortable, energy efficient, and environmentally responsive buildings/settlements. As energy efficiency in informal settlements is a relatively less explored area of efficiency, it requires further research and policy recommendations, for which this paper will set a background.

Keywords: energy efficiency, informal settlements, renewable energy, settlement layout

Procedia PDF Downloads 106
11844 Formal Sector Employment, Economic Capital and Human Capacity Development: Voices of Single Mothers from South Africa and Germany

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 136
11843 The Experiences of Secondary School Students in History Lessons in Distance and Formal Education

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 84
11842 'Spare the Rod and Spoil the Child': The Criminal Career of an Armed Robber

Authors: Mahlogonolo Stephina Thobane

Abstract:

The aim of the study upon which this article is based was “to evaluate the possibility of using criminal career research in the development and evaluation of crime control strategies, particularly for armed robberies.” The research employed a concurrent triangulation mixed-method approach where quantitative and qualitative data were collected concurrently but analysed separately through the use of SPSS and Atlas.ti respectively. Forty offenders incarcerated at six correctional centres around the Gauteng province of South Africa for robbery with aggravating circumstances were interviewed as research participants. Since the researcher had no prior information on the total number of the population, purposive sampling (i.e. snowballing) was executed to draw the sample. This research found that offenders launched their criminal career at a very young age of, 11 years, by committing petty crimes such as theft and then, as they grew older, they progressed to more serious and violent crimes such as vehicle hijacking and Cash-in-Transit (CIT) robberies. Thus, it is pivotal that those responsible for developing crime prevention policies focus on interrupting the root causes of crime in the early stages of one’s life in order to prevent continuation of delinquent behaviour from childhood to adolescence and adulthood.

Keywords: criminal career, robbery with aggravating circumstances, cash-in-transit robbery, criminal career research

Procedia PDF Downloads 427
11841 The Role of Formal and Informal Social Support in Predicting the Involvement of Mothers and Fathers of Young Children with Autism Spectrum Disorder

Authors: Adi Sharabi, Dafna Marom-Golan

Abstract:

Parents’ involvement in the care of their children with Autism Spectrum Disorder (ASD) and its beneficial effect on the children’s developmental and educational outcomes is well documented. At the same time, parents of children with ASD tend to experience greater psychological distress than parents of children with other developmental disabilities or with typical development. Positive social support is an important resource used by parents to reduce their psychological distress. The goal of the current research was to examine the contribution of formal and informal social support in explaining mothers’ and fathers’ involvement with their young children with ASD. The sample consisted of 107 parents who live in Israel (61 mothers and 46 fathers) of children aged between 2 and 7, all diagnosed with ASD and attending special kindergartens or special day care for children with ASD. Parental involvement and social support perception were assessed. Initial analysis focused on the relations between involvement, support, and demographic variables. In addition, analysis of variance (ANOVA) was conducted to test differences between mothers and fathers. Two hierarchical multiple regression analyses were performed to examine the predicted factors in the involvement model while controlling for group (mothers/fathers). Results indicate that mothers reported significantly higher levels of parenting involvement than fathers. Mothers reported higher levels of general involvement and all sub-types of involvement. For example, mothers reported that they were more interested in and have higher levels of attendance in their child’s educational program. They were also more collaborative in their child’s educational therapeutic program, and socialized with other parents of children from their child’s kindergarten than fathers. Mothers’ involvement was found to be related to their informal support (non-formal relatives). Findings also reveal significant differences between mothers and fathers on the formal support subscale measure of specializes services. Fathers, more than mothers, reported more specializes services support such as social workers or professional therapists. Separate hierarchical multiple regression analyses revealed a unique gender difference in the factors that explained parental involvement. Specifically, informal support only had a unique positive contribution in explaining mothers’, but not fathers’ involvement. This study highlights the central role of mothers in maintaining constant contact with the educational system and the professionals who help care for their child with ASD. At the same time, this research emphasizes the crucial role of both mothers and fathers in their child's development and well-being at every development stage, particularly in early development. Further, different kinds of social support seem to relate to the different kinds of parental involvement. It is in the best interest of educators and family therapists who work with families with children with ASD to support the cohesiveness of the family and the collaboration of the parents by understanding and respecting the way each member addresses the responsibilities of parenting a child with ASD, and her or his need for different types of social support.

Keywords: parental differences, parental involvement, social support, specialized support services

Procedia PDF Downloads 233
11840 Home-based Production of the Southern Dialect Dong Minority Women in Rural Hunan, China

Authors: Sze Wai Veera Fung, Peter W. Ferretto

Abstract:

Since the economic reform in 1980s, many men and women of the southern dialect Dong minority have migrated to coastal cities for employment. Responding to the outgoing providers of the families, women, especially those at the middle age, resort to the informal home-based services and goods production for income generation. Homework, therefore, becomes a key economic strategy in supporting the household expenses in rural China, where formal employment is often inadequate for local women. This paper seeks to examine the intersection between gender and household strategy in the broader economic context of rural China. Based on the interviews and site survey in Tongdao Dong Autonomous County, the study analyses the variety of the home-based production activities, the experience of women in the production process, and the impact on familial relation and gender division of labor at home. The objective of this research is to advance the understanding of the informal economic landscape in the contemporary rural China, through which an alternative and possibly a more appropriate mode of development can be investigated.

Keywords: gender relation, home-based production, household strategy, informal economy, rural China, dong minority

Procedia PDF Downloads 106
11839 Sexual and Gender Based Crimes in International Criminal Law: Moving Forwards or Backwards

Authors: Khadija Ali

Abstract:

Prosecution of sexual violence in international criminal law requires not only an understanding of the mechanisms employed to prosecute sexual violence but also a critical analysis of the factors facilitating perpetuation of such crimes in armed conflicts. The extrapolations laid out in this essay delve into the jurisprudence of international criminal law pertaining to sexual and gender based violence followed by the core question of this essay: Has the entrenchment of sexual violence as international crimes in the Rome Statute been successful to address such violence in armed conflicts?

Keywords: conflict, gender, international criminal law, sexual violence

Procedia PDF Downloads 557
11838 Debt Portfolios of the Poor: The Case of Street Vendors in Cali, Colombia

Authors: Lina Martinez, Juan David Rivera Acevedo, Isabella Franco

Abstract:

The informal economy plays a significant role in the job market in Colombia. Cali, the third largest city in the country, is characterized by a high percentage of socially and economically vulnerable population groups who take part in the urban informal economy, with street vending as their primary source of income. This paper studies the socio-economic dimensions of street vendors in Cali. In particular, it examines why they are unable to capitalize on their comparatively high earnings and are not likely to escape poverty even though they usually profit from government welfare and tax evasion due to the non-regulated character of informality. The analysis of an observational study and two surveys with 637 and 300 participants show that street vending is a cash-based day-to-day activity. Since most of the street vendors do not have access to formal banking systems, they depend on payday loans with incomparably high interest rates which absorb a large share of their income and maintain a continuous indebtedness. This is one of the main reasons why they are unable to improve their living conditions. However, the daily cash flow masks the high opportunity cost of loans and long-term deficits.

Keywords: Colombia, informal economy, payday loans, street vendors

Procedia PDF Downloads 298
11837 Criminal Liability for Criminal Tax

Authors: Theresia Simatupang dan Rahmayanti

Abstract:

Tax Law is a legal product and therefore should be subject to the legal norms, both about this actions, implementation, and about the material. Law has always aimed at providing justice, and besides that the law as a tool used to organize the order or rule of law. tax classification of a crime in this is very necessary, because the crime of taxation is very detrimental to the country and is still very high in society and socialization associated with punishment in sentencing that would have to provide a deterrent for the perpetrators, so refer to the this, these criminal offenses can endanger the stability of the nation's economy and the country that require special snacks. The application of legal sanctions against the perpetrators of the crime of taxation already has a strong legal basis, namely UU KUP. UU KUP have loaded threat (sanctions) severe punishment for tax payers who commit offenses and crimes in the field of taxation, which is contained in Article 38, and Article 39, Article 41, Article 41 A, and 41 B as well as Article 43 of Law and Law No. 12 KUP about 1985 Land Tax and Building. Criminal sanctions against violators of the tax provision are important because tax payers sanctions for violating tax laws.

Keywords: accountability, tax crime, criminal liability, taxation

Procedia PDF Downloads 323
11836 Adult and Non Formal Education for the Attainment of Enterprenuerial Skills in Nigeria

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 568
11835 The Impact of Technology on Cultural Heritage among Preschool Children

Authors: Adenike Akinrotimi

Abstract:

Globally, education has been identified as vital tool for any form of development for any society (community); be it economic, social, political and cultural development. It is the determinant level of prosperity, welfare, security and sustenance of the people of a particular community. Education could be formal, informal and non-formal. Cultural development of an individual and of the community as it were is a lifelong process, where individual learns from daily experiences, exposure to the environment at home, at work, at play and it enriches human and environmental potentials. This type of education can be referred to as cultural heritage. It is built on learner participation and assimilation. Preschool programme also referred to as Early Childhood Education is critical to holistic development of a child cultural development inclusive. This paper examines the impact that technology has on cultural heritage among preschool children.

Keywords: cultural heritage, education, pre-school, technology

Procedia PDF Downloads 372
11834 Estimation of Desktop E-Wastes in Delhi Using Multivariate Flow Analysis

Authors: Sumay Bhojwani, Ashutosh Chandra, Mamita Devaburman, Akriti Bhogal

Abstract:

This article uses the Material flow analysis for estimating e-wastes in the Delhi/NCR region. The Material flow analysis is based on sales data obtained from various sources. Much of the data available for the sales is unreliable because of the existence of a huge informal sector. The informal sector in India accounts for more than 90%. Therefore, the scope of this study is only limited to the formal one. Also, for projection of the sales data till 2030, we have used regression (linear) to avoid complexity. The actual sales in the years following 2015 may vary non-linearly but we have assumed a basic linear relation. The purpose of this study was to know an approximate quantity of desktop e-wastes that we will have by the year 2030 so that we start preparing ourselves for the ineluctable investment in the treatment of these ever-rising e-wastes. The results of this study can be used to install a treatment plant for e-wastes in Delhi.

Keywords: e-wastes, Delhi, desktops, estimation

Procedia PDF Downloads 238
11833 'Naming, Blaming, Shaming': Sexual Assault Survivors' Perceptions of the Practice of Shaming

Authors: Anat Peleg, Hadar Dancig-Rosenberg

Abstract:

This interdisciplinary study, to our knowledge the first in this field, is located on the intersection of victimology-law and society-and media literature, and it corresponds both with feminist writing and with cyber literature which explores the techno-social sphere. It depicts the multifaceted dimensions of shaming in the eyes of the survivors through the following research questions: What are the motivations of sexual-assault survivors to publicize the assailants' identity or to refrain from this practice? Is shaming on Facebook perceived by sexual–assault victims as a substitute for the CJS or as a new form of social activism? What positive and negative consequences do survivors experience as a result of shaming their assailants online? The study draws on in-depth semi-structured interviews which we have conducted between 2016-2018 with 20 sexual-assaults survivors who exposed themselves on Facebook. They were sexually attacked in various forms: six participants reported that they had been raped when they were minors; eight women reported that they had been raped as adults; three reported that they had been victims of an indecent act and three reported that they had been harassed either in their workplace or in the public sphere. Most of our interviewees (12) reported to the police and were involved in criminal procedures. More than half of the survivors (11) disclosed the identity of their attackers online. The vocabularies of motives that have emerged from the thematic analysis of the interviews with the survivors consist of both social and personal motivations for using the practice of shaming online. Some survivors maintain that the use of shaming derives from the decline in the public trust in the criminal justice system. It reflects demand for accountability and justice and serves also as a practice of warning other potential victims of the assailants. Other survivors assert that shaming people in a position of privilege is meant to fulfill the public right to know who these privileged men really are. However, these aforementioned moral and practical justifications of the practice of shaming are often mitigated by fear from the attackers' physical or legal actions in response to their allegations. Some interviewees who are feminist activists argue that the practice of shaming perpetuates the social ancient tendency to define women by labels linking them to the men who attacked them, instead of being defined by their own life complexities. The variety of motivations to adopt or resent the practice of shaming by sexual assault victims presented in our study appear to refute the prevailing intuitive stereotype that shaming is an irrational act of revenge, and denote its rationality. The role of social media as an arena for seeking informal justice raises questions about the new power relations created between victims, assailants, the community and the State, outside the formal criminal justice system. At the same time, the survivors' narratives also uncover the risks and pitfalls embedded within the online sphere for sexual assault survivors.

Keywords: criminal justice, gender, Facebook, sexual-assaults

Procedia PDF Downloads 95
11832 Female Entrepreneurship and Cultural Influence in Emerging Economy: The Case of Bangladesh

Authors: Nawreen Sobhan, Abeer Hassan, Dina Nziku

Abstract:

There has been a dramatic rise in the percentage of female entrepreneurship in both developed and developing countries as it is now considering as an important source of economic growth. Therefore, there has been a growing research interest in female entrepreneurship as they represent an unrecognized engine for economic growth especially in transition economy. This study will determine the role of cultural influence on female entrepreneurship in the growth of economic development which will add new dimensions to the field of female entrepreneurial studies in informal sector of Bangladesh. A systematic literature review has been conducted on female entrepreneurship and cultural studies in both developed and developing country in this research study. There is lack of research on this field as most of the cultural studies on female entrepreneurship have been conducted globally and most of them are either comparative or based on single developed country. This study addresses this gap by using North’s institutional theory to investigate the influence of socio cultural factors on the development of businesses run by female entrepreneurs in Bangladesh. The study, therefore, has practical implications for policy makers and enhancing micro business performance by female entrepreneurs and contributes to the on-going theoretical understanding of cultural influence in female entrepreneurship in an Asian context.

Keywords: culture, socio cultural factors, female entrepreneurship, informal sectors, formal and informal institution and sustainable economic development

Procedia PDF Downloads 170
11831 Slow pace towards Teaching Mathematical Science in Nepal: A Historical Perspective

Authors: Dammar Bahadur Adhikari

Abstract:

Mathematics teaching begins with human civilization. The rular used to choose mathematician as prime adviser in many tribes and country. Mathematics was powerful tool for understanding economial situation and strength of rular. In ancient Nepal teaching of mathematics starts with informal education provided by religious leaders there after in modern education system seems to follow the world’s educational system. The aim of this paper is to present a brief historical background of the Nepalese mathematicians up to nineteenth century and highlight the transformation in mathematical science in the line with modern world. Secondary data and formal papers and informal publications were studied to explore the present situation of education. The study concluded that there is remarcable change in quality of education and there are sufficient human powers in the mathematical sciences in Nepal.

Keywords: human development, mathematics, Nepal, science, traditional

Procedia PDF Downloads 371
11830 Gender Equality and the Politics of Presence among the Maasai in Kenya

Authors: Shillah Memusi

Abstract:

Underrepresentation of women in governance structures is a global phenomenon, with patriarchal considerations being among the main, if not the top, reason for this in Sub Saharan Africa. This paper demonstrates that gender norms and informal rules have perpetuated a culture of stereotypical gender roles that have limited women’s public participation and leadership in society. To achieve this, the paper explores barriers to women’s political engagement, and how these are navigated in the face of gender equality laws. Situated in Kenya’s Maasai community, the paper investigates the influence of set laws on the increased involvement of women from the patriarchal community in the political economy. It gives special attention to the intersectionality of formal and informal laws and the subsequent interpretation and implementation of gender equality. The paper then concludes by demonstrating the benefits of exploring alternative gender equality pathways, as informed by contextual realities of settings such as patriarchal communities.

Keywords: equality, Kenya, patriarchy, public participation, women

Procedia PDF Downloads 280
11829 Mainstreaming Willingness among Black Owned Informal Small Micro Micro Enterprises in South Africa

Authors: Harris Maduku, Irrshad Kaseeram

Abstract:

The objective of this paper is to understand the factors behind the formalisation willingness of South African black owned SMMEs. Cross-sectional data were collected using a questionnaire from 390 informal businesses in Johannesburg and Pretoria using stratified random sampling and clustered sampling. This study employed a multinomial logistic regression to quantitatively understand what encourages informal SMMEs to be willing to mainstreaming their operations. We find government support, corruption, employment compensation, family labour, success perception, education status, age and financing as key drivers on willingness of SMMEs to formalize their operations. The findings of our study points to government departments to invest more on both financial and non-financial strategies like capacity building and business education on informal SMMEs to cultivate their willingness to mainstream.

Keywords: mainstreaming, transition, informal, willingness, multinomial logit

Procedia PDF Downloads 128
11828 Cloud-Based Dynamic Routing with Feedback in Formal Methods

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 397
11827 Formal Verification for Ethereum Smart Contract Using Coq

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 654
11826 The Invisibility of Production: A Comparative Study of the Marker of Modern Urban-Centric Economic Development

Authors: Arpita Banerjee

Abstract:

We now live in a world where half of the human population is city dwellers. The migration of people from rural to urban areas is rising continuously. But, the promise of a greater wage and better quality of life cannot keep up with the pace of migration. The rate of urbanization is much higher in developing countries. The UN predicts that 95 percent of this urban expansion will take place in the developing world in the next few decades. The population in the urban settlements of the developing nations is soaring, and megacities like Mumbai, Dhaka, Jakarta, Karachi, Manila, Shanghai, Rio de Janeiro, Lima, and Kinshasa are crammed with people, a majority of whom are migrants. Rural-urban migration has taken a new shape with the rising number of smaller cities. Apart from the increase in non-agricultural economic activities, growing demand for resources and energy, an increase in wastes and pollution, and a greater ecological footprint, there is another significant characteristic of the current wave of urbanization. This paper analyses that important marker of urbanization. It is the invisibility of production sites. The growing urban space ensures that the producers, the production sites, or the process stay beyond urban visibility. In cities and towns, living is majorly about earning money in either the informal service and small scale manufacturing sectors (a major part of which is food preparation), or the formal service sector. In the cases of both the informal service and small scale manufacturing or the formal service sector, commodity creation cannot be seen. The urban space happens to be the marketplace, where nature and its services, along with the non-urban labour, cannot be seen unless it is sold in the market. Hence, the consumers are now increasingly becoming disengaged from the producers. This paper compares the rate of increase in the size of and employment in the informal sector and/or that of the formal sector of some selected urban areas of India. Also, a comparison over the years of the aforementioned characteristics is presented in this paper, in order to find out how the anonymity of the producers to the urban consumers have grown as urbanization has risen. This paper also analyses the change in the transport cost of goods into the cities and towns of India and supports that claim made here that the invisibility of production is a crucial marker of modern-day urban-centric economic development. Such urbanization has an important ecological impact. The invisibility of the production site saves the urban consumer society from dealing with the ethical and ecological aspects of the production process. Once the real sector production is driven out of the cities and towns, the invisible ethical and ecological impacts of the growing urban consumption frees the consumers from associating themselves with any responsibility towards those impacts.

Keywords: ecological impact of urbanization, informal sector, invisibility of production, urbanization

Procedia PDF Downloads 110
11825 Casual Effects of Informal Care and Health on Falls and Other Accidents among the Elderly Population in China

Authors: Hong Wu, Naiji Lu, Chenguang Wang, Xinming Tu

Abstract:

This article analyzes the causal effects of informal care, mental health, and physical health on falls and other accidents (e.g. traffic accidents) among elderly people. To purge potential reversal causal effects, e.g., past accidents induce more future informal care, we use two-stage least squares to identify the impacts. By using longitudinal data from a representative national China Health and retirement longitudinal study of people aged 45 and older in China, our findings indicate that informal care decreases while poor health conditions increase the occurrence of accidents. We also find heterogeneous impacts on the occurrence of accidents, varying by gender, urban status, and past accident history. Our findings suggest the following three policy implications. First, policy makers who aim to decrease accidents should take informal care to elders into account. Second, ease of birth policy and postponed retirement policy are urgent to meet the demand of informal care. Third, medical policies should attach great importance to not only physical health but also mental health of elderly parents especially for older people with accident history.

Keywords: accident, China, fall, informal care, mental health, physical health

Procedia PDF Downloads 464
11824 The Role of Education and Indigenous Knowledge in Disaster Preparedness

Authors: Sameen Masood, Muhammad Ali Jibran

Abstract:

The frequent flood history in Pakistan has pronounced the need for disaster risk management. Various policies are formulated and steps are being taken by the government in order to cope with the flood effects. However, a much promising pro-active approach that is globally acknowledged is educating the masses regarding living with risk and uncertainty. Unfortunately, majority of the flood victims in Pakistan are poor and illiterate which also transpires as a significant cause of their distress. An illiterate population is not risk averse or equipped intellectually regarding how to prepare and protect against natural disasters. The current research utilizes a cross-disciplinary approach where the role of education (both formal and informal) and indigenous knowledge is explored with reference to disaster preparedness. The data was collected from the flood prone rural areas of Punjab. In the absence of disaster curriculum taught in formal schools, informal education disseminated by NGOs and relief and rehabilitation agencies was the only education given to the flood victims. However the educational attainment of flood victims highly correlated with their awareness regarding flood management and disaster preparedness. Moreover, lessons learned from past flood experience generated indigenous knowledge on the basis of which flood victims prepared themselves for any uncertainty. If the future policy regarding disaster preparation integrates indigenous knowledge and then delivers education on the basis of that, it is anticipated that the flood devastations can be much reduced. Education can play a vital role in amplifying perception of risk and taking precautionary measures for disaster. The findings of the current research will provide practical strategies where disaster preparedness through education has not yet been applied.

Keywords: education, disaster preparedness, illiterate population, risk management

Procedia PDF Downloads 454
11823 The Analogue of a Property of Pisot Numbers in Fields of Formal Power Series

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 31
11822 Social Media, Society, and Criminal Victimization: A Qualitative Study on University Students of Bangladesh

Authors: Md. Tawohidul Haque

Abstract:

The main objective of this study is to explore the nature, types and, causes of the involvement of criminal activities of the university students using social media namely Social Networking Sites (SNS). The evidence shows that the students have greater chance to involve such criminal activities during sharing their personal messages, photos, and even sharing their academic works. Used qualitative case studies with six students from two universities, this study provides a detail information about the processes how this media provokes the students to commit to the criminal activities such as unethical pose, naked picture, post against persona’s prestige and dignity as well as social position, phone call at midnight, personal threats, sexual offer, kidnapping attitude, and so on. This finding would be an important guideline for the media persons, policy makers, restorative justice, and human rights workers.

Keywords: social media, criminal victimization, human gathering scheme, social code of ethics

Procedia PDF Downloads 137
11821 An Overview of Informal Settlement Upgrading Strategies in Kabul City and the Need for an Integrated Multi-Sector Upgrading Model

Authors: Bashir Ahmad Amiri, Nsenda Lukumwena

Abstract:

The developing economies are experiencing an unprecedented rate of urbanization, mainly the urbanization of poverty which is leading to sprawling of slums and informal settlement. Kabul, being the capital and primate city of Afghanistan is grossly encountered to the informal settlement where the majority of the people consider to be informal. Despite all efforts to upgrade and minimize the growth of these settlements, they are growing rapidly. Various interventions have been taken by the government and some international organizations from physical upgrading to urban renewal, but none of them have succeeded to solve the issue of informal settlement. The magnitude of the urbanization and the complexity of informal settlement in Kabul city, and the institutional and capital constraint of the government calls for integration and optimization of currently practiced strategies. This paper provides an overview of informal settlement formation and the conventional upgrading strategies in Kabul city to identify the dominant/successful practices and rationalize the conventional upgrading modes. For this purpose, Hothkhel has been selected as the case study, since it represents the same situation of major informal settlements of the city. Considering the existing potential and features of the Hothkhel and proposed land use by master plan this paper intends to find a suitable upgrading mode for the study area and finally to scale up the model for the city level upgrading. The result highlights that the informal settlements of Kabul city have high (re)development capacity for accepting the additional room without converting the available agricultural area to built-up. The result also indicates that the integrated multi-sector upgrading has the scale-up potential to increase the reach of beneficiaries and to ensure an inclusive and efficient urbanization.

Keywords: informal settlement, upgrading strategies, Kabul city, urban expansion, integrated multi-sector, scale-up

Procedia PDF Downloads 152
11820 The Reflexive Interaction in Group Formal Practices: The Question of Criteria and Instruments for the Character-Skills Evaluation

Authors: Sara Nosari

Abstract:

In the research field on adult education, the learning development project followed different itineraries: recently it has promoted adult transformation by practices focused on the reflexive oriented interaction. This perspective, that connects life stories and life-based methods, characterizes a transformative space between formal and informal education. Within this framework, in the Nursing Degree Courses of Turin University, it has been discussed and realized a formal reflexive path on the care work professional identity through group practices. This path compared the future care professionals with possible experiences staged by texts used with the function of a pre-tests: these texts, setting up real or believable professional situations, had the task to start a reflection on the different 'elements' of care work professional life (relationship, educational character of relationship, relationship between different care roles; or even human identity, aims and ultimate aim of care, …). The learning transformative aspect of this kind of experience-test is that it is impossible to anticipate the process or the conclusion of reflexion because they depend on two main conditions: the personal sensitivity and the specific situation. The narrated experience is not a device, it does not include any tricks to understand the answering advance; the text is not aimed at deepening the knowledge, but at being an active and creative force which takes the group to compare with problematic figures. In fact, the experience-text does not have the purpose to explain but to problematize: it creates a space of suspension to live for questioning, for discussing, for researching, for deciding. It creates a space 'open' and 'in connection' where each one, in comparing with others, has the possibility to build his/her position. In this space, everyone has to possibility to expose his/her own argumentations and to be aware of the others emerged points of view, aiming to research and find the own personal position. However, to define his/her position, it is necessary to learn to exercise character skills (conscientiousness, motivation, creativity, critical thinking, …): if these not-cognitive skills have an undisputed evidence, less evident is how to value them. The paper will reflect on the epistemological limits and possibility to 'measure' character skills, suggesting some evaluation criteria.

Keywords: transformative learning, educational role, formal/informal education, character-skills

Procedia PDF Downloads 176
11819 Balancing Justice: A Critical Analysis of Plea Bargaining's Impact on Uganda's Criminal Justice System

Authors: Mukisa Daphine Letisha

Abstract:

Plea bargaining, a practice often associated with more developed legal systems, has emerged as a significant tool within Uganda's criminal justice system despite its absence in formal legal structures inherited from its colonial past. Initiated in 2013 with the aim of reducing case backlogs, expediting trials, and addressing prison congestion, plea bargaining reflects a pragmatic response to systemic challenges. While rooted in international statutes and domestic constitutional provisions, its implementation relies heavily on the Judicature (Plea Bargain) Rules of 2016, which outline procedural requirements and safeguards. Advocates argue that plea bargaining has yielded tangible benefits, including a reduction in case backlog and efficient allocation of resources, with notable support from judicial and prosecutorial authorities. Case examples demonstrate successful outcomes, with accused individuals benefitting from reduced sentences in exchange for guilty pleas. However, challenges persist, including procedural irregularities, inadequate statutory provisions, and concerns about coercion and imbalance of power between prosecutors and accused individuals. To enhance efficacy, recommendations focus on establishing monitoring mechanisms, stakeholder training, and public sensitization campaigns. In conclusion, while plea bargaining offers potential advantages in streamlining Uganda's criminal justice system, addressing its challenges requires careful consideration of procedural safeguards and stakeholder engagement to ensure fairness and integrity in the administration of justice.

Keywords: plea-bargaining, criminal-justice system, uganda, efficacy

Procedia PDF Downloads 32
11818 Formal Thai National Costume in the Reign of King Bhumibol Adulyadej

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 231