953 resultados para Relational algebra
Resumo:
Three experiments investigated the effect of complexity on children's understanding of a beam balance. In nonconflict problems, weights or distances varied, while the other was held constant. In conflict items, both weight and distance varied, and items were of three kinds: weight dominant, distance dominant, or balance (in which neither was dominant). In Experiment 1, 2-year-old children succeeded on nonconflict-weight and nonconflict-distance problems. This result was replicated in Experiment 2, but performance on conflict items did not exceed chance. In Experiment 3, 3- and 4-year-olds succeeded on all except conflict balance problems, while 5- and 6-year-olds succeeded on all problem types. The results were interpreted in terms of relational complexity theory. Children aged 2 to 4 years succeeded on problems that entailed binary relations, but 5- and 6-year-olds also succeeded on problems that entailed ternary relations. Ternary relations tasks from other domains-transitivity and class inclusion-accounted for 93% of the age-related variance in balance scale scores. (C) 2002 Elsevier Science (USA).
Resumo:
Many organisations make extensive use of electronic linkages to facilitate their trading exchanges with partners such as suppliers, distributors and customers. This research explores how the use of inter-organisational systems (IOS) both affects, and is affected by, the relationships between trading partners. In doing this, it brings together two existing but distinct perspectives and literatures; the rational view informed by IOS research, and the behavioural or relationship perspective embodied in inter-organisational relationships (IOR) literature. The research was undertaken in the European paper industry by means of six dyadic case studies. The dyads studied covered both traditional electronic data interchange systems and newer e-marketplace environments. A framework was derived from existing literature that integrates the two perspectives of interest. The framework was used to analyse the case studies undertaken and enabled the inter-relationship between IOS use and IOR to be explained.
Resumo:
Identity is traditionally defined as an emission concept (Kapferer, 2008). Yet, some research points out that there are external factors that that can influence it (Kennedy, 1975; Markwick e Fill, 1997; Balmer e Gray, 2000). This subject is even more interesting if one considers corporate brands. According to Aaker (2004) the number, the power and the credibility of corporate associations are bigger in the case corporate brands. Literature recognizes the influence of relationships between companies in identity management (Hakansson and Snehota, 1989, 1995; Hakansson and Ford, 2002). Yet, given the increasingly important role of corporate brands, it is surprising that to date no attempt to evaluate that influence has been made in corporate brand´s identity management and reputation. Also Keller and Lehman (2006) highlight relationships and costumer experience as two areas requiring more investigation. The authors argue that corporate brand´s identity can be developed under a relational perspective using relationships with other recognised brands in order to generate positive reputations in stakeholders. Based in relationship and corporate brand identity management, a framework is developed to identify how corporate brands select, develop and invest in relationships with other brands. The context of the proposed relationship concept is the services area (Dwyer et al, 1987; Moorman et al, 1992; Rauyruen et al, 2005 and Hennig-Thurau and Klee, 1997). An empirical qualitative research is designed using two reputational technological higher education institutions (two corporate brands) acting in Portuguese public higher education market.
Resumo:
Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
The theory of orthogonal polynomials of one real or complex variable is well established as well as its generalization for the multidimensional case. Hypercomplex function theory (or Clifford analysis) provides an alternative approach to deal with higher dimensions. In this context, we study systems of orthogonal polynomials of a hypercomplex variable with values in a Clifford algebra and prove some of their properties.
Resumo:
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
Resumo:
Tese de Doutoramento em Psicologia Básica
Resumo:
Tarea (A):(...) Trataremos de extender a Sp(n,1) los resultados conseguidos sobre la imagen del homomorfismo de Lepowsky cuando G es SO(n,1) ó SU(n,1). (...) Tarea (B): (...) Para todo grupo de Lie de rango uno, con rango (G) = rango (K), los elementos del álgebra B son W-invariantes y que este resultado ya ha sido establecido para los grupos SO(2n,1) y SU(n,1); durante el período correspondiente a este subsidio esperamos extender este resultado a todo grupo de Lie de rango uno con rango (G) = rango (K). Tarea (C): Durante este período esperamos también avanzar en la determinación del dual unitario del grupo Spin (2n,C).