Envolvimento parental no desporto

O presente conjunto de investigações pretendeu estudar o envolvimento parental na competição desportiva de crianças e jovens. Baseado no modelo do envolvimento parental no desporto (Teques & Serpa, 2009), o estudo permitiu concretizar dois objectivos fundamentais. Primeiro, desenvolver um conjunto de escalas válidas e fidedignas para aceder aos constructos incluídos no modelo teórico. Segundo, testar as hipóteses fundamentadas na estrutura conceptual do modelo com o propósito de compreender (1) a razão porque os pais se envolvem no desporto dos filhos, (2) quais os comportamentos utilizados pelos pais durante o envolvimento, e (3) como é que o envolvimento influencia o contexto de realização do jovem atleta. No total, participaram voluntariamente 1620 pais e 1665 jovens atletas de vários desportos individuais e coletivos, com idades compreendidas entre os 9 e os 18 anos. A prossecução dos objectivos teve por base uma série de três estudos independentes. Os resultados do primeiro estudo sugerem que as crenças do papel parental, a auto-eficácia, a perceção das invocações oriundas do treinador e do jovem atleta, o tempo e energia disponíveis, e os conhecimentos e competências relacionam-se com as atividades de envolvimento dos pais. No segundo estudo, os resultados demonstraram que as perceções dos comportamentos parentais de encorajamento, reforço, instrução, e modelagem medeiam a relação entre os comportamentos reportados pelos pais e as variáveis psicológicas de auto-eficácia, auto-eficácia social, motivação intrínseca, e estratégias de autorregulação dos jovens. Os resultados do terceiro estudo indicam que as perceções dos comportamentos dos pais relacionam-se com a realização desportiva através dos efeitos de mediação da auto-eficácia, autoeficácia social e das estratégias de autorregulação. Implicações para a intervenção, limitações e direções futuras para a investigação são também discutidas.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

A comparative analysis of sustainable tourism, planning and development between Sligo and Donegal County Councils

Sustainable Development requires appropriate and continuous planning and management of economic, socio cultural and environmental resources. Tourism planning calls for continuous collaboration among tourism agencies, local authorities and local communities for success of the industry. While evidence suggests that tourism planning has been extensively documented, it is apparent that Donegal and Sligo County Councils have, in some cases failed to adequately address the significance of planning of the tourism industry for the North West of Ireland. This was investigated through interviews with chief planners of Donegal and Sligo county councils and was conducted in conjunction with the analysis of county development plans; which were formulated by both organisations involved in this study. Evidence suggests that although tourism is extensively documented by Donegal and Sligo county councils, neither of the two local authorities have developed implementation strategies to facilitate the promotion of sustainable tourism development. This research compares and analyses Donegal and Sligo county councils and how they plan for sustainable tourism development. It outlines the role of the county councils in relation to tourism planning and how Donegal and Sligo compare in how they plan for such a significant industry in the North West o f Ireland. It highlights the importance of implementation tools and methods and offers future directions that can assist in the development of sustainable tourism.

Acoustic emission analysis of the effect of a 2D wedge shaped blade on the compact bone cutting process

Surgeons may use a number of cutting instruments such as osteotomes and chisels to cut bone during an operative procedure. The initial loading of cortical bone during the cutting process results in the formation of microcracks in the vicinity of the cutting zone with main crack propagation to failure occuring with continued loading. When a material cracks, energy is emitted in the form of Acoustic Emission (AE) signals that spread in all directions, therefore, AE transducers can be used to monitor the occurrence and development of microcracking and crack propagation in cortical bone. In this research, number of AE signals (hits) and related parameters including amplitude, duration and absolute energy (abs-energy) were recorded during the indentation cutting process by a wedge blade on cortical bone specimens. The cutting force was also measured to correlate between load-displacement curves and the output from the AE sensor. The results from experiments show AE signals increase substantially during the loading just prior to fracture between 90% and 100% of maximum fracture load. Furthermore, an amplitude threshold value of 64dB (with approximate abs-energy of 1500 aJ) was established to saparate AE signals associated with microcracking (41 – 64dB) from fracture related signals (65 – 98dB). The results also demonstrated that the complete fracture event which had the highest duration value can be distinguished from other growing macrocracks which did not lead to catastrophic fracture. It was observed that the main crack initiation may be detected by capturing a high amplitude signal at a mean load value of 87% of maximum load and unsteady crack propagation may occur just prior to final fracture event at a mean load value of 96% of maximum load. The author concludes that the AE method is useful in understanding the crack initiation and fracture during the indentation cutting process.

Development of a semi-automatic self learning pattern recognition system for the control of electronic boards

This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway - Mayo Institute of Technology and an industrial company, Tyco/Mallinckrodt Galway. The project aimed to develop a semi - automatic, self - learning pattern recognition system capable of detecting defects on the printed circuits boards such as component vacancy, component misalignment, component orientation, component error, and component weld. The research was conducted in three directions: image acquisition, image filtering/recognition and software development. Image acquisition studied the process of forming and digitizing images and some fundamental aspects regarding the human visual perception. The importance of choosing the right camera and illumination system for a certain type of problem has been highlighted. Probably the most important step towards image recognition is image filtering, The filters are used to correct and enhance images in order to prepare them for recognition. Convolution, histogram equalisation, filters based on Boolean mathematics, noise reduction, edge detection, geometrical filters, cross-correlation filters and image compression are some examples of the filters that have been studied and successfully implemented in the software application. The software application developed during the research is customized in order to meet the requirements of the industrial partner. The application is able to analyze pictures, perform the filtering, build libraries, process images and generate log files. It incorporates most of the filters studied and together with the illumination system and the camera it provides a fully integrated framework able to analyze defects on printed circuit boards.

A Novel Algorithm to Quantify Coronary Remodeling Using Inferred Normal Dimensions

Background:Vascular remodeling, the dynamic dimensional change in face of stress, can assume different directions as well as magnitudes in atherosclerotic disease. Classical measurements rely on reference to segments at a distance, risking inappropriate comparison between dislike vessel portions.Objective:to explore a new method for quantifying vessel remodeling, based on the comparison between a given target segment and its inferred normal dimensions.Methods:Geometric parameters and plaque composition were determined in 67 patients using three-vessel intravascular ultrasound with virtual histology (IVUS-VH). Coronary vessel remodeling at cross-section (n = 27.639) and lesion (n = 618) levels was assessed using classical metrics and a novel analytic algorithm based on the fractional vessel remodeling index (FVRI), which quantifies the total change in arterial wall dimensions related to the estimated normal dimension of the vessel. A prediction model was built to estimate the normal dimension of the vessel for calculation of FVRI.Results:According to the new algorithm, “Ectatic” remodeling pattern was least common, “Complete compensatory” remodeling was present in approximately half of the instances, and “Negative” and “Incomplete compensatory” remodeling types were detected in the remaining. Compared to a traditional diagnostic scheme, FVRI-based classification seemed to better discriminate plaque composition by IVUS-VH.Conclusion:Quantitative assessment of coronary remodeling using target segment dimensions offers a promising approach to evaluate the vessel response to plaque growth/regression.

Conceptual Foundations of Modelling of Innovative Production Projects

At the moment there is a lack of methodological approaches to formalization of management of innovative projects relating to production systems, as well as to adaptation and practical use of the existing approaches. This article is about one potential approach to the management of innovative projects, which makes the building of innovative process models possible based on objective approach. It outlines the frameworks for the building of innovative project models, and describes the method of transition from conceptual modelling to innovative project management. In this case, the model alone and together with parameters used for evaluation of the project may be unique and depends on the special features of the project, preferences of decision-making person, and production and economic system in which it is to be implemented. Unlike existing approaches, this concept does not place any restrictions on types of models and makes it possible to take into account the specificities of economic and production systems. Principles embodied in the model allow its usage as a basis for simulation model to be used in one of specialized simulation systems, as well as for information system providing information support of decision-making process in production and economic systems both newly developed by the company (enterprise) and designed on the basis of available information systems that interact through the exchange of data. In addition, this article shows that the development of conceptual foundations of innovative project management in the economic and production systems is inseparable from the development of the theory of industrial control systems, and their comprehensive study may be reduced to a set of elements represented as certain algorithms, models and evaluations. Thus, the study of innovative process may be conducted in both directions: from general to particular, and vice versa.

Gonadal hybrid dysgenesis in Drosophila sturtevanti (Diptera, Drosophilidae)

