A chemometric study of the 5-HT1A receptor affinities presented by arylpiperazine compounds

Arylpiperazine compounds are promising 5-HT1A receptor ligands that can contribute for accelerating the onset of therapeutic effect of selective serotonin reuptake inhibitors. In the present work, the chemometric methods HCA, PCA, KNN, SIMCA and PLS were employed in order to obtain SAR and QSAR models relating the structures of arylpiperazine compounds to their 5-HT1A receptor affinities. A training set of 52 compounds was used to construct the models and the best ones were obtained with nine topological descriptors. The classification and regression models were externally validated by means of predictions for a test set of 14 compounds and have presented good quality, as verified by the correctness of classifications, in the case of pattern recognition studies, and b, the high correlation coefficients (q(2) = 0.76, r(2) = 0.83) and small prediction errors for the PLS regression. Since the results are in good agreement with previous SAR studies, we can suggest that these findings can help in the search for 5-HT1A receptor ligands that are able to improve antidepressant treatment. (c) 2007 Elsevier Masson SAS. All rights reserved.

Vector Theory of Spontaneous Lorentz Violation

Classical electromagnetism predicts two massless propagating modes, which are known as the two polarizations of the photon. On the other hand, if the Lorentz symmetry of classical electromagnetism is spontaneously broken, the new theory will still have two massless Nambu-Goldstone modes resembling the photon. If the Lorentz symmetry is broken by a bumblebee potential that allows for excitations out of the minimum, then massive modes arise. Furthermore, in curved spacetime, such massive modes will be created through a process other than the usual Higgs mechanism because of the dependence of the bumblebee potential on both the vector field and the metric tensor. Also, it is found that these massive modes do not propagate due to the extra constraints.

Desenvolvimento do saltar à horizontal : uma análise topológica

O objetivo deste estudo foi investigar a organização espaço-temporal dos segmentos da perna e da coxa no saltar à horizontal, verificando as infiuências do organismo e do ambiente (dois tipos de piso: concreto e areia). Participaram do estudo 21 sujeitos, 3 de cada faixa etária: 4, 5, 7, 9, 11, 13 e adulta (X = 19 anos de idade). Os sujeitos foram filmados realizando o saltar à horizontal com marcas desenhadas no centro das articulações do tornozelo, joelho e quadril. Estes pontos foram digitalizados e processados obtendo a posição e velocidade angular dos segmentos da perna e da coxa. A partir da posição e velocidade angular foi possível delinear os gráficos dos atratores (retratos de fase) e calcular os valores dos ângulos de fase para cada segmento, durante a realização da tarefa. Duas reversões para cada segmento, na posição angular, foram identificadas e nestes momentos os valores dos ângulos de fase foram capturados. Analisando as trajetórias dos retratos de fase verificou-se que os segmentos da perna e da coxa apresentaram um conjunto específico de características topológicas, na realização do saltar à horizontal. A análise dos valores dos ângulos de fase, nas duas reversões, indicou que ao longo das faixas etárias e nos dois tipos de piso os segmentos da perna e da coxa apresentaram organização espaço-temporal semelhante, indicando coordenação invariante.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Literatura infantil : uma abordagem das qualidades sensíveis e inteligíveis da leitura imagética na escola

Esta dissertação discute a leitura de textos imagéticos a partir da perspectiva da educação e da semiótica visual, tratando das articulações e relações entre os elementos constitutivos da imagem em livros de literatura infantil sem texto verbal. A investigação busca revelar, na complexidade das relações existentes entre elementos estruturantes das imagens nos livros O caminho do caracol e Cena de rua, o sentido que se inscreve no texto e a possibilidade da sua leitura no meio escolar. As obras literárias para a infância veiculam a linguagem visual em junção com a verbal e propiciam experiências sensíveis e inteligíveis. A partir da teoria semiótica greimasiana, aplicando instrumentos de análise do percurso gerativo de sentido, a pesquisa demonstra que o texto imagético é estruturado por diferentes níveis de complexidade, impondo um modo de ler específico. A identificação, descrição, classificação, bem como as relações entre as categorias, nas suas dimensões cromática, eidética e topológica, levam à constatação que as qualidades plásticas da imagem organizam sistemas de linguagem, reunindo solidariamente o plano da expressão e do conteúdo, criam estruturas e geram efeitos de sentido. A imagem, então, constitui-se como objeto de significação e a ilustração presente no livro de literatura infantil, ao ser tratada como texto lisível, torna-se objeto de leitura. A complexidade desse tipo de texto aponta a necessidade da formação específica de professores para explorar a leitura escolar das linguagens visuais.

