Search results for: formal regulations

Authors: Fanny Guay

Abstract:

Building resilience, sustainable buildings, urbanization, climate change, resilient cities, are just a few examples of where the focus of research has been in the last few years. It is obvious that there is a need to rethink how we are building our cities and how we are renovating our existing buildings. However, the question remaining is how can we assure that we are building sustainable yet resilient cities? There are many aspects one can touch upon when discussing resilience in cities, but after the event of Grenfell in June 2017, it has become clear that fire resilience must be a priority. We define resilience as a holistic approach including communities, society and systems, focusing not only on resisting the effects of a disaster, but also how it will cope and recover from it. Cities are an example of such a system, where components such as buildings have an important role to play. A building on fire will have an impact on the community, the economy, the environment, and so the entire system. Therefore, we believe that fire and resilience go hand in hand when we discuss building resilient cities. This article aims at discussing the current state of the concept of fire resilience and suggests actions to support the built of more fire resilient buildings. Using the case of Grenfell and the fire safety regulations in the UK, we will briefly compare the fire regulations in other European countries, more precisely France, Germany and Denmark, to underline the difference and make some suggestions to increase fire resilience via regulation. For this research, we will also include other types of resilience such as technological resilience, discussing the structure of buildings itself, as well as community resilience, considering the role of communities in building resilience. Our findings demonstrate that to increase fire resilience, amending existing regulations might be necessary, for example, how we performed reaction to fire tests and how we classify building products. However, as we are looking at national regulations, we are only able to make general suggestions for improvement. Another finding of this research is that the capacity of the community to recover and adapt after a fire is also an essential factor. Fundamentally, fire resilience, technological resilience and community resilience are closely connected. Building resilient cities is not only about sustainable buildings or energy efficiency; it is about assuring that all the aspects of resilience are included when building or renovating buildings. We must ask ourselves questions as: Who are the users of this building? Where is the building located? What are the components of the building, how was it designed and which construction products have been used? If we want to have resilient cities, we must answer these basic questions and assure that basic factors such as fire resilience are included in our assessment.

Keywords: buildings, cities, fire, resilience

Procedia PDF Downloads 139

Authors: Rajaa Filali, Mohamed Bouhdadi

Abstract:

This paper presents an incremental development of the Dynamic Host Configuration Protocol (DHCP) in Event-B. DHCP is widely used communication protocol, which provides a standard mechanism to obtain configuration parameters. The specification is performed in a stepwise manner and verified through a series of refinements. The Event-B formal method uses the Rodin platform to modeling and verifying some properties of the protocol such as safety, liveness and deadlock freedom. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps.

Keywords: DHCP protocol, Event-B, refinement, proof obligation, Rodin

Procedia PDF Downloads 201

Authors: K. M. Yoo, M. H. Kang

Abstract:

Conventional commercial wind turbine design software is limited to large wind turbines due to not incorporating with low Reynold’s Number aerodynamic characteristics typically for small wind turbines. To extract maximum annual energy product from an intermediately designed small wind turbine associated with measured wind data, numerous simulation is highly recommended to have a best fitting planform design with proper airfoil configuration. Since depending upon wind distribution with average wind speed, an optimal wind turbine planform design changes accordingly. It is theoretically not difficult, though, it is very inconveniently time-consuming design procedure to finalize conceptual layout of a desired small wind turbine. Thus, to help simulations easier and faster, a GUI software is developed to conveniently iterate and change airfoil types, wind data, and geometric blade data as well. With magnetic generator torque curve, peak power tracking simulation is also available to better match with the magnetic generator. Small wind turbine often lacks starting torque due to blade optimization. Thus this simulation is also embedded along with yaw design. This software provides various blade cross section details at user’s design convenience such as skin thickness control with fiber direction option, spar shape, and their material properties. Since small wind turbine is under international safety regulations with fatigue damage during normal operations and safety load analyses with ultimate excessive loads, load analyses are provided with each category mandated in the safety regulations.

Keywords: GUI software, Low Reynold’s number aerodynamics, peak power tracking, safety regulations, wind turbine performance optimization

Procedia PDF Downloads 278

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 39

Authors: Babak Pourghahramani

Abstract:

One of the modern crimes against property and ownership in the cyber-space is the computer fraud. Despite being modern, the aforementioned crime has its roots in the principles of religious jurisprudence. In some cases, this crime is compatible with the traditional regulations and that is when the computer is considered as a crime commitment device and also some computer frauds that take place in the context of electronic exchanges are considered as crime based on the E-commerce Law (approved in 2003) but the aforementioned regulations are flawed and until recent years there was no comprehensive law in this regard; yet after some years the Computer Crime Act was approved in 2009/26/5 and partly solved the problem of legal vacuum. The present study intends to investigate the computer fraud according to Iran's Computer Crime Act and by taking into consideration the international documents.

Keywords: fraud, cyber fraud, computer fraud, classic fraud, computer crime

Procedia PDF Downloads 307

Authors: Ahmed Farouk Radwan, Sheren Mousa

Abstract:

There are many laws and regulations governing the use of new and social media in the United Arab Emirates. During the past few years, the importance of using these platforms in the fields of media and government communication has increased, as well as at the level of individual use. In 2016, the National Media Council Law was issued to regulate traditional and new media field, and gave the council the power to oversee and undertake the media affairs in the state. NMC is mandated to: Develop the UAE’s media policy, Draft media legislation and ensure its execution and Prohibited media content ,Co-ordinate the media policy between the emirates in line with the UAE’s domestic and foreign policy, Ensure support for the federation and project national unity. All media organizations in the UAE must comply with the regulations and rules issued by council. Social media influencers have to be licensed by NMC if they accept paid ads to be published on their accounts. The study explores other laws concerning of new media and social media regulations and ethics including Combatting Cybercrimes law, Combating Discrimination and Hatred law, The Government Guidelines for social media users in the UAE, The Guidelines for the practices of electronic participation and social networking, Copyright Law, and Child Rights Law. The study clarifies the legal articles, items and standards in all these laws which related with the new media and social platforms and also determines the prohibited digital practices and the cultural norms governing it.

Keywords: media laws, media ethics, new media , UAE

Procedia PDF Downloads 138

Authors: Patrick M. Stanton, William R. McCumber

Abstract:

Using a large dataset of more than 2,400 individual microfinance institutions (MFIs) from 120 countries from 1999 to 2016, this study finds that nearly half of the international MFIs operate as for-profit institutions. Formal institutions (business regulatory environment, property rights, social protection, and a developed financial sector) impact the likelihood of MFIs being for-profit across countries. Cultural differences across countries (power distance, individualism, masculinity, and indulgence) seem to be a factor in the legal status of the MFI (non-profit or for-profit). MFIs in countries with stronger formal institutions, a greater degree of power distance, and a higher degree of collectivism experience better financial and social performance.

Keywords: Hofstede cultural dimensions, international finance, microfinance institutions, non-profite

Procedia PDF Downloads 247

Authors: Vanessa Casadella, Mourad Chouki, Agnès Ceccarelli, Sofiane Tahi

Abstract:

