In order to create synergy of sourcing activities in related diversified firms, some coordination mechanisms must be in place. Coordination by organizational structure, management control, and process, systems and tools are examined in the Norwegian utility industry. Sourcing is found to be coordinated across business units by centrally decided sourcing strategies defining overall goals and policy for the sourcing area. Sourcing is also coordinated by sourcing professionals and category managers operating as devised liaisons, coordinating the sourcing processes, and performing supplier and market management horizontally across the business units. Sourcing needs are pooled when appropriate. Coordination by joint planning and sharing of cost information is done. All the identified forms of synergy are found to be created; economies of scale, economies of information and learning and economies of process.

No description available.

A section of the total tangent space of a scheme X of finite type over a field k, i.e. a vector field on X, corresponds to an X-valued 1-jet on X. In the language of jets the notion of a vector field becomes functorial, and the total tangent space constitutes one of an infinite family of jet schemes Jm(X) for m ≥ 0. We prove that there exist families of “logarithmic” jet schemes JDm(X) for m ≥ 0, in the category of k-schemes of finite type, associated to any given X and its family of divisors D = (D₁, . . . ,Dr). The sections of JD₁(X) correspond to so-called vector fields on X with logarithmic poles along the family of divisors D = (D₁, . . . ,Dr). To prove this, we first introduce the categories of pairs (X,D) where D is as mentioned, an r-tuple of (effective Cartier) divisors on the scheme X. The categories of pairs provide a convenient framework for working with only those jets that pull back families of divisors.

Category theory is proving a useful tool in programming and program specification - not only as a descriptive language but as directly applicable to programming and specification tasks. Category theory achieves a level of generality of description at which computation is still possible. We show that theorems from category theory often have constructive proofs in the sense that they may be encoded as programs. In particular we look at the computation of colimits in categories showing that general theorems give rise to routines which considerably simplify the rather awkward computation of colimits. The general routines arising from categorical constructions can be used to build programs in the 'combinatorial' style of programming. We show this with an example - a program to implement the semantics of a specification language. More importantly, the intimate relationship between these routines and algebraic specifications allows us to develop programs from certain forms of specifications. Later we turn to algebraic specifications themselves and look at properties of "monadic theories". We establish that, under suitable conditions: 1. Signatures and presentations may be defined for monadic theories and free theories on a signature may be constructed. 2. Theory morphisms give rise to ad junctions between categories of algebras and moreover a collection of algebras of a theory give rise to a new theory with certain properties. 3. Finite colimits and certain factorisations exist in categories of monadic theories. 4. Many-sorted, order-sorted and even category-sorted theories may be handled by somewhat extending the notion of monadic theories. These results show that monadic theories are sufficiently well-behaved to be used in the semantics of algebraic specification languages. Some of the constructions can be encoded as programs by the techniques mentioned above.

Communication is very common in human life. In fact, we take communication for granted and do not think about the challenges involved except when miscommunication happens. When two people communicate, information is exchanged. Each piece of information that comes through eliminates a series of structural choices an individual has available to him. According to Shannon‟s information theory, information reduces uncertainty by selecting one item from a set of possible items. That is Information distinguishes between relevant and irrelevant items in a set essentially dividing the set into two categories. Knowing also implies distinction or classification. The purpose of this thesis is to investigate the relationship between information and knowledge by observing what happens when people communicate to each other in an experimental context. The focus of our observation is on three main situations: – 1. What happens when people communicate to each other in the context of known categorical attributes; 2. What happens when people communicate in the context of unknown categorical attributes; and 3. How is the communication process affected in the presence of known but misleading attributes as, for instance, in a situation of a cross-functional communication in organization? By studying the interaction between pairs of participants, we propose that information and categorical knowledge relate to each other, as in a duality, and influence the communication process. The study comprises four experimental conditions. This thesis provides a description of the experimental conditions, a brief report on what happened during people‟s performance, as well as some preliminary findings based on observations.

