Buscar
Mostrando ítems 21-30 de 168
Artículo
Blockchain‑based federation of wireless sensor nodes
(Springer, 2021)
Wireless sensor networks (WSNs), as an integral part of most Internet of Things (IoT) devices, are currently proliferating providing a new paradigm of emerging technologies. It is estimated that the number of globally ...
Ponencia
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
(University of Texas, 2002)
In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is particularly interesting ...
Artículo
CarGene: Characterisation of sets of genes based on metabolic pathways analysis
(Inderscience, 2011)
The great amount of biological information provides scientists with an incomparable framework for testing the results of new algorithms. Several tools have been developed for analysing gene-enrichment and most of them ...
Ponencia
Classification of Gene Expression Profiles: Comparison of K-means and Expectation Maximization Algorithms
(IEEE Computer Society, 2008)
Biomedical research has been revolutionized by high throughput techniques and the enormous amount of data they are able to generate. In particular technology has the capacity to monitor changes in RNA abundance for thou ...
Artículo
Unleashing Constraint Optimisation Problem solving in Big Data environments
(Elsevier, 2020)
The application of the optimisation problems in the daily decisions of companies is able to be used for finding the best management according to the necessities of the organisations. However, optimisation problems imply ...
Artículo
Hybrid business process modeling for the optimization of outcome data
(Elsevier, 2016)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business process. However, most current proposals of declarative languages fail in three aspects: (1) they tend ...
Artículo
Optimization of multi-classifiers for computational biology: application to gene finding and expression
(Springer, 2010)
Genomes of many organisms have been sequenced over the last few years. However, transforming such raw sequence data into knowledge remains a hard task. A great number of prediction programs have been developed to address ...
Artículo
A novel tree-based algorithm to discover seismic patterns in earthquake catalogs
(Elsevier, 2018)
A novel methodology is introduced in this research study to detect seismic precursors. Based on an existing approach, the new methodology searches for patterns in the historical data. Such patterns may contain statistical ...
Ponencia
Enabling Process Mining in Aircraft Manufactures: Extracting Event Logs and Discovering Processes from Complex Data
(CEUR Workshop Proceedings (CEUR-WS.org), 2019)
Process mining is employed by organizations to completely understand and improve their processes and to detect possible deviations from expected behavior. Process discovery uses event logs as input data, which describe ...
Ponencia
Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo común. A veces, la defiición del objetivo usando un acuerdo de proceso de negocio clásico no es ...