Search results for: formal sector

Authors: Magaji Zainab Musa, Nordin M. A. Rahman, Julaily Aida Jusoh

Abstract:

This paper discusses the formal specification of web services applications for digital reference services (WSDRS). Digital reference service involves a user requesting for help from a reference librarian and a reference librarian responding to the request of a user all by electronic means. In most cases users do not get satisfied while using digital reference service due to delay of response of the librarians. Another may be due to no response or due to librarian giving an irrelevant solution to the problem submitted by the user. WDSRS 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’ need in the reference section of libraries. But informal model is in natural language which is inconsistent and ambiguous that may cause difficulties to the developers of the system. In order to solve this problem we decided to convert the informal specifications into formal specifications. This is supposed to reduce the overall development time and cost. Formal specification can be used to provide an unambiguous and precise supplement to natural language descriptions. It can be rigorously validated and verified leading to the early detection of specification errors. We use Z language to develop the formal model and verify it with Z/EVES theorem prover tool.

Keywords: formal, specifications, web services, digital reference services

Procedia PDF Downloads 346

Authors: Mohammad J. Rezai, Fereshteh Davarpanah

Abstract:

Producing a text in a language which is not one’s mother tongue can be a demanding task for language learners. Examining lexical errors committed by EFL learners is a challenging area of investigation which can shed light on the process of second language acquisition. Despite the considerable number of investigations into grammatical errors, few studies have tackled formal and semantic errors of lexis committed by EFL learners. The current study aimed at examining Persian learners’ formal and semantic errors of lexis in English. To this end, 60 students at three different proficiency levels were asked to write on 10 different topics in 10 separate sessions. Finally, 600 essays written by Persian EFL learners were collected, acting as the corpus of the study. An error taxonomy comprising formal and semantic errors was selected to analyze the corpus. The formal category covered misselection and misformation errors, while the semantic errors were classified into lexical, collocational and lexicogrammatical categories. Each category was further classified into subcategories depending on the identified errors. The results showed that there were 2583 errors in the corpus of 9600 words, among which, 2030 formal errors and 553 semantic errors were identified. The most frequent errors in the corpus included formal error commitment (78.6%), which were more prevalent at the advanced level (42.4%). The semantic errors (21.4%) were more frequent at the low intermediate level (40.5%). Among formal errors of lexis, the highest number of errors was devoted to misformation errors (98%), while misselection errors constituted 2% of the errors. Additionally, no significant differences were observed among the three semantic error subcategories, namely collocational, lexical choice and lexicogrammatical. The results of the study can shed light on the challenges faced by EFL learners in the second language acquisition process.

Keywords: collocational errors, lexical errors, Persian EFL learners, semantic errors

Procedia PDF Downloads 109

Authors: Ethelbert Chinedu Nwokorie

Abstract:

This empirical study analyzes the impact of communication and networking functions of Nigerian and Ghanaian public sector managers’ on public sector effectiveness. The focus is on which of these management functions public sector managers’ in these countries perform most, why, how and how does it affect effectiveness of public sector organizations in the two countries. This qualitative analysis was done by interviewing middle and top level managers in some selected public sector organizations in the two countries on their practical experiences. Findings reveal that ineffectiveness of public sector organizations in Ghana persists because public sector managers perform more of networking functions to promote their individual carrier success and progression in their various organizations, rather than achieving the organizations goals and objectives. In Nigeria, though majority of the interviewed public sector managers perform more communication functions than networking, they do this mostly by treating files and correspondences, instead of face-to-face communication and interaction with employees’. Hence, they hardly relate directly with their employees’ to find out how they are performing their jobs, their challenges, where they are having problems and why. The findings and recommendations of this study will help in improving effectiveness, quality and service delivery in Nigerian and Ghanaian public sector organizations and beyond.

Keywords: effectiveness, communication, employees, management, networking, organization, public sector

Procedia PDF Downloads 424

Authors: Sajjad Hussain

Abstract:

Technology has revolutionized the way of communication around the globe. Its use and users are multiplying with every passing minute. The current study reveals the effect of SMS on the formal writing of the students. Students are the regular users of this service and have become addict to short language. This short language is understandable to a particular community and not to the whole as it does not adhere to the Standard English writing practices. Data has been collected from quiz, assignments text and through questionaries’ which supports this postulate that students are frequently practicing it in their formal writing. Certain corrosive measures needs to be taken to address the issue. Second language learners have been found it practicing to greater extent.

Keywords: information technology, SMS, messaging, communication, social media, internet, language

Procedia PDF Downloads 511

Authors: Endalew Jibat, Feyera Senbeta, Tesfaye Zeleke, Fitsum Hagos

Abstract:

Institutions can play a key role in coordinating how natural resources are effectively used without over-exploitation. Institutions are the laws, policies, and organizational arrangements that permit, forbid or regulate human action. The aim of this study was to look into the roles of formal and informal institutions, as well as their interactions, in water resource governance in Ethiopia's Central Rift Valley (CRV), where water scarcity is a concern. Key informant interviews, group discussions, in depth-interview, and secondary data sources were used to generate relevant data. The study revealed that formal and informal institutions were involved in water resource governance in the study area. However, the influence of informal institutions on formal institutions or vice versa is trivial to change the action of water users. Lack of clear roles and responsibilities of actors, weak capacity and lack of meaningful decentralization and participation of key actors in policy development, lack of synergy and incongruence between formal and informal institutions, and absence of enforcement mechanisms including incentives are attributed to inefficient use of water resources in the CRV. Enhancing the interplay of formal and informal institutions in the water resource policy development and meaningful decentralization and key stakeholders' engagement is recommended for sustainable water use.

Keywords: institutions, governance, institutional interplay, water users

Procedia PDF Downloads 126

Authors: Raif Parlakkaya, Huseyin Cetin, Halil Akmese, Mesut Murat Adabali

Abstract:

As the economies of other countries in the Mediterranean Basin, the tourism sector in our country has a high denominator in economics. Tourism businesses, which are building blocks of tourism, sector faces with a variety of problems during their activities. These problems faced make business efficiency and competition conditions of the businesses difficult. Most of the problems faced by the tourism businesses and the information of consumers about consumers’ rights were used in this study, which is conducted to determine the problems of tourism businesses in the Central Anatolia Region. It is aimed to contribute the awareness of staff and executives working at tourism sector and to attract attention of businesses active concurrently with tourism sector and legislators.

Keywords: financial problems, the problems of tourism businesses, tourism businesses, tourism sector in Turkey

Procedia PDF Downloads 456

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 230

Authors: Luz Estrada

Abstract:

The currents of evolutionary materialistic thought have argued that knowledge about an object is not obtained through the abstractive method. That is, the object cannot come to be understood if founded upon itself, nor does it take place by the encounter between form and matter. According to this affirmation, the research presented here identified as a problematic situation the absence of comprehension of the formal creation as a generative operation. This has been referred to as a recurrent lack in the production of objects and corresponds to the need to conceive the configurative process from the reality of its genesis. In this case, it is of interest to explore ways of creation that consider the object as if it were a living organism, as well as responding to the object’s experience as embodied in the designer since it unfolds its genesis simultaneously to the ways of existence of those who are involved in the generative experience.

Keywords: architecture, theoretical graphics, evolutionary genetics, formal perception

Procedia PDF Downloads 85

Authors: Sunny Ewankhiwimen Aigbomian

Abstract:

Time, is a scarce resource and in everything we do, time is required to accomplish any given task. The need for this presentation is predicated on the way majority of Nigerian especially in the public sector operators see “Time Management”. Time as resources cannot be regained if lost or managed badly. As a significant aspect of human life it should be handled with diligence and utmost seriousness if the public sector is to function as a coordinated entity. In our homes, private life and offices, we schedule different things to ensure that some things do not go the unexpected. When it comes to service delivery on the part of government, it ought to be more serious because government is all about effect and efficient service delivery and “Time” is a significant variable necessary to successful accomplishment. The need for Nigerian government to re-examine time management in her public sector with a view of repositioning the sector to be able to compete well with other public sectors in the world. The peculiarity of Time management in Public Sector in Nigerian context as examined and some useful recommendations of immerse assistance proffered.

