Nietzsche e Rosset: alegria, impulso à criação

Understood in a project of transvaluation of values, the joy is one of the central themes of the thought of Friedrich Nietzsche and Clément Rosset. Opposed to the dogmatic philosophy that moralize and robs your strength to think of it as "happiness", evaluated, in short, a target linked to virtue and rationality these thinkers propose a perspective that makes the joy of point to an instance extraterrestrial and back to the earth, to the body. In this vein, beyond the oppositions of values constitutive of metaphysics dogmatic, the joy and suffering are conceived as elements that are not mutually exclusive, they are complementary as foundations of a gaia(ta) science, based in laughter and friendship. Contents of a tragic wisdom that leads to an unconditional fidelity to the real (expressed in formulas of amor fati Nietzsche and unrestricted approval of existence Rosset), the joy is then interview as vital impulse, the force majeure, the strength plastic encourages artistic creation: the joy of children playing

Novo enfoque da disciplina matemática e suas aplicações, no curso de administração de empresas da Universidade Paulista - UNIP

Pós-graduação em Educação Matemática - IGCE

Um exemplo de negação do conceito de elemento na filosofia natural

The focus of this work is to present an example of refutation of the concept of element inside the seventeenth-century scientific revolution, mainly through Robert Boyle’s The Sceptical Chymist. On the first section of this paper the notion of element as considered by the ancient Greeks in Aristotle’s Physics and modern chemists in Paracelsus will be briefly presented. After that in the second section Boyle’s deconstruction of the idea of element will be exposed considering his argumentation of why this notion is prejudicial to the study of nature. Finally, in the third section follows the constructive stage in which a new hypothesis is presented (the corpuscular hypothesis) as the best option to replace the notion of element.

Encontrabilidade da informação

Coordenação de Aperfeiçoamento de Pessoal de Ensino Superior (CAPES)

Implementación de algoritmos para la manipulación de curvas concoides en diseño geométrico

Este proyecto se enmarca dentro de la Computación Simbólica y de los fundamentos matemáticos del Diseño Geométrico Asistido por ordenador (CAGD). Se abordara uno de los problemas principales en el ámbito del CAGD y que es la manipulación de las Curvas Concoide. La importancia del avance en la manipulación de las curvas concoide radica en el papel fundamental que desempeñan en múltiples aplicaciones en la actualidad dentro de campos de diversa índole tales como la medicina, la óptica, el electromagnetismo, la construcción, etc. El objetivo principal de este proyecto es el diseño e implementación de algoritmos para el estudio, cálculo y manipulación de curvas concoides, utilizando técnicas propias del Calculo Simbólico. Esta implementación se ha programado utilizando el sistema de computación simbólica Maple. El proyecto consiste en dos partes bien diferenciadas, una parte teórica y otra más practica. La primera incluye la descripción geométrica y definición formal de curvas concoide, así como las ideas y propiedades básicas. De forma más precisa, se presenta un estudio matemático sobre el análisis de racionalidad de estas curvas, explicando los algoritmos que serán implementados en las segunda parte, y que constituye el objetivo principal de este proyecto. Para cerrar esta parte, se presenta una pequeña introducción al sistema y a la programación en Maple. Por otro lado, la segunda parte de este proyecto es totalmente original, y en ella el autor desarrolla las implementaciones en Maple de los algoritmos presentados en la parte anterior, así como la creación de un paquete Maple que las recoge. Por último, se crean las paginas de ayudas en el sistema Maple para la correcta utilización del paquete matemático anteriormente mencionado. Una vez terminada la parte de implementación, se aplican los algoritmos implementados a una colección de curvas clásicas conocidas, recogiendo los datos y resultados obtenidos en un atlas de curvas. Finalmente, se presenta una recopilación de las aplicaciones más destacadas en las que las concoides desempeñan un papel importante así como una breve reseña sobre las concoides de superficies, objeto de varios estudios en la actualidad y a los que se considera que el presente proyecto les puede resultar de gran utilidad. Abstract This project is set up in the framework of Symbolic Computation as well as in the implementation of algebraic-geometric problems that arise from Computer Aided Geometric Design (C.A.G.D.) applications. We address problems related to conchoid curves. The importance of these curves is the fundamental role that they play in current applications as medicine, optics, electromagnetism, construction, etc. The main goal of this project is to design and implement some algorithms to solve problems in studying, calculating and generating conchoid curves with symbolic computation techniques. For this purpose, we program our implementations in the symbolic system “Maple". The project consists of two differentiated parts, one more theoretical part and another part more practical. The first one includes the description of conchoid curves as well as the basic ideas about the concept and its basic properties. More precisely, we introduce in this part the mathematical analysis of the rationality of the conchoids, and we present the algorithms that will be implemented. Furthermore, the reader will be brie y introduced in Maple programming. On the other hand, the second part of this project is totally original. In this more practical part, the author presents the implemented algorithms and a Maple package that includes them, as well as their help pages. These implemented procedures will be check and illustrated with some classical and well known curves, collecting the main properties of the conchoid curves obtained in a brief atlas. Finally, a compilation of the most important applications where conchoids play a fundamental role, and a brief introduction to the conchoids of surfaces, subject of several studies today and where this project could be very useful, are presented.

Reconocimiento facial

El presente proyecto trata sobre uno de los campos más problemáticos de la inteligencia artificial, el reconocimiento facial. Algo tan sencillo para las personas como es reconocer una cara conocida se traduce en complejos algoritmos y miles de datos procesados en cuestión de segundos. El proyecto comienza con un estudio del estado del arte de las diversas técnicas de reconocimiento facial, desde las más utilizadas y probadas como el PCA y el LDA, hasta técnicas experimentales que utilizan imágenes térmicas en lugar de las clásicas con luz visible. A continuación, se ha implementado una aplicación en lenguaje C++ que sea capaz de reconocer a personas almacenadas en su base de datos leyendo directamente imágenes desde una webcam. Para realizar la aplicación, se ha utilizado una de las librerías más extendidas en cuanto a procesado de imágenes y visión artificial, OpenCV. Como IDE se ha escogido Visual Studio 2010, que cuenta con una versión gratuita para estudiantes. La técnica escogida para implementar la aplicación es la del PCA ya que es una técnica básica en el reconocimiento facial, y además sirve de base para soluciones mucho más complejas. Se han estudiado los fundamentos matemáticos de la técnica para entender cómo procesa la información y en qué se datos se basa para realizar el reconocimiento. Por último, se ha implementado un algoritmo de testeo para poder conocer la fiabilidad de la aplicación con varias bases de datos de imágenes faciales. De esta forma, se puede comprobar los puntos fuertes y débiles del PCA. ABSTRACT. This project deals with one of the most problematic areas of artificial intelligence, facial recognition. Something so simple for human as to recognize a familiar face becomes into complex algorithms and thousands of data processed in seconds. The project begins with a study of the state of the art of various face recognition techniques, from the most used and tested as PCA and LDA, to experimental techniques that use thermal images instead of the classic visible light images. Next, an application has been implemented in C + + language that is able to recognize people stored in a database reading images directly from a webcam. To make the application, it has used one of the most outstretched libraries in terms of image processing and computer vision, OpenCV. Visual Studio 2010 has been chosen as the IDE, which has a free student version. The technique chosen to implement the software is the PCA because it is a basic technique in face recognition, and also provides a basis for more complex solutions. The mathematical foundations of the technique have been studied to understand how it processes the information and which data are used to do the recognition. Finally, an algorithm for testing has been implemented to know the reliability of the application with multiple databases of facial images. In this way, the strengths and weaknesses of the PCA can be checked.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Exàmens resolts de FMI 2, Grau en Enginyeria Civil, Cursos 2010-2011, 2011-2012 i 2012-2013