Mentoring is positioned in an interpersonal and intergenerational perspective, serving the transmission of interpersonal skills and organizational culture. It echoes orientation, project, self-actualization, guidance, transmission, and filiation. It is available using a formal or informal approach. The formal dimension refers to a privileged relationship between a senior and a junior. Informal mentoring is unplanned and emerges naturally between two people who choose each other. However, it remains more difficult to understand. To study the link between formal and informal mentoring and to define the notion of “social” mentoring, we conducted a qualitative study of an exploratory nature with around ten SSE organizations located in the southeast region of Tunisia. The wealth of this territory has pushed residents to found SSE organizations with a view to creating jobs but also to preserving traditions and preserving nature. These organizations developed spontaneously to solve various local problems, such as the revitalization of deserted rural areas, environmental degradation, and the reskilling and professional reintegration of people marginalized in the labor market. This research, based on semi-structured interviews in order to obtain exhaustive and sensitive data, involves an interview guide with few questions mobilized to let the respondents, leaders of the different structures, express themselves freely. The guide includes questions on activities, methods of sharing knowledge, and difficulties in understanding between stakeholders. The interviews, lasting 30 to 60 minutes, were recorded using a dictaphone and then transcribed in full. The results are as follows: 1. We see two iterative mentoring loops. A first loop can be considered a type of formal mentoring. It highlights the support organized (in the form of training) by social enterprises with the aim of developing the autonomy, know-how, and interpersonal skills of members. A second loop concerns informal mentoring. This is non-formalized support provided by members or with other members of the entourage. This informal mentoring is mainly based on the observation of good practices and learning by doing. 2. We notice an intersection between the two loops. If the first loop is not done, the second will not take place. The knowledge acquired in the first loop is used to feed the second. 3. We note a form of reluctance on the part of some members to share their knowledge for reasons of competition. Ultimately, we retain the notion of “social” mentoring as a hybridization of formal and informal mentoring while dimensioning the “social” perspective by emphasizing the reciprocal character, solidarity, confidence, and trust between the mentor and the mentee.

Keywords: social innovation, social mentoring, social and solidarity economy, informal mentoring

Procedia PDF Downloads 30

Authors: Khalid Huwaydi Alshammari

Abstract:

The paper examined the extent to which it was necessary for the Saudi Arabian Monetary Agency (SAMA), as a central bank, to update the Banking Control Law 1966 (BCL) in order to gain full independence, while ensuring that SAMA would have enough flexibility to develop the banking industry yet make sound decisions with regard to the issuance of new regulations related to banking supervision.Using a comparative study approach, the paper looked to find the best practices around these issues. The Bank of England, which was recently granted full independence, presented a good opportunity for a case study. The perspectives of the World Bank, the International Monetary Fund and commercial banks in Saudi Arabia are examined, including an analysis of their recommendations regarding SAMA regulations on banking supervision. This paper found several issues are important for SAMA as the central bank in a country which is a member of the G20, and which has recently faced unstable oil prices. The paper also discusses conflicts of interest which arose when the Saudi government became a shareholder in commercial banks while simultaneously regulating SAMA through the Ministry of Finance, resulting in a monopoly which disabled free competition in the banking market. The paper recommends further steps for SAMA to develop the banking industry, which is an important arm of Saudi’s economy, and examines the challenges SAMA faces in updating regulations such as the BCL under Sharia law. The author also suggests practical solutions to the difficulties. The paper found these difficulties could be avoiding them if SAMA focuses on Islamic banking product, and fixed the lacks of regulations of the related laws.

Keywords: Saudi Arabian monetary agency, comparative study, banking control law 1966, the bank of England

Procedia PDF Downloads 356

Authors: Noemi Schneider, Richard Blaese, Pietro Morandi, Brigitte Liebig

Abstract:

While women are increasingly frequent among the founders of innovative companies and advanced researchers in many university research institutes today, they are still an exception among initiators of research-based spin-offs. This also applies to countries such as Switzerland, which does have a leading position in international innovation rankings. Starting from a gender-sensitive neo-institutionalist perspective, this paper examines formal and non-formal institutional framework conditions for academic spin-offs at Swiss universities of applied sciences. This field, which stresses vocational education and practice-oriented research, seems to conserve the gender gap in the area of establishing research-based spin-offs spin-off rates strongly. The analysis starts from a survey conducted in 2017 and 2018 at all seven public universities of applied sciences in Switzerland as well as on an evaluation of expert interviews performed with heads of start-up centers, where also spin-offs from universities of applied sciences get support. The results show the mechanisms, which contribute to gender gaps in academic entrepreneurship in higher education. University's female employees have hardly been discovered as target groups. Thus, only 10.5% of universities of applied sciences offer specific support measures for women in academia. And only 1 out of 7 universities of applied sciences offer mentoring programs for female entrepreneurs while in addition there are no financial resources available to support female founders in academia. Moreover, the awareness of the gender gap in academic entrepreneurship is low among founding commissioners. A consistent transfer strategy might be key for bringing in line the formal and non-formal preconditions relevant for the formation of research-based spin-offs and for providing an effective incentive structure to promote women.

