Results 21 to 30 of about 177,355 (149)
Revista Latino-Americana de Enfermagem, 1999 Este estudo teve por objetivo identificar e analisar atitudes de discentes de instituições de ensino superior sobre utilização do computador no ensino de enfermagem.
Paulo Celso Prado Telles Filho +1 more
doaj +1 more source
Computación Tradicional, Quantum y sus futuras aplicaciones
Revista Científica de Sistemas e Informática, 2022 El siglo veinte fue testigo de todos los avances tecnológicos realizados gracias a la aparición y desarrollo de la computación, desde la primera aparición de la computadora, la tecnología fue creciendo y gracias a la alta gama de innovaciones y ...
Ezequiel Vargas-Torres-Céliz +3 more
doaj +1 more source
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis [PDF]
, 2018 We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non ...
D'ippolito, Nicolás Roque +2 more
core +1 more source
Las implicaciones sociales de la computación
Revista Mexicana de Ciencias Políticas y Sociales, 2019 -
Virve Piho
doaj +1 more source
k-tuple colorings of the Cartesian product of graphs [PDF]
, 2017 A k-tuple coloring of a graph G assigns a set of k colors to each vertex of G such that if two vertices are adjacent, the corresponding sets of colors are disjoint.
Bonomo, Flavia +3 more
core +1 more source
Latin American perspectives to internationalize undergraduate information technology education [PDF]
, 2016 The computing education community expects modern curricular guidelines for information technology (IT) undergraduate degree programs by 2017. The authors of this work focus on eliciting and analyzing Latin American academic and industry perspectives on ...
Angles, Renzo +9 more
core +2 more sources
Summary-based inference of quantitative bounds of live heap objects [PDF]
, 2013 This article presents a symbolic static analysis for computing parametric upper bounds of the number of simultaneously live objects of sequential Java-like programs.
Braberman, Victor Adrian +3 more
core +1 more source
Efficient repeat finding in sets of strings via suffix arrays [PDF]
, 2013 We consider two repeat finding problems relative to sets of strings: (a) Find the largest substrings that occur in every string of a given set; (b) Find the maximal repeats in a given string that occur in no string of a given set. Our solutions are based
Barenbaum, Pablo +4 more
core +5 more sources
El Proyecto Misiones: computación gráfica [PDF]
, 2004 Peer ...
Portella, Underléa Bruscato
core +1 more source
Selective and efficient quantum process tomography in arbitrary finite dimension [PDF]
, 2018 The characterization of quantum processes is a key tool in quantum information processing tasks for several reasons: on one hand, it allows one to acknowledge errors in the implementations of quantum algorithms; on the other, it allows one to ...
Bendersky, Ariel Martin +2 more
core +2 more sources