Ara es mostren els items 5092-5111 de 89889

  • Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models 

    Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer, 2012)
    Text en actes de congrés
    Accés obert
    In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in ...
  • Alfabetització digital de dues unitats educatives 

    Palau Tomás, Bernat (2012)
    Pòster (projecte CCD)
    Accés obert
  • Alfabetització en TIC al centre d'educació especial "Servicios Educativos Pasos Adelante" 

    Julià, Guillem (2006)
    Pòster (projecte CCD)
    Accés obert
  • Alfabetització financera: un element clau per la formació dels ciutadans del segle XXI 

    Nos Bueno, Ramon (Universitat Politècnica de Catalunya, 2011-06-27)
    Projecte Final de Màster Oficial
    Accés obert
    Aquest treball pretén donar informació al professorat de matemàtiques sobre la situació actual de l’educació financera, considerada per l’autor una matèria molt important per al desenvolupament de la competència financera, ...
  • Alfabetización ambiental : análisis del proceso de alfabetización ambiental y su relación con el desarrollo sustentable y propuesta de una herramienta que permita cuantificar el nivel de conocimiento suficiente para completar el proceso de alfabetización ambiental 

    Pesis, Susana Paulina (Universitat Politècnica de Catalunya, 2015-10-13)
    Tesi
    Accés obert
    In a holistic vision, our present global society, thanks to the fast speed of the spread of information permits a wider consciousness of the frequency and the scope of natural phenomena and economic disasters. This disasters ...
  • Alfabetización TIC y herramientas software como ayuda en la educación 

    García Maceo, Déborah (Universitat Politècnica de Catalunya, 2007-07-13)
    Projecte/Treball Final de Carrera
    Accés obert
    Se pretende facilitar la labor que desempeñan terapeutas y profesoras del colegio “Pasos Adelante” en el proceso de enseñanza con la implantación de una aula de informática, la instalación y configuración de aplicaciones ...
  • Alfombra Multisensorial 

    López García, Roberto (Universitat Politècnica de Catalunya, 2013-01-15)
    Projecte/Treball Final de Carrera
    Accés obert
    Alfombra Multisensorial es una aplicación que permite crear y ejecutar actividades con un objetivo lúdico y educativo, destinado a personas con discapacidad física, motriz o sensorial con la finalidad de estimular a la ...
  • alg(ae)ryth 

    Tornabell Teixidor, Josep (Universitat Politècnica de Catalunya, 2010-02)
    Projecte/Treball Final de Carrera
    Accés obert
  • Algebra and geometry in Pietro Mengoli (1625-1686) 

    Massa Esteve, Maria Rosa (2003)
    Article
    Accés obert
    One of the most important steps in the research carried out in the seventeenth century into new ways of calculating quadratures was the proposal of algebraic procedures. Pietro Mengoli (1625-1686), probably the most ...
  • Algebra lineal 

    Boadas Elvira, Juan (Edicions UPC, 2002)
    Llibre
    Accés restringit a la comunitat UPC
    Aquest text aborda els temes fonamentals de l'Àlgebra Lineal que formen part dels continguts de primer curs de les carreres d'Enginyeria i Ciències: aplicacions lineals, matrius, determinants, diagonalització, producte ...
  • Algebraic characteritzacions of bipartite distance-regular graphs 

    Fiol, Miquel Àngel (2010-06-10)
    Audiovisual
    Accés obert
  • Algebraic characterizations of bipartite distance-regular graphs 

    Fiol Mora, Miquel Àngel (Iniciativa Digital Politècnica, 2011)
    Text en actes de congrés
    Accés obert
    Bipartite graphs are combinatorial objects bearing some interesting symmetries. Thus, their spectra—eigenvalues of its adjacency matrix—are symmetric about zero, as the corresponding eigenvectors come into pairs. Moreover, ...
  • Algebraic characterizations of distance-regular graphs 

    Fiol Mora, Miquel Àngel (Elsevier, 2002)
    Article
    Accés obert
    We survey some old and some new characterizations of distance-regular graphs, which depend on information retrieved from their adjacency matrix. In particular, it is shown that a regular graph with d+1 distinct eigenvalues ...
  • Algebraic Characterizations of Regularity Properties in Bipartite Graphs 

    Abiad Monge, Aida; Dalfó Simó, Cristina; Fiol Mora, Miquel Àngel (2013)
    Article
    Accés restringit per política de l'editorial
    Regular and distance-regular characterizations of general graphs are well-known. In particular, the spectral excess theorem states that a connected graph GG is distance-regular if and only if its spectral excess (a number ...
  • Algebraic description of Jacobians isogeneous to certain Prym varieties with polarization (1,2) 

    Fedorov, Yuri; Enolski, Viktor Z. (2014-11)
    Report de recerca
    Accés obert
    For a class of non-hyperelliptic genus 3 curves C which are 2-fold coverings of elliptic curves E, we give an explicit algebraic description of all birationally non-equivalent genus 2 curves whose Jacobians are degree 2 ...
  • Algebraic K-theory and cubical descent 

    Pascual Gainza, Pere; Rubió Pons, Llorenç (2009)
    Article
    Accés obert
    In this note we apply the Guillén-Navarro descent theorem to define a descent variant of the algebraic K-theory of varieties over a field of characteristic zero, KD(X), which coincides with K(X) for smooth varieties and ...
  • Algebraic K-theory of schemes and algebraic cycles 

    Neras Lozano, Gerard (Universitat Politècnica de Catalunya, 2016-05)
    Projecte Final de Màster Oficial
    Accés obert
    In this thesis, we introduce the K groups of a scheme. One of the motivations for the definition of the K groups is to prove a generalized version of the Riemann-Roch Theorem. We introduce the K groups of a scheme and ...
  • Algebraic multigrid preconditioning within parallel finite-element solvers for 3-D electromagnetic modelling problems in geophysics 

    Koldan, Jelena; Puzyrev, Vladimir; de la Puente, Josep; Houzeaux, Guillaume; Cela, José M. (Wiley-Blackwell, 2014-06)
    Article
    Accés obert
    We present an elaborate preconditioning scheme for Krylov subspace methods which has been developed to improve the performance and reduce the execution time of parallel node-based finite-element solvers for three-dimensional ...
  • Algebraic tools in phylogenomics. 

    Kedzierska, Anna Magdalena (Universitat Politècnica de Catalunya, 2012-03-16)
    Tesi
    Accés obert
    En aquesta tesi interdisciplinar desenvolupem eines algebraiques per a problemes en filogenètica i genòmica. Per estudiar l'evolució molecular de les espècies sovint s'usen models evolutius estocàstics. L'evolució es ...
  • Algebraic transformation of unary partial algebras I: double-pushout approach 

    Burmeister, P.; Rossello, F.; Torrens, J.; Valiente Feruglio, Gabriel Alejandro (1996-01-01)
    Report de recerca
    Accés obert
    The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout ...