Search results for: decision making support systems
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 19623

Search results for: decision making support systems

4173 Harmonics and Flicker Levels at Substation

Authors: Ali Borhani Manesh, Sirus Mohammadi

Abstract:

Harmonic distortion is caused by nonlinear devices in the power system. A nonlinear device is one in which the current is not proportional to the applied voltage. Harmonic distortion is present to some degree on all power systems. Proactive monitoring of power quality disturbance levels by electricity utilities is vital to allow cost-effective mitigation when disturbances are perceived to be approaching planning levels and also to protect the security of customer installations. Ensuring that disturbance levels are within limits at the HV and EHV points of supply of the network is essential if satisfactory levels downstream are to be maintained. This paper presents discussion on a power quality monitoring campaign performed at the sub-transmission point of supply of a distribution network with the objective of benchmarking background disturbance levels prior to modifications to the substation and to ensure emissions from HV customers and the downstream MV networks are within acceptable levels. Some discussion on the difficulties involved in such a study is presented. This paper presents a survey of voltage and current harmonic distortion levels at transmission system in Kohgiloye and Boyrahmad. The effects of harmonics on capacitors and power transformers are discussed.

Keywords: power quality, harmonics, flicker, measurement, substation

Procedia PDF Downloads 674
4172 The Implementation of the European Landscape Convention in Turkey: Opportunities and Constraints

Authors: Tutku Ak, Abdullah Kelkit, Cihad Öztürk

Abstract:

An increase has been witnessed with the number of multinational environmental agreements in the past decade, particularly in Europe. Success with implementation, however, shows variation. While many countries are willing to join these agreements, they do not always fully honor their obligations to put their commitments into practice. One reason for this is that countries have different legal and administrative systems. One example of an international multilateral environmental agreement is the European Landscape Convention (ELC). ELC expresses a concern to achieve sustainable development based on a balanced and harmonious relationship between social needs, economic activity, and the environment. Member states are required to implement the convention in accordance with their own administrative structure, respecting subsidiarity. In particular, the importance of cooperation in the protection, management, and planning of the resources is expressed through the convention. In this paper, it is intended to give a broad view of ELC’s implementation process in Turkey and what factors have influenced by the process. Under this context, the paper will focus on the objectives of the convention for addressing the issue of the loss of European landscapes, and the justification and tools used to accomplish these objectives. The degree to which these objectives have been implemented in Turkey and the opportunities and constraints that have been faced during this process have been discussed.

Keywords: European landscape convention, implementation, multinational environmental agreements, policy tools

Procedia PDF Downloads 279
4171 Electroencephalography-Based Intention Recognition and Consensus Assessment during Emergency Response

Authors: Siyao Zhu, Yifang Xu

Abstract:

After natural and man-made disasters, robots can bypass the danger, expedite the search, and acquire unprecedented situational awareness to design rescue plans. The hands-free requirement from the first responders excludes the use of tedious manual control and operation. In unknown, unstructured, and obstructed environments, natural-language-based supervision is not amenable for first responders to formulate, and is difficult for robots to understand. Brain-computer interface is a promising option to overcome the limitations. This study aims to test the feasibility of using electroencephalography (EEG) signals to decode human intentions and detect the level of consensus on robot-provided information. EEG signals were classified using machine-learning and deep-learning methods to discriminate search intentions and agreement perceptions. The results show that the average classification accuracy for intention recognition and consensus assessment is 67% and 72%, respectively, proving the potential of incorporating recognizable users’ bioelectrical responses into advanced robot-assisted systems for emergency response.

Keywords: consensus assessment, electroencephalogram, emergency response, human-robot collaboration, intention recognition, search and rescue

Procedia PDF Downloads 66
4170 Informal Economy: Case Study of Street Vendors in Bangkok

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 259
4169 Mechanical and Thermal Characterization of Washout Tooling for Resin Transfer Molding

Authors: Zachary N. Wing

Abstract:

Compared to autoclave based processes, Resin Transfer Molding (RTM) offers several key advantages. This includes high internal and external complexity, less waste, lower volatile emissions, higher production rates, and excellent surface finish. However, the injection of high pressure-high temperature resin presents a tooling challenge in cases where trapped geometries exist. Tooling materials that can sustain these conditions and be easily removed would expand the use of RTM. We have performed research on developing an RTM suitable tooling material called 'RTMCore' for use in forming trapped geometries. RTMCore tooling materials can withstand the injection of high temperature-high pressure resin but be easily removed with tap water. RTM properties and performance capabilities are reviewed against other washout systems. Our research will cover the preliminary characterization of tooling system properties, mechanical behavior, and initial results from an RTM manufacturing trial. Preliminary results show the material can sustain pressures greater than 13 MPa and temperatures greater than 150°C.

Keywords: RTM, resin transfer molding, trapped geometries, washout tooling

Procedia PDF Downloads 137
4168 Structural and Optical Properties of Ce3+ Doped YPO4: Nanophosphors Synthesis by Sol Gel Method

Authors: B. Kahouadji, L. Guerbous, L. Lamiri, A. Mendoud

Abstract:

Recently, nanomaterials are developed in the form of nano-films, nano-crystals and nano-pores. Lanthanide phosphates as a material find extensive application as laser, ceramic, sensor, phosphor, and also in optoelectronics, medical and biological labels, solar cells and light sources. Among the different kinds of rare-earth orthophosphates, yttrium orthophosphate has been shown to be an efficient host lattice for rare earth activator ions, which have become a research focus because of their important role in the field of light display systems, lasers, and optoelectronic devices. It is in this context that the 4fn- « 4fn-1 5d transitions of rare earth in insulating materials, lying in the UV and VUV, are the aim of large number of studies .Though there has been a few reports on Eu3+, Nd3+, Pr3+,Er3+, Ce3+, Tm3+ doped YPO4. The 4fn- « 4fn-1 5d transitions of the rare earth dependent to the host-matrix, several matrices ions were used to study these transitions, in this work we are suggesting to study on a very specific class of inorganic material that are orthophosphate doped with rare earth ions. This study focused on the effect of Ce3+ concentration on the structural and optical properties of Ce3+ doped YPO4 yttrium orthophosphate with powder form prepared by the Sol Gel method.

