Lenguajes y Ciencias de la Computación - (LCC)
Estas son las colecciones en las que puede catalogar la producción investigadora del departamento Lenguajes y Ciencias de la Computación. Si considera que ninguna de estas se ajusta a su material pida una nueva colección en la sección de sugerencias.
Colecciones en esta comunidad
Envíos recientes
-
IntegraDos: facilitating the adoption of the Internet of Things through the integration of technologies
(UMA Editorial, 2018-11-14)El Internet de las Cosas (IoT) fue un nuevo concepto introducido por K. Asthon en 1999 para referirse a un conjunto identificable de objetos conectados a través de RFID. Actualmente, el IoT se caracteriza por ser una ... -
Segmentación y detección de objetos en imágenes y vídeo mediante inteligencia computacional
(UMA Editorial, 2018-11-09)La presente tesis trata sobre el procesamiento y análisis de imágenes y video mediante sistemas informáticos. Primeramente se hace una introducción, especificando contexto, objetivos y metodología. Luego se muestran los ... -
Bio-inspired Computing and Smart Mobility
(UMA Editorial, 2018-09)Esta tesis doctoral propone soluciones a problemas de movilidad inteligente, concretamente la reducción de los tiempos de viajes en las vías urbanas, las emisiones de gases de efecto invernadero y el consumo de combustible, ... -
Big Data Optimization : Algorithmic Framework for Data Analysis Guided by Semantics
(UMA Editorial, 2018-10-30)Over the past decade the rapid rise of creating data in all domains of knowledge such as traffic, medicine, social network, industry, etc., has highlighted the need for enhancing the process of analyzing large data volumes, ... -
Application of Semantics to Solve Problems in Life Sciences
(UMA Editorial, 2018)La cantidad de información que se genera en la Web se ha incrementado en los últimos años. La mayor parte de esta información se encuentra accesible en texto, siendo el ser humano el principal usuario de la Web. Sin embargo, ... -
WeaFQAs: A Software Product Line Approach for Customizing and Weaving Efficient Functional Quality Attributes
(UMA Editorial, 2018-06)Los atributos de calidad funcionales (FQA) son aquellos que tienen una clara implicación en la funcionalidad del sistema, es decir, existen unos componentes específicos que deben ser incorporados a la arquitectura software ... -
Aplicaciones de inteligencia artificial
(2018-12-13)Las redes neuronales artificiales han sido usadas en innumerables problemas reales. Esta conferencia presenta un resumen de algunas de las aplicaciones más recientes de estas técnicas a problemas reales. Dentro de los ... -
Competición CAEPIA-App: senseUMA
(2018-12-10)El Campus de Teatinos de la Universidad de Málaga cubre un área considerable dentro de la cuidad de Málaga (aproximadamente 2 kilómetros 2 ). Por dicho campus cada dı́a transitan miles de personas pertenecientes a la ... -
Reduction of the size of datasets by using evolutionary feature selection: the case of noise in a modern city
(2018-12-10)Smart city initiatives have emerged to mitigate the negative effects of a very fast growth of urban areas. Most of the population in our cities are exposed to high levels of noise that generate discomfort and different ... -
Complex event processing for health monitoring
(2018-11-26)The increase of the life expectancy has become a problem in regions with a low population density. This fact is caused by the existence of small towns all far from one another and with the peculiarity of many elders with ... -
An Intelligent Advisor for City Traffic Policies
(2018-11-26)Nowadays, city streets are populated not only by private vehicles but also by public transport, fleets of workers, and deliveries. Since each vehicle class has a maximum cargo capacity, we study in this article how ... -
Studying Solutions of the p-Median Problem for the Location of Public Bike Stations
(2018-11-26)The use of bicycles as a means of transport is becoming more and more popular today, especially in urban areas, to avoid the disadvantages of individual car traffic. In fact, city managers react to this trend and actively ... -
Comparing Deep Recurrent Networks Based on the MAE Random Sampling, a First Approach
(2018-11-26)Recurrent neural networks have demonstrated to be good at tackling prediction problems, however due to their high sensitivity to hyper-parameter configuration, finding an appropriate network is a tough task. Automatic ... -
Measuring the Quality of Machine Learning and Optimization Frameworks
(2018-11-26)Software frameworks are daily and extensively used in research, both for fundamental studies and applications. Researchers usually trust in the quality of these frameworks without any evidence that they are correctly build, ... -
Running Genetic Algorithms in the Edge: A First Analysis
(2018-11-26)Nowadays, the volume of data produced by different kinds of devices is continuously growing, making even more difficult to solve the many optimization problems that impact directly on our living quality. For instance, ... -
Rewriting Modulo SMT and Open System Analysis
(2018-11-26)Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ... -
Hacia la docencia “cloud-first” en la ingeniería de software
(2018-11-26)En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ... -
Finding Best Compiler Options for Critical Software Using Parallel Algorithms
(2018-11-21)The efficiency of a software piece is a key factor for many systems. Real-time programs, critical software, device drivers, kernel OS functions and many other software pieces which are executed thousands or even millions ... -
Anytime Algorithms for Multi-Objective Hub Location Problems
(2018-11-20)In many logistic, telecommunications and computer networks, direct routing of commodities between any origin and destination is not viable due to economic and technological constraints. Hub locations problems (HLPs) are ... -
Enriquecimiento automático de ontologías biomédicas mediante el uso de mappings
(2018-11-15)Dione es una representación en OWL del ICD-10-CM, consistente lógicamente, cuyos axiomas definen las inclusiones y exclusiones del ICD-10-CM mediante una metodología basada en los mappings ICD-10-CM/SNOMED-CT, proporcionados ...