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.

El día 2 de mayo del 2011 un comando de la marina de los Estados Unidos dio muerte en su refugio de Pakistán al enemigo público más buscado: Osama bin Laden. En este breve y ágil ensayo, Juan Avilés sostiene que ello representa el simbólico final de una década caracterizada por la obsesión ante la amenaza del terrorismo internacional. Es, pues, el momento apropiado para responder a los interrogantes que suscita la historia de Al Qaeda: acerca de sus orígenes, que se hallan en la doctrina del salafismo yihadí; de su fundación, vinculada a la guerra de Afganistán contra los...

Este libro es una guía metodológica para el diseño y la construcción de cargadores de baterías para vehículos eléctricos (VE). Se brinda un recorrido por las principales tecnologías usadas para la elaboración de baterías de VE y se definen las más importantes características que deberían ser consideradas en el momento de realizar comparaciones entre los diferentes tipos. Posteriormente, se exponen las recomendaciones presentes en la normatividad que rige el funcionamiento de los cargadores de baterías para VE, de acuerdo con sus características y condiciones de operación,...

El número 112 de TELOS se adentra en la definición y el alcance de lo que se ha dado en llamar Humanidades digitales. El debate que planteamos tiene que ver con la esencia misma de lo que tradicionalmente se ha considerado Humanidades, con sus contenidos, sus métodos, sus objetivos e incluso, su utilidad, en un mundo que parece dominado por el resultado, el dato, la matemática, la ingeniería, la tecnología y la ciencia. En este número nos planteamos el papel que juegan, entre otras disciplinas, la filosofía, la filología, la historia, la geografía, el derecho, la ciencia política,...

La isla de Fuerteventura está situada en el océano Atlántico, a 97 km de la costa noroeste de África, por lo tanto, es la isla del archipiélago más cercana a este continente. También, es la isla más larga del Archipiélago, con 98 km de Norte a Sur, y la más extensa después de Tenerife. Desde el punto de vista geológico en la más antigua. El 26 de mayo de 2009 fue declarada reserva de la biosfera por la UNESCO. La isla cuenta con trece espacios naturales protegidos: tres parques naturales: Jandía, las Dunas de Corralejo y el Islote de Lobos; un parque rural: Betancuria; seis...