A tradução em turismo: criação de um glossário multilingue na área museológica

Dissertação de mestrado em Tradução e Comunicação Multilingue

Flora Americae Septentrionalis; or, A systematic arrangement and description of the plants of North America. Containing, besides what have been described by preceding authors, many new and rare species, collected during twelve years travels and residence in that country,

v.1 (1814)

Flora Americae Septentrionalis; or, A systematic arrangement and description of the plants of North America. Containing, besides what have been described by preceding authors, many new and rare species, collected during twelve years travels and residence in that country,

v.2 (1814)

The natural history of the rarer lepidopterous insects of Georgia : including their systematic characters, the particulars of their several metamorphoses, and the plants on which they feed. Collected from the observation of Mr. John Abbot, many years resident in that country /

vol. 1

The natural history of the rarer lepidopterous insects of Georgia : including their systematic characters, the particulars of their several metamorphoses, and the plants on which they feed. Collected from the observation of Mr. John Abbot, many years resident in that country /

vol. 2

Development of a subject-specific musculoskeletal shoulder model : inverse and forward dynamics applications

A prevalência de pessoas que referem dor no complexo articular do ombro, com concomitante limitação na capacidade para realizar atividades da vida diária, é elevada. Estes níveis de prevalência sobrecarregam quer os utentes, como a própria sociedade. A evidência científica atual indicia a existência de uma relação entre as alterações da articulação escápulo-torácica e as patologias associadas à articulação gleno-umeral. A capacidade de quantificar, cinemática e cineticamente, as disfunções ao nível das articulações escápulo-torácica e gleno-umeral, é algo de enorme importância, quer para a comunidade biomecânica, como para a clínica. No decorrer dos trabalhos desta tese foi desenvolvido, através do software OpenSim, um modelo tridimensional músculo-esquelético do complexo articular do ombro que inclui a representação do tórax/coluna, clavícula, omoplata, úmero, rádio, cúbito e articulações que permitem os movimentos relativos desses segmentos, assim como, 16 músculos e 4 ligamentos. Com um total de 11 graus de liberdade, incluindo um novo modelo articular escápulo-torácico, os resultados demonstram que este é capaz de reconstruir de forma precisa e rápida os movimentos escápulo-torácicos e glenoumerais, recorrendo para tal, à cinemática inversa, e à dinâmica inversa e direta. Conta ainda com um método de transformação inovador para determinar, com base nas especificidades dos sujeitos, os locais de inserção muscular. As principais motivações subjacentes ao desenvolvimento desta tese foram contribuir para o aprofundar do atual conhecimento sobre as disfunções do complexo articular do ombro e, simultaneamente, proporcionar à comunidade clínica uma ferramenta biomecânica de livre acesso com o intuito de melhor suportar as decisões clínicas e dessa forma concorrer para uma prática mais efetiva.

A língua como ativo na internacionalização da economia portuguesa

Mestrado em Economia Internacional e Estudos Europeus

Síntesis, caracterización y aplicaciones específicas de metalosilicatos cristalinos micro y mesoporosos con incorporación de nanoestructuras. Synthesis, characterization and specific aplications of crystalline micro and mesoporous metallosilicates with nanostructures.

