Miracle-dz/UniFAR-FTUs huggingface dataset:
Small-Space Algorithms for the Online Language Distance Problem for Palindromes and Squares

We study the online variant of the language distance problem for two classical formal languages, the language of palindromes and the language of squares, and for the two most fundamental distances, the Hamming distance and the edit (Levenshtein) distance. In this problem, defined for a fixed formal language $L$, we are given a string $T$ of length $n$, and the task is to compute the minimal distance to $L$ from every prefix of $T$. We focus on the low-distance regime, where one must compute only the distances smaller than a given threshold $k$. In this work, our contribution is twofold: - First, we show streaming algorithms, which access the input string $T$ only through a single left-to-right scan. Both for palindromes and squares, our algorithms use $O(k \cdot\mathrm{poly}~\log n)$ space and time per character in the Hamming-distance case and $O(k^2 \cdot\mathrm{poly}~\log n)$ space and time per character in the edit-distance case. These algorithms are randomised by necessity, and they err with probability inverse-polynomial in $n$. - Second, we show deterministic read-only online algorithms, which are also provided with read-only random access to the already processed characters of $T$. Both for palindromes and squares, our algorithms use $O(k \cdot\mathrm{poly}~\log n)$ space and time per character in the Hamming-distance case and $O(k^4 \cdot\mathrm{poly}~\log n)$ space and amortised time per character in the edit-distance case.
The Geoarchaeology of Lake Michigan Coastal Dunes

There is a lot to recommend in this interdisciplinary monograph, with its goal of formulating a time-space framework that connectsgeological andbiologicalprocesses and human activity to the presence of coastal archaeological sites. Its significance goes beyondacontribution to theHolocenegeomorphic evolution and geoarchaeology of the North American Great Lakes. This work addresses a basic and important question: What determines the patterns of variability observed in the archaeological record, human behavior, or natural taphonomic processes? The authors have succeeded in demonstrating the value of integrating a thorough understanding of landscape processes with the patterns of variability in the archaeological record. Along the western coastline of Michigan are dunes that in some cases contain artifacts. This study examines the evolution of Lake Michigan coastal dunes, their age and
Climate Model Dependence and the Ensemble Dependence Transformation of CMIP Projections

AbstractObtaining multiple estimates of future climate for a given emissions scenario is key to understanding the likelihood and uncertainty associated with climate-related impacts. This is typically done by collating model estimates from different research institutions internationally with the assumption that they constitute independent samples. Heuristically, however, several factors undermine this assumption: shared treatment of processes between models, shared observed data for evaluation, and even shared model code. Here, a “perfect model” approach is used to test whether a previously proposed ensemble dependence transformation (EDT) can improve twenty-first-century Coupled Model Intercomparison Project (CMIP) projections. In these tests, where twenty-first-century model simulations are used as out-of-sample “observations,” the mean-square difference between the transformed ensemble mean and “observations” is on average 30% less than for the untransformed ensemble mean. In addition, the variance of t.
Dynamics of retreating slabs : 2. Insights from three-dimensional laboratory experiments

[1] A laboratory analogue of a three-layer linear viscous slab-upper mantle-lower mantle system is established in a silicone putty, honey and crystallized honey tank experiment. The same setup as in the numerical investigation (part 1) is used. We focus on the interaction of the slab with the induced passive mantle flow by widely varying the mantle volume flux boundary conditions. In our numerical experiments the lateral volume flux was set to zero. In interpreting the results relative to the real Earth, the base of the box is taken as the bottom of the mantle convection system, while the lateral boundaries may be associated with the presence of other nearby slabs. Dynamic force equilibrium, assessed on the basis of an analytical review of forces, is described for four different phases: (1) the subduction initiation instability, (2) the accelerating dynamic free fall phase of the slab, (3) the dynamic interaction with the 660-km discontinuity, and (4) a final phase of steady state trench retreat. Phase 3 is an important feature not observed in the numerical experiments. This highly dynamic phase of interrupted trench retreat can therefore be attributed to boundary conditions on mantle volume flux. On the basis of integration constants of force equilibrium in phases 2 and 4 we identify two different classes of volume flux: one in which the lateral boundary can be considered open and the other class where it is “closed. ” Closed boundary condition cases are obtained if any of the lateral box boundaries are 600 km away from the slab. Assuming a one-to-one relation between trench retreat and back arc spreading, enigmatic observations of episodic opening of back arc basins can be explained by our experimental observations.
The role of vegetation in determining patterns of the accretion of salt marsh sediment

