Miracle-dz/UniFAR-FTUs huggingface dataset:
Metamorphic P‐T paths from calcic pelitic schists from the Strafford Dome, Vermont, USA

Metamorphism of the Gile Mountain Formation and Waits River Formation in the Strafford Dome and Townshend-Brownington Syncline in east-central Vermont records two nappe-style events, D1 and D2, followed by doming. D1 formed a muscovite + biotite ± ilmenite schistosity subparallel to compositional layering, SO, and was followed by heating to garnet grade. The temperature and pressure at the end of D1 are estimated to be c. 450d C and 6-8 kbar. D2 variably crenulated and folded S1 during a nearly isothermal pressure increase of 1-2 kbar, calculated from compositions of garnet, which have inclusions trails with progressive crenulation and rotation of the S1 fabric. Similar P-T paths are computed for most of the area, suggesting that the later schistosity developed during emplacement of a regional nappe 3-6 km thick. There is a general lack of D3 (dome-stage) microstructures. Near the Strafford-Willoughby Arch, staurolite and kyanite overgrew S2 in pelites, and plagioclase with increasing XAn overgrew S2 in calcic pelites, reflecting post-D2 heating to a maximum of 550-600d C. Metamorphic pressures at the end of D2 are fairly constant on the west side of the dome, indicating minor dome-stage uplift. In contrast, pressures at the thermal peak of metamorphism decrease by more than 4 kbar east of the dome. The observed pattern of isotherms and isobars is mainly the result of post-metamorphic, differential uplift and unroofing. Finally, a minor, retrograde metamorphism produced the assemblage albite + epidote + K-feldspar + muscovite + chlorite, with grade increasing east toward the Connecticut River.
Development of a new over‐water Advanced Very High Resolution Radiometer dust detection algorithm

A new over–water dust detection algorithm is developed and applied to the 5–channel Advanced Very High Resolution Radiometer (AVHRR) imager onboard the National Oceanic and Atmospheric Administration series of polar orbiting satellites. The algorithm has been developed to improve the distinction between dust and meteorological clouds for very optically thick dust storms that would have previously been flagged as cloud under the Clouds from AVHRR Extended cloud mask algorithm. The algorithm has been assessed by making daily comparisons with data from the Aerosol Robotic Network and by making a climatological comparison with METEOSAT and Total Ozone Mapping Spectrometer data over a portion of the North Atlantic. The new algorithm improves the separation of clouds and airborne dust. Application of the new product to the 5–channel AVHRR historic data sets can provide information on the global dust signal, especially on an interannual time scale.
Human impacts and adaptations in the Caribbean Islands: an historical ecology approach

ABSTRACT Archaeological investigations demonstrate that peoples first settled the Caribbean islands approximately 6000–7000 years ago. At least four major, and multiple minor, migrations took place over the next millennia by peoples from Mesoamerica and South America who practised various subsistence strategies and had different levels of technology. For decades, researchers have been interested in investigating how these groups adapted to and impacted insular environments through time. This paper combines archaeological, palaeoecological, historical, and modern biological data to examine the effects of humans on Caribbean island ecosystems using a historical ecology approach. By synthesising a wide range of data sources, we take a human/nature dialectical perspective to understanding how peoples adapted to and modified their environments. The data suggest that earlier foraging/fishing Archaic groups (ca. 6000–3000 BP), who used a stone tool and shell technology and transported few, if any non-indigenous plants or animals, still impacted island landscapes as evidenced by bird and sloth extinctions. As more advanced ceramic making horticulturalists entered the Antillean chain around 2500 BP, there is an observable change to island environments as a result of forest clearance, overexploitation of both terrestrial and marine resources, and growing populations. Palaeoecological and palaeoenvironmental records also suggest, however, that an increased moisture regime during the late Holocene probably led to a decrease in near-shore salinity and heavier sediment and nutrient loads in rivers. These conditions would have been exacerbated by land clearance for agriculture, leading to coastline progradation, increased turbidity, and mangrove development resulting in changes to the availability of resources for humans on some islands. Although prehistoric peoples in the Caribbean were certainly impacting their environments, it was not until Europeans arrived and population centres grew that intensive and widespread degradation of island landscapes and resources occurred. Modern ecological studies, along with historical and archaeological data, indicate that hundreds of species have been driven to extinction or extirpation – many others have significantly diminished in number, especially within the last two millennia.
Nested Sequents or Tree-hypersequents -A survey

