Buscar recursos académicos

Nowadays,it's well-known that Small and Medium Enterprises (SMEs) generate important contributions to the software industry. Their particular characteristics constitute a challenge to decision makers when selecting techn...

"The emergence of mosquitoes that can avoid indoor-deployed interventions, such as treated bed nets and indoor residual spraying, threatens the mainstay of malaria control in Zambia. Furthermore, the requirement for high...

"We present research work in progress that focuses on data mining tools used for helping teachers to apply a three step knowledge discovering process to diagnose students’ misunderstandings (and their causes) related ...

El artículo está destinado a subrayar el proyecto ARISTARCUS, un conjunto de herramientas de trabajo para la investigación y la enseñanza en temas del área de mundo antiguo Griego y Latino y está disponible en el s...

Las analogías entre sistemas enconómicos y sistemas termodinámicos son a la vez obvias y engañosas. Aún si importantes nociones de la termodinámica no encuentran su contraparte en la economía, la transferencia del...

This research paper uses the terms "tools" to include the computer hardware, software, and connectivity put together under the title Information and Communication Technology (ICT). Authors of this research work considere...

CCP4mg is a project that aims to provide a general-purpose tool for structural biologists, providing tools for X-ray structure solution, structure comparison and analysis, and publication-quality graphics. The map-fittin...

Functional analysis of large gene lists, derived in most cases from emerging high-throughput genomic, proteomic and bioinformatics scanning approaches, is still a challenging and daunting task. The gene-annotation enrich...

The MEME Suite web server provides a unified portal for online discovery and analysis of sequence motifs representing features such as DNA binding sites and protein interaction domains. The popular MEME motif discovery a...

MOTIVATION: Fast and accurate quality control is essential for studies involving next-generation sequencing data. Whilst numerous tools exist to quantify QC metrics, there is no common approach to flexibly integrate thes...

Protein identification and analysis software performs a central role in the investigation of proteins from two-dimensional (2-D) gels and mass spectrometry. For protein identification, the user matches certain empiricall...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"The amount of multidimensional data published on the semantic web (SW) is constantly increasing, due to initiatives such as Open Data and Open Government Data, among other ones. Models, languages, and tools, that allow ...

"In this work, we present goodness-of-fit tests related to the Kolmogorov-Smirnov and Michael statistics and connect them to graphical methods with uncensored and censored data. The Anderson-Darling test is often empiric...

The resolution of optimization problems is of great interest nowadays and has encouraged the development of various information technology methods to attempt solving them. There are several problems related to Software E...

A valid Calderbank-Shor-Steane (CSS) error correction code requires two classical linear codes for the preparation of the initial state (codewords). This code allow to correct for certain errors caused by an unwanted int...

In the MDE (Model Driven Engineering) paradigm, models are thought to be the primary conductors in all software development aspects. A PIM (Platform Independent Model) is transformed into one or more PSMs (Platform Speci...

Agents repesent a new paradigm for developing software applications. In spite of the interest of this particular way of looking at problems, there is considerable discrepancy on exactly what is an agent and which are the...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...

One of the main intents of all digital libraries is to provide wide access to academic resources. Several tools and techniques are available to achieve this goal, some of them focus on harvest and storage of resources wh...

UCSF ChimeraX is the next-generation interactive visualization program from the Resource for Biocomputing, Visualization, and Informatics (RBVI), following UCSF Chimera. ChimeraX brings (a) significant performance and gr...

BACKGROUND: There is no single generally accepted clinical definition of frailty. Previously developed tools to assess frailty that have been shown to be predictive of death or need for entry into an institutional facili...

Abstract The introduction of AlphaFold 2 1 has spurred a revolution in modelling the structure of proteins and their interactions, enabling a huge range of applications in protein modelling and design 2–6 . Here we des...