Normative Influences of "Special and Differential Treatment" on North-South RTAs

Recently, there has been a surge in bilateral and regional trade arrangements between developed and developing countries, which are known as North-South RTAs. Under the current legal system of the WTO, North-South RTAs are governed by Article XXIV of the GATT or Article V of the GATS, which means such RTAs must be reciprocal and must cover substantially all the trade. On the other hand, there is another category of rules on RTAs based on the so-called Enabling Clause, which, in exceptional circumstances, provides special and differential treatment (SDT) for RTAs among developing countries. This paper considers the applicability of the SDT concept to North-South RTAs by examining why rules on RTAs and the concept of SDT were incorporated into the GATT/WTO legal framework so as to permit the derogation of most-favored-nation (MFN) obligations.

How do free trade agreements reduce tariff rates and non-tariff barriers?

This paper empirically investigates how far free trade agreements (FTAs) successfully lower tariff rates and non-tariff barriers (NTBs) for manufacturing industries by employing the bilateral tariff and NTB data in a time series for countries around the world. We find that FTAs under GATT Article XXIV and the Enabling Clause contribute to reducing tariff rates by 2.1% points and 1.5% points, respectively. In the case of NTBs, their respective impacts are 6.6% points and 5.7% points. Membership in the World Trade Organization (WTO) does not contribute greatly to reducing tariff rates but does play a significant role in reducing NTBs. These results provide important implications for the literature on numerical assessments of FTAs.

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once),or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms,for which we give a complete satisfiability testing algorithm, w.r.t. available type information. Information about determinacy can be used for program debugging and optimization, resource consumption and granularity control, abstraction carrying code, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Automated attribute inference in complex service workflows based on sharing analysis

The properties of data and activities in business processes can be used to greatly facilítate several relevant tasks performed at design- and run-time, such as fragmentation, compliance checking, or top-down design. Business processes are often described using workflows. We present an approach for mechanically inferring business domain-specific attributes of workflow components (including data Ítems, activities, and elements of sub-workflows), taking as starting point known attributes of workflow inputs and the structure of the workflow. We achieve this by modeling these components as concepts and applying sharing analysis to a Horn clause-based representation of the workflow. The analysis is applicable to workflows featuring complex control and data dependencies, embedded control constructs, such as loops and branches, and embedded component services.

Annotation algorithms for unrestricted independent and-parallelism in logic programs

We present two new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent and-parallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator. This makes it possible to genérate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The difference between the two algorithms stems from whether the order of the solutions obtained is preserved or not. We also report on a preliminary evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

Determinacy analysis for logic programs using mode and type information

We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic (because they cali other predicates that can produce more than one solution). Applications of such determinacy information include detecting programming errors, performing certain high-level program transformations for improving search efñciency, optimizing low level code generation and parallel execution, and estimating tighter upper bounds on the computational costs of goals and data sizes, which can be used for program debugging, resource consumption and granularity control, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efncient.

The CDG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism

There has been significant interest in parallel execution models for logic programs which exploit Independent And-Parallelism (IAP). In these models, it is necessary to determine which goals are independent and therefore eligible for parallel execution and which goals have to wait for which others during execution. Although this can be done at run-time, it can imply a very heavy overhead. In this paper, we present three algorithms for automatic compiletime parallelization of logic programs using IAP. This is done by converting a clause into a graph-based computational form and then transforming this graph into linear expressions based on &-Prolog, a language for IAP. We also present an algorithm which, given a clause, determines if there is any loss of parallelism due to linearization, for the case in which only unconditional parallelism is desired. Finally, the performance of these annotation algorithms is discussed for some benchmark programs.

Towards structured state threading in prolog

It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation of the state information among predicate calis. To partly solve these problems, we introduce contexts as a consistent mechanism for specifying implicit arguments and its threading in clause goals. We propose a notation and an interpretation for contexts, ranging from single goals to complete programs, give an intuitive semantics, and describe a translation into standard Prolog. We also discuss a particular light-weight implementation in Ciao Prolog, and we show the usefulness of our proposals on a series of examples and applications, including code directiy using contexts, DCGs, extended DCGs, logical loops and other custom control structures.

Automatic unrestricted independent and-parallelism in logic programs

We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The main differences between the algorithms stem from whether the order of the solutions obtained is preserved or not, and on the use of determinacy information. We briefly describe the environment where the algorithms have been implemented and the runtime platform in which the parallelized programs are executed. We also report on an evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Analysis of service-oriented computing systems

