Concurrency detection on finish-to-start activity precedence networks

We explore the finish-to-start precedence relations of project activities used in scheduling problems. From these relations, we devise a method to identify groups of activities that could execute concurrently, i.e. activities in the same group can all execute in parallel. The method derives a new set of relations to describe the concurrency. Then, it is represented by an undirected graph and the maximal cliques problem identifies the groups. We provide a running example with a project from our previous studies in resource constrained project cost minimization together with an example application on the concurrency detection method: the evaluation of the resource stress.

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.

Measurement of differential J/psi production cross sections and forward-backward ratios in p plus Pb collisions with the ATLAS detector

Measurements of differential cross sections for J/ψ production in p+Pb collisions at sNN−−−−√=5.02 TeV at the CERN Large Hadron Collider with the ATLAS detector are presented. The data set used corresponds to an integrated luminosity of 28.1 nb−1. The J/ψ mesons are reconstructed in the dimuon decay channel over the transverse momentum range 8vertex and the event primary vertex. The differential cross section for production of nonprompt J/ψ is compared to a FONLL calculation that does not include nuclear effects. Forward-backward production ratios are presented and compared to theoretical predictions. These results complement previously published results by covering a region of higher transverse momentum and more central rapidity. They thus constrain the kinematic dependence of nuclear modifications of charmonium and b-quark production in p+Pb collisions.

Search for metastable heavy charged particles with large ionisation energy loss in pp collisions at root s=8 TeV using the ATLAS experiment

Many extensions of the Standard Model predict the existence of charged heavy long-lived particles, such as R-hadrons or charginos. These particles, if produced at the Large Hadron Collider, should be moving non-relativistically and are therefore identifiable through the measurement of an anomalously large specific energy loss in the ATLAS pixel detector. Measuring heavy long-lived particles through their track parameters in the vicinity of the interaction vertex provides sensitivity to metastable particles with lifetimes from 0.6 ns to 30 ns. A search for such particles with the ATLAS detector at the Large Hadron Collider is presented, based on a data sample corresponding to an integrated luminosity of 18.4 fb−1 of pp collisions at s√ = 8 TeV. No significant deviation from the Standard Model background expectation is observed, and lifetime-dependent upper limits on R-hadrons and chargino production are set. Gluino R-hadrons with 10 ns lifetime and masses up to 1185 GeV are excluded at 95% confidence level, and so are charginos with 15 ns lifetime and masses up to 482 GeV.

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

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.

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

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

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

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

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