The Role of lifelong learning in creation of a european knowledge-based society

The dominant discourse in education and training policies, at the turn of the millennium, was on lifelong learning (LLL) in the context of a knowledge-based society. As Green points (2002, pp. 611-612) several factors contribute to this global trend: The demographic change: In most advanced countries, the average age of the population is increasing, as people live longer; The effects of globalisation: Including both economic restructuring and cultural change which have impacts on the world of education; Global economic restructuring: Which causes, for example, a more intense demand for a higher order of skills; the intensified economic competition, forcing a wave of restructuring and creating enormous pressure to train and retrain the workforce In parallel, the “significance of the international division of labour cannot be underestimated for higher education”, as pointed out by Jarvis (1999, p. 250). This author goes on to argue that globalisation has exacerbated differentiation in the labour market, with the First World converting faster to a knowledge economy and a service society, while a great deal of the actual manufacturing is done elsewhere.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Leptonic mixing, family symmetries, and neutrino phenomenology

Tribimaximal leptonic mixing is a mass-independent mixing scheme consistent with the present solar and atmospheric neutrino data. By conveniently decomposing the effective neutrino mass matrix associated to it, we derive generic predictions in terms of the parameters governing the neutrino masses. We extend this phenomenological analysis to other mass-independent mixing schemes which are related to the tribimaximal form by a unitary transformation. We classify models that produce tribimaximal leptonic mixing through the group structure of their family symmetries in order to point out that there is often a direct connection between the group structure and the phenomenological analysis. The type of seesaw mechanism responsible for neutrino masses plays a role here, as it restricts the choices of family representations and affects the viability of leptogenesis. We also present a recipe to generalize a given tribimaximal model to an associated model with a different mass-independent mixing scheme, which preserves the connection between the group structure and phenomenology as in the original model. This procedure is explicitly illustrated by constructing toy models with the transpose tribimaximal, bimaximal, golden ratio, and hexagonal leptonic mixing patterns.

Sintonia de controladores baseada em Sistemas de Inferência Difusa

Este trabalho de pesquisa e desenvolvimento tem como fundamento principal o Conceito de Controlo por Lógica Difusa. Utilizando as ferramentas do software Matlab, foi possível desenvolver um controlador com base na inferência difusa que permitisse controlar qualquer tipo de sistema físico real, independentemente das suas características. O Controlo Lógico Difuso, do inglês “Fuzzy Control”, é um tipo de controlo muito particular, pois permite o uso simultâneo de dados numéricos com variáveis linguísticas que tem por base o conhecimento heurístico dos sistemas a controlar. Desta forma, consegue-se quantificar, por exemplo, se um copo está “meio cheio” ou “meio vazio”, se uma pessoa é “alta” ou “baixa”, se está “frio” ou “muito frio”. O controlo PID é, sem dúvida alguma, o controlador mais amplamente utilizado no controlo de sistemas. Devido à sua simplicidade de construção, aos reduzidos custos de aplicação e manutenção e aos resultados que se obtêm, este controlador torna-se a primeira opção quando se pretende implementar uma malha de controlo num determinado sistema. Caracterizado por três parâmetros de ajuste, a saber componente proporcional, integral e derivativa, as três em conjunto permitem uma sintonia eficaz de qualquer tipo de sistema. De forma a automatizar o processo de sintonia de controladores e, aproveitando o que melhor oferece o Controlo Difuso e o Controlo PID, agrupou-se os dois controladores, onde em conjunto, como poderemos constatar mais adiante, foram obtidos resultados que vão de encontro com os objectivos traçados. Com o auxílio do simulink do Matlab, foi desenvolvido o diagrama de blocos do sistema de controlo, onde o controlador difuso tem a tarefa de supervisionar a resposta do controlador PID, corrigindo-a ao longo do tempo de simulação. O controlador desenvolvido é denominado por Controlador FuzzyPID. Durante o desenvolvimento prático do trabalho, foi simulada a resposta de diversos sistemas à entrada em degrau unitário. Os sistemas estudados são na sua maioria sistemas físicos reais, que representam sistemas mecânicos, térmicos, pneumáticos, eléctricos, etc., e que podem ser facilmente descritos por funções de transferência de primeira, segunda e de ordem superior, com e sem atraso.

