Search results for: decomposed theory of planned behaviour

Authors: Yohei Saika

Abstract:

On the basis of Bayesian inference using the maximizer of the posterior marginal estimate, we carry out phase unwrapping using multiple interferograms via generalized mean-field theory. Numerical calculations for a typical wave-front in remote sensing using the synthetic aperture radar interferometry, phase diagram in hyper-parameter space clarifies that the present method succeeds in phase unwrapping perfectly under the constraint of surface- consistency condition, if the interferograms are not corrupted by any noises. Also, we find that prior is useful for extending a phase in which phase unwrapping under the constraint of the surface-consistency condition. These results are quantitatively confirmed by the Monte Carlo simulation.

Keywords: Bayesian inference, generalized mean-field theory, phase unwrapping, multiple interferograms, statistical mechanics

Procedia PDF Downloads 479

Authors: Bensaid Boulekbache, Mostefa Hamrat, Mohamed Chemrouk, Sofiane Amziane

Abstract:

This study aims in examining the influence of the paste yield stress and compressive strength on the behaviour of fibre-reinforced concrete (FRC) versus direct shear. The parameters studied are the steel fibre contents, the aspect ratio of fibres and the concrete strength. Prismatic specimens of dimensions 10x10x35cm made of concrete of various yield stress reinforced with steel fibres hooked at the ends with three fibre volume fractions (i.e. 0, 0.5, and 1%) and two aspects ratio (65 and 80) were tested to direct shear. Three types of concretes with various compressive strength and yield stress were tested, an ordinary concrete (OC), a self-compacting concrete (SCC) and a high strength concrete (HSC). The concrete strengths investigated include 30 MPa for OC, 60 MPa for SCC and 80 MPa for HSC. The results show that the shear strength and ductility are affected and have been improved very significantly by the fibre contents, fibre aspect ratio and concrete strength. As the compressive strength and the volume fraction of fibres increase, the shear strength increases. However, yield stress of concrete has an important influence on the orientation and distribution of the fibres in the matrix. The ductility was much higher for ordinary and self-compacting concretes (concrete with good workability). The ductility in direct shear depends on the fibre orientation and is significantly improved when the fibres are perpendicular to the shear plane. On the contrary, for concrete with poor workability, an inadequate distribution and orientation of fibres occurred, leading to a weak contribution of the fibres to the direct shear behaviour.

Keywords: concrete, fibre, direct shear, yield stress, orientation, strength

Procedia PDF Downloads 542

Authors: Bel G Raggad

Abstract:

An e-Learning setting is a distributed computing environment where information resources can be connected to any public network. Public networks are very unsecure which can compromise the reliability of an e-Learning environment. This study is only concerned with the intrusion detection aspect of e-Learning security and how incident responses are planned. The literature reported great advances in intrusion detection system (ids) but neglected to study an important ids weakness: suspected events are detected but an intrusion is not determined because it is not defined in ids databases. We propose an incident response generator (DIRG) that produces incident responses when the working ids system suspects an event that does not correspond to a known intrusion. Data involved in intrusion detection when ample uncertainty is present is often not suitable to formal statistical models including Bayesian. We instead adopt Dempster and Shafer theory to process intrusion data for the unknown event. The DIRG engine transforms data into a belief structure using incident scenarios deduced by the security administrator. Belief values associated with various incident scenarios are then derived and evaluated to choose the most appropriate scenario for which an automatic incident response is generated. This article provides a numerical example demonstrating the working of the DIRG system.

Keywords: decision support system, distributed computing, e-Learning security, incident response, intrusion detection, security risk, statefull inspection

Procedia PDF Downloads 437

Authors: Frederic Henry-Couannier

Abstract:

Dark Gravity is a natural extension of general relativity in presence of a flat non dynamical background. Matter and radiation fields from its dark sector, as soon as their gravity dominates over our side fields gravity, produce a constant acceleration law of the scale factor. After a brief reminder of the Dark Gravity theory foundations, the confrontation with the main cosmological probes is carried out. We show that, amazingly, the sudden transition between the usual matter dominated decelerated expansion law a(t) ∝ t²/³ and this accelerated expansion law a(t) ∝ t² predicted by the theory should be able to fit the main cosmological probes (SN, BAO, CMB and age of the oldest stars data) but also direct H₀ measurements with two free parameters only: H₀ and the transition redshift.

Keywords: anti-gravity, negative energies, time reversal, field discontinuities, dark energy theory

Procedia PDF Downloads 55

