Two techniques to improve the precision of a demand-driven null-dereference verification approach

The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.

Protection of Digital Telecom Exchanges Against Lightning Surges and Earth Faults

Low-power electronic devices used in digital telecom exchanges are vulnerable to surge voltages and currents primarily originating from natural lightning or due to the direct interactions between electric power and telecommunication lines, etc., causing the earth/ground potential rise, neutral potential rise, and faults in the system. The fault currents may flow directly to telecom lines or through the equipment to the customer's premises, causing adequate damage to the equipment and personnel safety. In wireline applications, analog or digital, central office, exchanges, and subscriber sides have to be protected. Decisive protection and protective methods have to be employed for proper functioning of the equipment under overvoltage/overcurrent conditions. Current investigation reports some interesting results obtained on the recently developed high-voltage high-current protection cards used in digital telecom exchanges. The performances of protection cards both for the ring wave and hybrid wave surges are evaluated and presented. The surge generators required for the investigation are developed and fabricated in house as per the relevant telecom standards.

Las mujeres mozárabes : identidades híbridas y campo de acción del colectivo femenino entre Al- Andalus y la cristianidad

Resumen: La historia de los mozárabes de la Península Ibérica ha sido abordada desde múltiples perspectivas. Sin embargo, la situación de las mujeres de este colectivo no ha sido objeto de mayores estudios. El propósito del presente trabajo será realizar un primer acercamiento a la situación de las mujeres mozárabes, sus características y sus posibilidades de actuación tanto bajo las leyes islámicas, como bajo las normas cristianas. El análisis de esta cuestión se realizará teniendo en cuenta la naturaleza plástica de la identidad mozárabe, como así también el conjunto de normas internas y externas al grupo que modelaron sus posibilidades de acción.

Notable reacción europea ante otro intento laicista : El crucifijo en las escuelas italianas y la Corte de Estrasburgo (a propósito de la sentencia “Lautsi c. Italy”)

Resumen: Del mismo modo como hace no muchos años la ciudadanía europea se conmovió frente al planteo sobre las raíces cristianas en el momento de redactar la Constitución de la Unión Europea, dando lugar a numerosos discursos sobre la necesidad de no olvidar la verdadera cultura y enseñanza que había ennoblecido al Viejo Mundo, hace casi un año una sentencia proveniente de la Corte de Estrasburgo aplicable al Estado italiano, el caso “Lautsi c. Italy”, ha generado numerosas reacciones en diferentes sectores intelectuales permitiendo el desarrollo de notables argumentos que han intentado desenmascarar los verdaderos rostros que se encontraban velados detrás de los lugares comunes de la argumentación jurídico-política de los últimos dos siglos, especialmente los de laicidad, neutralidad, igualdad y libertad. De este modo la radicalización y desarrollo llevado al extremo de las premisas de la Ilustración ha mostrado su real fisonomía y consecuencia. Para tal propósito el análisis se concentra en la apelación a la Grande Chambre presentada por el Estado italiano y los sucesivos aportes provenientes de la doctrina europea, especialmente a través de valiosos Congresos y Jornadas dedicados a la problemática.

La abstracción formal y la validación del razonamiento inductivo

Resumen: Suele admitirse que uno de los problemas pendientes, al menos desde Hume, en la teoría de la ciencia es la justificación crítica de los procesos inductivos, que son los que siguen las ciencias experimentales, como son las ciencias naturales. Frente a las ineficaces explicaciones aportadas por el empirismo o neopositivismo, así como por los racionalismos o idealismos, que son radicalmente incapaces para resolver el problema, nosotros presentamos la respuesta del realismo aristotélico, basada en el correcto concepto de abstracción formal, ignorado o malentendido incluso por muchos aristotélicos tanto antiguos como modernos. La respuesta consiste, en suma, en ver que el término del proceso inductivo, en cuanto llega a conclusiones universales a partir de lo particular, debe estar mediado por un proceso previo de abstracción de la forma, bien entendida, en lo mismo concreto y particular. Ello permite ver que la conclusión universal no desborda las premisas, que es el problema clásico de la epagogé aristotélica.

