Mostrando recursos 41 - 60 de 14.734

  1. A proof theory for model checking

    Heath , Quentin; Miller , Dale
    International audience

  2. Some branches of mathematics from the fuzzy set theory perspective

    Niño Quevedo, José Rubén
    In this document some concepts and ideas in classical mathematics are extended by using the concepts and methods of the Fuzzy sets theory; the attention focused on three areas: Logic, Measure theory and Theory of Computation.

  3. Nuevas estrategias para la elaboración de TFG en Inglés: tutorías entre iguales y mini-vídeos docentes

    Huertas Abril, Cristina; Gómez Parra, María Elena; Larrea Espinar, Ángela; Raigón Rodríguez, Antonio R.; Bullejos Martín, David; Villamandos de la Torre, Francisco; Olivares Bueno, Joaquín; Palomares Muñoz, José Manuel; Trillo Holgado, María Amalia; Delgado Serrano, María del Mar; López Reifs, Magdalena
    La redacción de textos académicos en inglés está íntimamente relacionada con la competencia lingüística que el alumnado universitario ha de desarrollar (B1 como requisito lingüístico mínimo previo a su graduación) y que, de manera lógica, está encadenada a la mejora de su empleabilidad (tanto a niveles nacionales como internacionales), de sus competencias comunicativas en segunda lengua y, por supuesto, la posibilidad de que los resultados de su trabajo académico trasciendan fronteras. El proyecto que aquí se presenta surge como evolución de un proyecto de innovación docente anterior, aprobado e implementado en la UCO (“La tutoría piramidal como estrategia para el...

  4. Evaluación y análisis del “media policy-making” de la reforma socialista del sector audiovisual y la Ley General de la Comunicación Audiovisual (2004-2011)

    Mani Redondo, Patrícia
    Esta tesis doctoral analiza el proceso de elaboración de las políticas de comunicación (media policy-making) del mandato del Gobierno español socialista liderado por José Luís Rodríguez Zapatero (2004-2011). Por un lado, se evalúa el plan para la reforma del sector audiovisual de 2004 y su posterior ejecución a partir de la aprobación de las medidas legislativas del sector audiovisual realizadas por este Gobierno entre 2004 y 2011. Y por el otro lado, se analiza con más profundidad el proceso de elaboración de la Ley 7/2010, de 31 de marzo, General de la Comunicación Audiovisual en las tres fases legislativas: de...

  5. Paternalismo estatal, bienestar y control social en la construcción de Volta Redonda

    Dinius, Oliver
    This article analyzes the construction of the steel town of Volta Redonda, Brazil, as a state paternalist project. The steel mill and its company town, built in the early 1940s during the Estado Novo government of President Getúlio Vargas, were intended to set a new standard for the country’s economic and social development. Empirically, the article tries to explain the logic of the company town as a paternalist project from the perspective of the state and the company, which thought of social assistance programs and mechanisms of social control as two sides of the same coin. Within that perspective, the...

  6. El Lado Oscuro del reconocimiento estatal: ¿Burocratizacion del reclamo o violencia epistemica?

    Guiñazú, Verónica Samanta; Tolosa, Sandra
    The Argentinean State has been redefining his relationship with indigenous people through various actions for recognition of their rights, and specific claims; developing various public policies, programs and projects through specific institutions and agencies that have this “renewed” relationship as product of a genuine appreciation for multiculturalism and ethnic identities predate the state. In contrast, we observed that the specific forms of implementation of these other logics underlying evidence, demonstrating the profound contradiction in the conception of the relationship between the state and the indigenous people. This article analyzes the ways that the state uses to recognize the ethnic processes...

  7. La subversión del edén mazatleco: empresarialismo turístico especulativo en la Isla de la Piedra

    Ibarra, Guillermo; Moreno, Adriana
    From the assessment of the impacts of Mazatlan´s urban development, located on the Pacific coast, with the opening of the transoceanic highway that will connect it with Matamoros, in the Atlantic Ocean, forming the Northern Economic Corridor, it is shown the unfeasibility and the utopian of the speculative tourism project “Amaitlán. Garden City, Mazatlan”, located on Stone Island, which is promoted by a private developer as green and sustainable, able to generate a regional economic motor to double the local labor market in fifty years. The communal lands owned by the people of the island have entered in a speculative game that in the...

  8. Educação Permanente e Serviço Social: Apontamentos sobre a Formação Profissional

    dos Santos Nascimento, Chrislayne Caroline; Montefusco de Oliveira, Carla
    O presente artigo tem como objeto de análise a Educação Permanente em Serviço Social, tendo como objetivo principal ressaltar a Política de Educação Permanente do conjunto CFESS – CRESS, elaborada coletivamente pela categoria profissional, como possível estratégia e instrumento de resistência à lógica de formação e qualificação profissional propagada pelo capital na contemporaneidade. A metodologia adotada no processo de pesquisa consiste na pesquisa bibliográfica e documental, e centra-se nas discussões acerca do processo de reestruturação produtiva e as inflexões sobre a qualificação profissional, o ensino superior brasileiro e a formação em Serviço Social. Nessa direção, aponta-se a educação permanente em...

  9. Mercantilização da Educação Superior brasileira e a Formação Profissional do Serviço Social

    Santos Ferrarez, Cynthia
    Este artigo aborda a questão da formação profissional do(a) assistentes social e seus novos rumos e, para tanto, faz-se uma reflexão a respeito da contrarreforma da educação superior brasileira, destacando a herança que a Ditadura Militar, a mercantilização do ensino superior nas últimas décadas e as legislações que respaldam o empresariamento da educação e os processos avaliação de cursos. Realiza, também, uma análise a respeito do Serviço Social brasileiro, suas diretrizes curriculares e os rebatimentos da expansão do ensino superior na formação profissional. Localizando, com isso, o curso de Serviço Social sujeito à lógica mercadológica e avaliativa do MEC através...

  10. Sistema de ejercicios para el perfeccionamiento de la velocidad de ejecución simple y compleja en acciones ofensivas del taekwondo en atletas escolares de la EIDE provincia las Tunas

    Pedroso Martínez, Carlos Andrés; Pérez Escobar, Yasaidi
    Se trabajó con atletas del equipo de taekwondo categoría 13-15 años femenino de la EIDE “Carlos Leyva González” de Las Tunas, integrado por una muestra de 10 atletas, representando el 100% de la población.La presente investigación comenzó en el mes de septiembre del 2014 y se culmina en el mes de mayo del 2015, este equipo alcanzó el 7mo lugar en la competencia pasada. Se realizó un estudio observacional, descriptivo y transversal sobre la base de un diagnóstico fáctico.Para esta investigación se realizó un estudio minucioso encaminado al perfeccionamiento de la velocidad de ejecución en acciones ofensivas simples y complejas....

  11. Las ciencias básicas en la estructura curricular del licenciado o del ingeniero

    Suárez de la Cruz., Jesús Guadalupe; Cabrera Marrero, Idielyn; Portuondo Padrón, Roberto
    Las teorías de diseño curricular existentes, están basadas en un modelo hecho para las carreras de ingeniería, por lo general se observa, que se pretende forzar a que la estructura curricular de los planes de estudio sea la misma independiente del tipo de profesional que se forma, de sus modos de actuación y desempeños. A través de un estudio lógico histórico, se develan las particularidades, en cuanto a estructura curricular se refiere, de una carrera de Licenciatura en enseñanza, de Ingeniería o de Licenciatura en ciencias, además se analizan los componentes de la estructura relacionándolas con las ciencias básicas y se...

  12. Construction of index with artificial intelligence to evaluate vulnerability to climate change in Andean tropical micro-watersheds: Study case in Colombia

    Vargas, Viviana; Tarquino, InésRestrepo
    This article constructs and applies an index to estimate vulnerability level to climate change (CCI) in tropical Andean micro-watersheds. The ICC was constructed with a combination of two analytical methodologies: Pressure-State-Response (PER) indicators and fuzzy logic from artificial intelligence. One pressure indicator, three statuses and two response indicators were defined. Each indicator is associated with a fuzzy logic function. For the operation of the index, 234 decision rules were generated, which were programmed in the MATLAB program. The index was applied to the tropical Andean microcuenca Chocho located in the Department of Valle del Cauca in Colombia. With the application...

  13. El aporte de las cooperativas a las políticas públicas y el territorio. Un análisis de las mediciones estadísticas en Argentina

    Castelao Caruana, María Eugenia
    Introducción: en las últimas décadas, los poderes públicos nacionales y organismos internacionales han incrementado su interés por la forma de organización cooperativa, reconociendo su capacidad de contribuir a abordar problemas sociales, económicos y ambientales. Metodología: la metodología de esta investigación se basa en el modelo analítico de políticas púbicas propuesto por Subirats, Knoepfel, Larrue y Varone (2008), el cual propone comprender la lógica que encierra la acción de las instituciones políticas y de los actores involucrados en las intervenciones públicas desde el ángulo de su contribución a la solución de los problemas colectivos. Resultados: el trabajo estudia el papel de...

  14. Galeria: Orlan e a sutura entre Moda e Design

    Malysse, Stéphane
    Vestir-se da sua própria nudez Exibir-se através de obras reconhecidas ainda é atuar sob a máscara, deixar-se cair na armadilha da fantasia. E, como a máscara é indispensável à Sua ação, e à sua Sobrevivência, que ela torna socialmente possível o cumprimento do Seu processo, por que não ir mais longe na sua lógica revestindo uma máscara da Sua própria imagem? (...)

  15. Ziguezague

    Mesquita, Cristiane
    Cada década do século XX nos conduziu, mais e mais, a enxergar velocidades estampadas no corpo e a afirmar mudanças de corpo e de roupa como materializações da subjetividade.Nos anos 1970, época que consolidou de vez o prêt-à-porter — a lógica do pronto-para-usar que comanda a oferta de produtos — a moda ainda funcionava numa cadência que implicava a espera. As clientes iam ao ateliê de costura com o tecido comprado e uma revista nas mãos. Medidas tiradas, detalhes definidos, voltavam algum tempo depois para a prova, uma vez mais para ajustes e, por último, para a retirada da peça. Nesse ritmo de século passado, a confecção...

  16. Espaço aberto: O sopro da moda e nossas [eco]lógicas [sus]tentações

    Alves Marinho, Lílian
    Durante uma pequena discussão dentro de um grupo virtual de debates1 relacionados ao tema Lixo (do qual participam ativistas e ONGs da causa), peguei-me considerando o amargo e o doce da “moda ecológica” e da “vida tecnológica”. Não, eu não estou falando de moda ecológica nivelada no teor “ecobag”. Penso na intersecção entre as propostas de moda ecológica, a moda socialmente comprometida, e o terceiro setor, uma fusão em pequena escala que parece ter conquistado grandes e belos resultados, embora ainda caros ao consumidor. Atividade que temunificado comunidades e realçado culturas locais país afora. E reflito sobre a dificuldade de levar de modo consistente as mesmas questões...

  17. Imanência e devir-animal na obra de Alexander McQueen

    Zapata, Maximiliano; Parode, Fabio; Bentz, Ione
    Este ensaio busca compreender aspectos da lógica de construção do sentido na obra do designer de moda inglês Alexander McQueen. Para enfrentar tal problema, aproximamos o campo da moda com o da filosofia e articulamos noções de estética, imanência, semiótica e design. Considerando que McQueen questionou o processo de desenvolvimento sustentável do planeta, abordaremos de forma especulativa conceitos e valores simbólicos presentes em sua obra para enfocar a temática da deriva cultural e da mutação da espécie humana. No escopo deste ensaio, organizado em quatro seções temáticas – a imanência e o devir; o trágico e a deriva; o híbrido...

  18. Espaço aberto: meu nome é roupa [a pele como roupa e a roupa como pele]

    Varella, Lili
    Acostumados estamos a ver e não enxergar que coisas do nosso cotidiano passam despercebidas no dia-a-dia. Diariamente somos bombardeados por símbolos/imagensque representam/identificam alguma coisa. Um uniforme laranja com uma faixa verde cruza por você: é o gari. Avental branco? Um médico talvez ou alguém de alguma área afim. A indefectível camisa de tergal azul com calça preta e já sabemos que tem um motorista na área! Confusões também acontecem, pois às vezes dá até para confundir segurança com executivo... lógico que por um monte de reais a mais, nota-se a diferença de um terno bem talhado, mas tem segurança aí tão bem vestido que chega a ser...

  19. Uma Aplicação do Hexágono Lógico: organizando sistematicamente os conceitos de razão e causalidade

    Kubiszeski, Guilherme de Freitas
    This paper aims to show an application of the logical hexagon to the metaphysical concepts of reason and causality. After a brief presentation of Blanché’s approach, we proceed to build the geometrical structures. First, we show two triads – logical reason, chance, cause; reason, non-cause, non sequitur. Then we present the logical hexagon as a dyad built out of the first two structures. We conclude that the logical hexagon is able to organize the concepts of reason and causality in a systematic way.

  20. Investigación Lógica Borrosa para la Evaluación de la Sostenibilidad

    Martín Bonilla, Raúl; Garmendia Salvador, Luis
    The measure of sustainability takes into account the impact that social, economic and environmental factors can produce. This job presents the development of a methodology and software using fuzzy logic for the evaluation of social, economic and environmental sustainability of projects to pretend to come by a global sustainability evaluation.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.