Keywords: YPO4, Ce3+, 4fn- <->4fn-1 5d transitions, scintillator

Procedia PDF Downloads 322
4167 Synthesis and Magnetic Properties of Six-Lines Ferrihydrite Nanoparticles

Authors: Chandni Rani, S. D. Tiwari

Abstract:

Ferrihydrite is one of the distinct minerals in the family of oxides, hydroxides and oxyhydroxides of iron. It is a nanocrystalline material. It occurs naturally in different sediments, soil systems and also found in the core of ferritin, an iron storage protien. This material can also be synthesized by suitable chemical methods in laboratories. This is known as less crystalline Iron (III) Oxyhydroxide. Due to its poor crystallinity, there are very broad peaks in x-ray diffraction. Depending on the number of peaks in x-ray diffraction pattern, it is classified as two lines and six lines ferrihydrite. The average crystallite size for these two forms is found to be about 2nm to 5nm. The exact crystal structure of this system is still under debate. Out of these two forms, the six lines ferrihydrite is more ordered in comparison to two lines ferrihydrite. The magnetic behavior of two lines ferrihydrite nanoparticles is somewhat well studied. But the magnetic behavior of six lines ferrihydrite nanoparticles could not attract the attention of researchers much. This motivated us to work on the magnetic properties of six lines ferrihydrite nanoparticles. In this work, we present synthesis, structural characterization and magnetic behavior of 5 nm six lines ferrihydrite nanoparticles. X-ray diffraction and transmission electron microscope are used for structural characterization of this system. Magnetization measurements are performed to fit the data at different temperatures. Then the effect of magnetic moment distribution is also found. All these observations are discussed in detail.

Keywords: nanoparticles, magnetism, superparamagnetism, magnetic anisotropy

Procedia PDF Downloads 314
4166 'Light up for All': Building Knowledge on Universal Design through Direct User Contact in Design Workshops

Authors: E. Ielegems, J. Herssens, J. Vanrie

Abstract:

Designers require knowledge and data about a diversity of users throughout the design process to create inclusive design solutions which are usable, understandable and desirable by everyone. Besides understanding users’ needs and expectations, the ways in which users perceive and experience the built environment contain valuable knowledge for architects. Since users’ perceptions and experiences are mainly tacit by nature, they are much more difficult to express in words and therefore more difficult to externalise. Nevertheless, literature confirms the importance of articulating embodied knowledge from users throughout the design process. Hence, more insight is needed into the ways architects can build knowledge on Universal Design through direct user contact. In a project called ‘light up for all’ architecture students are asked to design a light switch and socket, elegant, usable and understandable to the greatest extent possible by everyone. Two workshops with user/experts are organised in the first stages of the design process in which students could gain insight into users’ experiences through direct contact. Three data collection techniques are used to analyse the teams’ design processes. First, students were asked to keep a design diary, reporting design activities, personal experiences, and thoughts about users throughout the design process. Second, one of the authors observed workshops taking field notes. Finally, focus groups are conducted with the design teams after the design process was finished. By means of analysing collected qualitative data, we first identify different design aspects that make the teams’ proposals more inclusive than standard design solutions. For this paper, we specifically focus on aspects that externalise embodied user knowledge from users’ experiences. Subsequently, we look at designers’ approaches to learn about these specific aspects throughout the design process. Results show that in some situations, designers perceive contradicting knowledge between observations and verbal conversations, which shows the value of direct user contact. Additionally, findings give indications on values and limitations of working with selected prototypes as ‘boundary objects’ when externalising users’ experiences. These insights may help researchers to better understand designers’ process of eliciting embodied user knowledge. This way, research can offer more effective support to architects, which may result in better incorporating users’ experiences so that the built environment gradually can become more inclusive for all.

Keywords: universal design, architecture, design process, embodied user knowledge

Procedia PDF Downloads 117
4165 Portrayal of Kolkata(the former capital of India) in the ‘Kolkata Trilogy’- A Comparative Study of the Films by Mrinal Sen and Satyajit Ray

Authors: Ronit Chakraborty

Abstract:

Kolkata, formerly known as Calcutta, is the capital of West Bengal state and the former capital of India (1722-1911) of British India. Located at the heart of Hugli river (one of the main channels of Ganges river), the city is the heart of the state, which forms a base for commerce, transport and manufacture. The large and vibrant city thrives amidst the economic, social and political issues arising from the pages of history to the contemporary times. The unique nature, grandeurs, public debates on tea-stalls and obviously the charismatic scenic beauty and heritage keep the city to be criticized in all horizons, across the world. Movies in India are a big source of knowledge, which can be used as a powerful tool for political mobilization and to indirectly communicate with voters since cinema can be used as a tool of propaganda as it has a wide range of public interests. History proves the fact that films produced in India have been apt enough in making public interests be deeply portrayed through their content in a versatile manner. Such is the portrayal of India’s first capital, Kolkata and its ultimate truth being organizingly laid over by the trilogy of two international fame directors-Mrinal Sen and Satyajit Ray, through their ‘magnum opus- the ‘Kolkata trilogy’. Mrinal Sen’s Interview(1971), Calcutta 71(1972), Padatik(The Guerilla Fighter)(1973) and Satyajit Ray’s Pratidwandi (The Adversary)(1970), Seemabaddha(Company Limited)(1971), Jana Aranya(1976). These films picturized the contemporary Kolkata trends, issues and crises arising amidst the political set-up both by the positive and negative variables attributing to the day-to-day happenings of the city. The movies have been set amidst the turmoil that the nation was going through during Indira Gandhi’s declaration of Emergency, resulting from the general sense of disillusionment that prevailed during that time. Ray wasn't affiliated to any political party and his films largely contributed towards the contemporary conditions prevailing in the society. Mrinal Sen, being a Marxist was in constant search of the bitter truth that the society had to offer through his lens under the prevailing darkness through his trilogy. The research paper attempts to widely view and draw a comparative study of the overall description of the city of Kolkata as portrayed by Sen and Ray in their respective trilogies. By the usage of the visual content analysis method, the researcher has explored the six movies; both the trilogies of Mrinal Sen and Satyajit Ray and tried to analyse the differences as well as the similarities pertaining to understand India’s first capital city Kolkata in various dimensions along with its circumference.

