Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Combining data mining and evolutionary computation for multi-criteria optimization of earthworks

Earthworks tasks aim at levelling the ground surface at a target construction area and precede any kind of structural construction (e.g., road and railway construction). It is comprised of sequential tasks, such as excavation, transportation, spreading and compaction, and it is strongly based on heavy mechanical equipment and repetitive processes. Under this context, it is essential to optimize the usage of all available resources under two key criteria: the costs and duration of earthwork projects. In this paper, we present an integrated system that uses two artificial intelligence based techniques: data mining and evolutionary multi-objective optimization. The former is used to build data-driven models capable of providing realistic estimates of resource productivity, while the latter is used to optimize resource allocation considering the two main earthwork objectives (duration and cost). Experiments held using real-world data, from a construction site, have shown that the proposed system is competitive when compared with current manual earthwork design.

Secure multiParty computation protocols

Dissertação de Mestrado em Engenharia Informática

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Measurement of charged-particle spectra in Pb+Pb collisions at √sNN = 2.76TeV with the ATLAS detector at the LHC

Charged-particle spectra obtained in 0.15nb−1 of Pb+Pb interactions at sNN−−−√=2.76TeV and 4.2pb−1 of pp interactions at s√=2.76TeV with the ATLAS detector at the LHC are presented in a wide transverse momentum (0.5

Search for a Heavy Neutral Particle Decaying to eμ, eτ, or μτ in pp Collisions at s√=8 TeV with the ATLAS Detector

This Letter presents a search for a heavy neutral particle decaying into an opposite-sign different-flavor dilepton pair, e±μ∓, e±τ∓, or μ±τ∓ using 20.3 fb−1 of pp collision data at s√=8 TeV collected by the ATLAS detector at the LHC. The numbers of observed candidate events are compatible with the Standard Model expectations. Limits are set on the cross section of new phenomena in two scenarios: the production of ν~τ in R-parity-violating supersymmetric models and the production of a lepton-flavor-violating Z′ vector boson.

Two-particle Bose–Einstein correlations in pp collisions at s√= 0.9 and 7 TeV measured with the ATLAS detector

The paper presents studies of Bose--Einstein Correlations (BEC) for pairs of like-sign charged particles measured in the kinematic range pT> 100 MeV and |η|< 2.5 in proton--proton collisions at centre-of-mass energies of 0.9 and 7 TeV with the ATLAS detector at the CERN Large Hadron Collider. The integrated luminosities are approximately 7 μb−1, 190 μb−1 and 12.4 nb−1 for 0.9 TeV, 7 TeV minimum-bias and 7 TeV high-multiplicity data samples, respectively. The multiplicity dependence of the BEC parameters characterizing the correlation strength and the correlation source size are investigated for charged-particle multiplicities of up to 240. A saturation effect in the multiplicity dependence of the correlation source size is observed using the high-multiplicity 7 TeV data sample. The dependence of the BEC parameters on the average transverse momentum of the particle pair is also investigated.

Particle transport in fouling caused by kaolin-water suspensions on copper tubes

Particulate fouling tests were carried out using kaolin-water suspensions flowing through an annular heat exchanger with a copper inner tube. The flow rate was changed from test to test, but the fluid temperature and pH, as well as the particle concentration, were maintained constant. In the lower range of fluid velocities (<0.5 m/s), the deposition process seemed to be controlled by mass transfer. The corresponding experimental transport fluxes were compared to the predictions obtained with several models, showing that diffusion governed particle transport. The absolute values of the mass transfer fluxes and their dependences on the Reynolds number were satisfactorily predicted by some of the models.