Affiliation, equilibrium existence and the revenue ranking of auctions

We consider private value auctions where bidders’ types are dependent, a case usually treated by assuming affiliation. We show that affiliation is a restrictive assumption in three senses: topological, measure-theoretic and statistical (affiliation is a very restrictive characterization of positive dependence). We also show that affiliation’s main implications do not generalize for alternative definitions of positive dependence. From this, we propose new approaches to the problems of pure strategy equilibrium existence in first-price auctions (PSEE) and the characterization of the revenue ranking of auctions. For equilibrium existence, we slightly restrict the set of distributions considered, without loss of economic generality, and offer a complete characterization of PSEE. For revenue ranking, we obtain a characterization of the expected revenue differences between second and first price auctions with general dependence of types.

Sheaves, local homeomorphisms and local sets as Hilbert locale modules

We give a thorough account of the various equivalent notions for \sheaf" on a locale, namely the separated and complete presheaves, the local home- omorphisms, and the local sets, and to provide a new approach based on quantale modules whereby we see that sheaves can be identi¯ed with certain Hilbert modules in the sense of Paseka. This formulation provides us with an interesting category that has immediate meaningful relations to those of sheaves, local homeomorphisms and local sets. The concept of B-set (local set over the locale B) present in [3] is seen as a simetric idempotent matrix with entries on B, and a map of B-sets as de¯ned in [8] is shown to be also a matrix satisfying some conditions. This gives us useful tools that permit the algebraic manipulation of B-sets. The main result is to show that the existing notions of \sheaf" on a locale B are also equivalent to a new concept what we call a Hilbert module with an Hilbert base. These modules are the projective modules since they are the image of a free module by a idempotent automorphism On the ¯rst chapter, we recall some well known results about partially ordered sets and lattices. On chapter two we introduce the category of Sup-lattices, and the cate- gory of locales, Loc. We describe the adjunction between this category and the category Top of topological spaces whose restriction to spacial locales give us a duality between this category and the category of sober spaces. We ¯nish this chapter with the de¯nitions of module over a quantale and Hilbert Module. Chapter three concerns with various equivalent notions namely: sheaves of sets, local homeomorphisms and local sets (projection matrices with entries on a locale). We ¯nish giving a direct algebraic proof that each local set is isomorphic to a complete local set, whose rows correspond to the singletons. On chapter four we de¯ne B-locale, study open maps and local homeo- morphims. The main new result is on the ¯fth chapter where we de¯ne the Hilbert modules and Hilbert modules with an Hilbert and show this latter concept is equivalent to the previous notions of sheaf over a locale.

A forma do privilégio: renda, acessibilidade e densidade em Natal-RN

The aim of this work is to understand the morphological expression of ground occupation by the higher income population, by focusing on population distribution in accordance with income layers and demographical density, as well as topological accessibility (HILLIER and HANSON, 1984) resulting from the urban grid structure. It endeavors to identify a functional organizing principle regarding the intra-urban space of Natal capital city of the state of Rio Grande do Norte, the research focus. In order to achieve this, census data as well as syntactic data were utilized for mapping and spatial analysis of income patterns, topological accessibility and demographical density using Geographical Information System GIS. The organizing principle was named as the Form of Privilege, a pattern that concentrates or tends to concentrate wealth, topological accessibility and low demographical density. Attempting to assess its extent, beyond Natal, this principle was applied to other Brazilian northeastern capitals such as: Fortaleza, CE; Teresina, PI; Aracaju, SE; Recife, PE; and João Pessoa, PB. Findings point out that although the urban structures of these cities are not immune to the Form of Privilege, Natal is emblematic of this phenomenon, a fact that demonstrates the perverse character of its spatial process, which historically creates privileged areas within the city, by means of the appropriation of accessibility as well as of the many urban benesses that are related to it by higher income groups at the expense of the major part of the population, which though being the people mostly in need of the benefits originating from the urban form are excluded from them

