Global ETD Search

411	Organisational culture and transformation : the role of the Department of Public Service and Administration Clapper, Valiant Abel 11 1900 (has links) D. Admin. (Public Administration) Organisational culture Public service transformation Maternal holding culture Interpretive schemes Logics of action Second order ·change Sub-cultures Organisational climate Basic assumptions Values Artefacts 352.3670968 Organizational change -- South Africa. Corporate culture -- South Africa Civil service reform -- South Africa
412	Resistive switching in BiFeO3-based thin films and reconfigurable logic applications You, Tiangui 25 October 2016 (has links) The downscaling of transistors is assumed to come to an end within the next years, and the semiconductor nonvolatile memories are facing the same physical downscaling challenge. Therefore, it is necessary to consider new computing paradigms and new memory concepts. Resistive switching devices (also referred to as memristive switches) are two-terminal passive device, which offer a nonvolatile switching behavior by applying short bias pulses. They have been considered as one of the most promising candidates for next generation memory and nonvolatile logic applications. They provide the possibility to carry out the information processing and storage simultaneously using the same resistive switching device. This dissertation focuses on the fabrication and characterization of BiFeO3 (BFO)-based metal-insulator-metal (MIM) devices in order to exploit the potential applications in nonvolatile memory and nonvolatile reconfigurable logics. Electroforming-free bipolar resistive switching was observed in MIM structures with BFO single layer thin film. The resistive switching mechanism is understood by a model of a tunable bottom Schottky barrier. The oxygen vacancies act as the mobile donors which can be redistributed under the writing bias to change the bottom Schottky barrier height and consequently change the resistance of the MIM structures. The Ti atoms diffusing from the bottom electrode act as the fixed donors which can effectively trap and release oxygen vacancies and consequently stabilize the resistive switching characteristics. The resistive switching behavior can be engineered by Ti implantation of the bottom electrodes. MIM structures with BiFeO3/Ti:BiFeO3 (BFO/BFTO) bilayer thin films show nonvolatile resistive switching behavior in both positive and negative bias range without electroforming process. The resistance state of BFO/BFTO bilayer structures depends not only on the writing bias, but also on the polarity of reading bias. For reconfigurable logic applications, the polarity of the reading bias can be used as an additional logic variable, which makes it feasible to program and store all 16 Boolean logic functions simultaneously into the same single cell of BFO/BFTO bilayer MIM structure in three logic cycles. / Die Herunterskalierung von Transistoren für die Informationsverarbeitung in der Halbleiterindustrie wird in den nächsten Jahren zu einem Ende kommen. Auch die Herunterskalierung von nichtflüchtigen Speichern für die Informationsspeicherung sieht ähnlichen Herausforderungen entgegen. Es ist daher notwendig, neue IT-Paradigmen und neue Speicherkonzepte zu entwickeln. Das Widerstandsschaltbauelement ist ein elektrisches passives Bauelement, in dem ein der Widerstand mittels elektrischer Spannungspulse geändert wird. Solche Widerstandsschaltbauelemente zählen zu den aussichtsreichsten Kandidaten für die nächste Generation von nichtflüchtigen Speichern sowie für eine rekonfigurierbare Logik. Sie bieten die Möglichkeit zur gleichzeitigen Informationsverarbeitung und -speicherung. Der Fokus der vorliegenden Arbeit liegt bei der Herstellung und der Charakterisierung von BiFeO 3 (BFO)-basierenden Metal-insulator-Metall (MIM) Strukturen, um zukünftig deren Anwendung in nichtflüchtigen Speichern und in rekonfigurierbaren Logikschaltungen zu ermöglichen. Das Widerstandsschalten wurde in MIM-Strukturen mit einer BFO-Einzelschicht untersucht. Ein besonderes Merkmal von BFO-basierten MIM-Strukturen ist es, dass keine elektrische Formierung notwendig ist. Der Widerstandsschaltmechnismus wird durch das Modell einer variierten Schottky-Barriere erklärt. Dabei dienen Sauerstoff-Vakanzen im BFO als beweglichen Donatoren, die unter der Wirkung eines elektrischen Schreibspannungspulses nichtflüchtig umverteilt werden und die Schottky-Barriere des Bottom-Metallkontaktes ändern. Dabei spielen die während der Herstellung von BFO substitutionell eingebaute Ti-Donatoren in der Nähe des Bottom-Metallkontaktes eine wesentliche Rolle. Die Ti-Donatoren fangen Sauerstoff-Vakanzen beim Anlegen eines positiven elektrischen Schreibspannungspulses ein oder lassen diese beim Anlegen eines negativen elektrischen Schreibspannungspules wieder frei. Es wurde gezeigt, dass die Ti-Donatoren auch durch Ti-Implantation der Bottom-Elektrode in das System eingebracht werden können. MIM-Strukturen mit BiFeO 3 /Ti:BiFeO 3 (BFO/BFTO) Zweischichten weisen substitutionell eingebaute Ti-Donatoren sowohl nahe der Bottom-Elektrode als auch nahe der Top-Elektrode auf. Sie zeigen nichtflüchtiges, komplementäres Widerstandsschalten mit einer komplementär variierbaren Schottky-Barriere an der Bottom-Elektrode und an der Top-Elektrode ohne elektrische Formierung. Der Widerstand der BFO/BFTO-MIM-Strukturen hängt nicht nur von der Schreibspannung, sondern auch von der Polarität der Lesespannung ab. Für die rekonfigurierbaren logischen Anwendungen kann die Polarität der Lesespannung als zusätzliche Logikvariable verwendet werden. Damit gelingt die Programmierung und Speicherung aller 16 Booleschen Logik-Funktionen mit drei logischen Zyklen in dieselbe BFTO/BFO MIM-Struktur. info:eu-repo/classification/ddc/621 ddc:621 info:eu-repo/classification/ddc/537 ddc:537
413	Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models Klüppelholz, Sascha 19 March 2012 (has links) Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the functioning of such systems is rapidly growing together with the costs and the impact of system failures. At the same time the complexity of hardware and software systems extends to new limits as modern hardware architectures become more and more parallel, dynamic and heterogenous. These trends demand for a closer integration of formal methods and system engineering to show the correctness of complex systems within the design phase of large projects. The goal of this thesis is to introduce a formal holistic approach for modeling, analysis and synthesis of parallel systems that potentially addresses complex system behavior at any layer of the hardware/software stack. Due to the complexity of modern hardware and software systems, we aim to have a hierarchical modeling framework that allows to specify the behavior of a parallel system at various levels of abstraction and that facilitates designing complex systems in an iterative refinement procedure, in which more detailed behavior is added successively to the system description. In this context, the major challenge is to provide modeling formalisms that are expressive enough to address all of the above issues and are at the same time amenable to the application of formal methods for proving that the system behavior conforms to its specification. In particular, we are interested in specification formalisms that allow to apply formal verification techniques such that the underlying model checking problems are still decidable within reasonable time and space bounds. The presented work relies on an exogenous modeling approach that allows a clear separation of coordination and computation and provides an operational semantic model where formal methods such as model checking are well suited and applicable. The channel-based exogenous coordination language Reo is used as modeling formalism as it supports hierarchical modeling in an iterative top-down refinement procedure. It facilitates reusability, exchangeability, and heterogeneity of components and forms the basis to apply formal verification methods. At the same time Reo has a clear formal semantics based on automata, which serve as foundation to apply formal methods such as model checking. In this thesis new modeling languages are presented that allow specifying complex systems in terms of Reo and automata models which yield the basis for a holistic approach on modeling, verification and synthesis of parallel systems. The second main contribution of this thesis are tailored branching-time and alternating time temporal logics as well as corresponding model checking algorithms. The thesis includes results on the theoretical complexity of the underlying model checking problems as well as practical results. For the latter the presented approach has been implemented in the symbolic verification tool set Vereofy. The implementation within Vereofy and evaluation of the branching-time and alternating-time model checker is the third main contribution of this thesis. info:eu-repo/classification/ddc/004 ddc:004
414	An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences Newsom, Eric Tyner 12 November 2013 (has links) Indiana University-Purdue University Indianapolis (IUPUI) / The amount of information produced in the form of electronic free text in healthcare is increasing to levels incapable of being processed by humans for advancement of his/her professional practice. Information extraction (IE) is a sub-field of natural language processing with the goal of data reduction of unstructured free text. Pertinent to IE is an annotated corpus that frames how IE methods should create a logical expression necessary for processing meaning of text. Most annotation approaches seek to maximize meaning and knowledge by chunking sentences into phrases and mapping these phrases to a knowledge source to create a logical expression. However, these studies consistently have problems addressing semantics and none have addressed the issue of semantic similarity (or synonymy) to achieve data reduction. To achieve data reduction, a successful methodology for data reduction is dependent on a framework that can represent currently popular phrasal methods of IE but also fully represent the sentence. This study explores and reports on the benefits, problems, and requirements to using the predicate-argument statement (PAS) as the framework. A convenient sample from a prior study with ten synsets of 100 unique sentences from radiology reports deemed by domain experts to mean the same thing will be the text from which PAS structures are formed. Natural Language Processing Information Extraction Predicate-Argument Structure Semantic Similarity Computational linguistics -- Analysis Semantic computing -- Research Semantics -- Data processing Description logics Data mining Semantic Web Text processing (Computer science) Predicate (Logic) Medical informatics -- Data processing
415	Mer än bara fotboll : En etnografisk studie av fotbollens samhällsnytta: när idrott förväntas agera och lösa sociala utmaningar i en segregerad storstad / More than just football : An ethnographic study of the societal benefits of football: when sport is expected to act and solve social challenges in a segregated city Öström, Niklas January 2022 (has links) This master’s thesis in ethnology aim to enlighten the driving forces behind why a local football club, in a segregated residential area, outside of Stockholm in Sweden, chooses to develop its association in a more social direction. This is a cultural study of why football, as a cultural phenomenon, is expected to be able to solve social problems, and more generally how is sport considered a tool and a solution to social problems? Why is football expected to be able to solve segregation in a socio-economically vulnerable areas, of those who lead the sports activities? The empirical material of this essay has been collected through oral interviews from leaders of the association and government officials. Material from the association's development documents, state active board members from the association, government documents, and news articles have also been analyzed. By using the Political Discourse Theory by Ernesto Laclau and Chantal Mouffe (2008 [1985]), the situations for how the sports activities have been designed can be seen as made in relation to the general hegemonic discourse on the social benefits of sport. It is also possible to discover how government grants work as guidelines and point out what the sports movement should perform under state supervision. Logics of Critical Explanation in Social and Political Theory (2007), by Jason Glynos and David Howarth, are used in the analysis and especially their fantasmatic logic has given this study an insight into the idea or perception that football leaders have of the outside world, in this case the idea of the social benefit of sport. Which in turn can explain why they in turn invest their commitment in and attract their drive from these ideas because the conviction is about being able to change the socio-economic situation in their local area. In the end, however, it turns out that neither sport nor football alone cannot serve as the solution in the fight against child poverty, criminal activity, and segregation. Sport’s simply does not have all the characteristics required to reform, challenge, or question a social order created or even built on inequality and segregation. But this in no way takes sport into account in contexts where it can socially contribute to a community that can play a significant role for its participants in their everyday lives. Ethnology Cultural studies Political Discourse Theory Ethnography Cultural and Ethnic Segregation Sport as social work Civil society Football Suburbs Sport as Social Policies Politisk diskursteori Etnografi Kulturell och etnisk segregation Idrott som socialt arbete Civilsamhälle Fotboll Förorter Idrott som socialpolitik Ethnology Etnologi
416	Licence to Talk : Sustainability Managers and their Managerial Realities within the Corporate Sustainability Paradox El hajjari Borg, Mounia, Sundberg, Elin January 2021 (has links) While sustainability-dedicated managers and related titles represent a profession that has hardly existed for more than a decade, it is not surprising that the field of research concentrating on these professionals is in itself relatively new. With an increasing demand for corporations to take their social and environmental responsibility, and a corporate sustainability characterized by tension and paradox, we found it of importance to explore the role and entanglements of these professionals. By analysing 17 in-depth interviews with sustainability-dedicated professionals from the private sector in Sweden, our interpretation is that sustainability managers hold the function of selling sustainability, with talk as their main weapon. Expressly, in the intersection between business-case logics and sustainability logics, sustainability managers have to, above all, make a convincing case for sustainability, inwards and outwards. Therefore, they draw dynamically on different narratives which we conceptualise in three roles: the chameleon, the pragmatic, and the nagging manager. Through these roles, we intend to capture the fluidity with which the managers relate and engage with sustainability, and hence we do not mean to ossify a role’s dynamics within a single, static or stereotypical category. We discuss these findings and concepts to the background of previous studies and existing literature. Sustainability managers sustainability-dedicated professionals sustainable development sustainable management corporate sustainability corporate paradox CSR stakeholders governance sustainability strategies communication strategic communication sustainability reporting non-financial disclosure private sector in Sweden paradox approach paradox perspective business case social and environmental responsibility organizations multinationals MNC Nils Brunsson organizational theory organizational hypocrisy neo-institutionalism organizational individuals decision-making action business operations isomorphism institutional logics market logics reporting frameworks GRI global reporting initiative walk the talk change making change agent systemic change behaviour and human resources identity work organizational sociology legitimacy Hållbarhetschefer hållbarhetsrelaterade roller hållbar utveckling hållbar ledning hållbarhet paradox CSR intressenter styrning hållbarhetsstrategier kommunikation strategisk kommunikation hållbarhetsrapportering icke-finansiell information privat sektor i Sverige paradox perspektiv affärsstrategi socialt och miljöansvar organisationer multinationella företag MNC Nils Brunsson organisationsteori organizational hypocrisy hyckleri neo-institutionalism organisatoriska individer individnivå beslutsfattande affärsverksamhet isomorfism institutionell logik marknadslogik rapporteringsramverk GRI global reporting initiativ walk the talk förändringsarbete förändringsagent systemförändring beteende och mänskliga resurser identitetsarbete organisatorisk sociologi legitimitet externa och interna påtryckningar. Social Sciences Samhällsvetenskap

Page generated in 0.0404 seconds