Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado

Proyecto de una dinamo de inducido dentado e inductor multipolar en derivación, de 100 kv de potencia y de una diferencia de potencial en las terminales de 250 V.

Proyecto de una dinamo de inducido dentado e inductor multipolar en derivación, de 100 kv de potencia y de una diferencia de potencial en las terminales de 250 V.

Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Derivación formal y alcance de la responsabilidad

Análisis del procedimiento y alcance de la derivación de la responsabilidad tributaria en relación a los derechos y garantías del contribuyente.

Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado

Incidencia de ventriculitis relacionada a sistemas de derivación externa en el servicio de neurocirugía del Hospital General del Instituto Salvadoreño del Seguro Social. Enero 2013 a Diciembre 2014

El presente trabajo de investigación tiene como finalidad evaluar la incidencia de ventriculitis así como los agentes patógenos asociados en aquellos pacientes con ventriculostomía ingresados en el servicio de neurocirugía del Instituto Salvadoreño del Seguro Social (ISSS) durante el periodo de enero de 2013 a diciembre 2014. La metodología será la recopilación de datos a través de la revisión de expedientes clínicos de pacientes ingresados en el servicio de neurocirugía que hayan sido ingresados durante el periodo de enero 2013 a diciembre 2014; y que además se les haya realizado ventriculostomía dentro de las instalaciones de la institución. Con los datos obtenidos se podrá establecer la incidencia de paciente con dicha infección, así como la flora bacteriana asociada. Será de suma importancia el resultado de datos para poder contribuir al registro estadístico de la institución, ya que la previa instrumentalización y la aplicación de sistemas derivativos ventriculares expone al paciente a correr riesgos inherentes al procedimiento quirúrgico, a saber: daño hipotalámico, sangrado, infecciones, déficit neurológico, convulsiones, obstrucción del sistema y hasta la muerte. Al finalizar la investigación se podrá contribuir con la incidencia y conocer la flora bacteriana más común asociada, para ulteriormente poder recomendar que medidas preventivas para evitar dichas infecciones deben ser fortalecidas y la actualización en el cuidado del paciente con derivaciones ventriculares externas.

Método de derivación e integración de orden arbitrario en el modelado mecánico y dieléctrico de materiales poliméricos

En este trabajo se presenta el desarrollo de un Modelo Fraccional Mecánico y un Modelo Fraccional Dieléctrico, con la finalidad de describir las manifestaciones mecánicas y dieléctricas de la viscolesticidad de un polímero semicristalino (PEN) que presenta 3 fenómenos de relajación.

Cistolitotomía percutánea en paciente con derivación urinaria compleja tipo mitrofanoff

Los cálculos vesicales son los más frecuentes del tracto urinario bajo (1). El factor predisponente más frecuente para la formación de cálculos vesicales es la obstrucción del tracto de salida. Presentaremos el caso de una paciente con antecedente de trauma uretral por fractura de pelvis; derivada con un Mitrofanoff; con diagnostico de cistolitiasis múltiple con cálculos de hasta 1 cm. El objetivo es mostrar la posibilidad de manejo de la cistolitiasis vía percutánea en una paciente con una derivación urinaria compleja funcionante, procedimiento menos mórbido, con menor tiempo de recuperación y con resultados comparables a otras técnicas. Inicia el procedimiento previa cateterización del Mitrofanoff con sonda Foley 12Fr, realizando punción suprapúbica para mediana izquierda a 2 cm de la rama púbica con aguja Chiba, posteriormente se avanzó guía hidrofílica seguida de varilla y dilatadores secuenciales de Alken 9Fr-27Fr y colocación de camisa Amplatz 28 Fr. Se retiraron dilatadores conservando guía de seguridad, se extrajeron la totalidad de los cálculos. Se ocluyó herida y se dejó sonda Foley conectada a Cystoflo. Egreso al día 1 post operatorio y retiro sonda Foley a los 5 días post operatorio. No se presentaron complicaciones, el tiempo operatorio fue de 1 hora, con 1 día de estancia hospitalaria. Recuperación satisfactoria con un resultado exitoso en cuanto a la extracción completa de los cálculos en 1 sólo tiempo quirúrgico. La cistolitotomía percutánea es una opción de manejo la cual ofrece grandes ventajas. Debe ser considerada no sólo en pacientes con acceso uretral restringido.

El caso del cáncer avanzado del cuello uterino

