A pilot study for targeted surveillance of bovine spongiform encephalopathy in Nigeria.

Bovine spongiform encephalopathy (BSE), popularly known as 'mad cow disease', led to an epidemic in Europe that peaked in the mid-1990s. Its impact on developing countries, such as Nigeria, has not been fully established as information on livestock and surveillance has eluded those in charge of this task. The BSE risk to Nigeria's cattle population currently remains undetermined, which has resulted in international trade restrictions on commodities from the cattle population. This is mainly because of a lack of updated BSE risk assessments and disease surveillance data. To evaluate the feasibility of BSE surveillance in Nigeria, we carried out a pilot study targeting cattle that were presented for emergency or casualty slaughter. In total, 1551 cattle of local breeds, aged 24 months and above were clinically examined. Ataxia, recumbency and other neurological signs were topmost on our list of criteria. A total of 96 cattle, which correspond to 6.2%, presented clinical signs that supported a suspect of BSE. The caudal brainstem tissues of these animals were collected post-mortem and analysed for the disease-specific form of the prion protein using a rapid test approved by the International Animal Health Organization (OIE). None of the samples were positive for BSE. Although our findings do not exclude the presence of BSE in Nigeria, they do demonstrate that targeted sampling of clinically suspected cases of BSE is feasible in developing countries. In addition, these findings point to the possibility of implementing clinical monitoring schemes for BSE and potentially other diseases with grave economic and public health consequences.

Legal Aspects of Sino-­African Tied Aid: The Art of Playing with a Legal Grey Area

Sino-African trade has seen a fifty-fold increase in the years 1999 to 2008. In some African regions, particularly in sub-Saharan Africa, China has even replaced the US as the most important trading partner today. But China holds not a single FTA on the African continent, while other major trading partners of African economies rely on an extensive framework of different trade agreements. What is, thus, the legal basis of the recent increase of Sino-African trade? Interestingly, Sino-African trade has seen a particularly strong increase in countries that have entered into tied aid agreements with China. These agreements are commonly known under the term ‘Angola-Model’ and consist of a multifaceted network of barter-trading-systems, aspects of tied aid and concessions for oil and other commodities linked with a state loan. It is likely that these agreements have an impact on the trade-flows between African countries and China. This paper discusses the legal character of this new form of economic cooperation, or modern version of tied aid. Critical legal aspects related to this form of tied aid refer to violation of the principle of most-favoured nation (MFN), illegitimate export subsidies, market access, public procurement and transparency in the international trading system. However, despite the recent outcry of the foremost Western community against the strategy of the Chinese government on the African continent, the practice of the Angola-Model based tied aid is not entirely new, and neither is it against the law. The case of tied aid is situated in a legal grey area that should be examined thoroughly in order to strengthen the international trading system and to support developing countries in their attempt to gain from tied aid arrangements.

The Jurisprudence of the World Trade Organization 2014

In 2014, the Dispute Settlement Body (DSB) of the World Trade Organization (WTO) adopted seven panel reports and six Appellate Body rulings. Two of the cases relate to anti-dumping measures. Three cases, comprising five complaints, are of particular interest and these are summarized and discussed below. China – Rare Earths further refines the relationship between protocols of accession and the general provisions of WTO agreements, in particular the exceptions of Article XX GATT. Recourse to that provision is no longer excluded but depends on a careful case-by-case analysis. While China failed to comply with the conditions for export restrictions, the case reiterates the problem of insufficiently developed disciplines on export restrictions on strategic minerals and other commodities in WTO law. EC – Seals Products is a landmark case for two reasons. Firstly, it limits the application of the Agreement on Technical Barriers to Trade (TBT Agreement) resulting henceforth in a narrow reading of technical regulations. Normative rules prescribing conditions for importation are to be dealt with under the rules of the General Agreement on Tariffs and Trade (GATT) instead. Secondly, the ruling permits recourse to public morals in justifying import restrictions essentially on the basis of process and production methods (PPMs). Meanwhile, the more detailed implications for extraterritorial application of such rules and for the concept of PPMs remain open as these key issues were not raised by the parties to the case. Peru – Agricultural Products adds to the interpretation of the Agreement on Agriculture (AoA), but most importantly, it confirms the existing segregation of WTO law and the law of free trade agreements. The case is of particular importance for Switzerland in its relations with the European Union (EU). The case raises, but does not fully answer, the question whether in a bilateral agreement, Switzerland or the EU can, as a matter of WTO law, lawfully waive their right of lodging complaints against each other under WTO law within the scope of their bilateral agreement, for example the Agreement on Agriculture where such a clause exists.

Sustainable investment in land in the Global South: What would it require from a coherence perspective? The case of Sierra Leone

Large scale acquisitions of land in the Global South have signifi-cantly increased since the millennium. It is often the case that foreign investors are involved in such acquisitions, which are commonly aimed at facilitating the export of commodities. These investments in land tend to transform conventional, rather small scale agricultural systems into large scale, industrial agricultural systems. While investment in ag-riculture in the Global South is much needed, large-scale investments in land often goes hand-in-hand with environmental and human rights re-lated challenges. As a consequence, lawyers need to address questions of sovereignty over natural resources (this paper focuses in particular on land resources), to peoples’ right to self-determination, to the responsi-bilities of the home and host states of the investors, including public-private relationships, and the role of international institutions who are involved, as well as relevant jurisprudence. This paper approaches these questions from the perspective of a theory on policy coherence for sus-tainable development.

Introduction to the Maïdo Lidar Calibration Campaign dedicated to the validation of upper air meteorological parameters

The first operations at the new High-altitude Maïdo Observatory at La Réunion began in 2013. The Maïdo Lidar Calibration Campaign (MALICCA) was organized there in April 2013 and has focused on the validation of the thermodynamic parameters (temperature, water vapor, and wind) measured with many instruments including the new very large lidar for water vapor and temperature profiles. The aim of this publication consists of providing an overview of the different instruments deployed during this campaign and their status, some of the targeted scientific questions and associated instrumental issues. Some specific detailed studies for some individual techniques were addressed elsewhere. This study shows that temperature profiles were obtained from the ground to the mesopause (80 km) thanks to the lidar and regular meteorological balloon-borne sondes with an overlap range showing good agreement. Water vapor is also monitored from the ground to the mesopause by using the Raman lidar and microwave techniques. Both techniques need to be pushed to their limit to reduce the missing range in the lower stratosphere. Total columns obtained from global positioning system or spectrometers are valuable for checking the calibration and ensuring vertical continuity. The lidar can also provide the vertical cloud structure that is a valuable complementary piece of information when investigating the water vapor cycle. Finally, wind vertical profiles, which were obtained from sondes, are now also retrieved at Maïdo from the newly implemented microwave technique and the lidar. Stable calibrations as well as a small-scale dynamical structure are required to monitor the thermodynamic state of the middle atmosphere, ensure validation of satellite sensors, study the transport of water vapor in the vicinity of the tropical tropopause and study their link with cirrus clouds and cyclones and the impact of small-scale dynamics (gravity waves) and their link with the mean state of the mesosphere.

A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

A Unified Approach to Architecture Conformance Checking

Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance