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.

Evaluation of alcohol outlet density and its relation with violence

OBJECTIVES: The current study set out to investigate alcohol availability in a densely populated, residential area of suburban São Paulo associated with high levels of social deprivation and violence. Gun-related deaths and a heavy concentration of alcohol outlets are notable features of the area surveyed. Given the strong evidence for a link between alcohol availability and a number of alcohol-related problems, including violent crime, measures designed to reduce accessibility have become a favored choice for alcohol prevention programs in recent years. METHODS: The interviewers were 24 residents of the area who were trained for the study. It was selected an area of nineteen streets, covering a total distance of 3.7 km. A profile of each alcohol outlet available on the area was recorded. RESULTS: One hundred and seven alcohol outlets were recorded. The number of other properties in the same area was counted at 1,202. Two measures of outlet density may thus be calculated: the number of outlets per kilometer of roadway (29 outlets/km); and the proportion of all properties that sold alcohol (1 in 12). CONCLUSIONS: The results of this study is compared with others which are mainly from developed countries and shown that the area studied have the highest density of alcohol outlet density ever recorded in the medical literature. The implication of this data related to the violence of the region is discussed. By generating a profile of alcohol sales and selling points, it was hoped to gain a better understanding of alcohol access issues within the sample area. Future alcohol prevention policy would be well served by such knowledge.

A multi-purpose grammar generating a multi-scale integrated analysis of Laos

In this study we propose an application of the MuSIASEM approach which is used to provide an integrated analysis of Laos across different scales. With the term “integrated analysis across scales” we mean the generation of a series of packages of quantitative indicators, characterizing the performance of the socioeconomic activities performed in Laos when considering: (i) different hierarchical levels of organization (farming systems described at the level of household, rural villages, regions of Laos, the whole country level); and (ii) different dimensions of analysis (economic dimension, social dimension, ecological dimension, technical dimension). What is relevant in this application is that the information carried out by these different packages of indicators is integrated in a system of accounting which establishes interlinkages across these indicators. This is a essential feature to study sustainability trade-offs and to build more robust scenarios of possible changes. The multi-scale integrated representation presented in this study is based on secondary data (gathered in a three year EU project – SEAtrans and integrated by other available statistical sources) and it is integrated in GIS, when dealing with the spatial representation of Laos. However, even if we use data referring to Laos, the goal of this study is not that of providing useful information about a practical policy issue of Laos, but rather, to illustrate the possibility of using a multipurpose grammar to produce an integrated set of sustainability indicators at three different levels: (i) local; (ii) meso; (iii) macro level. The technical issue addressed is the simultaneous adoption of two multi-level matrices – one referring to a characterization of human activity over a set of different categories, and another referring to a characterization of land uses over the same set of categories. In this way, it becomes possible to explain the characteristics of Laos (an integrated set of indicators defining the performance of the whole country) in relation to the characteristics of the rural Laos and urban Laos. The characteristics of rural Laos, can be explained using the characteristics of three regions defined within Laos (Northern Laos, Central Laos and Southern Laos), which in turn can be defined (using an analogous package of indicators), starting from the characteristics of three main typologies of farming systems found in the regions.

The neural processes generating visual phenomenal consciousness: ERP and neuronavigated brain stimulation studies

One of the greatest conundrums to the contemporary science is the relation between consciousness and brain activity, and one of the specifi c questions is how neural activity can generate vivid subjective experiences. Studies focusing on visual consciousness have become essential in solving the empirical questions of consciousness. Th e main aim of this thesis is to clarify the relation between visual consciousness and the neural and electrophysiological processes of the brain. By applying electroencephalography and functional magnetic resonance image-guided transcranial magnetic stimulation (TMS), we investigated the links between conscious perception and attention, the temporal evolution of visual consciousness during stimulus processing, the causal roles of primary visual cortex (V1), visual area 2 (V2) and lateral occipital cortex (LO) in the generation of visual consciousness and also the methodological issues concerning the accuracy of targeting TMS to V1. Th e results showed that the fi rst eff ects of visual consciousness on electrophysiological responses (about 140 ms aft er the stimulus-onset) appeared earlier than the eff ects of selective attention, and also in the unattended condition, suggesting that visual consciousness and selective attention are two independent phenomena which have distinct underlying neural mechanisms. In addition, while it is well known that V1 is necessary for visual awareness, the results of the present thesis suggest that also the abutting visual area V2 is a prerequisite for conscious perception. In our studies, the activation in V2 was necessary for the conscious perception of change in contrast for a shorter period of time than in the case of more detailed conscious perception. We also found that TMS in LO suppressed the conscious perception of object shape when TMS was delivered in two distinct time windows, the latter corresponding with the timing of the ERPs related to the conscious perception of coherent object shape. Th e result supports the view that LO is crucial in conscious perception of object coherency and is likely to be directly involved in the generation of visual consciousness. Furthermore, we found that visual sensations, or phosphenes, elicited by the TMS of V1 were brighter than identically induced phosphenes arising from V2. Th ese fi ndings demonstrate that V1 contributes more to the generation of the sensation of brightness than does V2. Th e results also suggest that top-down activation from V2 to V1 is probably associated with phosphene generation. The results of the methodological study imply that when a commonly used landmark (2 cm above the inion) is used in targeting TMS to V1, the TMS-induced electric fi eld is likely to be highest in dorsal V2. When V1 was targeted according to the individual retinotopic data, the electric fi eld was highest in V1 only in half of the participants. Th is result suggests that if the objective is to study the role of V1 with TMS methodology, at least functional maps of V1 and V2 should be applied with computational model of the TMS-induced electric fi eld in V1 and V2. Finally, the results of this thesis imply that diff erent features of attention contribute diff erently to visual consciousness, and thus, the theoretical model which is built up of the relationship between visual consciousness and attention should acknowledge these diff erences. Future studies should also explore the possibility that visual consciousness consists of several processing stages, each of which have their distinct underlying neural mechanisms.

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.

