The study of abstract machines such as Turing machines, push down automata and finite state machines has played an important role in the advancement of computer science. It has led to developments in the theory of general purpose computers, compilers and string manipulation as well as many other areas. The language associated with an abstract machine characterises an important aspect of the behaviour of that machine. It is therefore the principal object of interest when studying such a machine. In this thesis we consider abstract container data types to be abstract machines. We define the concept of a language associated with an abstract container data type and investigate this in the same spirit as for other abstract machines. We also consider a model which allows us to describe various abstract container data types. This model is studied in a similar manner. There is a rich selection of problems to investigate. For instance, the data items which the abstract container data types operate on can take many forms. The input stream could consist of distinct data items, say 1, 2,..., n, or it could be a word over the binary alphabet. Alternatively it could be a sequence formed from the data items in some arbitrary multiset. Another consideration is whether or not an abstract data type has a finite storage capacity. It is shown how to construct a regular grammar which generates (an encoded form of) the set of permutations which can be realised by moving tokens through a network. A one to one correspondence is given between ordered forests of bounded height and members of the language associated with a bounded capacity priority queue operating on binary data. A number of related results are also proved; in particular for networks operating on binary data, and priority queues of capacity 2.

The objectives of the study were: (1) to determine whether staff and leaders differ significantly in terms of their perceptions of leaders’ emotional intelligence and retention factors; (2) to investigate the relationship between personality types (as measured by the Myers-Briggs Type Indicator), emotional intelligence (as measured by the Emotional Competency Profiler), and retention factors (as measured by the Retention Factor Scale); and (3) to determine whether demographical groups differ significantly in terms of the retention factor variables. A non-probability purposive sample of 160 working adults from an organisation within the asset management industry participated in the study. The research findings indicated that there is a difference in terms of leaders’ and staff’s perceptions of leaders’ emotional intelligence and retention factors. There is a relationship between leaders’ personality types, emotional intelligence and retention factors. Biographical groups (gender, race and age groups, and business units) differed in terms of the retention factors. The findings contributed valuable new knowledge that may be used for organisational retention practices. / Industrial and Organisational Psychology

This thesis aims at examining the contribution of Vocational Education and Training (VET) to advancing Human Development (HD) and reducing inequality, using the example of Palestine as case-study rich in multi-layered inequalities, some of which are experienced in the region and worldwide, while others are specific to adverse conditions. The case of Palestine provides fertile ground for understanding inequality and human development, and for echoing the developed knowledge through to the understanding of VET and HD globally. The thesis contributes to the previous work on VET and HD introduced by McGrath (2012c) and shaped by many scholars, including McGrath and Powell, through the Capability Approach (CA). It uses Powell’s (2014) work on “aspiration” and capability lists (CL) and relates VET to human development within the Palestinian context. The thesis provides empirical evidence of the VET Learners’ and graduates’ capabilities and functions achievements through VET in the adverse conditions present in the Palestinian context. The thesis validates and develops the VET CL, integrating inequality elements and linking it to political economy theory. The thesis utilises Gender and Development Theory (GAD), complemented by the intersectionality approach. The research borrows Kabeer’s (1999) “empowerment framework”, based on the notion of “choice” in addressing disempowerment, to analyse how VET can contribute to reducing inequality. The thesis also engages with Political Economy arguments and specifically the work of Phillip Brown, Andy Green and Hugh Lauder (2001) on the need for “social transformation” to achieve the aim of a high skill society, suggesting an increased role for government and social partners and the political will for skills upgrading. In this regard, the thesis analyses how adopted policies are used to reduce or reproduce inequalities. The research used quantitative and qualitative methods, and engaged 1,240 people representing VET graduates, students, teachers, counsellors and management of VET institutes, in addition to policymakers on national and regional levels, as well as teachers and principals of general schools, employers, community representatives and government officials. 33 VET institutions were engaged representing the different VET providers being; governmental, non-governmental, semi-governmental and UN bodies. Selected institutes and consulted people presented different identified inequality elements. The Thesis presented empirical evidence on the increased value of VET for the marginalised, and for marginalised communities in adverse conditions. It presented that VET graduates’ achievements in employment, self-employment and different kind of work as well as in their speed in transiting to the World of Work (WOW) in comparison to their peers. Also presented their ability to generate income and other economic resources for poverty reduction and starting new families. In addition, it highlighted the empowerment achievements of the graduates and its link to achieving their aspirations. Confirming the transformation of the graduates through empowering the dis-empowered. Nevertheless, graduates were faced with internal and external structural challenges. Internal in social attitudes and institutional policies and measures, while the external is in the military occupation and its effects on mobility and socio-economic status. The structural challenges have clearly affected graduates functionings, and achievements of empowerment and aspirations. The thesis presented models of institutes and best-practices by others to support VET learners in overcoming some of the internal challenges, and highlighted the deficits in national policies and measures, it also highlighted a major international deficit. In addition, the thesis has presented the VET contribution to marginalised community resilience. The thesis presented methods of measuring empowerment, functionings and achievement of aspirations as voiced out from VET graduates and learners and triangulated with other resources. One of the main contributions of the thesis is in bringing in GAD to CA in HD approach to VET, and in linking them to political economy, providing a holistic framework to examine VET contribution to HD and reducing inequality. The thesis was able to link arguments about VET and inequality in an international context, and provided empirical evidence for the significance of the link between VET and empowerment in the reduction of inequality, thus indicating the importance of VET in the debate on inequality, and the importance of empowerment measures and goals for identifying the role of VET in reducing inequality and advancing human development.