Keywords: Nigeria, public sector, time management, task

Procedia PDF Downloads 63

Authors: E. O. Fakoya, B. G. Abiona, J. O. Soetan

Abstract:

The study determined Perception of Agricultural Extension Agents of Private Sector Participation in Extension Services in Ogun State, Nigeria. Data were collected from 80 respondents with a well-structured questionnaire. The result of the findings showed that there is need for private sector participation in extension services (=4.313), private extension services has facilities than public extension services (=4.97). Private sector participated in extension services by: giving of loans and credits to farmers (=4.50). Major constraints identified by the respondents were: Transportation problem (=2.88) and lack of fund (=2.77) A significant relationship (P<0.05) exists between factors affecting public extension services(r = 0.641, p = 0.00) and private sector participation in extension services. It was concluded from the study that there is need for private sector to participate in extension service in order to improve productivity of the farmers.

Keywords: agricultural extension, extension agent, private sector, perception

Procedia PDF Downloads 547

Authors: Tonderai Muchenje, Mkhatshwa Phethile

Abstract:

Humans living in this current situation know that communication with one another is necessary for themselves. There are many ways to communicate with each other; during unexpected natural disasters and outbreak of epidemics and pandemics, the need for online meeting platforms are considered most important. Apparently, the development in the telecommunication sector also played an important role. Therefore, the epidemic of the Covid-19 Pandemic and the new normal situation resulted in the overwhelming production of online meeting platforms to prevent the situation. This software is commonly used in business communications in the beginning. Rapidly the COVID-19 pandemic changed the situation. At present-day, these virtual meeting applications are not only used to have informal meetings with friends and relatives but also to be used to have formal meetings in the business and education (universities) sector. In this article, an attempt has been made to list out the useful secured ways for using online meeting platforms.

Keywords: virtual background, zoom, secure online algorithm, RingCentral, Pexip Pexip, TeamViewer, microsoft teams

Procedia PDF Downloads 77

Authors: Pınar Aydın, Şule Turhan

Abstract:

Today, with the change of people's consumption habits, the importance of frozen fruit and vegetable sector has been increased. In Turkey, sector is based on export. It is growing very fast and external demand is constantly increasing. About 80% of frozen fruits and vegetables produced in Turkey are being exported. More than 90% of the exports go to European Union countries. About 49% of frozen fruits and vegetables in Turkey is being exported to Germany, England and France. In the sector which the abroad demand is continuously increasing, although it has been estimated that around 25% of the average annual growth rate, the domestic consumption is very low. Although the frozen food consumption per person in Turkey is about %2 of United States, the growing rate of the sector is higher than the United States and Europe. This situation reflects that it is such a sector that has a growing demand in both domestic and foreign markets.

Keywords: frozen food, fruit and vegetable sector, exports, Turkey

Procedia PDF Downloads 304

Authors: Nur Aishah Binti Awi, Zulfiqar Khan

Abstract:

Lean-kaizen has always been applied in manufacturing sector since many years ago. What about education sector? This paper discuss on how lean-kaizen can also be applied in education sector, specifically in academic area of Malaysian’s higher education sector. The purpose of this paper is to describe the application of lean kaizen in course plan and delivery. Lean-kaizen techniques have been used to identify waste in the course plan and delivery. A field study has been conducted to obtain the data. This study used both quantitative and qualitative data. The researcher had interviewed the chosen lecturers regarding to the problems of course plan and delivery that they encountered. Secondary data of students’ feedback at the end of semester also has been used to improve course plan and delivery. The result empirically shows that lean-kaizen helps to improve the course plan and delivery by reducing the wastes. Thus, this study demonstrates that lean-kaizen can also help education sector to improve their services as achieved by manufacturing sector.

Keywords: course delivery, education, Kaizen, lean

Procedia PDF Downloads 340

Authors: N. Ojaroudi Parchin, H. Jahanbakhsh Basherlou, Y. Al-Yasir, A. M. Abdulkhaleq, R. A. Abd-Alhameed, P. S. Excell

Abstract:

A compact design of multi-sector patch antenna array for 60 GHz applications is presented and discussed in details. The proposed design combines five 1×8 linear patch antenna arrays, referred to as sectors, in a multi-sector configuration. The coaxial-fed radiation elements of the multi-sector array are designed on 0.2 mm Rogers RT5880 dielectrics. The array operates in the frequency range of 58-62 GHz and provides switchable directional/omnidirectional radiation beams with high gain and high directivity characteristics. The designed multi-sector array exhibits good performances and could be used in the fifth generation (5G) cellular networks.

Keywords: mm-wave communications, multi-sector array, patch antenna, small cell networks

Procedia PDF Downloads 112

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

Abstract:

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

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

Procedia PDF Downloads 39

Authors: Gebrehiwot H., Giorgis Bahita

Abstract:

Firms in Africa experience less financial market in comparison to other emerging and developed countries, thus lagging behind the rest of the world in terms of innovation and growth. Though there are different factors to be considered, underdeveloped financial systems take the lion's share in hindering firm innovation and growth in Africa. Insufficient capacity to innovate is one of the problems facing African businesses. Moreover, a critical challenge faced by firms in Africa is access to finance and the inability of financially constrained firms to grow. Only little is known about how different sources of finance affect firm innovation and growth in Africa, specifically the formal and informal finance effect on firm innovation and growth. This study's aim is to address this gap by using formal and informal finance for working capital and fixed capital and its role in firm innovation and firm growth using firm-level data from the World Bank enterprise survey 2006-2019 with a total of 5661 sample firms from 14 countries based on available data on the selected variables. Additionally, this study examines factors for accessing credit from a formal financial institution. The logit model is used to examine the effect of finance on a firm’s innovation and factors to access formal finance, while the Ordinary List Square (OLS) regression mode is used to investigate the effect of finance on firm growth. 2SLS instrumental variables are used to address the possible endogeneity problem in firm growth and finance-innovation relationships. A result from the logistic regression indicates that both formal and informal finance used for working capital and investment in fixed capital was found to have a significant positive association with product and process innovation. In the case of finance and growth, finding show that positive association of both formal and informal financing to working capital and new investment in fixed capital though the informal has positive relations to firm growth as measured by sale growth but no significant association as measured by employment growth. Formal finance shows more magnitude of effect on innovation and growth when firms use formal finance to finance investment in fixed capital, while informal finance show less compared to formal finance and this confirms previous studies as informal is mainly used for working capital in underdeveloped economies like Africa. The factors that determine credit access: Age, firm size, managerial experience, exporting, gender, and foreign ownership are found to have significant determinant factors in accessing credit from formal and informal sources among the selected sample countries.

Keywords: formal finance, informal finance, innovation, growth

Procedia PDF Downloads 48

Authors: Jawid Ahmad Baktash, Tadashi Shiroma, Tomokazu Nagata, Yuji Taniguchi, Morikazu Nakamura

Abstract:

The goal of this paper is to explore the use of formal methods for Dynamic Routing, The purpose of network communication with dynamic routing is sending a massage from one node to others by using pacific protocols. In dynamic routing connections are possible based on protocols of Distance vector (Routing Information Protocol, Border Gateway protocol), Link State (Open Shortest Path First, Intermediate system Intermediate System), Hybrid (Enhanced Interior Gateway Routing Protocol). The responsibility for proper verification becomes crucial with Dynamic Routing. Formal methods can play an essential role in the Routing, development of Networks and testing of distributed systems. Event-B is a formal technique consists of describing rigorously the problem; introduce solutions or details in the refinement steps to obtain more concrete specification, and verifying that proposed solutions are correct. The system is modeled in terms of an abstract state space using variables with set theoretic types and the events that modify state variables. Event-B is a variant of B, was designed for developing distributed systems. In Event-B, the events consist of guarded actions occurring spontaneously rather than being invoked. The invariant state properties must be satisfied by the variables and maintained by the activation of the events.

Keywords: dynamic rout RIP, formal method, event-B, pro-B

Procedia PDF Downloads 379

Authors: Sunday Odunaiya

Abstract:

The statistics of banks in operation in this current dispensation compared to some decades ago has brought about a lot of changes on the face of the financial system. The demand of customers, technological advancement, and government policies among others has therefore generated a lot of heat for financial sector’s growth, sustenance and survival. This paper discusses mergers and acquisitions (M&A) in banking sector using West Africa as a yardstick of evaluation. It explains rigorously the conditions that warrant mergers and acquisitions in the banking sector, its effect, and how to ensure mergers and acquisitions effectiveness in the banking sector. The conceptual and empirical review of the relevant literature were done systematically while value-increasing and value-decreasing theories were used to substantiate the discourse. Findings of this paper show that mergers and acquisitions is a practical and conscious activity in Nigeria, Ghana and Ivory Coast from earliest time till date with tremendous turnaround in the financial sector. It was found out that M&A is consensually arrived at by the targets and the acquirer on a value-based account. In other words, merger and acquisition is a deliberate decision reached by the management of such bank for a ‘just cause’.

Keywords: acquisitions, merger, management, financial sector

Procedia PDF Downloads 236

Authors: Laurie Prange-Martin, Romeo Turcan, Norman Fraser

Abstract:

The aim of this study is to identify the conditions required and describe the process of emergence for a new economic sector created from new or established businesses. A systematic literature review of English-language studies published from 1983 to 2016 was conducted using the following databases: ABI/INFORM Complete; Business Source Premiere; Google Scholar; Scopus; and Web of Science. The two main terms of business sector and emergence were used in the systematic literature search, along with another seventeen synonyms for each these main terms. From the search results, 65 publications met the requirements of an empirical study discussing and reporting the conditions of new sector emergence. A meta-analysis of the literature examined suggest that there are six favourable conditions and five key individuals or groups required for new sector emergence. In addition, the results from the meta-analysis showed that there are eighteen theories used in the literature to explain the phenomenon of new sector emergence, which can be grouped in three study disciplines. With such diversity in theoretical frameworks used in the 65 empirical studies, the authors of this paper propose the development of a new theory of sector emergence.

Keywords: economic geography, new sector emergence, economic diversification, regional economies

Procedia PDF Downloads 243

Authors: Yingxu Wang

Abstract:

This work presents basic research on the recursive structures and dual sequential patterns of primes for the formal proof of the Twin-Prime Conjecture (TPC). A rigorous methodology of Twin-Prime Decomposition (TPD) is developed in MATLAB to inductively verify potential twins in the dual sequences of primes. The key finding of this basic study confirms that the dual sequences of twin primes are not only symmetric but also infinitive in the unique base 6 cycle, except a limited subset of potential pairs is eliminated by the lack of dual primality. Both theory and experiments have formally proven that the infinity of twin primes stated in TPC holds in the P x P space.

Keywords: number theory, primes, twin-prime conjecture, dual primes (P x P), twin prime decomposition, formal proof, algorithm

Procedia PDF Downloads 26

Authors: Yingxu Wang

Abstract:

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

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

Procedia PDF Downloads 15

Authors: Dinda N. Lestari

Abstract:

Sundanese language is one of heritage language in Indonesia that must be maintained especially the formal type of it because teenagers nowadays do not speak Sundanese language formally in their daily lives. To maintain it, Cultural and Education Ministry of Indonesia has input Sundanese language lesson at senior high school in West Java area. The aim of this study was to observe whether the existence of Sundanese language lesson in senior high school in the big town of Karawang, West Java - Indonesia give the contribution to the formal type of Sundanese language maintenance or not. For gathering the data, the researcher interviewed the senior high school students who have learned Sundanese language to observe their acquisition of it. As a result of the interview, the data was presented in qualitative research by using the interviewing method. Then, the finding indicated that the existence of Sundanese language in Senior High School also the educational program which is related to it, for instance, Kemis Nyunda seemed to do not effective enough in maintaining the formal type of Sundanese language. Therefore, West Java government must revise the learning strategy of it, including the role of the Sundanese language teacher.

Keywords: heritage language, language maintenance and shift, senior high school, Sundanese language, Sundanese language lesson

Procedia PDF Downloads 119

