Search results for: formal concept analysis

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 373

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 138

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 530

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 146

Authors: E. Kaygan, A. Gatto

Abstract:

A numerical study of a design concept for actively controlling wing twist is described in this paper. The concept consists of morphing elements which were designed to provide a rigid and seamless skin while maintaining structural rigidity. The wing structure is first modeled in CATIA V5 then imported into ANSYS for structural analysis. Athena Vortex Lattice method (AVL) is used to estimate aerodynamic response as well as aerodynamic loads of morphing wings, afterwards a structural optimization performed via ANSYS Static. Overall, the results presented in this paper show that the concept provides efficient wing twist while preserving an aerodynamically smooth and compliant surface. Sufficient structural rigidity in bending is also obtained. This concept is suggested as a possible alternative for morphing skin applications. 

Keywords: aircraft, morphing, skin, twist

Procedia PDF Downloads 390

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 170

Authors: Yun-Ju Chiu, Feng-Yi Chen

Abstract:

Kinematics is the beginning to learn mechanics in physics course. The concept of acceleration plays an important role in learning kinematics. Teachers usually instruct the conception through the formulas and graphs of kinematics and the well-known law F = ma. However, over the past few decades, a lot of researchers reveal numerous students’ difficulties in learning acceleration. One of these difficulties is that students frequently confuse acceleration with velocity and force. Why is the concept of acceleration so difficult to learn? The aim of this study is to understand the conceptual evolution of acceleration through the historical textual analysis. Text analysis and one-to-one interviews with high school students and teachers are used in this study. This study finds the history of science constructed from textbooks is usually quite different from the real evolution of history. For example, most teachers and students believe that the best-known law F = ma was written down by Newton. The expression of the second law is not F = ma in Newton’s best-known book Principia in 1687. Even after more than one hundred years, a famous Cambridge textbook titled An Elementary Treatise on Mechanics by Whewell of Trinity College did not express this law as F = ma. At that time of Whewell, the early mid-nineteenth century Britain, the concept of acceleration was not only ambiguous but also confused with the concept of force. The process of learning the concept of acceleration is analogous to its conceptual development in history. The study from the perspective of historical textual analysis will promote the understanding of the concept learning difficulties, the development of professional physics teaching, and the improvement of the context of physics textbooks.

Keywords: acceleration, textbooks, mechanics, misconception, history of science

Procedia PDF Downloads 246

Authors: Renato Figueira Franco

Abstract:

This paper aims to create a representational information system applied to the securities market, particularly the development of an ontology applied to the analysis of the Key Information Documents of Contracts for Difference. The process of obtaining knowledge and its proper formal representation has raised the attention both from the scientific literature and the capital markets supervisory authorities. The formal knowledge representation is embodied in the construction of ontologies, which are responsible for defining a knowledge base structure of a given scientific domain, facilitating its understanding, and allowing its sharing among the scientific community. The scope of this study is restricted to the analysis of capital markets ontologies in order to capture its structure, semantics and knowledge sharing between people and systems.

Keywords: ontology, financial markets, CFD, PRIIPs, key information documents

Procedia PDF Downloads 59

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 110

Authors: Gizem Akcan, Erdinc Ozturk

Abstract:

When it is examined as historically, it has caught attention that homosexual people try to behave as heterosexual or come out to have a place in community. Homosexual people have identity confusion during identity development, they have high levels of need for absolute truth and their psychological well being is affected negatively because of high levels of need for absolute truth and they have problems about self concept clarity. People who have problems about self concept clarity have problems on problem solving and show lots of symptoms of stress. People who have clear self concept use healthier coping strategies to solve problems. The purpose of this study is to show whether need for absolute truth predicts problem solving and symptoms of stress via mediator effect of self concept clarity or not on homosexual men. The participants of this study were 200 homosexual men. The ages of participants were 20-50. In addition, Demographic Information Form, Self Concept Clarity Scale, Need for Absolute Truth Scale, Stres Self-Assessment Checklist and Problem Solving Inventory were applied to the participants. The assessment of the data was made with confirmatory factor analysis and structural equation modeling analysis. According to the results of this study, need for absolute truth predicts problem solving and symptoms of stress via mediator effect of self concept clarity on homosexual men.

