Improving selective collection of urban waste using a business intelligence system

Today recovering urban waste requires effective management services, which usually imply sophisticated monitoring and analysis mechanisms. This is essential for the smooth running of the entire recycling process as well as for planning and control urban waste recovering. In this paper we present a business intelligence system especially designed and im- plemented to support regular decision-making tasks on urban waste management processes. The system provides a set of domain-oriented analytical tools for studying and characterizing poten- tial scenarios of collection processes of urban waste, as well as for supporting waste manage- ment in urban areas, allowing for the organization and optimization of collection services. In or- der to clarify the way the system was developed and the how it operates, particularly in process visualization and data analysis, we also present the organization model of the system, the ser- vices it disposes, and the interface platforms for exploring data.

A case study of product usability of a pelvic device used by children with neuromotor impairments

On assistive technology targeted for people with activity limitations and participation, usability issues becomes an essential tool to ensure that the product has the appropriate ergonomics characteristics, in other words, ensure that it fits the specific user´s needs. The aim of this study was to analyze the usability of an adaptive seating device for children with neuromotor impairments, by using kinematic indicators of the reaching movement. The study sample consisted of 13 children with associated neurologic conditions. The tests were developed by using a wooden bench height adjustable, integrated with the adaptive seating device under study, and a system to capture three-dimensional image, called Qualisys Track Manager. The following reaching kinematics variables were measured: maximum reaching velocity, movement duration, index of curvature, and unit movements. It was found that the use of the adaptive seating device had a positive impact on upper limb function in children with neuromotor impairments. It was also noticed an improvement in the reaching movement kinematics, which was statistical significant for the index of curvature and unit movements. As main conclusions, it is possible to point out some positive effects that the product under study seems to have on users' movements, such as the improved movement quality of the upper limb, which could mean a better postural adjustments and higher trunk postural control. By identifying new measures of usability in terms of effectiveness and efficiency for the analyzeddevice, the results obtained may serve also as performance indicators, providing new data that may help to improve the product and eventually modifying it, in order to turn it more compatible with the needs of the considered target population.

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Centrality and rapidity dependence of inclusive jet production in sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Measurements of the centrality and rapidity dependence of inclusive jet production in sNN−−−√=5.02 TeV proton--lead (p+Pb) collisions and the jet cross-section in s√=2.76 TeV proton--proton collisions are presented. These quantities are measured in datasets corresponding to an integrated luminosity of 27.8 nb−1 and 4.0 pb−1, respectively, recorded with the ATLAS detector at the Large Hadron Collider in 2013. The p+Pb collision centrality was characterised using the total transverse energy measured in the pseudorapidity interval −4.9<η<−3.2 in the direction of the lead beam. Results are presented for the double-differential per-collision yields as a function of jet rapidity and transverse momentum (pT) for minimum-bias and centrality-selected p+Pb collisions, and are compared to the jet rate from the geometric expectation. The total jet yield in minimum-bias events is slightly enhanced above the expectation in a pT-dependent manner but is consistent with the expectation within uncertainties. The ratios of jet spectra from different centrality selections show a strong modification of jet production at all pT at forward rapidities and for large pT at mid-rapidity, which manifests as a suppression of the jet yield in central events and an enhancement in peripheral events. These effects imply that the factorisation between hard and soft processes is violated at an unexpected level in proton--nucleus collisions. Furthermore, the modifications at forward rapidities are found to be a function of the total jet energy only, implying that the violations may have a simple dependence on the hard parton--parton kinematics.

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.

Um estudo sobre gênero no Brasil do século XIX: o caso Anna Jansen, a Rainha do Maranhão

Dissertação de mestrado em Contabilidade

Modelling Z→ττ processes in ATLAS with τ-embedded Z→μμ data

This paper describes the concept, technical realisation and validation of a largely data-driven method to model events with Z→ττ decays. In Z→μμ events selected from proton-proton collision data recorded at s√=8 TeV with the ATLAS experiment at the LHC in 2012, the Z decay muons are replaced by τ leptons from simulated Z→ττ decays at the level of reconstructed tracks and calorimeter cells. The τ lepton kinematics are derived from the kinematics of the original muons. Thus, only the well-understood decays of the Z boson and τ leptons as well as the detector response to the τ decay products are obtained from simulation. All other aspects of the event, such as the Z boson and jet kinematics as well as effects from multiple interactions, are given by the actual data. This so-called τ-embedding method is particularly relevant for Higgs boson searches and analyses in ττ final states, where Z→ττ decays constitute a large irreducible background that cannot be obtained directly from data control samples.

Brincar de Internet: a vivência lúdica infantil em ambiente virtual

Tese de Doutoramento em Ciências da Educação (Especialidade em Tecnologia Educativa)

“PhenoWorld”: a new multidimensional strategy for studying behaviour in rodents

Tese de Doutoramento em Ciências da Saúde

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Conflito e trauma: XVI Colóquio de Outono

It has been the main concern of CEHUM, as a Research Centre within the Humanities which operates in an inter and transdisciplinary structure to listen attentively to the “noise of the world” and attempt a global interpretation of the signs of the times issuing from the world around us, as vibrant echoes of many social and cultural pressing issues. Every year each new Colóquio de Outono attempts to give evidence of that concern through the topic chosen for debate, ample enough and challenging enough to trigger a lively multidisciplinary dialogue amongst the diff erent research groups that compose this centre, the participants and our invited guest speakers. Throughout the three days of this 16th Colóquio de Outono we had the privilege to debate the propositions of a vast number of national and international specialists in the manifold fi elds of inquiry here represented, engaging keynote speakers, project advisors, members of research teams and external researchers attached to the various research projects currently running in CEHUM, in the fi elds of literature, linguistics, philosophy, ethics, visual arts, cultural studies, music and performance. Each specifi c fi eld of studies was however never seen isolated, but always embodied in a geo-cultural context and within the scope of a wide variety of critical debates and current theories of knowledge, as a signal of our understanding of the Humanities as a rich and plural territory which engages us all, scholars, researchers, students.

Fundamental concepts in multibody dynamics

In this chapter, the fundamental ingredients related to formulation of the equations of motion for multibody systems are described. In particular, aspects such as degrees of freedom, types of coordinates, basic kinematics joints and types of analysis in multibody systems are briefly characterized. Illustrative examples of application are also presented to better clarify the fundamental issues for spatial rigid multibody systems, which are of crucial importance in the formulation development of mathematical models of mechanical systems, as well as its computational implementation.

Pure elastic contact force models

"Series: Solid mechanics and its applications, vol. 226"

Development of a subject-specific musculoskeletal shoulder model : inverse and forward dynamics applications

A prevalência de pessoas que referem dor no complexo articular do ombro, com concomitante limitação na capacidade para realizar atividades da vida diária, é elevada. Estes níveis de prevalência sobrecarregam quer os utentes, como a própria sociedade. A evidência científica atual indicia a existência de uma relação entre as alterações da articulação escápulo-torácica e as patologias associadas à articulação gleno-umeral. A capacidade de quantificar, cinemática e cineticamente, as disfunções ao nível das articulações escápulo-torácica e gleno-umeral, é algo de enorme importância, quer para a comunidade biomecânica, como para a clínica. No decorrer dos trabalhos desta tese foi desenvolvido, através do software OpenSim, um modelo tridimensional músculo-esquelético do complexo articular do ombro que inclui a representação do tórax/coluna, clavícula, omoplata, úmero, rádio, cúbito e articulações que permitem os movimentos relativos desses segmentos, assim como, 16 músculos e 4 ligamentos. Com um total de 11 graus de liberdade, incluindo um novo modelo articular escápulo-torácico, os resultados demonstram que este é capaz de reconstruir de forma precisa e rápida os movimentos escápulo-torácicos e glenoumerais, recorrendo para tal, à cinemática inversa, e à dinâmica inversa e direta. Conta ainda com um método de transformação inovador para determinar, com base nas especificidades dos sujeitos, os locais de inserção muscular. As principais motivações subjacentes ao desenvolvimento desta tese foram contribuir para o aprofundar do atual conhecimento sobre as disfunções do complexo articular do ombro e, simultaneamente, proporcionar à comunidade clínica uma ferramenta biomecânica de livre acesso com o intuito de melhor suportar as decisões clínicas e dessa forma concorrer para uma prática mais efetiva.