Analysis of UV spectral bands using multidimensional scaling

This study describes the change of the ultraviolet spectral bands starting from 0.1 to 5.0 nm slit width in the spectral range of 200–400 nm. The analysis of the spectral bands is carried out by using the multidimensional scaling (MDS) approach to reach the latent spectral background. This approach indicates that 0.1 nm slit width gives higher-order noise together with better spectral details. Thus, 5.0 nm slit width possesses the higher peak amplitude and lower-order noise together with poor spectral details. In the above-mentioned conditions, the main problem is to find the relationship between the spectral band properties and the slit width. For this aim, the MDS tool is to used recognize the hidden information of the ultraviolet spectra of sildenafil citrate by using a ShimadzuUV–VIS 2550, which is in theworld the best double monochromator instrument. In this study, the proposed mathematical approach gives the rich findings for the efficient use of the spectrophotometer in the qualitative and quantitative studies.

A study on the modeling of sandwich functionally graded particulate composites

Dual-phase functionally graded materials are a particular type of composite materials whose properties are tailored to vary continuously, depending on its two constituent's composition distribution, and which use is increasing on the most diverse application fields. These materials are known to provide superior thermal and mechanical performances when compared to the traditional laminated composites, exactly because of this continuous properties variation characteristic, which enables among other advantages smoother stresses distribution profile. In this paper we study the influence of different homogenization schemes, namely the schemes due to Voigt, Hashin-Shtrikman and Mod-Tanaka, which can be used to obtain bounds estimates for the material properties of particulate composite structures. To achieve this goal we also use a set of finite element models based on higher order shear deformation theories and also on first order theory. From the studies carried out, on linear static analyses and on free vibration analyses, it is shown that the bounds estimates are as important as the deformation kinematics basis assumed to analyse these types of multifunctional structures. Concerning to the homogenization schemes studied, it is shown that Mori-Tanaka and Hashin-Shtrikman estimates lead to less conservative results when compared to Voigt rule of mixtures.

Metop-A generator for single top production via FCNC interactions

We present a generator for single top-quark production via flavour-changing neutral currents. The MEtop event generator allows for Next-to-Leading-Order direct top production pp -> t and Leading-Order production of several other single top processes. A few packages with definite sets of dimension six operators are available. We discuss how to improve the bounds on the effective operators and how well new physics can be probed with each set of independent dimension six operators.

Clustering de dados biomédicos com algoritmos baseados em critérios entrópicos

A procura de padrões nos dados de modo a formar grupos é conhecida como aglomeração de dados ou clustering, sendo uma das tarefas mais realizadas em mineração de dados e reconhecimento de padrões. Nesta dissertação é abordado o conceito de entropia e são usados algoritmos com critérios entrópicos para fazer clustering em dados biomédicos. O uso da entropia para efetuar clustering é relativamente recente e surge numa tentativa da utilização da capacidade que a entropia possui de extrair da distribuição dos dados informação de ordem superior, para usá-la como o critério na formação de grupos (clusters) ou então para complementar/melhorar algoritmos existentes, numa busca de obtenção de melhores resultados. Alguns trabalhos envolvendo o uso de algoritmos baseados em critérios entrópicos demonstraram resultados positivos na análise de dados reais. Neste trabalho, exploraram-se alguns algoritmos baseados em critérios entrópicos e a sua aplicabilidade a dados biomédicos, numa tentativa de avaliar a adequação destes algoritmos a este tipo de dados. Os resultados dos algoritmos testados são comparados com os obtidos por outros algoritmos mais “convencionais" como o k-médias, os algoritmos de spectral clustering e um algoritmo baseado em densidade.

Two distinct arabinofuranosidases contribute to arabino-oligosaccharide degradation in Bacillus subtilis.

Microbiology 154 (2008) 2719-2729

Organização e disposição dos armazéns

Relatório de Estágio Curricular apresentado ao Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Logística Orientado pelo Doutor Júlio Faceira Guedes Coorientado pelo Engenheiro Ricardo Costa Moreira