Keywords: need for absolute truth, self concept clarity, symptoms of stress, problem solving

Procedia PDF Downloads 222

Authors: Sadaf Khalid, Jahanzaib Sarwar, Rabia Touseef

Abstract:

No matter how much perfect we become in our practical skills regarding the implementation of learned ideas, the need of technical writing capability cannot be neglected to be a professional. Technical writing is a way of communicating the ideas in written which, otherwise, need to be presented orally. Technical writing skills have always been the need of the time, as they are required for internal, as well as external official communication in both formal and informal manner. Moreover, they are the best way to capture the attention of your customers by presenting information in an effective manner. This paper aims to analyze the importance of technical writing skills in professional industries of Pakistan by conducting a survey. Survey results presented in this paper clearly depicts the importance of formal and informal written communication media used in different professional industries in Pakistan. Analysis and discussion of the extent to which the alternative ways of communication besides technical writing have got importance in Pakistan is also an important aspect of this survey.

Keywords: technical writing, survey, oral communication, globalization, communication trends, formal communication media, informal communication, audience

Procedia PDF Downloads 411

Authors: Aline M. C. Santoro, João C. Pantoja, Eduardo P. Rossetti

Abstract:

While the aim of the modernist movement was to deny known typology, the creation of a new formal language also gave it new meaning, which was now related to Form. This is specifically true in the modern capital of Brazil, where Niemeyer sought to demonstrate the manner in which the new materials available, such as reinforced concrete, were able to produce innovative forms. With this study, we aim to demonstrate the relationship between Niemeyer’s forms and the topological typology known as tessellation, through the presentation of two case studies, the Monument to Caxias and the Saint George Orthodox Church. At a first glance, our purpose is to present the definition of Form, especially with relationship to the works of Niemeyer, seeking to identify in them the concepts presented by Moussavi. Afterwards, we will use a computer-based approach to study and model the forms of two of his buildings with the McNeel Rhinoceros program, where, with the aid of diagrams and renderings, we will be able to clearly and legibly represent their organic forms and further understand their structural systems. When we recognise the concept of typology as a starting point for structural form, it can be concluded that the case studies presented here are encompassed by the typology presented by Moussavi since they derive from his basic structural systems.

Keywords: form, Niemeyer, structure, typology, topology

Procedia PDF Downloads 194

Authors: Kangrij Roeksiripat

Abstract:

Street vending is one of the informal economy activities which considered significance to Thai people in the economic and the day-to-day social life. It had been believed that the street vendor is a group of the poor and uneducated people. With the increasing numbers of the street vendor occupying space on public sidewalks especially in central business districts, it becomes unclear whether street vending continues as a solution to unemployment for access labors. This research attempts to study and analyze types of street vendors in Bangkok under the informal economy framework. The debate on the heterogeneous informal economy has categorized into four schools; the dualism, the structuralism, the legalism and the voluntarism. The examination also embodies with market concept with Porter’s Five Forces of Competitive Position Model analysis and the interviews with the street vendors in three case study areas: Inner zone (Pathumwan district - the sidewalk on the opposite side of Siam Paragon mall), Middle zone (Ramkhamhaeng district - the sidewalk on the opposite side of Ramkhamhaeng University) and Outer zone (Minburi district- the sidewalk of Sriburanukit Road). The result indicates that most of street vendors in Siam square are voluntarily choose to make a living in vending on a sidewalk and tend to take it as a long-term occupation even though they can be in formal wage employment. Moreover, average income and positive attitude towards self-employed are the important factors that drive them to operate street vending businesses. Meanwhile, street vending is often a family enterprise in Ramkhamhaeng area and most vendors do not wish to transform their businesses into the formal sectors. Whereas the survey conducted in Sriburankit Road reveals that almost all of street vendors migrated from other provinces and were previously paid as the unskilled workers in formal sectors. They moved to informal trades because of the uncertainty of employment in the mainstream sectors and the inconsistent income with knowledge support of friends and relatives from the same hometown. In particular, the result reveals a common pattern that street vending is the very first occupation of some group of vendors and they will continue to engage in this activity. Thus, it is important for the government to design optimal policy which not only integrating informal workers into the formal economy but also monitoring the enforcement of regulations on the modern informal economy.

Keywords: informal economy, sidewalks, street vendors, occupation

Procedia PDF Downloads 280

Authors: Josephine Shamash, Stuart Smith

Abstract:

We examine reasons for introducing definitions in teaching mathematics in a number of different cases. We try to determine if, where, and when to provide a definition, and which definition to choose. We characterize different types of definitions and the different purposes we may have for formulating them, and detail examples of each type. Giving a definition at a certain stage can sometimes be detrimental to the development of the concept image. In such a case, it is advisable to delay the precise definition to a later stage. We describe two models, the 'successive approximation model', and the 'model of the extending definition' that fit such situations. Detailed examples that fit the different models are given based on material taken from a number of textbooks, and analysis of the way the concept is introduced, and where and how its definition is given. Our conclusions, based on this analysis, is that some of the definitions given may cause discontinuities in the learning sequence and constitute obstacles and unnecessary cognitive conflicts in the formation of the concept definition. However, in other cases, the discontinuity in passing from definition to definition actually serves a didactic purpose, is unavoidable for the mathematical evolution of the concept image, and is essential for students to deepen their understanding.

Keywords: concept image, mathematical definitions, mathematics education, mathematics teaching

Procedia PDF Downloads 126

Authors: Hermann Dornhackl, Konstantin Kadletz, Robert Luh, Paul Tavolato

Abstract:

In this paper we describe the use of formal methods to model malware behaviour. The modelling of harmful behaviour rests upon syntactic structures that represent malicious procedures inside malware. The malicious activities are modelled by a formal grammar, where API calls’ components are the terminals and the set of API calls used in combination to achieve a goal are designated non-terminals. The combination of different non-terminals in various ways and tiers make up the attack vectors that are used by harmful software. Based on these syntactic structures a parser can be generated which takes execution traces as input for pattern recognition.

Keywords: malware behaviour, modelling, parsing, search, pattern matching

Procedia PDF Downloads 327

Authors: Julia Langen

Abstract:

This article describes the challenges of a wireless charging system for a cab waiting lane in a public space and presents a concept for solving them. In this concept, multiple cabs can be charged simultaneously and during stopping and rolling. Particular technical challenges are a coil topology that meets the EMF requirements and an intelligent control concept that allows the individual coil segments to be switched on and off. The charging concept explained here is currently being implemented as a pilot project, so that initial results on the operation can be presented.

Keywords: charge lane, inductive charging solution, smart city, wireless power transfer

Procedia PDF Downloads 167

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 64

Authors: Sladjana Popovic

Abstract:

The concept of vertical space urbanization, defined in English as "air rights development," can be considered a mechanism for the development of public spaces in urban areas of high density. A chronological overview of the transformation of space within the vertical projection of the existing traffic infrastructure that penetrates through the central areas of a city is given in this paper through the analysis of two illustrative case studies: more advanced and recent - "Plot 13" in Boston, and less well-known European example of structures erected above highways throughout Italy - the "Pavesi auto grill" chain. The backbone of this analysis is the examination of the possibility of yielding air rights within the vertical projection of public structures in the two examples by considering the factors that would enable its potential application in capitals in Southeastern Europe. The cession of air rights in the Southeastern Europe region, as a phenomenon, has not been a recognized practice in urban planning. In a formal sense, legal and physical feasibility can be seen to some extent in local models of structures built above protected historical heritage (i.e., archaeological sites); however, the mechanisms of the legal process of assigning the right to use and develop air rights above public structures is not a recognized concept. The goal of the analysis is to shed light on the influence of institutional participants in the implementation of innovative solutions for vertical urbanization, as well as strategic planning mechanisms in public-private partnership models that would enable the implementation of the concept in the region. The main question is whether the manipulation of the vertical projection of space could provide for innovative urban solutions that overcome the deficit and excessive use of the available construction land, particularly above the dominant public spaces and traffic infrastructure that penetrate central parts of a city. Conclusions reflect upon vertical urbanization that can bridge the spatial separation of the city, reduce noise pollution and contribute to more efficient urban planning along main transportation corridors.

Keywords: air rights development, innovative urbanism, public-private partnership, transport infrastructure, vertical urbanization

