Verificación asistida por ordenador.

Computer Aided Verification - Búsqueda de Google

Computer Aided Verification. Lahiri, Shuvendu K. — Wang, Chao. Springer Nature, 2020. (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues).

DESCARGAR VOL. 1DESCARGAR VOL. 2

DOAB: Directory of Open Access Books

Este estudio en dos volúmenes en libre acceso es el resultado de la 32ª Conferencia Internacional sobre Verificación Asistida por Ordenador, CAV 2020, celebrada en Los Ángeles, CA, EE.UU., en julio de 2020. [La conferencia se celebró virtualmente debido a la pandemia de COVID-19.]

Las 43 ponencias completas presentadas, junto con 18 ponencias sobre instrumentos y 4 estudios de casos, fueron examinadas cuidadosamente y seleccionadas entre 240 presentaciones. Los documentos se organizaron en las siguientes secciones temáticas:

Parte I: Verificación de la IA; cadena de bloques y seguridad; concurrencia; verificación del hardware y procedimientos de decisión; y sistemas híbridos y dinámicos.

Parte II: verificación del modelo; verificación del software; sistemas estocásticos; y síntesis.

LIFE Vía de la Plata: proyecto de una Smart City

LIFE Vía de la Plata, sostenibilidad y tecnología para Salamanca ‹ Juan M. Corchado ‹ Reader — WordPress.com

Del blog de Juan M. Corchado [ACCEDER] recogemos esta interesante noticia relacionada con uno de los proyectos desarrollado con el grupo de investigación BISITE, siempre comprometidos en aportar soluciones a las ciudades del futuro y  participando en proyectos que prioricen la sostenibilidad.

LIFE Vía de la Plata es un interesante proyecto desarrollado por la Universidad de Salamanca junto con el Patronato Municipal de Vivienda y Urbanismo de Salamanca, el Ayuntamiento de Salamanca,  la Universidad del País Vasco, y el Grupo de Geociencias y Cambio Climático del Área de Ingeniería Hidráulica, como respuesta a la iniciativa de medio ambiente de la Comisión Europea Life.

LIFE Vía de la Plata, sostenibilidad y tecnología para Salamanca ‹ Juan M. Corchado ‹ Reader — WordPress.com

Se trata de un corredor sostenible a lo largo de 11 kilómetros en la Vía de la Plata en Salamanca que priorice la vegetación, la fauna y el patrimonio de nuestra ciudad.

El grupo BISITE aportará todo el bagaje de tantos años diseñando proyectos y aplicando tecnologías como la Inteligencia Artificial, el Internet de las Cosas (IoT), el Edge Computing o la sensorización.

En la arquitectura de trabajo de la plataforma del proyecto se implementará un Big Data que almacenará datos capturados desde estaciones MES (fuentes IoT), así como datos capturados indirectamente, a partir de fuentes ingeridas por la plataforma de forma automatizada (tanto fuentes internas generadas por recursos del proyecto como alertas de salud, acidez del suelo, etc., como fuentes externas Open Linked Data, información meteorológica, niveles de polen, tráfico, etc.).

Proyectos como MOVIURBAN, una máquina social para la gestión sostenible de ciudades inteligentes, movilidad urbana, datos abiertos, sensores móviles, así como CHROMOSOME que plantea desarrollar servicios basados ​​en IoT y una infraestructura de automatización capaz de generar un cambio de comportamiento en el consumo de energía residencial  hacia un uso más eficiente, sin necesidad de comprometer los niveles de confort, son parte de los proyectos desarrollados por el Grupo de Investigación dirigido por Juan M. Corchado en la Universidad de Salamanca.

Las Smart City nos proporcionan calidad de vida y un mejor porvenir para nuestro planeta. Con proyectos como Life Vía de la plata Salamanca, Ciudad Patrimonio de la Humanidad, se convertirá en una ciudad más sostenible.

Sensores y Edge AI.

Escrito y publicado en el blog de Juan M. Corchado

En la edición del mes de febrero  de la revista Global Corporate Venturing CVG, tuve la oportunidad de participar y ofrecer mi opinión sobre los usos y aportaciones de la inteligencia artificialmachine learning y el Internet of things.

Como sabemos, ya hay muchas plataformas informáticas de vanguardia desarrolladas por grandes empresas, que permiten la integración de gateways con enlaces inteligentes y la aplicación de IA en problemas complejos sin tener un gran conocimiento.

Con herramientas como Deepint.net el uso de esta tecnología se está multiplicando exponencialmente; no en vano, el interés en estas nuevas tecnologías queda pantente cuando en enero, Apple invirtió algo más de 200 millones de dólares en la adquisición y compra del Allen Institute for Artificial Intelligence, fundando Xnor.ai, compañía centrada en el equipamiento de dispositivos de bajo consumo integrando machine learning y tecnología de reconocimiento de imágenes.

Otros ejemplos de éxito son la incorporación de microchips con tecnología IA en sensores propiedad de AlStorm, la implicación clara y determinada de fabricación de sensores de imágenes por parte de TowerJazz o la colaboración entre el proveedor de cocinas Meyer y el fabricante de semiconductores Linear Dimension.

Nuestras previsiones son trabajar en la integración de tecnología IA en sensores en cerca del 50% de los proyectos relacionados con el Internet of things promovidos por Grupo de Investigación BISITE y AIR Institute.

