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

Comprensión en resolución de problemas en Física: niveles de representación e inferencias basadas en el conocimiento. Comprehension in Physics Problem-Solving: levels of representation and knowledge-based inferences.

Se propone desarrollar e integrar estudios sobre Modelado y Resolución de Problemas en Física que asumen como factores explicativos: características de la situación planteada, conocimiento de la persona que resuelve y proceso puesto en juego durante la resolución. Interesa comprender cómo los estudiantes acceden al conocimiento previo, qué procedimientos usan para recuperar algunos conocimientos y desechar otros, cuáles son los criterios que dan coherencia a sus decisiones, cómo se relacionan estas decisiones con algunas características de la tarea, entre otras. Todo ello con miras a estudiar relaciones causales entre las dificultades encontradas y el retraso o abandono en las carreras.Se propone organizar el trabajo en tres ejes, los dos primeros de construcción teórica y un tercero de implementación y transferencia. Se pretende.1.-Estudiar los procesos de construcción de las representaciones mentales en resolución de problemas de física, tanto en expertos como en estudiantes de diferentes niveles académicos.2.-Analizar y clasificar las inferencias que se producen durante las tareas de comprensión en resolución de problemas de física. Asociar dichas inferencias con procesos de transición entre representaciones mentales de diferente naturaleza.3.-Desarrollar materiales y diseños instruccionales en la enseñanza de la Física, fundamentado en un conocimiento de los requerimientos psicológicos de los estudiantes en diversas tareas de aprendizaje.En términos generales se plantea un enfoque interpretativo a la luz de marcos de la psicología cognitiva y de los desarrollos propios del grupo. Se trabajará con muestras intencionales de alumnos y profesores de física. Se utilizarán protocolos verbales y registros escritos producidos durante la ejecución de las tareas con el fin de identificar indicadores de comprensión, inferencias, y diferentes niveles de representación. Se prevé analizar material escrito de circulación corriente sea comercial o preparado por los docentes de las carreras involucradas.Las características del objeto de estudio y el distinto nivel de desarrollo en que se encuentran los diferentes ojetivos específicos llevan a que el abordaje contemple -según consideracion de Juni y Urbano (2006)- tanto la lógica cualitativa como la cuantitativa.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.

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.

Enfoques sobre la ciudadanía. Philosophical Perspectives on Citizenship.

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante. As far as the general topic of citizenship concerns philosophy, the theoretical problem of how to reconcile the different perspectives, assuming that this is an enterprise that can be done, remains an open question. Furthermore, the absence of academic material dealing with the problem seems to be a good indicator of this tendency. The main focus of the present Project aims at coping with some of the most notorious theoretical approaches to citizenship. More specifically, we will analyze the next two approaches: 1) the debate libertarians-communitarians and 2) the relationship between biopolitics and citizenship. Our purpose is to revise the discussion libertarians-communitarians incorporating concepts such as domination, power-relationships, life-control, among others that find their roots in practical philosophy, social theory, education and so on. To the extent that theories of citizenship are only provided with the usual conceptual machinery, some of the most remarkable phenomena of our democratic societies will stand for them out of reach: the existence of new social movements, abortion and euthanasia, inmigration, etc. Our hypothesis is that by making the debate libertarians-communitarians interact with the Critical Theory as well as with biopolitical concepts, we will be in a better position to try to understand these diverse phenomena. With the development of some sort of a new hermeneutics, we expect to criticize the old ideas related to citizenship and to re-elaborate them in a way that allows us to understand this concept in a less-fundamental, historical sense. Methodologically, we will adopt a multi-dimensional approach which expects to be fruitful to many other investigations in the area of social sciences. The Project pretends to be useful as a consultation resource for educators in a bibliographical index to design their curricula. At the same time,a seminar with a visiting profesor, the organization of a Congres will be our main objectives.

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.

Potentially viable solar powered appliances cooling and distillation

