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.

Familia y educación formal : implicación de la familia en el proceso de enseñanza-aprendizaje.

Examinar la importancia que concede la familia, padres e hijos, a la Educación Formal. Para ello analiza la implicación de los padres en el proceso de enseñanza-aprendizaje de los hijos explorando su conducta en algunas variables de proceso familiar relativas al estudio y sondea, al mismo tiempo, la conducta que los hijos esperan de ellos. Pretende identificar aspectos de proceso familiar relativos al estudio donde padres e hijos muestren concordancia y discrepancia. Alumnos de séptimo de EGB y sus padres de 4 centros públicos de Oviedo, de dos zonas diferenciadas de la ciudad, elegidos dentro de cada zona según la posibilidad de acceso a los mismos, por lo que la muestra no es aleatoria. El número de alumnos fue el de dos aulas pero no siempre fueron los mismos sujetos en las tres aplicaciones del cuestionario. Variables procesuales (intereses, comportamientos) y evaluativas-perceptivas (actitudes, expectativas, percepciones) relativas al estudio, examinadas en padres y en hijos que, en conjunto, informan sobre las formas de implicación de los padres en el proceso de enseñanza-aprendizaje de los hijos y las formas de implicación de los padres esperadas por los hijos en dicho proceso. Variables de clasificación de dos tipos: estructurales como el nivel de estudios de los padres y de producto como el rendimiento escolar. Cuestionario ad hoc y entrevistas semiestructuradas a padres, con preguntas sobre intereses, actitudes, opiniones y expectativas. Los padres mantienen un nivel de implicación considerable sobre todo en las cuestiones referidas a actitudes, comportamiento que es esperado por los hijos. No todos los hijos esperan que sus padres se impliquen en aspectos de tipo afectivo y material del modo tan frencuente en que los hacen. A pesar de la coincidencia entre ellos, hay variables en las que los hijos esperan mayor implicación que el mostrado por sus padres como en aspectos relacionales, control del estudio diario, etc. La tipología de las variables relevantes en ambos colectivos, los aspectos intelectuales-culturales, cognitivo-perceptivos y de estatus son los mas asociados al rendimiento escolar. Padres e hijos conceden un gran valor a la educación formal. Ello lleva a los padres a implicarse en el proceso de enseñanza-aprendizaje y a los hijos a demandar esa implicación. Las formas de implicación suelen ser comunes entre padres e hijos por lo que se podría hablar de pautas de conducta configuradas en un contexto social, e incluso de pautas de conducta familiar. A la vista de los resultados se ofrece una serie de orientaciones y prácticas educativas que pueden ser relevantes para profesores, padres o alumnos.

Efecto de facilitación semántica de las palabras atendidas y no atendidas.