Keywords: gender, science-based spin-off, universities of applied sciences, knowledge transfer strategy

Procedia PDF Downloads 126

Authors: Khalid Hassan Abdesamed, Kalsom Abd Wahab

Abstract:

Economic development and growth are significantly linked to the consistent and sustainable sector of small and medium enterprises (SMEs). Banks are the frontrunners in financing and advising SMEs. The main objective of the study is to assess the tendency of SMEs to use the Islamic bank. Model was developed using quantitative method with a hypothetical-deductive testing approach. Model (N = 364) used primary data on the tendency of SMEs to use Islamic banks gathered from questionnaire. It is found by Mann-Whitney test that the tendency to use Islamic bank varies between those firms which consider formal financing with the ones relying on informal financing with the latter tends more to use Islamic bank. This study can serve academic researchers, policy makers, and developing countries as a model of SMEs’ desirability to Islamic banking.

Keywords: formal financing, informal financing, Islamic bank, SMEs

Procedia PDF Downloads 330

Authors: Adenike Akinrotimi

Abstract:

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

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

Procedia PDF Downloads 369

Authors: Muhammad Zeeshan

Abstract:

This case study is about a 54 years man named Mr. U, referred to Capital Hospital, Islamabad, with the presenting complaints of Generalized Anxiety Disorder (GAD). Contrary to his complaints, the client reported psychological symptoms such as restlessness, low mood and fear of darkness and fear from closed places from the last 30 days. He also had a fear of death and his existence in the grave. His sleep was also disturbed due to excessive urination due to diabetes. He was also suffering from semantic symptoms such as headache, numbness of feet and pain in the chest and blockage of the nose. A complete history was taken and informal assessment (clinical interview and MSE) and formal testing (BAI) was applied that showed the clear diagnosis of Generalized Anxiety Disorder. CBT, relaxation techniques, prayer chart and behavioural techniques were applied for the treatment purposes.

Keywords: generalized anxiety disorder, presenting complaints, formal and informal assessment, diagnosis

Procedia PDF Downloads 255

Authors: Asghar Ali, Narjis Khatoon

Abstract:

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

Keywords: wage differentials, formal, informal, economic growth

Procedia PDF Downloads 165

Authors: Lola Rosalia Saavedra Guzman, Plamen Neytchev Netchev

Abstract:

In general, agnosticism is perceived as an uncertainty between a well-structured (religious) belief (in some Christian or pagan deity) and its absolute and total absence, often causing the suspicion that an agnostic is an atheist, which is "reinsured" in case if their personal belief is wrong. All of this, along with the prevailing view among the naturalists that science has already demonstrated the inexistence of God, has compelled us to seek the foundation of agnosticism and faith in the contemporary formal human logic, advanced mathematics, and the natural sciences. Along the way, we will find that no natural science can demonstrate the existence of God, nor could it discard it for rational considerations, which show that there is something beyond. After all, it seems that the human intellect is insufficient to respond surely with yes or no to the existence of higher intelligences leaving unconditional faith as the only path to God for Christians and transcendent techniques, for pagan religious beliefs.

Keywords: agnosticism, formal logic, axioms and postulates, Gödel theorems, and logical faults

Procedia PDF Downloads 172

Authors: Bahia Braktia, S. Anna Marcela Montenegro, Imene Abdessemed

Abstract:

Adult education is still considered a crucial area of education. In a developing framework, it is regarded as a practical approach for social inclusion and poverty reduction. They are also perceived as a way to serve adults who did not have the chance to education in their early ages by providing them knowledge, skills and values. Non-formal adult education and trainings are critical means in a society to break poverty and unemployment, and to decrease the social inequality. This paper investigates the perception of women trainees about a series of workshops in natural beauty products, held in Algeria and Costa Rica and organized by a non-profit educational organization, to improve their socio-economic status. This research seeks to explore ways of empowering women by assessing their needs and providing them with skills to start their own business. A questionnaire is administered before the workshops and focus groups are held at the end. A qualitative research method is employed to analyze the data. Preliminary results show that the trainees aspire to create their businesses with the objectives of poverty reduction and social inclusion. The findings also reveal the need for small business funding programs and entrepreneurial training programs.