Barracas de Praia, praia de barracas: configuração, tipo e usos na praia do futuro, Fortaleza CE

The purpose of this dissertation is to analyse the importance of the huts of Praia do Futuro to their users and to the city of Fortaleza in Ceará through the comprehension of relations between morphological categories - in urban and edified contexts - of the establishments and their use patterns. This place is one of the main recreation and leisure areas of the city, formed by six kilometres of waterfront, corresponding to a differentiated area through the coast. This space has beach huts with varied profiles: while some more simple huts persist, great complexes are being developed, building even water parks on the beach area. This study analyses relations between:i) spatial configuration (in geometric and mainly topological terms) based on the Social Logic of Space; ii) edified typology (analysing capacity, landscap treatment and program of the huts); and iii) use and environmental perception of the beach by its frequenters. There are consistent relations between the type of hut and their localization in the urban grid, of which were identified groups with different patterns: segregated (north, central and south) and integrated (north: more integrated. and south: less integrated). Such relations also reflect, in varied patterns of use and environmental perception. In spite of their strong economy, the beach huts find themselves in a fragile legal situation because they occupy the beach area, so that this study may come to assist the decision-making for the future of the region. For a sustainable development of the area by those responsible and managers it is necessary to evaluate the cultural importance of the huts at Praia do Futuro, understanding their occupation and uses.

Natal qual é a sua cara?: análise do perfil edilício da avenida Eng. Roberto Freire (Natal/RN) à luz da acessibilidade

This study focuses on the building ensemble of Avenida Roberto Freire, a main road in Natal, Brazil, as a material expression of the confluence of various factors among which the following may be emphasized: high level of accessibility due to urban spatial re-structuring and the growth of the real estate market, in view of the increasing number of consumers, who arrived in Natal within the last decades. The intense urban modification process that has been going on in Natal since at least the 1980s, has engendered the formation of long axial lines which express the expansion dynamics and some of the forces subjacent to it. Avenida Roberto Freire has been an iconic example of an urban thoroughfare where architecture becomes primarily a communication support that can be perceived by fast moving passers-by, what brings it close to the venturian concept of strip (Venturi at al, 1972). The building types that line the road not only respond to the dynamics in process but also contribute to intensify it, as they house a variety of uses which attract people and generate more movement. The dynamics is further strengthened by the action of the real estate business which benefits from the increase of highly accessible locations, and from the private and public investments and incentives to tourism that aim to insert this city into the globalized world. Although the intention of reconstituting part of the history of density increase on this avenue in a diachronical perspective was attempted within the limits of the available references and documentation, the central contribution of this study is to understand the relations between topological accessibility and the typological nature of the building ensemble. By observing the synchronic morphological frame resulting from the spatial configuration analysis pertinent to this avenue (cf. Hillier and Hanson,1984) and the inventory and classification of the building ensemble there existing, this study aims to understand how architecture responds to accessibility in view of the real estate pressure, boosted by a cosmopolitanizing process brought about by the continuous flow of foreign and Brazilian arrivals as visitors, temporary or permanent residents

Entre serras e sertões A(s) (trans)formaç(ões) de centralidade(s) da Região Metropolitana do Cariri/CE

This study reviews the spatial configuration from the road network of an urban compound formed by the cities of Crato, Juazeiro do Norte and Barbalha (the Crajubar - core of the Cariri metropolitan region, in the State of Ceará, Brazil), in order to establish nexus (or relations) between different levels of accessibility and the formation/ transformation and specialization of centralities in local and metropolitan scales. Stemming from the Social Logic of Space theoretical and operational apparatus, the study explores modeling possibilities (with axial lines, segments and lines of continuity) which is then confronted to empirical observations concerning movement flows and land use, within a Geographic Information System database. At different scales of analysis, the results suggest evidences of continuity were found in the permanence of intra-urban centres and sub-centres within each town, whereas evidences of change pointed out to the formation of a new centrality of metropolitan magnitude in the neighbourhood referred to as the Triângulo, in the municipality of Juazeiro, where high levels of topological accessibility coincides with the appearance of new business buildings as well as with the emergence of urban equipment of a scale more adequate to meet a regional demand

