ICTs have enabled increased mobility and created a new era of workplace connectivity. Due to changes in work organization, global operations, increased mobility, and the new opportunities they are creating; work requires more coordination, more travel and a higher frequency of boundary spanning. ICTs have infiltrated into the personal life of individuals, while similarly, having an increasing impact on how organizations manage their workers‘ work-life balance. This research investigates the work boundary negotiation process in ICT-enabled work.Using an in-depth case study supplemented with visual data, this thesis studies the case of Sigma, an international consulting firm, that serves clients located in a large geographical area. It explores how consultants exhibiting mobile work practices, use ICTs to negotiate work boundaries. It draws on the structurational model of technology and complements it with the boundary object construct. The utilisation of this combined approach allows further understanding of work boundary negotiation.The research reveals that some ICTs as technological artefacts are boundary objects bridging between different groups of actors, crossing work boundaries, and allowing actors to negotiate their work boundaries while challenging traditional boundaries. Thus, allowing consultants to use their ICTs (specifically their smartphone) to negotiate their work boundaries on a need to basis. The boundary negotiation process (as revealed by the structuration process) is the means by which consultants try to make the most out of existing social structures – in this case specifically domination – in their organizational context. The ICT becomes a source of power and is mainly used to manifest domination over available resources. Consultants use them to maintain control over their life, increase their legitimacy and convey that they are professional experts. ICTs allow consultants to continuously redefine their work boundaries which become dynamic, fluid and contextual; the research reaffirms the sociotechnical nature of work boundaries.The thesis also develops a conceptual model of work boundary negotiation that conceptually illustrates how boundary negotiation is the outcome of the structuration process and the negotiation of existing structures of domination, legitimation and signification.

Submitted in partial compliance with the requirements for the Masters Degree in Technology: Chiropractic, Durban University of Technology, Durban, South Africa, 2016. / Background In sport, competitive athletes are required to perform to the best of their ability, with some athletes seeking the use of chiropractic treatment to improve performance. For example, hockey players are required to perform at peak physical function whilst executing a drag flick. The action of a drag flick involves a player hunched over low down in front of the ball and the hook of the hockey stick makes contact with the ball, which is then ball is pushed along the ground with the ball moving slightly up the shaft of the stick. The player then performs ‘slinging’ action, which means they ‘flick’ the ball towards the goal posts. The drag flick is an explosive sequential movement involving the player’s pelvis, trunk and upper limbs, requiring the use of the spine to generate the speed of the stick and ball. As a result any decreased spinal movement could reduce performance. Therefore this study attempted to assess the use of spinal manipulative therapy (SMT) in improving the drag flicking performance of hockey players. SMT has been shown to be a safe and effective way of increasing spinal joint mobility Objectives To determine and compare the effect of placebo and spinal manipulative therapy in terms of subjective and objective measurements on drag flicking performance of premier league field hockey players. Methods A comparative, experimental study of forty asymptomatic premier league hockey drag flickers were divided into two groups of twenty each. Group A received SMT of fixated joints of the spine (cervical, thoracic and lumbar) as determined by motion palpation by an experienced qualified chiropractor. Group B received sham manipulation. Pre and post intervention ROM of the spine and drag flicking speed where measured using CROM, Inclinometer, BROM II and Speed TracX Speed Sport Radar. The subject’s perception of a change in drag flicking speed post intervention was also recorded. SPSS version 21 was used to analyse the data. A p value of 0.05 was considered statistically significant. Results Significant differences in ROM were noticed in the inter-group analysis in cervical: extension; LLF; RR PA, thoracic: extension; LLF, RLF, lumbar: extension, LLF, RLF. There was a significant increase in drag flicking speed post SMT, but between the SMT and sham manipulation groups were not significantly different. A significant correlation was seen between subjects’ perception of change in drag flicking speed post intervention and the objective results obtained. Conclusion The immediate effect of SMT on drag flicking performance of hockey players was inconclusive. The outcomes of this study suggests that SMT results in an increase in the average speed of drag flicking, however further larger studies are required to confirm this. / M

Cieľom tejto práce je návrh a implementácia generického strategy solveru pre nástroj 2LS. 2LS je analyzátor na statickú verifikáciu programov napísaných v jazyku C. Verifikovaný program je za využita abstraktnej interpretácie analyzovaný SMT solverom. Prevod z ab- straktného stavu programu do logickej formule, s ktorou vie pracovať SMT solver vykonáva komponenta nazývaná strategy solver. Aktuálne pre každú doménu existuje jeden takýto solver. Navrhované riešenie vytvára jeden obecný strategy solver, ktorý zjednodušuje tvorbu nových domén. Zároveň navrhovaný spôsob umožnuje prevedenie existujúcich domén a teda zmenšuje program analyzátora.