Authors: Muhammad Ilham Agus Salim, Saufa Ata Taqiyya

Abstract:

In many Muslim countries, secularization has successfully reduced the role of Islamic law as a formal legal source during this last century. The most obvious fact was the reform of Daulah Utsmaniyah to be Secular Republic of Turkey. Religion is strictly separated from the state authorities in many countries today. But these last decades in Indonesia, a remarkable fact is apparent. Islamic law has expanded its role in Indonesian legal system, especially in districts regulations. In Aceh province, as a case in point, shariah has been the basic source of law in all regulations. There are more provinces in Indonesia which adopted Islamic law as a formal legal source by the end of 2014. Different from some other countries which clearly stipulates the status of Islam in formal ways, Indonesian constitution formally does not render any recognition for Islam to be the formal religion of the state. But in this Muslim majority country, Islamic law takes a place in democratic way, namely on the basis of the voice of majority. This paper will analyze how this reality increases significantly since what so called by Indonesian reformation era (end of nineties). Some causes will be identified regarding this tendency of expansion of role. Some lessons learned also will be recommended as the concluding remarks by the end of the paper.

Keywords: Islamic law, Indonesia, legal reform, Syariah local regulation

Procedia PDF Downloads 323

Authors: Zarema Urustamova, Chunsheng Shi, Ghulam Mujtaba Kayani 

Abstract:

This research paper helps to understand the comparative analysis of recruitment problems which majorly faced by HRD of Public/Semi-Govt. and private sectors of Russia. The natures of different recruitment problems faced by HRD are different in both sector of Russia. Recruitment is one of very critical and important decision taken by HR department and some recruitment problems are highly faced by HR department of public/semi Govt. sector but are not major problems for private sector. Moreover, some problems are majorly influence in private sector but are not major problems in public/semi-govt. sector of Russia in recruitment. It is also identified that some recruitment problems are majorly affect in recruitment in both sectors. This paper helps to understand the recruitment problems faced by HR department while recruiting the new employee in both sectors. This paper also identified that “environment” and “prejudice” in public sector have higher affect and considered as a major problems in employee recruitment and “reference”, “selection standards” are considered as a least affecting problems of recruitment in public sector. Further, in private sector, “prejudice” and “culture” are major issues and “selection standards” and “reference” is considered as least affecting recruitment problems in private sector of Russia. So, HR department will be able to hire right person on right time, and it is possible when different HR departments focus to overcome these recruitment problems more efficiently and effectively.

Keywords: Govt. /Semi-Govt. vs. private sector, HR department, recruitment problems, Russia

Procedia PDF Downloads 347

Authors: Tadeusz Nowicki, Radosław Pytlak, Robert Waszkowski, Jerzy Bertrandt, Anna Kłos

Abstract:

This paper presents methods for formal modeling of activities in the area of sanitary inspectors outbreak of food-borne diseases. The models allow you to measure the characteristics of the activities of sanitary inspection and as a result allow improving the performance of sanitary services and thus food security.

Keywords: food-borne disease, epidemic, sanitary inspection, mathematical models

Procedia PDF Downloads 277

Authors: K. Reitner, F. Staberhofer, W. Ortner, M. Gerschberger

Abstract:

The purpose of this paper is to identify the main challenges faced by companies in the timber construction sector and to provide improvement opportunities that can be implemented on a short-, medium- and long-term basis. To identify the challenges and propose actions for each company a literature review and a multiple case research were conducted using the Quick Scan Audit Methodology. Finally, the findings and outcomes are compared with each other to support companies in the timer construction sector when implementing and restructuring their day-to-day activities.

Keywords: supply chain management, supply chain challenges and opportunities, timber construction sector

Procedia PDF Downloads 216

Authors: Vergeena Varghese, G. Gajalakshmi, Jayarajini Vasanth

Abstract:

The present study deals with the indication of prevalence of dry eye and evaluates environmental risk factors attributed to dry eye in different occupational sectors. 240 subjects above 20 years and below 45 years of age were screened for dry eye. Mcmonnies dry eye questionnaire based history and Schirmer’s test were used to diagnose dry eye. For Schirmer’s test Whatman strip and paracaine drop used as an anesthetic. Subject’s demographics include age, sex, smoking, alcoholism, occupation history and working environment. Out of a total of 240 subjects, 52 subjects were positive for dry eye syndrome (21.7%). The highest prevalence of dry eye syndrome in software sector was 14subjects (26.9%) out of a total of 40 subjects. In the construction sector, the prevalence of dry eye syndrome had 12 subjects (23.1%) out of 40 subjects and 9 subjects (17.3%) out of 40 subjects in agriculture sector. 7 subjects (13.5%) who had dry eye out of 40 subjects in the transport sector and in industrial 6 subjects (11.5%). In a normal sector, this was taken as control group had dry eye in 4 subjects (7.7%) out of 40 subjects. We also found the prevalence of dry eye in OS was higher than OD. Dry eye is a most common ocular condition. The highest prevalence of dry eye syndrome in software sector was 14 members than other sector. There was a significant correlation between environmental and occupational factors to cause dry eye. Excessive exposure to sunlight, wind, high temperature, and air pollution, electromagnetic radiation are the factors affect the tear film and ocular surface causing the dry eye syndrome.

Keywords: DES – dry eye syndrome, Mcmonnies dry eye questionnaire, schirmer’s test, whatman vstrip

Procedia PDF Downloads 436

Authors: Aran Hakki, Corina Cirstea, Julian Rathke

Abstract:

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

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

Procedia PDF Downloads 111

Authors: Nur Imroatun Sholihat, Gresika Bunga Sylvana

Abstract:

Currently, cyber attack became an incredibly serious problem due to its increasing trend all over the world. Therefore, information security becomes prominent for every organization including public sector organization. In Indonesia, unfortunately, Ministry of Finance (MoF) is the only public sector organization that has already formally established procedure to assess its information security adequacy by performing information security audits (November 2017). We assess the implementation of information security audits in the MoF using qualitative data obtained by interviewing IT auditors and by analysis of related documents. For this reason, information security audit practice in the MoF could become the acceptable benchmark for all other public sector organizations in Indonesia. This study is important because, to the best of the author’s knowledge, our research into information security audits practice in Indonesia’s public sector have not been found yet. Results showed that information security audits performed mostly by doing pentest (penetration testing) to MoF’s critical applications.

Keywords: information security audit, information technology, Ministry of Finance of Indonesia, public sector organization

Procedia PDF Downloads 196

Authors: Tomokazu Nagata, Jawid Ahmad Baktash

Abstract:

The goal of this paper is to explore the use of formal methods for Electronic Identity Card System. Nowadays, one of the core research directions in a constantly growing distributed environment is the improvement of the communication process. The responsibility for proper verification becomes crucial. Formal methods can play an essential role in the development and testing of systems. The thesis presents two different methodologies for assessing correctness. Our first approach employs abstract interpretation techniques for creating a trace based model for Electronic Identity Card System. The model was used for building a semi decidable procedure for verifying the system model. We also developed the code for the eID System and can cover three parts login to system sending of Acknowledgment from user side, receiving of all information from server side and log out from system. The new concepts of impasse and spawned sessions that we introduced led our research to original statements about the intruder’s knowledge and eID system coding with respect to secrecy. Furthermore, we demonstrated that there is a bound on the number of sessions needed for the analysis of System.Electronic identity (eID) cards promise to supply a universal, nation-wide mechanism for user authentication. Most European countries have started to deploy eID for government and private sector applications. Are government-issued electronic ID cards the proper way to authenticate users of online services? We use the eID project as a showcase to discuss eID from an application perspective. The new eID card has interesting design features, it is contact-less, it aims to protect people’s privacy to the extent possible, and it supports cryptographically strong mutual authentication between users and services. Privacy features include support for pseudonymous authentication and per service controlled access to individual data items. The article discusses key concepts, the eID infrastructure, observed and expected problems, and open questions. The core technology seems ready for prime time and government projects deploy it to the masses. But application issues may hamper eID adoption for online applications.

Keywords: eID, event-B, Pro-B, formal method, message passing

Procedia PDF Downloads 205