Procedia PDF Downloads 69

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 70

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 398

Authors: José María Agugusto-landa, Inmaculada García-Martínez, Lara Checa Domene, Óscar Gavín Chocano

Abstract:

Self-concept is the perception that a person has of himself, of his abilities, skills, traits, and values. Self-concept is composed of different dimensions, such as academic self-concept, physical self-concept, social self-concept, emotional self-concept, and family self-concept. The relationship between the dimensions of self-concept and mental health and academic performance among future teachers is a topic of interest for educational psychology. Some studies have found that: (i) There is a positive relationship between general self-concept, academic self-concept and academic performance, that is, students who have a more positive image of themselves tend to get better grades and be more motivated to learn. (ii) There is a positive relationship between emotional intelligence, physical self-concept and healthy habits, that is, students who regulate and understand their emotions better have a higher satisfaction with their physical appearance and follow a more balanced diet and a higher physical activity. As for gender differences in the dimensions of self-concept among future teachers, some studies have found that: (i) Girls tend to have a higher self-concept in the social, family and verbal dimensions, that is, they perceive themselves as more capable of relating to others, communicating effectively and receiving support from their family. (ii) Boys tend to have a higher self-concept in the physical, emotional and mathematical dimensions, that is, they perceive themselves as more capable of performing physical activities, controlling their emotions and solving mathematical problems. (iii) There are no significant differences between general self-concept and academic self-concept according to gender, that is, both girls and boys have a similar perception of their global worth and academic competence.

Keywords: preservice teachers, self-concept, academic performance, mental wellbeing

Procedia PDF Downloads 75

Authors: Eduwin Eko Franjaya, Yesi Hendriani Supartoyo

Abstract:

Integrated farming with LEISA concept as one of the systems or sustainable farming techniques in agriculture has provided opportunities to increase farmers' income. This system also has a positive impact on the environment. However, the development of integrated farming is still on a small scale/site scale. Development on a larger scale is necessary considering to the number of potential resources in the village that can be integrated each other. The aim of this research is to develop an integrated farming landscape on small scale that has been done in previous study, into the village scale. The method used in this study follows the rules of scientific planning in landscape architecture. The initial phase begins with an inventory of the existing condition of the village, by conducting a survey. The second stage is analysis of potential and constraints in the village based on the results of a survey that has been done before. The next stage is concept-making that consists of basic concept, design concept, and development concept. The basic concept is integrated farming based on LEISA. The design concept is based on commodities that are developed in the village. The development concept consists of space concept, circulation concept, the concept of vegetation and commodities, and the concept of the production system. The last stage is planning process which produces Site Plan based on LEISA on village scale. Site Plan is also the end product of this research. The results of this research are expected to increase the income and welfare of the farmers in the village, and can be develop into a tourism area of integrated farming.

Keywords: integrated farming, LEISA, site plan, sustainable agriculture

Procedia PDF Downloads 447

Authors: Suprihatin Soewarto

Abstract:

The background of writing this paper is to assess the truth of rejection of some Muslim scholars who develop Islamic economics on the concept of consumer satisfaction and replace it with the concept of maslahah. In the perspective of Islamic law, this rejection attitude needs to be verified in order to know the accuracy of the replacement of this concept of satisfaction with maslahah as part of consumer behavior. This is done so that replacement of rejection of the term satisfaction with maslahah is objective. This objective replacement of the term will surely be more enlightening and more just than the subjective substitution. Therefore the writing of this paper aims to get an answer whether the concept of satisfaction needs to be replaced? is it possible for Islamic law to confirm the theory of consumer satisfaction? The method of writing this paper using the method of literature with a critical analysis approach. The results of this study is an explanation of the similarities and differences of consumer satisfaction theory and consumer theory maslahah according to Islamic law. disclosure of the concept of consumer gratitude according to Islamic law and its implementation in Muslim consumer demand theory.

Keywords: consumer's gratitude, islamic law, confirmation, satisfaction consumer's

Procedia PDF Downloads 196

Authors: Jean-François Pouilly

Abstract:

This study addresses the growing complexity of embedded systems and the critical need for secure, reliable software. Traditional cybersecurity testing methods, often conducted late in the development cycle, struggle to keep pace. This talk explores how formal methods, integrated with advanced analysis tools, empower C/C++ developers to 1) Proactively address vulnerabilities and bugs, which includes formal methods and abstract interpretation techniques to identify potential weaknesses early in the development process, reducing the reliance on penetration and fuzz testing in later stages. 2) Streamline development by focusing on bugs that matter, with close to no false positives and catching flaws earlier, the need for rework and retesting is minimized, leading to faster development cycles, improved efficiency and cost savings. 3) Enhance software dependability which includes combining static analysis using abstract interpretation with full context sensitivity, with hardware memory awareness allows for a more comprehensive understanding of potential vulnerabilities, leading to more dependable and secure software. This approach aligns with industry best practices (ISO2626 or ISO 21434) and empowers C/C++ developers to deliver robust, secure embedded systems that meet the demands of today's and tomorrow's applications. We will illustrate this approach with the TrustInSoft analyzer to show how it accelerates verification for complex cases, reduces user fatigue, and improves developer efficiency, cost-effectiveness, and software cybersecurity. In summary, integrating formal methods and sound Analyzers enhances software reliability and cybersecurity, streamlining development in an increasingly complex environment.

Keywords: safety, cybersecurity, ISO26262, ISO24434, formal methods

Procedia PDF Downloads 11

Authors: Stefanie Kasparek

Abstract:

The United Nations Security Council (UNSC) is probably the most recognized international security organization. It is also profoundly misunderstood and undervalued in its effort to promote peace and security. With the rising involvement of non-state actors and the way states fight wars, international governance has become increasingly complex. However, the formal UNSC agenda has long remained static, reflecting states' unwillingness to entertain more conflicts. Nevertheless, resolutions remain the scholarly measure of states' interests and policies, neglecting the significant share of issues the Council entertains informally. This project builds on a rational institutionalism framework. It provides a systematic analysis of how and under what conditions states use informal governance instead of, or in combination with, formal rules at the agenda-setting stage of the policy process. Data for this project comes from elite interviews and a newly created dataset on governance choices. The results show that counter existing arguments, weaker states successfully circumvent formal institutional roadblocks and use informal governance mechanisms to pursue vital interests, thereby countering institutional restrictions and power asymmetries present informal governance settings.

Keywords: agenda-setting, decision-making, international governance, UNSC

Procedia PDF Downloads 188

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 60

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 44

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 145

Authors: Rania A. Aboalela, Javed I. Khan

Abstract:

This research presents a learning assessment theory of Cognitive Skill in Concept Space (CS2) to measure the assessed knowledge in terms of cognitive skill levels of the concepts. The cognitive skill levels refer to levels such as if a student has acquired the state at the level of understanding, or applying, or analyzing, etc. The theory is comprised of three constructions: Graph paradigm of a semantic/ ontological scheme, the concept states of the theory and the assessment analytics which is the process to estimate the sets of concept state at a certain skill level. Concept state means if a student has already learned, or is ready to learn, or is not ready to learn a certain skill level. The experiment is conducted to prove the validation of the theory CS2.

Keywords: cognitive skill levels, concept states, concept space, knowledge assessment theory

Procedia PDF Downloads 318

Authors: Yingxu Wang, Jianhua Lu, Jun Peng, Jiawei Zhang

Abstract:

The fundamental demand in contemporary intelligent science towards Autonomous AI (AI*) is the creation of unprecedented formal means of Intelligent Mathematics (IM). It is discovered that natural intelligence is inductively created rather than exhaustively trained. Therefore, IM is a family of algebraic and denotational mathematics encompassing Inference Algebra, Real-Time Process Algebra, Concept Algebra, Semantic Algebra, Visual Frame Algebra, etc., developed in our labs. IM plays indispensable roles in training-free AI* theories and systems beyond traditional empirical data-driven technologies. A set of applications of IM-driven AI* systems will be demonstrated in contemporary intelligence science, AI*, and cognitive computers.

Keywords: intelligence mathematics, foundations of intelligent science, autonomous AI, cognitive computers, inference algebra, real-time process algebra, concept algebra, semantic algebra, applications

Procedia PDF Downloads 48