La computación basada en servicios (Service-Oriented Computing, SOC) se estableció como un paradigma ampliamente aceptado para el desarollo de sistemas de software flexibles, distribuidos y adaptables, donde las composiciones de los servicios realizan las tareas más complejas o de nivel más alto, frecuentemente tareas inter-organizativas usando los servicios atómicos u otras composiciones de servicios. En tales sistemas, las propriedades de la calidad de servicio (Quality of Service, QoS), como la rapídez de procesamiento, coste, disponibilidad o seguridad, son críticas para la usabilidad de los servicios o sus composiciones en cualquier aplicación concreta. El análisis de estas propriedades se puede realizarse de una forma más precisa y rica en información si se utilizan las técnicas de análisis de programas, como el análisis de complejidad o de compartición de datos, que son capables de analizar simultáneamente tanto las estructuras de control como las de datos, dependencias y operaciones en una composición. El análisis de coste computacional para la composicion de servicios puede ayudar a una monitorización predictiva así como a una adaptación proactiva a través de una inferencia automática de coste computacional, usando los limites altos y bajos como funciones del valor o del tamaño de los mensajes de entrada. Tales funciones de coste se pueden usar para adaptación en la forma de selección de los candidatos entre los servicios que minimizan el coste total de la composición, basado en los datos reales que se pasan al servicio. Las funciones de coste también pueden ser combinadas con los parámetros extraídos empíricamente desde la infraestructura, para producir las funciones de los límites de QoS sobre los datos de entrada, cuales se pueden usar para previsar, en el momento de invocación, las violaciones de los compromisos al nivel de servicios (Service Level Agreements, SLA) potenciales or inminentes. En las composiciones críticas, una previsión continua de QoS bastante eficaz y precisa se puede basar en el modelado con restricciones de QoS desde la estructura de la composition, datos empiricos en tiempo de ejecución y (cuando estén disponibles) los resultados del análisis de complejidad. Este enfoque se puede aplicar a las orquestaciones de servicios con un control centralizado del flujo, así como a las coreografías con participantes multiples, siguiendo unas interacciones complejas que modifican su estado. El análisis del compartición de datos puede servir de apoyo para acciones de adaptación, como la paralelización, fragmentación y selección de los componentes, las cuales son basadas en dependencias funcionales y en el contenido de información en los mensajes, datos internos y las actividades de la composición, cuando se usan construcciones de control complejas, como bucles, bifurcaciones y flujos anidados. Tanto las dependencias funcionales como el contenido de información (descrito a través de algunos atributos definidos por el usuario) se pueden expresar usando una representación basada en la lógica de primer orden (claúsulas de Horn), y los resultados del análisis se pueden interpretar como modelos conceptuales basados en retículos. ABSTRACT Service-Oriented Computing (SOC) is a widely accepted paradigm for development of flexible, distributed and adaptable software systems, in which service compositions perform more complex, higher-level, often cross-organizational tasks using atomic services or other service compositions. In such systems, Quality of Service (QoS) properties, such as the performance, cost, availability or security, are critical for the usability of services and their compositions in concrete applications. Analysis of these properties can become more precise and richer in information, if it employs program analysis techniques, such as the complexity and sharing analyses, which are able to simultaneously take into account both the control and the data structures, dependencies, and operations in a composition. Computation cost analysis for service composition can support predictive monitoring and proactive adaptation by automatically inferring computation cost using the upper and lower bound functions of value or size of input messages. These cost functions can be used for adaptation by selecting service candidates that minimize total cost of the composition, based on the actual data that is passed to them. The cost functions can also be combined with the empirically collected infrastructural parameters to produce QoS bounds functions of input data that can be used to predict potential or imminent Service Level Agreement (SLA) violations at the moment of invocation. In mission-critical applications, an effective and accurate continuous QoS prediction, based on continuations, can be achieved by constraint modeling of composition QoS based on its structure, known data at runtime, and (when available) the results of complexity analysis. This approach can be applied to service orchestrations with centralized flow control, and choreographies with multiple participants with complex stateful interactions. Sharing analysis can support adaptation actions, such as parallelization, fragmentation, and component selection, which are based on functional dependencies and information content of the composition messages, internal data, and activities, in presence of complex control constructs, such as loops, branches, and sub-workflows. Both the functional dependencies and the information content (described using user-defined attributes) can be expressed using a first-order logic (Horn clause) representation, and the analysis results can be interpreted as a lattice-based conceptual models.

Estudio y diseño de un régimen fiscal que optimice la inversión en exploración y producción de hidrocarburos