The occurrence of hybrid dysgenesis was investigated in Drosophila sturtevanti Duda, 1927 using diagnostic crosses similar to those used for induction of dysgenics traits in D. melanogaster. Reciprocal test crosses were made, at 27° C, between an old laboratory strain of D. sturtevanti (COL, from Colombia), assumed to be an M'-like strain, and eight freshly collected strains from several natural populations. The gonadal dysgenesis indices were under 10% in most of crosses, except in hybrids of COL with I27, a strain from Minas Gerais (Brazil), in which the index values were moderate in both directions of crosses (25.71 and 12.87). The smallest productivity was also observed in hybrids of females COL mated to I27 males. No causal relationship between the observed gonadal dysgenesis and mobilization of P element or another transposable element could be effectively established.

The Phenomenon of international new ventures, global start-ups, and born-globals: what do we know after a decade (1993-2002) of exhaustive scientific inquiry?

In this paper, 27 studies from the last decade which deal more or less explicitly with the International New Venture, global start-up or born-global phenomenon are first identified, and then fully examined and critically assessed as a basis for obtaining an adequate view of the state-of-the-art of this increasingly important research avenue in the field of International Entrepreneurship (IE). The methodology used for this synthetic review allow us to analyze a number of recent, purposefully-chosen studies that are systematically compared along the following criteria: 1) main objective and type of research; 2) theoretical framework/s of reference, 3) methodological issues, and 4) main findings and/or conclusions. As a result of this literature review, a critical assessment follows in which the most relevant benefits and contributions as well as potential drawbacks, limitations or major discrepancies in the research activities conducted so far are discussed. Finally, some suggestions and implications are provided in the form of future research directions.

In search of mathematical primitives for deriving universal projective hash families

We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what properties of this mathematical primitives may lead to the construction of cryptographically useful projective hash families. We point out different directions towards new constructions, deviating from known proposals arising from Cramer and Shoup's seminal work.

Una Aproximació a la construcció significativa del coneixement matemàtic a l'ESO

This study displays and analyzes the contents of the Mathematics subject in ESO’s second cycle from a constructivist perspective. This analysis has been carried out by contrasting two groups of participants (control group and experimental group). These groups were formed by a sample of 240 students between the ages of 14 and 16 from four different educational centres of the Osona area. Research – Action methodology has been employed, combining quantitative techniques (statistical study with the SPSS package) with qualitative analysis (transcriptions of interviews and discussion group). This study has been carried out after years of classroom observation, reflection and action. The theoretical framework employed is a cognitive one, based on Ausubel’s Significative Learning Theory. Quantitative analysis shows how the researcher’s design improves, on the one hand, the students’ academic motivation and, on the other hand, their comprehensive memory, enabling them to achieve a more significant learning of the subjects’ contents. Furthermore, our analysis shows that the proposed method is more comprehensive than those employed by teachers collaborating with control groups. The main aim of the qualitative analysis is that of identifying the elements which configure the programme and contribute to an improvement of the aspects mentioned above. The key elements here are: co-operation as the basis of group dynamics; the employment, in some cases, of easily handled materials; the type of interaction between teacher and students, where, through open discussion, students are lead by teaching staff towards the course objectives; induction, that is, deducing formulae by initially using examples which are close to the students’ knowledge and experience or taken from everyday life (what we could call “down-top” mathematics). We should add here that the qualitative analysis does not only corroborate the results obtained by quantitative techniques, but also displays an increase of motivation in teaching staff. Teachers did show a positive attitude and welcomed the use and development of these materials in the next academic year. Finally, we discuss possible directions for further research.

Programa vellesa, activitat física i dependència (Vafid): justificació i bases per a la sistematització

