Results 91 to 100 of about 38,187 (165)
Verificación computacional de soluciones numéricas
, 1994 Las Soluciones Numéricas son esencialmente aproximaciones pausibles, de modo que es necesario tener, además, determinadas buenas Estimaciones de Errores.
García Conca, José Manuel
core +1 more source
Desinformación, bulos, curación y verificación. Revisión de estudios en Iberoamérica 2017-2020
Telos: Revista de Estudios Interdisciplinarios en Ciencias Sociales, 2020 El objetivo de este artículo es realizar una revisión de las investigaciones sobre desinformación en el ámbito de Iberoamérica entre 2017 y 2020. Para ello, se siguen las normas APA para revisiones y se analizan alrededor de 60 trabajos publicados en ...
Javier Guallar +3 more
doaj
Diseño de funciones con HDL: verificación
, 2023 Diseño de funciones con HDL: verificaciónhttps://polimedia.upv.es/visor/?id=991e3460-d909-11ed-b716-77ee466eb043Gadea Gironés, R. (2023). Diseño de funciones con HDL: verificación.
Gadea Gironés, Rafael
core
Medidas de confianza mutua: verificación
La verificación ha pasado a ocupar un lugar central en el período de posguerra fría, verificar los acuerdos ha constituido un punto fundamental en las negociaciones internacionales a lo largo de la historia.
core
Verificación automática de protocolos criptográficos de seguridad [PDF]
, 2012 González Burgueño, A. (2012). Verificación automática de protocolos criptográficos de seguridad.
González Burgueño, Antonio
core
Revista Mediterránea de Comunicación, 2020 La verificación de la información es una de las actividades periodísticas que más relevancia ha adquirido en los últimos años, como consecuencia del incremento de la circulación de las noticias falsas y la facilidad para difundirlas a través de ...
María-José Ufarte-Ruiz +2 more
doaj
Verificación de información online : Técnicas, herramientas y aplicaciones en docencia
, 2018 Programa de Formación de Profesorado de la UNIA en materia de Innovación Docente y Digital del curso 2018. Se incluye enlace a la grabación: https://vimeo.com/297914605Contenido: 1.
Redondo Escudero, Myriam
core
Verificación en Alloy de modelos y metamodelos específicos del dominio [PDF]
, 2016 La verificación de modelos de sistemas de software es una actividad clave para mejorar la calidad del producto final. Numerosos lenguajes específicos del dominio han sido creados para favorecer la definición de modelos ajustados a un dominio o área ...
Garis, Ana Gabriela, Sanchez, Alejandro
core
Preservación de Obligaciones de Prueba en Entornos Híbridos de Verificación [PDF]
, 2009 La producción de software confiable y eficiente requiere, al menos en parte, la automatización de su construcción. Para alcanzar este objetivo es indispensable estudiar a los programas y sus ejecuciones como objetos matemáticos.
Samborski-Forlese, Julián
core
La discapacidad en la Cartera Europea de Identidad Digital (EUDI Wallet)
Oñati Socio-Legal SeriesEste artículo aborda la reflexión jurídica que plantea el reciente Reglamento europeo (UE) 2024/1183, de 11 de abril de 2024 sobre el establecimiento del marco europeo de identidad digital, conocido como “eIDAS 2”, con relación a la atención que esta ...
Gema Tomás Martínez
doaj +1 more source