66 resultados para Constraints of monotonicity


Relevância:

40.00% 40.00%

Publicador:

Resumo:

A lack of archives has impeded reconstructions of moisture pathways for past glaciations in the European Alps. Here, we focus on the confluence area of two palaeoglaciers in the Swiss Plateau that were sourced on the northern (Aare glacier) and southern sides (Valais glacier) of the European Alps. We mapped tunnel valleys in the region using a drilling database, based on which we inferred the relative extent of each glacier c. 270 ka ago when the valleys were formed. We then compared this situation with that of the LGM. We found that, while the Valais glacier expanded farther into the foreland than the Aare glacier during the LGM, the opposite was the case c. 270 ka ago. We also found that LGM glaciers were non-erosive in the distal foreland. These contrasts in extents and erosional efficiencies imply differences in moisture pathways between the LGM and the time when the tunnel valleys were formed.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper examines the legal feasibility of different design options for implementing a differentiated electricity tax based on renewable energy (RE) certificates aimed at promoting green electricity generation. It discusses the issue of likeness in light of the recent WTO jurisprudence and looks at the possibility of justification of differentiated tax rates under the general exceptions of the GATT. It also scrutinizes the potential legal hurdles for the implementation of different tax design options including the use of certificates for RE tax exemption. It argues that the placing of a quota on the number of foreign RE certificates eligible for tax exemptions would likely affect the volumes of imported green electricity and therefore trigger a violation of GATT rules. At the same time, restrictions on the eligibility of RE certificates might be defended under WTO law if they are based on qualitative criteria, such as the attachment of RE certificates to green electricity flows or to a green electricity label that is equally available to domestic and foreign suppliers of RE electricity.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The Itremo region in Central Madagascar comprises a deformed metasedimentary sequence (Itremo Group) that has undergone greenschist to lower amphibolite facies metamorphism. During a first phase of deformation (D1) Itremo Group sediments were deformed into a fold-and-thrust belt and transported toward the E to NE on top of migmatitic gneisses rocks of Anatananarivo block. A second phase of deformation (D2) affected both the fold-and-thrust belt and structurally underlying units, and formed large-scale N-S trending folds with steeply dipping axial planes. A Late Neoproterozoic Th–U–Pb XRF monazite age (565±17 Ma) dates the emplacement of a granite that truncates first-phase structures in the Itremo Group, and indicates that the fold-and-thrust belt formed prior to ≈565 Ma. Th–U–Pb electron microprobe dating was applied to elongated monazites that lie within the first-phase foliation of Itremo Group metapelites. The detrital cores of zoned monazites reveal two distinct age populations at ∼2000 and 1700 Ma, the latter age giving a maximum depositional age for the Itremo Group. Statistical analysis of ages determined from the rims of zoned monazites and from unzoned monazites indicates three Late Proterozoic–Early Paleozoic monazite growth events at about 565–540, 500 and 430 Ma. The oldest age population is contemporaneous within error, with the intrusion of the dated granite. The two younger age populations are found both in the Th–U–Pb and Ar–Ar data; together with the perturbation of the Rb–Sr system we interpret both ages as due to alteration related to fluid circulation events, possibly connected to the emplacement of pegmatite fields in Central Madagascar. Syn-D1 tectonic growth of contact metamorphism minerals such as andalusite has been observed locally in metapelites along the margin of Middle Neoproterozoic (≈800 Ma) granites, suggesting that D1 in the Itremo Group is contemporaneous with the intrusion of granites at ≈800 Ma. The N-S trending D2 folds are associated with ≈E-W shortening during the final assembly of Gondwana in Late Neoproterozoic–Early Cambrian times.