Source: http://docplayer.es/750942-Logica-de-protocolos-incondicionalmente-seguros.html
Timestamp: 2017-05-25 20:22:26+00:00

Document:
Lógica de protocolos incondicionalmente seguros - PDF
Lógica de protocolos incondicionalmente seguros
Download "Lógica de protocolos incondicionalmente seguros"
Gerardo Vidal Núñez
1 Lógica de protocolos incondicionalmente seguros Proyecto de Excelencia, convocatoria 2008 Memoria Científico-Técnica Resumen. En este proyecto proponemos analizar y diseñar protocolos de seguridad para agentes computacionalmente ilimitados que usan métodos y herramientas lógicas. Tales protocolos pueden ser especificados y sus propiedades verificadas con lenguajes e instrumentos lógicos. Proponemos el uso de lógicas epistémicas dinámicas, que autorizan a razonar sobre conocimiento estático y propiedades de creencia, en un marco multiagente donde también podemos expresar lo que conocen los agentes sobre otros agentes; pero estas lógicas también permiten razonar sobre propiedades de sistemas dinámicos, por ejemplo, las postcondiciones de conocimiento de protocolos. Los propios protocolos pueden ser descritos en tales lógicas. Por otra parte, aplicaremos resultados de los estudios lógicos de la abducción e incorporaremos en protocolos los métodos de expansión y revisión abductiva. Un resultado final debería ser, de un lado, protocolos mejor diseñados, análisis y valoración de protocolos de seguridad, posible invalidación de protocolos que habían sido pensados como seguros (de particular interés es si protocolos de longitud variable pueden ser atacados sobre bases de teoría de juegos), y creciente mejora en dinámica de la información en general. De otro, consecuencias y repercusiones de orden teórico y conceptual, en lógica dinámica, epistemología y aplicaciones de la abducción y sus implicaciones filosóficas, así como de orden institucional y formativo, con la consolidación de un núcleo de investigadores en lógica y sus aplicaciones altamente competitivo y equiparable a los de las mejores universidades del mundo, captando el interés de empresas en estas investigaciones. 1. Antecedentes del proyecto 1.1. Introducción El estudio y comprensión de protocolos incondicionalmente seguros representa una gran ayuda para una mejor elaboración de protocolos condicionalmente seguros, de la misma manera que la lógica, en general, viene a constituir una buena herramienta de ayuda para la mejora del razonamiento ordinario y de sentido común. Merece la pena fijar la atención en tales aspectos de seguridad incondicional, para lo cual podemos integrar la fuerza de nuestro equipo de investigación en los estudios de lógica y lenguaje. Este proyecto se plantea con un fuerte carácter multidisciplinar (véase más abajo) a partir de los cuatro campos siguientes: 1. Protocolos incondicionalmente seguros 12 2. Lógica epistémica dinámica 3. Verificación de modelos 1 4. Abducción 1.2. Protocolos incondicionalmente seguros Los protocolos criptográficos son usados por agentes que se comunican para transmitir y compartir bits de información supuestamente secreta. A partir de los años 80, se han venido empleando métodos formales y lógicos para especificar o validar protocolos de seguridad así como otras técnicas criptográficas. Existen varias líneas de investigación, con cierto solapamiento entre ellas, que realizan este tipo de análisis basado en la información. Un punto de referencia importante es la lógica de autenticación de Burrows, Abadi and Needham (abreviadamente lógica BAN ) [7] que propone una especificación lógica de los protocolos de seguridad para poder investigar sus propiedades. Este enfoque ha sido complementado con varias investigaciones recientes [22, 2, 19, 8]. En los protocolos de comocimiento-cero, un emisor/demostrador revela a un receptor/verificador cierto conocimiento sobre un secreto, sin revelar el propio secreto [12]. Así, sólo un receptor que ya conozca el secreto sabrá ahora que el emisor lo conoce también. Se puede encontrar una propuesta reciente con fuerte orientación lógica en [26]. A partir de la noción de envite en el juego del Bridge, se ha investigado cómo los agentes que comparten información en un sistema cerrado pueden compartir bits secretos, o realizar computaciones semipúblicas con tales bits de un modo de asegurar la confidencialidad (bits confidenciales) bajo diferentes restricciones comunicativas. Cuando hay más de dos jugadores, otros jugadores pueden hacer de fisgones. Esto ha sido objeto de diversas investigaciones sobre barajas y mezclas de cartas [9, 17, 3, 29, 25, 5]. Especialmente la tercera de estas líneas de investigación se centra en agentes computacionalmente ilimitados, también conocidos como agentes perfectamente lógicos o racionales. Un tema habitual en el análisis de protocolos basados en información es que los protocolos deben funcionar para tales agentes computacionalmente ilimitados. Para ello, cobra sentido obtener especificaciones lógicas formales del flujo de información [16]. Podemos comparar los protocolos incondicionalmente seguros con los protocolos condicionalmente seguros. En estos últimos, la gran complejidad computacional de algún aspecto del protocolo es parte esencial del mismo. Los protocolos condicionalmente seguros aprovechan las limitaciones computacionales de 1 Traducimos así la expresión Model checking comúnmente utilizada en la literatura. 23 los agentes racionales reales. Por ejemplo, un aspecto computacional bien conocido es la gran complejidad de la factorización en números primos. Sin embargo, los recientes avances en algoritmos de factorización sugieren la vulnerabilidad posible de los protocolos habituales basados en la complejidad: [1] muestra que puede determinarse en tiempo polinomial si cierto número es primo. Algunos protocolos de comunicación habituales (por ejemplo el de Rabin [20]) tienen ciertas debilidades que explotan las expectativas comunicativas, como puede ser modelado mediante lógica epistémica dinámica Lógica epistémica dinámica La lógica epistémica dinámica [11, 6, 28, 31] investiga qué pueden conocer y creer los agentes, qué saben sobre otros agentes, y cómo cambia dicho conocimiento tras ciertos eventos o acciones, como anuncios públicos, cambios en el medioambiente, y comunicación de mensajes secretos entre un agente emisor y otro receptor. Esta lógica es una lógica modal también conocida como la lógica del conocimiento, concebida por el prestigioso filósofo Jaakko Hintikka [14], y con aplicaciones en lógica dinámica (o lógica de programas) de David Harel et al. [13]. La lógica modal se conoce como la lógica de los mundos posibles, donde podemos expresar formalmente cómo podría ser el mundo, lo que en terminología informática básica no es más que una lista de variables de estado. La lógica modal no es tan conocida como la lógica de primer orden estándar (también llamada lógica de predicados ) que emplea los cuantificadores para todo y existe. Desde los años 60 la lógica modal se ha vuelto popular por sus propiedades computacionales, muy equilibradas si se comparan con la lógica de primer orden, y por ciertas áreas de aplicación relevantes, como la verificación de programas y model ckecking. La lógica epistémica dinámica es un formalismo natural para la especificación de la información y sus cambios en los protocolos de seguridad, dado que sus aspectos clave radican en si los participantes conocen ciertos mensajes e información, o si cierto intruso permanece ignorante. Algunos estudios específicos sobre lógica epistémica dinámica aplicada a la criptografía son los de [29]. Se centra en un ejemplo llamado las cartas rusas en el que dos de tres jugadores (emisor y receptor) deben encontrar un protocolo para comunicarse sus cartas sin que el tercero (intruso) las descubra Verificación de modelos Un desarrollo reciente es el uso de buscadores de modelos para verificar propiedades de los protoclos. Los buscadores de modelos 2 son programas informáticos que testean y verifican especificaciones de protocolos por medio de la búsqueda sistemática y exhaustiva de contraejemplos. En el mundo de la lógica modal, que engloba la lógica epistémica dinámica, el típico buscador de modelos emplea la especificación del comportamiento en lógicas puramente temporales como CTL. Recientemente, los buscadores de modelos están también disponibles 2 En inglés, model checkers, de ahí el término model checking que hemos traducido como verificación de modelos debido a que es así como suele emplearse. 34 para especificaciones en lógica epistémica [10, 21, 33]. El buscador de modelos MCK ha sido desarrollado por Peter Gammie y Ron van der Meyden [10], y MCMAS por Franco Raimondi y Alessio Lomuscio [21] ambos están basados en intérpretes y emplean lógica epistémica temporal. Estas herramientas de prueba han sido aplicadas a la especificación y verificación de las cartas rusas en [32] Abducción En un sentido muy amplio, la abducción es el proceso de razonamiento mediante el cual se construyen explicaciones para observaciones sorprendentes, esto es, para hechos novedosos o anómalos. Hay sin embargo, una diversidad de enfoques que reclaman cada uno la verdadera naturaleza de este concepto. Una razón para tal diversidad radica en el hecho de que el razonamiento abductivo ocurre en una multitud de contextos y por tanto pretende modelar desde la selección de hipótesis ya existentes hasta la generación de nuevos conceptos en la ciencia. La investigación sobre la abducción en inteligencia artificial se remonta a los años setenta, pero es hasta los años noventa en que se encuentra un interés creciente en áreas como la programación lógica, la asimilación del conocimiento y diagnóstico, reconocimiento de patrones, procesamiento de lenguaje natural, visión, aprendizaje y en general como un tipo de razonamiento de carácter rebatible. La abducción ha sido el tema principal de varios talleres y conferencias de inteligencia artificial y de razonamiento basado en modelos, así como protagonista de títulos de reciente aparición. En todos estos sitios, la discusión sobre los diversos aspectos de la abducción ha sido conceptualmente un reto, pero también ha mostrado una frecuente confusión sobre todo terminológica con respecto a la inducción, otra forma de razonamiento rebatible y refutable por excelencia. La importancia de la abducción ha sido reconocida por investigadores líderes en diversos campos del conocimiento. Para Jaakko Hintikka (Lógica y Epistemología), la abducción es el problema fundamental de la epistemología contemporánea, en el cual las inferencias abductivas son respuestas a las preguntas del inquisidor. Por otra parte, para Herbert Simon (Psicología Cognitiva), el proceso retroductivo otro término para la abducción es el tema central de la teoría de resolución de problemas en las Ciencias Cognitivas. Finalmente, para Paul Thagard (Ciencias de la Computación), diversos tipos de abducción juegan un papel fundamental como estrategias heurísticas en el programa PI (procesos de inducción), un sistema útil sobretodo en representaciones y simulaciones computacionales de descubrimiento científico. La abducción es un proceso de razonamiento, cuyo producto es una explicación con cierta estructura inferencial. El esquema lógico de la abducción puede verse como una relación entre tres elementos: Θ, α ϕ 45 La observación o creencia ϕ, la explicación abductiva α, y la teoría Θ de trasfondo. Además, se han propuesto [4] tres parámetros principales que determinan varios tipos de abducción. (i) el parámetro inferencial, que determina la relación lógica entre el explanandum ϕ y el explanans (la teoría de trasfondo Θ y la explicación α). Esta relación puede ser la de consecuencia lógica clásica, inferencia estadística o incluso algún tipo de inferencia no clásica. (ii) los detonadores abductivos: ϕ puede ser un fenómeno novedoso o bien una anomalía, un fenómeno en conflicto con la teoría. (iii) Finalmente, los productos α son los diversos productos de los procesos abductivos: hechos, reglas e incluso teorías. Esta taxonomía generaliza la definición estándar de abducción como inferencia lógica en la inteligencia artificial ya que no se limita a interpretar la relación inferencial como clásica ni tampoco restringe la forma de las explicaciones a átomos. Más importante, sin embargo, es que este esquema general propone a la revisión como caso de razonamiento abductivo. Aunque existen diversos trabajos que consideran este caso como de abducción, no se ha tratado desde un punto de vista lógico. Incorporar a la revisión como caso de razonamiento abductivo reconoce que los cambios en la teorías no se dan sólo por acumulación de nuevos descubrimientos, sino que se dan también como consecuencia de anomalías. Así, nos acercamos a la noción de abducción Peirceana, en donde un hecho es sorprendente por ser una experiencia novedosa o una contraria a las expectativas. Con las nociones novedad abductiva, ϕ es novedosa: Θ ϕ, tampoco Θ ϕ anomalía abductiva, ϕ es anómala: Θ ϕ, sino que Θ ϕ y la idea de que las operaciones abductivas de cambio epistémico son las operaciones que inducen cada uno de los detonadores abductivos: expansión abductiva. Dada una novedad abductiva, una explicación consistente α se calcula de forma que Θ, α ϕ. Así se añaden α y ϕ a la teoría Θ por una simple expansión. revisión abductiva. Dada una anomalía abductiva, una explicación consistente α se calcula de la siguiente manera: Primero se revisa Θ de tal forma que no explique a ϕ. Esto es, se obtiene Θ de tal manera que Θ ϕ donde Θ = Θ {β 1,...,β n }. Una vez obtenida Θ, se obtiene una explicación α consistente con Θ de tal forma que Θ, α ϕ. Así, el proceso de revisión involucra los procesos de contracción y de expansión. Una vez definidas las nociones anteriores, podemos describir el proceso abductivo de cambio epistémico como sigue: el razonamiento abductivo se dispara por una sorpresa, la cual genera una duda que puede ser de dos tipos: novedad o anomalía. En el primer caso el fenómeno a explicar es totalmente nuevo y consistente con la teoría, por lo que su explicación se calcula y se incorpora a la teoría por la operación de extensión. En el segundo caso, como el hecho es 56 anómalo, la operación de revisión es necesaria para incorporarlo. Así, la teoría se revisa de tal forma que su modificación no esté en conflicto con el hecho a explicar, a continuación se calcula la explicación y se incorpora a la teoría revisada por expansión. Investigaciónes recientes de los miembros del equipo de este proyecto en el campo de abducción incluyen [18, 23, 4, 24]. 2. Objetivos del proyecto Para fijar los objetivos hemos de tener en cuenta previamente que la actual Sociedad del Conocimiento está poniendo de manifiesto que existen necesidades para cuya satisfacción es imprescindible aunar esfuerzos que se vienen realizando en ámbitos de investigación diversos. La extraordinaria conectividad que hemos alcanzado hoy en día requiere de aplicaciones seguras y escalables que sean capaces de tratar sistemas complejos ciertamente heterogénos y altamente distribuidos. Como ejemplo, baste mencionar los múltiples servicios de la web. En general, las técnicas basadas en métodos lógicos tienen el fuerte potencial de ser aplicadas exitosamente en todos estos campos, aunque existen tipos de problemas que requieren una mejora e innovación de herramientas aún más potentes. Hemos captado el interés como EPO de la sede de Sevilla de Natural Language, empresa internacional fundada por Infinity, como más avanzado proveedor de soluciones de atención al cliente basadas en inteligencia artificial del lenguaje Hipótesis de partida Este proyecto se plantea el uso de herramientas y métodos lógicos para el análisis y diseño de protocolos de seguridad. Proponemos el uso de lógicas dinámicas epistémicas, las cuales permiten razonar sobre conocimiento estático y propiedades de creencia, en posición multi-agente donde también podemos expresar lo que los agentes conocen sobre otros agentes; pero estas lógicas tambien permiten razonar sobre propiedades de sistemas dinámicos, por ejemplo, las postcondiciones de conocimiento en protocolos. Además, la incorporación de la abducción como inferencia lógica en inteligencia artificial, no restringida a la relación de consecuencia clásica, permitirá nuevas modelizaciones de sistemas multiagente y estudios de contextos. Nuestra hipótesis inicial tiene en cuenta el fuerte carácter interdisciplinar de la investigación propuesta (principalmente, lógica, aunque también informática, matemática combinatoria, filosofía y lingüistica). Los protocolos mismos pueden ser descritos en las lógicas mencionadas y la formalización lógica dinámica de las intenciones es uno de estos aspectos interdisciplinares, pues conecta directamente con los análisis pragmáticos de Grice. 67 2.2. Objetivos Como objetivos generales, en primer lugar, nos proponemos investigar protocolos de seguridad con instrumentos y métodos lógicos, para desarrollar lógicas epistémicas dinámicas y abductivas adecuadas a tales investigaciones, así como estudiar y establecer las propiedades de tales lógicas, y encontrar métodos computacionalmente tratables para comprobar dichos protocolos con instrumentos tales como probadores de teoremas (cálculos de tablas semánticas), buscadores de modelos y herramientas de razonamiento abductivo. Entre las implicaciones filosóficas, cabe mencionar la búsqueda de una interpretación de la lógica misma que ofrezca una respuesta al desafío del abordaje pragmático. Por otra parte, una biblioteca de protocolos incondicionalmente seguros y pruebas de rendimiento para testearlos en buscadores de modelos o con otras herramientas de prueba es, pensamos, un objetivo deseable. Los protocolos con cambios de clave y otras características de cambio factual necesitan lógicas epistémicas dinámicas más complejas que las inicialmente indicadas en la propuesta, pero también en aquellas áreas hay un rápido progreso en formulaciones teóricas [27, 33, 15, 30]. Una recompensa a esta búsqueda debería ser que se haga posible un análisis mucho más teórico-informativo de protocolos que pueda ser automatizado, lo que no es captado por la lógica BAN ni por el reciente trabajo de análisis de protocolos criptográficos en buscadores de modelos de lógica temporal. Dados estos objetivos generales, nos proponemos varios objetivos concretos: Describir protocolos criptográficos de naipes de longitud finita arbitraria Verificar propiedades de protocolos en buscadores de modelos epistémicos existentes Desarrollar y analizar protocolos para sistemas interpretados Incorporar dinámicas complejas en protocolos Incorporar en protocolos métodos de expansión y revisión abductiva Asimismo nos planteamos objetivos institucionales: Consolidación definitiva del equipo y máxima cualificación en investigación en el campo interdisciplinar de Lógica, Lenguaje e Información, de máxima relevancia en Europa Las líneas generales de un programa integral de formación superior en este campo, pionero en España. Se realizará una tesis doctoral en el marco del proyecto (se solicita una beca asociada al proyecto) y se culminarán dos tesis en curso sobre la temática que nos ocupa A partir de una fluida comunicación con el Departamento de I+D+I del EPO (Natural Language), incremento de relaciones con el mundo empresarial para futuras acciones combinadas, en las que los estudios de lógica y lenguaje cobran una gran importancia estatégica para la gestión del conocimiento y desarrollo de actividad empresarial basade en la misma 78 3. Metodología y plan de trabajo Preveemos un número razonable de retos técnicos y de carácter lógico. Los probadores de teoremas para lógicas con operadores modales para grupos de agentes, como conocimiento común, no están todavía operativos. Esto es debido a razonaes teóricas relativas a cuestiones similares en el área de la verificación de programas y PDL. Las propiedades de protocolos de longitud finita arbitraria son, por lo que sabemos, comprendidas de manera incompleta, y las investigaciones específicas de protocolos para criptografía de cartas, como se sugirió más arriba, incrementará, en consecuencia, nuestra comprensión de tales materias Grupos de actividades Proponemos el desarrollo de la investigación en grupos de diferentes actividades, cada una de las cuales se divide en tres tareas temáticas. Estas partes se estructuran según los cuatro campos anteriormente mencionados: Protocolos incondicionalmente seguros Proponemos los siguíentes tres temas: protocolos de longitud finita variable relación entre bit-exchange y protocolos basados en tratamiento de cartas complejidad comunicativa en protocolos multiagente La relación entre bit-exchange y protocolos basados en tratamiento de cartas ocupa un lugar central entre nuestras preocupaciones. Pensamos que una obvia y prometedora generalización de criptografía de cartas es criptografía de sistemas interpretados, donde en lugar de mantener la mano de cartas en secreto, el objetivo es mantener en secreto el estado local. De hecho, los modelos epistémicos para tratamientos de cartas no son más que una clase específica de sistemas interpretados, donde los tratamientos de cartas son estados globales y las manos de cartas son estados locales, con más dependencias de estado local específico. Lógica epistémica dinámica Los temas son: lógicas comunicativas para especificación de protocolo lógicas de eventos y revisión de creencias (aplicadas a dinámicas de protocolos) integración de abducción, consecuencia no monótona y epistémicas dinámicas 89 Las lógicas BAN para especificación de protocolo han sido usadas ampliamente, pero son necesarias lógicas más refinadas para aspectos epistémicos y comunicativos. La revisión de creencias y predicción de consecuencias de protocolo se benefician de la integración con primitivos abductivos. Verificación de modelos Los temas son: complejidad de los procesos de verificación de modelos para protocolos específicos relación entre model checking epistémicos temporales y los epistémicos dinámicos especificación lógica de protocolos para pruebas de rendimiento en epistémicas dinámicas Trataremos de aproximar la distancia entre las capacidades limitadas de buscadores de modelos epistémicos dinámicos y los instrumentos de verificación en tiempo real basados en técnicas de reescritura en términos de primer orden. Probar rendimientos recurriendo frecuentemente a aspectos de protocolo comunicativos nos llevará a comprobar estos requerimientos. Abducción Los temas son: aplicar expansión abductiva a la modelización de protocolos aplicar revisión abductiva a la modelización de protocolos razonamiento con tablas semánticas y verificación de modelos Un reto de particular interés será la integración de técnicas de verificación de modelos con procedimientos de tablas semánticas efectivos para soluciones abductivas mínimas Plan de trabajo Se seguirán en principio las directrices de la investigación lógica en el momento presente y seguiremos la línea marcada por algunos rasgos que pueden caracterizarla, como carácter comprensivo de los planteamientos teóricos empleo, explotación y coordinación de diversos instrumentos y materiales cognitivos (conceptuales y analíticos, descriptivos y normativos, modélicos y teóricos, por ejemplo) 910 coherencia en los diversos temas aspiración a propuestas plausibles sobre la base del intercambio constante de información, ideas, hipótesis, etc. Para la comunicación de información e intercambio de ideas y propuestas, tendrá una importancia vital el aprovechamiento de las formas de comunicación en línea entre los miembros del equipo y el uso de los recursos disponibles en los centros de investigación (principalmente, a través de la Universidad de Sevilla). Crearemos foros e-discursivos. Asimismo, se emplearán los procedimientos convencionales de comunicación interpersonal, con reuniones periódicas y, al menos, una de carácter anual plenaria, de todos los integrantes del equipo y los investigadores en formación y otros cuyas sugerencias y aportaciones sean de interés para el proyecto. Por otra parte, aprovechando la experiencia de otros proyectos y la capacidad organizativa, experiencia en las European Summer School of Logic, Language and Information y los contactos del investigador de reconocido prestigio que se incorpora al proyecto, se organizará un seminario permanente (continuación a un nivel superior del Seminario de Lógica y Lenguaje), al que serán invitados otros investigadores de prestigio de campos afines, además de permitir el acceso del público interesado, difundiendo los incrementos de conocimiento obtenidos a partir de la plataforma virtual que se creará al efecto. Se tendrá en cuenta la experiencia en formación doctoral de algunos de los miembros del equipo, asimismo el material de trabajo del Diseño del Máster en Cognición (Filosofía, Lógica y Lingüística), realizado por un equipo de tres universidades coordinado por A. Nepomuceno. Se organizará la tarea de la persona titular de la beca adscrita al proyecto de manera que la tesis sea codirigida por Hans van Ditmarsch y otro de los componenentes del equipo. Con respecto a las relaciones con el EPO (Natural Language), cuyo interés hemos captado para este proyecto, mantendremos una relación fluida de comunicación con su Departamento de I+D+I y al menos anualmente propondremos la celebración de un seminario conjunto para la presentación de los resultados que se vayan obteniendo y captación de sus preocupaciones, problemas y necesidades de conocimiento. Se pondrá esta experiencia al servicio de la comunidad investigadora, especialmente de ámbitos humanísticos, a partir de la mencionada plataforma. El plan comprende dos clases de actividades: 1. Secuenciales, dispuestas a lo largo del período de ejecución del proyecto, para el logro de los objetivos propuestos y la integración de los resultados logrados. Se estructura así el siguiente cronograma: en el primer año se tendrán muy avanzadas la descripción de protocolos criptográficos de cartas de longitud finita arbitraria (primer objetivo concreto) y las verificaciones de propiedades de protocolos en buscadores existentes (segundo objetivo concreto. En el segundo, además de completar los anteriores, se habrá logrado un desarrollo suficiente de protocolos para sistemas interpretados (tercer objetivo concreto) y se comenzará a incorporar dinámicas 1011 complejas (cuarto objetivo concreto). En el tercero se completarán las tareas pendientes y se incorporarán métodos de expansión y revisión abductiva, como último objetivo concreto. A partir de aquí, pasará a un primer plano el análisis teórico-informativo de protocolos y la integración de los distintos logros con vistas a la consecución de los objetivos globales planteados. Los grupos de tareas que se indican más abajo se irán integrando a lo largo de todas estas etapas. 2. Transversales, referidas a la comunicación, difusión y publicación de los resultados, y se intercalarán en las anteriores a lo largo del período de ejecución del proyecto, teniendo en cuenta consideraciones de priorización y adecuación al curso de la investigación: la comunicación de información, intercambio de ideas y discusión interna en las áreas de trabajo destacarán en los primeros momentos de la ejecución del proyecto, mientras que la presentación de resultados, su publicación y nuevas propuestas, se irán incrementando en momentos posteriores. Se organizarán las tareas con la participación de todos los componentes del equipo, si bien para optimizar el rendimiento del equipo, cada uno de los grupos de tareas y actividades tendrá un responsable de su coordinación y desarrollo, según se esquematiza a continuación Grupos de tareas Protocolos incondicionalmente seguros: H. van Ditmarsch Lógica epistémica dinámica: H. van Ditmarsch Verificación de modelos: F. Soler Abducción: A. Aliseda Otras actividades Coordinación general: A. Nepomuceno Temas de lógica clásica: A. Cordón Temas de lógicas no clásicas: D. Fernández Temas lingüísticos: F. J. Salguero 4. Resultados esperados y plan de difusión Los resultados esperados vienen determinados, en primera instancia, por los objetivos marcados. Hemos fijado cinco objetivos concretos cuya consecución implica otros tantos resultados, a saber Descripciones de protocolos de longitud finita arbitraria Verificación de las principales propiedades de ciertos protocolos existentes: protocolos en buscadores de modelos epistémicos 1112 Desarrollo de protocolos para sistemas interpretados Resultados obtenidos de la incorporación de dinámicas complejas en protocolos Los resultados de la incorporación de métodos propios de lógicas abductivas, más concretamente, los métodos de expansión y revisión abductiva En cuanto al logro de los objetivos finales, estos nos llevarán a ver si los protocolos que son pensados como seguros se tornan inseguros cuando el comportamiento estratégico de agentes se tiene también en cuenta. En otras palabras, si tales protocolos se muestran como filtros de información cuando se aplica teoría de juegos. Asimismo, y en último término, ver si nuevos protocolos para grupos que constan de más de dos agentes (es decir, más que un emisor y un receptor) encuentran su sitio desde la comunidad investigadora hasta el lugar marcado, o si las alternativas incondicionalmente seguras llegan a ser aceptables para protocolos basados en complejidad estándar. Se alcanzarán nuevas perspectivas en la elaboración de marcos lógicos del conocimiento y la acción. Podemos considerar otros rendimientos y beneficios esperables de máxima importancia, que resumimos a continuación De orden teórico y conceptual: el análisis de conceptos clave en las lógicas epistémicas y dinámicas utilizadas, así como en aplicaciones de conocimiento lingüístico y tratamiento lógico de problemas abductivos y sus repercusiones, tanto de índole epistemológico como filosófico De carácter disciplinario: nuevas orientaciones en el estudio de protocolos de seguridad y nuevos contenidos dirigidos a la adquisición de habilidades y competencias en diversos estudios superiores (Filosofía, Lingüística y Ciencias de la Computación) De carácter interdisciplinario: en conexión con lo anterior, en estudios de ámbitos tanto de ingeniería del conocimiento como lógicos, lingüísticos y humanísticos en general. Fijación de los pilares básicos para la elaboración de un programa de postgrado en el que, sin perder sus raíces humanísticas, se alcance un nivel de investigación básica comparable al de otros ámbitos teóricos científicos De carácter institucional y social. Consolidación del grupo de trabajo: el núcleo inicial ha venido desarrollando su actividad con varios proyectos en el emergente campo interdisciplinar mencionado de Lógica, Lenguaje e Información y con el presente proyecto se conseguirá la ampliación y consolidación de un equipo de trabajo especializado en dicho campo, su definitiva internacionalización y logro del máximo nivel de competitividad. Asimismo, se establecerá una línea de comunicación con el mundo empresarial, propiciando un modelo de actuación paradigmático para otros grupos de investigación en ámbitos humanísticos. 1213 Interrelaciones: como complemento de lo anterior, reforzamiento de relaciones con otros grupos que trabajan en lógica y en otros campos afines, tanto en Andalucía como en el resto de España y la U. E. Se propiciará la creación de una Red de Lógica y Lenguaje en Andalucía, con las conexiones recomendables a nivel nacional e internacional, en línea con las del grupo inicial y su potenciación con la incorporación del investigador de reconocido prestigio a nivel mundial Teniendo en cuenta que las publicaciones son el medio de difusión más importante de los resultados obtenidos en la investigación básica, el plan de presentación y difusión de resultados tiene en cuenta que los principales foros serán las presentaciones en congresos de prestigio, así como la publicación en revistas internacionales especializadas. Naturalmente, seguiremos la vía habitual: en primer lugar participación en seminarios y reuniones científicas de ámbito nacional donde se expondrán los resultados obtenidos en primera instancia, procurando así enriquecerlos, un mayor refinamiento en los modos de presentarlos y conocer otros puntos de vista con los comentarios de dictaminadores y los propios de la dinámica de la presentación misma. Tras esta foma de presentación de los primeros resultados, una vez mejorados en este proceso, se elaborarán versiones definitivas de los trabajos para su presentación en congresos internacionales y en revistas internacionales especializadas, poniendo una atención especial en buscar la publicación en revistas bien situadas en los indicadores de calidad (Philosopher s Index, Journal Citation Report, etc.) en las áreas propias de los temas del proyecto. Sin menoscabo de la actuación indicada, a partir del segundo año, se editará un anuario con las actuaciones y principales resultados, para su distribución (via intercambio) en los circuitos académicos. También recurriremos a la redacción de informes que pueden ser de interés para nuestro EPO; sobre ello, Natural Language cuenta en su web con algunos trabajos de investigación presentados en su momento en foros especializados. 5. Personal del equipo 5.1. Investigador de reconocido prestigio Hans van Ditmarsch. De formación filosófica y matemática, completó un MSc en 1986, Universidad de Utrecht. Desde entonces hasta 2001 impartió docencia principalmente en Holanda. In 1996 comenzó también su tesis doctoral en la Universidad de Groningen, bajo la supervisión de Joan van Benthem (Universidades de Amsterdam y Stanford) y Gerard Renardel. En su tesis doctoral, defendida en 2000, presentaba un lenguaje para lógica epistémica dinámica y aplicaciones de este lenguaje a la modelación de juegos. Es coautor (junto con J. van Benthem) del más importante manual holandés en el campo de Lógica, Lenguaje e Información. Impartió clases en la Universidad de Otago, Nueva Zelanda, en 2001, donde es profesor titular. En 2007 y 2008 está asimismo 13 Mostrar más
ASIGNATURA DE MÁSTER: TÉCNICAS DE SIMULACIÓN Curso 2015/2016 (Código:22201221) 1.PRESENTACIÓN La simulación es una de las técnicas más utilizadas en Metodología de las Ciencias del Comportamiento, y un Más detalles Programa de Doctorado en Economía Facultad de Ciencias Sociales Convocatoria 2013
1. INTRODUCCIÓN Programa de Doctorado en Economía Facultad de Ciencias Sociales Convocatoria 2013 El Programa de Doctorado en Economía está dirigido a la formación de profesionales de alto nivel de especialización Más detalles Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil
Nombre de la asignatura: Inteligencia Artificial Créditos: 2-2 - 4 Aportación al perfil Diseñar e implementar interfaces hombre- máquina y máquinamáquina para la automatización de sistemas. Identificar Más detalles Guía de Trabajo Final de Grado de los Estudios de Psicología
+ Guía de Trabajo Final de Grado de los Estudios de Psicología 2 Presentación... 3 I. Qué es el Trabajo Final de Grado (TFG)?... 3 II. Cuáles son los requisitos y recomendaciones para cursar el TFG?... Más detalles MASTER UNIVERSITARIO EN PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES
MASTER UNIVERSITARIO EN PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES UNIVERSIDAD DE VALENCIA 5.1 DESCRIPCIÓN DEL PLAN DE ESTUDIOS 5.1.1 Descripción general del plan de estudios Distribución del plan Más detalles COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO
COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO Junio de 2008 Presentación El documento Competencias Genéricas que Expresan el Perfil del Egresado de la EMS incluye las competencias Más detalles MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL
MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL Centro Responsable: Facultad de Ciencias Económicas y Empresariales Orientación: Investigadora y Profesional Especialidades: Análisis Económico. Más detalles MASTER EN CIBERNÉTICA APLICADA. Mención Minería de Datos
MASTER EN CIBERNÉTICA APLICADA. Mención Minería de Datos Tipo: investigación/mixto Promueve: Departamento de Control Automático, Departamento de Matemática Interdisciplinaria y Departamento de Matemática Más detalles Licenciatura en Sistemas de Información
Plan de Estudio Carrera Licenciatura en Sistemas de Información Universidad Nacional del Nordeste UNNE Octubre 2009 I. Denominación Denominación de la carrera: Licenciatura en Sistemas de Información Denominación Más detalles 2.- Su profesión está ligada a la carrera en la que aquí da clases? Licenciatura Ingeniería Total SI 21 18 39 NO 0 0 0 21 18 39
Resultados de la encuesta aplicada a los profesores de la Facultad de Ciencias de la Computación Comisión de Evaluación y Seguimiento Curricular Otoño 2008 1.- Tipo de contratación? TC 16 15 31 MT 3 2 Más detalles Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica
Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica C1. Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar Más detalles GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS
GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS La presente guía docente corresponde a la asignatura de Introducción a la Programación de Videojuegos y Gráficos (Videojuegos) del Más detalles MASTER OFICIAL DE PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES
UNIVERSITAT DE VALÈNCIA MASTER OFICIAL DE PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES ORGANISMO RESPONSABLE Departamento de Estadística e Investigación Operativa Facultad de Matemáticas Universidad Más detalles DOCTORADO EN CIENCIAS COMPUTACIONALES
DOCTORADO EN CIENCIAS COMPUTACIONALES Objetivos El programa de Doctorado en Ciencias Computacionales, tiene el propósito esencial de formar profesionales con las siguientes características: Amplio dominio Más detalles Opiniones sobre la profesión. Ingenio MATHEMATICA (i-math), un Proyecto Consolider
Boletín de Estadística e Investigación Operativa Vol. 25, No. 1, Febrero 2009, pp. 62-67 Opiniones sobre la profesión Ingenio MATHEMATICA (i-math), un Proyecto Consolider Ingenio MATHEMATICA (i-math), Más detalles Reflexiones en torno al Currículo para el Profesor de Matemáticas de Secundaria.
Reflexiones en torno al Currículo para el Profesor de Matemáticas de Secundaria. Prof. Luis Rico Departamento de Didáctica de la Matemática Universidad de Granada Logroño, enero 1997 Presentación dei problema: Más detalles SISTEMA DE GARANTÍA DE LA CALIDAD DE LOS PROGRAMAS DE DOCTORADO DE LA UNIVERSIDAD DE MÁLAGA
SISTEMA DE GARANTÍA DE LA CALIDAD DE LOS PROGRAMAS DE DOCTORADO DE LA UNIVERSIDAD DE MÁLAGA (Versión revisada del documento aprobado en el Consejo de Gobierno de la Universidad de Málaga de 16 de Diciembre Más detalles Guía docente de la asignatura PLANIFICACION Y CONTROL DE LA PRODUCCIÓN
Guía docente de la asignatura PLANIFICACION Y CONTROL DE LA PRODUCCIÓN Titulación: Master en Ingeniería Ambiental y de Procesos Químicos y Biotecnológicos Curso 2011/2012 Guía Docente 1. Datos de la asignatura Más detalles =drð^=al`bkqb= qfqri^`flkbp=ab=do^al=
=drð^=al`bkqb= qfqri^`flkbp=ab=do^al= TITULACIÓN: GRADO EN INGENIERÍA DE SISTEMAS DE INFORMACIÓN CURSO 2014/2015 ASIGNATURA: SIMULACIÓN Nombre del Módulo o Materia al que pertenece la asignatura. MÉDODOS Más detalles PROGRAMA CALIDADD PNPC CONSIDERANDO. innovación. humano de. artículo 42. fecha 1 de. (SEP), con. febrero de
PROGRAMA A NACIONAL DE POSGRADOS DE CALIDADD PNPC CONVOCATORIA 2015-2018 Posgrados con la Industria CONSIDERANDO 1. 2. 3. 4. 5. Que el Plan Nacional de Desarrollo PND 2013-2018, publicado en el Diario Más detalles SISTEMA DE UNIVERSIDADES ESTATALES DE LA COSTA CARIBE COLOMBIANA SUE CARIBE PROGRAMA MAESTRÍA EN CIENCIAS FÍSICA DOCUMENTO RESUMEN
SISTEMA DE UNIVERSIDADES ESTATALES DE LA COSTA CARIBE COLOMBIANA SUE CARIBE PROGRAMA MAESTRÍA EN CIENCIAS FÍSICA DOCUMENTO RESUMEN JUNIO 1 DE 2005 INFORMACIÓN BÁSICA DEL PROGRAMA INSTITUCION RED INSTITUCIÓN Más detalles PLAN DE ORIENTACIÓN Y ACCIÓN TUTORIAL (POAT) ESCUELA UNIVERSITARIA DE TURISMO IRIARTE (EUTI) 2012-2013
PLAN DE ORIENTACIÓN Y ACCIÓN TUTORIAL (POAT) ESCUELA UNIVERSITARIA DE TURISMO IRIARTE (EUTI) 2012-2013 RESUMEN DE REVISIÓN Edición Fecha Motivo de la modificación 01 Versión inicial 29 de Junio de 2012 Más detalles Programa 41 Transición del Grado al Máster
Programa 4. Transición del Grado al Máster Programa 4 Transición del Grado al Máster La nueva estructura de las enseñanzas universitarias en tres niveles oficiales reconocidos -Grado, máster y doctorado- Más detalles ENFOQUE DE LA INVESTIGACIÓN EDUCATIVA EN EL INSTITUTO POLITÉCNICO NACIONAL (IPN) DESDE EL ÁREA DE GOBIERNO
ENFOQUE DE LA INVESTIGACIÓN EDUCATIVA EN EL INSTITUTO POLITÉCNICO NACIONAL (IPN) DESDE EL ÁREA DE GOBIERNO PATRICIA CAMARENA GALLARDO / ESPERANZA LOZOYA MEZA RESUMEN: Los avances que aquí se presentan Más detalles Denominación de la materia. créditos ECTS = 36 carácter = OBLIGATORIA SISTEMAS OPERATIVOS, SISTEMAS DISTRIBUIDOS Y REDES
Denominación de la materia SISTEMAS OPERATIVOS, SISTEMAS DISTRIBUIDOS Y REDES créditos ECTS = 36 carácter = OBLIGATORIA Ubicación dentro del plan de estudios y duración La materia está formada por 6 asignaturas Más detalles CoNaIISI 2014 2do Congreso Nacional de Ingeniería Informática / Sistemas de Información
CoNaIISI 2014 2do Congreso Nacional de Ingeniería Informática / Sistemas de Información San Luis, 13 y 14 de Noviembre de 2014 LLAMADO A PRESENTACIÓN DE TRABAJOS El CoNaIISI es organizado por la red de Más detalles CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS
CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS 1 INTRODUCCIÓN 1.1 Justificación Esta investigación está motivada por el interés en lograr una mejor comprensión del papel que desempeña la creatividad dentro Más detalles Tecnologías de la Información en los Negocios
PRESENTACIÓN Hoy en día se hace necesario el manejo e intercambio de información para que las empresas sean más productivas, por un lado se requiere de profesionales que sean capaces de crear tecnología, Más detalles Verificado por el Consejo de Universidades Pendiente de autorización por la Comunidad Autónoma
PROGRAMA DE DOCTORADO EN TECNOLOGIAS INDUSTRIALES Y MATERIALES POR LA UNIVERSITAT JAUME I Verificado por el Consejo de Universidades Pendiente de autorización por la Comunidad Autónoma COORDINACIÓN DEL Más detalles 1.- DATOS DE LA ASIGNATURA. Nombre de la asignatura: Investigación de Operaciones. Carrera: Ingeniería en Sistemas Computacionales
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA 1 Investigación de Operaciones SCC-1013 2-2 - 4 Ingeniería en Sistemas Computacionales 2.- PRESENTACIÓN Más detalles Máster universitario de Gestión cultural orientación académica y de investigación UOC- UdG-UIB
Máster universitario de Gestión cultural orientación académica y de investigación UOC- UdG-UIB Un máster para la formación de nuevos perfiles en la gestión de la cultura Esta oferta responde a la necesidad Más detalles Expresión audiovisual en la docencia en Física. María Ángeles Pérez García
Expresión audiovisual en la docencia en Física María Ángeles Pérez García Departamento de Física Fundamental & IUFFyM, Universidad de Salamanca Edificio Trilingüe, Plaza de la Merced s/n, 37008, Salamanca Más detalles Todas estas actividades se desarrollan según el calendario siguiente: csv: 135224094070707925079351
4. Sistemas de información previa a la matriculación y procedimientos accesibles de acogida y orientación de los estudiantes de nuevo ingreso para facilitar su incorporación a la Universidad y a la titulación. Más detalles Programa de Criminología de la UOC. Prácticum
Programa de Criminología de la UOC Prácticum Presentación Descripción La asignatura en el conjunto del plan de estudios Campos profesionales en que se proyecta Conocimientos previos Objetivos y resultados Más detalles La formación del profesor novel a través de una experiencia Venezolana: El Programa de Generación de Relevo de la UPEL
La formación del profesor novel a través de una experiencia Venezolana: El Programa de Generación de Relevo de la UPEL Adnaloy Pardo Rojas María Isabel López Universidad Pedagógica Experimental Libertador Más detalles En verde están algunas propuestas que entendemos que faltan y que ayudarían a mejorar las fichas sustancialmente.
NOTAS ACLARATORIAS: Esta ficha de grado es la resultante de las dos reuniones celebradas (9 enero 2009 y 23 de febrero de 2009) por la subcomisión creada desde el MICIIN para debatir las fichas de Grado Más detalles ACUERDO DE ACREDITACIÓN Nº 252 CARRERA DE INGENIERÍA CIVIL EN COMPUTACIÓN E INFORMÁTICA, ACTUAL INGENIERÍA CIVIL INFORMÁTICA UNIVERSIDAD ANDRÉS BELLO
ACUERDO DE ACREDITACIÓN Nº 252 CARRERA DE INGENIERÍA CIVIL EN COMPUTACIÓN E INFORMÁTICA, ACTUAL INGENIERÍA CIVIL INFORMÁTICA UNIVERSIDAD ANDRÉS BELLO SANTIAGO Y VIÑA DEL MAR OCTUBRE 2014 ACUERDO DE ACREDITACIÓN Más detalles Indice. Justificación Objetivos Perfiles Áreas de Trabajo Plan de Estudios Grupos de Investigación Requisitos
Indice Justificación Objetivos Perfiles Áreas de Trabajo Plan de Estudios Grupos de Investigación Requisitos 5 6 7 9 10 Justificación Actualmente, la globalización de los mercados económicos y los adelantos Más detalles MÁSTER UNIVERSITARIO EN
MÁSTER UNIVERSITARIO EN Titulación oficial: Máster Universitario en Gestión de Procesos con Sistemas Integrados de Información por la Universidad Pública de Navarra Rama de conocimiento: Ciencias Sociales Más detalles Tema 3. MODELOS. 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas biológicos.
Tema 3. MODELOS 011 0 01 01 FUNDAMENTOS 1. Modelos computacionales. 2. Computación y Neurociencia. CONTENIDOS 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas Más detalles ACUERDO DE ACREDITACIÓN Nº 197 CARRERA DE PERSONAL TRAINER INSTITUTO PROFESIONAL AIEP SEDES VIÑA DEL MAR, CONCEPCIÓN Y SANTIAGO (BARRIO UNIVERSITARIO)
ACUERDO DE ACREDITACIÓN Nº 197 CARRERA DE PERSONAL TRAINER INSTITUTO PROFESIONAL AIEP SEDES VIÑA DEL MAR, CONCEPCIÓN Y SANTIAGO (BARRIO UNIVERSITARIO) OCTUBRE 2013 ACUERDO DE ACREDITACIÓN Nº 197 Carrera Más detalles CARRERA DE PSICOLOGÍA SUMILLAS DE LAS ASIGNATURAS PRIMER SEMESTRE 2013-1
Facultad de Psicología Leopoldo Chiappo Galli Dirección de la Carrera de Psicología CARRERA DE PSICOLOGÍA SUMILLAS DE LAS ASIGNATURAS PRIMER SEMESTRE 2013-1 PRIMER AÑO I0145 - CIENCIAS SOCIALES Y PSICOLOGÍA Más detalles NEUROCIENCIA COGNITIVA, DESARROLLO Y EDUCACIÓN
1.PRESENTACIÓN ASIGNATURA DE MÁSTER: NEUROCIENCIA COGNITIVA, DESARROLLO Y EDUCACIÓN Curso 2015/2016 (Código:22203053) La Neurociencia Cognitiva es una disciplina que surge como resultado de la aparición Más detalles "LA TUTORIA A TRAVES DE TÉCNICAS VIRTUALES DE APRENDIZAJE SIGNIFICATIVO EN LA ASIGNATURA DE ESTRUCTURA DE DATOS EN EL INSTITUTO POLITECNICO NACIONAL.
- 1 - "LA TUTORIA A TRAVES DE TÉCNICAS VIRTUALES DE APRENDIZAJE SIGNIFICATIVO EN LA ASIGNATURA DE ESTRUCTURA DE DATOS EN EL INSTITUTO POLITECNICO NACIONAL. M. EN C. BEATRIZ DOLORES GUARDIAN SOTO INSTITUTO Más detalles EL METODO DE CASOS: EN QUE CONSISTE EL METODO DE CASOS?
EL METODO DE CASOS: El método de casos enseña basado en casos, instala al participante dentro de una situación real y le da la oportunidad de dramatizar sus propios enfoques y sus decisiones, lo cual lo Más detalles NORMATIVA DEL CENTRO SOBRE EL TRABAJO FIN DE GRADO
NORMATIVA DEL CENTRO SOBRE EL TRABAJO FIN DE GRADO Escuela Universitaria de Enfermería de Vitoria-Gasteiz Curso Académico 2015/2016 Elaborado por la Comisión de Trabajo Fin de Grado Aprobado por la Junta Más detalles Guía Docente del Trabajo de Fin de Grado
Guía Docente del Trabajo de Fin de Grado Centro: Facultad de Ciencias Sociales y de la Comunicación Titulación: Grado en Publicidad y Relaciones Públicas Curso académico: 2013/14 Curso: 4 Duración: 12 Más detalles Denominación de la materia. N créditos ECTS = 36 carácter = OBLIGATORIO SISTEMAS DE SOFTWARE. Ubicación dentro del plan de estudios y duración
Denominación de la materia SISTEMAS DE SOFTWARE N créditos ECTS = 36 carácter = OBLIGATORIO Ubicación dentro del plan de estudios y duración La materia Sistemas de Software está formada por 6 asignaturas Más detalles Guía docente de la asignatura DIRECCIÓN DE MARKETING I 2º CURSO DEL GRADO EN MARKETING E INVESTIGACIÓN DE MERCADOS
Guía docente de la asignatura Asignatura Materia CÁLCULO INFINITESIMAL Cálculo Diferencial e Integral y Funciones de Variable Compleja Módulo Titulación Grado en Matemáticas/ Doble Grado en Matemáticas Más detalles Seguridad matemática en la Sociedad de la Información
Pino T. Caballero Gil Profesora Titular de Ciencias de la Computación e Inteligencia Artificial Departamento de Estadística, Investigación Operativa y Computación Universidad de La Laguna Introducción Más detalles Guía docente de la asignatura Gestión del Mantenimiento
Guía docente de la asignatura Gestión del Mantenimiento Titulación: Master en Ingeniería Ambiental y de Procesos Químicos y Biotecnológicos Curso 2011/2012 Guía Docente 1. Datos de la asignatura Nombre Más detalles CATEGORIAS Cursos, herramientas y recursos basados en la Web y metodologías de utilización de las TIC s en el contexto educativo.
UNA EXPERIENCIA DE DESARROLLO UTILIZANDO TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN: Sitio Web para la Enseñanza y el Aprendizaje del tema Límites y Continuidad Máster Enrique Vílchez Quesada Escuela de Más detalles Técnicas para la elaboración de pruebas para la medición del aprendizaje Í T U L O TEMAS Y SUBTEMAS: OBJETIVOS: CAPÍTULO 8 219
Técnicas para la elaboración de pruebas para la medición del aprendizaje TEMAS Y SUBTEMAS: 8.1. Tipo de preguntas para la elaboración de pruebas 8.1.1. Preguntas de respuesta libre 8.1.2. Preguntas de Más detalles COMPETENCIAS GRADO EN INGENIERÍA TELEMÁTICA
COMPETENCIAS GRADO EN INGENIERÍA TELEMÁTICA COMPETENCIAS BÁSICAS Según lo establecido en el R.D. 1393/2007 de 29 de octubre, se garantizaran, como mínimo las siguientes competencias básicas, en el caso Más detalles BARCELONA INTERNATIONAL MANAGEMENT BUSINESS SCHOOL EXECUTIVE MÁSTER EN BUSINESS ADMINISTRATION
EXECUTIVE MÁSTER EN BUSINESS ADMINISTRATION FICHA TÉCNICA DEL MÁSTER TITULACIÓN Nombre del programa: Executive Master en Business Administration Año académico: 2012-2013 Ficha del comienzo de las clases: Más detalles ESTADÍSTICA (ING.INFORMÁTICA/ING.TI)
ASIGNATURA DE GRADO: ESTADÍSTICA (ING.INFORMÁTICA/ING.TI) Curso 2015/2016 (Código:7190105-) 1.PRESENTACIÓN DE LA ASIGNATURA Esta asignatura es una introducción a la Modelización probabilística, la Inferencia Más detalles Sección 1. Naturaleza jurídica, objetivos y funciones. Artículo 1. Naturaleza jurídica.
REGLAMENTO DE RÉGIMEN INTERNO DE LA ESCUELA DE DOCTORADO STUDII SALAMANTINI (Aprobado en el Consejo de Gobierno de 30 de noviembre de 2011 y modificado en la sesión del Consejo de Gobierno de 29 de enero Más detalles ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS
CUALIFICACIÓN PROFESIONAL ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS NIVEL DE CUALIFICACIÓN: 3 ÁREA COMPETENCIAL: INFORMATICA ÍNDICE 1. ESPECIFICACIÓN DE COMPETENCIA...3 1.1. COMPETENCIA GENERAL...3 1.2. Más detalles PLAN DE GESTIÓN DE LA CALIDAD DOCENTE DE LOS CENTROS ACREDITADOS PARA LA FORMACIÓN SANITARIA ESPECIALIZADA
LOS CENTROS ACREDITADOS PARA LA FORMACIÓN SANITARIA ESPECIALIZADA Elaborado por: Subdirección General de Ordenación Profesional Oficina de Planificación Sanitaria y Calidad Pág. 1 de 23 1 Presentación Más detalles Diseño de un Sistema de Control de Gestión para la Facultad de Ingeniería, Ciencias y Administración de la Universidad de La Frontera
Diseño de un Sistema de Control de Gestión para la Facultad de Ingeniería, Ciencias y Administración de la Universidad de La Frontera Marco Antonio Rojas Vasquez 1 1 Ingeniero Civil Industrial m/ Informática, Más detalles ACUERDO NO. POR EL CUAL SE INSTITUCIONALIZA LA REVISTA CIENCIA E INGENIERÍA, PUBLICACIÓN CIENTÍFICA DE LA UNIVERSIDAD DE LA GUAJIRA
ACUERDO NO. POR EL CUAL SE INSTITUCIONALIZA LA REVISTA CIENCIA E INGENIERÍA, PUBLICACIÓN CIENTÍFICA DE LA UNIVERSIDAD DE LA GUAJIRA El CONSEJO SUPERIOR DE LA UNIVERSIDAD DE LA GUAJIRA En uso de sus facultades Más detalles - Capacidad para dirigir las actividades objeto de los proyectos del ámbito de la informática de acuerdo con los conocimientos adquiridos.
Competencias generales - Capacidad para concebir, redactar, organizar, planificar, desarrollar y firmar proyectos en el ámbito de la ingeniería en informática que tengan por objeto, de acuerdo con los Más detalles El programa de Maestría esta aprobado por el CONESUP mediante Resolución RCP.S12.No.139.07 de Mayo 31 del 2007.
PROGRAMA DE MAESTRÍA EN GERENCIA DE TECNOLOGÍAS DE LA INFORMACIÓN. Resolución del CONESUP: RCP.S12.No.139.07 de Mayo 31 de 2007 FACULTAD DE INGENIERÍA PRESENTACIÓN La Pontificia Universidad Católica del Más detalles Asociación Española de Ingeniería Mecánica. XV Reunión Nacional de Profesores de Ingeniería Mecánica y de Vehículos
Asociación Española de Ingeniería Mecánica Conocimientos y capacidades para el Cálculo, Diseño y Ensayo de Máquinas en los títulos de Grado y Capacidad para el Diseño y Ensayo de Máquinas en los títulos Más detalles 3. OBJETIVOS. 3.1. Objetivos. Objetivos generales del título. Objetivos específicos del título
3. OBJETIVOS 3.1. Objetivos Objetivos generales del título De acuerdo con lo establecido en el Libro Blanco y el acuerdo del plenario de la Conferencia de Directores y Decanos de Informática (Zaragoza, Más detalles Grado en Ingeniería Informática
Grado en Ingeniería Informática Competencias Generales y trasversales De acuerdo con la resolución del Consejo de Universidades de fecha 3 de marzo de 2009, para obtener este título de grado en ingeniería Más detalles 9. SISTEMA DE GARANTÍA DE CALIDAD MÁSTER UNIVERSITARIO EN FORMACIÓN DEL PROFESORADO DE ESO Y BACHILLERATO, FP Y ENSEÑANZAS DE IDIOMAS CES
9. SISTEMA DE GARANTÍA DE CALIDAD MÁSTER UNIVERSITARIO EN FORMACIÓN DEL PROFESORADO DE ESO Y BACHILLERATO, FP Y ENSEÑANZAS DE IDIOMAS CES Don Bosco -Centro Adscrito a la Universidad Complutense de Madrid Más detalles PLAN DE ACTIVIDADES FORMATIVAS. A continuación se ofrece un resumen de los contenidos de las actividades formativas que se incluyen en el Programa.
PROGRAMA DE DOCTORADO EN INGENIERÍA AGRARIA, ALIMENTARIA, FORESTAL Y DEL DESARROLLO RURAL SOSTENIBLE POR LA UNIVERSIDAD DE CÓRDOBA Y LA UNIVERSIDAD DE SEVILLA PLAN DE ACTIVIDADES FORMATIVAS A continuación Más detalles Departamento de Postgrado y Especialización (DPE) Plan Estratégico
Departamento de Postgrado y Especialización (DPE) Plan Estratégico PLAN DE ACTUACIÓN 2006 2009 CONSEJO SUPERIOR DE INVESTIGACIONES CIENTÍFICAS Departamento de Postgrado y Especialización (DPE) Plan Estratégico Más detalles Elecciones a Director del Departamento de Informática y Sistemas Programa electoral
UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA Elecciones a Director del Departamento de Informática y Sistemas Programa electoral Candidatura de Carmelo Rubén García Rodríguez, Agustín Trujillo Pino y Gabino Más detalles Calidad de las guías docentes y adecuación a lo dispuesto en el proyecto de titulación
Informe de evaluación de la calidad y los resultados de aprendizaje Especialización e Investigación en Derecho Calidad de las guías docentes y adecuación a lo dispuesto en el proyecto de titulación Tomando Más detalles FUNDACIÓN UNIVERSITARIA SAN MARTÍN UNIVERSIDAD ABIERTA, DISTANCIA Y VIRTUAL
DE: COMITÉ DE INVESTIGACIÓN ASUNTO:. DIRIGIDO A: Estudiantes de décimo semestre que aspiren a Trabajo de Grado como opción para la obtención del título profesional. La FECHA PARA ENTREGAR los anteproyectos Más detalles CoNaIISI 2013 1er Congreso Nacional de Ingeniería Informática / Sistemas de Información
CoNaIISI 2013 1er Congreso Nacional de Ingeniería Informática / Sistemas de Información Córdoba, 21 y 22 de Noviembre de 2013 CALL FOR PAPERS El CoNaIISI es organizado por RIISIC, la red de Ingeniería Más detalles TAREAS DE APOYO AL PROCESO TÉCNICO Y SERVICIO EN SALA. Mª Cruz Hermida
TAREAS DE APOYO AL PROCESO TÉCNICO Y SERVICIO EN SALA Mª Cruz Hermida TAREAS DE APOYO AL PROCESO TÉCNICO Y SERVICIO EN SALA Curso para Técnicos Auxiliares de la BUC (Febrero 2006) Prof. Mª Cruz Hermida Más detalles BARCELONA INTERNATIONAL MANAGEMENT BUSINESS SCHOOL MÁSTER MARKETING DIGITAL Y COMERCIO ELECTRÓNICO
MÁSTER MARKETING DIGITAL Y COMERCIO ELECTRÓNICO CARTA DE LA DIRECTORA ACADÉMICA Tener éxito en las iniciativas de Comercio Electrónico y en las comunicaciones de Marketing Online se ha convertido en una Más detalles GOBIERNO DEL LIC. DANILO MEDINA
Desarrollo de la Carrera Docente y formación de Directores Ministerio de Educación De Los Santos, Saturnino Esta meta inicia el lunes, enero 07, 2013 y tiene como fecha esperada de finalización el domingo, Más detalles LAS NUEVAS HABILIDADES Y COMPETENCIAS DEL BIBLIOTECARIO
LAS NUEVAS HABILIDADES Y COMPETENCIAS DEL BIBLIOTECARIO Dra. Patricia Ramos Fandiño Dra. Beatriz Rodríguez Sierra INTRODUCCIÓN: Los últimos 20 años han sido de trascendencia para el desarrollo de las ciencias Más detalles CONVOCATORIA E INSTRUCTIVO PARA PÚBLICACIÓN DE ARTÍCULOS
CONVOCATORIA E INSTRUCTIVO PARA PÚBLICACIÓN DE ARTÍCULOS PARTICIPA Apertura: 17 de Febrero hasta el 24 de Marzo del 2014 1 CONVOCATORIA E INSTRUCTIVO PARA PÚBLICACIÓN DE ARTÍCULOS EN LA REVISTA DERECHO Más detalles LICENCIATURA EN COMUNICACIÓN
LICENCIATURA EN COMUNICACIÓN A) MISIÓN Formar, mediante procesos flexibles de enseñanza y aprendizaje, profesionales en comunicación, emprendedores, comprometidos con la región y el mundo, capaces de atender, Más detalles GRADO EN INGENIERÍA EN ELECTRÓNICA INDUSTRIAL Y AUTOMÁTICA
COMPETENCIAS DEL GRADO EN: COMPETENCIAS GRADO EN INGENIERÍA EN ELECTRÓNICA INDUSTRIAL Y AUTOMÁTICA A continuación se enumeran las 17 competencias (tanto las 11 específicas de la titulación como las 6 generales) Más detalles GLOSARIO DE TERMINOLOGIA SOBRE SISTEMAS DE GESTIÓN DE LA CALIDAD
GLOSARIO DE TERMINOLOGIA SOBRE SISTEMAS DE GESTIÓN DE LA CALIDAD Terminología general: 1. Producto: resultado de un proceso. 2. Proceso: conjunto de actividades mutuamente relacionadas o que interactúan, Más detalles MÁSTERES UNIVERSITARIOS Y DOCTORADO EN LA EUITI (UPM)
MÁSTERES UNIVERSITARIOS Y DOCTORADO EN LA EUITI (UPM) Curso 2012-2013 Javier Albéniz Montes Director en funciones EUITI 9 de octubre de 2012 1 SITUACIÓN EUITI - UPM Escuela Universitaria de Ingeniería Más detalles INSTITUTO TECNOLÓGICO DE QUERÉTARO DIVISIÓN DE ESTUDIOS DE POSGRADO E INVESTIGACIÓN PLAN DE MEJORA
2014, Año de Octavio Paz INSTITUTO TECNOLÓGICO DE QUERÉTARO DIVISIÓN DE ESTUDIOS DE POSGRADO E INVESTIGACIÓN PLAN DE MEJORA pág. 1 INTRODUCCIÓN El momento actual que viven las organizaciones les demanda Más detalles 9. SISTEMA DE GARANTÍA DE CALIDAD MASTER UNIVERSITARIO EN ECONOMÍA INTERNACIONAL Y DESARROLLO Universidad Complutense de Madrid
9. SISTEMA DE GARANTÍA DE CALIDAD MASTER UNIVERSITARIO EN ECONOMÍA INTERNACIONAL Y DESARROLLO Universidad Complutense de Madrid 9.1. Responsables del sistema de garantía de calidad (SGIC) El máximo responsable Más detalles Metodología Pedagógica.
Master in Business Administration (MBA) El programa Master in Business Administration - MBA se desarrolla desde la perspectiva de la integración del directivo o empresario en el rol de los negocios de Más detalles El recurso humano como principal activo de la empresa
Nota de tapa El recurso humano como principal activo de la empresa Por Rubén Caligari Una organización inteligente es aquella que frente a un entorno complejo y cambiante reacciona rápidamente, gestionando Más detalles MÁSTER Y DOCTORADO EN LÓGICA Y FILOSOFÍA DE LA CIENCIA. Distinguido por la ANECA con la MENCIÓN DE CALIDAD DOCENCIA SEMIPRESENCIAL
MÁSTER Y DOCTORADO EN LÓGICA Y FILOSOFÍA DE LA CIENCIA http://epimenides.usal.es http://www.usal.es Distinguido por la ANECA con la MENCIÓN DE CALIDAD DOCENCIA SEMIPRESENCIAL Títulos que se pueden obtener: Más detalles 2. JUSTIFICACIÓN. csv: 153918376167517228629908
2. JUSTIFICACIÓN Justificación, adecuación de la propuesta y procedimientos. 2.1 Justificación del título propuesto, argumentando el interés académico, científico o profesional del mismo. El título propuesto Más detalles Guía docente de la asignatura Innovación docente: enseñanza virtual
Guía docente de la asignatura Innovación docente: enseñanza virtual Titulación: Master en Ingeniería Ambiental y de Procesos Químicos y Biotecnológicos Curso 2011/2012 Guía Docente 1. Datos de la asignatura Más detalles DESARROLLO PROFESIONAL DE DOCENTES Y DIRECTIVOS DOCENTES EN COLOMBIA
Johana Andrea TORRES DIAZ Especialista, Colombia DESARROLLO PROFESIONAL DE DOCENTES Y DIRECTIVOS DOCENTES EN COLOMBIA El desarrollo profesional de docentes y directivos docentes en el marco de la política Más detalles Estatuto de Auditoría Interna
Febrero de 2008 Introducción Mediante el presente Estatuto, se pone en conocimiento de toda la Organización la decisión del Consejo de Administración de Grupo Prosegur de implantar a nivel corporativo Más detalles GUÍA DOCENTE TITULACIONES DE GRADO
GUÍA DOCENTE TITULACIONES DE GRADO TITULACIÓN: GRADO EN INGENIERIA INFORMATICA DE SISTEMAS DE INFORMACIÓN CURSO 2015/2016 ASIGNATURA: MINERÏA DE DATOS Nombre del Módulo o Materia al que pertenece la asignatura. Más detalles CARTA DESCRIPTIVA Código: FO-MI-108 Versión: 3 Fecha: 25-10-2013
CARTA DESCRIPTIVA Código: FO-MI-108 Versión: 3 Fecha: 25-10-2013 1. PRESENTACIÓN FACULTAD: Ingenierías PROGRAMA: Ingeniería de sistemas NOMBRE DEL CURSO: Matemáticas discretas PLAN DE ESTUDIOS: IS01 CRÉDITOS Más detalles INFORMATIVO CURRICULAR: INGENIERÍA EN BIOTECNOLOGÍA AMBIENTAL
INFORMATIVO CURRICULAR: INGENIERÍA EN BIOTECNOLOGÍA AMBIENTAL 1. DEFINICIÓN E IMPORTANCIA DE LA CARRERA: La carrera de Ingeniería en Biotecnología Ambiental es una confluencia de disciplinas formales y Más detalles SISTEMAS DE BASES DE DATOS
ASIGNATURA DE GRADO: SISTEMAS DE BASES DE DATOS Curso 2015/2016 (Código:71013041) 1.PRESENTACIÓN DE LA ASIGNATURA En la actualidad las bases de datos son parte esencial en el quehacer humano, es por ello Más detalles Programación de Psicología (1º de bachillerato) Sentido y significado de la Psicología en el Bachillerato
1 Programación de Psicología (1º de bachillerato) Sentido y significado de la Psicología en el Bachillerato La Psicología se presenta como una materia apropiada para ser introducida en el Bachillerato. Más detalles EVALUACIÓN SOBRE LA PROPUESTA DE MODIFICACIÓN DE PLAN DE ESTUDIOS
FECHA: 27/07/2012 EXPEDIENTE Nº: 4348/2011 ID TÍTULO: 4312799 EVALUACIÓN SOBRE LA PROPUESTA DE MODIFICACIÓN DE PLAN DE ESTUDIOS Denominación del Título Universidad solicitante Universidad/es participante/s Más detalles Taxonomía de los principales temas de I A Por: Luis Guillermo Restrepo Rivas
Taxonomía de los principales temas de I A Por: Luis Guillermo Restrepo Rivas 1. DEFINICIONES, UBICACIÓN CONCEPTUAL E HISTORIA DE LA I.A. 2. COMPLEJIDAD COMPUTACIONAL, EXPLOSIÓN COMBINATORIA, DOMINIOS NO Más detalles Capítulo 1 Introducción y Metodología de Investigación
Capítulo 1 Introducción y Metodología de Investigación Los mercados de moda tienen un comportamiento muy poco convencional. En primer término se trata de un mercado de lujo en el que se intercambian bienes Más detalles 2017 © DocPlayer.es Política de privacidad | Condiciones del servicio | Feedback

References: resolución 
 resolución 
 artículo 42
 Artículo 1
 Resolución 
 Resolución 
 resolución