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...

"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...

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...