La síntesis de materiales cristalinos micro y mesoporosos con incorporación de micro/nano partículas/clusters de especies formadas con entidades propias interaccionando con las redes, como óxidos de metales, cationes de neutralización, especies metálicas, etc., pueden potencialmente ser utilizados como "materiales hospedaje" en óptica, electrónica, sensores, como materiales magnéticos, en estrategias ambientales de control de la contaminación, catálisis en general y procesos de separación. Se sintetizaran y caracterizaran por diversas técnicas fisicoquímicas, zeolitas microporosas de poro medio (ZSM) y poro grande (Y), y materiales mesoporosos (MCM-41). La aplicación de los mismos se orientara, por una parte, a procesos catalíticos tecnológicamente innovadores relacionados con los siguientes campos: a)catálisis ambiental: transformación de desechos plásticos (polietileno, polipropileno, poliestireno o mezclas de los mismos) a hidrocarburos de mayor valor agregado (gasolinas, gasoil, gases licuados de petróleo, hidrocarburos aromáticos); b)química fina: oxidación parcial de hidrocarburos aromáticos hacia la obtención de commodities, fármacos, etc. Por otra parte, se evaluaran las propiedades magnéticas (ferromagnetismo, paramagnetismo, superparamagnetismo, diamagnetismo) que algunos de estos materiales presentan, en busca de su correlación con sus propiedades catalíticas, cuando sea factible. Se estudiaran las condiciones óptimas de síntesis de los materiales, aplicando técnicas hidrotermicas o sol gel, controlando variables como temperaturas y tiempos de síntesis, pH de geles iniciales-intermedios-finales, tipo de fuentes precursoras, etc. La modificación de las matrices con Co, Cr, Mn, H, o Zn, se realizara mediante diversos tratamientos químicos (intercambio, impregnación) a partir de las sales correspondientes, con el objeto de incorporar elementos activos al estado iónico, metálico, clusters, etc.; y la influencia de distintos tratamientos térmicos (oxidantes, inertes o reductores; atmósferas dinámicas o estáticas; temperaturas). La caracterización estructural de los materiales será por: AA (cuantificación elemental de bulk); XRD (determinacion de presencia de especies oxidos o metalicas de Zn, Co, Cr, o Mn; determinacion de cristalinidad y estructura); BET (determinacion de area superficial); DSC-TG-DTA (determinacion de estabilidad de las matrices sintetizadas); FTIR de piridina (determinacion de tipo-fuerza-cantidad de sitios activos); Raman y UV-reflectancia difusa (determinacion de especies ionicas interacturando o depositadas sobre las matrices); TPR (identificacion de especies reducibles); SEM-EDAX (determinacion de tamaño de particulas de especies activas y de las matrices y cuanfiticacion superficial); Magnetómetros SQUID y de muestra vibrante (medición de magnetización y susceptibilidad magnética a temperatura ambiente con variación de campo externo aplicado, y variación de temperaturas (4 a 300 K) con campo externo fijo). En síntesis, se plantean tres grandes áreas de trabajo: No1)Síntesis y caracterización de materiales micro y mesoporosos nanoestructurados; No2) Evaluación de las propiedades catalíticas; No3) Evaluación de las propiedades magnéticas. Estos lineamientos nos permitirán generar nuevos conocimientos científicos-tecnológicos, formando recursos humanos (dos becarios posdoctorales; un becario doctoral; tres becarios alumnos de investigación; aproximadamente 15 pasantes de grado al año) aptos para emprender tales desafíos. Los conocimientos originados son constantemente trabajados en las actividades docentes de grado y posgrado que los integrantes del proyecto poseen. Finalmente serán transmitidos y puestos a consideración de pares evaluadores en presentaciones a congresos nacionales e internacionales y revistas especializadas.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

A comparison of environmental licensing systems in operation in the wood panel manufacturing industry in the Northern Hemisphere

The objective of this thesis is to compare and contrast environmental licensing systems, for the wood panel industry, in a number of countries in order to determine which system is the best from an environmental and economic point of view. The thesis also examines the impact which government can have on industry and the type of licensing system in operation in a country. Initially, the thesis investigates the origins of the various environmental licensing systems which are in operation in Ireland, Scotland, Wales, France, USA and Canada. It then examines the Environmental Agencies which control and supervise industry in these countries. The impact which the type of government (i.e. unitary or federal) in charge in any particular country has on industry and the Regulatory Agency in that country is then described. Most of the mills in the thesis make a product called OSB (Oriented Strand Board) and the manufacturing process is briefly described in order to understand where the various emissions are generated. The main body of the thesis examines a number of environmental parameters which have emission limit values in the licenses examined, although not all of these parameters have emission limit values in all of the licenses. All of these parameters are used as indicators of the potential impact which the mill can have on the environment. They have been set at specific levels by the Environmental Agencies in the individual countries to control the impact of the mill. Following on from this, the two main types of air pollution control equipment (WESPs and RTOs) are described in regard to their function and capabilities. The mill licenses are then presented in the form of results tables which compare air results and water results separately. This is due to the fact that the most significant emission from this type of industry is to air. A matrix system is used to compare the licenses so that the comparison can be as objective as possible. The discussion examines all of the elements previously described and from this it was concluded that the IPC licensing system is the best from an environmental and economic point of view. It is a much more expensive system to operate than the other systems examined, but it is much more comprehensive and looks at the mill as a whole rather than fragmenting it. It was also seen that the type of environmental licensing system which is in place in a country can play a role in the locating of an industry as certain systems were seen to have more stringent standards attached to them. The type of standard in place in a country is in turn influenced by the type of government which is in place in that country.

A study of the interaction between national and corporate culture in a selection of Irish based companies

