Ara es mostren els items 39697-39716 de 87742

  • Formal and operational validation of a bus stop public transport network micro simulation 

    Fonseca Casas, Pau; Codina Sancho, Esteve; Montero Mercadé, Lídia; Linares Herreros, Mª Paz; Montañola Sales, Cristina (2014)
    Text en actes de congrés
    Accés obert
    We present a detailed simulation model with the purpose of analyzing the congestion and interaction between bus lines and passengers at stops. Our main goal is to perform a complete validation of a simulation model formalized ...
  • Formal assessment of an innovative web-based tool designed to improve student performance in statistics 

    González Alastrué, José Antonio; Jover, Lluís; Cobo Valeri, Erik; Muñoz Gracia, María del Pilar (2006-07)
    Text en actes de congrés
    Accés obert
    We have developed a web-based tool, called e-status, that is able to generate individually different statistical or mathematical problems and to correct the students´ answers. The tool is well appreciated by the students ...
  • Formal mission specification and execution mechanisms for unmanned aircraft systems 

    Santamaría Barnadas, Eduard (Universitat Politècnica de Catalunya, 2010-06-15)
    Tesi
    Accés obert
    Unmanned Aircraft Systems (UAS) are rapidly gaining attention due to the increasing potential of their applications in the civil domain. UAS can provide great value performing environmental applications, during emergency ...
  • Formal simulation model to optimize building sustainability 

    Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Casanovas Garcia, Josep (2014-03)
    Article
    Accés obert
    In this work, we present a simulation model that makes it possible to find optimal values for various building parameters and the associated impacts that reduce the energy demand or consumption of the building. In the ...
  • Formal Validation of Fuzzy Control Techniques. Perspectives 

    Sala Piqueras, Antonio; Albertos Pérez, Pedro (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1999)
    Article
    Accés obert
    In this paper, a survey of the state of the art and perspectives of two main lines of research in fuzzy control systems is presented: on one hand, the \emph{interpolative-functional line} representing fuzzy systems as ...
  • Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases 

    Pastor Collado, Juan Antonio (1994-07)
    Report de recerca
    Accés obert
    We propose a new method for generating for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database ...
  • Formalism for a multiresolution time series database model 

    Llusa Serra, Aleix; Vila Marta, Sebastià; Escobet Canal, Teresa (2016-03)
    Article
    Accés restringit per política de l'editorial
    We formalise a specialised database management system model for time series using a multiresolution approach. These special purpose database systems store time series lossy compressed in a space-bounded storage. Time series ...
  • Formalismes lògics per al tractament del llenguatge natural 

    Rodríguez Hontoria, Horacio; Martí Antonin, M. Antònia; Castellón Masalles, Irene (Edicions UPC, 1995)
    Llibre
    Accés restringit a la comunitat UPC
    El llibre presenta l'estat de la qüestió sobre el tema del tractament del llenguatge natural utilitzant formalismes lògics. El tema es presenta des d'una doble vessant: els diferents formalismes que s'utilitzen i el seu ...
  • Formalització d'un model d'allaus emprant Specification and Description Language 

    Gómez López, Pedro Jesús (Universitat Politècnica de Catalunya, 2014-01-24)
    Projecte/Treball Final de Carrera
    Accés obert
    Dos models d'allaus de placa, realitzats emprant Specification and Description Language. Inclouen codi extern, llestos per ser carregats al simulador SDLPS
  • Formalización de servicios de implantación de sistemas SCM mediante el estándar SEMDM 

    Caldelas, Alberto; Pastor Collado, Juan Antonio; Mayol Sarroca, Enric (2009)
    Text en actes de congrés
    Accés obert
    Los sistemas SCM son una herramienta importante para muchas empresas en la racionalización y coordinación de sus cadenas de suministros. Pero hasta el momento no existen métodos públicos de implantación de estos sistemas ...
  • Formalization and correctness of the CQC method 

    Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2002-11)
    Report de recerca
    Accés obert
    In this report we formalize a new method that checks Query Containment for queries with negated IDB and EDB predicates as well as equality, inequality and order comparisons. The generality of our approach allows also ...
  • Formalization of provenes fuzzy functional depandency in fuzzy databases 

    Dukić, Nedžad; Avdagić, Zikrija (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2004)
    Article
    Accés obert
    In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is ...
  • Formalizing geographical models using specification and description language, the wildfire example 

    Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
    Text en actes de congrés
    Accés obert
    In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
  • Formalizing geographical models using specification and description language: the wildfire example 

    Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
  • Formas arqueadas en la playa de Carchuna (Granada) 

    Santos Pérez, Francisco Javier; Ortega, Miguel; Losada, Miguel Ángel; Baquerizo, Asunción (Fundación para el Fomento de la Ingeniería del Agua, 2004-09-30)
    Article
    Accés obert
    La playa de Carchuna, en la provincia de Granada, tiene una serie de cúspides de playa de gran escala no periódicamente espaciadas, que se mantienen en la misma posición longitudinal aunque sus dimensiones pueden variar ...
  • Formas de emancipación y gestión social de la vivienda en la ciudad consolidada 

    Garcia Masia, Anna (Centre de Política de Sòl i Valoracions, 2009-06)
    Text en actes de congrés
    Accés obert
    De la aspiración a una biografía propia se diversifican y flexibilizan los recorridos vitales. Se flexibilizan igualmente los hogares patriarcales, cada vez menos autoritarios, con una estructura, composición y organización ...
  • Formas de intervención en grandes conjuntos residenciales 

    Díaz Gómez, César; Ravetllat Mira, Pere Joan; Cornadó Bardón, Còssima; Vima Grau, Sara (2015)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    La adecuación a las actuales exigencias de habitabilidad, las necesidades de mantenimiento, la resolución de procesos patológicos en los edificios, la optimización del balance energético, la búsqueda de una mayor integración ...
  • Formas e desígnios do espaço público na cidade contemporânea: o projecto do espaço público na construção da cidade: casos portugueses 

    Coelho, Rodrigo (Departament d’Urbanisme i Ordenació del Territori. Universitat Politècnica de Catalunya / Facultad de Arquitectura. Universidad de la República, 2015-06)
    Text en actes de congrés
    Accés obert
    Considerando o alastramento fragmentado e descontínuo da mancha urbanizada, e considerando que nas últimas décadas o espaço público tem vindo a perder muitos dos atributos formais e funcionais que teve no passado, o principal ...
  • Format-agnostic approach for production, delivery and rendering of immersive media 

    Thallinger, Georg; Shirley, Ben; Schreer, Oliver; Thomas, Graham; Niamut, O.A.; Macq, J.; Kochale, A.; Batke, J.M.; Ruiz Hidalgo, Javier; Oldfield, Rob (2011)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    The media industry is currently being pulled in the often-opposing directions of increased realism (high resolution, stereoscopic, large screen) and personalisation (selection and control of content, availability on many ...
  • Formatge Garrotxa o Pell Florida: estudi per l'estandardització del protocol de fabricació 

    Rafel i París, Clara (Universitat Politècnica de Catalunya, 2006-09)
    Projecte/Treball Final de Carrera
    Accés obert