Comparación entre los resultados obtenidos a través de los dos paradigmas atencionales utilizados por los investigadores: el primero es el filtro y se pone a prueba la posibilidad de una selectividad perfecta. El segundo sesgo selectivo pone a prueba la posibilidad de una activación selectiva. Aportar nuevos datos acerca del procesamiento semántico de estímulos presentados en la parafovea. Y replicar los resultados de facilitación semántica encontrados en condiciones de enmascaramiento. Estudiantes universitarios, sección de Psicología de la Universidad de Granada con visión normal o corregida. Edades entre 18 y 32 años. En todos los experimentos se utiliza el mismo material. Las variables dependientes son dos: el tiempo de reacción en la decisión léxica, y el porcentaje de errores. Previo al comienzo de la prueba se balancea el orden de presentación, que determina las categorías que aparecen en el CVI y en el CVD, y también la posición en la que aparece el estímulo respuesta. Esto determina si la condición es de atención focalizada al CVI, de atención focalizada al CVD o de atención dividida. Los estímulos se presentan en el CTR de un ordenador Toshiba T-100 conectado a un ordenador Toshiba T-300, el cual controla los tiempos de presentación de cada estímulo así como el registro de los TRS y de los errores. El monitor es de fósforo verde. Se utiliza un término error específico para cada comparación siguiendo las indicaciones de Keppel (1982). El efecto facilitador semántico se obtiene restando los tiempos de reacción a las palabras respuesta no relacionadas y tiempos de reacción a las palabras respuesta relacionadas. La significatividad de los contrastes de hipótesis se especifica con asteriscos. También se obtienen índices de facilitación semántica utilizando pruebas estadísticas de una cola. Validez del procedimiento empleado por: la utilización del efecto facilitador en una tarea de decisión léxica y, el carácter 'no atendido' de nuestros estímulos parafoveales. Efecto facilitador semántico tanto para las palabras focales como para las presentadas en la parafovea. El efecto de facilitación es superior en la condición de atención dividida, pero no existen diferencias entre esta última y una condición de no atención -los tests de memoria de reconocimiento fueron similares a los del efecto facilitador. Las palabras parafoveales no fueron identificadas por parte de los sujetos. El proceso de control es un patrón inhibidor de los resultados. Así en las palabras enmascaradas desaparece, y en la condición de atención focalizada, se iguala al nivel de las palabras parafoveales. La activación automática es la principal responsable del efecto facilitador en la condición de enmascaramiento. Los estímulos presentados en la parafovea son analizados a nivel de significado. Mientras el procesamiento consciente depende del grado de atención que el sujeto presta a los estímulos, el procesamiento 'no consciente' es independiente de la atención.

Efecto de facilitación semántica de palabras lateralizadas.

Atención y procesamiento semántico en la parafovea de estímulos verbales automáticos versus controlables; Atención selectiva producida por estímulos verbales lateralizados. Estudiantes del Colegio Universitario de Almería entre 18-30 años, diestros en un test de dominancia manual (Bryden, 1977) y con visión normal o corregida. Presentación de material verbal perteneciente a cuatro categorías semánticas previa indicación de instrucciones. Punto de fijación de pantalla y estímulos previos. El sujeto debe realizar una decisión léxica sobre los estímulos relevantes, que aparecen junto a auxiliares. El tiempo de reacción y el porcentaje de errores son las variables dependientes. Corrección estadística en los tiempos de reacción excesivamente altos o bajos. Las latencias válidas se transforman en logaritmos. Se realizan análisis de varianza sobre los promedios de los antilogarítmicos. Utiliza el error específico de Keppel, 1982, para las comparaciones. Las palabras parafoveales son analizadas a nivel semántico. Influye el grado de atención en su procesamiento; Inadecuación de las concepciones dicotómicas de la especialización cerebral; Influencia de factores estratégicos en el procesamiento semántico de estímulos parafoveales. Existe evidencia de procesamiento semántico no atendido. Posteriores investigaciones sobre la especialización cerebral deben controlar mas directamente los factores atencionales. También debe emplearse un control más minucioso del tipo de instrucción utilizada.

Material didáctico de educación ambiental no formal para el programa “yo, sí puedo cuidar el ambiente”, en Nicaragua

El presente trabajo ha consistido en elaborar el material didáctico para la educación ambiental no formal de los ciudadanos de Nicaragua, con nivel escolar equivalente a sexto grado. Este material en un futuro cercano será la base del programa de alfabetización ambiental “Yo, Sí Puedo Cuidar el Ambiente”,coordinado por la “Red Universitaria Yo, Sí Puedo” en distintas partes de Nicaragua. El resultado del proyecto es una cartilla destinada al alumno y una Guía Metodológica para el educador. Para la realización de este proyecto ha sido necesaria una estancia de tres meses y medio para la recopilación de información y la elaboración de material didáctico. El principal objetivo del material elaborado es contribuir en la sensibilización y la formación de valotres ambientales de los participantes, mejorando asi su calidad de vida y su entorno

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

