Refine your Search
Author
Subject
Document Type
Language
Your search
1-7 from 7 results
(0.022 seconds)
-
Title: Informe de Proyecto de Grado para optar por el título de Ingeniero ElectrónicoAuthor: Amaya Tejera, Nazhir JesúsLanguage: EspañolRepository: 57Subject: HAR’D Snow / Verificación / Validación / Pruebas / Soluciones Tecnológicas / HAR'D Snow / Verification / Validation / Testing / Technology Solutions
-
Title: A structure-from-motion pipeline for topographic reconstructions using unmanned aerial vehicles and open source softwareAuthor: Meza J. / Marrugo A.G. / Sierra E. / Guerrero M. / Meneses J. / Romero L.A.Language: InglésRepository: 61Subject: Geomatics / Open source software / Structure from motion / Antennas / Cameras / Cost effectiveness / Object recognition / Open systems / Optical radar / Photogrammetry / Pipelines / Remote sensing / Repair / Rock mechanics / Surveying / Tracking radar / Unmanned aerial vehicles (UAV) / Verification / Co-ordinate system / Computer vision techniques / Digital elevation model / Experimental verification / Ground control points / Topographic reconstruction
-
Title: Verificación formal y refinamientos en P/PMLAuthor: Díaz, Javier RobertoLanguage: EspañolRepository: 37
-
Title: A semi-automatic verification tool for software requirements specification documentsAuthor: Konig, Fabio / Ballejos, Luciana C. / Ale, Mariel AlejandraLanguage: InglésRepository: 37
-
Title: Evaluación de compatibilidad y complejidad para el reuso de serviciosAuthor: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan / Anabalon, Diego / Corgatelli, FrancoLanguage: EspañolRepository: 37
-
Title: Ionizing radiation measurement solution in a hospital environmentAuthor: García Sánchez, Antonio Javier / García Angosto, Enrique Ángel / Moreno Riquelme, Pedro Antonio / Serna Berna, Alfredo / Ramos Amores, DavidLanguage: InglésRepository: 72
-
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security ProtocolsLanguage: InglésRepository: 34Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA
« Previous
1
Next »
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723