Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Thermal and hydrolytic degradation of electrospun fish gelatin membranes

The thermal and hydrolytic degradation of electrospun gelatin membranes cross-linked with glutaraldehyde in vapor phase has been studied. In vitro degradation of gelatin membranes was evaluated in phosphate buffer saline solution at 37 ºC. After 15 days under these conditions, a weight loss of 68 % was observed, attributed to solvation and depolymerization of the main polymeric chains. Thermal degradation kinetics of the gelatin raw material and as-spun electrospun membranes showed that the electrospinning processing conditions do not influence polymer degradation. However, for cross-linked samples a decrease in the activation energy was observed, associated with the effect of glutaraldehyde cross-linking reaction in the inter- and intra-molecular hydrogen bonds of the protein. It is also shown that the electrospinning process does not affect the formation of the helical structure of gelatin chains.

The need for standardized tests to evaluate the reliability of data transport in wireless medical systems

Wireless medical systems are comprised of four stages, namely the medical device, the data transport, the data collection and the data evaluation stages. Whereas the performance of the first stage is highly regulated, the others are not. This paper concentrates on the data transport stage and argues that it is necessary to establish standardized tests to be used by medical device manufacturers to provide comparable results concerning the communication performance of the wireless networks used to transport medical data. Besides, it suggests test parameters and procedures to be used to produce comparable communication performance results.

Contradiction between the average age of retirement at the time of death and the average pension time for men and women in public employment in Portugal

The short article attempts to make some very brief reflections on the effects a lack of public policies positively discriminatory in terms of public employment retirement. In particular, the observation of the absurd contradiction between the average age of retirement at the time of death (for men and women) and the average pension time for men and women in public employment in Portugal.

LEARNING ENVIRONMENTS IN THE CONTEXT OF A MASTER DEGREE IN ANIMATION AND ILLUSTRATION

This paper aims to describe the processes of teaching illustration and animation, together, in the context of a masters degree program. In Portugal, until very recently, illustration and animation higher education courses, were very scarce and only provided by a few private universities, which offered separated programs - either illustration or animation. The MA in Illustration and Animation (MIA) based in the Instituto Politécnico do Cávado e Ave in Portugal, dared to join these two creative areas in a common learning model and is already starting it’s third edition with encouraging results and will be supported by the first international conference on illustration and animation (CONFIA). This masters program integrates several approaches and techniques (in illustration and animation) and integrates and encourages creative writing and critique writing. This paper describes the iterative process of construction, and implementation of the program as well as the results obtained on the initial years of existence in terms of pedagogic and learning conclusions. In summary, we aim to compare pedagogic models of animation or illustration teaching in higher education opposed to a more contemporary and multidisciplinary model approach that integrates the two - on an earlier stage - and allows them to be developed separately – on the second part of the program. This is based on the differences and specificities of animation (from classic techniques to 3D) and illustration (drawing the illustration) and the intersection area of these two subjects within the program structure focused on the students learning and competencies acquired to use in professional or authorial projects.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Chronic stress disrupts neural coherence between cortico-limbic structures

Chronic stress impairs cognitive function, namely on tasks that rely on the integrity of cortico-limbic networks. To unravel the functional impact of progressive stress in cortico-limbic networks we measured neural activity and spectral coherences between the ventral hippocampus (vHIP) and the medial prefrontal cortex (mPFC) in rats subjected to short term stress (STS) and chronic unpredictable stress (CUS). CUS exposure consistently disrupted the spectral coherence between both areas for a wide range of frequencies, whereas STS exposure failed to trigger such effect. The chronic stress-induced coherence decrease correlated inversely with the vHIP power spectrum, but not with the mPFC power spectrum, which supports the view that hippocampal dysfunction is the primary event after stress exposure. Importantly, we additionally show that the variations in vHIP-to-mPFC coherence and power spectrum in the vHIP correlated with stress-induced behavioral deficits in a spatial reference memory task. Altogether, these findings result in an innovative readout to measure, and follow, the functional events that underlie the stress-induced reference memory impairments.

PHB-PEO electrospun fiber membranes containing chlorhexidine for drug delivery applications

Fiber meshes of poly(hydroxybutyrate) (PHB) and poly(hydroxybutyrate)/ poly(ethylene oxide) (PHB/PEO) with different concentrations of chlorhexidine (CHX) were prepared by electrospinning, for assessment as a polymer based drug delivery system. The electrospun fibers were characterized at morphological, molecular and mechanical levels. The bactericidal potential of PHB and PHB/PEO electrospun fibers with and without CHX was investigated against Escherichia coli (E. coli) and Staphylococcus aureus (S. aureus) by disk diffusion susceptibility tests. Electrospun fibers containing CHX exhibited bactericidal activity. PHB/PEO-1%CHX displayed higher CHX release levels and equivalent antibacterial activity when compared to PHB/PEO with 5 and 10 wt% CHX. Bactericidal performance of samples with 1 wt% CHX was assessed by Colony Forming Units (CFU), where a reduction of 100 % and 99.69 % against E. coli and S. aureus were achieved, respectively.

