963 resultados para EU framework program
Resumo:
Este trabalho é resultado da investigação que teve como objetivo analisar o processo de construção dos Projetos Políticos Pedagógicos dos cursos do Proeja no contexto do Ifes campus Vitória. O problema de pesquisa buscou captar os movimentos e as experiências desencadeados nesse processo. No percurso metodológico, com ênfase na pesquisa qualitativa, foi necessário entrelaçar duas abordagens: a etnografia escolar e a pesquisa-ação em função da atuação profissional da pesquisadora no lócus de estudo. Variados instrumentos foram utilizados para levantamento e a produção dos dados, dentre os quais: questionários, entrevistas, diário de campo das observações, pesquisa bibliográfica e documental. Participaram da pesquisa aproximadamente 80 pessoas, entre docentes, alunos e gestores, abordados em contextos específicos: o grupo de formação continuada, a comissão dos projetos, o encontros dos alunos, a reunião intermediária dentre outros. O referencial teórico-metodológico pautado na perspectiva do materialismo histórico dialético embasou toda a trajetória investigativa, em coerência com a base da produção das pesquisas sobre trabalho e educação e por se constituir a referência que fundamenta os princípios estruturantes do currículo integrado na perspectiva da formação humana. Por meio da metáfora dos observatórios, focamos nossas lentes sobre as questões que desafiaram a construção dos projetos políticos pedagógicos e sua coerência com os princípios epistemológicos, políticos e pedagógicos do Proeja. Nesse movimento, diversos olhares foram captados, possibilitando-nos levantar os seguintes resultados: o percurso de construção dos projetos foi marcado por contradições que perpassam todo o processo e que constituíram um debate profícuo que tenciona a gestão pedagógica, administrativa e financeira do Ifes campus Vitória. O movimento se constituiu também em um processo de construção, partilha de saberes e experiências, impulsionado pela busca da apreensão dos sentidos da integração, que contraditoriamente não alcançou seus objetivos, embora não se possa negar os resultados positivos do processo no interior da Instituição. Dessa forma, os desafios para efetivação da formação integrada no Ifes persistem. Ganha centralidade nessa discussão os sujeitos a quem o programa se volta e suas demandas de formação, bem como as condições materiais de oferta dos cursos e de forma especial as condições de envolvimento dos professores com o programa e as reflexões sobre suas práticas.
Resumo:
Esta pesquisa procurou compreender como o Museu de Arte do Espírito Santo (MAES) atua na produção de sentidos dos estudantes, a partir das relações estabelecidas com a escola, e, nesse proceder, como o museu compreende a arte e a escola como destinatária de suas ações. Os sujeitos da pesquisa foram 98 crianças, do 5º ano do Ensino Fundamental I, de uma escola privada de Vitória. A pesquisa teve como corpus os discursos verbo-visuais produzidos pelas crianças nessa relação museu e escola, bem como as performances discursivas do Programa de Ação Educativa do Museu, no que concerne à formação de educadores e ao programa ciclo de palestras. Como metodologia de pesquisa, utilizou-se o estudo exploratório, e o aporte teórico foi a semiótica discursiva. A coleta de dados ocorreu no museu e na escola. No Museu, a partir de eventos que nortearam a exposição “Meu País Tropical”, da artista alemã, Heidi Lieberman, e das ações educativas propostas pelo MAES; na Escola, com o mapeamento inicial para compreender como e quais os sentidos eram apontados pelas crianças quanto ao conhecimento delas sobre a arte e sobre um museu de arte (antes da realização de sua primeira visita a esse espaço, o que elas sabem e qual a compreensão que elas têm da arte), bem como, nas produções plásticas e verbo-visuais produzidas por elas após a visita à instituição museal. Os resultados da pesquisa apontam que a metodologia analítica da semiótica discursiva contribuiu, de forma significativa, para desvelar os sentidos apontados pelas crianças no museu e na escola. Por meio dos discursos verbo-visuais produzidos por elas, compreendeu-se que uma educação pelo sensível, em consonância com relações de bons encontros no museu e na escola, pode propiciar uma experiência singular e significativa, que aguce a sensibilidade e reencante a educação.
Resumo:
Backcrossing has been little used in cacao breeding, particularly due to the long time required to transfer genes and recover the genetic background of the recurrent parent. The objective of this study was to select individuals, resulting from the backcross CEPEC-42 x SIC-19, genetically related to the recurrent parent SIC-19 by using RAPD molecular markers, among those with resistance to witches' broom. Of the 31 plants that clustered with SIC-19, 18 from the replanted material remained free of the disease in the field, with good vegetative aspect and, therefore can be used for backcross to reach the desired objective.
Resumo:
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.
Resumo:
Although the 12-lead electrocardiogram has become an essential medical and research tool, many current and envisaged applications would benefit from simpler devices, using 3-lead ECG configuration. This is particularly true for Ambient Assisted Living (in a broad perspective). However, the chest anatomy of female patients, namely during pregnancy, can hamper the adequate placement of a 3-lead ECG device and, very often, electrodes are placed below the chest rather than at the precise thoracic landmarks. Thus, the aim of this study was to compare the effect of electrode positioning on the ECG signal of pregnant women and provide guidelines for device development. The effect of breast tissue on the ECG signal was investigated by relating breast size with the signal-to-noise ratio, root mean square and R-wave amplitude. Results show that the 3-lead ECG should be placed on the breast rather than under the breast and indicate positive correlation between breast size and signal-to-noise ratio.
Resumo:
GUIsurfer: A Reverse Engineering Framework for User Interface Software
Resumo:
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
Resumo:
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
Resumo:
More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications
Resumo:
COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0
Resumo:
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.
Resumo:
Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell
Resumo:
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.
Resumo:
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.
Resumo:
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.