Resumen: Se analiza el caso de una mujer de 42 años que padece un cáncer localmente avanzado de cuello uterino, asociado a una insuficiencia renal obstructiva, a la luz de las consideraciones éticas respecto al uso de los medios de preservación de la vida. Se discute la proporcionalidad y ordinariedad del uso de la derivación urinaria, en función de las condiciones clínicas evolutivas de estos pacientes.

La idea de “Nación” en el lenguaje político hispanoamericano, 1808-1814 : los límites monárquicos de la imaginación liberal

Resumen: Este trabajo aborda el concepto de Nación y otros relacionados con la noción de soberanía en el lenguaje político hispanoamericano para el período 1808-1814. Se analizan algunos trabajos que dan cuenta de los diversos significados asociados a este concepto en los procesos revolucionarios americano y español. Las distintas concepciones sostenidas por los actores sociales del período señalado se vinculan luego en perspectiva con su posible derivación como proyección de la Nación en la cultura constituyente de Cádiz.

Prudentia Iuris, 2000, n° 51 (número completo)

Contenido: Editorial – Romanística: Los aportes jurídicos de las “Noches Aticas” / Edmundo J. Carbone – Los riesgos de los viajeros en el Derecho Romano / Alfredo Gustavo Di Pietro – Derivación vulgar y bizantina del contrato estimatorio de Ulpiano / Alvaro DOrs – Derecho Internacional Privado: El contrato internacional de transporte de mercaderías a través de un sobrevuelo / Raúl Alberto Ramayo – La naturaleza de los tratados de extradición en los fallos de la Corte en los casos Priebke y Liendo Arriaga / Fernando Rolandelli – Las empresas de origen comunitario / María Luján Claro de Gandía – Derecho Ambiental Internacional / María Solange Jonas Aguilar – Régimen internacional de la propiedad inmaterial / Carlos J. Martínez Casado ; María Solange Jonas Aguilar – Derecho Internacional Público: El legado de Vietnam : la amenaza y el uso de la fuerza en la política exterior norteamericana / Hernando V. Cañardo – La personalidad jurídica de la soberana militar Orden de Malta / Juan Manuel Gramajo – Derecho Penal Internacional / Fernando Rolandelli – Documentos -- Recensiones

Migración descendente de esguines de Salmón Atlántico en el río Urumea: control de la población y factores ambientales

El objetivo de este estudio es realizar el control de la de la población de esguines de salmón atlántico en migración descendente al mar,y analizar dicha migración en un marco de parámetros hidrológicos. Para ello, se instaló un capturadero portátil en el canal de derivación de la Papelera Zikuñaga que permitiera capturar una parte de la población de esguines y poder así monitorizarla. Se estimó una población de esguines en migración mayor que en los últimos datos publicados para este emplazamiento, en 2011.

Programa de apoyo psicológico a inmigrantes: estudio de casos

419 p.

La derivada a la caratheodory, una nueva concepción en el aprendizaje y la enseñanza del calculo

A nivel educativo la noción de derivada se enseña en los cursos regulares de cálculo, pero por lo general, siempre en la forma en que fue definida por Cauchy, lo que implica un procedimiento se hace necesario hacer una factorización. Constantin Caratheodory establece una definición diferente. Esta definición presenta tres aspectos didácticos destacados: Nos muestra que el proceso de acercamiento de las pendientes de las secantes a la pendiente de la tangente es continuo y por tanto, la continuidad es esencial para la derivabilidad, la segunda parte se refiere a la facilidad de la derivación como un proceso de factorización repetitivo y no como cálculo de límites, así como simplicidad en la demostración de teoremas de linealidad, regla de la cadena, algebra de derivadas (suma, producto y cociente), aplicado a funciones polinómicas de valor real y la tercera es que a nivel escolar se generan alternativas en la enseñanza del cálculo a través de la implementación de conceptos nuevos, con el fin de evitar procedimientos tediosos que se tienen con las definiciones tradicionales como la de Cauchy.

Analisis de algunas tareas en torno a la noción de tasa media de variación y tasa instantánea de variación

En este trabajo presentamos el análisis de algunas tareas propuestas a estudiantes de grado 11 en torno a la noción de tasa media de variación y tasa instantánea de variación. La propuesta se diseño utilizando como metodología de investigación el aporte de la escuela francesa en torno a las situaciones didácticas de Brousseau y la ingeniería didáctica. Para el análisis de las tareas se utilizaron las unidades de análisis propuestas por Romero (1998) y Camargo (2001); estudio del contenido, estudio de la comprensión y análisis de la interacción didáctica.