Effect of filler content on morphology and physical-chemical characteristics of poly(vinylidene fluoride)/NaY-zeolite filled membranes

Poly(vinylidene fluoride) electrospun membranes have been prepared with different NaY zeolite contents up to 32%wt. Inclusion of zeolites induces an increase of average fiber size from ~200 nm in the pure polymer up to ~500 nm in the composite with 16%wt zeolite content. For higher filler contents, a wider distribution of fibers occurs leading to a broader size distributions between the previous fiber size values. Hydrophobicity of the membranes increases from ~115º water contact angle to ~128º with the addition of the filler and is independent on filler content, indicating a wrapping of the zeolite by the polymer. The water contact angle further increases with fiber alignment up to ~137º. Electrospun membranes are formed with ~80 % of the polymer crystalline phase in the electroactive  phase, independently on the electrospinning processing conditions or filler content. Viability of MC3T3-E1 cells on the composite membranes after 72 h of cell culture indicates the suitability of the membranes for tissue engineering applications.

Bioactive albumin functionalized polylactic acid membranes for improved biocompatibility

Biocompatibility is a major challenge for successful application of many biomaterials. In this study the ability to coat chemically and enzymatically activated poly(L-lactic acid) (PLA) membranes with heat denatured human serum albumin to improve biocompatibility was investigated. PLA membranes hydrolyzed with NaOH or cutinase and then treated with 1-ethyl-3-(3-dimethylaminopropyl)carbodiimide, hydrochloride (EDAC) as a heterobifunctional cross-linker promoted the coupling single bondCOOH groups on PLA membranes and single bondNH2 groups of heat denatured human serum albumin. This resulted in increased hydrophilicity (lowest water contact angles of 43° and 35°) and highest antioxidant activity (quenching of 79 μM and 115 μM tetramethylazobisquinone (TMAMQ) for NaOH and cutinase pretreated membranes, respectively). FTIR analysis of modified PLA membranes showed new peaks attributed to human serum albumin (amide bond, NH2 and side chain stretching) appearing within 3600–3000 cm−1 and 1700–1500 cm−1 (Fig. 3). MTT studies also showed that osteoblasts-like and MC-3T3-E1 cells viability increased 2.4 times as compared to untreated PLA membranes. The study therefore shows that this strategy of modifying the surfaces of PLA polymers could significantly improve biocompatibility.

Effect of neutralization and cross-linking on the thermal degradation of chitosan electrospun membranes

Thermal degradation of as electrospun chitosan membranes and samples subsequently treated with ethanol and cross-linked with glutaraldehyde (GA) have been studied by thermogravimetry (TG) coupled with an infrared spectrometer (FTIR). The influence of the electrospinning process and cross-linking in the electrospun chitosan thermal stability was evaluated. Up to three degradation steps were observed in the TG data, corresponding to water dehydration reaction at temperatures below 100 ºC, loss of side groups formed between the amine groups of chitosan and trifluoroacetic acid between 150 – 270 ºC and chitosan thermal degradation that starts around 250 ºC and goes up to 400 ºC. The Kissinger model was employed to evaluate the activation energies of the electrospun membranes during isothermal experiments and revealed that thermal degradation activation energy increases for the samples processed by electrospinning and subsequent neutralization and cross-linking treatments with respect to the neat chitosan powder.

The importance of quality in the consolidation of textile in Minho

The textile industry has a long tradition in Portugal and it is one of the most important sectors, despite the current economic crisis. It has always assumed a prominent role in terms of employment and a relevant position within the Portuguese economy. The lack of quality and the lower prices that other countries offer causes the loss of clients. Quality is a main tool to survive nowadays in the textile sector. To undertake our analysis, we made use of an existing database where 55 firms belonged to the textile industry, namely to the manufacturing sector. A new survey was created based on the original survey and was sent to 5 firms. Besides the survey, we also sent a few questions to the firms in order to retract more information about the actually situation in our country, concerning the textile industry. Several tables, graphs and pie charts were made to help shed light on our findings. This research was conducted in order to determine the importance of quality in the consolidation of textile firms in the north of Portugal. Most firms in our sample feel that quality improvement, business benefits, mobilizing employees’ knowledge and business image were important and that competition is very intense and is mainly by price and not by differentiation of product or service. The quality program has contributed to improve their competitive position and the improvement of their overall performance. The majority of the firms in our sample undertake TQM measures for quality purposes to meet customer expectations and prevent errors. Of all firms surveyed, the quality is certainly very important for its survival.