Recomendações de usabilidade e de acessibilidade em projetos de ambientes informacionais digitais para idosos

The usability and accessibility, when applied to digital information environments, provide ease of use and access to information, respectively. Thus, we aim to discuss these concepts and apply them in specific digital environments to the elderly through the documentary and bibliographic study of specific recommendations on projects for elderly users. This study was conducted in conjunction with students at the Universidade Aberta à Terceira Idade (UNATI) - UNESP - Marilia, who assisted in the classification of recommendations for usability and accessibility are essential (Priority 1), important (Priority 2) and optional (Priority 3). The results indicate the importance of this type of study for the digital and social inclusion of older people by facilitating elements of access and use of information, providing the building more inclusive informational architectures. The resulting recommendations can be used as a starting point for the design of digital environments for the elderly in a specific heuristic evaluation, for example. However, it remains important to the application of usability testing with users, including the application to validate these recommendations, since different contexts may arise from the implementation of different elements, resources and information services.

Desenvolvimento de dispositivos eletrônico-orgânicos e sua aplicação como sensores em meio aquoso

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelo petrofísico 3D do Arenito Namorado no Campo de Namorado - Bacia de Campos, RJ

The Namorado Oil Field represents the beginning of the oil exploration in Brazil, in the 70s, and it is still a subject of researches because the importance of this turbidite sandstone in the brazilian oil production. The Namorado’s production level was denominated “Namorado sandstone”, it is composed by turbidite sandstone deposited during the Albian-Cenomanian. In order to define the structural geometry of the main reservoir, geological and geophysical tools like RECON and Geographix (Prizm – Seisvision) softwares were used, and its application was focused on geological facies analysis, for that propose well logs, seismic interpretation and petrophysical calculations were applied. Along this work 15 vertical wells were used and the facies reservoirs were mapped of along the oil field; it is important to mentioned that the all the facies were calibrated by the correlation rock vs log profile, and 12 reservoir-levels (NA-1, NA-2, NA-3, NA-4, NA-5, NA-6, NA-7, NA-8, NA-9, NA-10, NA-11 e NA-12) were recognized and interpreted. Stratigraphic sections (NE-SW and NW-SE) were also built based on stratigraphic well correlation of each interpreted level, and seismic interpretation (pseudo-3D seismic data) on the southeastern portion of the oil field. As results it was interpreted on two- and three-dimensional maps that the deposition reservoir’s levels are hight controlled by normal faults systems. This research also shows attribute maps interpretation and its relationship with the selection of the reservoir attribute represented on it. Finally the data integration of stratigraphic, geophysical and petrophysical calculations lets us the possibility of obtain a detail geological/petrophysical 3D model of the main reservoir levels of “Namorado sandstone” inside the oil/gás field

Junção em mudança: reanálise morfossintática e redes polissêmicas de 'que nem'

Neste trabalho, analiso aspectos da constituição e do uso do juntor que nem, em dados da modalidade de enunciação falada do português. A questão maior é mostrar que a inserção de que nem no paradigma dos juntores, por meio de processos de gramaticalização, resulta em quatro novos padrões funcionais, que refletem uma rede de parentesco semântico no domínio das relações modais. As construções com que nem são descritas a partir do pareamento entre forma e significado, com o propósito de defender que arquiteturas sintáticas diferenciadas contribuem para a interpretação da polifuncionalidade semântica de que nem; e que as fontes sincrônicas do português ajudam a desvendar etapas do processo de reanálise de que e nem, tendo em vista as tendências diacrônicas sobre mudança de juntores nas línguas (Kortmann, 1997).

Sistemas bioinspirados aplicados no estudo de interação e sensoriamento de derivados xantênicos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelagem estratigráfica do intervalo cenomaniano-turoniano, formações Açu e Jandaíra, na borda sudoeste da Bacia Potiguar

Pós-graduação em Geociências e Meio Ambiente - IGCE

Filmes de nanocompósitos de polímero condutor, nanopartículas de argila e nanopartículas de ouro para aplicação em sensores ambientais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Revitalização do casarão da avenida Dr. Teixeira de Barros, São Carlos/SP

O antigo Casarão da Avenida Doutor Teixeira de Barros, destoa no bairro da Vila Prado por seu estado degradado, além de ser o único casarão da região. Apesar de abandonado, o Casarão tem um grande valor histórico para o bairro e a cidade e também valor arquitetônico devido seus ornamentos característicos das arquiteturas São-Carlenses do final do século XIX e início do século XX. Este trabalho visa a revitalização do Casarão abandonado, restaurando e preservando suas características e propondo um novo uso para o mesmo, beneficiando a população da cidade tanto com o novo uso proposto como também com a preservação desta parte da história de São Carlos

Arquitetura da participação e controles democráticos no Brasil e no México

A multiplicação de experiências participativas visando ampliar o controle social sobre políticas e políticos tornou-se fenômeno relevante no Brasil e mundo afora. Neste artigo é apresentado um quadro analítico útil à comparação da diversidade da inovação democrática enquanto arquitetura da participação orientada para o controle social. Mediante a aplicação desse quadro, examinamos a configuração de duas arquiteturas contrastantes, originárias de dois contextos nacionais distintos: México e Brasil.

Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations

The modern GPUs are well suited for intensive computational tasks and massive parallel computation. Sparse matrix multiplication and linear triangular solver are the most important and heavily used kernels in scientific computation, and several challenges in developing a high performance kernel with the two modules is investigated. The main interest it to solve linear systems derived from the elliptic equations with triangular elements. The resulting linear system has a symmetric positive definite matrix. The sparse matrix is stored in the compressed sparse row (CSR) format. It is proposed a CUDA algorithm to execute the matrix vector multiplication using directly the CSR format. A dependence tree algorithm is used to determine which variables the linear triangular solver can determine in parallel. To increase the number of the parallel threads, a coloring graph algorithm is implemented to reorder the mesh numbering in a pre-processing phase. The proposed method is compared with parallel and serial available libraries. The results show that the proposed method improves the computation cost of the matrix vector multiplication. The pre-processing associated with the triangular solver needs to be executed just once in the proposed method. The conjugate gradient method was implemented and showed similar convergence rate for all the compared methods. The proposed method showed significant smaller execution time.

Multi-objective evolutionary algorithm for single and multiple fault service restoration in large-scale distribution systems

Network reconfiguration for service restoration (SR) in distribution systems is a complex optimization problem. For large-scale distribution systems, it is computationally hard to find adequate SR plans in real time since the problem is combinatorial and non-linear, involving several constraints and objectives. Two Multi-Objective Evolutionary Algorithms that use Node-Depth Encoding (NDE) have proved able to efficiently generate adequate SR plans for large distribution systems: (i) one of them is the hybridization of the Non-Dominated Sorting Genetic Algorithm-II (NSGA-II) with NDE, named NSGA-N; (ii) the other is a Multi-Objective Evolutionary Algorithm based on subpopulation tables that uses NDE, named MEAN. Further challenges are faced now, i.e. the design of SR plans for larger systems as good as those for relatively smaller ones and for multiple faults as good as those for one fault (single fault). In order to tackle both challenges, this paper proposes a method that results from the combination of NSGA-N, MEAN and a new heuristic. Such a heuristic focuses on the application of NDE operators to alarming network zones according to technical constraints. The method generates similar quality SR plans in distribution systems of significantly different sizes (from 3860 to 30,880 buses). Moreover, the number of switching operations required to implement the SR plans generated by the proposed method increases in a moderate way with the number of faults.

Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Studio del network metabolico umano: modelli e applicazioni.

Il lavoro di tesi si basa sull'analisi del database pubblico ReconX, il quale costituisce lo stato dell'arte della ricostruzione in silico del metabolismo umano. Il modello che se ne può estrarre è stato impiegato per simulazioni di metabolismo cellulare in condizioni di ossigeno variabile, valutando l'impatto della carenza di ossigeno sulle reazioni e su i pathways metabolici. Le tecniche impiegate appartengono alla systems biology e sono di tipo bioinformatico e riguardano flux balance analysis e flux variability analysis. I risultati trovati vengono quindi confrontati con la letteratura di settore. E' stato inoltre possibile estrarre dei sotto network dal modello principale, analizzando la rete di connessioni esistente fra i metaboliti e fra le reazioni separatamente. Viene estratto e studiato anche il network di interazione fra pathways, su cui è introdotta una misura ad hoc per valutare la forza di connessione fra i vari processi. Su quest'ultimo network viene anche effettuata un'analisi di tipo stocastico, mostrando che tecniche di tipo markoviano possono essere applicate per indagini diverse da quelle più in uso basate sui flussi. Infine viene mostrata una possibile soluzione per visualizzare graficamente i network metabolici così costituiti.

Elevation lines of modelled ice sheet extension during last glacial maximum

A numerical ice-sheet model was used to reconstruct the Late Weichselian glaciation of the Eurasian High Arctic, between Franz Josef Land and Severnaya Zemlya. An ice sheet was developed over the entire Eurasian High Arctic so that ice flow from the central Barents and Kara seas toward the northern Russian Arctic could be accounted for. An inverse approach to modeling was utilized, where ice-sheet results were forced to be compatible with geological information indicating ice-free conditions over the Taymyr Peninsula during the Late Weichselian. The model indicates complete glaciation of the Barents and Kara seas and predicts a "maximum-sized" ice sheet for the Late Weichselian Russian High Arctic. In this scenario, full-glacial conditions are characterized by a 1500-m-thick ice mass over the Barents Sea, from which ice flowed to the north and west within several bathymetric troughs as large ice streams. In contrast to this reconstruction, a "minimum" model of glaciation involves restricted glaciation in the Kara Sea, where the ice thickness is only 300 m in the south and which is free of ice in the north across Severnaya Zemlya. Our maximum reconstruction is compatible with geological information that indicates complete glaciation of the Barents Sea. However, geological data from Severnaya Zemlya suggest our minimum model is more relevant further east. This, in turn, implies a strong paleoclimatic gradient to colder and drier conditions eastward across the Eurasian Arctic during the Late Weichselian.

Reconstructed glaciation limits in Eurasia (digitized from map Fig.1)

Based on field investigations in northern Russia and interpretation of offshore seismic data, we have made a preliminary reconstruction of the maximum ice-sheet extent in the Barents and Kara Sea region during the Early/Middle Weichselian and the Late Weichselian. Our investigations indicate that the Barents and Kara ice sheets attained their maximum Weichselian positions in northern Russia prior to 50 000 yr BP, whereas the northeastern flank of the Scandinavian Ice Sheet advanced to a maximum position shortly after 17000 calendar years ago. During the Late Weichselian (25 000-10000 yr BP), much of the Russian Arctic remained ice-free. According to our reconstruction, the extent of the ice sheets in the Barents and Kara Sea region during the Late Weichselian glacial maximum was less than half that of the maximum model which, up to now, has been widely used as a boundary condition for testing and refining General Circulation Models (GCMs). Preliminary numerical-modelling experiments predict Late Weichselian ice sheets which are larger than the ice extent implied for the Kara Sea region from dated geological evidence, suggesting very low precipitation.