Now showing items 41-60 of 842

    • Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 

      Alsinet, Teresa; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip (Springer Verlag, 2002)
      The SAT encodings defined so far for the all-interval-series (ais) problem are very hard for local search but rather easy for systematic algorithms. We define different SAT encodings for the ais problem and provide ...
    • Double P-Tree: A Distributed Architecture for Large-Scale Video-on-Demand 

      Cores Prado, Fernando; Ripoll, A.; Luque, Emilio (Springer Verlag, 2002)
      In order to ensure a more widespread implementation of video-ondemand (VoD) services, it is essential that the design of cost-effective largescale VoD (LVoD) architectures be able to support hundreds of thousands ...
    • AMEEDA: A general-purpose mapping tool for parallel applications on dedicated clusters 

      Yuan, X.; Roig Mateu, Concepció; Ripoll, A.; Senar, M.A.; Guirado Fernández, Fernando; Luque, Emilio (Springer Verlag, 2002)
      The mapping of parallel applications constitutes a difficult problem for which very few practical tools are available. AMEEDA has been developed in order to overcome the lack of a general-purpose mapping tool. The ...
    • Obtención de Modelos 3D a partir de Proyecciones Axonométricas 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; López, M.; Manyà Serres, Felip (2002)
      En este artículo presentamos un método computacional para la resolución del problema de la interpretación de una escena 3D a partir de una proyección axonométrica de la misma. Si bien este problema había sido tratado ...
    • Hidrofugación del acabado del cuero 

      Bartolí Solé, Judit; Bacardit i Dalmases, Anna (Asociación Química Española de la Industria del Cuero, 2002)
      La importancia de los cueros hidrofugados ha aumentado considerablemente estos últimos años debido al auge de algunos deportes como el golf, el montañismo y los deportes de aventura en general. El calzado y demás artículos ...
    • Determinación simultanea de taninos y no taninos en extractos vegetales mediante espectroscopia infrarojo cercano (NIR) y calibración multivariante 

      Cuadros Domènech, Rosa; Lalueza, J.; Morera Prat, Josep M. (Asociación Química Española de la Industria del Cuero, 2002)
      En el presente artículo se describe una nueva metodología para la deteminación de taninos y no taninos en muestras de extractos vegetales de forma simultánea y sin pretratamiento de la muestra. La técnica se basa en el ...
    • Estudio del desengrase en pieles ovinas por espectroscopia en el infrarrojo próximo 

      Canals, Trini; Cantero Gómez, Rosa; Iturriaga Martínez, Hortensia (Asociación Química Española de la Industria del Cuero, 2002)
      Las demandas actuales de respeto por el medio y de rapidez en la realización de los análisis de control, obligan a sustituir métodos contaminantes y lentos por otros no contaminantes y más rápidos. Una buena alternativa ...
    • Una introducción a los algoritmos de satisfactibilidad 

      Ansótegui Gil, Carlos José; Manyà Serres, Felip (Asociación Española para la Inteligencia Artificial (AEPIA), 2003)
      En este artículo se presenta una introducción a los algoritmos de satisfactibilidad. Primero, se describe el procedimiento de Davis-Putnam, que constituye la base de la mayoría de algoritmos completos (por ejemplo: Satz, ...
    • Exact Algorithms for MAX-SAT 

      Zhang, Hantao; Shen, Haiou; Manyà Serres, Felip (Elsevier, 2003)
      The maximum satisfiability problem (MAX-SAT) is stated as follows: Given a boolean formula in CNF, find a truth assignment that satisfies the maximum possible number of its clauses. MAX-SAT is MAX-SNP-complete and received ...
    • Automated monitoring of medical protocols: a secure and distributed architecture 

      Alsinet, Teresa; Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Manyà Serres, Felip (Elsevier, 2003)
      The control of the right application of medical protocols is a key issue in hospital environments. For the automated monitoring of medical protocols, we need a domain-independent language for their representation and a ...
    • Multiprogramming Level of PVM Jobs in a Non-dedicated Linux NOW 

      Giné, Francesc; Solsona Tehàs, Francesc; Barrientos, Jesus; Hernandez, Porfidio; Hanzich, Mauricio; Luque, Emilio (Springer Verlag, 2003)
      Our research is focussed on keeping both local and PVM jobs together in a time-sharing Network Of Workstations (NOW) and efficiently scheduling them by means of dynamic coscheduling mechanisms. In this framework, we ...
    • Cooperating Coscheduling in a Non-dedicated Cluster 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2003)
      Our research is focussed on keeping both local and parallel jobs together in a time-sharing NOW. In such systems, new scheduling approaches are needed to allocate the underloaded resources among parallel jobs. In this ...
    • Dealing with Memory Constraints in a Non-Dedicated Linux Cluster 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (SAGE, 2003)
      Our research is focused on keeping both local and parallel jobs together in a non-dedicated cluster and scheduling them efficiently. In such a system, memory becomes a critical resource for both kinds of job. Thus, the ...
    • Minimizing Paging Tradeoffs Applying Coscheduling Techniques in a Linux Cluster 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2003)
      Our research is focused on keeping both local and parallel jobs together in a non-dedicated cluster or NOW (Network of Workstations) and efficiently scheduling them by means of coscheduling mechanisms. The performance ...
    • Predicting the Best Mapping for Efficient Exploitation of Task and Data Parallelism 

      Guirado Fernández, Fernando; Ripoll, A.; Roig Mateu, Concepció; Yuan, X.; Luque, Emilio (Springer Verlag, 2003)
      The detection and exploitation of different kinds of parallelism, task parallelism and data parallelism often leads to efficient parallel programs. This paper presents a simulation environment to predict the best mapping ...
    • PCM-module to improve hot water heat stores with stratification 

      Mehling, Harald; Cabeza, Luisa F.; Hippeli, S.; Hiebler, Stefan (Elsevier Science, 2003)
      Hot water heat stores with stratification are a common technology used in solar energy systems and reuse of waste heat. Adding a PCM module at the top of the water tank would give the system higher storage density, and ...
    • Thermal performance of sodium acetate trihydrate thickened with different materials as phase change energy storage material 

      Cabeza, Luisa F.; Svensson, Gustav; Hiebler, Stefan; Mehling, Harald (Elsevier, 2003)
      The use of phase change materials (PCMs) in energy storage has the advantage of high energy density and isothermal operation. Although the use of only non-segregating PCMs is a good commercial approach, some desirable ...
    • Natural convection from narrow horizontal plates at moderate Rayleigh numbers 

      Martorell, Ingrid; Herrero, Joan; Grau, Francesc X. (Elsevier, 2003)
      The present work deals with the natural convection flow and heat transfer from a horizontal plate cooled from above.Experiments are carried out for rectangular plates having aspect ratios between / ¼ 0:036 and 0.43 and ...
    • Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 

      Planes Cid, Jordi (Springer Verlag, 2003)
      We developed novel branch and bound algorithms for solving Max-SAT and weighted Max-SAT, which are variants of the algorithm of Borchers & Furman (BFA) [1]. We improved BFA by (i) defining a lower bound of better quality, ...
    • Delivery context negotiated by mobile agents using CC/PP 

      Gil Iranzo, Rosa María; García González, Roberto; Delgado Mercè, Jaime (Springer Verlag, 2003)
      Our approach to content negotiation is a framework of mobile agents, where the agents can migrate from user devices to negotiation servers in order to get access to more resources. We took this approach and now we ...