Keywords: Kolkata, trilogy, Satyajit Ray, Mrinal Sen, films, comparative study

Procedia PDF Downloads 236
4164 Impact of Belongingness, Relational Communication, Religiosity and Screen Time of College Student Levels of Anxiety

Authors: Cherri Kelly Seese, Renee Bourdeaux, Sarah Drivdahl

Abstract:

Emergent adults in the United States are currently experiencing high levels of anxiety. It is imperative to uncover insulating factors which mitigate the impact of anxiety. This study aims to explore how constructs such as belongingness, relational communication, screen time and religiosity impact anxiety levels of emerging adults. Approximately 250 college students from a small, private university on the West Coast were given an online assessment that included: the General Belongingness Scale, Relational Communication Scale, Duke University Religion Index (DUREL), a survey of screen time, and the Beck Anxiety Inventory. A MANOVA statistical test was conducted by assessing the effects of multiple dependent variables (scores on GBS, RCS, self-reported screen time and DUREL) on the four different levels of anxiety as measured on the BAI (minimal = 1, mild =2, moderate = 3, or severe = 4). Results indicated a significant relationship between one’s sense of belonging and one’s reported level of anxiety. These findings have implications for systems, like universities, churches, and corporations that want to improve young adults’ level of anxiety.

Keywords: anxiety, belongingness, relational communication, religiosity, screen time

Procedia PDF Downloads 155
4163 JENOSYS: Application of a Web-Based Online Energy Performance Reporting Tool for Government Buildings in Malaysia

Authors: Norhayati Mat Wajid, Abdul Murad Zainal Abidin, Faiz Fadzil, Mohd Yusof Aizad Mukhtar

Abstract:

One of the areas that present an opportunity to reduce the national carbon emission is the energy management of public buildings. To our present knowledge, there is no easy-to-use and centralized mechanism that enables the government to monitor the overall energy performance, as well as the carbon footprint, of Malaysia’s public buildings. Therefore, the Public Works Department Malaysia, or PWD, has developed a web-based energy performance reporting tool called JENOSYS (JKR Energy Online System), which incorporates a database of utility account numbers acquired from the utility service provider for analysis and reporting. For test case purposes, 23 buildings under PWD were selected and monitored for their monthly energy performance (in kWh), carbon emission reduction (in tCO₂eq) and utility cost (in MYR), against the baseline. This paper demonstrates the simplicity with which buildings without energy metering can be monitored centrally and the benefits that can be accrued by the government in terms of building energy disclosure and concludes with the recommendation of expanding the system to all the public buildings in Malaysia.

Keywords: energy-efficient buildings, energy management systems, government buildings, JENOSYS

Procedia PDF Downloads 148
4162 Cost Comparison between R.C.C. Structures and Composite Columns Structures

Authors: Assad Rashid, Umair Ahmed, Zafar Baig

Abstract:

A new trend in construction is widely influenced by the use of Steel-Concrete Composite Columns. The rapid growth in Steel-Concrete Composite construction has widely decreased the conventional R.C.C structures. Steel Concrete composite construction has obtained extensive receiving around the globe. It is considering the fact that R.C.C structures construction is most suitable and economical for low-rise construction, so it is used in farming systems in most of the buildings. However, increased dead load, span restriction, less stiffness and risky formwork make R.C.C construction uneconomical and not suitable when it comes to intermediate to high-rise buildings. A Base + Ground +11 storey commercial building was designed on ETABS 2017 and made a comparison between conventional R.C.C and encased composite column structure. After performing Equivalent Static non-linear analysis, it has been found that construction cost is 13.01% more than R.C.C structure but encased composite column building has 7.7% more floor area. This study will help in understanding the behavior of conventional R.C.C structure and Encased Composite column structure.

Keywords: composite columns structure, equivalent static non-linear analysis, comparison between R.C.C and encased composite column structures, cost-effective structure

Procedia PDF Downloads 173
4161 Strengthening Reinforced Concrete Beams Using Carbon Fibre Reinforced Polymer Strips

Authors: Mina Iskander, Mina Melad, Mourad Yasser, Waleed Abdel Rahim, Amr Mosa, Mohamed El Lahamy, Ezzeldin Sayed-Ahmed, Mohamed Abou-Zeid

Abstract:

Strengthening of reinforced concrete beams in flexure using externally bonded composite laminate of high tensile strength is easy and of the minimum cost compared to traditional methods such as increasing the concrete section depth or reinforcement that requires formwork and curing which affect the structure usability. One of the main limitations of this technique is debonding of the externally bonded laminate, either by end delamination or by mid-span flexural crack-induced debonding. ACI 440.2-08 suggests that using side-bonded FRP laminate in the flexural strengthening of RC beams may serve to limit the extent and width of flexural cracks. Consequently, this technique may decrease the effect of flexural cracks on initiating the mid-span debonding; i.e. delays the flexural crack-induced debonding. Furthermore, bonding the FRP strips to the side of the beam may offer an attractive, practical solution when the soffit of this beam is not accessible. This paper presents an experimental programme designed to investigate the effect of using externally bonded CFRP laminate on the sides of reinforced concrete beams and compares the results to those of bonding the CFRP laminate to the soffit of the beams. In addition, the paper discusses the effect of using end anchorage by U-wrapping the CFRP strips at their end zones with CFRP sheets for beams strengthened with soffit-bonded and side-bonded CFRP strips. Thus, ten rectangular reinforced concrete beams were tested to failure in order to study the effect of changing the location of the externally bonded laminate on the flexural capacity and ductility of the strengthened beams. Pultruded CFRP strips were bonded to the soffit of the beams or their sides to check the possibility of limiting the flexural cracking in mid-span region, which is the main reason for mid-span debonding. Pre-peg CFRP sheets were used near the support as U-wrap for the beam to act as an end-anchorage for the externally bonded strips in order to delay/prevent the end delamination. Strength gains of 38% and 43% were recorded for the soffit-bonded and the side-bonded composite strips with end U-wrapped sheets, respectively. Furthermore, beams with end sheets applied as an end anchorage showed higher ductility than those without these sheets.

