An investigation of Hebbian phase sequences as assembly graphs

Hebb proposed that synapses between neurons that fire synchronously are strengthened, forming cell assemblies and phase sequences. The former, on a shorter scale, are ensembles of synchronized cells that function transiently as a closed processing system; the latter, on a larger scale, correspond to the sequential activation of cell assemblies able to represent percepts and behaviors. Nowadays, the recording of large neuronal populations allows for the detection of multiple cell assemblies. Within Hebb's theory, the next logical step is the analysis of phase sequences. Here we detected phase sequences as consecutive assembly activation patterns, and then analyzed their graph attributes in relation to behavior. We investigated action potentials recorded from the adult rat hippocampus and neocortex before, during and after novel object exploration (experimental periods). Within assembly graphs, each assembly corresponded to a node, and each edge corresponded to the temporal sequence of consecutive node activations. The sum of all assembly activations was proportional to firing rates, but the activity of individual assemblies was not. Assembly repertoire was stable across experimental periods, suggesting that novel experience does not create new assemblies in the adult rat. Assembly graph attributes, on the other hand, varied significantly across behavioral states and experimental periods, and were separable enough to correctly classify experimental periods (Naïve Bayes classifier; maximum AUROCs ranging from 0.55 to 0.99) and behavioral states (waking, slow wave sleep, and rapid eye movement sleep; maximum AUROCs ranging from 0.64 to 0.98). Our findings agree with Hebb's view that assemblies correspond to primitive building blocks of representation, nearly unchanged in the adult, while phase sequences are labile across behavioral states and change after novel experience. The results are compatible with a role for phase sequences in behavior and cognition.

O discurso religioso no processo migratório para o caldeirão do beato José Lourenço

The Caldeirão is a site located in the city of Crato, in the south of Ceará, belonged to priest Cícero Romão Batista. There, was created a religious community led by blessed José Lourenço, who marked the life of thousands of Northeast country people in 1930s, for represent to them a space of religious conviviality, work and devotion. The Caldeirão s population was about three thousand of people, originated from states of Pernambuco, Alagoas, Paraíba, Maranhão, Piauí, Ceará and Rio Grande do Norte, who share the community s daily activities. The misery caused by the dryness and exploration of these country people by the landlords are indicated as the motivator elements of this migratory flux by the greater number of works published about the Caldeirão, turning the community into a primitive experience of class struggles. This present study proposes other comprehension of this migratory movement by the religious speech of salvation taken to country people by the counselor Severino Tavares. Was used as analysis camp the remaining norte-rio-grandenses that migrated to the Caldeirão, and as theoretical and methodological references the understanding model of investigation, the cultural history and the remaining memorial speech analysis. The work follows that pointing the phenomenon of Caldeirão as an campestral revolt is try to impose to this people the aspirations or wishes of others, besides of deny to them the right and the dignity of act by their believes and their own dreams.

Revisitando o problema de visibilidade para visualização tridimensional

We revisit the problem of visibility, which is to determine a set of primitives potentially visible in a set of geometry data represented by a data structure, such as a mesh of polygons or triangles, we propose a solution for speeding up the three-dimensional visualization processing in applications. We introduce a lean structure , in the sense of data abstraction and reduction, which can be used for online and interactive applications. The visibility problem is especially important in 3D visualization of scenes represented by large volumes of data, when it is not worthwhile keeping all polygons of the scene in memory. This implies a greater time spent in the rendering, or is even impossible to keep them all in huge volumes of data. In these cases, given a position and a direction of view, the main objective is to determine and load a minimum ammount of primitives (polygons) in the scene, to accelerate the rendering step. For this purpose, our algorithm performs cutting primitives (culling) using a hybrid paradigm based on three known techniques. The scene is divided into a cell grid, for each cell we associate the primitives that belong to them, and finally determined the set of primitives potentially visible. The novelty is the use of triangulation Ja 1 to create the subdivision grid. We chose this structure because of its relevant characteristics of adaptivity and algebrism (ease of calculations). The results show a substantial improvement over traditional methods when applied separately. The method introduced in this work can be used in devices with low or no dedicated processing power CPU, and also can be used to view data via the Internet, such as virtual museums applications

Análise comparativa entre propriedades mecânicas, termofísicas e geométricas de tijolos produzidos pelos fornos caieira e abóbada

In the State of Rio Grande do Norte potteries are distributed in several counties in the four meso, which are: West Potiguar, Center Potiguar, Agreste Potiguar and East Portiguar. The ceramics, mostly, are responsible for products used in construction as bricks, tiles and white brick and wood used as fuel. This paper had a primary focus in the region of Seridó. The furnaces in this region, used to manufacture bricks are configured Caieira and Valt, in most of them using principles rustic, usually operated in an empirical way, using principles of control rather primitive, predominantly visual control. The focus of this study was to analyze the differences in the thermophysical, mechanical and geometric characteristics of bricks produced by Caieira and vault furnaces, using the NBR 15720 and the evaluation of energy efficiency in both furnaces. Thermophysical characteristics were analyzed through tests to determine the water absorption obtained from the difference between dry mass and wet mass of the sample and analysis of the thermal gradient, the mechanical characteristics from determination of the compressive strength of ceramic brick popularly known as bricks and also analyzed the geometrical characteristics of the bricks in order to verify the homogeneity of manufacturing. The tests showed that the energy difference of the two furnaces is not considered responsible for a significant difference in the properties of the products

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

CES: Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto

Pervasive applications use context provision middleware support as infrastructures to provide context information. Typically, those applications use communication publish/subscribe to eliminate the direct coupling between components and to allow the selective information dissemination based in the interests of the communicating elements. The use of composite events mechanisms together with such middlewares to aggregate individual low level events, originating from of heterogeneous sources, in high level context information relevant for the application. CES (Composite Event System) is a composite events mechanism that works simultaneously in cooperation with several context provision middlewares. With that integration, applications use CES to subscribe to composite events and CES, in turn, subscribes to the primitive events in the appropriate underlying middlewares and notifies the applications when the composed events happen. Furthermore, CES offers a language with a group of operators for the definition of composite events that also allows context information sharing

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Calculando distância em geometria espacial usando material manipulável como recurso didático

This work presents a proposal for introducing the teaching of Geometry Space study attempts to demonstrate that the use of manipulatives as a teaching resource can be an alternative learning facilitator for fixing the primitive concepts of geometry, the postulates and theorems, position relationships between points, lines and planes and calculating distances. The development makes use of a sequence of activities aimed at ensuring that students can build a more systematic learning and these are divided into four steps

Mecanismos de alojamento de magmas granitóides :exemplo do plúton de Japi(RN)

This dissertation describes the igneous suites of the Japi granitoid pluton, intrusive in the Paleoproterozoic gneiss-migmatite complex of the eastern domain of the Seridó Belt, northeastern Brazil. Field relations show that the pluton is affected by strong deformation associated to the Brasiliano orogeny (known as the D3 phase) , with a NW-trending extensionalleft-hand senestral shear zone (the Japi Shear Zone, JSZ) bordering the intrusive body to the west. Four plutonic suites are found in the main pluton and as satellyte intrusions, besides Iate pegmatite and pink leucogranites. An alkaline granitoid suite, dominated by syenogranites bearing sodic augite (and subordinate hornblende), define a main elliptical intrusion. In its northern part, this intrusion is made up by concentric sheets, contrasting with a smaller rounded stock to the south. These granites display a pervasive solid-state S>L fabric developed under high T conditions, characterized by plastic deformation of quartz and feldspar. It is especially, developed along the border of the pluton, with inward dips. A regular magmatic layering is present sometimes, parallel to the tectonic foliation. The syntectonic emplacement as regards to the Brasiliano (D3) event is indicated by the common occurrence of dykes and sheets along transtensional or extensional sites of the major structure. Field relations attest to the early emplacement of the alkaline granites as regards to the other suites. A basic-to-intermediate suite occurs as a western satellyte body and occupying the southern tail of the main alkaline pluton. It comprises a wide variety of compositional terms, including primitive gabbros and gabbro-norites, differentiated to monzonitic intermediate facies containing amphibole and biotite as their main mafic phases. These rocks display transitional high-K calc-alkaline to shoshonitic affinities. Porphyritic monzogranite suítes commonly occur as dykes and minor intrusives, isolated or associated with the basic-tointermediate rocks. In the latter case, magma mingling and mixing features attest that these are contemporaneous igneous suites. These granites show K-feldspar phenocrysts and a hornblende+biotite+titanite assemblage, displaying subalkaline/monzonitic geochemical affinities. Both suites exhibit SL magmatic fabrics overprinting or transitional to solid-state D3 deformation related to the JSI. Chemical data clearly show that they are related to different parental magmas. Finally, a microgranite suite occurs along a few topographic ridges paralell to the JSI. It comprises dominantly granodiorites with a mineralogy similar to the one of the porphyritic granitoids. However, discriminant diagrams show their distinct calc-alkaline affinity. The granodiorites display an essencially magmatic fabric, even though an incipient D3 solid-state structure may be developed along the JSI. Intrusion relationships with the previous suites, as well as regards to the D3 structures, point to their Iate emplacement. All these suites are intrusive in a Paleoproterozoic, high-grade gneiss-migmatite complex affected by two previous deformation phases (D1, D2). The fabrics associated with these earlier events are folded and overprinted by the younger D3 structures along the JSZ. The younger deformation is characterized by NE-dipping foliations and N/NE-plunging stretching lineations. In the JSZ northern termination the foliation acquires an ENE orientation, containing a stretching lineation plunging to the south. Symmetric kinematic cri teria developed at this site confirms the transpressional termination of the JSZ, as also shown by orthorrombic quartz c-axis patterns. E-W-trending d extra I shear zones developed in the central part of the JSZ are interpreted as antithetic structures associated to the transtensional deformation along the JSZ. This is consistent with its extensional-transcurrent kinematics and a flat-and-ramp geometry at depth, as shown by gravimetric data. The lateral displacement of the negative residual Bouguer anomalies, as regards to the main outcropping alkaline pluton, may be modelized by other deeper-seated granite bodies. Based on numerical modelling it was possible to infer two distinct intrusion styles for the alkaline pluton. The calculated model values are consistent with an emplacement by sheeting for the northern body, as already suggested by satellyte imagery and field mapping. On the other hand, the results point to a transition towards a diapir-related style associated to the smaller. southern stock. This difference in intrusion styles may relate to intensity variations and transtensional sites of the shear deformation along the JSZ. Trace element and Sr and Nd isotopes of the alkaline granites are compatible with their derivation trom a more basic crustal source, as compared to the presently outcropping highgrade gneisses, with participation (or alternatively dominated by) of an enriched lithospheric mantle component. Like other igneous suites in the Seridó Belt, the high LlL contents and fractionated REE patterns of the basic rocks also point to an enriched mantle as the source for this kind of magmatism. Geochemical and isotope data are compatible with a lower crustal origin for the porphyritic granites. On the basis of the strong control of the JSZ on the emplacement of lower crustal (porphyritic and alkaline granites) or lithospheric mantle (basic rocks, alkaline granites or a component of them) magmas, one may infer a deep root for this structure, bearing an important role in magma extraction, transport and emplacement in the Japi region, eastern domain of the Seridó Belt