Generic optimality conditions for semi-algebraic convex programs

We consider linear optimization over a nonempty convex semi-algebraic feasible region F. Semidefinite programming is an example. If F is compact, then for almost every linear objective there is a unique optimal solution, lying on a unique \active" manifold, around which F is \partly smooth", and the second-order sufficient conditions hold. Perturbing the objective results in smooth variation of the optimal solution. The active manifold consists, locally, of these perturbed optimal solutions; it is independent of the representation of F, and is eventually identified by a variety of iterative algorithms such as proximal and projected gradient schemes. These results extend to unbounded sets F.

Projecte pilot d'innovació docent de l'assignatura Estructura de Computadors I

L'objectiu del projecte ha estat la millora de la qualitat docent de l'assignatura Estructura de Computadors I, impartida a la Facultat d'Informàtica de Barcelona (UPC) dins els estudis d'Enginyeria Informàtica, Enginyeria Tècnica en Informàtica de Sistemes i Enginyeria Tècnica en Informàtica de Gestió. S'ha treballat en quatre línies d'actuació: (i) aplicació de tècniques d'aprenentatge actiu a les classes; (ii) aplicació de tècniques d'aprenentage cooperatiu no presencials; (iii) implantació de noves TIC i adaptació de les ja emprades per tal d'habilitar mecanismes d'autoavaluació i de realimentació de la informació referent a l'avaluació; i (iv) difusió de les experiències derivades de les diferents actuacions. Referent a les dues primeres mesures s'avalua l'impacte de metodologies docents que afavoreixen l'aprenentatge actiu tant de forma presencial com no presencial, obtenint-se clares millores en el rendiment respecte a altres metodologies utilitzades anteriorment enfocades a la realització de classes del tipus magistral, en què únicament es posa a l'abast dels alumnes la documentació de l'assignatura per a què puguin treballar de forma responsable. Les noves metodologies fan especial èmfasi en el treball en grup a classe i la compartició de les experiències fora de classe a través de fòrums de participació. La mesura que ha requerit més esforç en aquest projecte és la tercera, amb el desenvolupament d'un entorn d'interfície web orientat a la correcció automàtica de programes escrits en llenguatge assemblador. Aquest entorn permet l'autoavaluació per part dels alumnes dels exercicis realitzats a l'assignatura, amb obtenció d'informació detallada sobre les errades comeses. El treball realitzat dins d'aquest projecte s'ha publicat en congressos rellevants en l'àrea docent tant a nivell estatal com internacional. El codi font de l'entorn esmentat anteriorment es posa a disposició pública a través d'un enllaç a la web.

Evaluation of subsidies programs to sell green cars: Impact on prices, quantities and efficiency

During the recent period of economic crisis, many countries have introduced scrappage schemes to boost the sale and production of vehicles, particularly of vehicles designed to pollute less. In this paper, we analyze the impact of a particular scheme in Spain (Plan2000E) on vehicle prices and sales figures as well as on the reduction of polluting emissions from vehicles on the road. We considered the introduction of this scheme an exogenous policy change and because we could distinguish a control group (non-subsidized vehicles) and a treatment group (subsidized vehicles), before and after the introduction of the Plan, we were able to carry out our analysis as a quasi-natural experiment. Our study reveals that manufacturers increased vehicle prices by the same amount they were granted through the Plan (1,000 €). In terms of sales, econometric estimations revealed an increase of almost 5% as a result of the implementation of the Plan. With regard to environmental efficiency, we compared the costs (inverted quantity of money) and the benefits of the program (reductions in polluting emissions and additional fiscal revenues) and found that the Plan would only be beneficial if it boosted demand by at least 30%.

Application of detection probabilities to the design of amphibian monitoring programs in temporary ponds

Failure to detect a species in an area where it is present is a major source of error in biological surveys. We assessed whether it is possible to optimize single-visit biological monitoring surveys of highly dynamic freshwater ecosystems by framing them a priori within a particular period of time. Alternatively, we also searched for the optimal number of visits and when they should be conducted. We developed single-species occupancy models to estimate the monthly probability of detection of pond-breeding amphibians during a four-year monitoring program. Our results revealed that detection probability was species-specific and changed among sampling visits within a breeding season and also among breeding seasons. Thereby, the optimization of biological surveys with minimal survey effort (a single visit) is not feasible as it proves impossible to select a priori an adequate sampling period that remains robust across years. Alternatively, a two-survey combination at the beginning of the sampling season yielded optimal results and constituted an acceptable compromise between sampling efficacy and survey effort. Our study provides evidence of the variability and uncertainty that likely affects the efficacy of monitoring surveys, highlighting the need of repeated sampling in both ecological studies and conservation management.

Evaluating antitrust leniency programs

This paper identifies and then quantifies econometrically the impact of leniency programs on the perception of the effectiveness of antitrust policies using country level panel data for a 10-year span. Leniency programs have been introduced gradually in antitrust legislation across the globe to fight more effectively against cartels. We use the dynamics of the diffusion of such policy innovation across countries and over time to evaluate the impact of the program. We find that leniency programs have had a significant impact on the perception among the business community of the effectiveness of each country‟s antitrust policy. Leniency programs have become weapons of mass dissuasion in the hands of antitrust enforcers against the more damaging forms of explicit collusion among rival firms in the market place.

MyHits: a new interactive resource for protein annotation and domain identification.

