Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Partial Quasi-Bilateral Generating Function Involving some Special Functions

A group-theoretic method of obtaining more general class of generating functions from a given class of partial quasi-bilateral generating functions involving Hermite, Laguerre and Gegenbaur polynomials are discussed.

A Unified Group-Theoretic Method on Improper Partial Semi-Bilateral Generating Functions

2000 Mathematics Subject Classification: 33A65, 33C20.

Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.

Generating new economic activity through design

Firms face the challenge of remaining competitive through both entrepreneurial activities and the strategic management of resources. Strategic entrepreneurship around notions of acquiring, bundling and leveraging resources to create value for customers and firm competitive advantage has been studied in relation to large established firms (Hitt et al 2010) but largely overlooked in studies of small and medium enterprises. Recent theorizing regarding the processes by which firms orchestrate resources to create new economic activity (Sirmon et al, 2011) has focused on the managerial capabilities of structuring, bundling and leveraging resources across the firms breadth, depth and lifecycle. This approach offers a potential framework for investigating processes of economic activity and strategic renewal (Agarwal & Helfat, 2009).

Generating string solutions in BTZ

Integrability of classical strings in the BTZ black hole enables the construction and study of classical string propagation in this background. We first apply the dressing method to obtain classical string solutions in the BTZ black hole. We dress time like geodesics in the BTZ black hole and obtain open string solutions which are pinned on the boundary at a single point and whose end points move on time like geodesics. These strings upon regularising their charge and spins have a dispersion relation similar to that of giant magnons. We then dress space like geodesics which start and end on the boundary of the BTZ black hole and obtain minimal surfaces which can penetrate the horizon of the black hole while being pinned at the boundary. Finally we embed the giant gluon solutions in the BTZ background in two different ways. They can be embedded as a spiral which contracts and expands touching the horizon or a spike which originates from the boundary and touches the horizon.

Algebraic Geometric Codes and their relation to Cryptography using Elliptic Curves

Communication is the process of transmitting data across channel. Whenever data is transmitted across a channel, errors are likely to occur. Coding theory is a stream of science that deals with finding efficient ways to encode and decode data, so that any likely errors can be detected and corrected. There are many methods to achieve coding and decoding. One among them is Algebraic Geometric Codes that can be constructed from curves. Cryptography is the science ol‘ security of transmitting messages from a sender to a receiver. The objective is to encrypt message in such a way that an eavesdropper would not be able to read it. A eryptosystem is a set of algorithms for encrypting and decrypting for the purpose of the process of encryption and decryption. Public key eryptosystem such as RSA and DSS are traditionally being prel‘en‘ec| for the purpose of secure communication through the channel. llowever Elliptic Curve eryptosystem have become a viable altemative since they provide greater security and also because of their usage of key of smaller length compared to other existing crypto systems. Elliptic curve cryptography is based on group of points on an elliptic curve over a finite field. This thesis deals with Algebraic Geometric codes and their relation to Cryptography using elliptic curves. Here Goppa codes are used and the curves used are elliptic curve over a finite field. We are relating Algebraic Geometric code to Cryptography by developing a cryptographic algorithm, which includes the process of encryption and decryption of messages. We are making use of fundamental properties of Elliptic curve cryptography for generating the algorithm and is used here to relate both.

The underlying return generating factors for REIT returns: an application of independent component analysis

Multi-factor approaches to analysis of real estate returns have, since the pioneering work of Chan, Hendershott and Sanders (1990), emphasised a macro-variables approach in preference to the latent factor approach that formed the original basis of the arbitrage pricing theory. With increasing use of high frequency data and trading strategies and with a growing emphasis on the risks of extreme events, the macro-variable procedure has some deficiencies. This paper explores a third way, with the use of an alternative to the standard principal components approach – independent components analysis (ICA). ICA seeks higher moment independence and maximises in relation to a chosen risk parameter. We apply an ICA based on kurtosis maximisation to weekly US REIT data using a kurtosis maximising algorithm. The results show that ICA is successful in capturing the kurtosis characteristics of REIT returns, offering possibilities for the development of risk management strategies that are sensitive to extreme events and tail distributions.

Generating string solutions in BTZ

Integrability of classical strings in the BTZ black hole enables the construction and study of classical string propagation in this background. We first apply the dressing method to obtain classical string solutions in the BTZ black hole. We dress time like geodesics in the BTZ black hole and obtain open string solutions which are pinned on the boundary at a single point and whose end points move on time like geodesics. These strings upon regularising their charge and spins have a dispersion relation similar to that of giant magnons. We then dress space like geodesics which start and end on the boundary of the BTZ black hole and obtain minimal surfaces which can penetrate the horizon of the black hole while being pinned at the boundary. Finally we embed the giant gluon solutions in the BTZ background in two different ways. They can be embedded as a spiral which contracts and expands touching the horizon or a spike which originates from the boundary and touches the horizon. © 2013 SISSA, Trieste, Italy.

Changes in irradiance and energy density in relation to different curing distances

The present study aimed to assess the influence of curing distance on the loss of irradiance and power density of four curing light devices. The behavior in terms of power density of four different dental curing devices was analyzed (Valo, Elipar 2, Radii-Cal, and Optilux-401) using three different distances of photopolymerization (0 mm, 4 mm, and 8 mm). All devices had their power density measured using a MARC simulator. Ten measurements were made per device at each distance. The total amount of energy delivered and the required curing time to achieve 16 J/cm2 of energy was also calculated. Data were statistically analyzed with one-way analysis of variance and Tukey’s tests (p < 0.05). The curing distance significantly interfered with the loss of power density for all curing light devices, with the farthest distance generating the lowest power density and consequently the longer time to achieve an energy density of 16 J/cm2 (p < 0.01). Comparison of devices showed that Valo, in extra power mode, showed the best results at all distances, followed by Valo in high power mode, Valo in standard mode, Elipar 2, Radii-Cal, and Optilux-401 halogen lamp (p < 0.01). These findings indicate that all curing lights induced a significant loss of irradiance and total energy when the light was emitted farther from the probe. The Valo device in extra power mode showed the highest power density and the shortest time to achieve an energy density of 16 J/cm2 at all curing distances.