Bonds are a type of debt securities, which are regulated by the Act on Bonds (the Act No. 190/2004 Coll., as amended). In the Czech Republic, bonds are used to finance especially the government is especially financed through bond issuing. Despite bonds are not widespread across private companies or territorial self-governing units at the moment, in the future they might play a bigger role and become a competitor to the traditional ways of financing (e.g. bank loans) thanks to their advantages. The purpose of this master's thesis is to introduce the legal regulation of bonds, to distinguish bonds from different ways of financing, including description of their advantages and disadvantages, to analyze particular requirements of bonds, to describe the process of bonds issuing and finally to divide bonds into categories according to various standpoints. The thesis is composed of five chapters. The first chapter focuses on the formal sources of Czech and European bond law and on the concept of a bond, including its characteristic features. The second chapter concerns with the comparison of bonds to other ways of financing. For purposes of this thesis a company was chosen as a role issuer for the comparison. This chapter also introduces the advantages and disadvantages of bonds in relation to theirs...

Four grids, each 3,42 ha (4 morgen) in size, were live trapped from April 1967 through May 1969 in two soil and vegetation types (black turf~ Acacia nigrescens community, and brown reddish soil: Acacia tortilis community) at Pongola, northern Zululand, to determine the effect of dieldrin coverspraying, at a dosage of 87,4 g/hectare (2,64 oz/morgen), on rodents. Low population numbers before and especially at the time of spraying made clear-cut conclusions impossible to reach. Rodent populations (mainly Praomys (Mastomys) natalensis, Saccostomus campestris, and Lemniscomys griselda) were apparently not adversely effected, although L. griselda numbers showed a decline which was not in correspondence with that on the control area. This might be ascribed to dieldrin spraying. Relatively higher numbers of s. campestris and L. griselda were observed during periods of lower P.( M.) ~talensis numbers. Decreases in P.( Me) natalensis populations coincided with times of food scarcity. Praomys (Mastomys) natalensis are thus found in association with other rodents when abundant food is available, but seems to give way when competition due to food scarcity occurs. Reproductive data obtained from the study were too meagre to allow any conclusions concerning the effect of spraying thereon. The method involving the calculation of maximum distance between captures was used to express movement patterns of the species studied. Populat~on structure is express~d in terms of sex ratios, and frequency per mass class for each season. The size of animals was investigated by measuring total length, tail length, and head and body length. Behavioural features of the species captured were also noted. / Dissertation (MSc)--University of Pretoria, 1972. / gm2014 / Zoology and Entomology / Unrestricted

L'objet de cette thèse est l'extension des méthodes de la théorie des types intersections non-idempotents, introduite par Gardner et de Carvalho, à des cadres dépassant le lambda-calcul stricto sensu.- Nous proposons d'abord une caractérisation de la normalisation de tête et de la normalisation forte du lambda-mu calcul (déduction naturelle classique) en introduisant des types unions non-idempotents. Comme dans le cas intuitionniste, la non-idempotence nous permet d'extraire du typage des informations quantitatives ainsi que des preuves de terminaison beaucoup plus élémentaires que dans le cas idempotent. Ces résultats nous conduisent à définir une variante à petits pas du lambda-mu-calcul, dans lequel la normalisation forte est aussi caractérisée avec des méthodes quantitatives. - Dans un deuxième temps, nous étendons la caractérisation de la normalisation faible dans le lambda-calcul pur à un lambda-calcul infinitaire étroitement lié aux arbres de Böhm et dû à Klop et al. Ceci donne une réponse positive à une question connue comme le problème de Klop. À cette fin, il est nécessaire d'introduire conjointement un système (système S) de types infinis utilisant une intersection que nous qualifions de séquentielle, et un critère de validité servant à se débarrasser des preuves dégénérées auxquelles les grammaires coinductives de types donnent naissance. Ceci nous permet aussi de donner une solution au problème n°20 de TLCA (caractérisation par les types des permutations héréditaires). Il est à noter que ces deux problèmes n'ont pas de solution dans le cas fini (Tatsuta, 2007).- Enfin, nous étudions le pouvoir expressif des grammaires coinductives de types, en dehors de tout critère de validité. Nous devons encore recourir au système S et nous montrons que tout terme est typable de façon non triviale avec des types infinis et que l'on peut extraire de ces typages des informations sémantiques comme l'ordre (arité) de n'importe quel lambda-terme. Ceci nous amène à introduire une méthode permettant de typer des termes totalement non-productifs, dits termes muets, inspirée de la logique du premier ordre. Ce résultat prouve que, dans l'extension coinductive du modèle relationnel, tout terme a une interprétation non vide. En utilisant une méthode similaire, nous montrons aussi que le système S collapse surjectivement sur l'ensemble des points de ce modèle. / In this dissertation, we extend the methods of non-idempotent intersection type theory, pioneered by Gardner and de Carvalho, to some calculi beyond the lambda-calculus.- We first present a characterization of head and strong normalization in the lambda-mu calculus (classical natural deduction) by introducing non-idempotent union types. As in the intuitionistic case, non-idempotency allows us to extract quantitative information from the typing derivations and we obtain proofs of termination that are far more elementary than those in the idempotent case. These results leads us to define a small-step variant of the lambda-mu calculus, in which strong normalization is also characterized by means of quantitative methods.- In the second part of the dissertation, we extend the characterization of weak normalization in the pure lambda-calculus to an infinitary lambda-calculus narrowly related to Böhm trees, which was introduced by Klop et al. This gives a positive answer to a question known as Klop's problem. In that purpose, it is necessary to simultaneously introduce a system (system S) featuring infinite types and resorting to an intersection operator that we call sequential, and a validity criterion in order to discard unsound proofs that coinductive grammars give rise to. This also allows us to give a solution to TLCA problem #20 (type-theoretic characterization of hereditary permutations). It is to be noted that those two problem do not have a solution in the finite case (Tatsuta, 2007).- Finally, we study the expressive power of coinductive type grammars, without any validity criterion. We must once more resort to system S and we show that every term is typable in a non-trivial way with infinite types and that one can extract semantical information from those typings e.g. the order (arity) of any lambda-term. This leads us to introduce a method that allows typing totally unproductive terms (the so-called mute terms), which is inspired from first order logic. This result establishes that, in the coinductive extension of the relational model, every term has a non-empty interpretation. Using a similar method, we also prove that system S surjectively collapses on the set of points of this model