Abstract Vegetation contributes to the stability of the salt marsh surface both through the soil reinforcement provided by the root mass and by the ability of the aerial component of plant growth to increase the rates of sediment deposition. Salt marsh vegetation is variable in height, thickness and also in stiffness. These characteristics can all modify the role of the vegetation in trapping sediment. As the height of the vegetation increases so also does Manning’s ‘n’, coefficient of roughness, but the taller vegetation is more easily flattened by moving water. It is not necessarily, therefore, more effective in slowing water flow and increasing sediment deposition. Shorter vegetation (mean height = 50 mm) has been shown to be quite effective, particularly if it is stiff enough to resist being flattened by the water at the rates of flow experienced. The interplay of rates of sediment deposition is discussed with reference to data relating vegetation structure and pattern to local variations in accretion rates in salt marshes at Stiffkey, Norfolk, and Tollesbury, Essex, over a period of three years. At Tollesbury the mean annual rate of accretion was estimated to be 4.27 mm a−1 but there was no correlation between the vegetation height (mean height = 148 mm) and changes in surface level. At Stiffkey however the annual rate of accretion was estimated to be 3.08 mm a−1, but there was a significant positive correlation between vegetation height (mean height = 75 mm) and accretion. There is evidence that the relationship between effective vegetation height and the process of sediment accumulation is complex. Factors that can affect the relationship include the nature of the sediment, the height and composition of the vegetation and the microtopography and elevation of the marsh itself.
Amplitude-variation-with-offset, elastic-impedence, and wave-equation synthetics — A modeling study

Amplitude-variation-with-offset (AVO) and elastic-impedance (EI) analysis use an approximate plane P-wave reflection coefficient as a function of angle of incidence. AVO and EI both can be used in a three-term or a two-term formulation. This study uses synthetic data to demonstrate that the P-wave primary reflections at large offsets can be contaminated by reflections from other wave modes that can affect the quality of three-term AVO or EI results. The coupling of P-waves and S-waves in seismic-wave propagation through finely layered media generates the interfering wave modes. A methodology such as prestack-wave-equation modeling can properly account for these coupling effects. Both AVO and EI also assume a convolutional model whose accuracy decreases as incidence angles increase. On the other hand, wave-equation modeling is based on the rigorous solution to the wave equation and is valid for any incidence angle. Because wave interference is minimal at small angles, a two-term AVO/EI analysis that restri.
Column‐integrated aerosol optical properties over the Maldives during the northeast monsoon for 1998–2000

Measurements made during the Indian Ocean Experiment (INDOEX) have shown the presence of large aerosol loadings over the region of the northern Indian Ocean and Arabian Sea. In recent years there has been significant interannual variability in the magnitude of this aerosol loading during the NE monsoon months of January-April. Monitoring of the integrated atmospheric column effective aerosol optical properties was initiated in early 1998 and continued in 2000 on the island of Kaashidhoo in the Republic of Maldives. An Aerosol Robotic Network Sun-sky radiometer at the Kaashidhoo Climate Observatory made spectral measurements of the direct Sun and directional sky radiances which were utilized to infer spectral aerosol optical depths τa, single scattering albedos, asymmetry factors, and aerosol size distributions. Monthly average aerosol optical depths at 500 nm varied by more than a factor of 2 during January through April for the 3 years that were investigated, 1998–2000. Interannual variations in the monthly mean Angstrom wavelength exponent were also observed, resulting from differences in the bimodal aerosol size distributions. Spectral variations in the Angstrom wavelength exponent were observed, especially at high aerosol optical depths when fine mode aerosols dominated over the optical influence of coarse-mode aerosols. Some differences in spectral single scattering albedo and asymmetry factor were observed for 1999 versus 2000 in the infrared wavelengths, but with relatively little change in the visible wavelengths. The spectral variation in the retrieved single scattering albedo was large, with approximately linear wavelength dependence averaging from 0.91 at 440 nm to 0.83 at 1020 nm for January–March 1999 for observations where τa at 440 nm >0.4.
Causes and prediction of changes in extractable phosphorus during flooding

In a laboratory experiment, samples of 18 soils, which are known to be flooded in the field, were flooded for up to 32 days. Both untreated and phosphate-treated (50 mg P kg-1) soils were studied. It was attempted to identify which chemical properties measured on the dry untreated soils, and the changes in pH, Eh and extractable Fe and Mn over the flooding periods, controlled the changes in sodium acetate buffer (pH 3.0) extractable phosphorus during flooding. It was shown that the reduction of iron(III) oxides was the dominant source of the P released during flooding. However, the amount of P released was strongly inhibited by re-sorption. Direct measurement of the amount of iron(III) reduced during flooding and measurement of phosphate sorption were required to predict the amount of P released during flooding. Organic matter contributed toward the P released during flooding. Its contribution appeared to be by mineralization, rather than by accelerating FeIII reduction. The reduction of MnIII and MnIII was a minor source of P in the untreated soils. Changes in soil pH during flooding were responsible for desorption of freshly applied P, but did not appear to affect P release in the untreated soils. The Vertisols and some of the Alfisols showed very little, or no release of P during flooding.
The influence of thermal, hydrologic, and snow deformation mechanisms on snow water equivalent pressure sensor accuracy