The MyHits web server (http://myhits.isb-sib.ch) is a new integrated service dedicated to the annotation of protein sequences and to the analysis of their domains and signatures. Guest users can use the system anonymously, with full access to (i) standard bioinformatics programs (e.g. PSI-BLAST, ClustalW, T-Coffee, Jalview); (ii) a large number of protein sequence databases, including standard (Swiss-Prot, TrEMBL) and locally developed databases (splice variants); (iii) databases of protein motifs (Prosite, Interpro); (iv) a precomputed list of matches ('hits') between the sequence and motif databases. All databases are updated on a weekly basis and the hit list is kept up to date incrementally. The MyHits server also includes a new collection of tools to generate graphical representations of pairwise and multiple sequence alignments including their annotated features. Free registration enables users to upload their own sequences and motifs to private databases. These are then made available through the same web interface and the same set of analytical tools. Registered users can manage their own sequences and annotations using only web tools and freeze their data in their private database for publication purposes.

Generación automática de código con WebRatio

L'aportació d'aquest PFC consistirà en el desenvolupament d'un programa informàtic que verifiqui els fonaments teòrics i els algorismes proposats pels seus autors i proporcionar una eina per a l'experimentació.

Inventory and description of disease management programs in Switzerland

Background: Disease management, a system of coordinated health care interventions for populations with chronic diseases in which patient self-care is a key aspect, has been shown to be effective for several conditions. Little is known on the supply of disease management programs in Switzerland. Objectives: To systematically search, record and evaluate data on existing disease management programs in Switzerland. Methods: Programs met our operational definition of disease management if their interventions targeted a chronic disease, included a multidisciplinary team and lasted at least 6 months. To find existing programs, we searched Swiss official websites, Swiss web-pages using Google, medical electronic database (Medline), and checked references from selected documents. We also contacted personally known individuals, those identified as possibly working in the field, individuals working in major Swiss health insurance companies and people recommended by previously contacted persons (snow ball strategy). We developed an extraction grid and collected information pertaining to the following 8 domains: patient population, intervention recipient, intervention content, delivery personnel, method of communication, intensity and complexity, environment and clinical outcomes (measures?). Results: We identified 8 programs fulfilling our operational definition of disease management. Programs targeted patients with diabetes, hypertension, heart failure, obesity, alcohol dependence, psychiatric disorders or breast cancer, and were mainly directed towards patients. The interventions were multifaceted and included education in almost all cases. Half of the programs included regularly scheduled follow-up, by phone in 3 instances. Healthcare professionals involved were physicians, nurses, case managers, social workers, psychologists and dietitians. None fulfilled the 6 criteria established by the Disease Management Association of America. Conclusions: Our study shows that disease management programs, in a country with universal health insurance coverage and little incentive to develop new healthcare strategies, are scarce, although we may have missed existing programs. Nonetheless, those already implemented are very interesting and rather comprehensive. Appropriate evaluation of these programs should be performed in order to build upon them and try to design a generic disease management framework suited to the Swiss healthcare system.

The philosophical foundations of classical "rDzogs chen" in Tibet : investigating the distinction between dualistic mind (sems) and primordial knowing (ye shes)

While the syncretistic Tibetan tradition known as rDzogs chen ("Great Perfection") has attracted considerable attention over the past few decades, its philosophical foundations remain largely unknown to those unacquainted with its primary sources. This thesis looks at the essentials of rDzogs chen philosophy through the lens of two principal distinctions that the tradition has considered indispensable for understanding its distinctive views and practices: dualistic mind (sems) versus primordial knowing (ye shes) and dharmakâya versus the 'ground of all' (kun gzhi) conditioned experience. Arguing that the distinctions provided classical rDzogs chen scholars with a crucial framework for (a) articulating the necessary conditions of nondual primordial knowing, the conditio sine qua non of rNying ma soteriology, and (b) schematizing the relationship between the exoteric and esoteric vehicles of Indian Buddhism within a unifying conception of the Buddhist path as the progressive disclosure of primordial knowing, the thesis shows how the rDzogs chen philosophy of mind has been integral to the tradition's complex soteriology. The thesis consists of two parts: (1) a detailed philosophical investigation of the distinctions and (2) an anthology of previously untranslated Tibetan materials on the distinctions accompanied by critical editions and introductions. The first part systematically invesigates the nature and scope of the distinctions and traces their evolution and complex relationships with Indian Buddhist Cittamâtra, Madhyamaka, Pramàriavàda, and Vajrayâna views. It concludes with an exploration of some soteriological implications of the mind/primordial knowing distinction that became central to rDzogs chen path hermeneutics in the classical period as authors of rDzogs chen path summaries used this distinction to reconcile progressivist sutric and non-progressivist tantric models of the Buddhist path. The translations and texts included in part two of the thesis consist of (a) a short treatise from Klong chen pa's Miscellaneous Writings entitled Sems dang ye shes kyi dris lan (Reply to Questions Concerning Mind and Primordial Knowing), (b) selected passages on the distinctions from this author's monumental summary of the rDzogs chen snying thig system, the Theg mchog mdzod (Treasury of the Supreme Vehicle), and (c) an excerpt on rDzogs chen distinctions taken from 'Jigs med gling pa's (1729-1798) 18th century Klong chen sNying thig path summary entitled Treasury of Qualities (Yon tan mdzod) along with a word-by- word commentary by Yon tan rgya mtsho (b. 19th c.).