Finalidades do estudo de um instrumento musical: intervenção pedagógica com recurso a estratégias no ensino do violino para desenvolver a atenção seletiva

Relatório de estágio de mestrado em Ensino de Música

Intervenção precoce: as preocupações e os apoios sociais das mães do Vale do Sousa

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Manipulación acustica del orden y dinámica molecular en estructuras mesomorficas de organización lamelar. Acoustic manipulation of molecular order and dynamics in mesomorphic structures of lamellar organization.

El control de propiedades hidrodinámicas capaces de influir en la mecánica de ruptura y poración de sistemas lamelares o membranas es de fundamental interés para diferentes aplicaciones biotecnológicas. Resulta de particular interés la conexión entre los procesos microscópicos relacionados al tipo de moléculas o unidades básicas, el orden determinado en el auto-ensamblado de las mismas y la dinámica local del sistema, con las propiedades físicas que determinan el comportamiento macroscópico bajo estimulación acústica. Resultados logrados recientemente sugieren la existencia de resonancias hidrodinámicas que podrian ser utilizadas para lograr la inestabilidad del sistema a baja potencia acústica. Se realizaran estudios experimentales utilizando principalmente técnicas que combinan resonancia magnética nuclear (RMN) y la sonicación de la muestra. También se realizarán estudios teóricos y simulaciones numéricas que permitan modelar los sistemas bajo estudio. Se propone dar continuidad al desarrollo de una técnica de relaxometría magnética nuclear en la cual se estimula acústicamente a la muestra durante el proceso de relajación magnética nuclear, y continuar la implementación de técnicas de RMN con resolución espacial que permitan complementar los estudios mencionados. Se espera comprender los mecanismos físicos que determinan la estabilidad de fases lamelares, logrando un modelo verificable y consistente que permita relacionar las propiedades mecánicas e hidrodinámicas con las propiedades de orden y dinámica molecular. Asimismo, se espera lograr avances en el desarrollo de las técnicas experimentales involucradas. La importancia del proyecto radica en el enfoque del problema. A diferencia de casi la totalidad de los estudios reportados, nuestro interés se enfoca en mecanismos de interacción entre la membrana y el campo acústico que sean eficientes a baja potencia acústica, en un régimen donde los gradientes térmicos y la cavitación sean despreciables.

Ciudadanía y bien común en el marco de una ética pública. Citizenship and common good in the frame of a public ethics.

La investigación pretende hacer aportes para la reformulación ético-discursiva de las ideas de ciudadanía y bien común, que sea capaz de articular la libertad y la equidad con la corresponsabilidad solidaria en contextos post-neoliberales de globalización, interculturalidad y exclusión. En este sentido, una reconfiguración de la sociedad y de la ciudadanía implicará mostrar en qué sentido y de qué modo el espacio público tiene que estar abierto no sólo a la competencia y a los consumidores, sino a ciudadanos ilustrados, autónomos y críticos. La investigación parte del supuesto que, desde los presupuestos teóricos, conceptuales y metodológicos de la teoría del discurso y de la teoría de la democracia deliberativa es posible reformular un concepto de bien común apto para articular la integración social en contextos de interacción pluralista y conflictiva, como son las democracias actuales. Puede parecer extraño, y no sin razón, que el concepto de bien común pueda ser rehabilitado en el contexto de sociedades pluralistas y democráticas, e incorporada convincentemente en la estructura de una nueva ética cívica. La extrañeza puede ser aún mayor si se piensa que, en la actualidad, la formulación de una nueva ética cívica se ve enfrentada tanto a desafíos internos, estrictamente ético-filosóficos, como externos, provenientes de problemas y conflictos histórico-contextuales y culturales (Michelini, 1998, 2000). Finalmente, es posible que la supuesta extrañeza esté relacionada también con el hecho de que el concepto de bien común sea empleado no sólo de modo ambiguo, sino que, además, haya sido utilizado en prácticas muy diversas: desde la búsqueda filosófica de la ciudad perfecta y del Estado ideal -en la que Platón manifiesta que "las cosas de los amigos deben ser comunes" (Platón, 1974a, V, 424a, 449c; 1974b, 739a-e)-, hasta las múltiples instrumentalizaciones históricas en las que el concepto de bien común se utilizó para articular la religión con el patriotismo o la razón de Estado. En la historia más o menos reciente de muchos países latinoamericanos encontramos, en este respecto, ejemplos trágicos: en nombre de la razón de Estado y del bien común, no pocas veces se ha pretendido mantener el orden establecido o defender una determinada ideología, incluso vulnerando la legitimidad del Estado de Derecho y lesionando normas éticas fundamentales. El objetivo general de la investigación es fundamentar un sustento teórico coherente para una reelaboración de los conceptos de ciudadanía y bien común en vista de una ética pública de la corresponsabilidad solidaria en sociedades democráticas y en contextos de globalización, interculturalidad y exclusión, e indagar acerca de su aplicabilidad a los campos de la práctica política y educativa. Los resultados del proyecto tendrán un impacto no sólo teórico, sino también práctico en el ámbito de las ciencias humanas, particularmente en el ámbito de la filosofía práctica, la ética pública, la política y el sistema educativo. Además, se propone elaborar lineamientos de acción para las instituciones sociales, educativas y políticas locales, regionales y nacionales, ayudar a esclarecer aspectos centrales de una convivencia democrática y pluralista, y contribuir al esclarecimiento de los deberes, de los derechos y de la corresponsabilidad solidaria.

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.

Prácticas comunicativas forenses: Las relaciones intertextuales en el examen de testigos. Forensic communicative practices: intertextual relations in examination of witnesses.

Inscripto en el análisis del discurso interaccional de tradición angloamericana y optando por un abordaje metodológico etnográfico, este proyecto plantea investigar las relaciones entre textos orales y entre textos orales y escritos vinculados en cadenas textuales en un acontecimiento comunicativo institucional en el que tales relaciones tienen consecuencias directas en la confiabilidad de la información e intervienen en la construcción del conocimiento oficial. La situación comunicativa elegida es el examen y el contraexamen de testigos comunes durante procesos penales orales, de formato común no abreviado, en la jurisdicción de Córdoba capital. En las interacciones verbales con litigantes y jueces en las que emerge el testimonio se ponen en juego otros textos orales (en forma de citas de lo dicho antes por el mismo testigo u otras personas, referencias a rumores u opiniones colectivas, etc.) y textos escritos (actas de secuestro, informes periciales, actas de las declaraciones testimoniales en la etapa de instrucción, etc.). El foco de atención son las prácticas asociadas a la intertextualidad puesto que condicionan el carácter de la prueba testimonial producida ante el juzgador. Postulamos que los litigantes despliegan tácticas locales y estrategias globales reconocibles y recurrentes vinculadas al tratamiento de diversas categorías de textos previos. Además, planteamos averiguar si la participación de los jueces en interacción con los testigos es de suficiente injerencia como para ser un modo importante de generación de prueba testimonial. El enfoque metodológico general es etnográfico y analíticodiscursivo. Se seleccionará una causa por delito grave, se presenciará el debate en la cámara y se registrará el audio de todas las audiencias. Los datos a analizar serán los segmentos en las interacciones en los que se incorpora la lectura o se cita las actas de las declaraciones indagatorias o testimoniales anteriores, y los segmentos en los que se requiere, en calidad de prueba testimonial, la reproducción de dichos. Se procederá a partir de los detalles de la superficie textual y la pragmática de los intercambios y aprovechando el valor heurístico del concepto de voz, buscando identificar patrones recurrentes y los mecanismos generales que los rigen. Sobre esa base, se considerarán los intercambios verbales como interacción social que emerge moldeada por condiciones situacionales e institucionales y otros factores, tales como la incidencia de la pertenencia a grupos sociales o profesionales. Con el estudio se obtendrá una visión de prácticas cotidianas asociadas a la intertextualidad que son de crucial importancia para el carácter de la prueba testimonial producida ante el juzgador. Este paso nos acercará a conocer cómo se lleva a cabo efectivamente la administración de justicia penal y permitirá valorar los patrones de conducta a la luz de las normas procesales. In line with the Anglo-American tradition of situated discourse analysis, this project aims at tracing the links between oral texts and between oral and written texts related in textual chains which are present in an institutional event in which such relations have a direct consequence on the reliability of the information given and have an impact on the construction of what counts as official knowledge. The communicative situation under study is that of the direct and cross-examination of lay witnesses during a criminal trial in the city of Córdoba. During the face-to-face interactions between trial lawyers and judges in which the testimony takes place, other oral texts and written texts get incorporated. The focus of this research is centered on practices of intertextuality as they condition the nature of the oral evidence produced. It is argued that trial lawyers use recurrent local tactics and global strategies that are related to the treatment given to different categories of previous texts. Another aim of this study is to examine if judge’s interventions have an impact on the generation of the oral evidence. The data will come from a criminal trial that will be audio-taped in its entirety. Ethnographic observations of a criminal trial will be made. The focus of analysis will be on segments of interactions in which previous texts are read aloud or incorporated as quotes. After carrying out a detailed analysis of the surface of texts and the pragmatics of the exchanges, recurrent patterns and the general mechanisms that condition their emergence will be described. In this way, verbal exchanges will be considered social interactions that unfold conditioned by situational, institutional and social factors. This study will examine the relationship between intertextuality and the institutional practice of providing oral evidence. This will help understand how justice is actually administered and how patterns of behavior are valued according to institutional norms.

Implementing a site waste management plan: a case study of a medium sized building contractor in Ireland

Construction and demolition waste management is becoming increasingly important on construction sites as landfill space in Ireland is rapidly depleting and waste management costs are rising. Due to these factors waste management plans are seen as a good response to minimising waste on site and this thesis aims to investigate how to implement such a plan on a practical case study as well as investigating the legislation regarding construction and demolition waste along with market availability for the reuse of the waste. Main contractor surveys were also carried out in order to gain a better understanding of current attitudes within the industry and these surveys are analysed in chapter five. A survey was also carried out among sub-contractors but this survey has not been used for this thesis as the study is on-going. The primary aim of this thesis is to examine the waste hierarchy opportunities that are available for construction and demolition waste in Ireland and to examine the effects of management strategies on construction and demolition waste reduction at the project level. A partnership was developed with Carey Developments Ltd in Co. Galway and an analysis of their waste management practices was undertaken. The primary case study will be the ‘Taylors Hill’ project in Co. Galway where work commenced in March, 2012. The secondary aim of the thesis is to develop specific waste minimisation strategies for the company and to develop a training tool kit for use on site.

Marine investigations in South Africa / Cape of Good Hope Dept. of Agriculture.

v. 1 (1902)

Observações sôbre a anestesia geral pelo hidrato de cloral na prática da cirurgia veterinária

In this paper the A. A. report the observations about the general anesthesia by chloral hydrate on the veterinary surgery. The observations were made on emasculation practices of horses, mules and hogs. It was possible to establish the following conclusions: 1) The choral hydrate presents low cost, it harmless, and is of easy application. 2) The more recommendable dosis for equine and swine were : 12-13 g per 100 k of body weight, in destilled water solution at 30 and 20%, respectively. 3) The anaethestic was injected by intravenous way with good results; in horses and mules the applications were made in the jugular; in swine, in the anterior vena cava, as was described by Carle and Dewhirst, because it was impracticable in the ear vein. 4) The dosis applied produced deep narcosis not lasting to long and with no danger to the animal's life. 5) In the case of fattening hogs, it must be made a discount of about 40% on the body weight, to calculate dosis to be employed. 6) The tables A and B show the results, that may be considered as good.

Marine investigations in South Africa / Cape of Good Hope Dept. of Agriculture.

v. 3 (1905)

What makes corporate blogs successful? : an international investigation of corporate blogging practices and corporate blog acceptance

Magdeburg, Univ., Fak. für Wirtschaftswiss., Diss., 2013

Patterns of geographic variation in allozymes of the Olympic salamander, Rhyacotriton Olympicus (Caudata: Dicamptodontidae) : a contribution in celebration of the distinguished scholarship of Robert F. Inger on the occasion of his sixty-fifth birthday / David A. Good, Gloria Z. Wurst [and] David B. Wake.

n.s. no.32(1987)

A change would do you good . . . An experimental study on how to overcome coordination failure in organizations

Many organizations suffer poor performance because individuals within the organization fail to coordinate on efficient patterns of behavior. Using controlled laboratory experiments, we study how financial incentives can be used to find a way out of such performance traps. Our experiments are set in a corporate environment where subjects' payoffs depend on coordinating at high effort levels; the underlying game being played repeatedly by employees is a weak-link game. In an initial phase, the benefits of coordination are low relative to the cost of increased effort. Play in this initial phase typically converges to an inefficient outcome with employees failing to coordinate at high effort levels. The experimental design then explores the effects of varying the financial incentives to coordinate at a higher effort level. We find that an increase in the benefits of coordination leads to improved coordination, but, surprisingly, large increases have no more impact than small increases. Once subj