Caractéristiques diphasiques des écoulements sur les coursiers en marches d'escalier

Stepped cascades and spillways have been used for more than 3,500 years. The recent regain of interest for the stepped chute design is associated with the introduction of new construction techniques, the development of new design techniques and newer applications. Stepped chute flows are characterised by significant free-surface aeration that cannot be neglected. Two-phase flow measurements were conducted in a large-size model (h =0.10 m, α = 22o). Experimental observations demonstrate the existence of a transition flow regime for a relatively wide range of flow rates. Detailed air-water flow measurements were conducted for both skimming flows and transition flows. Skimming flows exhibit gradual variations of the air-water flow properties, whereas transition flows are characterised by rapid flow redistributions between adjacent steps.

Télédetection en milieu périurbain. Détection et localisation du changement de l'occupation du sol par intégration des donnés-satellite SPOT HRV dans un système d'information géographique

Thèse pour obtenir le grade de DOCTEUR DE L' UNIVERSITÉ PARIS XII, Discipline: Urbanisme Aménagement

Les enjeux de la construction de la politique d'immigration au Portugal

Comunicação apresentada no Congresso Internacional do IIAS, realizado em Lausanne, Suiça, de 4 a 8 de Julho de 2011.

C'est là que l'on joue la comédie: les casa da opera en Amérique Portugaise (1719-1819)

La présente thèse doctorale propose l’étude de l’activité théâtrale développée dans les théâtres permanents construits en Amérique Portugaise au long du XVIIIe et dans la première décennie du XIXe siècle, en mettant l’accent sur les idéalisateurs des Casas da Ópera et les moyens de financement utilisés dans l’édification et l’entretien de celles-ci, le répertoire mis en scène, les artistes composant les compagnies théâtrales, les spectateurs et les possibilités de sociabilité établies dans l’espace théâtrale et les modèles architectoniques qui ont inspiré la construction des bâtiments théâtraux au cours de la période mentionnée. Ces cinq axes principaux soulignent l’approche interdisciplinaire qui a orienté nos études, dans un souci de contribution à une plus complète compréhension de notre sujet de recherche. Mots clés : Théâtres, Amérique Portugaise, Comédiens Mulâtres, Théâtre Éphémère, Comédies Portugaises, Architecture théâtrale luso-américaine, Casa da Ópera de Vila Rica/Ouro Preto.

Dimensionamento de pilares mistos aço-betão segundo a EN 1994-1-1 através de uma aplicação informática

O presente trabalho debruça-se sobre as estruturas mistas aço-betão, com foco nos pilares mistos e no seu dimensionamento segundo a norma europeia EN1994-1-1 (EC4) [1]. Um pilar misto aço-betão pode definir-se como um elemento de aço, laminado ou composto, que trabalha em conjunto com o betão, podendo as secções serem classificados como revestidas ou preenchidas. Com a crescente evolução das técnicas construtivas, as estruturas mistas aço-betão aparecem como soluções viáveis e seguras, tornando-se numa opção competitiva em relação às soluções tradicionais de betão armado e de aço estrutural. Isto, devido à grande capacidade de carga proporcionada por secções mais reduzidas, à boa relação de rigidez e bom comportamento perante os fenómenos de encurvadura. Com o surgimento da recente norma europeia EC4, não obstante a complexidade das metodologias de verificação da segurança propostas, há uma maior confiança na utilização deste tipo de estrutura por parte dos projetistas. É neste contexto que surge a necessidade de desenvolver ferramentas de cálculo expedito que possam ser utilizadas em gabinete de projeto, salvaguardando todos os aspectos regulamentares de verificação da segurança preconizados no EC4, de que é exemplo o dimensionamento de pilares mistos abordados no presente trabalho. De forma a validar a ferramenta desenvolvida é proposto um caso de estudo, com o objectivo de obter soluções de pilares mistos com dimensões otimizadas, fazendo as verificações previstas no EC4. Os resultados obtidos na ferramenta são comparados com os resultados obtidos através de cálculos analíticos.

Cuando las ciudades se transforman en paisajes: representación, fragmentación e idealización del espacio urbano

El texto considera que el espacio de la ciudad es representado hoy a partir de los mecanismos de construcción cultural del paisaje. Se concluye que estos tienen por consecuencia una fragmentación y una idealización/estilización del territorio. Al mismo tiempo que afirman el deleite estético y la idealización de la vida, los mecanismos referidos fomentan el abandono de una mirada crítica y global sobre la ciudad.

