Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Propuesta didáctica para el estudio de la música : Finlandia : Jean Sibelius : un poema sinfónico.

Resumen basado en el de la publicación

Para jugar como jugábamos : recuperación de los juegos tradicionales del suroccidente asturiano.

La bibliografía en la versión pdf de la publicación consta en p. 144 y el total de páginas es de 145

Dificultades y problemas en la enseñanza de la lengua española con alumnos marroquíes.

Se analizan separadamente los elementos que influyen en el aprendizaje del español por parte de los alumnos marroquíes, para conseguir una mejor integración social, un mayor rendimiento escolar en el resto de las materias y una rebaja de la tensión en el ambiente de convivencia en los centros escolares que atienden niños inmigrantes. La hipótesis básica de trabajo, que se ha visto confirmada por los datos obtenidos, es la existencia de problemas en la enseñanza y el aprendizaje de la lengua española causados por: el contraste intercultural, la influencia de la lengua materna de los alumnos y su formación previa, las deficiencias de los materiales didácticos utilizados, la falta de formación específica del profesorado y su insuficiente competencia intercultural, la necesidad de esfuerzos de adaptación por el entorno social, familiar y educativo del alumno. Se realiza una toma de datos selectiva sobre las dificultades específicas que encuentran los alumnos en la adquisición de la lengua española, con la toma de muestras de la producción lingüística de marroquíes hablando el español, con ayuda de cuestionarios elaborados al efecto y a través de entrevistas personales con profesores, con responsables de los centros educativos, con alumnos y con expertos, se dotan de los materiales de trabajo necesarios para poder diagnosticar las raíces del problema y aplicar mejor los remedios oportunos. El profesorado no manifiesta un especial conocimiento ante preguntas que investigan el nivel de conocimientos sobre el Islam y sus tradiciones, la cultura árabe y sus costumbres, la vida social de Marruecos, el mapa lingüístico de Marruecos y sus distintas etnias, el sistema educativo marroquí, etc. Excepto contados casos, la mayoría del profesorado apenas conoce las raíces culturales de sus alumnos marroquíes, y el desconocimiento del árabe es generalizado. Destaca el alto porcentaje de profesorado que no sabe si se llevan a cabo programas de atención con el alumnado emigrante para determinar el nivel de competencia en español, el grado de conocimientos que trae de Marruecos, el dominio de su lengua materna, etc. Sea cual sea el nivel de conocimientos previos que aporte el niño, no se ve que influya directa y estructuradamente en la adaptación curricular que se le prepare al niño, sino que todo queda un poco al sentido común del profesor.

Andrés Manjón y la formación del carácter.

Ofrecer una sistematización científica de la doctrina pedagógica de Andrés Manjón en relación con la formación del carácter, reconstruir su biografía desde la perspectiva pedagógica, así como cubrir los huecos existentes sobre las fuentes del pensamiento pedagógico manjoniano. Estudio de las raíces históricas del pensamiento educativo de Andrés Manjón profundizando sobre las fuentes históricas, sociales, económicas, etc. Estudio de las bases teórico-prácticas del pensamiento pedagógico y análisis del pensamiento educativo a través del estudio de sus principales escritos. Escritos manjonianos publicados, inéditos o manuscritos, y biografías. Confrontación entre los escritos de Andres Manjón y las obras pedagógicas que pudiese haber leído. Se han reconstruido etapas biográficas del autor que eran desconocidas, como la aparición de su vocación educativa y su paso de lo jurídico a lo pedagógico; se ofrece una síntesis histórica con los aspectos más destacados del ambiente sociocultural, político, religioso y pedagógico. Se demuestra que el centro de la pedagogía manjoniana es la formación del carácter; la voluntad y la rectitud moral juegan un papel importante en esta formación. Existe un programa con entidad propia de educación del carácter.

Andalucía cantada por los poetas.

El CEIP Manuel Pérez de Bollullos Par del Condado (Huelva) ha recibido el Primer Premio de Páginas Web Educativas de la Junta de Andalucía, y ha sido galardonado con la Medalla de Oro al Mérito Educativo

El Aula de teatro universitario: crisol de experiencias formativas y destrezas