Analysis of UV spectral bands using multidimensional scaling

This study describes the change of the ultraviolet spectral bands starting from 0.1 to 5.0 nm slit width in the spectral range of 200–400 nm. The analysis of the spectral bands is carried out by using the multidimensional scaling (MDS) approach to reach the latent spectral background. This approach indicates that 0.1 nm slit width gives higher-order noise together with better spectral details. Thus, 5.0 nm slit width possesses the higher peak amplitude and lower-order noise together with poor spectral details. In the above-mentioned conditions, the main problem is to find the relationship between the spectral band properties and the slit width. For this aim, the MDS tool is to used recognize the hidden information of the ultraviolet spectra of sildenafil citrate by using a Shimadzu UV–VIS 2550, which is in the world the best double monochromator instrument. In this study, the proposed mathematical approach gives the rich findings for the efficient use of the spectrophotometer in the qualitative and quantitative studies.

Análise da estrutura e da função da proteína morfogenética RodZ de Bacillus subtilis

Resumo: RodZ é um componente do sistema morfogenético das células bacterianas. É uma proteína transmembranar que localiza em bandas ao longo do eixo longitudinal da célula. Em Bacillus subtilis, RodZ consiste numa porção citoplasmática, RodZn, e em uma parte extra-citoplasmática, RodZc. RodZn contém um domínio em helixturn- helix (HTH), enquanto que RodZc pode ser dividido num domínio coiled-coil e num domínio terminal C, de função desconhecida. Um segmento transmembranar (TM) único separa RodZn de RodZc. A eliminação de rodZ causa alongamento do nucleóide e leva à produção de células polares nucleadas. Aqui, mostramos que RodZn é estruturado, estável e em hélice α. Descobrimos que as substituições Y32A e L33A na suposta hélice de reconhecimento (3) do motivo HTH, bem como as substituições Y49A e F53A, fora do motivo HTH (4), causam divisão assimétrica, mas apenas as últimas levam à deslocalização sub-celular de RodZ. Sugerimos que as hélices 3 e 4 são utilizadas para uma interacção proteína-proteína ou proteína- DNA essencial para divisão celular enquanto que 4 deve contactar um componente do citosqueleto, possivelmente MreB, uma vez que a correcta localização sub-celular de RodZ depende desta proteína. Em todos os mutantes as células polares são anucleadas, pelo que concluímos que o alongamento do nucleóide não é um prérequisito para divisão assimétrica. RodZc é largamente não estruturado mas com conteúdo de folha , sendo estabilizado pelo domínio coiled-coil. Mostramos uma relação homóloga entre RodZc e a bomba de transporte Na+/Ca2+ NCX1 e identificámos dois resíduos no domínio C, G265 e N275, essenciais para a manutenção da forma celular. Estes resíduos fazem parte de um motivo em gancho que pode actuar como um local de interacção com um ligando desconhecido. RodZn e RodZc são monoméricos em solução. Contudo, na membrana, RodZ interage consigo própria num sistema de dois híbridos (Split-Ubiquitin) em levedura, sugerindo que possa formar multímeros in vivo.-----------ABSTRACT: RodZ is a transmembrane component of the bacterial core morphogenic apparatus. RodZ localizes in bands long the longitudinal axis of the cell, and it is though to functionally link the cell wall to the actin cytoskeleton. In Bacillus subtilis, RodZ consists of a cytoplasmic moiety, RodZn, and an extracytoplasmic moiety, RodZc. RodZn contains a predicted helix-turn-helix domain, whereas RodZc is thought to contain a coiled-coil region and a terminal C domain of unknown function. A single transmembrane domain separates RodZn from RodZc. Deletion of rodZ causes elongation of the nucleoid and leads to the production of polar minicells containing DNA. Here, we have studied the structure and function of RodZn and RodZc. We show that RodZn is a stable, folded, -helical domain. We discovered that the Y32A and L33A substitutions within the presumptive recognition helix (3) of the HTH motif, as well as the Y49A and F53A substitutions outside of the HTH motif (in 4) cause asymmetric cell division. However, only the substitutions in 4 cause sub-celular delocalization of RodZ. We suggest that 3 and 4 are used for a protein-protein or protein-DNA interaction important for cell division, whereas 4 is likely to contact a cytoskeletal component, presumably MreB. The polar cells formed by all the mutants are anucleate. We conclude that nucleoid elongation is not a prerequisite for asymmetric division. RodZc appears to be a largely unstructured domain, with some -sheet content, and is stabilized by the coiled-coil region. We show a homology relationship between RodZc and the NCX1 Na+/Ca2+ transporter and we found two residues within the C domain, G265 and N275, that are important for cell shape determination. These residues are predicted to be essential determinants of a claw-like motif, which may act as a binding site for an unknown ligand. Both the isolated RodZn and RodZc proteins are monomeric in solution. However, because full-length RodZ interacts with itself in a split-ubiquitin yeast two-hybrid assay, we suggest that it may dimerize or form higher order multimers in vivo.