Quand les autres se remettent en question: négociations identitaires et travail de terrain

Aux printemps 1997 et 1998 j’ai accompagné le tournage de deux documentaires du cinéaste João Pedro Rodrigues – « Esta é a minha casa » et « Viagem à Expo » - avec une famille d’émigrants portugais. En faisant une ethnographie multi-située, j’ai voulu comprendre les processus de construction des univers culturels et identitaires des différents membres de la famille. Dans le cadre relationnel spécifique aux tournages, la présence de l’anthropologue a conduit à des actes de production/transformation de culture. Avant la restitution des savoirs (celle qui se fait à la fin de la recherche) nous étions déjà en présence d’un transfert de connaissances. La situation produite par le travail ethnographique est une situation de restitution continue, dans la mesure où les personnes avec lesquelles nous travaillons se transforment en fonction du rapport qu’elles établissent avec nos façons de représenter le monde et nos façons d’y vivre.

Observations on dynamics of foraging hole construction of two leaf-feeding, soil-inhabiting Syntermes species (insecta: Isoptera) in an Amazonian Rainforest, Brazil

The intensity of construction of foraging access holes by two leaf-litter feeding, soil- inhabiting termite species, Syntermes molestus and Syntermes spinosus, in a Central Amazonian rain forest, was observed on consecutive nights for two weeks. Between 11 and 48 nest entrances per m2 were counted. Interaction between the two species was intense; some entrance holes were overtaken by the larger species during the observations; however, both species coexist in the area. A calculated minimum of 35 entrances/m2 is built every year by both species, emphasizing the importance of soil-burrowing termites for soil structure, aeration and water regime.

Ants monopolise plant resources by shelter-construction

In Ecuadorean Amazonas, Crematogaster ants (Myrmicinae) were observed to construct shelters of debris and plant trichomes covering and hiding extrafloral nectaries of Passiflora auriculata vines. This is seen as an advanced way of excluding competing ants from a food source.

Modern optimization in earthwork construction

Earthworks tasks are often regarded in transportation projects as some of the most demanding processes. In fact, sequential tasks such as excavation, transportation, spreading and compaction are strongly based on heavy mechanical equipment and repetitive processes, thus becoming as economically demanding as they are time-consuming. Moreover, actual construction requirements originate higher demands for productivity and safety in earthwork constructions. Given the percentual weight of costs and duration of earthworks in infrastructure construction, the optimal usage of every resource in these tasks is paramount. Considering the characteristics of an earthwork construction, it can be looked at as a production line based on resources (mechanical equipment) and dependency relations between sequential tasks, hence being susceptible to optimization. Up to the present, the steady development of Information Technology areas, such as databases, artificial intelligence and operations research, has resulted in the emergence of several technologies with potential application bearing that purpose in mind. Among these, modern optimization methods (also known as metaheuristics), such as evolutionary computation, have the potential to find high quality optimal solutions with a reasonable use of computational resources. In this context, this work describes an optimization algorithm for earthworks equipment allocation based on a modern optimization approach, which takes advantage of the concept that an earthwork construction can be regarded as a production line.

Estructura de governance y desempeño económico-social en la provincia de Córdoba. Desarrollo de indicadores y evaluación en perspectiva comparada.