Keywords: adult education, non-formal education, socio-economic status, women empowerment

Procedia PDF Downloads 185

Authors: Xinyu Gong, Zhilin Li, Xintao Liu

Abstract:

Maps are a means of communication. Cartographic language involves established theories of natural language for understanding maps. “Cartographic words’, or “map symbols”, are crucial elements of cartographic language. Personalized mapping is increasingly popular, with growing demands for customized map-making by the general public. Automated symbol-making and customization play a key role in personalized mapping. However, formal representations for the automated construction of map symbols are still lacking. In natural language, the process of word and sentence construction can be formalized. Through the analogy between natural language and graphical language, formal representations of natural language construction can be used as a reference for constructing cartographic language. We selected Chinese character structures (i.e., S

Keywords: personalized mapping, Chinese character, cartographic language, map symbols

Procedia PDF Downloads 141

Authors: Sulaiman Kassim Ibrahim

Abstract:

Human Resource is one of the most important elements in any country. They are very important in actualizing the potential of every sector in the country, i.e Agric, Education, Finance, Judiciary and all formal and informal sectors. The purpose of this study is to investigate the loss of human resource in Nigeria through street begging. The study used intensive literature review. Finding from the review indicate that a significant number of human resource are into street begging in the country undeveloped and untapped. The paper recommend that policy should be initiated to discourage street begging, develop this resource through education and empowerment, stop rural-urban migration by providing infrastructure in the rural areas and abolish informal (Almajiri or beggars school) and transform it into formal school.

Keywords: human resource, street begging, Nigeria, Almajiri

Procedia PDF Downloads 218

Authors: G. Erkomaishvili

Abstract:

This paper discusses small entrepreneurship development strategy in Georgia and the tools and regulations that will encourage development of small entrepreneurship. The current situation in the small entrepreneurship sector, as well as factors affecting growth and decline in the sector and the priorities of state support, are studied and analyzed. The objective of this research is to assess the current situation of the sector to highlight opportunities and reveal the gaps. State support of small entrepreneurship should become a key priority in the country’s economic policy, as development of the sector will ensure social, economic and political stability. Based on the research, a small entrepreneurship development strategy is presented; corresponding conclusions are made and recommendations are developed.

Keywords: economic policy for small entrepreneurship development, small entrepreneurship, regulations, small entrepreneurship development strategy

Procedia PDF Downloads 448

Authors: Imtisal-e-Noor, Andrew Martin, Olli Dahl

Abstract:

Chemical Mechanical Polishing (CMP) has developed as a chosen planarization technique in nano-electronics industries for fabrication of the integrated circuits (ICs). These CMP processes release a huge amount of wastewater that contains oxides of nano-particles (silica, alumina, and ceria) and oxalic acid. Since, this wastewater has high solid content (TS), chemical oxygen demand (COD), and turbidity (NTU); therefore, in order to fulfill the environmental regulations, it needs to be treated up to the local and international standards. The present study proposed a unique CMP wastewater treatment method called Membrane Distillation (MD). MD is a non-isothermal membrane separation process, which allows only volatiles, i.e., water vapors to permeate through the membrane and provides 100% contaminants rejection. The performance of the MD technology is analyzed in terms of total organic carbon (TOC), turbidity, TS, COD, and residual oxide concentration in permeate/distilled water while considering different operating conditions (temperature, flow rate, and time). The results present that high-quality permeate has been recovered after removing 99% of the oxide particles and oxalic acid. The distilled water depicts turbidity < 1 NTU, TOC < 3 mg/L, TS < 50 mg/L, and COD < 100 mg/L. These findings clearly show that the MD treated water can be reused further in industrial processes or allowable to discharge in any water body under the stringent environmental regulations.

Keywords: chemical mechanical polishing, environmental regulations, membrane distillation, wastewater treatment

Procedia PDF Downloads 131

Authors: Mohsin Javed

Abstract:

School Education department is usually criticized for utilizing quite low or fewer academic days due to many reasons like extreme weather conditions, sudden holidays, summer vocations, pandemics and, terrorism etc. The purpose of the experimental study was to determine the efficacy of online cooperative learning (OCL) integrated in the rotation model of blended learning. The effects on academic achievement of students and students' attitude about OCL embedded learning were assessed. By using a posttest only control group design, sixty-two first-year students were randomly allocated to either the experimental (30) or control (32) group. The control group received face to face classes for six sessions per week, while the experimental group had three OCL and three formal sessions per week under rotation model. Students' perceptions of OCL were evaluated using a survey questionnaire. Data was analyzed by independent sample t test and one sample t test. According to findings, the intervention greatly improved the state of the dependent variables. The results demonstrate that OCL can be successfully implemented in formal education using a blended learning rotation approach. Higher secondary institutions are advised to use this model in situations like Covid 19, smog, unexpected holidays, instructor absence from class due to increased responsibilities, and summer vacations.

Keywords: blended learning, online cooperative learning, rotation model of blended learning, supplementing

Procedia PDF Downloads 36

Authors: Wakkai Hosanna Hussaini

Abstract:

A formal structure of the English clause is composed of at least two elements – subject and verb, in structural grammar and at least one element – predicate, in systemic (functional) and generative grammars. Each of the elements can be represented by a word or group (of words). In modern English structure, very often speakers merge two words as one with the use of an apostrophe. Each of the two words can come from different elements or belong to the same element. In either case, result of the merger is called contraction. Although contractions constitute a part of modern English structure, they are considered informal in nature (more frequently used in spoken than written English) that is why they were initially viewed as constituting an evidence of language deterioration. To our knowledge, no formal syntactic theory yet has been particular on the contractions because of its deviation from the formal rules of syntax that seek to identify the elements that form a clause in English. The inconsistency between the formal rules and a contraction is established when two words representing two elements in a non-contraction are merged as one element to form a contraction. Thus the paper presents the various syntactic issues as effects arising from converting non-contracted to contracted forms. It categorizes English contractions and describes each category according to its syntactic relations (position and relationship) and morphological formation (form and content) as integral part of modern structure of English. This is a position paper as such the methodology is observational, descriptive and explanatory/analytical based on existing related literature. The inventory of English contractions contained in books on syntax forms the data from where specific examples are drawn. It is noted as conclusion that the existing syntactic theories were not originally established to account for English contractions. The paper, when published, will further expose the inadequacies of the existing syntactic theories by giving more reasons for the establishment of a more comprehensive syntactic theory for analyzing English clause/sentence structure involving contractions. The method used reveals the extent of the inadequacies in applying the three major syntactic theories: structural, systemic (functional) and generative, on the English contractions. Although no theory is without scope, shying away from the three major theories from recognizing the English contractions need to be broken because of the increasing popularity of its use in modern English structure. The paper, therefore, recommends that as use of contraction gains more popular even in formal speeches today, there is need to establish a syntactic theory to handle its patterns of syntactic relations and morphological formation.

Keywords: application, effects, English contractions, syntactic theories

Procedia PDF Downloads 228

Authors: S. Srednyak

Abstract:

We study a class of functional partial differential equations(FPDEs). This class is suggested by Quantum Field Theory. We derive general properties of solutions to such equations. In particular, we demonstrate that they lead to systems of coupled integral equations with singular kernels. We show that solutions to such hierarchies can be sought among functions with regular singularities at a countable set of subvarieties of the physical space. We also develop a formal analogy of basic constructions of differential geometry on functional manifolds, as this is necessary for in depth study of FPDEs. We also consider the case of linear overdetermined systems of functional differential equations and show that it can be completely solved in terms of formal solutions of a functional equation that is a functional analogy of a system of determined algebraic equations. This development leads us to formally define the functional analogy of algebraic geometry, which we call functional algebraic geometry. We study basic properties of functional algebraic varieties. In particular, we investigate the case of a formally discrete set of solutions. We also define and study functional analogy of discriminants. In the case of fully determined systems such that the defining functionals have regular singularities, we demonstrate that formal solutions can be sought in the class of functions with regular singularities. This case provides a practical way to apply our results to physics problems.

Keywords: functional equations, quantum field theory, holomorphic functions, Yang Mills mass gap problem, quantum chaos

Procedia PDF Downloads 40

Authors: Jeansou Moun

Abstract:

This study argues that constructivism and structuralism, which have been the two important schools of mathematical philosophy since the mid-19th century, can and should be synthesized into structure-constructivism. In fact, the philosophy of mathematics is divided into more than ten schools depending on the point of view. However, the biggest trend is Platonism which claims that mathematical objects are "abstract entities" that exists independently of the human mind and material objects. Its opposite is constructivism. According to the latter, mathematical objects are products of the construction of the human mind. However, whether the basis of the construction is a logical device, a symbolic system, or an empirical perception, it is subdivided into logicism, formalism, and intuitionism. However, these three schools themselves are further subdivided into various variants, and among them, structuralism, which emerged in the mid-20th century, is receiving the most attention. On the other hand, structuralism which emphasizes structure instead of individual objects, is divided into non-eliminative structuralism, which supports the a priori of structure, and non-eliminative structuralism, which rejects any abstract entity. In this context, it is believed that the structure itself is not an a priori entity but a result of the construction of the cognitive subject and that no object has ever been given to us in its full meaning from the outset. In other words, concepts are progressively structured through a dialectical cycle between sensory perception, imagination (abstraction), concepts, judgments, and reasoning. Symbols are needed for formal operation. However, without concrete manipulation, the formal operation cannot have any meaning. However, when formal structurization is achieved, the reality (object) itself is also newly structured. This is the "structure-constructivism".

Keywords: philosophy of mathematics, platonism, logicism, formalism, constructivism, structuralism, structure-constructivism

Procedia PDF Downloads 75

Authors: M. Peña Aguilar Juan, Ríos Hernández Ezequiel, R. Valencia Luis

Abstract:

For certification, certain goods of public interest, such as medicines and food, it is required the preparation and delivery of a dossier. For its elaboration, legal and administrative knowledge must be taken, as well as organization of the documents of the process, and an order that allows the file verification. Therefore, a virtual platform was developed to support the process of management and elaboration of the dossier, providing accessibility to the information and interfaces that allow the user to know the status of projects. The development of dossier system on the cloud allows the inclusion of the technical requirements for the software management, including the validation and the manufacturing in the field industry. The platform guides and facilitates the dossier elaboration (report, file or history), considering Mexican legislation and regulations, it also has auxiliary tools for its management. This technological alternative provides organization support for documents and accessibility to the information required to specify the successful development of a dossier. The platform divides into the following modules: System control, catalog, dossier and enterprise management. The modules are designed per the structure required in a dossier in those areas. However, the structure allows for flexibility, as its goal is to become a tool that facilitates and does not obstruct processes. The architecture and development of the software allows flexibility for future work expansion to other fields, this would imply feeding the system with new regulations.

Keywords: electronic dossier, cloud management software, pharmaceutical industry, sanitary registration

Procedia PDF Downloads 267

Authors: Lesley Metibogun, Regan Potangaroa

Abstract:

Some existing sustainable public libraries in New Zealand now depend on air conditioning system for cooling. This seems completely contradictory to sustainable building initiatives. A sustainable building should be ‘self- sufficient’ and must aim at optimising the use of natural ventilation, wind and daylight and avoiding too much summer heat penetration into the building, to save energy consumption and enhance occupants’ comfort. This paper demonstrates that with appropriate architectural passive design input public libraries do not require air conditioning. Following a brief outline of how our dependence on air conditioning has spread over the full range of building types and climatic zones, this paper focuses on public libraries in temperate climates where passive cooling should be feasible for long periods of mild outside temperature. It was found that current design policies, regulations and guidelines and current building design practices militate passive cooling strategies. Perceived association with prestige, inflexibility of design process, rigid planning regulations and sustainability rating systems were identified as key factors forcing the need for air conditioning. Recommendations are made on how to further encourage development in this direction from the perspective of architectural design. This paper highlights how architectural passive cooling design strategies should be implemented in government initiated policies and regulations to develop a more sustainable public libraries.

Keywords: public library, sustainable design, temperate climate, passive cooling, air conditioning

Procedia PDF Downloads 222

Authors: Nadia Adnan, Muhammad Mohsin Raza, Latha Ravindran

Abstract:

Based on the principles above, the study presents an economic model of food waste for consumers, intermediaries, and producers. We discriminate between purchasing and selling, purchases versus customers consumption, and gross output versus sales for each intermediary. To compensate for waste at each level of the supply chain, agents must charge higher sales prices. The research model can produce more accurate predictions about how actions (public regulations or private efforts) to reduce food waste impact markets, including indirect (cascading) effects. With a formal model, researchers demonstrate the uniqueness of these interaction effects and simulate an empirical model calibrated to market characteristics and waste rates in Saudi Arabia. Researchers demonstrate that the effects of waste reduction differ per commodity, depending on supply and demand elasticities, degree of openness to international commerce, and the beginning rates of food loss and waste at each level of the value chain. Because of the consequential effects related to the supply chain, initiatives to minimize food waste will be strengthened in some circumstances and partially countered in others.

Keywords: food loss, food waste, supply chain management, Saudi Arabia, food supply

Procedia PDF Downloads 74

Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan

Abstract:

Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.

Keywords: formal approach, type theory, Linux Kernel, software program

Procedia PDF Downloads 96

Authors: Rafael Dias Silva

Abstract:

The school is a social institution that should promote learning situations that remain throughout life. Based on this, the teaching activities promoted in museum spaces can represent an educational strategy that contributes to the learning process in a more meaningful way. This article systematizes a series of elements that guide the use of these spaces for the scientific literacy of deaf students and as experiences of this nature are favorable for the school development through the concept of the circularity. The methodology for the didactic use of these spaces of non-formal education is one of the reflections developed in this study and how such environments can contribute to the learning in the classroom. To develop in the student the idea of ​​association making him create connections with the curricular proposal and notice how the proposed activity is articulated. It is in our interest that the experience lived in the museum be shared collaborating for the construction of a scientific literacy and cultural identity through the research.

Keywords: accessibility in museums, Brazilian sign language, deaf students, teacher training

Procedia PDF Downloads 212

Authors: Sahar Fahmy Mehanna

Abstract:

Wild fisheries and aquaculture offer excellent opportunities to decrease hunger and improve nutrition, relieve poverty, create economic growth and guarantee healthier use of natural resources. Employment in fisheries and aquaculture has grown continuously quicker than in the agriculture sector, providing up to 55 million jobs worldwide. Fisheries and aquaculture supplied Egypt with 2.1 million tons of fish in 2021, mostly used as food for people. Fish production in Egypt has grown dramatically in the last three decades, where fish production increased from about 346 thousand tons in 1990 to up to 2.1 million tons in 2021. In contrast to natural resources, which increased by only 30% in the period from 1990 to 2021, aquaculture production increased by 2502% during the same period. The majority of wild fisheries production in Egypt arises from coastal areas, where pollution is one of the main challenges severely affected both the productivity and quality of fish stocks. Our marine resources are at the risk of irreversible loss to habitats, ecological functions, and biodiversity because of overfishing, pollution, destructive fishing methods, climatic changes, unsustainable coastal area development and the competing demands from different industrial uses and human activities. Illegal, Unreported and Unregulated (IUU) Fishing continues to be a big challenge to achieve sustainable fisheries. Furthermore, poor governance, management and practices are a further challenge. Reducing overfishing, stimulating responsible and sustainable fisheries management, applying aquaculture new and friendly practices and conserving the marine environment health are among the government’s best opportunities to provide highly nutritious food to the increasing population in Egypt. The present presentation will discuss the fishery regulations in the Egyptian marine fisheries that taken to maintain, protect and promote the different Egyptian marine environments and to what extent these regulations were effective.

Keywords: egypt, marine fisheries, fishery regulations, fisheries management, Marine ecosystem conservation

Procedia PDF Downloads 48