A 5 year field study was conducted to determine the mechanisms that cause snow water equivalent (SWE) pressure sensor measurement errors. The objective is to establish design and installation criteria to develop an accurate electronic SWE pressure sensor that minimizes errors. We monitored a 3 m snow pillow and installed three prototype electronic SWE sensors of our own design to examine how SWE errors occur. We also measured the heat flux through the prototype sensors and the soil, snow temperature, soil moisture content, and soil thermal conductivity. The SWEs of snow cores were used to assess the accuracy of the snow pillow and prototype sensors. Experimental results indicate that SWE measurement errors occur only when the snow–SWE sensor and/or the snow–soil interfaces are at the melting temperature. The magnitude of SWE errors is related to the diameter of the sensor and the difference in heat flux through the sensor and the surrounding soil. SWE over‐measurement errors occur when the heat flux through the sensor is less than through the surrounding soil, producing a snowmelt rate on the sensor that is less than on the adjacent soil. SWE under‐measurement errors occur when the heat flux through the sensor is greater than through the surrounding soil. The most severe SWE measurement errors occur during the transition from winter to spring, when the snow cover first reaches an isothermal condition causing a maximum difference in snowmelt rate between an SWE sensor and the surrounding soil. SWE measurement errors are reduced by increasing the SWE sensor diameter, matching the thermal properties of the soil and SWE sensor, allowing water to flow through the sensor, and using a surface cover to diffuse heat into the adjacent soil. SWE measurement errors relax through snow creep mechanisms that redistribute the snow load equally between the sensor and surrounding soil. Published in 2002 by John Wiley & Sons Ltd.
How America can look within to achieve energy security and reduce global warming

Making major gains in energy efficiency is one of the most economical and effective ways our nation can wean itself off its dependence on foreign oil and reduce its emissions of greenhouse gases. Transportation and buildings, which account for two thirds of American energy usage, consume far more than they need to, but even though there are many affordable energy efficient technologies that can save consumers money, market imperfections inhibit their adoption. To overcome the barriers, the federal government must adopt policies that will transform the investments into economic and societal benefit. And the federal government must invest in research and development programs that target energy efficiency. Energy efficiency is one of America's great hidden energy reserves. We should begin tapping it now. Whether you want the United States to achieve greater energy security by weaning itself off foreign oil, sustain strong economic growth in the face of worldwide competition or reduce global warming by decreasing carbon emissions, energy efficiency is where you need to start. Thirty-five years ago the U.S. adopted national strategies, implemented policies and developed technologies that significantly improved energy efficiency. More than three decades have passed since then, and science and technology have progressed considerably, butmore » U.S. energy policy has not. It is time to revisit the issue. In this report we examine the scientific and technological opportunities and policy actions that can make the United States more energy efficient, increase its security and reduce its impact on global warming. We believe the findings and recommendations will help Congress and the next administration to realize these goals. Our focus is on the transportation and buildings sectors of the economy. The opportunities are huge and the costs are small. « less
On quantifying and improving realism of images generated with diffusion

Recent advances in diffusion models have led to a quantum leap in the quality of generative visual content. However, quantification of realism of the content is still challenging. Existing evaluation metrics, such as Inception Score and Fr\'echet inception distance, fall short on benchmarking diffusion models due to the versatility of the generated images. Moreover, they are not designed to quantify realism of an individual image. This restricts their application in forensic image analysis, which is becoming increasingly important in the emerging era of generative models. To address that, we first propose a metric, called Image Realism Score (IRS), computed from five statistical measures of a given image. This non-learning based metric not only efficiently quantifies realism of the generated images, it is readily usable as a measure to classify a given image as real or fake. We experimentally establish the model- and data-agnostic nature of the proposed IRS by successfully detecting fake images generated by Stable Diffusion Model (SDM), Dalle2, Midjourney and BigGAN. We further leverage this attribute of our metric to minimize an IRS-augmented generative loss of SDM, and demonstrate a convenient yet considerable quality improvement of the SDM-generated content with our modification. Our efforts have also led to Gen-100 dataset, which provides 1,000 samples for 100 classes generated by four high-quality models. We will release the dataset and code.
Using Multi-Criteria Decision Analysis for transdisciplinary co-design of the FANFAR flood forecasting and alert system in West Africa

