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.

Los errores de calidad más graves son los que se producen en las primeras etapas del proceso: Marketing y diseño. A lo largo de esta obra se describen los procedimientos básicos para garantizar el mínimo número de errores a lo largo del proceso de diseño y las técnicas de mejora aplicables en esta fase. Se trata de un libro de fácil comprensión y sencilla aplicación práctica, que recogela experiencia acumulada por el equipo de Calidad-Productividad de la Asociación de la Industria Navarra.INDICE: Las funciones de garantía de diseño. Lanzamiento de nuevos productos. Revisión...

La perfección no existe, pero los desconocidos ingenieros que se han empeñado en alcanzarla han tenido más importancia en nuestra vida de lo que pensamos. A través de anécdotas y ejemplos, teje la historia de la ingeniería de precisión y hace comprensibles sus inestimables aportaciones: el avión, la lente de una cámara Leica, las máquinas de rayos X, el telescopio Hubble, el microchip, el smartphone... Simon Winchester, venerado autor de bestsellers internacionales, hasta ahora no se había publicado en español. "Hipnotizante y fascinante. El Sr. Winchester es un maestro de la...

Aunque sean las funcionalidades de los sistemas el aspecto más atractivo, tanto para la transmisión de conocimientos en las universidades españolas como para los ingenieros diseñadores de los mismos, no debemos olvidarnos de que son sus componentes físicos los que llevan a efecto esas funcionalidades y que de la disponibilidad de los mismos depende el que el sistema cumpla con el cometido para el que ha sido diseñado. Por ello, el contenido de este libro va dirigido al análisis de los componentes físicos de los sistemas artificiales complejos, a estimar los valores de mérito...

Es un libro de texto que aborda tanto la teoría como la práctica fundamentales para el trabajo de campo y de oficina. La primera parte brinda conceptos y fundamentos básicos de la topografía, la segunda, ofrece material avanzado y especializado. Incluye más de 900 problemas con la mayoría de sus respuestas y numerosos consejos. A lo largo del libro enfatiza la teoría de los errores y la relación de la teoría y los métodos de campo. Abarca las tecnologías avanzadas desarrolladas recientemente como: estaciones totales, colectores de datos automáticos y sistemas de información...