Los regímenes fiscales que se aplican a los contratos de exploración y desarrollo de petróleo y gas, entre los propietarios del recurso natural (generalmente el país soberano representado por su gobierno) y las compañías operadoras internacionales (COI) que aportan capital, experiencia y tecnología, no han sabido responder a la reciente escalada de los precios del crudo y han dado lugar a que los países productores no estén recibiendo la parte de renta correspondiente al incremento de precios. Esto ha provocado una ola de renegociaciones llegándose incluso a la imposición unilateral de nuevos términos por parte de algunos gobiernos entre los que destacan el caso de Venezuela y Argentina, por ser los más radicales. El objetivo del presente trabajo es el estudio y diseño de un régimen fiscal que, en las actuales condiciones del mercado, consiga que los gobiernos optimicen sus ingresos incentivando la inversión. Para ello se simulan los efectos de siete tipos diferentes de fiscalidades aplicadas a dos yacimientos de características muy distintas y se valoran los resultados. El modelo utilizado para la simulación es el modelo de escenarios, ampliamente utilizado tanto por la comunidad académica como por la industria para comparar el comportamiento de diferentes regímenes fiscales. Para decidir cuál de las fiscalidades estudiadas es la mejor se emplea un método optimización multicriterio. Los criterios que se han aplicado para valorar los resultados recogen la opinión de expertos de la industria sobre qué factores se consideran deseables en un contrato a la hora invertir. El resultado permite delinear las características de un marco fiscal ideal del tipo acuerdo de producción compartida, sin royalties, con un límite alto de recuperación de crudo coste que permita recobrar todos los costes operativos y una parte de los de capital en cualquier escenario de precios, un reparto de los beneficios en función de un indicador de rentabilidad como es la TIR, con un mecanismo de recuperación de costes adicional (uplift) que incentive la inversión y con disposiciones que premien la exploración y más la de alto riesgo como la amortización acelerada de los gastos de capital o una ampliación de la cláusula de ringfence. Un contrato con estas características permitirá al gobierno optimizar los ingresos obtenidos de sus reservas de petróleo y gas maximizando la producción al atraer inversión para la exploración y mejorar la recuperación alargando la vida del yacimiento. Además al reducir el riesgo percibido por el inversor que recupera sus costes, menor será la rentabilidad exigida al capital invertido y por tanto mayor la parte de esos ingresos que irá a parar al gobierno del país productor. ABSTRACT Fiscal systems used in petroleum arrangements between the owners of the resource (usually a sovereign country represented by its government) and the international operating company (IOC) that provides capital, knowhow and technology, have failed to allocate profits from the recent escalation of oil prices and have resulted in producing countries not receiving the right share of that increase. This has caused a wave of renegotiations and even in some cases, like Venezuela and Argentina, government unilaterally imposed new terms. This paper aims to outline desirable features of a petroleum fiscal system, under current market conditions, for governments to maximize their revenues while encouraging investment. Firstly the impact of seven different types of fiscal regimes is studied with a simulation for two separate oil fields using the scenario approach. The scenario approach has been frequently employed by academic and business researchers to compare the performance of diverse fiscal regimes. In order to decide which of the fiscal regimes’ performance is best we used a multi-objective optimization decision making approach to assess the results. The criteria applied gather the preferences of a panel of industry experts about the desirable features of a contract when making investment decisions. The results show the characteristics of an ideal fiscal framework that closely resembles a production sharing contract, with no royalty payment and a high cost recovery limit that allows the IOC to recover all operating expenses and a share of its capital costs under any price scenario, a profit oil sharing mechanism based on a profitability indicator such as the ROR, with an uplift that allows to recover an additional percentage of capital costs and provisions that promote exploration investment, specially high-risk exploration, such as accelerated depreciation for capital costs and a wide definition of the ringfence clause. A contract with these features will allow governments to optimize overall revenues from its petroleum resources maximizing production by promoting investment on exploration and extending oil fields life. Also by reducing the investor’s perception of risk it will reduce the minimum return to capital required by the IOC and therefore it will increase the government share of those revenues.

Religion, Democracy and the Public Sphere

Throughout the development and maturation of the American democratic experience, religiously inspired conduct has contributed significantly to democratically progressive political concerns such as the abolition of slavery and campaigns for civil rights, but also the encouragement and perpetuation pf anti-democratic practices such as the institution of slavery and policies of racial segregation. It may be rarely admitted, but there is no essential conceptual affinity between conduct proper to democratic political association. It may, therefore, be useful in our own political circumstances to try to determine boundaries for conduct that expresses and satisfies compatibly both religious and democratic commitments. Perhaps most Americans do recognize – if not in their own cases, at least in reference to the beliefs and actions of others – that religiously inspired conduct is neither thereby justified morally or legally nor absolved from further critical appraisal. Certainly, the history of American legal practice shows that religious belief or inspiration does not serve as acceptable legal defense for conduct charged as criminal infraction. The U.S. Constitution contains only two references to religion: the non-establishment clause prohibits governmental institutionalization of religious beliefs or liberty rights – is limited in scope and application both by other constitutional rights of individuals and by constitutionally authorized powers of government. As the U.S.S.C. has repeatedly held, individual constitutional features must be understood in a manner that harmonizes all stated and implied constitutional features, not by unbridled abstractions of selected phrases. Under the American legal system, there is no absolute or unlimited right to free exercise of religion: not everything done publicly under religious inspiration is legally permissible; what is otherwise illegal conduct is not legalized by religious inspiration. In important respects, general features of the legal boundaries concerning religiously inspired conduct in public life are reasonably clear; nevertheless, broader issues concerning further moral or ethical constraints upon religiously inspired conduct remain unresolved and rarely addressed explicitly.