El presente proyecto pretende llevar adelante una caracterización de las estructuras de governance en dos áreas clave de política pública de la provincia de Córdoba como son el sistema previsional y el desarrollo vial. La hipótesis que guía la investigación es que estas dos áreas presentan una serie de ineficiencias que deben imputarse a factores institucionales que han impedido la generación de transacciones intertemporales eficientes y, en consecuencia, la adopción de políticas de largo plazo y de alta calidad. El objetivo general del proyecto es establecer los aspectos fundamentales de las estructuras de governance que han dado lugar a la configuración y a los resultados en estas dos áreas con el fin de realizar recomendaciones de rediseño institucional orientados a mejorar la eficiencia en estos ámbitos de la gestión pública. Los objetivos particulares son: 1) establecer las características básicas que ha asumido el policy making en el área previsional y de desarrollo de la red vial en los últimos años; 2) especificar en estas áreas los resultados de las políticas públicas, evaluándolos en términos de los resultados y elaborando al respecto una serie de indicadores que permitan establecer las brechas de eficiencia existentes; 3) establecer en cada caso las instituciones políticas implicadas y la organización de las reglas bajo las cuales las decisiones son tomadas, elaborando una serie de indicadores de “calidad institucional”; 4) precisar en cada área los actores involucrados (políticos, electores, burócratas y grupos de interés), estableciendo en cada caso los incentivos que instituciones vigentes implican para cada uno de ellos; 5) desarrollar en cada una de estas dimensiones una estrategia comparativa con la provincia de Santa Fé, de tal modo de poder dar mayor precisión a las conclusiones y a los respectivos indicadores; 6) Desarrollar un modelo formal que de cuenta de las características del proceso de policy making en las dos áreas estudiadas. La estrategia metodológica es una combinación del método comparativo con estudio de caso. Los casos seleccionados para la comparación, siguiendo el criterio de la máxima similitud, son Córdoba y Santa Fe. En cada uno de ellos se seguirá una estrategia de process-tracing, a partir de la cual, y sobre la base de diferentes técnicas de recolección de datos que incluyen pricipalmente la consulta documental y la realización de entrevistas semi-estructuradas, se procederá a reconstruir el proceso de policy making en las áreas de políticas estudiadas. La comparación permitirá mantener bajo cierto control algunas variables contextuales de tipo económico y social. Los resultados que se esperan obtener son: 1) un conjunto de indicadores relativos a la eficiencia de los resultados de las políticas estudiadas; 2) un conjunto de indicadores relativos a la calidad de las estructuras de governance en las áreas analizadas; 3) una evaluación comparativa respecto de la provincia de Santa Fé, de los incentivos derivados de las estructuras de governance en las áreas de políticas públicas estudiadas; 4) la identificación de los actores relevantes y sus orientaciones de comportamiento; 5) criterios de evaluación de los contextos institucionales más amplios que los correspondientes a las áreas especificadas pero vinculados a ellas; 6) modelos formales que den cuenta de los procesos de policy making y que permitan formular hipótesis fundadas sobre áreas diferentes de política pública; 7) una serie de recomendaciones bien fundamentadas empírica y analíticamente sobre diseño y rediseño institucional orientadas a mejorar el proceso de policy making en las áreas examinadas.

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.

Problemáticas de la interacción discursiva en la enseñanza y el aprendizaje de las Ciencias Naturales. Aportes didácticos. Interaction discoursive issues in teaching and learning Natural Sciences. Didactic contributions