This paper presents an overview of the methods of nested sequents or treehypersequents that were originally introduced to provide a comprehensive proof theory for modal logic. The paper retraces the history of how these methods have developed. Its aim is also to present, in an unified and harmonious way, the most recent results that have been obtained in this framework. These results encompass several technical achievements, such as the interpolation theorem and the construction of countermodels. Special emphasis is also given to the application to logics other than the standard modal ones as well as to relations to other proof theoretic formalisms.
Fissure Detection in Flood Embankments using Electrical Resistivity Tomography

Fissures forming due to desiccation in clayey soils have been shown as a potential source of embankment failure during overtopping. Current methods of visually identifying fissures in flood embankments are inadequate particularly when faced with dense vegetation. The extent of fissuring cannot be discovered without the use of trenching, which is costly and destructive to the embankment structure. Electrical Resistivity Tomography (ERT) offers a non-invasive method for appraising the embankment structure. The presented study compares the use of a survey using ERT on the Thorngumbald embankment, near Kingston Upon Hull, UK, with previous laboratory studies on scale models using miniature resistivity arrays. Large scale scans across the slopes of the embankment showed areas of confirmed fissuring, while miniature arrays were used to fully map the fissures in the subsurface. The positions of surface fissures matched with those resolved from the resistivity data and the results compare favorably with those achieved in the laboratory. Additionally scans were taken across the embankment revealing serious fissuring on the landward face, the side most affected by heavy vegetation.
Hydrology of a part of the Big Sioux drainage basin eastern South Dakota

In 1960 the U.S. Geological Survey, in cooperation with the South Dakota State Water Resources Commission and the South Dakota State Geological Survey, started a program for the hydrogeologic investigation of glacial drift in selected drainage basins in eastern South Dakota. This program was designed to delineate water-bearing deposits of glacial-outwash sand and gravel, and to determine their water-yielding characteristics, particularly with regard to irrigation and industrial use. Investigations of this type will aid in planning the use and conservation of ground water for future agricultural and industrial growth in South Dakota. This report describes the part of the Big Sioux River drainage basin from Sioux Falls north to a U.S. Geological Survey gaging station 9M miles southeast of Brookings (see fig. 1). The drainage area, about 675 square miles, is in the southwestern part of the Coteau des Prairies section of the Central Lowland physiographic province, as defined by Flint (1955, p. 5). It includes the Big Sioux River valley in Moody and north-central Minnehaha Counties, and the uplands that drain into the valley, from Brookings, Lake, Moody, and Minnehaha Counties, South Dakota, and Pipestone and Lincoln Counties, Minnesota. This report is based on data from field and laboratory studies and from published and unpublished records of State and Federal agencies. The investigations included: (1) Delineating area of water-bearing glacial outwash deposits; (2) inventorying wells to locate areas of greatest ground-water potential; (3) examining samples from auger holes to define thickness, extent, and character of water-bearing deposits; (4) determining the altitudes of selected test holes and wells for use in preparing cross sections and watertable maps; (5) collecting and analyzing water samples to determine the chemical character of water; and (6) testing aquifers to determine the hydrologic properties of the water-bearing deposits. Data consisting of logs of wells and test holes, waterlevel measurements, chemical analyses of water, stream-runoff measurements, and determinations of the hydrologic properties of aquifers are contained in a separate report by Ellis and Adolphson (1968).
Use of passive tracers as a diagnostic tool in coupled model simulations-Northern Hemisphere

Abstract This study focuses on the uptake of a passive idealized tracer in the Northern Hemisphere oceans from two coupled ocean–atmosphere simulations: a standard horizontal diffusion case and the second case including the Gent and McWilliams (GM) eddy mixing parameterization. The results are compared with tracer uptake in stand-alone synchronous and asynchronous ocean simulations for the same cases. The GM set of integrations shows tracer penetration reduced from the standard set in all water mass formation regions. There is a strong similarity in the tracer distributions in the stand-alone ocean simulations in both the standard and GM cases. Changes in the velocity fields between the stand-alone ocean and coupled simulations explain many of the differences in the modeled tracer concentrations. There is a particular focus in the study on the dynamics of modeled water mass formation for North Pacific Intermediate Water, Labrador Sea Water, northeast Atlantic mode water, and North Atlantic Deep Water. The.
Role of Hydrology in the Formation of Co‐rich Mn Crusts from the Equatorial N Pacific, Equatorial S Indian Ocean and the NE Atlantic Ocean

