Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
En este documento, presentamos una nueva semántica (que llamamos D3-WFS-DCOMP) y la comparamos con la semántica estable (STABLE). Para programas normales, esta semántica se basa en la integración de la semántica bien fundamentada (WFS) y la completación de Clarks. D3-WFS-DCOMP tiene las siguientes propiedades atractivas: Primero, coincide con STABLE en el sentido de que nunca define un modelo no minimal o un modelo no minimal soportado. Segundo, para programas normales extiende WFS. Tercero, todo modelo estable de un programa disyuntivo es un modelo D3-WFS-DCOMP de . Cuarto, se construye utilizando reglas de transformación aceptadas por STABLE. También introducimos una segunda semántica que llamamos D2-WFS-DCOMP. Mostramos que D2-WFS-DCOMP es equivalente a D3-WFS-DCOMP para programas normales, pero esto no es el caso para programas disyuntivos. También presentamos una tercera nueva semántica que admite el uso de disyunciones impl
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículos:
Evaluación empírica de la influencia del ruido en algoritmos de aprendizaje automático supervisado mediante conjuntos de datos de detección de intrusos
Artículos:
Existencia, unicidad y estabilidad exponencial casi segura de soluciones a sistemas estocásticos no lineales con conmutación markoviana y ruidos de Lévy.
Artículos:
Método de preservación de la privacidad de la ubicación basado en la proximidad histórica de la ubicación.
Artículos:
Optimización del Sistema de Monitoreo de la Concentración Microbiana en Agua basado en Internet de las Cosas
Artículos:
La Emergencia de Escalas Superiores Informativas en Redes Complejas
Artículos:
Comportamiento del aguacate Hass liofilizado durante la operación de rehidratación
Artículos:
Caracterización estructural de la materia orgánica de tres suelos provenientes del municipio de Aquitania-Boyacá, Colombia
Informes y Reportes:
Técnicas de recuperación de suelos contaminados
Artículos:
Una revisión de la etiopatogenia y características clínicas e histopatológicas del melanoma mucoso oral.
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
