Analysis in weak systems

The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio

Quality attributes for mobile applications

A mobile application is a type of software application developed to run on a mobile device. The chapter discusses the main characteristics of mobile devices, since they have a great impact on mobile applications. It also presents the classification of mobile applications according to two main types: native and web-based applications. Finally, this chapter identifies the most relevant types of quality attributes for mobile applications. It shows that the relevant quality attributes for mobile applications are usually framed in the Usability, Performance, and Maintainability and Support categories.(undefined

Concepções alternativas dos alunos sobre ligação metálica

Nesse estudo investigou-se as concepções alternativas de alunos de uma disciplina do curso de licenciatura em química sobre a temática ligação metálica. A investigação foi realizada através da aplicação de um questionário que envolveu aspectos microscópico, macroscópico e representacional do conhecimento químico sobre ligação metálica. Os resultados obtidos mostraram que os alunos apresentaram ideias diferentes daquelas aceitas pela comunidade científica e algumas dessas ideias foram similares às encontradas em estudos internacionais sobre esse tema em níveis distintos de escolaridade

Structural and optical properties of europium doped zirconia single crystals fibers grown by laser floating zone

Yttria stabilized zirconia single crystal fibers doped with europium ions were developed envisaging optical applications. The laser floating zone technique was used in order to grow millimetric high quality single crystal fibers. The as-grown fibers are completely transparent and inclusion free, exhibiting a cubic structure. Under ultraviolet (UV) excitation, a broad emission band appears at 551 nm. The europium doped fibers are translucent with a tetragonal structure and exhibit an intense red emission at room temperature under UV excitation. The fingerprint transition lines between the 5D0 and 7FJ(0–4) multiplets of the Eu3+ ions are observed with the main emission line at ∼ 606 nm due to 5D0→7F2 transition. Photoluminescence excitation and wavelength dependent the photoluminescence spectra confirm the existence of different Eu3+ optical centers. © 2011 American Institute of PhysicsFCT-PTDC/CTM/66195/2006FCT-SFRH/BD/45774/200

To be or not to be digital, that's the question! Implications for firm innovation capability and performance

Digital transformation emerges today as a process for attaining competitive advantages and company differentiation. However, what are the implications of these digital processes for the innovative capability and performance of companies? This study seeks to contribute towards a better understanding of this framework, analysing the factors that lead companies to adopt new digital processes and their consequences in terms of innovation capability and performance. Using a sample of 940 companies and recourse to multivariate statistical analysis, we conclude that the profile of the owner/manager and the adoption of new digital processes reflect in the greater competitiveness of these (digital) companies.info:eu-repo/semantics/acceptedVersio

Enterprise information portals: potential for evaluating research for knowledge management and human capital assets using social network analysis

Paper presented at the ECKM 2010 – 11th European Conference on Knowledge Management, 2-3 September, 2010, Famalicão, Portugal. URL: http://www.academic-conferences.org/eckm/eckm2010/eckm10-home.htmEnterprise Information Portals (EIP) are being increasingly referred in the literature as one interesting technological solution to support organizations in their knowledge management initiatives. This paper seeks to explore the hidden potential of enterprise information portals to support knowledge management initiatives through the usage of social network analysis on research results and co-authorship/co-work relationships that may suggest ways to more effectively utilize knowledge capital and other organizational resources. For that purpose in this paper we will present field research results on evaluating knowledge management and human capital assets based on EIP data repositories using social network analysis. This evaluation will be made through the use of social network analysis techniques applied to authorship data from papers published in international journals with refereeing covering the last twenty years of research activities from a Portuguese leading research institution in the field of telecommunications - Instituto de Telecomunicações (IT)

Some rules to transform sequence diagrams into coloured Petri nets

This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation is to allow the development team to construct animations based on the CPN that can be shown to the users or the clients in order to reproduce the expected scenarios and thus validate them. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of animation is an important topic in this context, since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules

Hydrological and erosion response at micro-plot to -catchment scale following forest wildfire, north-central Portugal

Wildfires can have important impacts on hydrological and soil erosion processes, due to the destruction of vegetation cover and changes to soil properties. According to Shakesby and Doerr (2006), these wildfire effects are: i) much better known at small spatial scales (especially erosion plots) than at the scale of catchments; ii) much better studied with respect to overland flow and streamflow (and, then, especially peak discharges) than to soil erosion. Following up on a precursor project studying runoff generation and the associated soil losses from micro-plot to slope-scale in Portuguese eucalypt forests, the EROSFIRE-II project addresses the connectivity of these processes across hillslopes as well as within the channel network. This is done in the Colmeal study area in central Portugal, where the outlet of an entirely burnt catchment of roughly 10 ha was instrumented with a gauging station continuously recording water level and tubidity, and five slopes were each equipped with 4 runoff plots of < 0,5 m2 (“micro-plot”) and 4 slope-scale plots as well as 1 slope-scale sediment fence. Starting one month after the August 2008 wildfire, the plots were monitored at 1- to 2-weekly intervals, depending on the occurrence of rainfall. The gauging station became operational at the end of November 2008, since the in-situ construction of an H-flume required several weeks. A preliminary analysis of the data collected till the end of 2008, focusing on two slopes with contrasting slope lengths as well as the gauging station: revealed clear differences in runoff and erosion between: (i) the micro-plot and slope-scale plots on the same hillslope; (ii) the two slopes; (iii) an initial dry period and a subsequent much wetter period; (iv) the slopes and the catchment-scale, also depending on the sampling period. These results suggest that the different processes govern the hydrological and erosion response at different spatial scales as well as for different periods, with soil water repellency playing a role during the initial post-fire period. The current presentation will review these preliminary results based on the data collected during the first year after the wildfire

Web based object annotation tool using a Triplet-ReID sorting approach

The robustness of the object detection methods has seen an increasing attention, which leads to a desire for more control over the training and testing phases. In practice, the need for labelling unique objects present on a dataset can be of help. However, manually labelling datasets of considerable size can be impractical. This paper describes an approach to improve labelling information of a dataset by supporting an object reidentification task. The primary objective is to find repeated objects in the dataset. The proposed solution relies on a web-based application that allows the user to choose which of the similar objects returned by the Triplet-ReID method are in fact the same as the query object. The effectiveness of the method was tested on a dataset with considerable object variability. Experimental results show a viable sorting performance associated with considerable speed improvement when compared to a traditional labelling approach. In fact, a dataset with 55 unique objects in a total of 1098 images would take 18 hours with a traditional tool and 12 hours with proposed one. Moreover, given the generic architecture of the developed framework, it can certainly be applied to a wide range of use cases.This work is supported by European Structural and Investment Funds in the FEDER component, through the Operational Competitiveness and Internationalization Programme (COMPETE 2020) [Project nº 039334; Funding Reference: POCI-01-0247-FEDER-039334

Essencial oil components of Hypericum androsaemum infusions and their nematotoxic effects against Meloidogyne javanica (Treub) Chitwood.

Real Sociedad Española de Química, CITAB -UM, CBMA - UM, FCTUniversidade do Minho - CITAB -UM, CBMA - UMFundação para a Ciência e a Tecnologia (FCT