Co‐rich Mn crusts from four different locations of the world ocean have been studied to understand the role of dissolved oxygen of the ambient seawater in the formation of Co‐rich Mn crusts. WOCE (World Ocean Circulation Experiment) oxygen profiles of modern seawater in the Equatorial North Pacific Ocean, Equatorial South Indian Ocean and the North East Atlantic Ocean have been evaluated with respect to the occurrence of Co‐rich Mn crusts at depths ranging from 1500 to 3200 m. The oxygen content at these depths varied from ∼90–240 µmol/kg. The oxygen minimum zone (OMZ), with oxygen contents in the range ∼45–100 µmol/kg, is located in the depth range 800–900 m in these regions. The age of the ocean crust on which seamounts formed is in the range 80.3–180 Ma. Profiles of the oxygen contents of seawater with depth in the oceans are shown to be extremely useful in establishing the optimum conditions for the formation of Co‐rich Mn crusts. The use of WOCE oxygen profiles to study geochemical processes in the oceans is highly recommended.
Physical mobile interactions : mobile devices as pervasive mediators for interactions with the real world

So far, mobile devices have mainly been used for interactions between the user, the device and the used service without considering the context of use. However, during the last years we have seen a huge interest in industry and academia in using mobile devices for interactions with things, places and people in the real world, termed physical mobile interactions in this thesis. Until now there has been no comprehensive analysis of these interaction techniques and no user studies have been conducted to analyze when which interaction technique is preferred by which users. Furthermore there is no comprehensive framework available which can be reused by application developers to integrate such interactions into their applications, and no specific methods and best practices have been reported that can be of use when developing physical mobile interactions and applications. This dissertation presents the first comprehensive analysis and classification of physical mobile interactions. Furthermore a mature framework was developed that provides various implementations of four different interaction techniques. These four physical mobile interaction techniques were then used in five different prototypes and analysed in five different user studies. The results concern the advantages and disadvantages of these interaction techniques as seen by potential users. This work also reports experiences, guidelines, methods and best practices that simplify the process of developing physical mobile interactions and applications. Furthermore this dissertation provides an analysis of privacy aspects in mobile interactions with public displays, presents the novel interaction technique rotating compass and the first concept of using the mobile device for direct touch-based interaction with dynamic displays.
Knowledge Representation

— Artificial intelligence research has foundered on the issue of representation. When intelligence is approached in an incremental manner, with Strict reliance on interfacing to the real world through perception and action, reliance on representation disappears. In this paper we outline our approach to incrementally building complete intelligent Creatures. The fundamental decomposition of the intelligent system is not into independent information processing units which must interface with each other via representations. Instead, the intelligent system is decomposed into independent and parallel activity producers which all interface directly to the world through perception and action, rather than interface to each other particularly much. The notions of central and peripheral systems evaporate very thing is both central and peripheral. Based on these principles we have built a very successful series of mobile robots which operate without supervision as Creatures in standard office environments. In this paper, we develop a knowledge representation model for the innovative intelligent retrieval of legal cases, which provides effective legal case management. In our representation model, an issue may need to be further decomposed into sub-issues; factors are categorized into pro-claimant and pro-respondent factors; and contextual features are also introduced to help retrieval. These extensions can effectively reveal the factual relevance between legal cases. Based on the knowledge representation model, we propose the IPF scheme for intelligent legal case retrieval. Experiment and statistical analysis have been conducted to demonstrate the effectiveness of the proposed representation model and retrieval scheme.
An eddy-stimulated hotspot for fixed nitrogen-loss from the Peru oxygen minimum zone

Abstract. Fixed nitrogen (N) loss to biogenic N2 in intense oceanic O2 minimum zones (OMZ) accounts for a large fraction of the global N sink and is an essential control on the ocean's N-budget. However, major uncertainties exist regarding microbial pathways as well as net impact on the magnitude of N-loss and the ocean's overall N-budget. Here we report the discovery of a N-loss hotspot in the Peru OMZ associated with a coastally trapped mesoscale eddy that is marked by an extreme N-deficit matched by biogenic N2 production, high NO2− levels, and the highest isotope enrichments observed so far in OMZ's for the residual NO3−. High sea surface chlorophyll in seaward flowing streamers provides evidence for offshore eddy transport of highly productive, inshore water. Resulting pulses in the downward flux of particles likely stimulated heterotrophic dissimilatory NO3− reduction and subsequent production of biogenic N2 within the OMZ. A shallower biogenic N2 maximum within the oxycline is likely a feature advected by the eddy streamer from the shelf. Eddy-associated temporal-spatial heterogeneity of N-loss, mediated by a local succession of microbial processes, may explain inconsistencies observed among prior studies. Similar transient enhancements of N-loss likely occur within all other major OMZ's exerting a major influence on global ocean N and N isotope budgets.
Hellenicity: Between Ethnicity and Culture