Authors: Adnan Sahin, Ufuk Uylas, Ercument Pasaoglu, Tarik Caga, Enver Ihtiyar, Serdar Erkasap, Ersin Ates, Fatih Yasar

Abstract:

Background: In this study, it was evaluated the demographic features, etiological factors and the management of acute pancreatitis. Methods: 106 patient hospitalized due to acute pancreatitis were retrospectively examined from 1 January 2015 to 31 December 2015 in Department of General Surgery of ESOGUMF. The data of gender, signs and symptoms, etiological factors, WBC, AST, ALT, Amilase, USG and CT findings treatment options ERCP, and complications, mortality rate were analysed. Results: The mean age of patients were 58.8 (53 men and 53 women). The causes of acute pancreatitis were as follows: gallbladder stone was 89, hyperlipidemia was 5 and idiopathic were 16 patients. Severe pancreatitis was developed in 16 patients in the biliary pancreatitis group and ERCP was performed. Cholecystectomy was performed to all biliary pancreatitis group patients after acute pancreatitis subside. The mean hospital stay period was 9.33 (2-37) day. Discussion and conclusion: Severe acute pancreatitis is a mortal disease. The most common etiological cause of acute pancreatitis is biliary origin. The first line treatment modality of acute pancreatitis is medical. Cholecystectomy should be planned to the all-biliary caused acute pancreatitis patients after the attack subside. ERCP is a useful treatment modality in the case of clinical worsening and suspicion of acute cholangitis. ERCP procedure used 16 patients in our series and these patients have a good morbidity and mean hospital period is lower than the others. We suppose that ERCP procedure should be planned selectively and conservatively.

Keywords: acute pancreatitis, ERCP, morbidity, treatment

Procedia PDF Downloads 345

Authors: Mohd Rashid Bin Hj. Md Idris, Lajiman Bin Janoory, Abdullah Bin Yusof, Mahzir Bin Ibrahim

Abstract:

The Malay language curriculum at primary school level in Malaysia is instrumental in ensuring the status of the language as the official and national language, the language of instruction as well as the language that unites the various ethnics in Malaysia. A research addressing issues related to the curriculum standard is, therefore, essential to provide value added quality to the existing National Education Philosophy in ongoing efforts to produce an individual who is balanced in intellectual, spiritual, emotional and physical developments. The objective of this study is to examine the Philosophy of Language Theory, to review the content of the Malay language subject in relation to the Standard Curriculum for Primary Schools (KSSR), and to identify aspects of Theory of Philosophy in the Standard Curriculum for Primary Schools. The Malay language Primary School Curriculum is designed to enable students to be competent speakers and communicators of the language in order to gain knowledge, skills, information, values, and ideas and to enhance skills in social relations. Therefore, this study is designed to help educators to achieve all the stated goals. At the same time students at primary school level are expected to be able to apply the principle of language perfection as stated in the Philosophy of Language Theory to enable them to understand, appreciate and to take pride in being a Malaysian who speaks the language well.

Keywords: language, philosophy, theory, curriculum, standard, national education philosophy

Procedia PDF Downloads 594

Authors: Rana Zeina

Abstract:

Cognitive and behavioral symptoms may, in fact, overlap and be related to the level of the general cognitive function. We measured the behavioral aspects of autism and its correlation to the cognitive ability in 30 children with ASD. We used a neuropsychological battery CANTAB eclipse to evaluate the ASD children's cognitive ability. Individuals with ASDs and challenging behaviors showed significant correlation between some cognitive abilities and motor behavior aspects. Based on these findings we can conclude that the motor behavioral problems in autism affect specific cognitive abilities in ASDs such as comprehension, learning, reversal, acquisition, attention set shifting, and speed of reaction to one stimulus. Future research should also focus on the relationship between motor stereotypes and other subtypes of repetitive behaviors, such as verbal stereotypes, and ritual and routine adherence and use different types of CANTAB tests.

Keywords: cognitive ability, CANTAB test, behaviour motor aspects, autism spectrum disorders

Procedia PDF Downloads 493

Authors: Saied Farham-Nia, Alireza Ghaffari-Hadigheh

Abstract:

Game theory is a mathematical tool to study the behaviors of a rational and strategic decision-makers, that analyze existing equilibrium in interest conflict situation and provides an appropriate mechanisms for cooperation between two or more player. Game theory is applicable for any strategic and interest conflict situation in politics, management and economics, sociology and etc. Real worlds’ decisions are usually made in the state of indeterminacy and the players often are lack of the information about the other players’ payoffs or even his own, which leads to the games in uncertain environments. When historical data for decision parameters distribution estimation is unavailable, we may have no choice but to use expertise belief degree, which represents the strength with that we believe the event will happen. To deal with belief degrees, we have use uncertainty theory which is introduced and developed by Liu based on normality, duality, subadditivity and product axioms to modeling personal belief degree. As we know, the personal belief degree heavily depends on the personal knowledge concerning the event and when personal knowledge changes, cause changes in the belief degree too. Uncertainty theory not only theoretically is self-consistent but also is the best among other theories for modeling belief degree on practical problem. In this attempt, we primarily reintroduced Expected Utility Function in uncertainty environment according to uncertainty theory axioms to extract payoffs. Then, we employed Nash Equilibrium to investigate the solutions. For more practical issues, Stackelberg leader-follower Game and Bertrand Game, as a benchmark models are discussed. Compared to existing articles in the similar topics, the game models and solution concepts introduced in this article can be a framework for problems in an uncertain competitive situation based on experienced expert’s belief degree.

Keywords: game theory, uncertainty theory, belief degree, uncertain expected value, Nash equilibrium

Procedia PDF Downloads 415

Authors: Reza Sedaghati

Abstract:

The use of Flexible AC Transmission System (FACTS) devices in a power system can potentially overcome limitations of the present mechanically controlled transmission system. Also, the advance of technology makes possible to include new energy storage devices in the electrical power system. The integration of Superconducting Magnetic Energy Storage (SMES) into Static Synchronous Compensator (STATCOM) can lead to increase their flexibility in improvement of power system dynamic behaviour by exchanging both active and reactive powers with power grids. This paper describes structure and behaviour of SMES, specifications and performance principles of the STATCOM/SMES compensator. Moreover, the benefits and effectiveness of integrated SMES with STATCOM in power systems is presented. Also, the performance of the STATCOM/SMES compensator is evaluated using an IEEE 3-bus system through the dynamic simulation by PSCAD/EMTDC software.

Keywords: STATCOM/SMES compensator, chopper, converter, energy storage system, power systems

Procedia PDF Downloads 565

Authors: Zahra Sadeghian

Abstract:

This paper reports on the geometrical parameters optimized of the stationary point for the 2,3-Bis(furan-2-yl)pyrazino[2,3-f][1,10]phenanthroline. The calculations are performed using density functional theory (DFT) method at the B3LYP/LanL2DZ level. We determined bond lengths and bond angles values for the compound and calculate the amount of bond hybridization according to the natural bond orbital theory (NBO) too. The energy of frontier orbital (HOMO and LUMO) are computed. In addition, calculated data are accurately compared with the experimental result. This comparison show that the our theoretical data are in reasonable agreement with the experimental values.

Keywords: 2, 3-Bis(furan-2-yl)pyrazino[2, 3-f][1, 10]phenanthroline, density functional theory, theorical calculations, LanL2DZ level, B3LYP level

Procedia PDF Downloads 371

Authors: Natsumi Murakami, Jae-Ho Kim, Susumu Yonezawa

Abstract:

The calcium fluorosilicate (CaSiF₆) was prepared from calcium silicate (CaSiO₃) with fluorine gas at 25 ~ 200 ℃ and 760 Torr for 1~24 h. Especially, the pure CaSiF₆ could be prepared at 25 ℃ for 24 h with F₂ gas from the results of X-ray diffraction. Increasing temperature to higher than 100 ℃, the prepared CaSiF₆ was decomposed into CaF₂ and SiF₄. The release of SiF₄ gas was confirmed by the results of gas-phase infrared spectroscopy. In this study, we tried to modify the surface of polycarbonate (PC) resin using the SiF₄ gas released from CaSiF₆ particles. By using the prepared CaSiF₆, the surface roughness of fluorinated PC samples was approximately four times larger than that (1.4 nm) of the untreated sample. The results of X-ray photoelectron spectroscopy indicated the formation of fluorinated bonds (e.g., -CFx) on the surface of PC after surface fluorination. Consequently, the CaSiF₆ particles can be useful for a new fluorinating agent.

Keywords: calcium fluorosilicate, fluorinating agent, polycarbonate, surface fluorination

Procedia PDF Downloads 123

Authors: Michael Subbey, Kwame Takyi Danquah

Abstract:

Finding a child's exceptional skills and abilities at a young age and nurturing them is a challenging process. The Social Learning Theory (SLT) of Albert Bandura is used to analyze the effects of early talent identification on children's growth and development. The study examines both the advantages and disadvantages of early talent identification and stresses the significance of a moral strategy that puts the welfare of the child first. The paper emphasizes the value of a balanced approach to early talent identification that takes into account individual differences, cultural considerations, and the child's social environment.

Keywords: early talent development, social learning theory, child development, child welfare

Procedia PDF Downloads 108

Authors: Avan Al-Saffar, Eun-Jin Kim

Abstract:

Both the logistic growth model and the gompertz growth model are used to describe growth processes. Both models driven by perturbations in different cases are investigated using information theory as a useful measure of sustainability and the variability. Specifically, we study the effect of different oscillatory modulations in the system's parameters on the evolution of the system and Probability Density Function (PDF). We show the maintenance of the initial conditions for a long time. We offer Fisher information analysis in positive and/or negative feedback and explain its implications for the sustainability of population dynamics. We also display a finite amplitude solution due to the purely fluctuating growth rate whereas the periodic fluctuations in negative feedback can lead to break down the system's self-regulation with an exponentially growing solution. In the cases tested, the gompertz and logistic systems show similar behaviour in terms of information and sustainability although they develop differently in time.

Keywords: dynamical systems, fisher information, probability density function (pdf), sustainability

Procedia PDF Downloads 431

Authors: Najebah Alsaleh, Nirpendra Singh, Udo Schwingenschlogl

Abstract:

The electronic and transport properties of bulk and monolayer CuSbS2 and CuSbSe2 are determined by using density functional theory and semiclassical Boltzmann transport theory, in order to investigate the role of interlayer coupling for the thermoelectric properties. The calculated band gaps of the bulk compounds are in agreement with experiments and significantly higher than those of the monolayers, which thus show lower Seebeck coefficients. Since also the electrical conductivity is lower, the monolayers are characterized by lower power factors. Therefore, interlayer coupling is found to be essential for the excellent thermoelectric response of CuSbS2 and CuSbSe2, even though it is weak.

Keywords: density functional theory, thermoelectric, electronic properties, monolayer

Procedia PDF Downloads 323

Authors: Bassam Shaikh, R. S. A. Jumain

Abstract:

Game addiction has become an extremely important topic in psychology researchers, particularly in understanding and explaining why individuals become addicted (to video games). In previous studies, effect of online game addiction on social responsibilities, health problems, government action, and the behaviors of individuals to purchase and the causes of making individuals addicted on the video games has been discussed. Extending these concepts in marketing, it could be argued than the phenomenon could enlighten and extending our understanding on consumer loyalty. This study took the Grounded Theory approach, and found that motivation, satisfaction, fulfillments, exploration and achievements to be part of the important elements that builds consumer loyalty.

Keywords: grounded theory, consumer loyalty, video games, video game addiction

Procedia PDF Downloads 534

Authors: A. N. Paithane, D. S. Bormane, S. D. Shirbahadurkar

Abstract:

It has been seen that emotion recognition is an important research topic in the field of Human and computer interface. A novel technique for Feature Extraction (FE) has been presented here, further a new method has been used for human emotion recognition which is based on HHT method. This method is feasible for analyzing the nonlinear and non-stationary signals. Each signal has been decomposed into the IMF using the EMD. These functions are used to extract the features using fission and fusion process. The decomposition technique which we adopt is a new technique for adaptively decomposing signals. In this perspective, we have reported here potential usefulness of EMD based techniques.We evaluated the algorithm on Augsburg University Database; the manually annotated database.

Keywords: intrinsic mode function (IMF), Hilbert-Huang transform (HHT), empirical mode decomposition (EMD), emotion detection, electrocardiogram (ECG)

Procedia PDF Downloads 580

Authors: Ganiyat Soliu, Glen Bright, Chiemela Onunka

Abstract:

Performance optimization plays a key role in controlling the waiting time during manufacturing in an advanced manufacturing environment to improve productivity. Queuing mathematical modeling theory was used to examine the performance of the multi-stage production line. Robotics as a disruptive technology was implemented into a virtual manufacturing scenario during the packaging process to study the effect of waiting time on productivity. The queuing mathematical model was used to determine the optimum service rate required by robots during the packaging stage of manufacturing to yield an optimum production cost. Different rates of production were assumed in a virtual manufacturing environment, cost of packaging was estimated with optimum production cost. An equation was generated using queuing mathematical modeling theory and the theorem adopted for analysis of the scenario is the Newton Raphson theorem. Queuing theory presented here provides an adequate analysis of the number of robots required to regulate waiting time in order to increase the number of output. Arrival rate of the product was fast which shows that queuing mathematical model was effective in minimizing service cost and the waiting time during manufacturing. At a reduced waiting time, there was an improvement in the number of products obtained per hour. The overall productivity was improved based on the assumptions used in the queuing modeling theory implemented in the virtual manufacturing scenario.

