Articles de revista
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
(2018-10-16)
Article
Accés obertRepetitive 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
(2018-11)
Article
Accés restringit per política de l'editorialGraphs 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
(2018-10)
Article
Accés obertDecomposition 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
(2018-08)
Article
Accés restringit per política de l'editorialWe 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)
(Asociación de Técnicos de Informática, 1979-07)
Article
Accés obert -
State-based encoding of large asynchronous controllers
(Institute of Electrical and Electronics Engineers (IEEE), 2018-01-01)
Article
Accés obertState 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
(2018-08-04)
Article
Accés restringit per política de l'editorialFires 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
(IOS Press, 2016-12)
Article
Accés obertOne 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
(2018-09-06)
Article
Accés obertThe 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
(2018-07)
Article
Accés restringit per política de l'editorialWe 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
(Elsevier, 2018-08-28)
Article
Accés restringit per política de l'editorialContext: 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
(2018-10)
Article
Accés obertInformation 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 ...
RSS 1.0