Miracle-dz/UniFAR-FTUs huggingface dataset:
Negative type and bi-lipschitz embeddings into Hilbert space

The usual theory of negative type (and $p$-negative type) is heavily dependent on an embedding result of Schoenberg, which states that a metric space isometrically embeds in some Hilbert space if and only if it has 2-negative type. A generalisation of this embedding result to the setting of bi-lipschitz embeddings was given by Linial, London and Rabinovich. In this article we use this newer embedding result to define the concept of distorted p-negative type and extend much of the known theory of p-negative type to the setting of bi-lipschitz embeddings. In particular we show that a metric space $(X; d_X)$ has $p$-negative type with distortion $C$ $(0 \le p<\infty$, $1 \le C<1$) if and only if $(X; d^{p/2}_X$) admits a bi-lipschitz embedding into some Hilbert space with distortion at most $C$. Analogues of strict $p$-negative type and polygonal equalities in this new setting are given and systematically studied. Finally, we provide explicit examples of these concepts in the bi-lipschitz setting for the bipartite graphs $K_{m,n}$ and the Hamming cube $H_n$.
Rapid subsidence and sedimentation from oblique slip near a bend on the North Anatolian transform fault in the Marmara Sea, Turkey

Several basins are developing near bends on strands of the North Anatolian transform fault in northwest Turkey. Oblique slip on these faults, rather than strain partitioning, accounts for trans- tension and subsidence. These basins are asymmetric, and tilt and subside most rapidly at their narrow ends near the bends. The turbidite surface marking the floor of the Cinarcik Basin (eastern Marmara Sea) was mostly abandoned at a sudden drop in sedi- mentation, which was likely coincident with the 14 ka lake-sea transition, and is now a warped reference surface from which we can measure strain and sedimentation. Subsidence and tilt are rap- id, but do not require late Quaternary changes in regime. They are linked to transcurrent motion by slip parallel to an oblique bend on the North Anatolian fault and suggest tsunamogenic ver- tical motion in large Marmara Sea earthquakes.
Multi‐block finite‐difference method for 3D elastodynamic simulations in anisotropic subhorizontally layered media

Prediction of elastic full wavefields is required for reverse time migration, full waveform inversion, borehole seismology, seismic modelling, etc. We propose a novel algorithm to solve the Navier wave equation, which is based on multi‐block methodology for high‐order finite‐difference schemes on curvilinear grids. In the current implementation, the blocks are subhorizontal layers. Smooth anisotropic heterogeneous media in each layer can have strong discontinuities at the interfaces. A curvilinear adaptive hexahedral grid in blocks is generated by mapping the original 3D physical domain onto a parametric cube with horizontal layers and interfaces. These interfaces correspond to the main curvilinear physical contrast interfaces of a subhorizontally layered formation. The top boundary of the parametric cube handles the land surface with smooth topography. Free‐surface and solid–solid transmission boundary conditions at interfaces are approximated with the second‐order accuracy. Smooth media in the layers are approximated up to sixth‐order spatial schemes. All expected properties of the developed algorithm are demonstrated in numerical tests using corresponding parallel message passing interface code.
Psychotherapeutic interventions for adults with asthma

Background Many people have asthma, and for some their symptoms may be triggered by psychological factors. In addition compliance with medical therapy may have a psychological dimension. Therefore, psychological interventions aim to reduce the burden of symptoms and improve management of the disease. Objectives To assess the effectiveness of psychological interventions for adults with asthma. Search strategy The Cochrane Airways Group specialised register and PsycINFO were searched with pre-defined terms until September 2003. Selection criteria Randomised controlled trials published in any language assessing the effects of a psychological intervention compared with a form of control in adult participants were included in the review. Data collection and analysis Two reviewers assessed the relevance of abstracts identified by electronic searching and retrieved agreed studies for further scrutiny. The studies that met the inclusion criteria were assembled and data extracted. Main results Twelve studies were included in the review, however study quality was poor and sample sizes were frequently small. No meta-analysis could be performed due to the diversity of interventions and the outcomes assessed. Findings between studies were conflicting. This may have been due to the different types of interventions used and the deficiencies in trial design. Authors’ conclusions This review was unable to draw firm conclusions for the role of psychological interventions in asthma due to the absence of an adequate evidence base. Large, well-conducted and reported randomised trials are required in this area, in order to determine the effects of these techniques in the treatment of asthma in adults.
Sample size and allocation of effort in point count sampling of birds in bottomland hardwood forests

To examine sample size requirements and optimum allocation of effort in point count sampling of bottomland hardwood forests, we computed minimum sample sizes from variation recorded during 82 point counts (May 7-May 16, 1992) from three localities containing three habitat types across three regions of the Mississippi Alluvial Valley (MAV). Also, we estimated the effect of increasing the number of points or visits by comparing results of 150 four-minute point counts obtained from each of four stands on Delta Experimental Forest (DEF) during May 8-May 21, 1991 and May 30-June 12, 1992. For each stand, we obtained bootstrap estimates of mean cumula-tive number of species each year from all possible combinations of six points and six visits. ANOVA was used to model cumulative species as a function of number of points visited, number of visits to each point, and interaction of points and visits. There was significant variation in numbers of birds and species between regions and localities (nested within region); neither habitat, nor the interaction between region and habitat, was significant. For α = 0.05 and β = 0.10, minimum sample size estimates (per factor level) varied by orders of magnitude depending upon the observed or specified range of desired detectable difference. For observed regional variation, 20 and 40 point counts were required to accommodate variability in total individuals (MSE = 9.28) and species (MSE = 3.79), respectively, whereas ± 25 percent of the mean could be achieved with five counts per factor level. Sample size sufficient to detect actual differences of Wood Thrush (Hylocichla mustelina) was >200, whereas the Prothonotary Warbler (Protonotaria citrea) required <10 counts. Differences in mean cumulative species were detected among number of points visited and among number of visits to a point. In the lower MAV, mean cumulative species increased with each added point through five points and with each additional visit through four visits. Although no interaction was detected between number of points and number of visits, when paired reciprocals were compared, more points invari-ably yielded a significantly greater cumulative number of species than more visits to a point. Still, 36 point counts per stand during each of two breeding seasons detected only 52 percent of the known available species pool in DEF.
Regionalization of precipitation and air temperature over high-altitude catchments – learning from outliers

Abstract Closing the water balance of mountainous catchments may sometimes become tricky, even before applying a hydrological model. In this paper, we focus on mountainous, snow-affected catchments and try to understand the reasons for the “unrealistic” hydrological behaviours that they sometimes show: when annual runoff is greater than the annual areal precipitation estimate, something is obviously wrong, but finding the appropriate means to adjust the water balance is far from a trivial matter. This paper aims to improve our knowledge of the water balance of mountainous and snow-affected catchments in two different countries: Sweden and France. We use a simple non-dimensional framework to detect outliers and then propose an regionalization of precipitation and air temperature in order to better estimate inputs over high-altitude catchments. Since we are interested in catchment water balance, we evaluate our regionalized input estimates by comparing them to streamflow measurements. The results are mixed: in Sweden, our approach is successful because it can make most outlier catchments become regular ones; but in France it is disappointing because it does not solve most of the water balance problems identified. However, for both countries, the regionalization approach significantly improves the performance of a rainfall–runoff model at a daily time step. Citation Valéry, A. , Andréassian, V. & Perrin, C. (2010) Regionalization of precipitation and air temperature over high-altitude catchments – learning from outliers. Hydrol. Sci. J. 55(6), 928–940.
Accuracy Assessment of FIA's Nationwide Biomass Mapping Products: Results From the North Central FIA Region

The Remote Sensing Band of the Forest Inventory and Analysis (FIA) program has developed a nationwide map of forest biomass to be distributed as a geospatial raster data set with 250-meter spatial resolution. The accuracy of the forest biomass map depends on both an intermediate forest/nonforest classification and the biomass estimation. For the North Central FIA region, we assessed the accuracy of the forest classification and biomass estimation using three approaches: (1) per pixel percent correctly classified; (2) comparisons of pixel- and FIA plot-based estimations within delineated areas; and (3) utility for stratified estimation of FIA attributes. Results showed the forest/nonforest map to be accurate based on all three assessments, while the forest biomass map performed well only for area estimates.
Mesoscale resolving simulations of the global atmosphere and ocean on the Earth simulator

Understanding multiscale interactions within the complex hierarchy of various phenomena on wide ranges of temporal and spatial scales is an essential part of the study of the atmosphere and ocean circulation systems. Despite significant progress, the complex interactions have not yet been fully understood, due mainly to the lack of continuous, mesoscale resolving observations of the global three-dimensional circulations, whose realization is difficult, especially for the ocean. However, computer simulations with ultra-high resolution, if possible, would be a powerful tool to tackle this difficult issue. Such simulations are now under way on the Earth Simulator (ES), a Japanese gigantic vectorparallel computer that has been in operation since March 2002 and was the world's fastest general-purpose supercomputer until early fall 2004. Even though the ES is now the third-fastest supercomputer by both peak performance and UNPACK test, which is a benchmark test by liner algebra computations, our 10-km mesh atmospheric general circulation simulation remains the fastest real-world computation on a general-purpose supercomputer even after two and half years.
Development and Evaluation of Bankfull Hydraulic Geometry Relationships for the Physiographic Regions of the United States