Un pequeño resumen de la publicación y espero podáis leer el artículo completo. https://globalcorporateventuring.com/product/february-2020/ 

Desde el ADN hasta la inteligencia artificial

The Amazing Journey of Reason - from DNA to Artificial Intelligence | Mario Alemi | Springer

Mario Alemi. The Amazing Journey of Reason from DNA to Artificial Intelligence. SpringerOpen, 2020. ISBN 978-3-030-25962-4 (eBook) https://doi.org/10.1007/978-3-030-25962-4.

DESCARGAR PDF

Este libro de acceso abierto explora preguntas como ¿por qué y cómo aparecieron las primeras células biológicas, y luego los organismos complejos, los cerebros, las sociedades y -ahora- las sociedades humanas conectadas?

Los físicos tienen buenos modelos para describir la evolución del universo desde el Big Bang, pero ¿podemos aplicar los mismos conceptos a la evolución de la materia agregada, incluida la materia viva? The Amazing Journey analiza los últimos resultados en química, biología, neurociencia, antropología y sociología a la luz de la evolución de la inteligencia, considerada como la capacidad de procesar información.

La principal fuerza de este libro es basarse en dos conceptos utilizados en la física -información y energía- para explicar:

  • El surgimiento y la evolución de la vida: procariotas, eucariotas y organismos complejos.
  • La aparición y evolución del cerebro.
  • El surgimiento y la evolución de las sociedades (humanas y no).
  • La posible evolución de nuestra “sociedad de Internet” y el papel que la Inteligencia Artificial está jugando

El título, la medalla y los recuerdos del científico Alan Turing recuperados en Colorado.

Alan Turing Tribute

El doctorado en Princeton del científico británico Alan Turing, la medalla de la Orden del Imperio Británico y otros objetos de interés han sido recuperados en Colorado, 35 años después de que se los llevaran de la escuela Sherborne en Dorset.

Los artículos fueron robados en 1984, según el archivo, después de que una mujer pidiera ver el fondo de Turing en Sherborne. Más tarde se encontró una nota que decía: “Por favor, perdóneme por llevarme estos materiales. Estarán bien cuidados mientras estén bajo el cuidado de mis manos y un día todos serán devueltos a este lugar”. En 2018 una mujer llamada Julia Turing ofreció los artículos en préstamo a la Universidad Boulder de Colorado. El expediente de la corte dijo que la mujer no estaba emparentada con el científico británico ya que había cambiado su apellido de Schwinghamer a Turing en 1988.

En una carta del citado expediente, una empleada de Sherborne escribió: “Estoy familiarizada con las excentricidades de los estadounidenses, pero tengo la impresión de que esta mujer está ‘enamorada’ de Turing”.


ALAN TURING

Matemático, precursor y pionero de la inteligencia artificial, propuso el criterio o test de Turing, como medio para determinar si un ordenador, adecuadamente programado, es capaz de pensar. 

La Dra. Emily Grossman, escribió en el Guardian: “Su contribución a la ciencia es clara. Fue el padre de la informática, una influencia significativa en el campo moderno de la inteligencia artificial y, lo más importante, su trabajo en Bletchley Park durante la segunda guerra mundial llevó a un equipo de codicólogos a descifrar el código alemán Enigma”, acontecimiento llevado a la gran pantalla, en The Imitation Game (2014), película dirigida por Morten Tyldum y basada en el libro de Andrew Hodges Alan Turing : The enigma.

La máquina universal propuesta por Turing en 1936 estableció los límites de la computación algorítmica, un procedimiento de cálculo que el matemático definió como «disciplinado, pero sin inteligencia». Poco antes de su muerte, Turing exploró la posibilidad de trascender dichas limitaciones por medio de una nueva arquitectura: un conjunto de nodos unidos por medio de conexiones modificables. 
Su propuesta sobre una «máquina inorganizada» permaneció inédita durante veinte años. En ella ya se avanzaban algunas de las nociones clave de la investigación moderna en inteligencia artificial.

Pese a su sobresaliente carrera, nunca mostró especial interés en dar difusión a sus ideas. Y así, aspectos importantes de su trabajo no han recibido la atención debida o han sido olvidados con el paso de los años. En concreto, son pocos, incluso en las ciencias de cómputo, los familiarizados con las fascinantes previsiones de Turing en el conexionismo, es decir, en la computación mediante redes neuronales. También han sido despreciadas sus nociones en el campo de la ”hipercomputación”, en el que abrieron tierras vírgenes. A decir de algunos, las hipercomputadoras podrían algún día resolver problemas hasta ahora tenidos por inabordables.

Poco después de la guerra, Alan Turing fue procesado por el gobierno británico por ‘indecencia grave’ debido a su relación con otro hombre. Eligió someterse a un año de castración química en lugar de enfrentarse a una sentencia de prisión, pero murió dos años después, a la edad de 41 años. La investigación encontró que su muerte por envenenamiento con cianuro fue un suicidio, aunque se sospechó siempre de asesinato. Desde entonces su reputación ha intentado ser restaurada y celebrada. En julio de 2019 un miembro del comité gubernamental de Gran Bretaña decidió que debería aparecer en el nuevo billete de 50 libras.

En 2008, el Princeton Alumni Weekly nombró a Turing el segundo graduado más influyente de la universidad, sólo por detrás de James Madison, el cuarto presidente estadounidense que fue uno de los autores de la constitución de los Estados Unidos.