783 resultados para Fundamentals of computing theory


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis presents the results of a multi-method investigation of employee perceptions of fairness in relation to their career management experiences. Organisational justice theory (OJT) was developed as a theoretical framework and data were gathered via 325 quantitative questionnaires, 20 semi-structured interviews and the analysis of a variety of company documents and materials. The results of the questionnaire survey provided strong support for the salience of employee perceptions of justice in regard to their evaluations of organisational career management (OCM) practices, with statistical support emerging for both an agent-systems and interaction model of organisational justice. The qualitative semi-structured interviews provided more detailed analysis of how fairness was experienced in practice, and confirmed the importance of the OJT constructs of fairness within this career management context. Fairness themes to emerge from this analysis included, equity, needs, voice, bias suppression, consistency, ethicality, respect and feedback drawing on many of the central tenants of distributive, procedural, interpersonal and information justice. For the career management literature there is empirical confirmation of a new theoretical framework for understanding employee evaluations of, and reactions to, OCM practices. For the justice literatures a new contextual domain is explored and confirmed, thus extending further the influence and applicability of the theory. For practitioners a new framework for developing, delivering and evaluating their own OCM policies and systems is presented.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The preThe present work is a study of the optical properties of some surfaces, in order to determine their applications in solar energy utilisation. An attempt has been made to investigate and measure the optical properties of two systems of surface moderately selective surfaces like thermally grown oxide of titanium, titanium oxide en aluminium and thermally grown oxides of stainless steel; and, selective surfaces of five different coloured stainless at (INCO surfaces) and of black nickel foil. A calorimetric instrument based on the steady state method for measuring directly the total emittance has been designed. Chapter 1 is an introductory survey of selective surface. It also includes a brief review of various preparation techniques in use since 1955. Chapter 2 investigates the theory of selective surfaces, defining their optical properties and their figures of merit. It also outlines the method of computing the optical properties (i.e. absorptance, a, and emittance, a) which have been adopted for the present work. Chapter 3 describes the measuring technique and the modes of operation of the equipment used in the experimental work carried out. Chapter 4 gives the results of the experimental work to measure the optical properties, the life testing and chemical composition of the surfaces under study. Chapter 5 deals with the experimentation leading to the design of a calorimetric instrument for measuring the total emmitance directly. Chapter 6 presents concluding remarks about the outcome of the present work and some suggestions for further work. sent work is a study of the optical properties of some surfaces, in order to determine their applications in solar energy utilisation. An attempt has been made to investigate and measure the optical properties of two systems of surface moderately selective surfaces like thermally grown oxide of titanium, titanium oxide en aluminium and thermally grown oxides of stainless steel; and, selective surfaces of five different coloured stainless at (INCO surfaces) and of black nickel foil. A calorimetric instrument based on the steady state method for measuring directly the total emittance has been designed. Chapter 1 is an introductory survey of selective surface. It also includes a brief review of various preparation techniques in use since 1955. Chapter 2 investigates the theory of selective surfaces, defining their optical properties and their figures of merit. It also outlines the method of computing the optical properties (i.e. absorptance, a, and emittance, a) which have been adopted for the present work. Chapter 3 describes the measuring technique and the modes of operation of the equipment used in the experimental work carried out. Chapter 4 gives the results of the experimental work to measure the optical properties, the life testing and chemical composition of the surfaces under study. Chapter 5 deals with the experimentation leading to the design of a calorimetric instrument for measuring the total emmitance directly. Chapter 6 presents concluding remarks about the outcome of the present work and some suggestions for further work.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A wide range of definitions of supply chain management (SCM) have been developed over the last three decades. The philosophy of SCM is based firmly on a recognition that it is only by working in a more integrated manner that competitive advantage can be maximised. However, for this to become a reality the development of common definitions and understandings between supply chain partners is a critical success factor. The corollary of this is that a lack of definitional consistency and a common understanding is an inhibitor to the successful adoption of SCM thinking in practice. This paper reviews a number of definitions of SCM, as well as discussions and analyses of such definitions. This leads to the central point posited in the paper – the need for a ‘unified definition’. Such a definitional construct, labelled the Four Fundamentals of SCM, is proposed with the core of the paper providing a narrative description of this construct based on a wide range of literature.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Novel computing systems are increasingly being composed of large numbers of heterogeneous components, each with potentially different goals or local perspectives, and connected in networks which change over time. Management of such systems quickly becomes infeasible for humans. As such, future computing systems should be able to achieve advanced levels of autonomous behaviour. In this context, the system's ability to be self-aware and be able to self-express becomes important. This paper surveys definitions and current understanding of self-awareness and self-expression in biology and cognitive science. Subsequently, previous efforts to apply these concepts to computing systems are described. This has enabled the development of novel working definitions for self-awareness and self-expression within the context of computing systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper is part of a work in progress whose goal is to construct a fast, practical algorithm for the vertex separation (VS) of cactus graphs. We prove a \main theorem for cacti", a necessary and sufficient condition for the VS of a cactus graph being k. Further, we investigate the ensuing ramifications that prevent the construction of an algorithm based on that theorem only.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

*Partially supported by NATO.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We investigate the NP-complete problem Vertex Separation (VS) on Maximal Outerplanar Graphs (mops). We formulate and prove a “main theorem for mops”, a necessary and sufficient condition for the vertex separation of a mop being k. The main theorem reduces the vertex separation of mops to a special kind of stretchability, one that we call affixability, of submops.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the specific area of software engineering (SE) for self-adaptive systems (SASs) there is a growing research awareness about the synergy between SE and artificial intelligence (AI). However, just few significant results have been published so far. In this paper, we propose a novel and formal Bayesian definition of surprise as the basis for quantitative analysis to measure degrees of uncertainty and deviations of self-adaptive systems from normal behavior. A surprise measures how observed data affects the models or assumptions of the world during runtime. The key idea is that a "surprising" event can be defined as one that causes a large divergence between the belief distributions prior to and posterior to the event occurring. In such a case the system may decide either to adapt accordingly or to flag that an abnormal situation is happening. In this paper, we discuss possible applications of Bayesian theory of surprise for the case of self-adaptive systems using Bayesian dynamic decision networks. Copyright © 2014 ACM.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Chlamydia is a common sexually transmitted infection that has potentially serious consequences unless detected and treated early. The health service in the UK offers clinic-based testing for chlamydia but uptake is low. Identifying the predictors of testing behaviours may inform interventions to increase uptake. Self-tests for chlamydia may facilitate testing and treatment in people who avoid clinic-based testing. Self-testing and being tested by a health care professional (HCP) involve two contrasting contexts that may influence testing behaviour. However, little is known about how predictors of behaviour differ as a function of context. In this study, theoretical models of behaviour were used to assess factors that may predict intention to test in two different contexts: self-testing and being tested by a HCP. Individuals searching for or reading about chlamydia testing online were recruited using Google Adwords. Participants completed an online questionnaire that addressed previous testing behaviour and measured constructs of the Theory of Planned Behaviour and Protection Motivation Theory, which propose a total of eight possible predictors of intention. The questionnaire was completed by 310 participants. Sufficient data for multiple regression were provided by 102 and 118 respondents for self-testing and testing by a HCP respectively. Intention to self-test was predicted by vulnerability and self-efficacy, with a trend-level effect for response efficacy. Intention to be tested by a HCP was predicted by vulnerability, attitude and subjective norm. Thus, intentions to carry out two testing behaviours with very similar goals can have different predictors depending on test context. We conclude that interventions to increase self-testing should be based on evidence specifically related to test context.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A spatial object consists of data assigned to points in a space. Spatial objects, such as memory states and three dimensional graphical scenes, are diverse and ubiquitous in computing. We develop a general theory of spatial objects by modelling abstract data types of spatial objects as topological algebras of functions. One useful algebra is that of continuous functions, with operations derived from operations on space and data, and equipped with the compact-open topology. Terms are used as abstract syntax for defining spatial objects and conditional equational specifications are used for reasoning. We pose a completeness problem: Given a selection of operations on spatial objects, do the terms approximate all the spatial objects to arbitrary accuracy? We give some general methods for solving the problem and consider their application to spatial objects with real number attributes. © 2011 British Computer Society.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

To the two classical reversible 1-bit logic gates, i.e. the identity gate (a.k.a. the follower) and the NOT gate (a.k.a. the inverter), we add an extra gate, the square root of NOT. Similarly, we add to the 24 classical reversible 2-bit circuits, both the square root of NOT and the controlled square root of NOT. This leads to a new kind of calculus, situated between classical reversible computing and quantum computing.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Stochastic arithmetic has been developed as a model for exact computing with imprecise data. Stochastic arithmetic provides confidence intervals for the numerical results and can be implemented in any existing numerical software by redefining types of the variables and overloading the operators on them. Here some properties of stochastic arithmetic are further investigated and applied to the computation of inner products and the solution to linear systems. Several numerical experiments are performed showing the efficiency of the proposed approach.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computer networks are a critical factor for the performance of a modern company. Managing networks is as important as managing any other aspect of the company’s performance and security. There are many tools and appliances for monitoring the traffic and analyzing the network flow security. They use different approaches and rely on a variety of characteristics of the network flows. Network researchers are still working on a common approach for security baselining that might enable early watch alerts. This research focuses on the network security models, particularly the Denial-of-Services (DoS) attacks mitigation, based on a network flow analysis using the flows measurements and the theory of Markov models. The content of the paper comprises the essentials of the author’s doctoral thesis.