Exàmens resolts de Fonaments Matemàtics de l'Enginyeria II del Grau en Enginyeria Civil de la Universitat d'Alacant dels cursos 2010-2011, 2011-2012 i 2012-2013

Evaluación continua a través del trabajo autónomo del estudiante

Durante el curso académico 2014-2015 se han introducido distintas mejoras en la metodología docente y en el sistema de evaluación de la asignatura Fundamentos Matemáticos de la Ingeniería II del primer curso del Grado en Ingeniería Civil de la Universidad de Alicante. Su objetivo es reducir el tiempo dedicado a la clase magistral en el desarrollo de la asignatura, en aras de fomentar la participación del alumnado. También se pretende conseguir un mayor aprovechamiento de las clases prácticas mediante la resolución autónoma de diversos ejercicios y problemas por parte de los alumnos, contando con la supervisión del profesorado. Este último aspecto es fundamental en las materias propias de las Matemáticas. En esta comunicación detallaremos las acciones específicas adoptadas con estos fines, tanto en la dinámica de las clases como en la forma de evaluación. Así mismo, se realizará un análisis cuantitativo y cualitativo de los resultados alcanzados y de las percepciones que profesores y alumnos tienen sobre los cambios introducidos.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Análise de aspectos sociocientíficos em questões de química do Enem: subsídio para a elaboração de material didático para a formação cidadã

Acompanha: Manual didático: o emprego de aspectos sociocientíficos no ensino de química

Docência e integração na educação básica em Portugal

No terceiro capítulo – intitulado Docência e integração na educação básica em Portugal – problematiza-se a relação entre a educação tradicional e a educação democrática visando compreender por que é que, sendo mais adequada a pedagogia da participação para o desenvolvimento global da criança, se continua a manter, nas escolas portuguesas, uma pedagogia suportada pela uniformidade de métodos e programas. Metodologicamente fundamentado nos princípios orientadores relativos à investigação-ação, este capítulo estuda as práticas potenciadoras de uma educação integrada e os contributos da formação em contexto. O discurso dos professores envolvidos no estudo realça a parca formação (inicial e contínua) relativamente à prática de um ensino integrado e participado e salienta a compartimentação disciplinar como fator constrangedor. Afirma também a necessidade de redefinição no trabalho do professor, nomeadamente na autorreflexão das práticas, na partilha dessas práticas com os seus pares e no desenvolvimento profissional ao longo da vida. Constata, porém, que o trabalho de cooperação expressa-se sobretudo na partilha a dois. A análise dos discursos atesta também a hipótese das práticas pedagógicas tenderem mais para uma pedagogia transmissiva do que para uma pedagogia da participação.

Gestão de I&D em projectos de desenvolvimento de novos produtos

É hoje em dia inquestionada a importância da inovação para o crescimento económico e para o desenvolvimento sustentado das empresas e da sociedade. Sendo verdade que o desempenho em termos de inovação das empresas, regiões ou países está condicionado por múltiplos factores de contexto, não é menos verdade que o verdadeiro motor desse desempenho são as iniciativas das empresas e das organizações. O sucesso dos projectos de inovação depende de um elevado número de factores, alguns dos quais são frequentemente negligenciados aquando da análise dos processos de inovação, tais como alianças estratégicas e parcerias, estrutura dos consórcios, protecção dos direitos de propriedade intelectual, estratégias de exploração dos resultados dos projectos, etc. Este artigo centra-se na análise e caracterização do processo de inovação em projectos de desenvolvimento de novos produtos levados a cabo por consórcios liderados por empresas industriais em Portugal. Após uma breve introdução ao problema, descreve-se de forma sucinta o enquadramento metodológico proposto e apresentam-se e discutem-se resultados obtidos através de um estudo conduzido pelo INESC Porto e pelo Observatório das Ciências e do Ensino Superior (OCES) do Ministério da Ciência, Inovação e Ensino Superior (MCIES).