Search results for: formal financing
1146 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 6911145 Project Financing and Poverty Trends in the Islamic Development Bank Member Countries
Authors: Sennanda Musa, Ahmed Mutunzi Kitunzi, Gerald Kasigwa, Ismail Kintu
Abstract:
This paper is an analysis of the empirical relationship between project financing by Islamic Development Bank (IsDB) and the poverty trends in the context of countries benefiting from IsDB. Specifically, the study seeks to find out whether there is a statistically significant relationship between the project financing dollar amounts by IsDB (PF) and the GNI Per Capita, PPP of 57 countries for the years 2002 to 2021. The research is a longitudinal, desk-top triangulation of correlation, regression, hypothesis-testing employing the linear dynamic panel data GMM model as an estimator of the empirical relationships between the key variables of the study. The study results show that there is a significant positive relationship between the PF dollar amounts from the IsDB and the GNI Per Capita, PPP in these 57 countries. Therefore, countries that receive higher PF dollar amounts from the IsDB, generally have more GNI Per Capita, PPP (less poverty) than their counterparts. It is, therefore, recommendable for countries to formulate policies that facilitate Islamically financed projects to mitigate poverty. This paper develops policy discussions regarding allocation of political attention to the policy topics on poverty mitigation, and their relation to financing projects Islamically, thus generate information on policy choices regarding the Islamic financing alternative.Keywords: gross-national-income, IsDB-project-financing, public policy, poverty
Procedia PDF Downloads 891144 Market Acceptance of a Murabaha-Based Finance Structure within a Social Network of Non-Islamic Small and Medium Enterprise Owners in African Procurement
Authors: Craig M. Allen
Abstract:
Twenty two African entrepreneurs with Small and Medium Enterprises (SMEs) in a single social network centered around a non-Muslim population in a smaller African country, selected an Islamic financing structure, a form of Murabaha, based solely on market rationale. These entrepreneurs had all won procurement contracts from major purchasers of goods within their country and faced difficulty arranging traditional bank financing to support their supply-chain needs. The Murabaha-based structure satisfied their market-driven demand and provided an attractive alternative to the traditional bank-offered lending products. The Murabaha-styled trade-financing structure was not promoted with any religious implications, but solely as a market solution to the existing problems associated with bank-related financing. This indicates the strong market forces that draw SMEs to financing structures that are traditionally considered within the framework of Islamic finance.Keywords: Africa, entrepreneurs, Islamic finance, market acceptance, Murabaha, SMEs
Procedia PDF Downloads 1811143 Health Payments and Household Wellbeing in India: Examining the Role of Health Policy Interventions
Authors: Shailender Kumar
Abstract:
Current health policy pronouncements in India advocate for insurance-based financing mechanism to achieve universal health coverage (UHC), while undermine the role of comprehensive healthcare provision system. UHC is achieved when all people receive the health services they need without suffering financial hardship. This study, using 68th & 71st NSS rounds data, examines their relative and combined strength in achieving the above objective. Health-insurance has been unsuccessful in reducing prevalence and catastrophic effects of out-of-pocket payment and even dismantle the effectiveness of traditional way of health financing system. Healthcare provision is the best way forward to enhance health and well-being of households in condition if India removes existing inadequacies and inequalities in service provision across districts/states and ensure free/low cost medicines/diagnostics to the citizens.Keywords: health policy, demand-side financing, supply-side financing, incidence of health payment
Procedia PDF Downloads 2591142 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 511141 Local Culture and Ability to Access Funding on Beef Cattle Farmer
Authors: Aslina Asnawi, A. Amidah Amrawaty, Nirwana
Abstract:
This article examines the relationship of local culture on the ability to access finance on beef cattle farmer. The local culture in this study associated with the values held by the farmer community so far and affect the character of farmers both in his personal life and his relationship with the surrounding environment. The data was collected by using interview and questionnaire instrument. Data were analyzed using descriptive analysis and correlation analysis. The result show that local culture identified in this study include: honesty, cleverness, decency, firmness, hard work, and shame. It’s important result that local culture has been associated with the ability to access financing for beef cattle farmers. The higher values are adopted and maintained by farmers will increase their ability to obtain loans from both informal and formal institutions. Strengthening the local culture is important because it affects the character of farmers who became one of the considerations for lenders other than collateral, capacity and capital is precisely the financing constraints for them.Keywords: access funding, beef cattle farmers, character, local culture
Procedia PDF Downloads 3291140 The Role of Employee Incentives in Financing from Customers
Authors: Mengyu Lu, Yongsheng Guo
Abstract:
This study investigates how employee incentives affect employee performance in financing from customers. This study followed a grounded theory approach where data were collected through 29 interviews. Main themes and categories were identified through the coding processes. This study found that casual conditions, including financial barriers, informal finance, business location, customer base and customer relationship, influenced the adoption of customer finance in the case of SMEs. The SMEs build and maintain long-term relationships with customers through personal communications. The SMEs engage and motivate employees in customer communications and business financing strategy through financial incentives programs, including bonuses, salary rises, rewards and non-financial incentives, including training opportunities, extra holiday leave, and flexible working hours. Employee performance was measured through financing contribution and job contribution. As a consequence, customers will be well served by employees and get a better customer experience. SMEs can get benefits such as employee engagement, employee satisfaction and sustainable financing sources. This study gets in sight of employee incentives in improving employee performance in customer finance and makes implications to human capital theories. Suggestions are provided to the decision-makers in businesses as incentive programs improve employee performance that, eventually contributes to overall business performance.Keywords: SMEs, financing from customers, employee incentives, performance-based measurement
Procedia PDF Downloads 561139 Novel Formal Verification Based Coverage Augmentation Technique
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 easierKeywords: COI (cone of influence), coverage, formal verification, fault injection
Procedia PDF Downloads 1241138 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 2571137 Money Laundering and Financing of Terrorism
Authors: Covadonga Mallada Fernández
Abstract:
Economic development and globalization of international markets have created a favourable atmosphere for the emergence of new forms of crime such as money laundering or financing of terrorism, which may contribute to destabilized and damage economic systems. In particular, money laundering have acquired great importance since the 11S attacks, what has caused on the one hand, the establishment and development of preventive measures and, on the other hand, a progressive hardening of penal measures. Since then, the regulations imposed to fight against money laundering have been viewed as key components also in the fight against terrorist financing. Terrorism, at the beginning, was a “national” crime connected with internal problems of the State (for instance the RAF in Germany or ETA in Spain) but in the last 20 years has started to be an international problem that is connected with the defence and security of the States. Therefore, the new strategic concept for the defense and security of NATO has a comprehensive list of security threats to the Alliance, such as terrorism, international instability, money laundering or attacks on cyberspace, among others. With this new concept, money laundering and terrorism has become a priority in the national defense. In this work we will analyze the methods to combat these new threats to the national security. We will study the preventive legislations to combat money laundering and financing of terrorism, the UIF that exchange information between States, and the hawala-Banking.Keywords: control of financial flows, money laundering, terrorism, financing of terrorism
Procedia PDF Downloads 4541136 The Interrelationship between Formal and Informal Institutions and Its Impacts on the Autonomy of Public Service Delivery Units: The Case of Vietnam
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 2051135 The Future of Sharia Financing Analysis of Green Finance Financing Strategies in the Sharia State of Aceh
Authors: Damanhur Munardi, Muhammad Hafiz, Dina Nurmalita Sari, Syarifah Ridani Alifa
Abstract:
Purpose: This research aims to analyze the Benefits, Opportunity, Cost, and Risk aspects of applying the Green Finance concept and to obtain the right Green Finance financing strategy to be implemented within a long-term and short-term strategic framework.Methodology: This research method uses a qualitative-descriptive analysis approach. The analysis technique uses Analytical Network Process (ANP) with a BOCR network structure approach.Findings: The research results show that the most priority long-term strategic alternative based on the long-term BOCR analysis is increasing awareness among the public and industry by 52% and the importance of coordination between related institutions by 50%. Meanwhile, the most priority short-term strategic alternatives are the importance of coordination between related institutions 29%, increasing awareness among the public and industry 28%, the banking industry proactively funding environmentally friendly companies and technology 23%, the existence of Green Finance POS (Standard Operating Procedures) 20%.Implications: This research can be used as a reference for regulators and policymakers in making strategic decisions that can increase green finance financing. The novelty of this research is identifying problems that occur in green finance financing in Aceh province by analyzing opinions from experts in related fields and financial regulators in Aceh to create a strategy that can be implemented to increase green finance financing in Aceh province through BPD in Aceh, namely Bank Aceh.Keywords: green financing, banking, sharia, islamic
Procedia PDF Downloads 641134 The Effects of Three Leadership Styles on Individual Performance
Authors: Leilei Liang
Abstract:
Leadership is commonly classified as formal leadership and informal leadership, which ignores and neglects the effects of 3rd type leadership. The emergence of 3rd type of leadership is closely related to special relations. To figure out the mechanism and effects of 3rd type leadership as well as the impacts of formal leadership and informal leadership on employee performance, this study collects data from 350 participants through a survey and proposes three hypotheses respectively from the perspective of expectation theory. The analytical results provide strong evidence for two of the three hypotheses, which demonstrate the positive correlation between formal leadership and individual performance and the negative relationship between 3rd type leadership and individual performance. This study contributes to leadership literature by putting forward the concept of the 3rd type of leadership. In addition, the effects of formal leadership, informal leadership, and 3rd type leadership on individual performance are discussed respectively in this study.Keywords: formal leadership, informal leadership, 3rd leadership, individual performance, expectation theory
Procedia PDF Downloads 2421133 Optimal Hedging of a Portfolio of European Options in an Extended Binomial Model under Proportional Transaction Costs
Authors: Norm Josephy, Lucy Kimball, Victoria Steblovskaya
Abstract:
Hedging of a portfolio of European options under proportional transaction costs is considered. Our discrete time financial market model extends the binomial market model with transaction costs to the case where the underlying stock price ratios are distributed over a bounded interval rather than over a two-point set. An optimal hedging strategy is chosen from a set of admissible non-self-financing hedging strategies. Our approach to optimal hedging of a portfolio of options is based on theoretical foundation that includes determination of a no-arbitrage option price interval as well as on properties of the non-self-financing strategies and their residuals. A computational algorithm for optimizing an investor relevant criterion over the set of admissible non-self-financing hedging strategies is developed. Applicability of our approach is demonstrated using both simulated data and real market data.Keywords: extended binomial model, non-self-financing hedging, optimization, proportional transaction costs
Procedia PDF Downloads 2521132 Analysis of Risks in Financing Agriculture a Case of Agricultural Cooperatives in Benue State, Nigeria
Authors: Odey Moses Ogah, Felix Terhemba Ikyereve
Abstract:
The study was carried out to analyzed risks in financing agriculture by agricultural cooperatives in Benue State, Nigeria. The study made use of research questionnaires for data collection. A multistage sampling technique was used to select a sample of 210 respondents from 21 agricultural cooperatives. Both descriptive and inferential statistics were employed in data analysis. Loan defaulting (66.7%) and reduction in savings by members (51.4%) were the major causes of risks faced by agricultural cooperatives in financing agriculture in the study area. Other causes include adverse changes in commodity prices (48.6%), disaster (45.7%), among others. It was found that risks adversely influence the profitability and competition of agricultural cooperatives (82.9%). Multiple regression analysis results showed that the coefficient of multiple determinations was 0.67, implying that the explanatory variables included in the model accounted for 67% of the variation in the level of profitability of agricultural cooperatives. The number of loans, average amount of loan and the interest rate were significant and important determinants of profitability of the cooperatives. The majority of the respondents (88.6%) made use of loan guarantors as a strategy of managing loan default/no repayment. It was found that the majority (70%) of the respondents were faced with the challenge of lack of insurance cover. The study recommends that agricultural cooperative officials should be encouraged to undergo formal training and education to easily acquire administrative skills in the management of agricultural loans; Farmer's loan size should be increased and released on time to enable them to use it effectively. Policies that enhance insuring farm activities should be put in place to discourage farmers from risk aversion.Keywords: agriculture, analysis, cooperative, finance, risks
Procedia PDF Downloads 1131131 The Determinants of Financing to Deposit Ratio of Islamic Bank in Malaysia
Authors: Achsania Hendratmi, Puji Sucia Sukmaningrum, Fatin Fadhilah Hasib, Nisful Laila
Abstract:
The research aimed to know the influence of Capital Adequacy Ratio (CAR), Return on Assets (ROA) and Size of the Financing to Deposit Ratio (FDR) Islamic Banks in Malaysia by using eleven Islamic Banks in Indonesia and fifteen Islamic Banks in Malaysia in the period 2012 to 2016 as samples. The research used a quantitative approach method, and the analysis technique used multiple linear regression. Based on the result of t-test (partial), CAR, ROA and size significantly affect of FDR. While the results of f-test (simultaneous) showed that CAR, ROA and Size significant effect on FDR.Keywords: capital adequacy ratio, financing to deposit ratio, return on assets, size
Procedia PDF Downloads 3391130 Leasing Revisited: Mastering the Digital Transformation with Traditional Financing
Authors: Tobias Huttche, Marco Canipa-Valdez, Corinne Mühlebach
Abstract:
This article discusses the role of leasing on the digital transformation process of companies and corresponding economic effects. Based on the traditional mechanisms of leasing, this article focuses in particular on the benefits of leasing as financing instrument with regard to the innovation potential of companies. Practical examples demonstrate how leasing can become an integral part of new business models. Especially, with regard to the digital transformation and corresponding investments in know-how and infrastructure, leasing can play an important role. Furthermore, findings of an empirical survey are presented dealing with the usage of leasing in Switzerland in an international context. The survey shows not only the benefits of leasing against the backdrop of digital transformation but gives guidance on how other countries can benefit from promoting leasing in their legislation and economy. Based on a simulation model for Switzerland, the economic effect of an increase in leasing volume is being calculated. Again, the respective results underline the substantial growth potential. This holds true especially for economies where asset-based lending is rarely used because of a lack of entrepreneurial or private security of the borrower (cash-based financing for developing and emerging countries). Overall, the authors found that leasing using companies are more productive and tend to grow faster than companies using less or none leasing. The positive effects of leasing on emerging digital challenges for companies and entire economies should encourage other countries to facilitate access to leasing as financing instrument by decreasing legal-, tax- and accounting-related requirements in the respective jurisdiction.Keywords: Cash-Based financing, digital transformation, financing instruments, growth, innovation, leasing
Procedia PDF Downloads 2561129 Islamic Credit Risk Management in Murabahah Financing: The Study of Islamic Banking in Malaysia
Authors: Siti Nor Amira Bt. Mohamad, Mohamad Yazis B. Ali Basah, Muhammad Ridhwan B. Ab. Aziz, Khairil Faizal B. Khairi, Mazlynda Bt. Md. Yusuf, Hisham B. Sabri
Abstract:
The understanding of risk and the concept of it occurs associated in Islamic financing was well-known in the financial industry by the using of Profit-and-Loss Sharing (PLS). It was presently in any Islamic financial transactions in order to comply with shariah rules. However, the existence of risk in Murabahah contract of financing is an ability that the counterparty is unable to complete its obligations within the agreed terms. Therefore, it is called as credit or default risk. Credit risk occurs when the client fails to make timely payment after the bank makes complete delivery of assets. Thus, it affects the growth of the bank as the banking business is in no position to have appropriate measures to cover the risk. Therefore, the bank may impose penalty on the outstanding balance. This paper aims to highlight the credit risk determinant and issues surrounding in Islamic bank in Malaysia in terms of Murabahah financing and how to manage it by using the proper techniques. Finally, it explores the credit risk management concept that might solve the problems arise. The study found that the credit risk can be managed properly by improving the use of comprehensive reference checklist of business partners on their character and past performance as well as their comprehensive database. Besides that, prevention of credit risk can be done by using collateral as security against the risk and we also argue on the Shariah guidelines and procedures should be implement coherently by the banking business because so that the risk would be control by having an effective instrument for Islamic modes of financing.Keywords: Islamic banking, credit risk, Murabahah financing, risk mitigation
Procedia PDF Downloads 4561128 Investigating Factors Influencing Online Formal and Informal Learning Satisfaction of College Students
Abstract:
Formal learning and informal learning represent two distinct learning styles: one is systematic and organized, another is causal and unstructured. Although there are many factors influencing online learning satisfaction, including self-regulation, self-efficacy, and interaction, factors influencing online formal learning and informal learning satisfaction may differ from each other. This paper investigated and compared influential factors of online formal and informal learning. Two questionnaires were created based on previous studies to explore factors influencing online formal learning and online informal learning satisfaction, respectively. A sample of 105 college students from different departments in a university located in the eastern part of China was selected to participate in this study. They all had an online learning experience and agreed to fill out questionnaires. Correlation analysis, variance analysis, and regression analysis were employed in this study. In addition, five participants were chosen for interviews. The study found that student-content, interaction, self-regulation, and self-efficacy related positively to both online formal learning and informal learning satisfaction. In addition, compared to online formal learning, student-content interaction in informal learning was the most influential factor for online learning satisfaction, perhaps that online informal learning was more goal-oriented and learners paid attention to the quality of content. In addition, results also revealed that interactions among students or teachers had little impact on online informal learning satisfaction. This study compared influential factors in online formal and informal learning satisfaction helped to add discussions to online learning satisfaction and contributed to further practices of online learning.Keywords: learning satisfaction, formal learning, informal learning, online learning
Procedia PDF Downloads 1641127 The Effect Analysis of Monetary Instruments through Islamic Banking Financing Channel toward Economic Growth in Indonesia, Period January 2008-December 2015
Authors: Sobar M. Johari, Ida Putri Anjarsari
Abstract:
In the transmission of monetary instrument towards real sector of the economy, Bank Indonesia as monetary authority has developed Islamic Bank Indonesia Certificate (abbreviated as SBIS) as an instrument in Islamic open market operation. One of the monetary transmission channels could take place through financing channel from which the fund is used as the source of banking financing. This study aims to analyse the impact of Islamic monetary instrument towards output or economic growth. Data used in this research is taken from Bank Indonesia and Central Board of Statistics for the period of January 2008 until December 2015. The study employs Granger Causality Test, Vector Error Correction Model (VECM), Impulse Response Function (IRF) technique and Forecast Error Variance Decomposition (FEVD) as its analytical methods. The results show that, first, the transmission mechanism of banking financing channel are not linked to output. Second, estimation results of VECM show that SBIS, PUAS, and FIN have significant impact in the long term towards output. When there is monetary shock, output or economic growth could be recovered and stabilized in the short term. FEVD results show that Islamic banking financing contributes 1.33 percent to increase economic growth.Keywords: Islamic monetary instrument, Islamic banking financing channel, economic growth, Vector Error Correction Model (VECM)
Procedia PDF Downloads 2811126 Designing Financing Schemes to Make Forest Management Units Work in Aceh Province, Indonesia
Authors: Riko Wahyudi, Rezky Lasekti Wicaksono, Ayu Satya Damayanti, Ridhasepta Multi Kenrosa
Abstract:
Implementing Forest Management Unit (FMU) is considered as the best solution for forest management in developing countries. However, when FMU has been formed, many parties then blame the FMU and assume it is not working on. Currently, there are two main issues that make FMU not be functional i.e. institutional and financial issues. This paper is addressing financial issues to make FMUs in Aceh Province can be functional. A mixed financing scheme is proposed here, both direct and indirect financing. The direct financing scheme derived from two components i.e. public funds and businesses. Non-tax instruments of intergovernmental fiscal transfer (IFT) system and FMU’s businesses are assessed. Meanwhile, indirect financing scheme is conducted by assessing public funds within villages around forest estate as about 50% of total villages in Aceh Province are located surrounding forest estate. Potential instruments under IFT system are forest and mining utilization royalties. In order to make these instruments become direct financing for FMU, interventions on allocation and distribution aspects of them are conducted. In the allocation aspect, alteration in proportion of allocation is required as the authority to manage forest has shifted from district to province. In the distribution aspect, Government of Aceh can earmark usage of the funds for FMUs. International funds for climate change also encouraged to be domesticated and then channeled through these instruments or new instrument under public finance system in Indonesia. Based on FMU’s businesses both from forest products and forest services, FMU can impose non-tax fees for each forest product and service utilization. However, for doing business, the FMU need to be a Public Service Agency (PSA). With this status, FMU can directly utilize the non-tax fees without transferring them to the state treasury. FMU only need to report the fees to Ministry of Finance. Meanwhile, indirect financing scheme is conducted by empowering villages around forest estate as villages in Aceh Province is receiving average village fund of IDR 800 million per village in 2017 and the funds will continue to increase in subsequent years. These schemes should be encouraged in parallel to establish a mixed financing scheme in order to ensure sustainable financing for FMU in Aceh Province, Indonesia.Keywords: forest management, public funds, mixed financing, village
Procedia PDF Downloads 1921125 Evaluation Framework for Investments in Rail Infrastructure Projects
Authors: Dimitrios J. Dimitriou, Maria F. Sartzetaki
Abstract:
Transport infrastructures are high-cost, long-term investments that serve as vital foundations for the operation of a region or nation and are essential to a country’s or business’s economic development and prosperity, by improving well-being and generating jobs and income. The development of appropriate financing options is of key importance in the decision making process in order develop viable transport infrastructures. The development of transport infrastructure has increasingly been shifting toward alternative methods of project financing such as Public Private Partnership (PPPs) and hybrid forms. In this paper, a methodological decision-making framework based on the evaluation of the financial viability of transportation infrastructure for different financial schemes is presented. The framework leads to an assessment of the financial viability which can be achieved by performing various financing scenarios analyses. To illustrate the application of the proposed methodology, a case study of rail transport infrastructure financing scenario analysis in Greece is developed.Keywords: rail transport infrastructure, financial viability, scenario analysis, rail project feasibility
Procedia PDF Downloads 2781124 Estimating Visitor’s Willingness to Pay for the Conservation Fund: Sustainable Financing Approach in Protected Areas in Ethiopia
Authors: Sintayehu Aynalem Aseres, Raminder Kaur Sira
Abstract:
Increasingly, protected areas have been confronting with inadequate conservation funds that make it tough to antithesis the continuing of annihilation. The problem is even grave in developing countries, where Protected Areas (Pas) are mainly government-administered. Subsequently, it needs a strong effort to toughen the self-financing capability of PAs by ripening alternative sources of sustainable financing for realizing the conservation goals, in particular, to save the remaining natural planet. This study, therefore, designed to estimate visitors’ willingness to pay (WTP) for the additional conservation fees using a contingent valuation method. The effect relationship between WTP and both socio-demographic and non-economic factors was scrutinized by binary logistic regression. The mean WTP of foreign visitors has estimated at US$ 7.4 and for that of domestic visitors at US$1, with annual aggregate revenue of US$29, 200. The WTP was strongly influenced by income, satisfaction, environmental concern and attitude. The study has policy implications for the conservationists and park authorities to estimate the non-use values of PAs for developing market-based conservation instruments.Keywords: conservation, ecotourism, sustainable financing, willingness to pay, protected areas, bale mountains national park
Procedia PDF Downloads 1611123 Convertible Lease, Risky Debt and Financial Structure with Growth Option
Authors: Ons Triki, Fathi Abid
Abstract:
The basic objective of this paper is twofold. It resides in designing a model for a contingent convertible lease contract that can ensure the financial stability of a company and recover the losses of the parties to the lease in the event of default. It also aims to compare the convertible lease contract on inefficiencies resulting from the debt-overhang problem and asset substitution with other financing policies. From this perspective, this paper highlights the interaction between investments and financing policies in a dynamic model with existing assets and a growth option where the investment cost is financed by a contingent convertible lease and equity. We explore the impact of the contingent convertible lease on the capital structure. We also check the reliability and effectiveness of the use of the convertible lease contract as a means of financing. Findings show that the rental convertible contract with a sufficiently high conversion ratio has less severe inefficiencies arising from risk-shifting and debt overhang than those entailed by risky debt and pure-equity financing. The problem of underinvestment pointed out by Mauer and Ott (2000) and the problem of overinvestment mentioned by Hackbarth and Mauer (2012) may be reduced under contingent convertible lease financing. Our findings predict that the firm value under contingent convertible lease financing increases globally with asset volatility instead of decreasing with business risk. The study reveals that convertible leasing contracts can stand for a reliable solution to ensure the lessee and quickly recover the counterparties of the lease upon default.Keywords: contingent convertible lease, growth option, debt overhang, risk-shifting, capital structure
Procedia PDF Downloads 721122 The Effects of SMS on the Formal Writings of the Students: A Comparative Study among the Students of Different Departments of IUB
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 3801121 Survey to Assess the Feasibility of Executing the Web-Based Collaboration Process Using WBCS
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 3981120 Validation of the Formal Model of Web Services Applications for Digital Reference Service of Library Information System
Authors: Zainab Magaji Musa, Nordin M. A. Rahman, Julaily Aida Jusoh
Abstract:
The web services applications for digital reference service (WSDRS) of LIS model is an informal model that claims to reduce the problems of digital reference services in libraries. It uses web services technology to provide efficient way of satisfying users’ needs in the reference section of libraries. The formal WSDRS model consists of the Z specifications of all the informal specifications of the model. This paper discusses the formal validation of the Z specifications of WSDRS model. The authors formally verify and thus validate the properties of the model using Z/EVES theorem prover.Keywords: validation, verification, formal, theorem prover
Procedia PDF Downloads 5161119 Financial Sources and Instruments for Public Grants and Financial Facilities of SMEs in Eu
Authors: Simeon Karafolas, Maciej Woźniak
Abstract:
Mostly of public financing programs at national and regional level are funded from European Union sources. EU can participate directly to a national and regional program (example LEADER initiative, URBAN…) or indirectly by funding regional or national funds. Funds from European Union are provided from EU multiannual financial framework form which the annual budget is programmed. The adjusted program 2007-2013 of the EU considered commitments of almost 1 trillion Euros for the EU-28 countries. Provisions of the new program 2014-2020 consider commitments of more than 1 trillion Euros. Sustainable growth, divided to Cohesion and Competitiveness for Growth an Employment, is one of the two principal categories; the other is the preservation and management of natural resources. Through this financing process SMEs benefited of EU and public sources by receiving grants for their investments. Most of the financial instruments are available indirectly through the national financial intermediaries. Part of them is managed by the European Investment Fund. The paper focuses on the public financing to SMEs by examining case studies on divers forms of public help. It tries to distinguish the efficiency of the examined good practices and therefore try to have some conclusions on the possibility of application to other regions.Keywords: DIFASS, grants, SMEs, public financing
Procedia PDF Downloads 3081118 A Framework Based Blockchain for the Development of a Social Economy Platform
Authors: Hasna Elalaoui Elabdallaoui, Abdelaziz Elfazziki, Mohamed Sadgal
Abstract:
Outlines: The social economy is a moral approach to solidarity applied to the projects’ development. To reconcile economic activity and social equity, crowdfunding is as an alternative means of financing social projects. Several collaborative blockchain platforms exist. It eliminates the need for a central authority or an inconsiderate middleman. Also, the costs for a successful crowdfunding campaign are reduced, since there is no commission to be paid to the intermediary. It improves the transparency of record keeping and delegates authority to authorities who may be prone to corruption. Objectives: The objectives are: to define a software infrastructure for projects’ participatory financing within a social and solidarity economy, allowing transparent, secure, and fair management and to have a financial mechanism that improves financial inclusion. Methodology: The proposed methodology is: crowdfunding platforms literature review, financing mechanisms literature review, requirements analysis and project definition, a business plan, Platform development process and implementation technology, and testing an MVP. Contributions: The solution consists of proposing a new approach to crowdfunding based on Islamic financing, which is the principle of Mousharaka inspired by Islamic financing, which presents a financial innovation that integrates ethics and the social dimension into contemporary banking practices. Conclusion: Crowdfunding platforms need to secure projects and allow only quality projects but also offer a wide range of options to funders. Thus, a framework based on blockchain technology and Islamic financing is proposed to manage this arbitration between quality and quantity of options. The proposed financing system, "Musharaka", is a mode of financing that prohibits interests and uncertainties. The implementation is offered on the secure Ethereum platform as investors sign and initiate transactions for contributions using their digital signature wallet managed by a cryptography algorithm and smart contracts. Our proposal is illustrated by a crop irrigation project in the Marrakech region.Keywords: social economy, Musharaka, blockchain, smart contract, crowdfunding
Procedia PDF Downloads 771117 Relationship Financing: A Process of Interpretative Phenomenological Analysis
Authors: Y. Fandja, O. Colot, M. Croquet
Abstract:
Small and medium-sized firms (SMEs) face difficulties in accessing bank credit. Bank credit is actually the main source of external financing for SMEs. In general, SMEs are risky businesses because of the potential opacity maintained by the leader in the management of affairs, the agency conflicts between business owners and third-party funders and the potential opportunism of the leader due to the incompleteness of the contracts. These elements accentuate the problems of information asymmetries between SMEs and bankers leading to capital rationing. Moreover, the last economic crisis reinforced this rationing of capital. However, a long-term relationship between SMEs and their bank would enable the latter to accumulate a set of relevant information allowing the reduction of information asymmetry and, consequently, the reduction of credit rationing. The objective of this research is to investigate the lived experience of SMEs loan officers in their relationships with their clients in order to understand how these relationships can affect the financing structure of these SMEs. To carry out this research, an Interpretative Phenomenological Analysis is implemented. This approach is part of the constructivist paradigm and refers to the subjective narratives of the individual rather than to an objective description of the facts. The role of the researcher is to explore the lived experience of the interviewees and to try to understand the meaning they give to this experience. Currently, several sixty-minute semi-structured interviews with loan officers for SMEs have been conducted. The analysis of the content of these interviews brought out three main themes. First, the relationship between the credit officer and the company manager is complex because the credit officer is not aware of establishing a personal relationship with his client. Second; the emotional involvement in the bank financing decision is present and third, the trust in the relationship between the credit officer and his client is very important. The originality of this research is to use the interpretative phenomenological analysis more specific to psychology and sociology in order to approach in a different way the problem of the financing of SMEs through their particular relations with the bankers.Keywords: financing structure, interpretative phenomenological analysis, relationship financing, SME
Procedia PDF Downloads 159