O uso de medidas antidumping como mecanismo de barreira à entrada no mercado brasileiro

As medidas antidumping são uma exceção ao livre comércio e como tal deveriam ser usadas com restrição. No entanto, desde o GATT 1947 há preocupação com o uso abusivo de tais medidas, podendo ser o mecanismo utilizado não apenas para possibilitar a recuperação da indústria doméstica prejudicada pelas importações objeto de dumping, objetivo do Acordo Antidumping (AAD), mas com o fim de proteger a indústria nacional da concorrência estrangeira. Desta forma, o objetivo do presente trabalho é apresentar as principais características do AAD firmado ao final da Rodada Uruguai que culminou na constituição da Organização Mundial do Comércio (OMC), incluindo seus antecedentes históricos e a possibilidade de aplicação discricionária, demonstrando como uma norma surgida no plano internacional em decorrência de um acordo multilateral vem sendo utilizada pelo Brasil, com a finalidade de se demonstrar a possibilidade de uso das medidas antidumping como barreira à entrada no mercado brasileiro. Confirmada a possibilidade de uso abusivo desse instrumento de defesa comercial, ainda que no plano teórico, uma vez que não é possível analisar os efeitos reais das medidas aplicadas, serão apresentadas as formas de contrabalanço ao protecionismo atualmente existentes no próprio AAD e sua incorporação e utilização pelo Brasil bem como a possibilidade de questionamento de tais medidas como práticas anticompetitivas com fundamento na legislação antitruste perante as autoridades de defesa da concorrência. Serão ainda analisadas outras possibilidades de contrabalanço ao uso exacerbado das medidas antidumping em debate e viabilidade das mesmas no cenário atual em que se verifica, de um lado, o aumento de uso de tais medidas pelos países Membros da OMC, destacando-se o Brasil e, de outro lado, impasse nas negociações multilaterais, cabendo aos Membros tomarem decisões unilaterais sobre a aplicação de tais medidas, seu grau de intensidade e forma de aplicação a depender da proteção que se pretende garantir à indústria nacional.

A onerosidade excessiva na revisão e extinção dos contratos: a concorrência na aplicação da regra dos arts. 317 e 478 do código civil vigente

A presente dissertação tem como tema central a onerosidade excessiva na revisão e extinção dos contratos no direito civil brasileiro. Ela aborda as hipóteses de rompimento do princípio do equilíbrio econômico contratual na fase de execução dos contratos em virtude da superveniência de fatos extraordinários e imprevisíveis que interrompem sua originária relação de equivalência. O presente estudo divide-se em seis grandes partes. Em primeiro lugar, fazem-se necessárias uma introdução e uma descrição da problemática relacionada ao tema. Em seguida, apresenta-se a origem histórica da revisão e da extinção contratual a partir do exame da cláusula rebus sic stantibus. Feito isso, são relatadas as teorias que as fundamentam pela doutrina e pela jurisprudência antes do advento do texto legal expresso que trata da matéria. Concluída essa fase histórica, analisa-se o direito positivo brasileiro vigente, primeiramente, por questões cronológicas, a revisão por onerosidade excessiva no Código de Defesa do Consumidor. Posteriormente, as disposições legais inseridas no Código Civil que possibilitam a revisão e resolução dos contratos por onerosidade excessiva, com uma análise dogmática dos pressupostos positivos e negativos necessários à aplicação dos arts. 317 e 478 do Código Civil. Em seguida, o estudo procura analisar algumas questões pontuais relacionadas à aplicação dos dois artigos, tais como: (i) quem tem legitimidade e interesse para requerer a revisão e resolução dos contratos, de acordo com os arts. 317 e 478 do Código Civil, respectivamente; (ii) qual é o papel do juiz na revisão e resolução dos contratos, de acordo com os arts. 317 e 478 do Código Civil, respectivamente; e (iii) se há concorrência na aplicação desses artigos ou deve ser observado um procedimento sequencial em atenção ao princípio da preservação dos contratos. Finalmente, o trabalho apresenta breve síntese e conclusões.