Perception Of Oral And Maxillofacial Surgeons, Orthodontists And Laypersons In Relation To The Harmony Of The Smile.

Harmony is one of the main objectives in surgical and orthodontic treatment and this harmony must be present in the smile, as well as in the face. The aim of the present study was to assess the perceptions of professionals and laypersons in relation to the harmony of the smile of patients with or without vertical maxillary alterations. Sixty observers (oral and maxillofacial surgeons, orthodontists and laypersons) reported the degree of harmony of six smiles using an objective questionnaire and the participants indicated if there was a need for corrective surgery or not. The classification of observers was recorded on a Likert scale from 1 to 5. Mixed regression was used to determine differences between the three groups. Statistically significant differences were found only for the harmony of the smile between the oral and maxillofacial surgeons and laypersons, with laypersons being more critical when assessing the smile. There was no statistical difference between the other groups for the harmony of the smile or the indication of corrective surgery. The patterns of greater or lesser harmony determined by observers during the smile were similar to those found in the literature as the ideal standard in relation to vertical maxillary positioning. Laypersons had a tendency to be more critical in relation to facial harmony than surgeons, although no statistical differences were found in the other groups in relation to the harmony of the smile or indication for the corrective surgery. In addition, the patterns of greater or lesser harmony of the smile determined by the participants were similar to those found in the literature as the ideal standard in relation to vertical maxillary positioning. Overall, the present study demonstrates that adequate interaction between surgeons, orthodontists and laypersons is essential in order to achieve facial harmony with orthodontic and/or surgical treatment. Opinion of specialists and laypersons about the smile in relation to the vertical positioning of the maxilla.

Prostatic Angiogenic Responses In Late Life: Antiangiogenic Therapy Influences And Relation With The Glandular Microenvironment In The Transgenic Adenocarcinoma Of Mouse Prostate (tramp) Model.

Aging is considered one of the main predisposing factors for the development of prostate malignancies. Angiogenesis is fundamental for tumor growth and its inhibition represents a promising therapeutic approach in cancer treatment. Thus, we sought to determine angiogenic responses and the effects of antiangiogenic therapy in the mouse prostate during late life, comparing these findings with the prostatic microenvironment in the Transgenic Adenocarcinoma of Mouse Prostate (TRAMP) model. Male mice (52 week-old FVB) were submitted to treatments with SU5416 (6 mg/kg; i.p.) and/or TNP-470 (15 mg/kg; s.c.). Finasteride was administered (20 mg/kg; s.c.), alone or in association to both inhibitors. The dorsolateral prostate was collected for VEGF, HIF-1α, FGF-2 and endostatin immunohistochemical and Western Blotting analyses and for microvessel density (MVD) count. Senescence led to increased MVD and VEGF, HIF-1α and FGF-2 protein levels in the prostatic microenvironment, similarly to what was observed in TRAMP mice prostate. The angiogenic process was impaired in all the treated groups, demonstrating significantly decreased MVD. Antiangiogenic and/or finasteride treatments resulted in decreased VEGF and HIF-1α levels, especially following TNP-470 administration, either alone or associated to SU5416. The combination of these agents resulted in increased endostatin levels, regardless of the presence of finasteride. Prostatic angiogenesis stimulation during senescence favored the development of neoplastic lesions, considering the pro-angiogenic microenvironment as a common aspect also observed during cancer progression in TRAMP mice. The combined antiangiogenic therapy was more efficient, leading to enhanced imbalance towards angiogenic inhibition in the organ. Finally, finasteride administration might secondarily upregulate the expression of pro-angiogenic factors, pointing to the harmful effects of this therapy. Prostate 75: 484-499, 2015. © 2014 Wiley Periodicals, Inc.

Qualidade de vida e avaliação fisica em intoxicados por mercurio : estudo observacional transversal descritivo

Universidade Estadual de Campinas . Faculdade de Educação Física

O lazer e o idoso : uma possibilidade de intervenção

Universidade Estadual de Campinas . Faculdade de Educação Física