Keywords: performance optimization, productivity, queuing theory, robotics

Procedia PDF Downloads 154

Authors: Manoj Gupta, Nirmendra Singh Bhadauria

Abstract:

Most of the applications in image processing require high spatial and high spectral resolution in a single image. For example satellite image system, the traffic monitoring system, and long range sensor fusion system all use image processing. However, most of the available equipment is not capable of providing this type of data. The sensor in the surveillance system can only cover the view of a small area for a particular focus, yet the demanding application of this system requires a view with a high coverage of the field. Image fusion provides the possibility of combining different sources of information. In this paper, we have decomposed the image using DTCWT and then fused using average and hybrid of (maxima and average) pixel level techniques and then compared quality of both the images using PSNR.

Keywords: image fusion, DWT, DT-CWT, PSNR, average image fusion, hybrid image fusion

Procedia PDF Downloads 606

Authors: Salome Schulze

Abstract:

The delay of students in completing their dissertations is a worldwide problem. At the University of South Africa where this research was done, only about a third of the students complete their studies within the required period of time. This study explored the reasons why the students interrupted their studies, and why they resumed their research at a later stage. If this knowledge could be utilised to improve the throughput of doctoral students, it could have significant economic benefits for institutions of higher education while at the same time enhancing their academic prestige. To inform the investigation, attention was given to key theories concerning the learning of doctoral students, namely the situated learning theory, the social capital theory and the self-regulated learning theory, based on the social cognitive theory of learning. Ten students in the faculty of Education were purposefully selected on the grounds of their poor progress, or of having been in the system for too long. The collection of the data was in accordance with a Finnish study, since the two studies had the same aims, namely to investigate student engagement and disengagement. Graphic elicitation interviews, based on visualisations were considered appropriate to collect the data. This method could stimulate the reflection and recall of the participants’ ‘stories’ with very little input from the interviewer. The interviewees were requested to visualise, on paper, their journeys as doctoral students from the time when they first registered. They were to indicate the significant events that occurred and which facilitated their engagement or disengagement. In the interviews that followed, they were requested to elaborate on these motivating or challenging events by explaining when and why they occurred, and what prompted them to resume their studies. The interviews were tape-recorded and transcribed verbatim. Information-rich data were obtained containing visual metaphors. The data indicated that when the students suffered a period of disengagement, it was sometimes related to a lack of self-regulated learning, in particular, a lack of autonomy, and the inability to manage their time effectively. When the students felt isolated from the academic community of practice disengagement also occurred. This included poor guidance by their supervisors, which accordingly deprived them of significant social capital. The study also revealed that situational factors at home or at work were often the main reasons for the students’ procrastinating behaviour. The students, however, remained in the system. They were motivated towards a renewed engagement with their studies if they were self-regulated learners, and if they felt a connectedness with the academic community of practice because of positive relationships with their supervisors and of participation in the activities of the community (e.g., in workshops or conferences). In support of their learning, networking with significant others who were sources of information provided the students with the necessary social capital. Generally, institutions of higher education cannot address the students’ personal issues directly, but they can deal with key institutional factors in order to improve the throughput of doctoral students. It is also suggested that graphic elicitation interviews be used more often in social research that investigates the learning and development of the students.

Keywords: doctoral students, engaging and disengaging experiences, graphic elicitation interviews, student procrastination

Procedia PDF Downloads 193

Authors: Freddy Munzhelele

Abstract:

Setting: the empirical research has shown that the life cycle theory has an impact on the firms’ financing decisions, particularly the dividend pay-outs. Accordingly, the life cycle theory posits that as a firm matures, it gets to a level and capacity where it distributes more cash as dividends. On the other hand, the young firms prioritise investment opportunities sets and their financing; thus, they pay little or no dividends. The research on firms’ financing decisions also demonstrated, among others, the adoption of trade-off and pecking order theories on the dynamics of firms capital structure. The trade-off theory talks to firms holding a favourable position regarding debt structures particularly as to the cost and benefits thereof; and pecking order is concerned with firms preferring a hierarchical order as to choosing financing sources. The case of life cycle hypothesis explaining the financial managers’ decisions as regards the firms’ capital structure dynamics appears to be an interesting link, yet this link has been neglected in corporate finance research. If this link is to be explored as an empirical research, the financial decision-making alternatives will be enhanced immensely, since no conclusive evidence has been found yet as to the dynamics of capital structure. Aim: the aim of this study is to examine the impact of life cycle theory on the capital structure dynamics trade-off and pecking order theories of firms listed in retail, industrial and mining sectors of the JSE. These sectors are among the key contributors to the GDP in the South African economy. Design and methodology: following the postpositivist research paradigm, the study is quantitative in nature and utilises secondary data obtainable from the financial statements of sampled firm for the period 2010 – 2022. The firms’ financial statements will be extracted from the IRESS database. Since the data will be in panel form, a combination of the static and dynamic panel data estimators will used to analyse data. The overall data analyses will be done using STATA program. Value add: this study directly investigates the link between the life cycle theory and the dynamics of capital structure decisions, particularly the trade-off and pecking order theories.

Keywords: life cycle theory, trade-off theory, pecking order theory, capital structure, JSE listed firms

Procedia PDF Downloads 61

Authors: K. Harrat, M. Hidjeb, M. T’kint

Abstract:

The aim of the present research work is to characterize a cement palm date fiber composite in order to be used in isolation and in the manufacture of new structural materials. This technique may possibly participate seriously in the preservation of the environment and develop a growing need for plant products. On one hand, It has been shown that the presence of natural fiber in the composite materials manufacture, based on hydraulic binder, has improved the mechanical behaviour of the material. On the Other hand, It has been proven that the durability of composite materials reinforced with untreated fibers was largely affected by the presence of organic matter. In order to extract the organic material, the fibers were treated with boiling water and then coated with different types of products. A considerable improvement in the sensitivity to water of the fibers, as well as in the mechanical strength and in the ductility of the composite material was observed. The fiber being sensitive to water, the study put the emphasis on its dimensional stability.

Keywords: cement composite, durability, heat treatment, mechanical behaviour, vegetal fiber

Procedia PDF Downloads 454

Authors: Bharat Singh Om Prakash Vyas

Abstract:

Now a day’s applications deal with High Dimensional Data have tremendously used in the popular areas. To tackle with such kind of data various approached has been developed by researchers in the last few decades. To tackle with such kind of data various approached has been developed by researchers in the last few decades. One of the problems with the NMF approaches, its randomized valued could not provide absolute optimization in limited iteration, but having local optimization. Due to this, we have proposed a new approach that considers the initial values of the decomposition to tackle the issues of computationally expensive. We have devised an algorithm for initializing the values of the decomposed matrix based on the PSO (Particle Swarm Optimization). Through the experimental result, we will show the proposed method converse very fast in comparison to other row rank approximation like simple NMF multiplicative, and ACLS techniques.

Keywords: ALS, NMF, high dimensional data, RMSE

Procedia PDF Downloads 342

Authors: Nicodemus M. J. Mbwambo, Yu-Shan Sun, Murali Sitaraman, Joan Krone

Abstract:

This paper presents a generic data abstraction that captures a navigable tree position. The mathematical modeling of the abstraction encapsulates the current tree position, which can be used to navigate and modify the tree. The encapsulation of the tree position in the data abstraction specification avoids the use of explicit references and aliasing, thereby simplifying verification of (imperative) client code that uses the data abstraction. To ease the tasks of such specification and verification, a general tree theory, rich with mathematical notations and results, has been developed. The paper contains an example to illustrate automated verification ramifications. With sufficient tree theory development, automated proving seems plausible even in the absence of a special-purpose tree solver.

Keywords: automation, data abstraction, maps, specification, tree, verification

Procedia PDF Downloads 166

Authors: Ankit Kumar Yadav, Nagendra R. Velaga

Abstract:

Driving under the influence of alcohol impairs the driving performance and increases the crash risks worldwide. The present study investigated the effect of different Blood Alcohol Concentrations (BAC) on the accelerating and braking behaviour of drivers with the help of driving simulator experiments. Eighty-two licensed Indian drivers drove on the rural road environment designed in the driving simulator at BAC levels of 0.00%, 0.03%, 0.05%, and 0.08% respectively. Driving performance was analysed with the help of vehicle control performance indicators such as mean acceleration and mean brake pedal force of the participants. Preliminary analysis reported an increase in mean acceleration and mean brake pedal force with increasing BAC levels. Generalized linear mixed models were developed to quantify the effect of different alcohol levels and explanatory variables such as driver’s age, gender and other driver characteristic variables on the driving performance indicators. Alcohol use was reported as a significant factor affecting the accelerating and braking performance of the drivers. The acceleration model results indicated that mean acceleration of the drivers increased by 0.013 m/s², 0.026 m/s² and 0.027 m/s² for the BAC levels of 0.03%, 0.05% and 0.08% respectively. Results of the brake pedal force model reported that mean brake pedal force of the drivers increased by 1.09 N, 1.32 N and 1.44 N for the BAC levels of 0.03%, 0.05% and 0.08% respectively. Age was a significant factor in both the models where one year increase in drivers’ age resulted in 0.2% reduction in mean acceleration and 19% reduction in mean brake pedal force of the drivers. It shows that driving experience could compensate for the negative effects of alcohol to some extent while driving. Female drivers were found to accelerate slower and brake harder as compared to the male drivers which confirmed that female drivers are more conscious about their safety while driving. It was observed that drivers who were regular exercisers had better control on their accelerator pedal as compared to the non-regular exercisers during drunken driving. The findings of the present study revealed that drivers tend to be more aggressive and impulsive under the influence of alcohol which deteriorates their driving performance. Drunk driving state can be differentiated from sober driving state by observing the accelerating and braking behaviour of the drivers. The conclusions may provide reference in making countermeasures against drinking and driving and contribute to traffic safety.

Keywords: alcohol, acceleration, braking behaviour, driving simulator

Procedia PDF Downloads 146

Authors: Bijan Gillani, Roya Gillani

Abstract:

The purpose of this paper is to propose a pedagogical model where engineering provides the interconnection to integrate the other topics of science, technology, engineering, and mathematics. The author(s) will first present a brief discussion of cognitive theory and then derive an integrated pedagogy to use engineering and technology, such as drones, sensors, camera, iPhone, radio waves as the nexus to an integrated curriculum development for the other topics of STEM. Based on this pedagogy, one example developed by the author(s) called “Drones and Environmental Science,” will be presented that uses a drone and related technology as an appropriate instructional delivery medium to apply Piaget’s cognitive theory to create environments that promote the integration of different STEM subjects that relate to environmental science.

Keywords: cogntive theories, drone, environmental science, pedagogy

Procedia PDF Downloads 575

Authors: Jiaoya Huang, Jianghong Liu

Abstract:

This paper endeavors to comprehend and scrutinize the entrepreneurial development process within Chinese cultural and creative small and medium-sized enterprises (SMEs), as well as the factors that impinge on entrepreneurs' recognition and exploitation of entrepreneurial opportunities from the vantage point of institutional theory. The study is centered around three key research questions: namely, the drivers and impediments for entrepreneurs to identify opportunities within three prominent Chinese cultural and creative regions and the influence of institutional facets on the exploitation and recognition of opportunities within the cultural industry. Adopting a qualitative interpretivist research paradigm, a comparative multiple case study design is utilized. Semi-structured interviews will be carried out with founders and mid-level professionals of SMEs in Beijing, Shanghai, and Guangzhou, which are chosen in accordance with specific criteria. The data will be analyzed through an inductive thematic approach. Anticipatedly, this research will contribute to bridging the research gap in the nexus between institutional theory and entrepreneurial opportunities within the context of cultural and creative industries.

Keywords: entrepreneurial opportunities, cultural and creative industries, institutional theory, Chinese SMEs

Procedia PDF Downloads 8

Authors: Robyn L. Curran, Joanne R. Naidoo, Gugu Mchunu

Abstract:

Along with the increasing awareness of human trafficking, is the acknowledgement that it is no longer just a social problem but also a significant public health problem that requires both increased knowledge and the specialist equipping of aftercare providers such as nurses who care for human trafficking survivors. Current discourse regarding aftercare of human trafficking survivors, is that approaches do not clearly explain the function or content of aftercare and what aftercare entails. Although psychological and medical aftercare are emphasized as important components, little practical attention is devoted to what these components actually involve and the effectiveness of current practice in aftercare. Review of the literature on the processes that take place from aftercare to empowerment, revealed the need for emphasis to be placed on the voices of survivors concerning their liberation from oppression. The aim of the study was to develop a theory for aftercare of human trafficking survivors, through analyzing the experiences of survivors and aftercare providers in shelters in three provinces in South Africa. Through using a Straussian grounded theory approach, the researcher developed a theory to inform care of human trafficking survivors in low resource settings using the voice of the survivors and those experienced in direct care of human trafficking survivors. Four human trafficking survivors and three aftercare providers from three shelters in three provinces in South Africa were individually interviewed in order for the theory to emerge. The findings of the study elicited a theoretical model of the renewed self, and the conditions that facilitate this process in care of human trafficking survivors. The process that human trafficking survivors navigate to empowerment require mutual collaboration of the aftercare provider and survivor as the survivor awakens vision, confronts reality, re-salvages autonomy and liberates self. Psychological resilience of the survivor facilitates the transition to renewed self. The recommendations of this study may improve the nursing care provided to human trafficking survivors and equip professionals with knowledge and skills to promote the process of renewing self for survivors.

