Teaching fundamentals of computing theory: a constructivist approach

A Fundamentals of Computing Theory course involves different topics that are core to the Computer Science curricula and whose level of abstraction makes them difficult both to teach and to learn. Such difficulty stems from the complexity of the abstract notions involved and the required mathematical background. Surveys conducted among our students showed that many of them were applying some theoretical concepts mechanically rather than developing significant learning. This paper shows a number of didactic strategies that we introduced in the Fundamentals of Computing Theory curricula to cope with the above problem. The proposed strategies were based on a stronger use of technology and a constructivist approach. The final goal was to promote more significant learning of the course topics.

Trust region versus line search for computing the optical flow

We consider the numerical treatment of the optical flow problem by evaluating the performance of the trust region method versus the line search method. To the best of our knowledge, the trust region method is studied here for the first time for variational optical flow computation. Four different optical flow models are used to test the performance of the proposed algorithm combining linear and nonlinear data terms with quadratic and TV regularization. We show that trust region often performs better than line search; especially in the presence of non-linearity and non-convexity in the model.

One-seller assignment markets with multi-unit demands

We consider one-seller assignment markets with multi-unit demands and prove that the associated game is buyers-submodular. Therefore the core is non-empty and it has a lattice structure which contains the allocation where every buyer receives his marginal contribution. We prove that in this kind of market, every pairwise-stable outcome is associated to a competitive equilibrium and viceversa. We study conditions under which the buyers-optimal and the seller-optimal core allocations are competitive equilibrium payoff vectors. Moreover, we characterize the markets for which the core coincidences with the set of competitive equilibria payoff vectors. When agents behave strategically, we introduce a procedure that implements the buyers-optimal core allocation as the unique subgame perfect Nash equilibrium outcome.

Effects of unit - based pricing on the waste collection demand : a meta - regression analysis

We perform a meta - analysis of 21 studies that estimate the elasticity of the price of waste collection demand upon waste quantities, a prior literature review having revealed that the price elasticity differs markedly. Based on a meta - regression with a total of 65 observations, we find no indication that municipal data give higher estimates for price elasticities than those associated with household data. Furthermore, there is no evidence that treating prices as exogenous underestimates the price elasticity. We find that much of the variation can be explained by sample size, the use of a weight - based as opposed to a volume - based pricing system, and the pricing of compostable waste. We also show that price elasticities determined in the USA and point estimations of elasticities are more elastic, but these effects are not robust to the changing of model specifications. Finally, our tests show that there is no evidence of publication bias while there is some evidence of the existence of genuine empirical effect.

Concurrent : Easy to use Python computing environment

Concurrent aims to be a different type of task distribution system compared to what MPI like system do. It adds a simple but powerful application abstraction layer to distribute the logic of an entire application onto a swarm of clusters holding similarities with volunteer computing systems. Traditional task distributed systems will just perform simple tasks onto the distributed system and wait for results. Concurrent goes one step further by letting the tasks and the application decide what to do. The programming paradigm is then totally async without any waits for results and based on notifications once a computation has been performed.

Disseny i implementació d'un clúster high performance computing

Clúster format per una màquina principal HEAD Node més 19 nodes de càlcul de la gama SGI13 Altix14 XE Servers and Clusters, unides en una topologia de màster subordinat, amb un total de 40 processadors Dual Core i aproximadament 160Gb de RAM.

Plataforma "Cloud Computing" per la comunicació entre pares i professors (Saas)

El projecte que es presenta a continuació és el resultat fruit de la detecció d’un problema de comunicació entre les escoles (sobretot de primària) i el pares dels alumnes que hi cursen els estudis, i la necessitat de trobar-hi una solució. Amb aquesta premissa, i tenint en compte que la tecnologia cada vegada ens ofereix més i millors eines per gestionar les nostres necessitats, es porta a terme la construcció d’un servei al núvol (Saas) capaç de cobrir aquestes necessitats i de fer-ho de la manera més senzilla i eficient possible. La plataforma Aula és un servei on tant professors com pares dels alumnes poden comunicar-se i consultar la informació referent als seus alumnes (en el cas del professors), i dels seus fills (en el cas dels pares/tutors). La solució adoptada ha de ser capaç de funcionar sobre qualsevol aparell (ordinador, tablet o mòbil) i en qualsevol lloc on hi hagi connexió a Internet. No s’ha de realitzar cap tipus d’instal·lació un cop el sistema estigui funcionant, i s’hi podran registrar tants centres com siguin necessaris, així com professionals i pares dels alumnes. També s’ha valorat el manteniment mínim del sistema i la seva escalabilitat, per poder fer front a diferents volums de dades. Així doncs, el projecte Aula es presenta com una solució per gestionar el dia a dia dels professors i alumnes, però que no pretén ser substitut de cap altre sistema de gestió que pugui tenir el centre.

Extension and evaluation of JXTA protocols for supporting reliable P2P distributed computing

Peer-reviewed

Capillary thermal desorption unit for near real-time analysis of VOCs at sub-trace levels. Application to the analysis of environmental air contamination and breath samples

A capillary microtrap thermal desorption module is developed for near real-time analysis of volatile organic compounds (VOCs) at sub-ppbv levels in air samples. The device allows the direct injection of the thermally desorbed VOCs into a chromatographic column. It does not use a second cryotrap to focalize the adsorbed compounds before entering the separation column so reducing the formation of artifacts. The connection of the microtrap to a GC–MS allows the quantitative determination of VOCs in less than 40 min with detection limits of between 5 and 10 pptv (25 °C and 760 mmHg), which correspond to 19–43 ng m−3, using sampling volumes of 775 cm3. The microtrap is applied to the analysis of environmental air contamination in different laboratories of our faculty. The results obtained indicate that most volatile compounds are easily diffused through the air and that they also may contaminate the surrounding areas when the habitual safety precautions (e.g., working under fume hoods) are used during the manipulation of solvents. The application of the microtrap to the analysis of VOCs in breath samples suggest that 2,5-dimethylfuran may be a strong indicator of a person's smoking status

Real unit labour costs in Eurozone countries: drivers and clusters

We examine the trajectories of the real unit labour costs (RULCs) in a selection of Eurozone economies. Strong asymmetries in the convergence process of the RULCs and its components —real wages, capital intensity, and technology— are uncovered through decomposition and cluster analyses. In the last three decades, the PIIGS (Portugal, Ireland, Italy, Greece, and Spain) succeeded in reducing their RULCs by more than their northern partners. With the exception of Ireland, however, technological progress was weak; it was through capital intensification that periphery economies gained efficiency and competitiveness. Cluster heterogeneity, and lack of robustness in cluster composition, is a reflection of the difficulties in achieving real convergence and, by extension, nominal convergence. We conclude by outlining technology as the key convergence factor, and call for a renewed attention to real convergence indicators to strengthen the process of European integration.