Las didácticas específicas de las ciencias naturales revelan diferentes problemáticas en su enseñanza y aprendizaje en los diferentes niveles del sistema educativo. En particular, en las clases de ciencias la interacción discursiva docente alumnos adquiere relevancia, ya que el proceso de comunicación del conocimiento es uno de los pilares didácticos, junto a la trasposición del mismo. Especificamente, en este proyecto nos abocamos a aquellas intervenciones de docentes y alumnos que se relacionan con la construcción del conocimiento biológico y químico. El proyecto se enmarca en una actual linea de trabajo que indaga sobre las dificultades en los abordajes del conocimiento científico en las aulas, las características del discurso entre docentes y alumnos, las habilidades y dificultades en la comprensión de los enunciados de problemas y las características de los textos que se utilizan en las clases. Se focaliza este estudio en casos que intentan dar respuesta a tres temáticas, agrupadas en un conjunto de situaciones de investigación relacionadas con la interacción discursiva docente-alumno, retomando el rol del docente al hablar, guiar o diseñar las situaciones de referencia para el aprendizaje de los alumnos. Los casos son: 1- En cuanto a las concepciones sobre diversidad biológica en estudiantes de escuela secundaria y en textos académicos, atendemos a cómo la escuela presenta los contenidos ecológicos como un conjunto de dogmas y conceptos estáticos. Además suelen simplificarse conceptualmente y presentarse poco actualizados. Es por ello que se planea estudiar las concepciones y actitudes de los alumnos de secundaria sobre la biodiversidad, cómo estas dificultan su comprensión y los textos usados en relación a la promoción de la transposición didáctica. 2- En relación a cómo se elabora el patrón temático del tema célula en clases de Biología, se analizarán las diferentes estrategias de significados y de desarrollo temático, que se emplean en la comunicación aulica. Se intentará establecer si hay cambios en el desarrollo temático a medida que se avanza en la escolaridad. Esto es porque se puede apreciar que muchos de los problemas de aprendizaje del alumnado se deben a un desconocimiento tanto del patrón temático como del patrón estructural de la ciencia, siendo preciso evocar los patrones temáticos que se quieren utilizar, para construir un conocimiento compartido. 3-Finalmente, en los enunciados de problemas de Química, se analizarán las dificultades de comprensión lectora de alumnos de Ingeniería. Los docentes frecuentemente atribuyen los problemas a deficiencias en la instrucción recibida, sin considerarse los conocimientos previos del alumno, los obstáculos conceptuales originados en el tema, las deficiencias en la habilidad lectora, el tipo textual predominante en la consigna, el formato en el que se escribió la consigna y los factores personales, etc., siendo que la comprensión del enunciado de una consigna de trabajo condiciona fuertemente la posibilidad de su resolución. Los tres casos utilizarán metodologías cualitaritas que incluyan análisis de contenido en discursos orales y escritos. Los datos se registrarán desde observación no participante, registro etnográfico y con grabaciones de audio. Se espera contribuir al conocimiento, realizando aportes a la formación docente en tanto las estrategias discursivas que se emplean en el aula, en forma oral y en la escrita, conocer concepciones que dificultan o favoren la construcción del conocimiento científico, entre otras. Los productos de estos estudios estarán integrados por nuevos desarrollos para la formación docente, publicaciones científicas de impacto nacional e internacional, presentaciones a congresos, materiales didácticos y divulgativos, dictado de seminarios y/o cursos, redacción de informes a las escuelas intervinientes.. The specific Natural Sciences didactics show different problems in teaching and learning along the school system. In particular, the discourse used to communicate knowledge in Science lessons becomes important. With this project we will focus on the teachers and students actions regarding the construction of biological and chemical knowledge. This project attempts to answer these issues and brings together a range of research situations related to teacher-student interaction, through discourse, taking up the role of the teacher to speak, to plan and to guide student learning. We will study the ideas and attitudes of high school students about biodiversity that make difficult its understanding and the textbooks used in relation to promotion of the didactic transposition. In addition, regarding how the thematic pattern in biology classes is costructed, it will be analyzed the different meaning and thematic development strategies that are used in communication. We will attempt to establish whether there are any changes in the thematic development throughout high school education. Finally, we will analyze the reading comprehension problems in engineering students. Teachers frequently attribute these issues to deficiencies in prior education, without considering the students background, the conceptual obstacles arising in the field, the format in which the prompt is written, personal factors, etc., keeping in mind that the outcome of an activity is strictly dependant con the prompt understanding. We expect to make contributions to the teacher education in both the discourse strategies used in the classroom, orally and in writing, to learn about the conceptions that hinder or favor the knowledge construction, among others. The products of this study will be national and international impact scientific publications, conference presentations, popular science publications, seminars courses and reports to the schools involeved.

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.

Sujeto y Política. La constitución de las identidades desde una perspectiva postfundacionalista: hacia la construcción de un marco teórico-metodológico para el análisis histórico-político. Subject and politics. The constitution of political identities from a posfoundational perspective: towards a construction of a theorethico-methodolocal framework for histórico-political analysis.

El proyecto de investigación se dirige a sistematizar un abordaje postfundacionalista de las identidades políticas en vistas a la construcción de un marco teórico-metodológico para el análisis histórico-político. Se parte de la creciente relevancia en las ciencias sociales de la cuestión de la “identidad” para indagar la singularidad del marco teórico adoptado en su estudio. Así, el postfundacionalismo da cuenta de una teoría de las subjetividades políticas que parte de procesos de identificación que suponen una articulación singular entre relativa estructuralidad y agencia. El sujeto emerge en un contexto nunca plenamente suturado ni plenamente abierto, sino a través de un anudamiento de diversas dimensiones reales, simbólicas e imaginarias. Esta visión es altamente productiva para generar conclusiones relevantes en el campo de la ciencia política y del análisis histórico político comparado. This research project seeks to systematise from a postfundationalist view of political identities a theoretico-methodological framework for historico political analysis. The project starts from the increasing relevance of the quistion of 'identity' for contremporary social sciences. Poststructuralism provides an insight of processes of identification that supposes a singular articulation between relative structurality and agency. The subject emerges in a neither fully structured nor fully opened context but through a knotting process of different registers: real, symblic and imaginary. This vision, we believe, is highly productive to generate meaningful conclusions in the field of political science and comparative political analysis.