This research studies the phenomenon of national and corporate culture. National culture is the culture the members of a country share and corporate culture is a subculture which members of an organisation share (Schein, 1992). The objective of this research is to reveal if the employees within equivalent Irish and American companies share the same corporate and national culture and to ascertain if, within each company, there is a link between national culture and corporate culture. The object of this study is achieved by replicating research which was conducted by Shing (1997) in Taiwan. Hypotheses and analytical tools developed by Shing are employed in the current study to allow comparison of results between Shing’s study and the current study. The methodology used, called for the measurement and comparison of national and corporate culture in two equivalent companies within the same industry. The two companies involved in this study are both located in Ireland and are of American and Irish origin. A sample of three hundred was selected and the response rate was 54%. The findings from this research are: (1) The two companies involved had different corporate cultures, (2) They had the same national culture, (3) There was no link between national culture and corporate culture within either company, (4) The findings were not similar to those of Shing (1997). The implication of these findings is that national and corporate culture are separate phenomena therefore corporate culture is not a response to national culture. The results of this research are not reflected in the finding’s of Shing (1997), therefore they are context specific. The core recommendation for management is that, corporate culture should take account of national culture. This is because although employees recognise the espoused values of corporate culture (Schein, 1992), they are at the same time influenced by a much stronger force, their national culture.

Evaluation of fish pots as a feasible fishing method in Irish waters, with specific reference to the physiological effects of common and alternate pots on the lesser spotted dogfish (Scyliorhinus canicula).

Finfish pots have emerged as a “responsible” gear, when used in combination with conservational and technical measures to sustain fisheries. Previous trials in Irish waters have offered no published reported data and so three designs tested in the current study provide new information on this gear. The most successful traps in terms of fish catch were rigid steel framed rectangular pots used to target Conger eel. Although commercial yield was low (0.2 per trap haul), potential existed for a viable pot fishery. Deployment and storage of Norwegian floating pots was conducted with relative ease but performance in the water was poor resulting in loss of gear. Catch returns were notable even though effort was restricted as mega-faunal by-catch was a problem, which lead to ending this trial. From these initial trials it was evident that catch rates were low compared to established Norwegian fisheries (3.6 cod per pot), which resulted in the utilisation of pots, already established in the crustacean fishery, to find species readily accessible to pot capture. Although fished and designed differently, these gears provided an opportunity to establish the benefits of pot fishing to fish quality and to determine the effects on by-catch. The fishing effects of three catching methods (pots, angling and trawl) and the effects of air exposure on the physiological status of a common by-catch, the lesser spotted dogfish Scyliorhinus canícula (L.) were examined using a range of physiological biomarkers (plasma catecholamine, glucose, lactate, muscle pH and muscle lactate). Physiological responses of fish to an emersion stress regime resulted in a significant metabolic disturbance in groups, but may not have weakened the overall health of these fish, as signified in the revival of some metabolites. Plasma glucose and lactate concentrations did not however recovery to baseline levels indicating that to achieve an accurate profile, responses should be determined by a suite of biomarkers. Responses did not demonstrate that samples from the pots were significantly less stressed than for the other two methods; angling and trawling, which are in contrast to many other studies. Employment of finfish potting therefore in Irish waters needs further consideration before further promotion as a more responsible method to supplement or replace established techniques.

Validade e equivalência da versão em português do Veterans Specific Activity Questionnaire

FUNDAMENTO: O Veterans Specific Activity Questionnaire (VSAQ) tem sido utilizado para a individualização de testes ergométricos (TE) e para avaliar indiretamente a aptidão cardiorrespiratória (ACR) em estudos epidemiológicos. Apesar disso, ainda não há versão em português validada. OBJETIVO: Verificar a validade de critério da versão em português do VSAQ e examinar a equivalência de mensuração dessa versão em 95 indivíduos, sendo 8 mulheres (69 ± 7 anos), com indicação para a realização de TE. MÉTODOS: Os indivíduos realizaram teste cardiopulmonar de exercício progressivo máximo em ciclo-ergômetro. A correlação do escore do VSAQ com o MET Máximo Medido e Estimado foi comparada com os resultados de outros estudos. O Nomograma VSAQ foi calculado e seus resultados comparados com os valores reais da ACR por regressão linear. Limites de concordância e as diferenças médias (vieses) foram avaliados segundo a metodologia proposta por Bland e Altman. RESULTADOS: Os escores obtidos através do VSAQ correlacionaram-se de forma significativa com o MET máximo medido (r = 0,64) e estimado (r = 0,67), resultados equivalentes àqueles obtidos com versões originais. O nomograma VSAQ obteve resultados com R múltiplo de 0,78 (para MET medido) e 0,80 (para MET estimado). O nomograma, entretanto, parece subestimar os valores de indivíduos com ACR acima de 6 MET. CONCLUSÃO: A versão do VSAQ confirmou-se válida e equivalente à versão original, especialmente para avaliação de indivíduos cardiopatas e de idade avançada.

Explorations in the interior of the Labrador peninsula, the country of the Montagnais and Nasquapee Indians. By Henry Youle Hind...

v.1