In this thesis we analyze machine translation between Czech and Russian languages from the perspective of a linguist. We work with two types of Machine Translation systems - rule-based (TectoMT) and statistical (Moses). We experiment with different setups of these two systems in order to achieve the best possible quality. One of the questions we address in our work is whether relatedness of the discussed languages has some impact on machine translation. We explore the output of our two experimental systems and two commercial systems: PC Translator and Google Translate. We make a linguistically-motivated classification of errors for the language pair and describe each type of error in detail, analyzing whether it occurred due to some difference between Czech and Russian or is it caused by the system architecture. We then compare the usage of some specific linguistic phenomena in the two languages and state how the individual systems cope with mismatches. For some errors, we suggest ways to improve them and in several cases we implement those suggestions. In particular, we focus on one specific error type - surface valency. We research the mismatches between Czech and Russian valency, extract a lexicon of surface valency frames, incorporate the lexicon into the TectoMT translation pipeline and present...

Public concern about the quality of teaching and learning is at an all time high in respect of certain schools in South Africa. This study focuses on the participation of the SMT members in managing the instructional programme with a view on improving the academic performance of learners. The lack of the involvement of all the members of the SMT thus prompted this investigation. Apart from the literature review, an empirical investigation, based on a qualitative paradigm involving interviews, was undertaken to collect data at selected primary schools in Circuit 1 in the Metropole North Education District of the Western Cape Education Department. Other methods used included observations as well as the analyses of documents relevant to the investigation. As a case study this research examined the involvement of all the members of the SMT by utilizing the principles of participative management. It is hoped that this study will contribute to the improvement of the academic performance of schools by virtue of what has been highlighted as a reason for the poor performance of schools namely the lack of involvement of all the members of the SMT in the management of the instructional programme. The literature findings revealed that School Management Teams (SMTs) have to be properly structured. The SMT should be involved in decision-making in matters that concern them. This, together with a more effective and efficiently managed instructional programme, should improve the academic performance of learners. Empirical findings indicated that the members of the SMT consider themselves professionally trained individuals with the expertise needed to deliver what is expected from them. The study further revealed that the success of a school depends on effective instruction as a result of the effective management and leading of the instructional programme by all members of the SMT. / Education management / M.Ed. (Education Management)

Cette thèse s'intéresse à la démonstration automatique de la validité de formules mathématiques issues de la preuve de programmes. Elle se focalise tout particulièrement sur la Satisfiabilité Modulo Théories (SMT): un jeune domaine de recherche qui a connu de grands progrès durant la dernière décennie. Les démonstrateurs de cette famille ont des applications diverses dans la conception de microprocesseurs, la preuve de programmes, le model-checking, etc.Les démonstrateurs SMT offrent un bon compromis entre l'expressivité et l'efficacité. Ils reposent sur une coopération étroite d'un solveur SAT avec une combinaison de procédures de décision pour des théories spécifiques comme la théorie de l'égalité libre avec des symboles non interprétés, l'arithmétique linéaire sur les entiers et les rationnels, et la théorie des tableaux.L'objectif de cette thèse est d'améliorer l'efficacité et l'expressivité du démonstrateur SMT Alt-Ergo. Pour cela, nous proposons une nouvelle procédure de décision pour la théorie de l'arithmétique linéaire sur les entiers. Cette procédure est inspirée par la méthode de Fourier-Motzkin, mais elle utilise un simplexe sur les rationnels pour effectuer les calculs en pratique. Nous proposons également un nouveau mécanisme de combinaison, capable de raisonner dans l'union de la théorie de l'égalité libre, la théorie AC des symboles associatifs et commutatifs et une théorie arbitraire deShostak. Ce mécanisme est une extension modulaire et non intrusive de la procédure de completion close modulo AC avec la théorie de Shostak. Aussi, nous avons étendu Alt-Ergo avec des procédures de décision existantes pour y intégrer d'autres théories intéressantes comme la théorie de types de données énumérés et la théorie des tableaux. Enfin, nous avons exploré des techniques de simplification de formules en amont et l'amélioration de son solveur SAT. / This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on Satisfiability Modulo Theories (SMT): a young research topic that has seen great advances during the last decade. The solvers of this family have various applications in hardware design, program verification, model checking, etc.SMT solvers offer a good compromise between expressiveness and efficiency. They rely on a tight cooperation between a SAT solver and a combination of decision procedures for specific theories, such as the free theory of equality with uninterpreted symbols, linear arithmetic over integers and rationals, or the theory of arrays.This thesis aims at improving the efficiency and the expressiveness of the Alt-Ergo SMT solver. For that, we designed a new decision procedure for the theory of linear integer arithmetic. This procedure is inspired by Fourier-Motzkin's method, but it uses a rational simplex to perform computations in practice. We have also designed a new combination framework, capable of reasoning in the union of the free theory of equality, the AC theory of associative and commutativesymbols, and an arbitrary signature-disjoint Shostak theory. This framework is a modular and non-intrusive extension of the ground AC completion procedure with the given Shostak theory. In addition, we have extended Alt-Ergo with existing decision procedures to integrate additional interesting theories, such as the theory of enumerated data types and the theory of arrays. Finally, we have explored preprocessing techniques for formulas simplification as well as the enhancement of Alt-Ergo's SAT solver.

Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de Signal. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé. / Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.

