Fenómenos de contacto y sus aplicaciones en celdas solares

Yuri Gurevich, un destacado investigador y académico, ha realizado contribuciones significativas al campo de la informática teórica y la lógica matemática. Nacido en 1939 en lo que hoy es Rusia, Gurevich ha dedicado su vida profesional a explorar los fundamentos de la computación y la teoría de la computabilidad.

Después de obtener su doctorado en matemáticas, Gurevich se interesó en la intersección entre la lógica y la informática, un campo en el que eventualmente se convertiría en una figura prominente. Su trabajo ha sido especialmente influyente en el desarrollo de modelos formales para la computación y en la formulación de métodos que permiten entender mejor los principios que rigen los sistemas computacionales.

Uno de los aportes más destacados de Gurevich es el concepto de la máquina de Gurevich, que se utiliza para formalizar la idea de la computación interactiva. Este modelo ha tenido un impacto duradero en el estudio de los algoritmos y la teoría de la computación, ayudando a establecer un marco que permite analizar la eficiencia y la efectividad de diferentes enfoques computacionales.

Gurevich también ha trabajado en la lógica descriptiva, un área que se centra en el uso de lenguajes lógicos para describir y razonar sobre estructuras matemáticas y computacionales. Su investigación ha contribuido a desarrollar herramientas que los científicos de la computación utilizan para abordar problemas complejos en diversas áreas, desde la inteligencia artificial hasta la verificación de software.

• Investigaciones en lógica y computación: Gurevich ha publicado numerosos artículos que abordan temas como la lógica modal, la lógica de programación y el modelado formal de sistemas.
• Conferencias y seminarios: A lo largo de su carrera, ha sido invitado a dar conferencias en prestigiosas instituciones académicas y conferencias internacionales, donde ha compartido sus hallazgos y perspectivas sobre la evolución de la informática.
• Docencia: Gurevich también ha sido un educador apasionado, dedicando tiempo a formar a la próxima generación de científicos de la computación en universidades de renombre en el mundo.

La obra de Yuri Gurevich ha sido reconocida en múltiples ocasiones, y su influencia se extiende más allá del ámbito académico, afectando a cómo se entiende la computación en la práctica. A través de su investigación, ha sentado las bases para nuevas formas de pensar sobre el desarrollo de algoritmos y sistemas computacionales, convirtiéndose en una referencia esencial para estudiantes y profesionales en el campo.

En resumen, Yuri Gurevich es una figura clave en la historia de la informática teórica, cuyo legado continúa moldeando la dirección futura de la investigación en este campo. Su enfoque innovador y su dedicación a la educación y la investigación han dejado una huella indeleble en el mundo de la computación.

A pesar de que las comunidades rurales tienen un papel importante en la producción de alimentos, es en éstas donde se presentan mayores índices de pobreza e inseguridad alimentaria. Las condiciones manifiestas en algunas regiones del mundo, han llevado a considerar como elemento de realidad, que el desarrollo regional no podrá concretarse, si antes no se logra alcanzar el desarrollo rural, el cual a su vez depende del desarrollo agropecuario. Esto supone emplear los recursos disponibles en cada territorio, para incentivar su propio desarrollo. La vía para establecer las bases de este...

Esta contribución describe el desarrollo e implementación de un sistema de alta resolución basado en un Core Time-to-Digital Converter (TDC) para la mejora de imágenes médicas. Dicho sistema es capaz de obtener diferencias temporales para múltiples canales simultáneos, con el objetivo de mejorar una de las tecnologías que más ha prosperado en los últimos años en el ámbito de la medicina nuclear. Esta área médica ha avanzado significativamente en los últimos años debido al aporte que la tecnología ha proporcionado en términos de mejora de resolución en los sistemas...

The Fourteenth Session of the Western Central Atlantic Fishery Commission (WECAFC) was held in Panama City, Panama, from 6 to 9 February 2012. The following members attended the session: Antigua and Barbuda, Bahamas, Barbados, Brazil, Dominica, Dominican Republic, European Union, France, Grenada, Haiti, Honduras, Mexico, the Netherlands, Nicaragua, Panama, Saint Kitts and Nevis, Saint Lucia, Suriname, Trinidad and Tobago, and United States of America. The Commission adopted a Resolution on strengthening the implementation of international fisheries instruments in the Caribbean region,...

Esta monografía profundiza en el estudio de la fenomenología de la transmisión de calor en los Motres de Combustión Interna Alternativos (MCIA). El principal objetivo es utilizar estos conocimientos para el diseño de sistemas de escape que reduzcan las pérdidas de energía aprovechable en la turbina durante las evoluciones transitorias de motor. Para lograr dicho objetivo, en primer lugar, se analizan los fenómenos que tienen una influencia significativa en las pérdidas de calor del fluido de trabajo de los MCIA en las líneas de admisión y escape, realizándose un estudio teórico...