Jonathan M. Hall explores questions of ethnic and national identity in the context of ancient Greece in Hellenicity, drawing on an exceptionally wide range of evidence to determine when, how, why, and to what extent the Greeks conceived themselves as a single people. Hall argues that a subjective sense of Hellenic identity emerged in Greece much later than is normally assumed. For instance, he shows that the four main ethnic subcategories of the ancient Greeks - Akhaians, Ionians, Aiolians, and Dorians - were not primordial survivals from a premigratory period but emerged in precise historical circumstances during the eighth and seventh centuries BC. Furthermore, Hall demonstrates that the terms of defining Hellenic identity shifted from ethnic to broader cultural criteria during the course of the fifth century BC, chiefly due to the influence of Athens, whose citizens formulated a new Athenocentric conception of "Greekness. "
Where the Buffalo Roamed – Or Did They?

Grazing management on the Great Plains has been criticized for not more closely matching the presumed grazing patterns of bison. The critics assume that bison "flash grazed," that is, grazed heavily for a short time, then moved on, and did not return for months or even years. This assumption complements the traditional view of an annual north-south migration of the herds. However, evidence from explorers' and other travelers' journals contradict both flash grazing and annual north-south migration. In a few cases where prolonged continu ous observations were made in the same favorable habitat, bison were seldom absent. In Canada, bison sometimes moved from the plains into the bordering aspen parklands during severe winter weather, but not regularly and not north-south. Throughout the Great Plains, bison num bers were so great and so thoroughly spread over the country that if a herd moved on, they were quickly replaced by another, giving little opportu nity for rest or regrowth of the plant communities. Bison appeared to move in response to local conditions of forage availability, as influenced by weather, fire, and previous grazing. In at least one case, bison re mained on a depleted watershed until they starved, rather than moving to an adjacent watershed with adequate forage.
Relationship between the upper ocean and sea ice during the Antarctic melting season

During the Antarctic ice-melting season, high-resolution sea ice data were collected with the video monitoring system aboard the icebreaker Shirase along with the monitoring of temperature and salinity in the upper ocean. On the basis of these data, relationships among sea ice concentration, temperature, and salinity are investigated. In the ice interior region away from the ice-free ocean, ice concentration is negatively correlated with temperature and positively correlated with salinity for the spatially averaged data, which suggests that the local balances of heat and salt nearly hold in a bulk area. At the ice margin, ice concentration is negatively correlated with both temperature and salinity, suggesting that the local balances are overwhelmed by the effects of ice advection. The expendable bathythermograph profiles at the ice margin also show that a considerable amount of sea ice was advected into the ice-free ocean and subsequently melted there. It is pointed out that a polynya works as an “ice-melting factory” in summer; it absorbs solar radiation during the period of opening, and then melts the ice advected there. Prom a heat budget analysis and ocean structure in the melting season, we propose a simple ice-upper ocean coupled model in which sea ice melts on the bottom and lateral faces with the heat source supplied to the open water area by solar radiation. The relations among ice concentration, temperature, and salinity derived from the model are consistent with the observed relations. The analytic solution for the no lateral melting case shows that the concentration-temperature relation converges to a certain asymptotic curve with time, which explains that the temperature-concentration plot shows a similar relation for any region. Dependence of the relations among ice concentration, temperature, and salinity on the spatial scale is also discussed.
The third Arctic climate pattern: 1930s and early 2000s

Persistent near‐surface warm temperature anomalies have occurred in two localized areas, eastern Siberia/East Siberian Sea and northeastern Canada/Baffin Bay, during winter and spring in recent years (2000–2005) in contrast to previous decades. The proximate cause in winter was a northward displacement and strengthening of the Aleutian Low and a weakening of the Icelandic Low. Spring showed a dipole pattern with higher sea‐level pressure (SLP) on the North American side of the Arctic and lower pressures over Eurasia. Phase space trajectories of arctic climate for 1951–2005 based on the first two EOFs of SLP, the Arctic Oscillation and a Pacific North American‐like (PNA*) pattern, show multi‐annual variability leading to lower SLP and warmer temperatures in the last decades of the 20th century. Recent winters have some projection onto PNA*, but the SLP dipole in recent springs does not strongly project onto either of the two basic climate patterns. The period from 1928–1935 also had a dipole structure in SLP, which contributed to the interdecadal arctic‐wide warm temperature anomalies in the first half of the 20th century. Recognition of the recent persistent and somewhat unique Arctic climate pattern is important as it contributes to the ongoing reorganization of arctic ecosystems.