Aparências da forma e forma do espaço: análise da configuração espacial de residências unifamiliares dos anos 1970 em João Pessoa PB

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures

Mapeamento de ambientes estruturados com extração de informações geométricas através de dados sensoriais

The objective of this thesis is proposes a method for a mobile robot to build a hybrid map of an indoor, semi-structured environment. The topological part of this map deals with spatial relationships among rooms and corridors. It is a topology-based map, where the edges of the graph are rooms or corridors, and each link between two distinct edges represents a door. The metric part of the map consists in a set of parameters. These parameters describe a geometric figure which adapts to the free space of the local environment. This figure is calculated by a set of points which sample the boundaries of the local free space. These points are obtained with range sensors and with knowledge about the robot s pose. A method based on generalized Hough transform is applied to this set of points in order to obtain the geomtric figure. The building of the hybrid map is an incremental procedure. It is accomplished while the robot explores the environment. Each room is associated with a metric local map and, consequently, with an edge of the topo-logical map. During the mapping procedure, the robot may use recent metric information of the environment to improve its global or relative pose

Estudo da topologia de redes de conexão funcional no córtex sensorial primário e hipocampo durante o sono de ondas lentas

Complex network analysis is a powerful tool into research of complex systems like brain networks. This work aims to describe the topological changes in neural functional connectivity networks of neocortex and hippocampus during slow-wave sleep (SWS) in animals submited to a novel experience exposure. Slow-wave sleep is an important sleep stage where occurs reverberations of electrical activities patterns of wakeness, playing a fundamental role in memory consolidation. Although its importance there s a lack of studies that characterize the topological dynamical of functional connectivity networks during that sleep stage. There s no studies that describe the topological modifications that novel exposure leads to this networks. We have observed that several topological properties have been modified after novel exposure and this modification remains for a long time. Major part of this changes in topological properties by novel exposure are related to fault tolerance

Biomecânica e otimização topológica com H-adaptatividade em implantes dentários nitretados a plasma em cátodo oco

In recent years there has been a significant growth in technologies that modify implant surfaces, reducing healing time and allowing their successful use in areas with low bone density. One of the most widely used techniques is plasma nitration, applied with excellent results in titanium and its alloys, with greater frequency in the manufacture of hip, ankle and shoulder implants. However, its use in dental implants is very limited due to high process temperatures (between 700 C o and 800 C o ), resulting in distortions in these geometrically complex and highly precise components. The aim of the present study is to assess osseointegration and mechanical strength of grade II nitrided titanium samples, through configuration of hollow cathode discharge. Moreover, new formulations are proposed to determine the optimum structural topology of the dental implant under study, in order to perfect its shape, make it efficient, competitive and with high definition. In the nitriding process, the samples were treated at a temperature of 450 C o and pressure of 150 Pa , during 1 hour of treatment. This condition was selected because it obtains the best wettability results in previous studies, where different pressure, temperature and time conditions were systematized. The samples were characterized by X-ray diffraction, scanning electron microscope, roughness, microhardness and wettability. Biomechanical fatigue tests were then conducted. Finally, a formulation using the three dimensional structural topology optimization method was proposed, in conjunction with an hadaptive refinement process. The results showed that plasma nitriding, using the hollow cathode discharge technique, caused changes in the surface texture of test specimens, increases surface roughness, wettability and microhardness when compared to the untreated sample. In the biomechanical fatigue test, the treated implant showed no flaws, after five million cycles, at a maximum fatigue load of 84.46 N. The results of the topological optimization process showed well-defined optimized layouts of the dental implant, with a clear distribution of material and a defined edge