El present estudi es centra en els programes d’activitat física adreçats a persones grans en situació de dependència, que es esenvolupen en grup i que utilitzen el moviment actiu com a principal eina de treball. Es tracta d’una recerca que, per una banda, estudia i analitza les bases teòriques que avalen la importància i la necessitat de l’aplicació d’aquest tipus de programes. Per l’altra, justifica i defineix, amb detall, les línies directrius que han de guiar el seu desenvolupament i la seva aplicació en l’àmbit d’institucions d’atenció a les persones grans (residències, centres de dia i centres sòciosanitaris). El marc conceptual (capítol II) es construeix a partir d’una àmplia recerca bibliogràfica sobre les quatre dimensions d’anàlisi clau (l’envelliment, la dependència, l’atenció a les persones grans i l’activitat física) que fonamenta i justifica la proposta de programa que es fa en la segona part (capítol III). En aquesta es defineixen els referents, les finalitats, els objectius, els recursos que es poden utilitzar, les indicacions bàsiques per a organitzar el treball, els aspectes metodològics essencials per a l’aplicació del programa i les condicions necessàries per a poder-lo implementar. El resultat de tot el procés de recerca i estudi permet dir que, a nivell teòric, l’activitat física és una eina útil, eficaç i amb moltes possibilitats cara a l’atenció a les persones grans en situació de dependència. Que els esmentats programes han de ser fruit d’un procés de planificació, han de considerar les diferents dimensions de l’ésser en interacció constant, han de ser aplicats donant més importància al procés que al producte i que els recursos disponibles s’han d’utilitzar d’acord amb aquests plantejaments. En les línies de futur per a aquesta recerca, es planteja la seva continuació a partir de l’aplicació del programa VAFiD en diferents grups i la seva avaluació (seguint el model d’avaluació responent de Robert Stake) per determinar-ne la coherència i la qualitat.

Behavior of Biomphalaria glabrata, the intermediate host snail of Schistosoma mansoni, at different depths in water in laboratory conditions

Using three columns of different depths (1.10m, 8.40m and 10.40m), we investigated the possibility of Biomphalaria glabrata moving towards deep regions. In the 1.10m column, we noted that locomotion can occur in two manners: 1) when the foot is in contact with the substrate: a) sliding descent; b) sliding ascent; c) creeping descent; d) creeping ascent, 2) when the foot is not in contact with the substrate: a) sudden descent without emission of air bules; b) sudden descent with emission of air bules; c) sudden ascent. In the 8.40m column containing food on the bottom (experimental group), the snails remained longer at this depth when compared to those of the group which received no food (control). The sliding behavior was characteristic of locomotion occurring at 0 to 1m both in upward and downward directions. Creeping behavior was typical for the ascent of the snails that reached deeper levels. When the snails were creeping, the shell remained hanging as if it were heavier, a fact that may have been due to water entering the pulmonary chamber. In the 10.40m column, the snails slid downward to a depth of 4m or descended suddenly all the way to the bottom. Ascent occurred by creeping from the bottom to the surface. In the 8.40m and 10.40m columns, copulation, feeding and oviposition occurred at the deepest levels.

Comparing Governmental Agendas: Evolution of the Prioritization of Issues in the USA and Spain

This paper is the first step in a long term project investigating policy stability and change in Spain from an agenda setting perspective and comparing the Spanish policy agenda to that of other advanced democracies. Here we begin to compare the allocation of issue attention in Spain and the USA by comparing the substance of annual President and Prime Minister speeches from 1982 to 2005. Existing research argues that the public agenda has become more crowded, competitive and volatile in recent years. We find that in both countries there has been a transformation of the political agenda towards an increasing diversity of issues. However, most of the volatility in executive attention seems to be explained by salient events rather than by issue crowding. We conclude by discussing some limitations of executive speeches as a measure of governmental issue attention and directions for future research.

Garnet growth in the Nufenen Pass area (Swiss Alps)