Liberalismo, neutralidad estatal y perfeccionismo : Rawls y su crítica

Resumen: Este artículo expone ciertos ejes del debate contemporáneo en torno al liberalismo político y la neutralidad estatal para intentar una recapitulación crítica que permita arrojar luz sobre la posibilidad de una posición que concilie el respeto a la pluralidad contemporánea y a ciertos principios constitucionales con la no abdicación del rol que la política debe tener en el fomento de la “vida buena” (lo que en la tradición de la filosofía política anglosajona se ha designado como “perfeccionismo”). El artículo explora, al menos preliminarmente, sobre qué premisas se asentaría dicha conciliación, a través del análisis de la justificación del “perfeccionismo” y del tratamiento del tema del paternalismo estatal, la coerción y el fomento. Se analizan las ideas de Rawls así como las de algunos de sus críticos, en especial de Sandel y – sobre todo– de Raz, dado que es un autor que abre las puertas a la posibilidad de un liberalismo “perfeccionista”, fiel a los principios del liberalismo político clásico, pero que abandona la exigencia de “neutralidad” ante distintas concepciones del bien.

La interpretación constitucional populista

Resumen: El trabajo indaga en el concepto de constitucionalismo popular tal como se lo ha acuñado en los Estados Unidos de Norteamérica; expone sus diversas versiones y se concentra en la obra de Larry Kramer, The people themselves. Estudia las afirmaciones y las posiciones de diferentes juristas y profesores ligados a esta corriente, especialmente en torno al control judicial de constitucionalidad y la interpretación constitucional. Finaliza con una valoración de un conjunto y una crítica a sus premisas y conclusiones.

Apuntes jurídicos sobre el paisaje lingüístico en Euskal Herria

This paper is a study of place-names and signs in the Basque Country from the point of view of language law. These are matters that relate to both the status and corpus of language and contribute to the formation of the language landscape,» After a brief historical introduction, the author focuses on the factors that bear on signs and the language 1andscape: the cornpetence factor and the language factor. The description of the latter leads the author to a discussion of the existing language system, in which the Spanish and Basque sharing official status does not necessarily entail the obligation to use both languages at the same time. Using this discussion as a frame of reference, the au- thor analyses place-names, traffic signals and signs. As for place-names, the existing rules are deemed rigid and lacking in ambition, in that they do not pursue the dissemination of official Basque forms. In traffic signaIs, Basque has to appear alongside Spanish, which is required by Spanish legislation, although this bilingualism excludes place-names that have an official Basque form only. With regard to signs, the author analyses public premises, companies licensed to provide public services and the private sector. For public premises there is no specific regulation, but the status of Basque as an autochthonous language, together with the identification and informatíon purposes of signs, could support the exclusive use of this language, According to the author , companies licensed to provide public services should observe the same language system as the goverment and therefore promote the use of Basque. Finally, in the private sector, the author upholds the legitimacy of measures to promote Basque language use such as tax allowances and exemptions in advertising and commercial signs.

Participação popular na produção legislativa : o caso da legislação urbanística no Brasil pós-Constituinte

Na década de 1980 a questão urbana no Brasil ganhou visibilidade a partir de uma gama de ocupações de imóveis ociosos que ocorreram em diversas cidades importantes do país. Às mobilizações pela redemocratização somou-se a luta pela reforma urbana. Com o advento do Processo Constituinte, ganhou importância a intervenção dos movimentos populares na esfera institucional, cuja principal ferramenta foi a apresentação da Emenda Popular da Reforma Urbana, convertida numa espécie de manifesto-programa pelos defensores da causa. Com a Constituição já promulgada, o movimento pela reforma urbana celebrou o fato de, pela primeira vez na História Constitucional brasileira, a questão urbana ter sido contemplada. O Capítulo de Política Urbana necessitou, contudo, de regulamentação para ter efeitos práticos, o que veio a acontecer com a aprovação do Estatuto da Cidade em 2001. Fazer um balanço da luta pela reforma urbana no Brasil e a da influência do movimento popular no delineamento da legislação urbanística desde o Processo Constituinte é o objetivo primeiro deste trabalho. A intenção de fundo é refletir acerca do modelo de democracia brasileira, tendo por pressuposto a ideia de que a participação popular modelou um regime democrático que avança em relação ao clássico modelo da democracia representativa vigente no mundo ocidental.