Finalidad última de este trabajo es presentar el Aula de Teatro como una propuesta concreta para fomentar la partipación de los estudiantes en la vida universitaria. Para ello, tras una breve descripción de la actividad teatral en nuestra Facultad de Traducción e Interpretación (Universidad de Bolonia, sede de Forlì), analizaremos dos puestas en escena del grupo de teatro en español: Pez luna con cafetera (2001) y Pateras en la noche (2009). Estos dos ejemplos nos permitirán exponer nuestra metodología de trabajo, que ahonda sus raíces en los modelos de aprendizaje cooperativo y aprendizaje intergeneracional; por otro lado, nos ayudarán a reflexionar sobre qué consecuencias ha tenido, en la práctica del laboratorio teatral, la entrada en vigor de las reformas universitarias de 2001 y 2004. Esta travesía virtual por las experiencias compartidas antes y después del proceso de Bolonia nos conducirá a realizar un balance, con propiedad y rigor, de la experiencia teatral en nuestra Facultad. Este estudio comparativo pondera si las competencias y destrezas asumidas están en sintonía con los objetivos formativos específicos de la licenciatura en “Mediazione linguistica interculturale”, la cual se acoge a los descriptores de Dublín. Dicho balance, encaminado a detectar los beneficios para la comunidad universitaria, nos llevará a confirmar nuestro punto de partida: la formación continuada y el intercambio de experiencias que se dan en el Aula de Teatro estimula a los jóvenes universitarios, a través de su participación activa, a desarrollar las competencias genéricas y específicas necesarias para la vida académica y el futuro laboral

Las acciones populares en el derecho privado colombiano

La Universidad del Rosario e Iniciativa Gestión para los intereses ambientales y Públicos – iniciativa GESAP, colocan a disposición del publico la reimpresión del libro Las acciones populares en el derecho privado colombiano de German Sarmiento Palacio, abogado egresado de la Facultad de Jurisprudencia de esta Universidad. El doctor Sarmiento Palacio fue uno de los precursores del uso de las acciones populares en Colombia así como del debate alrededor de los derechos e intereses colectivos. En el décimo aniversario de su fallecimiento se quiere rendir un homenaje con la presente publicación. Este libro constituye un documento de gran valor académico para la evaluación de las acciones populares en Colombia y para el análisis de los intereses colectivos. El estudio histórico y comparado que rescata las raíces del medio de defensa en el derecho romano y contrasta las legislaciones de otros países sobre la institución judicial de protección y defensa de los derechos lectivos, así como el análisis de los apartes pertinentes del código civil, fue en su momento un precedente que alentó el usos de las acciones populares en Colombia. Ese carácter histórico y comparado del texto tiene plena vigencia en el país. Iniciativa GESAP nace de un grupo interdisciplinario convencido de la importancia de una organización que se dedique a la protección de los derechos e interés colectivos, así como de los derechos fundamentales en Colombia. Esta institución busca contribuir, desde un escenario amplio de discusión y reconociendo los aportes previos realizados en el tema, al desarrollo del derecho de interés publico. Iniciativa GESAP se inspira en la obra y vida de German Sarmiento Palacio y rescata y exalta su memoria como defensor de los derechos e intereses colectivos

La invasión latinoamericana : una estrategia para inmigrantes latinoamericanos en Estados Unidos y una hipótesis real para la integración de las Américas

He aquí un bueno libro para el gran debate sobre las migraciones que estremecen las raíces de los dos mundos, aquí los lectores encontrarán soluciones imaginativas para lograr una armonía funcionales en un nuevo equilibrio de fuerzas. Este libro, la invasión latinoamericana, es una obra importante muy elaborada, sin improvisaciones. Por eso, esta segunda edición actualizada, seguramente será tenida en cuenta por todos aquellos quienes, de una manera u otra, aspiramos a un futuro mejor para el continente.

Pensamiento republicano y derecho constitucional : el problema de la irreelegibilidad en las democracias contemporáneas

La reelegibilidad presidencial ha sido objeto en Colombia de una reforma constitucional. Sin embargo –lejos de ser un problema de nuestra Nación-, afecta las raíces de la democracia, como demuestran los estudios aquí recogidos. Tras la reelegibilidad subyace el punto fundamental que opone a dos formas de democracia: representativa y republicana. Para los primeros, en el Estado constitucional no cabe limitar el derecho del pueblo a elegir a sus representantes, único derecho que los hombres conservan tras el pacto. Para los partidarios de la República, la participación es un deber y la amenaza está en una profesionalización de la política, que desemboque en democracia sin ciudadanos. Estamos entonces ante unos de los interrogantes que se sitúan en las preocupaciones de los más relevantes pensadores de la época -Pocock, Skinner-: ¿podrá la política vencer a la fortuna?, ¿Cuándo la República esta amenazada por el triunfo de la sociedad financiera, de la mundialización y de la enajenación cívica del hombre, cabe construir una alternativa a la lógica del poder desde la lógica de política?. Este problema ha sido abordado por constitucionalistas europeos y colombianos, en un proyecto de investigación estructurado en dos partes. Primero, trabajos monográficos de Gomes Canotilho, Eloy García, Fernando Maura, Leandro Martínez Cardós, Eduardo Rozo, Francisco Bobillo. Giovanni Cordini y José Antonio Sarmiento, y de los colombianos Eduardo Cifuentes y Carlos Ariel Sánchez. Segundo, la transcripción de las actas de una discusión que tuvo lugar en octubre de 2006, en la que junto a la cuestión propuesta, se plantearon problemas como la distinción entre inelegibilidad e inhabilidad (incompatibilidad), los efectos de la irreelegibilidad en Colombia o su significado en la política norteamericana. La publicación en la Editorial Universidad del Rosario de este libro pone a disposición del lector colombiano una obra inédita en Europa, que recoge un material elaborado por un importante grupo de investigadores de primera línea, sobre un tema que hasta ahora carecía de bibliografía. Nadie que en lo sucesivo quiera pronunciarse sobre la reelegibilidad en Europa o en América podrá prescindir de los argumentos que aquí se exponen.

Premio bibliotecas CRA Alto Aller.

Se presenta el Proyecto de Biblioteca 'Echando raíces en tiempos de cambio' realizado por el Colegio Rural Agrupado Alto Aller (Levinco de Vega, Asturias), que ha recibido el Premio Nacional de Bibliotecas Escolares en el Concurso nacional de buenas prácticas para la dinamización e innovación de las bibliotecas, 2009, y se facilita el enlace al documento en formato pdf. Los objetivos fijados en la realización del proyecto han sido los siguientes: 1) Utilizar la biblioteca como recurso de apoyo para el aprendizaje permanente en todas las áreas y actividades del centro. 2) Impulsar la biblioteca como espacio de encuentro de todos los miembros de la comunidad educativa. 3) Desarrollar adecuadas prácticas lectoras y manejo crítico de diversos textos y mensajes en diferentes soportes y con diversas finalidades. 4) Desarrollar la comprensión y expresión oral conforme al momento evolutivo del alumnado, a través de la planificación de actividades en todas las áreas que requieran de su puesta en práctica. 5) Proporcionar emociones y disfrute con la lectura, la reflexión crítica y mayor riqueza en la construcción de significados, creando situaciones y ambientes en clase y en el centro que permitan la interacción entre el profesorado, los lectores y los propios textos, con el propósito de estimular el hábito de la lectura. 6) Descubrir en la comunidad educativa la sensibilidad literaria, cultivar su gusto y el placer de leer, compensando la falta de estímulos familiares, sociales o personales. 7) Estimular las habilidades de escritura con diferentes intenciones, como medio de expresión personal y participación en la comunidad escolar. 8) Poner a disposición del alumnado las técnicas y los recursos necesarios para trabajar y utilizar cualquier material bibliográfico en distintos soportes, tanto en papel como digital, creando oportunidades de buscar, seleccionar, analizar y reestructurar información con unos claros propósitos y con unos destinatarios definidos.

Alunizando, el magazine de los sesenta hoy. Una apuesta por una radio con magia

Alunizando, el magazine de los sesenta hoy, es un programa radial que pretende transportar al oyente a la época de su infancia y juventud, época de grandes transformaciones tanto para Colombia como para el mundo. Asimismo, busca indicar las causas o las raíces de los fenómenos y procesos que se viven hoy en día en el mundo. No sólo es un programa para los nostálgicos, sino también para aquellas personas interesadas en la historia, música, hechos y personajes de los sesenta, así como para quienes buscan una alternativa a los programas radiales convencionales. Al ser un magazine radial cuenta en su estructura con géneros periodísticos tales como: la noticia, el reportaje, la crónica, el perfil biográfico y un género dramático que es la radionovela.