Educaci??n formal, no formal e informal en el Espacio Europeo : nuevas exigencias para los procesos de formaci??n en educaci??n

Resumen tomado de la publicaci??n

El Aprendizaje del derecho inglés en modo cooperativo formal

En primer curso de Derecho económico de la Universidad de Vigo, se planteó la posibilidad de llevar a cabo un proyecto piloto de aprendizaje cooperativo. Nos pareció interesante la idea y propusimos que la asignatura “Introducción a los Sistemas Jurídicos” se impartiese en aprendizaje cooperativo formal, como requisito previo a la realización de un examen final. Nuestro objetivo era conseguir una mayor implicación del discente en su propio proceso de aprendizaje, al mismo tiempo que la adquisición de determinadas destrezas necesarias en el ámbito jurídico, como la interacción cara a cara, la interdependencia positiva, la responsabilidad personal, el saber desenvolverse en público y la capacidad de autoanálisis o evaluación de los resultados del grupo. En este caso concreto, era necesario dotar de las destrezas necesarias a los discentes para que el aprendizaje del Derecho Inglés, como sistema jurídico diferente al nuestro, resultase atractivo y suscitase el interés de los estudiantes a la hora de abordar el conocimiento del Common Law. La diferencia fundamental, reflejada en "Judge made Law", en referencia a la labor creadora del derecho que realizan los jueces en el mundo jurídico anglosajón, puede ser explicada mucho mejor en un contexto de creatividad como el que ofrece una metodología docente activa como es el Aprendizaje Cooperativo, y por ello resultó elegida. Elegimos el Aprendizaje Cooperativo Formal porque nos pareció adecuada su vocación de continuidad, en el sentido de formar grupos para una determinada tarea que puede durar desde una clase a varias semanas. En un grupo formal los estudiantes trabajan juntos para conseguir objetivos compartidos, intentando maximizar su aprendizaje y el de sus propios compañeros. El número de miembros que conforman un grupo formal es pequeño, 2 o 4 estudiantes, organizado por el profesor, a menudo al azar, y en ellos se espera que el estudiante interaccione con sus compañeros, compartiendo los conceptos y estrategias que aprendan, y que se consideren mutuamente responsables de la tarea asignada, acudiendo sólo en último término al profesor en caso de dudas. Pero teníamos dudas con respecto a la realidad del proyecto, por el elevado número de estudiantes en el grupo de “Introducción a los Sistemas Jurídicos”. Con todo, la ilusión y un gran esfuerzo hicieron posible llevar a cabo el proyecto previsto, y los resultados fueron totalmente positivos

La educaci??n formal de los hijos e hijas de familias homoparentales : familia y escuela a contracorriente

Resumen tomado de la publicaci??n

Pensamiento formal y resoluci??n de problemas matem??ticos

Resumen tomado de la publicaci??n

Taller de programación didáctica. Una cuestión de léxico, de semántica y de algo más

El último nivel de concreción del currículum educativo, plasmado después en las denominadas Programaciones Didácticas o Unidades Didácticas, es el que tiene mayor repercusión en el proceso enseñanza / aprendizaje, porque buena parte de los resultados que se obtengan del mismo, llevarán la huella personal de cada docente, de cómo concibe su labor, de cómo es capaz de comunicar, qué técnicas y recursos utiliza en su tarea diaria, qué estrategias diseña, cómo evalúa, etc

A guide to writing formal technical reports

A guide to writing formal technical reports for IT and CS students

La web semántica y sus aplicaciones. Una unidad de aprendizaje en línea (UAL-OVA) necesaria en programas de alfabetización informacional en universidades.

Resumen tomado de la publicación

Formal Reports and Presentations

An introductory guide to writing technical reports (including citation and referencing) and giving presentations

La necesidad de planificaci??n y evaluaci??n educativas en la educaci??n no formal : algunas propuestas

Resumen tomado de la publicaci??n. La autora pertenece a la Universitat de les Illes Baleares