Public concern about the quality of teaching and learning is at an all time high in respect of certain schools in South Africa. This study focuses on the participation of the SMT members in managing the instructional programme with a view on improving the academic performance of learners. The lack of the involvement of all the members of the SMT thus prompted this investigation. Apart from the literature review, an empirical investigation, based on a qualitative paradigm involving interviews, was undertaken to collect data at selected primary schools in Circuit 1 in the Metropole North Education District of the Western Cape Education Department. Other methods used included observations as well as the analyses of documents relevant to the investigation. As a case study this research examined the involvement of all the members of the SMT by utilizing the principles of participative management. It is hoped that this study will contribute to the improvement of the academic performance of schools by virtue of what has been highlighted as a reason for the poor performance of schools namely the lack of involvement of all the members of the SMT in the management of the instructional programme. The literature findings revealed that School Management Teams (SMTs) have to be properly structured. The SMT should be involved in decision-making in matters that concern them. This, together with a more effective and efficiently managed instructional programme, should improve the academic performance of learners. Empirical findings indicated that the members of the SMT consider themselves professionally trained individuals with the expertise needed to deliver what is expected from them. The study further revealed that the success of a school depends on effective instruction as a result of the effective management and leading of the instructional programme by all members of the SMT. / Education management / M.Ed. (Education Management)

This study aimed at establishing the role played by school management teams in managing teacher-occupational-stress in Sedibeng West District primary schools in the Gauteng province. The investigation was conducted using a quantitative research approach. The changes in South African schools’ curriculum which did not have a life span of ten years post-apartheid; the rate of absenteeism pointed out by the Minister of Basic Education Angie Motshega. She believed that these may be caused by serious illness; therefore it impressed the idea of investigating the role played by school management teams in managing teacher-occupational stress. The study looks at the following two research questions:  What are the causes of teacher-occupational-stress?  What role can the school management teams play in managing teacher-occupational-stress? A questionnaire was used as an instrument of data collection from primary schools in Sedibeng West district 8 in the Gauteng province. The researcher’s sample size was 32 (n=32). Findings were that the school management teams are playing their roles and supporting teachers. However, teachers find their teaching job to be stressful. The study found significant factors causing teacher-occupational-stress. One of the factors is failure by the school management team to acknowledge teachers hard work. Recommendations are outlined at the end of this study indicating how the Department of Basic Education can intervene and what the school management teams can do to manage teacher occupational stress. / Educational Management and Leadership

This research investigates the vision of excellence in secondary schools leadership in Ekurhuleni East District (Gauteng East District) and the existence of a vision of excellence in schools. A literature study investigated models of leadership related to vision of excellence and aspects of vision of excellence in school leadership. An empirical investigation used both a quantitative and qualitative research design to collect data from a purposefully selected and stratified sample of participants and secondary schools in the Ekurhuleni East District (Gauteng East Education District). A questionnaire and focus group interviews were used to gather data from the respondents. Data were analysed and interpreted using quantitative and qualitative approach. The findings of both the literature study and the empirical research on the above-mentioned vision of excellence in secondary schools leadership in Ekurhuleni East District revealed that there is a lack of support from school leadership and the School Management Team (SMT) in realising a vision of excellence in secondary schools leadership. The main challenges that were identified by qualitative method were the lack of support by both the district office and school management or school leadership. The realisation of the vision of excellence is dependent on how the information is managed and disseminated by the school leadership, principals and SMTs. It appears that the realisation of the vision of excellence would enhance the level of understanding of new developments in the education system including the curriculum change and technological advancement. / Educational Leadership and Management / M. Ed. (Education Management)