Reference Points Based on Dynamic Optimisation: A Versatil Algorithm for Mixed Fishery Management with Bio-economic Agestructured Models

Single-species management objectives may not be consistent within mixed fisheries. They may lead species to unsafe situations, promote discarding of over-quota and/or misreporting of catches. We provide an algorithm for characterising bio-economic reference points for a mixed fishery as the steady-state solution of a dynamic optimal management problem. The optimisation problem takes into account: i) that species are fishing simultaneously in unselective fishing operations and ii)intertemporal discounting and fleet costs to relate reference points to discounted economic profits along optimal trajectories. We illustrate how the algorithm can be implemented by applying it to the European Northern Stock of Hake (Merluccius merluccius), where fleets also capture Northern megrim (Lepidorhombus whiffiagonis) and Northern anglerfish (Lophius piscatorius and Lophius budegassa). We find that optimal mixed management leads to a target reference point that is quite similar to the 2/3 of the Fmsy single-species (hake) target. Mixed management is superior to singlespecies management because it leads the fishery to higher discounted profits with higher long-term SSB for all species. We calculate that the losses due to the use of the Fmsy single-species (hake) target in this mixed fishery account for 11.4% of total discounted profits.

[R_Casalarreina_Condestables] Documentación geométrica del Palacio de los Condestables de Casalarreina (La Rioja)

[ES] La documentación de este proyecto ha servido como base para la realización de los siguientes proyectos y artículos:

Robot navigation in dense crowds : statistical models and experimental studies of human robot cooperation

This thesis explores the problem of mobile robot navigation in dense human crowds. We begin by considering a fundamental impediment to classical motion planning algorithms called the freezing robot problem: once the environment surpasses a certain level of complexity, the planner decides that all forward paths are unsafe, and the robot freezes in place (or performs unnecessary maneuvers) to avoid collisions. Since a feasible path typically exists, this behavior is suboptimal. Existing approaches have focused on reducing predictive uncertainty by employing higher fidelity individual dynamics models or heuristically limiting the individual predictive covariance to prevent overcautious navigation. We demonstrate that both the individual prediction and the individual predictive uncertainty have little to do with this undesirable navigation behavior. Additionally, we provide evidence that dynamic agents are able to navigate in dense crowds by engaging in joint collision avoidance, cooperatively making room to create feasible trajectories. We accordingly develop interacting Gaussian processes, a prediction density that captures cooperative collision avoidance, and a "multiple goal" extension that models the goal driven nature of human decision making. Navigation naturally emerges as a statistic of this distribution.

Most importantly, we empirically validate our models in the Chandler dining hall at Caltech during peak hours, and in the process, carry out the first extensive quantitative study of robot navigation in dense human crowds (collecting data on 488 runs). The multiple goal interacting Gaussian processes algorithm performs comparably with human teleoperators in crowd densities nearing 1 person/m², while a state of the art noncooperative planner exhibits unsafe behavior more than 3 times as often as the multiple goal extension, and twice as often as the basic interacting Gaussian process approach. Furthermore, a reactive planner based on the widely used dynamic window approach proves insufficient for crowd densities above 0.55 people/m². We also show that our noncooperative planner or our reactive planner capture the salient characteristics of nearly any dynamic navigation algorithm. For inclusive validation purposes, we show that either our non-interacting planner or our reactive planner captures the salient characteristics of nearly any existing dynamic navigation algorithm. Based on these experimental results and theoretical observations, we conclude that a cooperation model is critical for safe and efficient robot navigation in dense human crowds.

Finally, we produce a large database of ground truth pedestrian crowd data. We make this ground truth database publicly available for further scientific study of crowd prediction models, learning from demonstration algorithms, and human robot interaction models in general.

Geochemistry of lipids in lacustrine sediments

An explanation of the basic premises of the subject and its terminology is given. The article then outlines aspects of research on the organic material found in lacustrine sediments, and the analytical methods involved.

As competências legislativas na Constituição de 1988: parâmetros para sua interpretação e para a solução de seus conflitos