Keywords: flexural strengthening, externally bonded CFRP, side-bonded CFRP, CFRP laminates

Procedia PDF Downloads 336
4160 An Innovative Auditory Impulsed EEG and Neural Network Based Biometric Identification System

Authors: Ritesh Kumar, Gitanjali Chhetri, Mandira Bhatia, Mohit Mishra, Abhijith Bailur, Abhinav

Abstract:

The prevalence of the internet and technology in our day to day lives is creating more security issues than ever. The need for protecting and providing a secure access to private and business data has led to the development of many security systems. One of the potential solutions is to employ the bio-metric authentication technique. In this paper we present an innovative biometric authentication method that utilizes a person’s EEG signal, which is acquired in response to an auditory stimulus,and transferred wirelessly to a computer that has the necessary ANN algorithm-Multi layer perceptrol neural network because of is its ability to differentiate between information which is not linearly separable.In order to determine the weights of the hidden layer we use Gaussian random weight initialization. MLP utilizes a supervised learning technique called Back propagation for training the network. The complex algorithm used for EEG classification reduces the chances of intrusion into the protected public or private data.

Keywords: EEG signal, auditory evoked potential, biometrics, multilayer perceptron neural network, back propagation rule, Gaussian random weight initialization

Procedia PDF Downloads 366
4159 Establishing Forecasts Pointing Towards the Hungarian Energy Change Based on the Results of Local Municipal Renewable Energy Production and Energy Export

Authors: Balazs Kulcsar

Abstract:

Professional energy organizations perform analyses mainly on the global and national levels about the expected development of the share of renewables in electric power generation, heating, and cooling, as well as the transport sectors. There are just a few publications, research institutions, non-profit organizations, and national initiatives with a focus on studies in the individual towns, settlements. Issues concerning the self-supply of energy on the settlement level have not become too wide-spread. The goal of our energy geographic studies is to determine the share of local renewable energy sources in the settlement-based electricity supply across Hungary. The Hungarian energy supply system defines four categories based on the installed capacities of electric power generating units. From these categories, the theoretical annual electricity production of small-sized household power plants (SSHPP) featuring installed capacities under 50 kW and small power plants with under 0.5 MW capacities have been taken into consideration. In the above-mentioned power plant categories, the Hungarian Electricity Act has allowed the establishment of power plants primarily for the utilization of renewable energy sources since 2008. Though with certain restrictions, these small power plants utilizing renewable energies have the closest links to individual settlements and can be regarded as the achievements of the host settlements in the shift of energy use. Based on the 2017 data, we have ranked settlements to reflect the level of self-sufficiency in electricity production from renewable energy sources. The results show that the supply of all the energy demanded by settlements from local renewables is within reach now in small settlements, e.g., in the form of the small power plant categories discussed in the study, and is not at all impossible even in small towns and cities. In Hungary, 30 settlements produce more renewable electricity than their own annual electricity consumption. If these overproductive settlements export their excess electricity towards neighboring settlements, then full electricity supply can be realized on further 29 settlements from renewable sources by local small power plants. These results provide an opportunity for governmental planning of the realization of energy shift (legislative background, support system, environmental education), as well as framing developmental forecasts and scenarios until 2030.

Keywords: energy geography, Hungary, local small power plants, renewable energy sources, self-sufficiency settlements

Procedia PDF Downloads 132
4158 Robust Numerical Method for Singularly Perturbed Semilinear Boundary Value Problem with Nonlocal Boundary Condition

Authors: Habtamu Garoma Debela, Gemechis File Duressa

Abstract:

In this work, our primary interest is to provide ε-uniformly convergent numerical techniques for solving singularly perturbed semilinear boundary value problems with non-local boundary condition. These singular perturbation problems are described by differential equations in which the highest-order derivative is multiplied by an arbitrarily small parameter ε (say) known as singular perturbation parameter. This leads to the existence of boundary layers, which are basically narrow regions in the neighborhood of the boundary of the domain, where the gradient of the solution becomes steep as the perturbation parameter tends to zero. Due to the appearance of the layer phenomena, it is a challenging task to provide ε-uniform numerical methods. The term 'ε-uniform' refers to identify those numerical methods in which the approximate solution converges to the corresponding exact solution (measured to the supremum norm) independently with respect to the perturbation parameter ε. Thus, the purpose of this work is to develop, analyze, and improve the ε-uniform numerical methods for solving singularly perturbed problems. These methods are based on nonstandard fitted finite difference method. The basic idea behind the fitted operator, finite difference method, is to replace the denominator functions of the classical derivatives with positive functions derived in such a way that they capture some notable properties of the governing differential equation. A uniformly convergent numerical method is constructed via nonstandard fitted operator numerical method and numerical integration methods to solve the problem. The non-local boundary condition is treated using numerical integration techniques. Additionally, Richardson extrapolation technique, which improves the first-order accuracy of the standard scheme to second-order convergence, is applied for singularly perturbed convection-diffusion problems using the proposed numerical method. Maximum absolute errors and rates of convergence for different values of perturbation parameter and mesh sizes are tabulated for the numerical example considered. The method is shown to be ε-uniformly convergent. Finally, extensive numerical experiments are conducted which support all of our theoretical findings. A concise conclusion is provided at the end of this work.

Keywords: nonlocal boundary condition, nonstandard fitted operator, semilinear problem, singular perturbation, uniformly convergent

Procedia PDF Downloads 126
4157 Theory and Practice of Wavelets in Signal Processing

Authors: Jalal Karam

Abstract:

The methods of Fourier, Laplace, and Wavelet Transforms provide transfer functions and relationships between the input and the output signals in linear time invariant systems. This paper shows the equivalence among these three methods and in each case presenting an application of the appropriate (Fourier, Laplace or Wavelet) to the convolution theorem. In addition, it is shown that the same holds for a direct integration method. The Biorthogonal wavelets Bior3.5 and Bior3.9 are examined and the zeros distribution of their polynomials associated filters are located. This paper also presents the significance of utilizing wavelets as effective tools in processing speech signals for common multimedia applications in general, and for recognition and compression in particular. Theoretically and practically, wavelets have proved to be effective and competitive. The practical use of the Continuous Wavelet Transform (CWT) in processing and analysis of speech is then presented along with explanations of how the human ear can be thought of as a natural wavelet transformer of speech. This generates a variety of approaches for applying the (CWT) to many paradigms analysing speech, sound and music. For perception, the flexibility of implementation of this transform allows the construction of numerous scales and we include two of them. Results for speech recognition and speech compression are then included.

Keywords: continuous wavelet transform, biorthogonal wavelets, speech perception, recognition and compression

Procedia PDF Downloads 389
4156 Biosurfactant-Mediated Nanoparticle Synthesis by Bacillus subtilis

Authors: Satya Eswari Jujjavarapu, Swasti Dhagat, Lata Upadhyay, Reecha Sahu

Abstract:

Silver nanoparticles have a broad range of antimicrobial and antifungal properties ranging from soaps, pastes to sterilization and drug delivery systems. These can be synthesized by physical, chemical and biological methods; biological methods being the most popular owing to their non-toxic nature and reduced energy requirements. Microbial surfactants, produced on the microbial cell surface or excreted extracellularly are an alternative to synthetic surfactants for the production of silver nanoparticles. Hence, they are also called as green molecules. Microbial lipopeptide surfactants (biosurfactant) exhibit anti-tumor and anti-microbial properties and can be used as drug delivery agents. In this study, biosurfactant was synthesized by using a strain of acillus subtilis. The biosurfactant thus produced was analysed by emulsification assay, oil spilling test, and haemolytic test. Biosurfactant-mediated silver nanoparticles were synthesised by microwave irradiation of the culture supernatant and further characterized by UV–vis spectroscopy for a range of 400-600 nm. The UV–vis spectra showed a surface plasmon resonance vibration band at 410 nm corresponding to the peak of silver nanoparticles.

Keywords: biosurfactant, Bacillus subtilis, silver nano particle, lipopeptide

Procedia PDF Downloads 214
4155 Turkish College Students’ Attitudes toward Homophobia; Relations with, Right-Wing Authoritarianism, Social Dominance Orientation and Just World Beliefs

Authors: Melek Göregenli, Işık Gürşimşek

Abstract:

There has been a great deal of research in the past few decades examining attitudes toward homosexuals.Theoretic research has demonstrated that antihomosexual attitudes are expressed in cognitive, affective, behavioral and cultural components. Homophobia is generally defined as hostility towards or fear of LGBTI people, but can also refer to social and cultural ideologies which stigmatize homosexuality. Negative feelings or attitudes towards non-heterosexual behavior, identity, relationships and community can lead to homophobic behavior and is the root of the discrimination experienced by many lesbian, gay, bisexual and transgender (LGBTI) people. Since the increase in number of hate crimes during the last decade, there has been a sense of urgency to respond to the problem of hate violence in Turkey. The LGBTI Rights Association KAOS-GL indicated that the most of lesbian, gay, bisexual, travesty and transsexuals reported some form of victimization in their lifetimes based on their sexual orientation in Turkey. This study explored the relations between homophobia, right-wing authoritarianism, social dominance orientation and just world belief attitudes towards LGBTI individuals in a sample of 393 Turkish college students from Ege University in Izmir, Turkey. Data were collected with a questionnaire including the Homosexism Scale, the Right-Wing Authoritarianism Scale, Social Dominance Orientation Scale and Just World Belief Scale. Participants completed a questionnaire containing the attitude measures and other several questions related with the socio-demographic variables. Consistent with the previous finding males were more homophobic than females. Contrary to this finding the main effects of other demographic variables (age, income, place of birth, class) were not statistically significant except the department of participants. These findings imply that efforts to garner wide-ranging support for policies designed to change negative attitudes to LGBT people and to enhance the given awareness on homophobia. The results of the study were discussed in cross-cultural and social psychological perspective considering cultural and social values of Turkey and current political circumstances of the country.

Keywords: homophobia, just world belief, right-wing authoritarianism, social dominance orientation, Turkey

Procedia PDF Downloads 338
4154 A Delphi Study to Build Consensus for Tuberculosis Control Guideline to Achieve Who End Tb 2035 Strategy

Authors: Pui Hong Chung, Cyrus Leung, Jun Li, Kin On Kwok, Ek Yeoh

Abstract:

Introduction: Studies for TB control in intermediate tuberculosis burden countries (IBCs) comprise a relatively small proportion in TB control literature, as compared to the effort put in high and low burden counterparts. It currently lacks of consensus in the optimal weapons and strategies we can use to combat TB in IBCs; guidelines of TB control are inadequate and thus posing a great obstacle in eliminating TB in these countries. To fill-in the research and services gap, we need to summarize the findings of the effort in this regard and to seek consensus in terms of policy making for TB control, we have devised a series of scoping and Delphi studies for these purposes. Method: The scoping and Delphi studies are conducted in parallel to feed information for each other. Before the Delphi iterations, we have invited three local experts in TB control in Hong Kong to participate in the pre-assessment round of the Delphi study to comments on the validity, relevance, and clarity of the Delphi questionnaire. Result: Two scoping studies, regarding LTBI control in health care workers in IBCs and TB control in elderly of IBCs respectively, have been conducted. The result of these two studies is used as the foundation for developing the Delphi questionnaire, which tapped on seven areas of question, namely: characteristics of IBCs, adequacy of research and services in LTBI control in IBCs, importance and feasibility of interventions for TB control and prevention in hospital, screening and treatment of LTBI in community, reasons of refusal to/ default from LTBI treatment, medical adherence of LTBI treatment, and importance and feasibility of interventions for TB control and prevention in elderly in IBCs. The local experts also commented on the two scoping studies conducted, thus act as the sixth phase of expert consultation in Arksey and O’Malley framework of scoping studies, to either nourish the scope and strategies used in these studies or to supplement ideas for further scoping or systematic review studies. In the subsequent stage, an international expert panel, comprised of 15 to 20 experts from IBCs in Western Pacific Region, will be recruited to join the two-round anonymous Delphi iterations. Four categories of TB control experts, namely clinicians, policy makers, microbiologists/ laboratory personnel, and public health clinicians will be our target groups. A consensus level of 80% is used to determine the achievement of consensus on particular issues. Key messages: 1. Scoping review and Delphi method are useful to identify gaps and then achieve consensus in research. 2. Lots of resources are put in the high burden countries now. However, the usually neglected intermediate-burden countries with TB is an indispensable part for achieving the ambitious WHO End TB 2035 target.

