engrXiv : Repositorio de preprints de INGENIERIA.

preprint - Búsqueda de Google

En la publicación académica, un preprint es una versión de un artículo académico o científico que precede a la revisión formal por pares y a la publicación en una revista académica o científica revisada por pares. El preprint puede estar disponible, a menudo como una versión no tipificada disponible gratuitamente, antes y/o después de que un artículo se publique en una revista. Desde 1991, los preprints se han distribuido cada vez más de manera digital en Internet, en lugar de en forma de copias en papel, que era el método tradicional.

engrxiv - Búsqueda de Google

Esto ha dado lugar a bases de datos de preprints masivas como engrXiv , un Repositorio de Preprints de INGENIERIA, dirigido por un comité directivo de ingenieros y miembros de la comunidad bibliotecaria de ingeniería. engrXiv está alojado en el Centro para la Ciencia Abierta y administrado por el Dr. Devin R. Berg de Open Engineering Inc y la Universidad de Wisconsin-Stout.

En 2019 se anunció que engrXiv se estaba convirtiendo legalmente en parte de Open Engineering Inc, una organización sin ánimo de lucro con sede en Menomonie, Wisconsin, para la “promoción de prácticas abiertas en el campo de la ingeniería”.

Métodos y herramientas matemáticas para el análisis semántico en programación.

Mathematical Aspects of Logic Programming Semantics.  Hitzler, Pascal — Seda, Anthony. Taylor & Francis, 2011. ISBN: 9781439829622. DESCARGAR LIBRO

Aspectos matemáticos de la semántica de la programación lógica.

Cubriendo los resultados de la investigación de vanguardia de los propios autores, este libro presenta un relato riguroso y moderno de los métodos y herramientas matemáticas necesarias para el análisis semántico de los programas lógicos. Amplía significativamente las herramientas y métodos de la teoría del orden tradicional para incluir métodos no convencionales del análisis matemático que dependen de la topología, la teoría de dominios, las funciones de distancia generalizadas y la teoría de puntos fijos asociada.

Los autores examinan de cerca las interrelaciones entre varias semánticas así como la integración de la programación lógica y los sistemas de conexión/redes neuronales.

Ciberseguridad: tendencias y estrategias

ciberseguridad - Búsqueda de Google

Andreasson, Kim J. Cybersecurity. Taylor & Francis, 2012. DOI: 10.1201/b11363.

DESCARGAR LIBRO

Internet ha dado lugar a nuevas oportunidades para que el sector público mejore su eficiencia y preste un mejor servicio a los usuarios. Sin embargo, al depender cada vez más de Internet, las herramientas digitales también están exponiendo al sector público a nuevos riesgos.

DOAB: Directory of Open Access Books

Este manual accesible se centra en la convergencia de la globalización, la conectividad y la migración de las funciones del sector público en línea. En él se examinan las nuevas tendencias y estrategias de todo el mundo y se ofrece orientación práctica para hacer frente a los riesgos contemporáneos. Proporciona una visión general de las políticas federales de respuesta a incidentes cibernéticos pertinentes de los Estados Unidos y esboza un marco organizativo para evaluar el riesgo.

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.

La computación reversible: ampliando los horizontes de la informática.

Ulidowski, Irek --- Lanese, Ivan --- Schultz, Ulrik Pagh --- Ferreira, Carla. Reversible Computation: Extending Horizons of Computing. Springer Nature, 2020. 237 p. DOI: 10.1007/978-3-030-47361-7 - Búsqueda de Google

Ulidowski, Irek — Lanese, Ivan — Schultz, Ulrik Pagh — Ferreira, Carla. Reversible Computation: Extending Horizons of Computing. Springer Nature, 2020. 237 p. DOI: 10.1007/978-3-030-47361-7

TEXTO COMPLETO

Este estudio sobre el estado de la técnica presenta los principales resultados científicos más recientes en el campo de la computación reversible, centrándose en los que han surgido durante la acción IC1405 del COST “Computación reversible – Ampliación de los horizontes de la computación”, una red de investigación europea que funcionó de mayo de 2015 a abril de 2019.

La computación reversible es un nuevo paradigma que amplía el modo tradicional de computación sólo hacia adelante con la capacidad de ejecutarse en sentido inverso, de modo que la compilación puede ejecutarse hacia atrás con la misma facilidad y naturalidad que hacia adelante. Su objetivo es ofrecer nuevos dispositivos y programas informáticos de computación y mejorar los sistemas existentes dotándolos de reversibilidad. Hay muchas aplicaciones potenciales de la computación reversible, incluidos los lenguajes y programas informáticos para sistemas distribuidos fiables y orientados a la recuperación y puertas y circuitos lógicos reversibles revolucionarios, pero sólo pueden realizarse y tener un efecto duradero si se establecen primero bases conceptuales y teóricas firmes.