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.

Este libro está pensado para alumnos universitarios que estén cursando la carrera de Psicología, y también para Psicólogos Profesionales que deseen profundizar en las técnicas de validación de un test. Contiene técnicas de la Teoría Clásica de Test, de la Teoría de Respuesta del ítem, con ejemplos de la aplicación de cada técnica. De la TCT, se incluyen técnicas de Validadción mediante Análisis de Componentes Principales, Unidimenisionalidad de las Escalas (entre otras), Cálculo de Coeficientes de Fiablidad, Cálculo de índices referidos a los ítems (dificultad,...

El azar está presente en buena parte de los problemas a que debe enfrentarse un ingeniero en su vida profesional. En el campo de las telecomunicaciones, por ejemplo, fenómenos como la aparición de ruido en un canal de transmisión o el acceso de usuarios a un determinado servicio de red a lo largo del tiempo no pueden ser modelizados de forma determinista, debido a la alta complejidad de los sistemas involucrados. Este libro proporciona una panorámica general de los principales problemas tratados por la Teoría de la Probabilidad y sus aplicaciones en la ingeniería. Se parte de los...

Esta obra fue concebida a partir de la experiencia de los autores al impartir la materia Diseño de Concreto. Se presenta como una recopilación de los apuntes de clase de uno de los temas que hacen parte de dicha asignatura. El método elástico, método de los esfuerzos permisibles o admisibles, método de las cargas de servicio o método ASD, por su nombre en inglés (Allowable Stresses Design), fue ampliamente usado para el diseño de concreto reforzado durante el siglo XX. Este parte de suponer que el concreto simple y el acero de refuerzo son homogéneos e isótropos y presentan un...

Teoría básica de Control automático de procesos industriales y sistemas controlados- Se analizan los componentes básicos que forman los procesos y los sistemas controlados- Estudio del control automático en lazo cerrado. Realimentación-Respuesta temporal y análisis frecuencial- Estudio de la estabilidad de lossistemas y su optimización- Ajuste y sintonización de los controladores- Efecto de las perturbaciones, cambios de carga y cambios en los parámetros de los componentes- Efecto de los tiempos muertos- Efecto de las alinealidades- Control en lazo cerrado simple. Control en...