Keywords: dephi questionnaire, tuberculosis, WHO, latent TB infection

Procedia PDF Downloads 268
4153 Using the Structural Equation Model to Explain the Effect of Supervisory Practices on Regulatory Density

Authors: Jill Round

Abstract:

In the economic system, the financial sector plays a crucial role as an intermediary between market participants, other financial institutions, and customers. Financial institutions such as banks have to make decisions to satisfy the demands of all the participants by keeping abreast of regulatory change. In recent years, progress has been made regarding frameworks, development of rules, standards, and processes to manage risks in the banking sector. The increasing focus of regulators and policymakers placed on risk management, corporate governance, and the organization’s culture is of special interest as it requires a well-resourced risk controlling function, compliance function, and internal audit function. In the past years, the relevance of these functions that make up the so-called Three Lines of Defense has moved from the backroom to the boardroom. The approach of the model can vary based on the various organizational characteristics. Due to the intense regulatory requirements, organizations operating in the financial sector have more mature models. In less regulated industries there is more cloudiness about what tasks are allocated where. All parties strive to achieve their objectives through the effective management of risks and serve the identical stakeholders. Today, the Three Lines of Defense model is used throughout the world. The research looks at trends and emerging issues in the professions of the Three Lines of Defense within the banking sector. The answers are believed to helping to explain the increasing regulatory requirements for the banking sector. While the number of supervisory practices increases the risk management requirements intensify and demand more regulatory compliance at the same time. The Structural Equation Modeling (SEM) is applied by making use of conducted surveys in the research field. It aims to describe (i) the theoretical model regarding the applicable linearity relationships, (ii) the causal relationship between multiple predictors (exogenous) and multiple dependent variables (endogenous), (iii) taking into consideration the unobservable variables and (iv) the measurement errors. The surveys conducted on the research field suggest that the observable variables are caused by various latent variables. The SEM consists of the 1) measurement model and the 2) structural model. There is a detectable correlation regarding the cause-effect relationship among the performed supervisory practices and the increasing scope of regulation. Supervisory practices reinforce the regulatory density. In the past, controls were placed after supervisory practices were conducted or incidents occurred. In further research, it is of interest to examine, whether risk management is proactive, reactive to incidents and supervisory practices or can be both at the same time.

Keywords: risk management, structural equation model, supervisory practice, three lines of defense

Procedia PDF Downloads 199
4152 Evidence of a Negativity Bias in the Keywords of Scientific Papers

Authors: Kseniia Zviagintseva, Brett Buttliere

Abstract:

Science is fundamentally a problem-solving enterprise, and scientists pay more attention to the negative things, that cause them dissonance and negative affective state of uncertainty or contradiction. While this is agreed upon by philosophers of science, there are few empirical demonstrations. Here we examine the keywords from those papers published by PLoS in 2014 and show with several sentiment analyzers that negative keywords are studied more than positive keywords. Our dataset is the 927,406 keywords of 32,870 scientific articles in all fields published in 2014 by the journal PLOS ONE (collected from Altmetric.com). Counting how often the 47,415 unique keywords are used, we can examine whether those negative topics are studied more than positive. In order to find the sentiment of the keywords, we utilized two sentiment analysis tools, Hu and Liu (2004) and SentiStrength (2014). The results below are for Hu and Liu as these are the less convincing results. The average keyword was utilized 19.56 times, with half of the keywords being utilized only 1 time and the maximum number of uses being 18,589 times. The keywords identified as negative were utilized 37.39 times, on average, with the positive keywords being utilized 14.72 times and the neutral keywords - 19.29, on average. This difference is only marginally significant, with an F value of 2.82, with a p of .05, but one must keep in mind that more than half of the keywords are utilized only 1 time, artificially increasing the variance and driving the effect size down. To examine more closely, we looked at those top 25 most utilized keywords that have a sentiment. Among the top 25, there are only two positive words, ‘care’ and ‘dynamics’, in position numbers 5 and 13 respectively, with all the rest being identified as negative. ‘Diseases’ is the most studied keyword with 8,790 uses, with ‘cancer’ and ‘infectious’ being the second and fourth most utilized sentiment-laden keywords. The sentiment analysis is not perfect though, as the words ‘diseases’ and ‘disease’ are split by taking 1st and 3rd positions. Combining them, they remain as the most common sentiment-laden keyword, being utilized 13,236 times. More than just splitting the words, the sentiment analyzer logs ‘regression’ and ‘rat’ as negative, and these should probably be considered false positives. Despite these potential problems, the effect is apparent, as even the positive keywords like ‘care’ could or should be considered negative, since this word is most commonly utilized as a part of ‘health care’, ‘critical care’ or ‘quality of care’ and generally associated with how to improve it. All in all, the results suggest that negative concepts are studied more, also providing support for the notion that science is most generally a problem-solving enterprise. The results also provide evidence that negativity and contradiction are related to greater productivity and positive outcomes.

Keywords: bibliometrics, keywords analysis, negativity bias, positive and negative words, scientific papers, scientometrics

Procedia PDF Downloads 165
4151 Pavement Roughness Prediction Systems: A Bump Integrator Approach

Authors: Manish Pal, Rumi Sutradhar

Abstract:

Pavement surface unevenness plays a pivotal role on roughness index of road which affects on riding comfort ability. Comfort ability refers to the degree of protection offered to vehicle occupants from uneven elements in the road surface. So, it is preferable to have a lower roughness index value for a better riding quality of road users. Roughness is generally defined as an expression of irregularities in the pavement surface which can be measured using different equipment like MERLIN, Bump integrator, Profilometer etc. Among them Bump Integrator is quite simple and less time consuming in case of long road sections. A case study is conducted on low volume roads in West District in Tripura to determine roughness index (RI) using Bump Integrator at the standard speed of 32 km/h. But it becomes too tough to maintain the requisite standard speed throughout the road section. The speed of Bump Integrator (BI) has to lower or higher in some distinctive situations. So, it becomes necessary to convert these roughness index values of other speeds to the standard speed of 32 km/h. This paper highlights on that roughness index conversional model. Using SPSS (Statistical Package of Social Sciences) software a generalized equation is derived among the RI value at standard speed of 32 km/h and RI value at other speed conditions.

Keywords: bump integrator, pavement distresses, roughness index, SPSS

Procedia PDF Downloads 227
4150 The Correlation between of Medicine and Postural Orthostatic Tachycardia Syndrome (POTS)

Authors: Dian Ariyawati, Romi Sukoco, Sinung Agung Joko

Abstract:

Background: Postural Orthostatic Tachycardia Syndrome (POTS) is a form of orthostatic intolerance caused by autonomic dysfunction. POTS predominantly occurs in young women. Regular exercise has proven to improve the organ system functions, including autonomous systems. The aim of this research was to determine the correlation between exercise frequency and POTS in young women. Method: 510 young women (16-23 years of age) were screened. They were obtained by interview and physical examination. The diagnosis of POTS was performed with Active Stand Test (AST) and heart rate measurement using a pulsemeter. There were 29 young women who suffered from POTS. The exercise frequency was obtained by interview. Data was statistically analyzed using Spearman Correlation test. Result: The subjects’, who tested positive for POTS didn’t perform regular exercise. The Spearman correlation test showed there was a moderate negative correlation between exercise frequency and POTS in young women (r = -0.487, p < 0.00). Conclusion: There is a moderate reverse correlation between exercise frequency and POTS in young women. Further studies are suggested to develop an exercise program for young who suffered from POTS.

Keywords: POTS, autonomic dysfunction, exercise frequency, young woman

Procedia PDF Downloads 529
4149 Investigate and Control Thermal Spectra in Nanostructures and 2D Van der Waals Materials

Authors: Joon Sang Kang, Ming Ke, Yongjie Hu

Abstract:

Controlling heat transfer and thermal properties of materials is important to many fields such as energy efficiency and thermal management of integrated circuits. Significant progress over the past decade has been made to improve material performance through structuring at the nanoscale, however a clear relationship between structure dimensions, interfaces, and thermal properties remains to be established. The main challenge comes from the unknown intrinsic spectral contribution from different phonons. Here, we describe our current progress on quantifying and controlling thermal spectra based on our recently developed technical approach using ultrafast optical spectroscopy. Our work brings further the promise of rational material design to achieve high performance through a synergistic experimental-modeling approach. This approach can be broadly applicable to a wide range of materials and energy systems. In particular, we demonstrate in-situ characterization and tunable thermal properties of 2D van der waals materials through ionic intercalations. The significant impacts of this research in improving the efficiency of thermal energy conversion and management will also be illustrated.

Keywords: energy, mean free path, nanoscale heat transfer, nanostructure, phonons, TDTR, thermoelectrics, 2D materials

Procedia PDF Downloads 268
4148 Facilitated Massive Open Online Course (MOOC) Based Teacher Professional Development in Kazakhstan: Connectivism-Oriented Practices

Authors: A. Kalizhanova, T. Shelestova

Abstract:

Teacher professional development (TPD) in Kazakhstan has followed a fairly standard format for centuries, with teachers learning new information from a lecturer and being tested using multiple-choice questions. In the online world, self-access courses have become increasingly popular. Due to their extensive multimedia content, peer-reviewed assignments, adaptable class times, and instruction from top university faculty from across the world, massive open online courses (MOOCs) have found a home in Kazakhstan's system for lifelong learning. Recent studies indicate the limited use of connectivism-based tools such as discussion forums by Kazakhstani pre-service and in-service English teachers, whose professional interests are limited to obtaining certificates rather than enhancing their teaching abilities and exchanging knowledge with colleagues. This paper highlights the significance of connectivism-based tools and instruments, such as MOOCs, for the continuous professional development of pre- and in-service English teachers, facilitators' roles, and their strategies for enhancing trainees' conceptual knowledge within the MOOCs' curriculum and online learning skills. Reviewing the most pertinent papers on Connectivism Theory, facilitators' function in TPD, and connectivism-based tools, such as MOOCs, a code extraction method was utilized. Three experts, former active participants in a series of projects initiated across Kazakhstan to improve the efficacy of MOOCs, evaluated the excerpts and selected the most appropriate ones to propose the matrix of teacher professional competencies that can be acquired through MOOCs. In this paper, we'll look at some of the strategies employed by course instructors to boost their students' English skills and knowledge of course material, both inside and outside of the MOOC platform. Participants' interactive learning contributed to their language and subject conceptual knowledge and prepared them for peer-reviewed assignments in the MOOCs, and this approach of small group interaction was given to highlight the outcomes of participants' interactive learning. Both formal and informal continuing education institutions can use the findings of this study to support teachers in gaining experience with MOOCs and creating their own online courses.

Keywords: connectivism-based tools, teacher professional development, massive open online courses, facilitators, Kazakhstani context

Procedia PDF Downloads 48
4147 Triploid Rainbow Trout (Oncorhynchus mykiss) for Better Aquaculture and Ecological Risk Management

Authors: N. N. Pandey, Raghvendra Singh, Biju S. Kamlam, Bipin K. Vishwakarma, Preetam Kala

Abstract:

The rainbow trout (Oncorhynchus mykiss) is an exotic salmonid fish, well known for its fast growth, tremendous ability to thrive in diverse conditions, delicious flesh and hard fighting nature in Europe and other countries. Rainbow trout farming has a great potential for its contribution to the mainstream economy of Himalayan states in India and other temperate countries. These characteristics establish them as one of the most widely introduced and cultured fish across the globe, and its farming is also prominent in the cold water regions of India. Nevertheless, genetic fatigue, slow growth, early maturity, and low productivity are limiting the expansion of trout production. Moreover, farms adjacent to natural streams or other water sources are subject to escape of domesticated rainbow trout into the wild, which is a serious environmental concern as the escaped fish is subject to contaminate and disrupt the receiving ecosystem. A decline in production traits due to early maturity prolongs the culture duration and affects the profit margin of rainbow trout farms in India. A viable strategy that could overcome these farming constraints in large scale operation is the production of triploid fish that are sterile and more heterozygous. For better triploidy induction rate (TR), heat shock at 28°C for 10 minutes and pressure shock 9500 psi pressure for 5 minutes is applied to green eggs with 90-100% of triploidy success and 72-80% survival upto swim-up fry stage. There is 20% better growth in aquaculture with triploids rainbow trout over diploids. As compared to wild diploid fish, larger sized and fitter triploid rainbow trout in natural waters attract to trout anglers, and support the development of recreational fisheries by state fisheries departments without the risk of contaminating existing gene pools and disrupting local fish diversity. Overall, enhancement of productivity in rainbow trout farms and trout production in coldwater regions, development of lucrative trout angling and better ecological management is feasible with triploid rainbow trout.

Keywords: rainbow trout, triploids fish, heat shock, pressure shock, trout angling

Procedia PDF Downloads 106
4146 A Geo DataBase to Investigate the Maximum Distance Error in Quality of Life Studies

Authors: Paolino Di Felice

Abstract:

The background and significance of this study come from papers already appeared in the literature which measured the impact of public services (e.g., hospitals, schools, ...) on the citizens’ needs satisfaction (one of the dimensions of QOL studies) by calculating the distance between the place where they live and the location on the territory of the services. Those studies assume that the citizens' dwelling coincides with the centroid of the polygon that expresses the boundary of the administrative district, within the city, they belong to. Such an assumption “introduces a maximum measurement error equal to the greatest distance between the centroid and the border of the administrative district.”. The case study, this abstract reports about, investigates the implications descending from the adoption of such an approach but at geographical scales greater than the urban one, namely at the three levels of nesting of the Italian administrative units: the (20) regions, the (110) provinces, and the 8,094 municipalities. To carry out this study, it needs to be decided: a) how to store the huge amount of (spatial and descriptive) input data and b) how to process them. The latter aspect involves: b.1) the design of algorithms to investigate the geometry of the boundary of the Italian administrative units; b.2) their coding in a programming language; b.3) their execution and, eventually, b.4) archiving the results in a permanent support. The IT solution we implemented is centered around a (PostgreSQL/PostGIS) Geo DataBase structured in terms of three tables that fit well to the hierarchy of nesting of the Italian administrative units: municipality(id, name, provinceId, istatCode, regionId, geometry) province(id, name, regionId, geometry) region(id, name, geometry). The adoption of the DBMS technology allows us to implement the steps "a)" and "b)" easily. In particular, step "b)" is simplified dramatically by calling spatial operators and spatial built-in User Defined Functions within SQL queries against the Geo DB. The major findings coming from our experiments can be summarized as follows. The approximation that, on the average, descends from assimilating the residence of the citizens with the centroid of the administrative unit of reference is of few kilometers (4.9) at the municipalities level, while it becomes conspicuous at the other two levels (28.9 and 36.1, respectively). Therefore, studies such as those mentioned above can be extended up to the municipal level without affecting the correctness of the interpretation of the results, but not further. The IT framework implemented to carry out the experiments can be replicated for studies referring to the territory of other countries all over the world.

Keywords: quality of life, distance measurement error, Italian administrative units, spatial database

Procedia PDF Downloads 349
4145 Crowdsensing Project in the Brazilian Municipality of Florianópolis for the Number of Visitors Measurement

Authors: Carlos Roberto De Rolt, Julio da Silva Dias, Rafael Tezza, Luca Foschini, Matteo Mura

Abstract:

The seasonal population fluctuation presents a challenge to touristic cities since the number of inhabitants can double according to the season. The aim of this work is to develop a model that correlates the waste collected with the population of the city and also allow cooperation between the inhabitants and the local government. The model allows public managers to evaluate the impact of the seasonal population fluctuation on waste generation and also to improve planning resource utilization throughout the year. The study uses data from the company that collects the garbage in Florianópolis, a Brazilian city that presents the profile of a city that attracts tourists due to numerous beaches and warm weather. The fluctuations are caused by the number of people that come to the city throughout the year for holidays, summer time vacations or business events. Crowdsensing will be accomplished through smartphones with access to an app for data collection, with voluntary participation of the population. Crowdsensing participants can access information collected in waves for this portal. Crowdsensing represents an innovative and participatory approach which involves the population in gathering information to improve the quality of life. The management of crowdsensing solutions plays an essential role given the complexity to foster collaboration, establish available sensors and collect and process the collected data. Practical implications of this tool described in this paper refer, for example, to the management of seasonal tourism in a large municipality, whose public services are impacted by the floating of the population. Crowdsensing and big data support managers in predicting the arrival, permanence, and movement of people in a given urban area. Also, by linking crowdsourced data to databases from other public service providers - e.g., water, garbage collection, electricity, public transport, telecommunications - it is possible to estimate the floating of the population of an urban area affected by seasonal tourism. This approach supports the municipality in increasing the effectiveness of resource allocation while, at the same time, increasing the quality of the service as perceived by citizens and tourists.

Keywords: big data, dashboards, floating population, smart city, urban management solutions

Procedia PDF Downloads 267
4144 Petra: Simplified, Scalable Verification Using an Object-Oriented, Compositional Process Calculus

Authors: Aran Hakki, Corina Cirstea, Julian Rathke

Abstract:

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

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

Procedia PDF Downloads 119