The development and implementation of math projects in a HEI: expectations, objectives, experiences and analysis

An overwhelming problem in Math Curriculums in Higher Education Institutions (HEI), we are daily facing in the last decade, is the substantial differences in Math background of our students. When you try to transmit, engage and teach subjects/contents that your “audience” is unable to respond to and/or even understand what we are trying to convey, it is somehow frustrating. In this sense, the Math projects and other didactic strategies, developed through Learning Management System Moodle, which include an array of activities that combine higher order thinking skills with math subjects and technology, for students of HE, appear as remedial but important, proactive and innovative measures in order to face and try to overcome these considerable problems. In this paper we will present some of these strategies, developed in some organic units of the Polytechnic Institute of Porto (IPP). But, how “fruitful” are the endless number of hours teachers spent in developing and implementing these platforms? Do students react to them as we would expect? Do they embrace this opportunity to overcome their difficulties? How do they use/interact individually with LMS platforms? Can this environment that provides the teacher with many interesting tools to improve the teaching – learning process, encourages students to reinforce their abilities and knowledge? In what way do they use each available material – videos, interactive tasks, texts, among others? What is the best way to assess student’s performance in these online learning environments? Learning Analytics tools provides us a huge amount of data, but how can we extract “good” and helpful information from them? These and many other questions still remain unanswered but we look forward to get some help in, at least, “get some drafts” for them because we feel that this “learning analysis”, that tackles the path from the objectives to the actual results, is perhaps the only way we have to move forward in the “best” learning and teaching direction.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

G-quadruplex ligands for cancer therapy

DNA may fold into a diversity of structures and topologies such as duplexes and triplexes. Some specific guanine-rich DNA sequences may even fold into a higher order structures denominated guanine G-quadruplexes (G4). These G-quadruplex forming sequences have shown biological interest since were found in telomeres and in promoter region of oncogenes. Thus, these G4 forming sequences have been explored as therapeutic targets for cancer therapy, since G4 formation was demonstrated to inhibit RNA-polymerase and telomerase activity. However, the G4 structures are transient and are only formed under specific conditions. Hence the main objective of this work is to develop new G4-specific ligands which may potentially find applications in the therapeutic area. Several potential G4-binding ligands were synthesized and characterized. The synthesis of these compounds consisted on a procedure based on van Leusen chemistry and a cross-coupling reaction through C-H activation, affording phenanthroline compounds (Phen-1, 50%; Phen-2, 20%), phenyl (Iso-1, 61%; Iso-2, 21%; Ter-1, 85%; Ter-2, 35%), and quinolyl (Quin-1, 85%; Quin-2, 45%) compounds. Screening assays for selecting the potential G4 compounds were performed by FRET-melting, G4-FID, CD-melting and DSF. Qualitative biophysical studies were performed by fluorescence and CD spectroscopy. Two high-specific G-quadruplex ligands, Phen-1 and Phen-2, were found to effectively bind telomeric and c-myc G4 structures. Phen-1 was found to stabilize parallel telomeric 22AG and c-myc sequence by 4.1 and 4.3 ˚C, respectively. Phen-2 also displayed high affinity towards 22AG (