Keywords: aftercare, aftercare providers, grounded theory, human trafficking survivors

Procedia PDF Downloads 276

Authors: Işılay Tiarnagh Sheridan

Abstract:

World EXPO, short version for the “exposition”, is a large universal public exhibition held since 1851. Within the 164 years, it was organized 34 times in 22 cities and as a result it has given birth to its very own culture unlike most of other international events. It has an outstanding power in transforming the places, in which it is held, into trademarks via changes in their urban tissues. For that, it is widely remembered with its cities instead of its countries. Within the scope of this change, some constructions were planned to be temporary, some planned to be permanent and some were thought to be temporary but kept afterwards becoming important monuments such as the Crystal Palace of London (though it was destroyed later by a fire) and the Eiffel Tower of Paris. These examples are the most prominent names upon considering World EXPOs. Yet, there are so many other legacies of these events within modern city fabric today that we don’t usually associate with its Expo history. Some of them are leading figures not only for the housing city but for other cities also, such as the first Metro line of Paris during 1900 World EXPO; some of them are listed as monuments of the cities such as Saint Louis Art Museum of 1904 World EXPO; some of them, like Melbourne Royal Exhibition Building of 1880 World’s EXPO, are among UNESCO World Heritage Sites and some of them are the masterpieces of modern architecture such as the famous Barcelona Pavilion, German pavilion of the 1929 World’s EXPO, of Ludwig Mies van der Rohe. Thus, the aim of this paper is to analyze the history of World’s EXPO and its eventual results in the birth of its own cultural heritage. Upon organizing these results, the paper aims to create a brief list of EXPO heritage monuments and sites so as to form a database for their further conservation needs.

Keywords: expo, heritage, world's fair, legacy

Procedia PDF Downloads 440

Authors: X. S. Wu, H. Jia, P. H. Qian, Z. Zhang, H. L. Cai, F. M. Zhang

Abstract:

A bipolar resistance switching behaviour is detected for a Ti/TiO2-x/Au memristor device, which is fabricated by a masked designed magnetic sputtering. The current dependence of voltage indicates the curve changes slowly and continuously. When voltage pulses are applied to the device, the set and reset processes maintains linearity, which is used to simulate the synapses. We argue that the conduction mechanism of the device is from the oxygen vacancy channel model, and the resistance of the device change slowly due to the reaction between the titanium electrode and the intermediate layer and the existence of a large number of oxygen vacancies in the intermediate layer. Then, Hopfield neural network is constructed to simulate the behaviour of neural network in image processing, and the accuracy rate is more than 98%. This shows that titanium dioxide memristor has a broad application prospect in high performance neural network simulation.

Keywords: memristor fabrication, neuromorphic computing, bionic synaptic application, TiO₂-based

Procedia PDF Downloads 90

Authors: Nino M. Pizarro

Abstract:

To the author’s knowledge, despite the written documents about Marist spirituality/charism, nothing has been done concerning a clear theoretical framework that highlights Marist spirituality/charism from the perspective or lived experience of the lay Marists of St. Marcellin Champagnat. The participants of the study are the lay Marist - educators who are from Marist Schools in the Philippines. Since the study would like to find out the respondents’ own concepts and meanings about Marist spirituality/charism, qualitative methodology is considered the approach to be used in the study. In particular, the study will use the qualitative methods of Barney Glaser. The theory will be generated systematically from data collection, coding and analyzing through memoing, theoretical sampling, sorting and writing and using the constant comparative method. The data collection method that will be employed in this grounded theory research is the in-depth interview that is semi-structured and participant driven. Data collection will be done through snowball sampling that is purposive. The study is considering to come up with a theoretical framework that will help the lay Marists to deepen their understanding of the Marist spirituality/charism and their vocation as lay partners of the Marist Brothers of the Schools.

Keywords: grounded theory, Lay Marists, lived experience, Marist spirituality/charism

Procedia PDF Downloads 311