Enviaments recents

  • Applications of distributed and high performance computing to enhance online education 

    Caballé Llobet, Santiago; Li, Wei; Hoseiny, Reza; Zomaya, Albert; Xhafa Xhafa, Fatos (Springer, 2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Modern online education (eLearning) needs are being evolved accordingly with more and more demanding pedagogical and technological requirements. On one hand, advanced learning resources, such as interactive video-lectures, ...
  • Multi-level orchestration of cloud services in OrCS 

    Amato, Flora; Moscato, Francesco; Xhafa Xhafa, Fatos (Springer, 2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Orchestration is a well known topic in old web services literature. Anyway, what Orchestration means for Cloud services is not yet Clear. Services, especially at lower layers of Cloud Architecture, are complex: Scientific ...
  • A prospective fuzzy approach for the development of integral seismic risk scenarios for Barcelona, Spain 

    González Cárdenas, Rubén; Múgica Álvarez, Francisco; Nebot Castells, M. Àngela (SciTePress, 2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    We create a set of synthetic seismic risk scenarios by combining stochastic seismic simulations with social fragility indicators by mean of a fuzzy Mamdani type inference nested-model. The original values of the social ...
  • Proof complexity meets algebra 

    Atserias, Albert; Ochremiak, Joanna (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017)
    Text en actes de congrés
    Accés obert
    We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional and semi-algebraic proof systems, the classical constructions ...
  • An equational approach to concurrency 

    Orejas Valdés, Fernando (Universidad del Pais Vasco, 1982)
    Comunicació de congrés
    Accés obert
    In this paper, we describe how can we use equations to specify the behavour of concurrent processes.
  • Biomedical abbreviation recognition and resolution by PROSA-MED 

    Montalvo, Soto; Oronoz, Maite; Rodríguez Hontoria, Horacio; Martínez, Raquel (CEUR-WS.org, 2017)
    Text en actes de congrés
    Accés obert
    The amount of abbreviations used in biomedical literature increases constantly. Despite the existence of acronym dictionaries, it is not viable to keep them updated with new creations. Thus, in the processing of biomedical ...
  • Aligning textual and graphical descriptions of processes through ILP techniques 

    Sànchez-Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2017)
    Comunicació de congrés
    Accés obert
    With the aim of having individuals from different backgrounds and expertise levels examine the operations in an organization, different representations of business processes are maintained. To have these different ...
  • Modeling a flue-gas desulfurization plant with a fuzzy methodology to optimize the SO2 absorption process 

    Escobet Canal, Antoni; Nebot Castells, M. Àngela; Múgica Álvarez, Francisco; Gamisans Noguera, Javier; Guimerà Villalba, Xavier (2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
  • Parametrización de tipos estructurados de datos 

    Orejas Valdés, Fernando (Asociación Española de Informática y Automática (AEIA), 1979)
    Text en actes de congrés
    Accés obert
    En trabajos anteriores de había presentado un nuevo modelo, funcional y constructivo, para la especificación de tipos estructurados de datos. En este trabajo se extiende el modelo con la definición del concepto de ...
  • Modelo interactivo híbrido de la dinámica de una torre de destilación 

    Joan Arinyo, Robert; Fernández, Rubén O. (Asociación Española de Informática y Automática (AEIA), 1979)
    Text en actes de congrés
    Accés obert
    Se presenta un modelo interactivo híbrido en tiempo real para el estudio de los transitorios de concentración y de temperatura de una torre de destilación en producción contínua en respuesta a perturbaciones introducidas ...
  • Performance evaluation of clustering and collaborative filtering algorithms for resource scheduling in a public cloud environment 

    Goga, Klodiana; Xhafa Xhafa, Fatos; Terzo, Olivier (Springer, 2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Big data has become the cornerstone of modern knowledge based system. However, taking advantage of the knowledge found in big data sets requires advanced solutions to store, access and analyze data in a feasible way, either ...
  • Un nuevo enfoque jerárquico para la reescritura condicional 

    Navarro Gomez, Marisa; Orejas Valdés, Fernando (Asociación Española de Informática y Automática, 1985)
    Text en actes de congrés
    Accés obert
    En este artículo se presenta un nuevo método de reescritura orientado a la ejecución de especificaciones condicionales y basado en la noción de jerarquía. este método, como otros métodos jerárquicos, evita los problemas ...

Mostra'n més