Enviaments recents

  • How long are long tandem repeats? A challenge for current methods of whole-genome sequence assembly: The case of satellites in caenorhabditis elegans 

    Subirana Torrent, Juan A.; Messeguer Peypoch, Xavier (2018-10-16)
    Article
    Accés obert
    Repetitive genome regions have been difficult to sequence, mainly because of the comparatively small size of the fragments used in assembly. Satellites or tandem repeats are very abundant in nematodes and offer an excellent ...
  • Automated reasoning for attributed graph properties 

    Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando (2018-11)
    Article
    Accés restringit per política de l'editorial
    Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the ...
  • Support-reducing decomposition for FPGA mapping 

    Machado, Lucas; Cortadella, Jordi (2018-10)
    Article
    Accés obert
    Decomposition is a technology-independent process, in which a large complex function is broken into smaller, less complex functions. The costs of two-level or factored-form representations (cubes and literals) are used in ...
  • Short proofs of the Kneser-Lovász coloring principle 

    Aisenberg, James; Bonet Carbonell, M. Luisa; Buss, Sam; Craciun, Adrian; Istrate, Gabriel (2018-08)
    Article
    Accés restringit per política de l'editorial
    We prove that propositional translations of the Kneser–Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs for all fixed values of k. We present a new counting-based combinatorial ...
  • Programación estructurada (un intento de clarificación) 

    Botella López, Pere; Rodríguez Hontoria, Horacio (Asociación de Técnicos de Informática, 1979-07)
    Article
    Accés obert
  • State-based encoding of large asynchronous controllers 

    Moreno, Albert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2018-01-01)
    Article
    Accés obert
    State encoding is one of the fundamental problems in the synthesis of asynchronous controllers. The requirement for a correct hazard-free implementation imposes severe constraints on the way encoding signals can be inserted ...
  • A priori validation of CFD modelling of hydrocarbon pool fires 

    Rengel Darnaculleta, Francisco de Borja; Mata Miquel, Cristian; Pastor Ferrer, Elsa; Casal Fàbrega, Joaquim; Planas Cuchi, Eulàlia (2018-08-04)
    Article
    Accés restringit per política de l'editorial
    Fires can be an important hazard for the safety of chemical and process industries. Particularly, pool fires are the most frequent fire scenarios in such facilities and can affect other equipment of the plant with severe ...
  • A survey on pre-processing techniques: relevant issues in the context of environmental data mining 

    Gibert, Karina; Sànchez-Marrè, Miquel; Izquierdo, Joaquín (IOS Press, 2016-12)
    Article
    Accés obert
    One of the important issues related with all types of data analysis, either statistical data analysis, machine learning, data mining, data science or whatever form of data-driven modeling, is data quality. The more complex ...
  • Visualization of large molecular trajectories 

    Duran Rosich, David; Hermosilla Casajus, Pedro; Ropinski, Timo; Kozliková, Barbora; Vinacua Pla, Álvaro; Vázquez Alcocer, Pere Pau (2018-09-06)
    Article
    Accés obert
    The analysis of protein-ligand interactions is a time-intensive task. Researchers have to analyze multiple physico-chemical properties of the protein at once and combine them to derive conclusions about the protein-ligand ...
  • Satisfaction and power in unanimous majority influence decision models 

    Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (2018-07)
    Article
    Accés restringit per política de l'editorial
    We consider decision models associated with cooperative influence games, the oblivious and the non-oblivious influence models. In those models the satisfaction and the power measures were introduced and studied. We analyze ...
  • Adaptive monitoring: A systematic mapping 

    Zavala, Edith; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Elsevier, 2018-08-28)
    Article
    Accés restringit per política de l'editorial
    Context: Adaptive monitoring is a method used in a variety of domains for responding to changing conditions. It has been applied in different ways, from monitoring systems’ customization to re-composition, in different ...
  • Encoding process discovery problems in SMT 

    Sole Simò, Marc; Carmona Vargas, Josep (2018-10)
    Article
    Accés obert
    Information systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left ...

Mostra'n més