( en | de | ru )

 

Disambiguierung von "Marqués, Francisco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Consistency Verification of Deductive Database Schemes.

, und . DAISD, Volume LSI/93-25-R von Report de recerca, Seite 287-307. Universitat Politecnica de Catalunya (UPC), (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

José-Luis Marqués-López

António Marques

Ricardo Marques

Miguel Marques

Nicolas Marques

 

Weitere Publikationen von Autoren mit dem selben Namen

A Derivation Path Recording Method for Integrity Checking in Deductive Databases., , , , und . DAISD, Volume LSI/91-30 von Report de recerca, Seite 185-203. Universitat Politecnica de Catalunya (UPC), (1991)A Mechanism for Verification of Knowledge Base Scheme Specifications., , und . EUROVAV, Seite 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Consistency Verification of Deductive Database Schemes., und . DAISD, Volume LSI/93-25-R von Report de recerca, Seite 287-307. Universitat Politecnica de Catalunya (UPC), (1993)Deep Learning Applied to Automatic Reclosers Detection in Power Grid., , , , , und . COMPSAC, Seite 1861-1866. IEEE, (2021)Online self-reconfigurable robot navigation in heterogeneous environments., , , , , und . ISIE, Seite 1-6. IEEE, (2013)An Autonomous Mobile Robot Navigation Architecture for Dynamic Intralogistics., , , , , , und . INDIN, Seite 1-6. IEEE, (2021)"Interrupting" the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)., , , und . IEEE Access, (2024)An iterative oversampling approach for ordinal classification., , , , , und . SAC, Seite 771-774. ACM, (2019)Holistic RISC-V Virtualization: CVA6-based SoC., , , , und . CF, Seite 389-390. ACM, (2023)On the Design of a Robotic System Composed of an Unmanned Surface Vehicle and a Piggybacked VTOL., , , , , und . DoCEIS, Volume 423 von IFIP Advances in Information and Communication Technology, Seite 193-200. Springer, (2014)