Results 71 to 80 of about 22,519 (216)
Revista Científica de la UCSA, 2020 La falta de recursos humanos y logísticos dificultan en gran medida las actividades de monitoreo de Áreas Silvestres Protegidas. La utilización de vehículos aéreos no tripulados (VANT) como herramientas para el monitoreo podría complementar el trabajo ...
M.J. López Ortiz +4 more
doaj
Representación de una historia y su "cono de luz" [Conceptos de relatividad]
, 2009 Ensino Médio::FísicaMuestra una animación que permite trasladar a voluntad a nuestro pequeño Einstein viajero y representa en un diagrama espacio-tiempo su movimiento y el de los extremos de un haz luminoso emitido desde el origen de la historia del ...
Alonso Sánchez, Manuel
core
Rethinking Pointer Reasoning in Symbolic Execution [PDF]
, 2017 Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of
Coppa, Emilio +5 more
core +1 more source
Buenas prácticas hacia el cumplimiento del ODS 7 “Energía Asequible y No Contaminante”
Revista Científica de la UCSA, 2020 La energía es fundamental para casi todos los grandes desafíos y oportunidades en el mundo: atender las necesidades de las mismas en el empleo, seguridad, el cambio climático, producción de alimentos, infraestructura, tecnología; y por, sobre todo, como
M. E. Pecci Oviedo
doaj
Memory Models in Symbolic Execution: Key Ideas and New Thoughts
, 2019 Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of
Camil Demetrescu +4 more
core +1 more source
"Aporte del Postgrado en Ingeniería Electrónica en la formación de investigadores”
Revista Científica de la UCSA, 2019 Aporte del Postgrado en Ingeniería Electrónica en la formación de ...
Jorge Rodas
doaj
k-BLPP - Ball-Larus path profiling across multiple loop iterations
, 2014 In the paper Ball-Larus path profiling across multiple loop iterations appeared at OOPSLA '13 (28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications), we present a new approach to multi-iteration path profiling ...
DEMETRESCU, Camil +5 more
core +1 more source
Vivienda y Ciudad, 2022 Este artículo aborda la intersección de cuidados y territorios, para dar cuenta de las infraestructuras de cuidado y cuánto aportan a la redistribución social en el objetivo de liberar tiempo de las mujeres del trabajo de cuidados que asumen en las ...
Ana Falú, Eva Lía Colombo
doaj
Historia de la formación docente en Paraguay / History of teachers´ training in Paraguay
Praxis Educativa, 2015 El análisis del proceso de la formación docente, en el marco de una perspectiva analítica, permite resaltar aspectos sobresalientes de su evolución. Aun cuando el interés se centra en la formación, se mantiene una visión de conjunto tendiente a lograr ...
Laura Inés Zayas Rossi
doaj