Growth of Corbicula fluminea was monitored in the laboratory. Three experiments were conducted. Experiment I utilized three substrates and one food type. Experiment II utilized three substrates and two food types. Experiments I and II were conducted to determine if substrate type or food type effected growth. Experiment III used no substrates, one food type and was conducted to determine growth response to different types of water. Clams were maintained in three substrates: sand, gravel and clay. Clams were also maintained without substrate. Growth was monitored by measuring shell length (mm) and recording the weight (mg) of clams over a period of thirty days. At the end of the test period data were evaluated for normality and homogeneity.

Healthcare-Associated Infections (HAIs) continue to be an epidemiological issue burdening patients and public health systems worldwide. The purpose of this study was to determine if specific healthcare facility types (Acute Care Hospitals, Long Term Acute Care Hospitals, and Inpatient Rehabilitation Facilities) were associated with particular categories of HAIs: Ventilator-Associated Pneumonias (VAPs), Central Line-Associated Bloodstream Infections (CLABSIs), and Catheter-Associated Urinary Tract Infections (CAUTIs). The theoretical framework for this study was the environmental determinants of infectious disease framework. A single research question focused on whether an association existed among the specified health care facility types and HAIs. Three independent categorical variables were used, including Acute Care Hospitals, Long Term Acute Care Hospitals, and Inpatient Rehabilitation Facilities, and 3 dependent variables were used, comprising of VAPs, CAUTIs, and CLABSIs. A quantitative design engaged the chi-square test of association, using a 2012 population-level report of archival data collected by the Centers for Disease Control and Prevention's National Healthcare Safety Network. Seven groups of HAIs and facility types were tested, and the results revealed that 6 groups had statistically significant differences. This study may contribute to positive social change by helping to identify whether healthcare facility types are associated with HAIs and to supply evidence to stakeholders to support standardization of best practices across all facility types, thus contributing to the reduction of HAIs in the United States.

Dependent types offer a uniform foundation for both proof systems and programming languages. While the proof systems built with dependent types have become relatively popular, dependently typed programming languages are far from mainstream. One key issue with existing dependently typed languages is the overly conservative definitional equality that programmers are forced to use. When combined with a traditional typing workflow, these systems can be quite challenging and require a large amount of expertise to master. This thesis explores an alternative workflow and a more liberal handling of equality. Programmers are given warnings that contain the same information as the type errors that would be given by an existing system. Programmers can run these programs optimistically, and they will behave appropriately unless a direct contradiction confirming the warning is found. This is achieved by localizing equality constraints using a new form of elaboration based on bidirectional type inference. These local checks, or casts, are given a runtime behavior (similar to those of contracts and monitors). The elaborated terms have a weakened form of type soundness: they will not get stuck without an explicit counter example. The language explored in this thesis will be a Calculus of Constructions like language with recursion, type-in-type, data types with dependent indexing and pattern matching. Several meta-theoretic results will be presented. The key result is that the core language, called the cast system, "will not get stuck without a counter example"; a result called cast soundness. A proof of cast soundness is fully worked out for the fragment of the system without user defined data, and a Coq proof is available. Several other properties based on the gradual guarantees of gradual typing are also presented. In the presence of user defined data and pattern matching these properties are conjectured to hold. A prototype implementation of this work is available.

No description available.