Abstract : Textural division of a mineral in pyramids, with their apices located at the centre of the mineral and their bases corresponding to the mineral faces is called textural sector zoning. Textural sector zoning is observed in many metamorphic minerals like andalousite and garnet. Garnets found in the graphite rich black shales of the Mesozoic cover of the Gotthard Massif display textural sector zoning. The morphology of this sector zoning is not the same in different types of black shales observed in the Nufenen pass area. Garnets in foliated black shales display a well developed sector zoning while garnets found in cm-scale layered black shales display well developed sectors in the direction of the schistosity plane. This sector zoning is always associated with up to 30μm sized birefringent lamellae emanating radial from the sector boundaries. They alternate with isotrope lamellae. The garnet forming reaction was determined using singular value decomposition approach and results compared to thermodynamic calculations. It is of the form chl + mu + cc + cld = bt + fds + ank + gt + czo and is similar in both layered and foliated black shales. The calculated X(O) is close to 0.36 and does not significantly vary during the metamorphic history of the rock. This corresponds to X CO2, X CH4, and X H2O BSE imaging of garnets on oriented-cuts revealed that the orientation of the lamellae found within the sectors is controlled by crystallography. BSE imaging and electron microprobe analysis revealed that these lamellae are calcium rich compared to the isotropic lamellae. The addition of Ca to an almandine rich garnet causes a small distortion of the X site and potentially, ordering. Ordered and disordered garnet might have very similar free energies for this composition. Hence, two garnets with different composition can be precipitated with minor overstepping of the reaction. It is enough that continued nucleation of a new garnet layer slightly prefers the same structure to assure a fiber-like growth of both garnet compositions side by side. This hypothesis is in agreement with the thermodynamic properties of the garnet solid solution described in the literature and could explain the textures observed in garnets with these compositions. To understand the differences in sector zoning morphology, and crystal growth kinetics, crystal size distribution were determined in several samples using 2D spatial analysis of slab surfaces. The same nucleation rate law was chosen for all cases. Different growth rate law for non-layered black shales and layered black shales were used. Garnet in layered black shales grew according to a growth rate law of the form R=kt ½. The transport of nutrient is the limiting factor. Transport will occur preferentially on the schistosity planes. The shapes of the garnets in such rocks are therefore ovoid with the longest axis parallel to the schistosity planes. Sector zoning is less developed with sectors present only parallel to the schistosity planes. Garnet in non-layered blackshales grew according to a growth rate law of the form R=kt. The limiting factor is the attachment at the surface of the garnet. Garnets in these rocks will display a well developed sector zoning in all directions. The growth rate law is thus influenced by the texture of the rock. It favours or hinders the transport of nutrient to the mineral surface. Résumé : La zonation sectorielle texturale consiste en la division d'un cristal en pyramides dont les sommets sont localisés au centre du minéral. La base de ces pyramides correspond aux faces du minéral. Ce type de zonation est fréquemment observé dans les minéraux métamorphiques tels que l'andalousite ou le grenat. Les grenats présents dans les marnes riches en graphites de la couverture Mésozoïque du Massif du Gotthard présent une zonation sectorielle texturale. La morphologie de cette zonation n'est pas la même dans les marnes litées et dans les marnes foliées. Les grenats des marnes foliées montrent des secteurs bien développés dans 3 directions. Les grenats des marnes litées montrent des secteurs développés uniquement dans la direction des plans de schistosité. Cette zonation sectorielle est toujours associée à des lamelles biréfringentes de quelques microns de large qui partent de la limite des secteurs et qui sont perpendiculaires aux faces du grenat. Ces lamelles alternent avec des lamelles isotropes. La réaction de formation du grenat a été déterminée par calcul matriciel et thermodynamique. La réaction est de la forme chl + mu + cc + cld= bt + fds + ank + gt + czo. Elle est similaire dans les roches litées et dans les roches foliées. L'évaluation des conditions fluides montrent que le X(O) est proche de 0.36 et ne change pas de façon significative durant l'histoire métamorphique de la roche. Des images BSE sur des coupes orientées ont révélé que l'orientation de lamelles biréfringentes est contrôlée parla crystallographie. La comparaison des analyses à la microsonde électronique et des images BSE révèle également que les lamelles biréfringentes sont plus riches en calcium que les lamelles isotropes. L'addition de calcium va déformer légèrement le site X et ainsi créer un ordre sur ce site. L'énergie interne d'un grenat ordré et d'un grenat désordonné sont suffisamment proches pour qu'un léger dépassement de l'énergie de la réaction de formation permette la coexistence des 2 types de grenat dans le même minéral. La formation de lamelles est expliquée par le fait qu'un grenat préférera la même structure. Ces observations sont en accord avec la thermodynamique des solutions solides du grenat et permet d'expliquer les structures similaires observées dans des grenats provenant de lithologies différentes. Une étude de la distribution des tailles des grenats et une modélisation de la croissance a permis de mettre en évidence 2 mécanismes de croissance différents suivant la texture de la roche. Dans les 2 cas, la loi de nucléation est la même. Dans les roches litées, la loi de croissance est de forme R=kt½. Le transport des nutriments est le facteur limitant. Ce transport a lieu préférentiellement dans la direction des niveaux de schistosité. Les grenats ont une forme légèrement allongée car la croissance des secteurs est facilitée sur les niveaux de schistosité. La croissance des grenats dans les roches foliées suit une loi de croissance de la forme R=kt. Les seuls facteurs limitant la croissance sont les processus d'attachement à la surface du grenat. La loi de croissance de ces grenats est donc contrainte par la texture de la roche. Cela se marque par des différences dans la morphologie de la zonation sectorielle.