Stand alone solar powered refrigeration and water desalination, two of the most popular and sought after applications of solar energy systems, have been selected as the topic of research for the works presented in this thesis. The water desalination system based on evaporation and condensation was found to be the most suitable one to be powered by solar energy. It has been established that highoutput fast-response solar heat collectors used to achieve high rates of evaporation and reliable solar powered cooling system for faster rates of condensation are the most important factors in achieving increased outputs in solar powered desalination systems. Comprehensive reviews of Solar powered cooling/refrigeration and also water desalination techniques have been presented. In view of the fact that the Institute of Technology, Sligo has a well-established long history of research and development in the production of state of the art high-efficiency fast-response evacuated solar heat collectors it was decided to use this know how in the work described in this thesis. For this reason achieving high rates of evaporation was not a problem. It was, therefore, the question of the solar powered refrigeration that was envisaged to be used in the solar powered desalination tofacilitate rapid condensation of the evaporated water that had to be addressed first. The principles of various solar powered refrigeration techniques have also been reviewed. The first step in work on solar powered refrigeration was to successfully modify a conventional refrigerator working on Platen-Munters design to be powered by highoutput fast-response evacuated solar heat collectors. In this work, which was the first ever successful attempt in the field, temperatures as low as —19°C were achieved in the icebox. A new approach in the use of photovoltaic technology to power a conventional domestic refrigerator was also attempted. This was done by modifying a conventional domestic refrigerator to be powered by photovoltaic panels in the most efficient way. In the system developed and successfully tested in this approach, the power demand has been reduced phenomenally and it is possible to achieve 48 hours of cooling power with exposure to just 7 hours of sunshine. The successful development of the first ever multi-cycle intermittent solar powered icemaker is without doubt the most exciting breakthrough in the work described in this thesis. Output of 74.3kg of ice per module with total exposure area of 2.88 m2, or 25.73kg per m2, per day is a major improvement in comparison to about 5-6kg of ice per m2 per day reported for all the single cycle intermittent systems. This system has then become the basis for the development of a new solar powered refrigeration system with even higher output, named the “composite” system described in this thesis. Another major breakthrough associated with the works described in this thesis is the successful development and testing of the high-output water desalination system. This system that uses a combination of the high-output fast-response evacuated solar heat collectors and the multi-cycle icemaker. The system is capable of producing a maximum of 141 litres of distilled water per day per module which has an exposure area of 3.24m2, or a production rate of 43.5 litres per m2 per day. Once again when this result is compared to the reported daily output of 5 litres of desalinated water per m per day the significance of this piece of work becomes apparent. In the presentation of many of the components and systems described in this thesis CAD parametric solid modelling has been used instead of photographs to illustrate them more clearly. The multi-cycle icemaker and the high-output desalination systems are the subject of two patent applications.

To determine if the ‘NIMBY’ phenomenon explains the slow progress of wind farm development or do institutional factors need to be taken in to consideration?

The threats posed by climate change are placing governments under increasing pressure to meet electricity demand from low carbon sources. Wind energy has been has been identified as one of the main technologies to help in meeting these demands. The public in general favour wind energy yet proposed targets for generation capacity lag behind proposed goals. The N IM B Y phenomenon has been suggested as one of the reasons why we are behind our wind generation capacity targets. It is a common mistake to take general support for granted and expect the public to support developments when confronted with them in their local area. In many cases it is not unheard of that governing bodies whether social, political, regulatory, environmental, or cultural can overrule general public support and halt developments. Motives to halt developments will vary depending on the institutional body involved. The problem with the term N IM B Y is that it is too basic a term to describe the broad spectrum of complex motives that various institutions including the public may have against a development. This research focuses on a case study where the developer had major problems with the local county council and its wind energy policies when he was erecting a wind turbine despite having gained planning permission. A survey questionnaire was also used as part o f the research to seek the perception a rural community had on wind energy. The research findings and results are discussed with respect to the literature review highlighting a general public support for wind energy and the influence institutional bodies have over the progress of developments.