Edge matching puzzles as hard SAT/CSP benchmarks

Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

Transition modes and institutional outcomes in El Salvador and Guatemala

Institutions affect key dimensions of the political process –policy, stability, and conflict. The choice of institutions is thus consequential. I argue that transition modes affect the choice of institutions in predictable and systematic ways. The more balanced power is between the two main bargaining forces –regime elite and opposition– the likelier that the resulting institutions will be pluralistic. Contrarily, the more unbalanced power is in favour of regime elites vis a vis the opposition, the likelier that institutions will be majoritarian. The argument is tested for El Salvador and Guatemala.

Capitalism, unemployment and the transition to the contemporary pattern of growth

A new model of unemployment based on an idea of Marx is presented and used to interpret the development of the British economy from the beginning of capitalism to the present. It is shown that unemployment may be created purposely by capitalists in order to weaken the bargaining position of the workers. This mechanism leads to complex temporal pattern of unemployment and can explain why wages took almost a century and a half to react to the growing capital to labour ratio that characterised early British capitalism.

Thickening of phase change materials (PCM) to avoid segregation

Estudi elaborat a partir d’una estada a Çukurova University, Turquia, al juliol del 2006. L’emmagatzematge d’energia tèrmica ha atret interès en aplicacions tèrmiques com l’aigua calenta, la calefacció i l’aire condicionat. Aquests sistemes són útils per corregir la no coincidència entre la oferta i la demanda d’energia. Principalment hi ha dos tipus de sistemes d’emmagatzematge d’energia tèrmica, emmagatzematge amb calor sensible i amb calor latent. L’emmagatzematge amb calor latent és particularment atractiu degut a la seva habilitat de donar una densitat d’emmagatzematge d’energia més alt i la seva característica d’emmagatzemar calor a una temperatura constant corresponent a la temperatura de transició de fase de la substància emmagatzemadora de calor. Les salts hidratades orgàniques tenen certes avantatges com a materials d’emmagatzematge de calor latent sobre els materials orgànics. En canvi, quan les salts hidratades s’utilitzen com a materials de canvi de fase (PCM) apareixen alguns problemes en les aplicacions d’emmagatzematge de calor latent. Aquests són el subrefredament de les salts hidratades quan es congelen degut a les seves dèbils propietats de nucleació, i la separació de fase que hi apareix degut a una fusió incongruent. En aquest estudi, s’estabilitza sal de Glauber (Na2SO4.10H2O) amb diferents concentracions de poliacrilamida i gelatina per prevenir la fusió incongruent. Per prevenir el subrefredament s’utilitza un agent nucleant amb una estructura cristal•lina semblant a la de la sal de Glauber. La capacitat d’emmagatzematge de calor de les mostres de PCM estabilitzades amb diferents concentracions de gels polimèrics es determinen amb DCS i amb el mètode T-history.

Ten Propositions on Rural Poverty and Agrarian Transition in Central Eurasia

The relation between agricultural development and rural poverty reduction in six Central Eurasian countries, namely Azerbaijan (South Caucasus) and Kazakhstan, Kyrgyzstan, Tajikistan, Turkmenistan and Uzbekistan (Central Asia), is discussed by presenting and analyzing ten propositions. These propositions cover a broad range of issues that relate to rural poverty in this region, such as: the state of income and non-income poverty; the diverse processes of land reform and farm restructuring, and agricultural policy reform; and finally, the institutional and market framework that is needed for dynamic agricultural and rural development. The paper contends that rural poverty is not responding as robustly to rapid economic growth in these countries, and that agricultural growth, in particular in the newly emerging peasant farm sector, is necessary to promote rural poverty reduction.

Mediterranean diet changes during the nutritional transition in Spain

En este trabajo analizaremos en primer lugar la presencia i la importancia de los alimentos que caracterizan la dieta mediterránea en los sistemas alimentarios españoles del siglo XIX. Veremos como evoluciona esta presencia y el su peso a la dieta dentro del proceso de transición nutricional moderna española, contemplando dos períodos: desde finales del XIX hasta la década de 1930, y la segunda mitad del XX, períodos caracterizados por un aumento de la ingesta de alimentos, cereales y patatas primer, y de productos de origen animal después, y por la progresiva convergencia con las dietes de les sociedades desarrolladas, que diluirían o minimizarían progresivamente las características diferenciales mediterráneos. Situaremos los cambios que se producen a España en el contexto europeo, i finalmente, analizaremos en que medida, en la etapa inicial, la dieta seguida se ajustaba a les necesidades de la población y a la dieta actualmente recomendada, y si se produjeron cambios significativos en el curso de la transición alimentaria.

Caracterització d'oscil·ladors basats en CMOS-M/NEMS i la seva aplicació com a sensors de massa

El present projecte tracta sobre la caracterització d'oscil·ladors basats en ressonadors micro/nanoelectromecànics (M/NEMS) i la seva aplicació com a sensors de massa. Els oscil·ladors utilitzats es basen en un pont i una palanca ressoants M/NEMS, integrats en tecnologia CMOS. En primer lloc s'ha fet una introducció teòrica als conceptes utilitzats per a entendre el funcionament i la caracterització dels dispositius. A continuació s'han realitzat proves per tal de caracteritzar els paràmetres importants per a l'ús dels oscil·ladors com a sensors de massa, com la seva estabilitat en freqüència. Per acabar s'han aplicat aquests sensors en la caracterització i modelització del flux de massa a través d'obertures de dimensions micromètriques.