O presente estudo procura examinar criticamente a forma como as competências legislativas são interpretadas no Brasil. Em especial, pretende-se demonstrar que o tema pode e deve se beneficiar das modernas técnicas e instrumentos desenvolvidos pela dogmática do Direito Constitucional contemporâneo. O trabalho se estrutura em três partes. Na Primeira Parte, serão expostas algumas premissas teóricas sobre a interpretação constitucional, o federalismo e a sindicabilidade judicial das competências, que nortearão o desenvolvimento do estudo. Na Segunda Parte, examinam-se os processos de qualificação das leis e de interpretação das competências legislativas. A partir do esboço de uma teoria das competências legislativas, será defendida a aplicação de parâmetros segundo os quais, em princípio, todos os dispositivos de competência devem ser interpretados da forma mais ampliativa possível, sendo as eventuais restrições, impostas por outras regras de competência, consideradas e justificadas argumentativamente. Em sua Terceira Parte, e última, o estudo identificará o fenômeno dos conflitos de competências legislativas em geral, esquecidos pela doutrina brasileira , examinando, na sequência, alguns critérios para sua solução. Afastada a possibilidade de recurso à supremacia do direito federal e ao princípio da subsidiariedade, bem como a preferências de mérito, serão desenvolvidos dois parâmetros formais e um material para a solução das inconsistências insolúveis entre competências.

Invisível, sutil e palpável: Shén神 nas dimensões diagnose e terapêutica da Racionalidade Médica Chinesa

Shén神 é uma categoria chinesa de sentidos múltiplos e abrangentes, presente na filosofia e na medicina. Direcionaria o processo de surgimento de todas as coisas no universo, como uma força configuradora. Na pessoa, atuaria sobre todos os estágios de desenvolvimento corporal e pessoal, do nascimento até a morte, caracterizando-a como pessoa única no universo. Teve seus sentidos reduzidos pela Medicina Chinesa Contemporânea, hegemônica na China e instituída após a Revolução comunista. Costuma ser traduzida como Espírito ou Mente no ocidente e é indissociável do corpo físico. Está presente em todas as dimensões da Racionalidade Médica Chinesa, observando-se na literatura convencional, grande abrangência de sentidos quando tratada pela dimensão cosmológica, porém costuma ser reduzida aos sentidos de mente, segundo definições ocidentais, quando tratada pelas dimensões de ordem prática: diagnose e terapêutica. O desafio desta tese foi elaborar uma síntese entre os sentidos cosmológicos e as dimensões práticas. Para isso, procedeu a uma pesquisa teórico conceitual, a partir de leituras e interpretações ocidentais de textos clássicos chineses, elaboradas por autores com critério filológico apurado. Observou-se que os sentidos de Shén神 se fazem presentes em ressonância recíproca com diversas outras categorias da Doutrina Médica Chinesa, como Qì氣, Xuè血, Jīng精, Qìng情, Emoções, Zàng-Fǔ贓腑, Órgãos e Vísceras, entre outras. Cada uma delas com atribuições específicas, que, porém, se reorganizariam em ressonância com as outras. Assim, ao proceder a diagnose e instituir uma terapêutica direcionada a cada uma dessas categorias, o terapeuta estaria interferindo diretamente sobre Shén神 e vice versa. Shén神 poderia assumir sentidos diversos, numa visão de totalidade. A partir daí, percebeu-se a necessidade de estudar essas categorias em ressonância com Shén神, além da própria diagnose e da terapêutica, à luz das premissas do Pensamento Chinês. Categorias como processo, totalidade, potencial ou eficácia ajudaram a apreender, não só os amplos sentidos de Shén神, e suas ressonâncias, mas também as peculiaridades do ato de diagnosticar e tratar na Racionalidade Médica Chinesa. Foi, então, elaborada uma visão da Diagnose e da Terapêutica capaz de contemplar Shén神 e suas ressonâncias, que se espera poder utilizar nos serviços de saúde, contribuindo para estratégias de promoção da saúde, estreitamento de vínculos terapeuta-paciente e maior eficácia terapêutica na prática da Racionalidade Médica Chinesa.