Palinologia holocênica do testemunho Bom Jesus, margem leste da ilha do Marajó, Pará, Amazônia

A porção superior (1,25m) do testemunho de sondagem Bom Jesus (TBJ), coletado no limite campo-mangue da Fazenda Bom Jesus, município de Soure, ilha do Marajó, Pará, Brasil, foi estudada através de análise palinológica de alta resolução objetivando a determinação da composição, abundância e diversidade de tipos polínicos bioindicadores de modificações na paleovegetação durante o Holoceno. 16 amostras sedimentares de 2cm³ foram tratadas de acordo com metodologia padrão em palinologia. Os programas Tilia e Tilia Graph foram utilizados para a construção dos diagramas palinológicos de abundância e concentração. A base do testemunho foi datada por 14C em 2730 ± 40 anos A.P. Foram definidas três zonas palinológicas. A presença de pólen de Rhizophora com abundância máxima de 88% apontou dominância de mangue ao longo de todo o testemunho sedimentar. Variações recorrentes na hidrodinâmica da baía do Marajó, caracterizadas por pulsos erosivos de curto período, parecem ter provocado redução na dominância de mangue. O incremento na abundância de tipos polínicos bioindicadores de campo inundável associados a elementos de restinga e floresta, evidenciam a migração do campo inundável sobre o manguezal. Os dados indicam correlação com outros registros polínicos holocênicos de transgressão marinha para a costa norte amazônica no Holoceno Superior.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Column-based databases: estudo exploratório no âmbito das bases de dados NoSQL

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Document-based databases: estudo comparativo no âmbito das bases de dados NoSql

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Desenvolvimento de microcápsulas ativadas por radiação solar para aplicação em painéis cerâmicos exteriores

Dissertação de mestrado integrado em Engenharia de Materiais

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

Experimental validation of a proposed single-phase five-level active rectifier operating with model predictive current control

This paper presents a model predictive current control applied to a proposed single-phase five-level active rectifier (FLAR). This current control strategy uses the discrete-time nature of the active rectifier to define its state in each sampling interval. Although the switching frequency is not constant, this current control strategy allows to follow the reference with low total harmonic distortion (THDF). The implementation of the active rectifier that was used to obtain the experimental results is described in detail along the paper, presenting the circuit topology, the principle of operation, the power theory, and the current control strategy. The experimental results confirm the robustness and good performance (with low current THDF and controlled output voltage) of the proposed single-phase FLAR operating with model predictive current control.

Анализ экспериментальных данных физического моделирования магнитотеллурического поля лля моделей интрузивных тел с применением компьютерной графики

მაგნიტოტელურული ველის ფიზიკური მოდელირების შედეგები, განსაზღვრული ფორმის ინტრუზიული სხეულებისათვის, დამუშავებულია კომპიუტერული გრაფიკის საშუალებით. დადგინდა, რომ მკვეთრად შემოკონტურდება დღიური ზედაპირის იმიტაციით გადაფარული განსაზღვრული ფორმის სხეულების მდებარეობის საზღვრები. განსხვავებული გეომეტრიის მქონე მოდელების, ელექტრომაგნიტური ველის მდგენელების სივრცულ გრაფიკებზე გამოვლენილია მათთვის დამახასიათებელი განსხვავებები.

Экспериментальное исследование с применением компьютерной графики влияния рельефа дневной поверхности на магнитотеллурическое поле

არაერთგვაროვან გარემოში ელექტროდინამიკური პროცესების მოდელირების დანადგარზე გამოკვლეულია მაგნიტოტელურ ველზე სამგანზომილებიანი უსწორმასწორო დღიური ზედაპირის რელიეფის გავლენა. შედეგები დამუშავებულია კომპიუტერული გრაფიკული პროგრამის გამოყენებით.

Analyse und Optimierung von öffentlichen Straßenverkehrsnetzen auf Basis einer objektorientierten, logistischen Betrachtungsweise

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2011

Optimal scheduling with uncertainty in the numerical data on the basis of a stability analysis

Scheduling, job shop, uncertainty, mixed (disjunctive) graph, stability analysis

Steuerung von Innovationsprojekten unter Einbeziehung von Erfolgsfaktoren

Management , innovation project, success factor

Attentionale Modulationen neuronaler Aktivität im primär visuellen Kortex

Visual attention, V1, primary visual cortex, fmri, EEG, MEG, feedback modulation