The notion of "partnership" dominates contemporary school improvement and educational reform agendas. Most discourse about partnerships between schools and universities historically relates to the apparent divide between practice and theory, between practitioner and academy. This study departs from these traditional perspectives to move beyond the divide between teachers and academics. Designing strategies for re-visioning this historical divide within the education community, between teachers and academics, engages the profession at all levels. Instead of simply re-visioning this divide, however, we can envision a professional place where the divide does not exist. Addressing this divide requires teachers and academics, when they do come together for the purpose of collaborative work of any kind, to actively seek to understand each other's work. This study examines one school and university partnership that was modelled on the principles of a Professional Development School. It investigates the meeting talk between groups of teachers and academics as they plan and report on a collaborative project aimed at improving Mathematics teaching practices in the school. Whereas most research investigating school and university partnerships addresses the outcomes of such partnerships, or attempts to describe and advocate for ideal partnerships, this study considers the actual interactional work of the participants as they engage in the everyday and ongoing activities of partnership. It shows how partnerships are constructed through talk and activity. Instead of considering the partnership as a predetermined and pre-existing phenomenon, this study adopts the view that the work of partnership is an ongoing accomplishment through the activity of the participants. In this way, this study shows the local social order of a partnership as it was built, maintained and transformed through the interactional work of the participants. Both the institutional setting and the participants' enactment of partnership work contribute to the establishment of the social and moral order of the partnership. The principal question addressed in the study asks how participants accomplish the partnership work through their social interactions with one another. It considers the interactional resources that the partners (teachers, interns and academics) use to construct their talk and interactions with one another in the project; and how the partners construct themselves and the other members as members of the partnership, as academics/researchers and as teachers. This study drew on ethnomethodological resources to develop understandings about how the participants accomplish the partnership work through their talk-in-interaction. The specific focus is the talk of partnership that occurred in meetings between members of the school and of the university. These meetings were audio-recorded, transcribed, and finely analysed using the techniques and procedures of conversation analysis and membership category analysis. These methodological resources revealed the social and moral orders at work. Analysis of the meeting talk shows the specific activities and relationships developed by the principal of the school in the accomplishment of the partnership; the ways in which the various participants develop and use their claims to expertise (or lack of it) in doing partnership work; and how participants use the institutional resource of meeting talk to accomplish the partnership work. The study is of significance to educators, teachers and academics. It provides new and rich understandings about how school and university partnerships are accomplished through the participants' meetings. It shows the resources that the participants use to construct and accomplish their different kinds of expertise, to enact the leadership activities required, and to co-construct the various features of partnership. The study offers analytic tools for uncovering the interactional resource of the participants. The ethnomethodological resources, particularly conversation analysis and membership category analysis, can be used to analyse in close detail the social interactions of participants in the institutional talk of meetings. In showing how the social and moral orders of partnerships are revealed and by offering understandings of the pragmatics of school and university partnership, the social structure of school and university partnerships is explicated. The study offers one example of what a school and university partnership can be like. Epistemologically, it explores and exposes the kinds of knowledge produced from this kind of accounting for school and university partnerships. It shows how the work of partnership can be accomplished by participants, rather than attempt to claim how it should be done.

Research Doctorate - Doctor of Philosophy (PhD) / It is difficult to decide when to replace (major components of) information systems (IS) used in large organisations. Obstacles include not only the cost and the technical complexities but also the fact that the workplace is dependent on the current IS and the users have familiarity with their functionalities. The problems become more complicated with increasing need for IS interconnectivity within and between organisations. Formal guidelines to assist in making replacement decisions are not commonly used. This thesis aims to develop a model of key factors involved in the IS replacement decision and to investigate the role of interoperability in this decision. It concentrates on the healthcare domain in NSW, Australia, which represents a complex distributed multilevel organisation, which has identified interoperability as a problem and has started initiatives to improve it. Research in IS and software engineering has shed light on many of the issues associated with the replacement decision. For example, studies in technology acceptance have explained why organisations delay in moving to new technologies, and modelled the effect of increasing popularity of such technologies. IS success models have explored the factors that contribute to success and failure of deployed systems, providing checklists to assess the appropriateness of current systems from the point of view of the users and other organisational stakeholders. Research into the value of user feedback has helped managers to align user expectations with workplace IS. In terms of software function, metrics have been developed to measure a range of factors including performance, usability, efficiency and reliability that help determine how well the systems are performing from a technical perspective. Additional research has identified important points to consider when comparing custom made systems versus buying off-the-shelf systems, such as skill availability and after sale support. Maturity models and life cycle analyses consider the effect of age on IS, and Lehman’s laws of software evolution highlight the need for maintenance if an IS is to survive. Improvements in interoperability at the information level have been achieved through domain specific standards for data integrity, and modular approaches for partial changes in IS. In particular, the healthcare domain has developed a number of standardised terminological systems such as SNOMED, LOINC, ICD and messaging standards such as HL7. Template high level data models have also been trialled as a way to ensure new IS remain compatible with existing systems. While this literature partially covers and contributes to the understanding of when and how to replace IS and/or components, to our knowledge there has been no attempt to provide an integrated model identifying factors to be considered in the replacement decision. The thesis adopts a multi method approach to build a model of IS replacement and to explore aspects of interoperability. Preliminary factors and their potential interactions were first identified from the literature. In depth interviews were conducted with 10 experts and 2 IS users to investigate the validity and importance of the factors and interactions and to elicit further potential items. The analysis of the transcripts guided review of further literature and contemporary data, which led to the development of a final model and insights into the role of interoperability. A member check was used to validate both the model and the researcher’s conclusions on interoperability. The final model is centred about the change request, that is, any request made by or on behalf of an executive officer in order to maintain or replace part or all of an IS. The change request is informed by user feedback but our research distinguishes the two factors because the change request factor filters and manages requests for change from multiple sources. Other factors that have an important direct or indirect effect on generating change requests include: the extent of system specialisation, that is, how the system is tailored to satisfy organisational requirements; popularity, the degree to which an IS or a component is liked or supported by its user community; the prevalence and severity of errors and failures in the systems; the usability and performance of the systems; and the adequacy of support, including training, documentation, and so on. The dependent factors are maintenance and replacement, determined through the change requests. The validation through member checking showed that IS practitioners found our model useful in explaining the replacement process. The model provided an interpretation of the change requests. By exposing and clustering reasons behind the change requests, the complexity of deciding whether to maintain or replace system components can be reduced. Individual factors can be addressed more specifically. Formal guidelines on whether to maintain or replace components or entire IS can be drawn up using this understanding. The factors and their interactions as explained in the model could be the basis of a decision tree, which would be customised for organisational jargon and priorities. The requirement for interoperability is an aspect of system specialisation. An important finding from the research was that one of the most significant reasons to change a system is when problems are encountered in exchanging data and information. Conversely, as long as systems can exchange data, there is less pressure to replace them. Organisations benefit more from systems that provide more support for interoperability. Findings on interoperability in the health domain were that existing messaging standards (mostly HL7) used in the information exchange between subsystems including legacy databases are useful and are used. Also, ambiguities are diminished with vocabularies (mostly SNOMED, LOINC and ICD are used in NSW health domain). However, a methodology known as Interoperability Framework supported by government funding bodies for comparing data models has not been adopted and is not given any significant credit by the users. Likewise, a government proposal to use an overarching high level data model has not been adopted, in part because it is too complex. To guide use of such a data model requires a methodology for comparing data models: an example of such a methodology is developed in this thesis. The thesis research found that replacement decisions in the healthcare domain are affected by the existing quasi-monopoly of large vendors which tend to use proprietary standards that limit interoperability. The research concludes that interoperability should be achieved by increased use of vendor-independent messaging and terminological standards. In order to get the co-operation of individual health institutions within the domain, initial investments should be concentrated on simple and easy to adopt standards. A primary limitation of this thesis is the extent of testing of the findings. Data from a broader range of organisations, in different sectors and different countries, is needed to validate the model and to guide development of decision making tools that are based on it. Particularly valuable would be case studies of IS replacement decision making and the process which executives use in determining change requests. The priorities of the factors and their attributes as well as the strengths of the relationships in the model need to be tested empirically using tailored survey instruments. Another interesting research avenue which was only touched on in the thesis was the effect of policies and legislation on interoperability and on replacement decisions.

Judgements of and sensitivity to style are ubiquitous. People become sensitive to the structural regularities of complex or “polymorphous” categories through exposure to individual examples, which allows them respond to new items that are of the same style as those previously experienced. This thesis investigates whether a dimension reduction mechanism could account for how people learn about the structure of complex categories. That is, whether through experience, people extract the primary dimensions of variation in a category and use these to analyse and categorise subsequent instances. We used Singular Value Decomposition (SVD) as the method of dimension reduction, which yields the main dimensions of variation of pixel-based stimuli (eigenvectors). We then tested whether a simple autoassociative network could learn to distinguish paintings by Picasso and Braque which were reconstructed from only these primary dimensions of variation. The network could correctly classify the stimuli, and its performance was optimal with reconstructions based on just the first few eigenvectors. Then we reconstructed the paintings using either just the first 10 (early reconstructions) or all 1,894 eigenvectors (full reconstructions), and asked human participants to categorise the images. We found that people could categorise the images with either the early or full reconstructions. Therefore, people could learn to distinguish category membership based on the reduced set of dimensions obtained from SVD. This suggests that a dimension reduction mechanism analogous to SVD may be operating when people learn about the structure and regularities in complex categories.

Judgements of and sensitivity to style are ubiquitous. People become sensitive to the structural regularities of complex or “polymorphous” categories through exposure to individual examples, which allows them respond to new items that are of the same style as those previously experienced. This thesis investigates whether a dimension reduction mechanism could account for how people learn about the structure of complex categories. That is, whether through experience, people extract the primary dimensions of variation in a category and use these to analyse and categorise subsequent instances. We used Singular Value Decomposition (SVD) as the method of dimension reduction, which yields the main dimensions of variation of pixel-based stimuli (eigenvectors). We then tested whether a simple autoassociative network could learn to distinguish paintings by Picasso and Braque which were reconstructed from only these primary dimensions of variation. The network could correctly classify the stimuli, and its performance was optimal with reconstructions based on just the first few eigenvectors. Then we reconstructed the paintings using either just the first 10 (early reconstructions) or all 1,894 eigenvectors (full reconstructions), and asked human participants to categorise the images. We found that people could categorise the images with either the early or full reconstructions. Therefore, people could learn to distinguish category membership based on the reduced set of dimensions obtained from SVD. This suggests that a dimension reduction mechanism analogous to SVD may be operating when people learn about the structure and regularities in complex categories.

In thinking about quantum causality one would like to approach rigorous QFT from outside the perspective of QFT, which one expects to recover only in a specific physical domain of quantum gravity. This thesis considers issues in causality using Category Theory, and their application to field theoretic observables. It appears that an abstract categorical Machian principle of duality for a ribbon graph calculus has the potential to incorporate the recent calculation of particle rest masses by Brannen, as well as the Bilson-Thompson characterisation of the particles of the Standard Model. This thesis shows how Veneziano n point functions may be recovered in such a framework, using cohomological techniques inspired by twistor theory and recent MHV techniques. This distinct approach fits into a rich framework of higher operads, leaving room for a generalisation to other physical amplitudes. The utility of operads raises the question of a categorical description for the underlying physical logic. We need to consider quantum analogues of a topos. Grothendieck's concept of a topos is a genuine extension of the notion of a space that incorporates a logic internal to itself. Conventional quantum logic has yet to be put into a form of equal utility, although its logic has been formulated in category theoretic terms. Axioms for a quantum topos are given in this thesis, in terms of braided monoidal categories. The associated logic is analysed and, in particular, elements of linear vector space logic are shown to be recovered. The usefulness of doing so for ordinary quantum computation was made apparent recently by Coecke et al. Vector spaces underly every notion of algebra, and a new perspective on it is therefore useful. The concept of state vector is also readdressed in the language of tricategories.