Bankfull hydraulic geometry relationships are used to estimate channel dimensions for streamflow simulation models, which require channel geometry data as input parameters. Often, one nationwide curve is used across the entire United States (U.S.) (e.g., in Soil and Water Assessment Tool), even though studies have shown that the use of regional curves can improve the reliability of predictions considerably. In this study, regional regression equations predicting bankfull width, depth, and cross‐sectional area as a function of drainage area are developed for the Physiographic Divisions and Provinces of the U.S. and compared to a nationwide equation. Results show that the regional curves at division level are more reliable than the nationwide curve. Reliability of the curves depends largely on the number of observations per region and how well the sample represents the population. Regional regression equations at province level yield even better results than the division‐level models, but because of small sample sizes, the development of meaningful regression models is not possible in some provinces. Results also show that drainage area is a less reliable predictor of bankfull channel dimensions than bankfull discharge. It is likely that the regional curves can be improved using multiple regression models to incorporate additional explanatory variables.
Improvement of seismological earth models by using data weighting in waveform inversion

SUMMARY We present a new method for data weighting in waveform inversion to improve the obtained seismological earth model. We define ‘sensitivity’ as an index to show the homogeneity of the waveform inversion data set. The sensitivity is directly evaluated from the partial derivatives of the synthetic seismograms and can be evaluated regardless of the method used to compute the synthetics. In this study we use the Direct Solution Method, which is a highly suitable method because of its accuracy and efficiency. If we weight the data so that the sensitivity is more or less homogeneous throughout the whole Earth, we can achieve homogeneous resolution for the entire region. The obtained model is an improvement over models obtained by previous inversion schemes, in the sense that the new model efficiently retrieves the robust information in the data. The inversion of a large data set using our methods can be expected to lead to further improvement of seismological earth models.
Randomised Controlled Trial Comparing the Effectiveness of Electroacupuncture and Tens for Low Back Pain: A Preliminary Study for a Pragmatic Trial

The objective of this study was to compare the effectiveness of electroacupuncture and TENS for low back pain when the electroacupuncture is applied in a clinically realistic manner. The study was designed as an evaluator-blinded randomised controlled trial (RCT). The study was performed at the Tsukuba College of Technology Clinic in Japan. Twenty subjects, who suffered from low back pain (LBP) without sciatica, were recruited, using leaflets in Tsukuba city. Subjects were allocated to either an electroacupuncture (EA) group (10 patients) or a transcutaneous electrical nerve stimulation (TENS) group (10 patients). The procedure for EA was in accordance with standard practice at our clinic. The main outcome measures were a pain relief scale (100mm visual analogue scale: VAS) and a LBP score recommended by the Japanese Orthopaedic Association (JOA Score). Mean VAS value during the 2-weeks experimental period of the EA group was significantly smaller than that of the TENS group (65mm vs 86mm; 95% CI, 4.126 – 37.953). JOA Score in the EA group improved significantly while that in the TENS group showed no change. Although some placebo effect may be included, EA appeared more useful than TENS in the short-term effect on low back pain. We suggest that more realistic acupuncture interventions based on standard practice should be employed in pragmatic RCTs.
Evapotranspiration and land cover transitions: long‐term watershed response in recovering forested ecosystems

Changes of the land surface affect the water balance components over seasonal, annual and decadal time scales. This study explored the role of vegetation cover transitions on evapotranspiration in forested watersheds of the North American West. We applied empirical time‐recovery functions describing the impact of forest removal and subsequent regrowth on actual evapotranspiration (AET) or runoff. A generalized function (K‐curve) was adapted to the North American West and tested using three different datasets of observed or estimated AET in forest chronosequences: AET from flux towers equipped with eddy covariance sensors, AET estimated from the water balance in experimental paired watersheds and in a set of gauged watersheds with considerable forest cover history dating back to the 18th century. AET from the first two datasets showed a behaviour similar to the K‐curve, although the timing and the magnitude differed substantially. To reconstruct long‐term changes in AET for the gauged watersheds, we applied a transfer function approach linking the K‐curve and the reconstructed forest cover history at the watershed scale. In several watersheds, correlation coefficients between the reconstructed AET changes and the annual water balances suggest that changes in time were driven by the land cover transitions. In watersheds with low correlations, disturbance activities peaked before the 20th century, and the effects of vegetation have phased out in the period of streamflow observations. The findings of this paper suggest that trends in the observed water balance in forested watersheds can be associated to land cover disturbances well before the start of hydro‐climatic observations. Copyright © 2011 John Wiley & Sons, Ltd.
ECOLOGY AND IMPACTS OF COYOTES (CANIS LATRAN S) IN THE SOUTHEASTERN UNITED STATES

