Building High Strength Mixed Covering Arrays with Constraints

Covering arrays have become a key piece in Combinatorial Testing. In particular, we focus on the efficient construction of Covering Arrays with Constraints of high strength. SAT solving technology has been proven to be well suited when solving Covering Arrays with Constraints. However, the size of the SAT reformulations rapidly grows up with higher strengths. To this end, we present a new incomplete algorithm that mitigates substantially memory blow-ups. The experimental results confirm the goodness of the approach, opening avenues for new practical applications

Multimedia big data computing for in-depth event analysis

While the most part of ”big data” systems target text-based analytics, multimedia data, which makes up about 2/3 of internet traffic, provide unprecedented opportunities for understanding and responding to real world situations and challenges. Multimedia Big Data Computing is the new topic that focus on all aspects of distributed computing systems that enable massive scale image and video analytics. During the course of this paper we describe BPEM (Big Picture Event Monitor), a Multimedia Big Data Computing framework that operates over streams of digital photos generated by online communities, and enables monitoring the relationship between real world events and social media user reaction in real-time. As a case example, the paper examines publicly available social media data that relate to the Mobile World Congress 2014 that has been harvested and analyzed using the described system.Peer ReviewedPostprint (author's final draft

Fragmentation and cluster formation in the Infrared Dark Cloud G14.225−0.506

Treballs Finals de Grau de Física, Facultat de Física, Universitat de Barcelona, Curs: 2022, Tutora: Gemma Busquet RicoWe obtained images of the G14.2 Hub-S with data acquired by ALMA. The visibilities were weighted naturally and with robust=0 with the task tclean of CASA to get different spatial resolutions (160 and 64 AU, respectively). We identified 22 sources with the tool PyBDSF and we estimated their masses and sizes. We found that most of the sources correspond to low-mass protostellar disks but there is a large mass reservoir in the envelope that can feed the protostar to become high-mass star

L'Empremta de Jordi Peix a la ramaderia

L'autor, cap del Servei de Ramaderia sota la direcció de Jordi Peix durant onze anys, recorda, amb la col·laboració d'altres veterinaris, com es treballava a les ordres d'en Peix, com li deien, i les moltes coses que es van fer en l'àmbit de la producció ramadera mentre va estar al capdavant de la Direcció General. Recorda com suggeria en lloc de manar. Com estimulava l'autoformació del tècnic per, després, discutir-hi les idees que li exposava. Com no solament tolerava les crítiques, sinó que les provocava per generar discussions que aportessin noves idees. Recorda com li agradava parlar amb tothom, quan deixava palesa la seva àmplia formació i els dots de bon conversador. I com defensava tenaçment i amb arguments les seves idees fins a arribar a convèncer. Per millorar la producció agroramadera a Catalunya Jordi Peix volia una Administració «col·laboradora», de coresponsabilitat amb els administrats i, per aconseguir els seus objectius, es plantejava dos camins paral·lels: un sector agrari estructurat i amb voluntat de participar i una Administració dotada adequadament de tècnics qualificats i d'equipament per a donar el suport necessari. A més, tenia un model per seguir: el sector agroalimentari francès.The author, head of the Livestock Service of the Government of Catalonia for eleven years under the direction of Jordi Peix, remembers how work was carried out, in co-operation with other veterinarians, under the orders of Peix, and the many things that were achieved in the livestock production area during his time as the head of the Directorate General. The author remembers how Peix made suggestions instead of giving orders and how he encouraged the self-training of technicians, discussing with them afterwards the ideas that they acquired in this way. Peix not only tolerated criticism but encouraged it in order to generate discussions that brought up new ideas. The author also remembers how he liked to talk to everyone, making patent his broad training and his skills as a conversationalist. Healso defended his own ideas tenaciously and with sound arguments when he sought to convince people of them. To improve agro-livestock production in Catalonia, Jordi Peix wanted a “collaborative” Public Administration holding co-responsibility with the people. To achieve his objectives, he proposed two parallel paths: a structured participative agricultural sector and a Public Administration that is properly equipped with qualified technicians and with the facilities required to provide the necessary support. In this respect, he had a model: the French agriculture and food industry.El autor, jefe del Servicio de Ganadería durante once años bajo la dirección de Jordi Peix, recuerda, con la colaboración de otros veterinarios, cómo se trabajaba a las órdenes de «en Peix», como le conocían coloquialmente, y las muchas cosas que se hicieron en el ámbito de la producción ganadera, mientras estuvo al frente de la Dirección General. Recuerda cómo sugería en lugar de mandar. Cómo estimulaba la autoformación del técnico para, después, discutir con él las ideas que le exponía. Cómo no solo toleraba las críticas, sino que las provocaba para generar discusiones que aportaran nuevas ideas. Recuerda cómo le gustaba hablar con todos, evidenciando su amplia formación y sus dotes de buen conversador. Y cómo defendía tenazmente y con argumentos sus ideas, hasta llegar a convencer. Para la mejora de la producción agroganadera en Cataluña, Jordi Peix quería una Administración «colaboradora», en corresponsabilidad con los administrados y, para conseguir sus objetivos, se planteaba dos caminos paralelos: un sector agrario estructurado y con voluntad de participar y una Administración adecuadamente dotada en técnicos cualificados y en equipamiento para dar el apoyo necesario. Además, tenía un modelo que seguir, el sector agroalimentario francés

Towards the cloudification of the social networks analytics

In the last years, with the increase of the available data from social networks and the rise of big data technologies, social data has emerged as one of the most profitable market for companies to increase their benefits. Besides, social computation scientists see such data as a vast ocean of information to study modern human societies. Nowadays, enterprises and researchers are developing their own mining tools in house, or they are outsourcing their social media mining needs to specialised companies with its consequent economical cost. In this paper, we present the first cloud computing service to facilitate the deployment of social media analytics applications to allow data practitioners to use social mining tools as a service. The main advantage of this service is the possibility to run different queries at the same time and combine their results in real time. Additionally, we also introduce twearch, a prototype to develop twitter mining algorithms as services in the cloud.Peer ReviewedPostprint (author’s final draft

Interpretable Decision Trees Through MaxSAT

We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs). In particular, we apply Maximum Satisfiability technology to compute Minimum Pure DTs (MPDTs). We improve the runtime of previous approaches and, show that these MPDTs can outperform the accuracy of DTs generated with the ML framework sklearn

Proposta d'implantació de vehicles elèctrics en una àrea bàsica policial

La proposta d’implantació de vehicles elèctrics en una àrea bàsica policial, té com a finalitat l’estudi de viabilitat de substituir una part dels vehicles Seat Altea XL 1.6TDI de combustió interna utilitzats actualment pel Cos de Mossos d’Esquadra per vehicles totalment elèctrics. L’objectiu de la proposta és, donada aquesta viabilitat, reduir les emissions contaminants dels vehicles dièsel que es fan servir actualment i reduir la contaminació acústica dels motors de combustió per tant pacificar els nuclis urbans on pateixen més aquest tipus de contaminació. L’estudi d’implantació s’ha centrat en una Àrea Bàsica Policial del Cos de Mossos d’Esquadra genèrica de la ciutat de Barcelona, d’on s’han analitzat les unitats i grups que la formen. De l’anàlisi de les necessitats de cada unitat s’ha proposat la substitució de set vehicles de combustió interna del total de la flota policial per vehicles totalment elèctrics. De l’estudi dels serveis de l’Àrea Bàsica Policial també s’ha determinat que el més convenient és una càrrega vinculada instal·lant un punt de càrrega per cada vehicle. Donades les necessitats del servei, dels set punts de carrega, sis seran de càrrega lenta de 3,6 kW per carregar el vehicle en 8-11 hores, mentre que es reservarà la plaça restant per ubicar un punt de càrrega ràpida, per tal de carregar el 80% de la bateria d’un vehicle elèctric en menys de 30 min. El vehicle triat per la proposta ha estat el Volkswagen e-Golf de 105 CV (85 kW), amb un consum de 12,7 kWh i una autonomia de 190 km. Amb aquest model de vehicle la proposta de viabilitat ha estat favorable amb la implantació dels 7 vehicles, amb sis punts de càrrega lenta i un punt de càrrega ràpida. L’estalvi en la inversió d’implantar els set vehicles e-Golf i els diferents punts de, s’obté a partir de 8 anys i 5 mesos de funcionament, suposant un model d’utilització del vehicle de 20.000 quilòmetres anuals

Obtención de modelos estereoscópicos con dos cámaras de video

Primer Premi del Col·legi Oficial d'Enginyers Tècnics en Topografia de Catalunya "Luis Martín Morejón" edició 2011, curs acadèmic 2009/10Este trabajo tiene como primer objetivo visualizar imágenes tridimensionales en tiempo real, es decir, verlas en el monitor al mismo tiempo que están siendo capturadas, salvando el tiempo que el ordenador tarda en tratar las imágenes. Para ello usamos unas gafas anaglíficas y un par de cámaras web convencionales conectadas al ordenador por puerto USB. La primera fase del proyecto ha consistido en la búsqueda de unas librerías que nos eviten implementar las rutinas de lectura y escritura de diversos formatos de imagen (tif, gif, jpeg, etc.), que nos ayuden en el volcado a pantalla, etc., pues creemos que son temas del ámbito informático y poco relevante en fotogrametría. Haciendo una búsqueda por internet dimos con la librería de código libre de visión artificial OpenCV que dispone de todas las funciones anteriormente mencionadas. Paralelamente, realicé un curso intensivo, de dos meses de duración, del lenguaje de programación orientada a objetos C++ en el entorno Visual Studio el cual ha dado un valor añadido al presente proyecto. Una vez familiarizado con el lenguaje C++ y las funciones de la librería OpenCV, se implementaron una serie de ejemplos que mostraban diferentes funciones y posibles aplicaciones. En el último de los ejemplos que se presentan se consiguió la superposición de dos imágenes previamente tratadas con diferentes filtros para que, mediante el uso de unas gafas de anáglifo, se pudiera ver la imagen en tres dimensiones. A partir de aquí, una vez conseguido uno de los objetivos principales, surgieron diferentes ideas. Por ejemplo, desde un simple montaje del par de cámaras para la toma tanto de instantáneas como de vídeos en tres dimensiones con un fin lúdico, hasta la construcción de un distanciómetro mediante una ampliación del código fuente que más adelante mostraremos. Para ello nos vimos en la conveniencia de construir un banco óptico polivalente que nos permitiera anclar y mover a voluntad diferentes dispositivos de captura de imágenes (cámaras, proyectores,…). Cabe destacar que este proyecto forma parte de un conjunto de PFC’S que se están realizando paralelamente en el laboratorio de fotogrametría. Este trabajo puede servir como punto de partida para futuros proyectos finales de carrera que podrán usar tanto partes del código implementado como el banco óptico construido.Award-winnin