Desenvolupament d'una xarxa de sensors i actuadors sense fils de propòsit industrial

Aquesta memòria de projecte final de carrera és un estudi i implementació bàsica de l’estat actual en quant a les tecnologies/protocols sense fils existents, en particular centrat en ZigBee sobre la plataforma CC2430 de Texas Instruments, per a una aplicació industrial amb una taxa de transferència de dades baixa, que no presenta un alt grau de complexitat, però que requereix gran versatilitat i fiabilitat.

Plataforma per a la simulació de xarxes de sensors

Aquest projecte descriu una plataforma de simulació per a xarxes de sensors des de la perspectiva dels sistemes multi-agents. La plataforma s'ha dissenyat per facilitar la simulació de diferents aplicacions concretes de xarxes de sensors. A més, s'ha entregat com a artefacte del projecte IEA (Institucions Electròniques Autònomes, TIN2006-15662-C02-0) de l'IIIACSIC. Dins l'entorn de l'IEA, aquesta és l'eina que aporta les capacitats de simulació per donar suport al disseny d'algorismes adaptatius per a xarxes de sensors.

The Child is father of the man: implications for the demographic transition

We propose a new theory of the demographic transition based on the evidence that body development during childhood is an important predictor of adult life expectancy. This theory is embodied in an OLG framework where fertility, longevity and education all result from individual decisions. The model displays different regimes, allowing the economy to move slowly from an initial Malthusian regime towards the Modern era. The dynamics reproduces the key features of the demographic transition, including the permanent increase in life expectancy, resulting from improvements in body development, the hump in both population growth and fertility, and a late increase in secondary educational attainments.

Consumer populations and nutritional transition in Spain in the 20th century: a methodology for their reconstruction

One feature of the modern nutrition transition is the growing consumption of animal proteins. The most common approach in the quantitative analysis of this change used to be the study of averages of food consumption. But this kind of analysis seems to be incomplete without the knowledge of the number of consumers. Data about consumers are not usually published in historical statistics. This article introduces a methodological approach for reconstructing consumer populations. This methodology is based on some assumptions about the diffusion process of foodstuffs and the modeling of consumption patterns with a log-normal distribution. This estimating process is illustrated with the specific case of milk consumption in Spain between 1925 and 1981. These results fit quite well with other data and indirect sources available showing that this dietary change was a slow and late process. The reconstruction of consumer population could shed a new light in the study of nutritional transitions.

Smooth Transition Patterns in the Realized Stock- Bond Correlation

Abstract: We analyze the realized stock-bond correlation. Gradual transitions between negative and positive stock-bond correlation is accommodated by the smooth transition regression (STR) model. The changes in regime are de…ned by economic and …financial transition variables. Both in sample and out-of- sample results document that STR models with multiple transition variables outperform STR models with a single transition variable. The most important transition variables are the short rate, the yield spread, and the VIX volatility index. Keywords: realized correlation; smooth transition regressions; stock-bond correlation; VIX index JEL Classifi…cations: C22; G11; G12; G17

Nanotermoparells: heterounions de nanowires

Projecte de recerca elaborat a partir d’una estada a la University of California a Irvine, EEUU, entre juliol del 2007 i gener del 2008. Els termoparells són actualment els sensors de temperatura més populars i més utilitzats per a un ampli rang d’aplicacions: industrials, domèstiques, etc. Aconseguir miniaturar els dispositius fins a dimensions extremadament petites obra un ampli rang de noves aplicacions per aquests dispositius, per exemple, en el camp de la tecnologia lab-on-a-chip. En aquesta investigació, el concepte de termoparell, és a dir, dos cables de diferent metall connectats per un extrem s’ha extrapolat a l’escala nanomètrica, utilitzant nanowires com a element de construcció. Aquests nanowires s’han sintetitzat a través d’un nou procediment desenvolupat en el grup d’investigació de la Universitat de California, Irvine, que ha permès treballar amb nanowires de diferents dimensions (control independent de l’alçada i amplada) i un major grau d’èxit en la fabricació d’aquests termometres. El mètode també permet dipositar aquestes nanoestructures sobre substractes no conductors de manera controlable, simplificant notablement tot el procés de fabricació. L’obtenció d’aquests dispositius ha permès demostrar que, a part de ser bons sensors de temperatura a nivell macroscòpic (fonts de calor ambientals), també permet la determinació de temperatura a nivell microscòpic (fonts de calor focalitzada, com és el cas de feixos làser). Per a la seva caracterització ha estat necessari l’ús de tecnologia puntera (làsers, amplificadors, microscopis de forces atòmiques) i inclòs el disseny de nous dispositius. Aquests nanotermoparells presenten propietats extraordinàries, com una gran sensitivitat, gran velocitat de resposta a estímuls tèrmics, i un comportament estable vers l’ús i el temps.