79 Introduction 79 Range Expansion 80 By the hand of man? 81 Impacts on Native Systems 82 Game species 82 Nongame species 85 Community dynamics and indirect effects 87 Management 88 State agencies 88 Managing for native systems 89 Coyotes and livestock 91 Coyotes and people 92 Literature Cited 94 Figures and Tables 105
Off-the-shelf bin picking workcell with visual pose estimation: A case study on the world robot summit 2018 kitting task

The World Robot Summit 2018 Assembly Challenge included four different tasks. The kitting task, which required bin-picking, was the task in which the fewest points were obtained. However, bin-picking is a vital skill that can significantly increase the flexibility of robotic set-ups, and is, therefore, an important research field. In recent years advancements have been made in sensor technology and pose estimation algorithms. These advancements allow for better performance when performing visual pose estimation. This paper shows that by utilizing new vision sensors and pose estimation algorithms pose estimation in bins can be performed successfully. We also implement a workcell for bin picking along with a force based grasping approach to perform the complete bin picking. Our set-up is tested on the World Robot Summit 2018 Assembly Challenge and successfully obtains a higher score compared with all teams at the competition. This demonstrate that current technology can perform bin-picking at a much higher level compared with previous results.
Personal Information Management

Personal Information Management (PIM) refers to the practice and the study of the activities a person performs in order to acquire or create, store, organize, maintain, retrieve, use, and distribute information in each of its many forms (paper and digital, in e-mails, files, Web pages, text messages, tweets, posts, etc.) as needed to meet life's many goals (everyday and long-term, work-related and not) and to fulfill life's many roles and responsibilities (as parent, spouse, friend, employee, member of community, etc.). PIM activities are an effort to establish, use, and maintain a mapping between information and need. Activities of finding (and re-finding) move from a current need toward information while activities of keeping move from encountered information toward anticipated need. Meta-level activities such as maintaining, organizing, and managing the flow of information focus on the mapping itself. Tools and techniques of PIM can promote information integration with benefits for each kind of PIM activity and across the life cycle of personal information. Understanding how best to accomplish this integration without inadvertently creating problems along the way is a key challenge of PIM.
MindShift: Leveraging Large Language Models for Mental-States-Based Problematic Smartphone Use Intervention

Problematic smartphone use negatively affects physical and mental health. Despite the wide range of prior research, existing persuasive techniques are not flexible enough to provide dynamic persuasion content based on users' physical contexts and mental states. We first conducted a Wizard-of-Oz study (N=12) and an interview study (N=10) to summarize the mental states behind problematic smartphone use: boredom, stress, and inertia. This informs our design of four persuasion strategies: understanding, comforting, evoking, and scaffolding habits. We leveraged large language models (LLMs) to enable the automatic and dynamic generation of effective persuasion content. We developed MindShift, a novel LLM-powered problematic smartphone use intervention technique. MindShift takes users' in-the-moment app usage behaviors, physical contexts, mental states, goals \&habits as input, and generates personalized and dynamic persuasive content with appropriate persuasion strategies. We conducted a 5-week field experiment (N=25) to compare MindShift with its simplified version (remove mental states) and baseline techniques (fixed reminder). The results show that MindShift improves intervention acceptance rates by 4.7-22.5% and reduces smartphone usage duration by 7.4-9.8%. Moreover, users have a significant drop in smartphone addiction scale scores and a rise in self-efficacy scale scores. Our study sheds light on the potential of leveraging LLMs for context-aware persuasion in other behavior change domains.
A Gate-Tunable Ambipolar Quantum Phase Transition in a Topological Excitonic Insulator.

Coulomb interactions among electrons and holes in two-dimensional (2D) semimetals with overlapping valence and conduction bands can give rise to a correlated insulating ground state via exciton formation and condensation. One candidate material in which such excitonic state uniquely combines with non-trivial band topology are atomic monolayers of tungsten ditelluride (WTe2 ), in which a 2D topological excitonic insulator (2D TEI) forms. However, the detailed mechanism of the 2D bulk gap formation in WTe2 , in particular with regard to the role of Coulomb interactions, has remained a subject of ongoing debate. Here, we show that WTe2 is susceptible to a gate-tunable quantum phase transition, evident from an abrupt collapse of its 2D bulk energy gap upon ambipolar field-effect doping. Such gate tunability of a 2D TEI, into either n- and p-type semimetals, promises novel handles of control over non-trivial 2D superconductivity with excitonic pairing. This article is protected by copyright. All rights reserved.