Abstract. Climate change is projected to increase flood risks in West Africa. The EU Horizon 2020 project FANFAR co-designed a pre-operational flood forecasting and alert system for West Africa in three lively workshops with 50–60 stakeholders, adopting a transdisciplinary framework from Multi-Criteria Decision Analysis (MCDA). We aimed to (i) exemplify MCDA as a structured transdisciplinary process; (ii) prioritize suitable FANFAR system configurations; and (iii) document and discuss empirical evidence. We used various interactive problem structuring methods in stakeholder sessions to generate 10 objectives and design 11 FANFAR system configurations. The non-additive MCDA model combined expert predictions about system performance with stakeholder preferences elicited in group sessions. All groups preferred a system producing accurate, clear, and accessible flood risk information that reaches recipients well before floods. To receive this, most groups would trade off higher operation and maintenance costs, development time, and implementing several languages. We accounted for uncertainty in expert predictions with Monte Carlo simulation. Sensitivity analyses tested the results’ robustness for changing MCDA aggregation models and diverging stakeholder preferences. Despite many uncertainties, three FANFAR system configurations achieved 63–70 % of the ideal case over all objectives in all stakeholder groups, and outperformed other options in cost-benefit visualizations. Stakeholders designed these best options to work reliably under difficult West African conditions rather than incorporating many advanced features. The current FANFAR system combines important features increasing system performance. Most respondents of a small online survey are satisfied, and willing to use the system in future. We discuss our learning drawing from design principles of transdisciplinary research. We attempted to over-come “unbalanced ownership” and “insufficient legitimacy” by including key West African institutions as consortium partners and carrying out co-design workshops with mandated representatives from 17 countries. MCDA overcomes challenges such as “lack of technical integration”, or “vagueness and ambiguity of results”. Whether FANFAR will have a “societal impact” depends on long term financing and system uptake by West African institutions after termination of EU sponsoring. We hope that our promising results will have a “scientific impact” and motivate further stakeholder engagement in hydrology research.
Nitrate concentration changes at the groundwater‐surface water interface of a small Cumbrian river

For an experimental field site at the River Leith, United Kingdom, the spatial and temporal distribution of nitrate was observed along the upwelling flow path from groundwater to surface water. The study was carried out during baseflow conditions for two successive years. For two contrasting stream reaches, the physical and chemical characteristics of streambed sediment cores were analysed together with observations of hydraulic head, dissolved oxygen, redox and nitrogen speciation using an array of nested streambed piezometers.
Environmental Controls on Needle Gas Exchange and Growth of White Spruce (Picea glauca) on a Riverside Terrace near the Arctic Treeline

Abstract Recent studies have revealed positive and negative trends in the radial growth of treeline white spruce (Picea glauca) as temperatures have warmed in recent decades. Investigators have speculated that negative growth trends reflect the increasing importance of temperature-induced drought stress, yet direct observations of drought-induced stomatal closure have not been made in white spruce near the Arctic treeline. In this study, we measured needle gas exchange, a variety of needle traits, and branch growth in contrasting growing seasons on a riverside terrace near the Arctic treeline in Noatak National Preserve, northwest Alaska. Needle gas exchange was limited by cold soils (<7 °C), nighttime frosts, large vapor pressure deficits (VPD) and/or low soil water contents during the majority of our midday measurements. Near optimal conditions for needle gas exchange were consistently found in late August, when soils were relatively warm, air temperatures were moderate, and the VPD was relatively small. Defoliation during a two-year bud moth infestation (Zeiraphera spp.) substantially reduced branch growth, obscured potential relationships between needle gas exchange and growth, and revealed the importance of whole canopy gas exchange measurements. Results of our study show there is a very narrow window of environmental conditions for near optimal needle gas exchange in white spruce near the Arctic treeline. Although we identified many abiotic constraints on needle gas exchange, a single biological factor likely had the greatest effect on annual branch growth.
Trade unionism since 1945: towards a global history. Volume 2. The Americas, Asia and Australia

Contents: Craig Phelan: Introduction - Gerard Griffin: Australian Trade Unionism since 1945 - Bill Taylor/Qi Li: The ACFTU's Changing Role in China's Tumultuous Social Development - Debashish Bhattacherjee: Trade Unions in India - Michele Ford: Trade Unionism in Independent Indonesia - Toro Shinoda: Japanese Trade Unionism since 1945 - Doowon Suh: The Korean Labour Movement since 1945 - Christopher Leggett: Trade Unionism in Singapore since 1945 - Maurizio Atzeni/Pablo Ghigliani: Trade Unionism in Argentina since 1945: The Limits of Trade Union Reformism - Jose Ricardo Ramalho: The Role of Trade Unionism in Recent Brazilian History - Charlotte A.B. Yates: Unionism in Canada: Plus Ca Change, Plus C'est La Meme Chose - Craig Phelan: Trade Unionism in the United States since 1945.