Religiosidad islámica y reivindicación étnica : chiísmo afrocolombiano en Buenaventura

Más de 6.700 millones de habitantes tiene el planeta. Una cifra que, día a día, aumenta, así como el número de musulmanes que habitan en el mundo: 1.400 millones. Parece haber un pedazo de ellos en cada rincón de la tierra. Una realidad de la que Colombia no es ajena, pues en el país existen más de 15 mil profesos del Islam. Y, pese a lo que podría pensarse, viven en zonas tan importantes como Buenaventura. Allí, en el puerto de mayor importancia de Colombia sobre el Océano Pacífico, se halla una de las comunidades musulmanas más significativas del país. Es tan relevante que no sólo es la tercera más grande (después de Maicao y Bogotá), sino que su existencia se remonta a casi cuatro décadas. La comunidad musulmana de Buenaventura se diferencia de las restantes en Colombia y en América Latina porque está constituida totalmente por conversos al Islam o por sus descendientes, es decir, está conformada por nativos. Y como si esto no fuera suficiente, es la única comunidad predominantemente chiíta en el país, ya que en el resto de lugares el sunismo es la tendencia imperante (ver El Islam y el chiísmo). Además de estas interesantes características, esta comunidad se diferencia por ser la única colectividad musulmana del continente constituida, en su totalidad, por afrodescendientes. Debido a esto, la mezcla de elementos étnicos y religiosos hace del chiísmo de Buenaventura un caso singular y atrayente. Pese a todo, esta comunidad no ha sido objeto de un estudio profundo, salvo algunas anotaciones casi anecdóticas hechas por parte de investigadores de la afrocolombianidad. Por esta razón, investigadores del Centro de Estudios Teológicos y de las Religiones de la Universidad del Rosario emprendieron un viaje hacia Buenaventura y Cali para buscar y hallar datos, historias, y las raíces de esta comunidad musulmana afrocolombiana en el Pacífico. El propósito de este recorrido fue observar sus formas de organización, las instituciones y las estructuras sociales que han creado en torno a su fe común. De igual manera, buscó entender las complejas relaciones que se dan entre el factor étnico y la vivencia religiosa en un contexto nacional problemático, caracterizado por la pobreza y el conflicto.

Comparación de la severidad y extensión de la enfermedad coronaria multivaso por Syntax Score en una poblaciòn de las Antillas Holandesas vs controles nacionales

En la Enfermedad Coronaria (EC) existen factores genéticos, socioculturales, medioambientales y raciales adicionales a los factores de riesgo cardiovascular mayores que podrían influir en su presentación. Se desconoce el impacto de la raza en la severidad de la enfermedad coronaria en los pacientes extranjeros que son enviados a nuestro Servicio. Objetivos: Comparar la severidad de la EC multivaso en una población de pacientes de las Antillas y Nacionales, pareados por la escala Framingham. Metodología: Realizamos un estudio de corte transversal, comparando pacientes colombianos contra pacientes provenientes de las Antillas holandesas con similares factores de riesgo según escala de Framingham, catalogándolos por grupos de riesgo bajo, intermedio, alto y muy alto. Todos con EC severa multivaso documentada por angiografía coronaria desde enero del 2009 hasta Junio de 2011. Se excluyeron pacientes con antecedentes de intervención percutánea o quirúrgica previa. Resultados: Ingresaron 115 pacientes internacionales y 115 pacientes nacionales. La relación hombres/mujeres 3:1. La proporción de grupos de riesgo fue de bajo riesgo 2.5%, intermedio 15%, alto 19.3%, y muy alto 63.4%. El Syntax Score en pacientes nacionales fue 14.3+/-7.4 y en internacionales 22.2+/-10.5 p: 0.002. Conclusiones: En pacientes provenientes de las Antillas Holandesas, valorados en nuestra institución, se observó una mayor severidad de la enfermedad coronaria comparada con una población nacional con factores de riesgo similares. Estos hallazgos sugieren la influencia de la raza y factores genéticos en la severidad y extensión de la EC