Miracle-dz/UniFAR-FTUs huggingface dataset:
The Preprocessed Doacross Loop

Abstract : Dependencies between loop iterations cannot always be characterized during program compilation. Doacross loops typically make use of a-priori knowledge of inter-iteration dependencies to carry out required synchronizations. We propose a type of doacross loop that allows us to schedule iterations of a loop among processors without advance knowledge of inter-iteration dependencies. The method proposed for loop iterations requires us to carry out parallelizable preprocessing and postprocessing steps during program execution. Keywords: Shared memory, Runtime.
Influence of the North Atlantic subpolar gyre circulation on the 4.2 ka BP event

Abstract. The 4.2 ka BP event, spanning from ca 4200 to 3900 cal BP, has been documented in numerous archaeological data and continental archives across the Northern Hemisphere as an abrupt shift to dry and cold climate. However, data on synchronous ocean circulation changes are notably lacking, thus preventing us from getting a full insight into the physical mechanisms responsible for this climate deterioration. Here, we present two high-resolution (5–20 years) sea surface temperature (SST) records from the subpolar gyre and off north Iceland in the vicinity of the polar front obtained from alkenone paleo-thermometry and compare them with proxy data from the western Mediterranean Sea to gain information on regional temperature and precipitation patterns. Our results are evidence of a temperature dipole pattern which, combined with other paleo-oceanographic records of the North Atlantic, suggests a weakening of the subpolar gyre possibly associated with atmospheric blocked regimes.
Distance-Preserving Embedding Adaptive Bipartite Graph Multi-View Learning with Application to Multi-Label Classification

XUN LU, School of Computer and Information Technology, Beijing Jiaotong University, China SONGHE FENG, School of Computer and Information Technology, Beijing Jiaotong University, China GENGYU LYU, School of Computer and Information Technology, Beijing Jiaotong University, China YI JIN, School of Computer and Information Technology, Beijing Jiaotong University, China CONGYAN LANG, School of Computer and Information Technology, Beijing Jiaotong University, China
Influence of the Kuroshio Interannual Variability on the Summertime Precipitation over the East China Sea and Adjacent Area

Much attention has been paid to the climatic impacts of changes in the Kuroshio Extension, instead of the Kuroshio in the East China Sea (ECS). This study, however, reveals the prominent influences of the lateral shift of the Kuroshio at interannual time scale in late spring [April–June (AMJ)] on the sea surface temperature (SST) and precipitation in summer around the ECS, based on high-resolution satellite observations and ERA-Interim. A persistent offshore displacement of the Kuroshio during AMJ can result in cold SST anomalies in the northern ECS and the Japan/East Sea until late summer, which correspondingly causes anomalous cooling of the lower troposphere. Consequently, the anomalous cold SST in the northern ECS acts as a key driver to robustly enhance the precipitation from the Yangtze River delta to Kyushu in early summer (May–August) and over the central ECS in late summer (July–September). In view of the moisture budget analysis, two different physical processes modulated by the lateral shift of the Kuroshio are identified to account for the distinct responses of precipitation in early and late summer, respectively. First, the anomalous cold SST in the northern ECS induced by the Kuroshio offshore shift is likely conducive to the earlier arrival of the mei-yu–baiu front at 30°–32°N and its subsequent slower northward movement, which may prolong the local rainy season, leading to the increased rain belt in early summer. Second, the persistent cold SST anomalies in late summer strengthen the near-surface baroclinicity and the associated strong atmospheric fronts embedded in the extratropical cyclones over the central ECS, which in turn enhances the local rainfall.
Early Eocene paleosols on King George Island, Maritime Antarctica as a paleoenvironmental proxy

The paleoclimate during the Early Eocene in Maritime Antarctica is characterized by cool conditions without a pronounced dry season. Soils formed on volcanic material under such climate conditions in modern analogue environments are usually Andosols rich in nanocrystalline minerals without pedogenic smectite. The paleosols formed on volcanic material on King Georges Island are covered by basalts, dated by 6 new 40 Ar/ 39 Ar datings to 51 – 48 Ma, and are rich in smectite. A pedogenic origin of the smectites would suggest a semi-arid rather than a wet non-seasonal humid paleoclimate. To investigate the origin of the smectites in these paleosols we used Xray diffraction and microscopic techniques. Minor mineralogical changes between the volcanic parent material and the paleosols and a homogenous distribution of smectites throughout the paleosol horizons indicate that these smectites were mainly inherited from the pyroclastic parent material, which was altered prior to surficial weathering. Nevertheless, the mineralogical properties, such as degree of crystallinity and octahedral site occupancy, of these smectites were modified during the ancient soil formation. Our findings highlight that trioctahedral smectites were a product of deuteric alteration of pyroclastic rocks and were progressively transformed to dioctahedral smectites during weathering in a soil environment on King George Island. Publications – Manuscript 2 109
Multiple lithic clasts in lunar breccia Northwest Africa 7948 and implication for the lithologic components of lunar crust

This study presents the petrography, mineralogy, and bulk composition of lunar regolith breccia meteorite Northwest Africa (NWA) 7948. We identify a range of lunar lithologies including basaltic clasts (very low‐titanium and low‐titanium basalts), feldspathic lithologies (ferroan anorthosite, magnesian‐suite rock, and alkali suite), granulites, impact melt breccias (including crystalline impact melt breccias, clast‐bearing impact melt breccias, and glassy melt breccias), as well as regolith components (volcanic glass and impact glass). A compositionally unusual metal‐rich clast was also identified, which may represent an impact melt lithology sourced from a unique Mg‐suite parent rock. NWA 7948 has a mingled bulk rock composition (Al2O3 = 21.6 wt% and FeO = 9.4 wt%) and relatively low concentrations of incompatible trace elements (e.g., Th = 1.07 ppm and Sm = 2.99 ppm) compared with Apollo regolith breccias. Comparing the bulk composition of the meteorite with remotely sensed geochemical data sets suggests that the sample was derived from a region of the lunar surface distal from the nearside Th‐rich Procellarum KREEP Terrane. Our investigations suggest that it may have been ejected from a nearside highlands‐mare boundary (e.g., around Mare Crisium or Orientale) or a cryptomare region (e.g., Schickard‐Schiller or Mare smythii) or a farside highlands‐mare boundary (e.g., Mare Australe, Apollo basin in the South Pole–Aitken basin). The distinctive mineralogical and geochemical features of NWA 7948 suggest that the meteorite may represent lunar material that has not been reported before, and indicate that the lunar highlands exhibit wide geological diversity.
New challenges in facing cyberchondria during the coronavirus disease pandemic ☆

Cyberchondria (CYB) is characterized by excessive online searching for medical information and is associated with increasing levels of distress, anxiety, and interference with daily activities. As the use of digital devices and the Internet as a source of everyday information has increased, particularly during the current coronavirus disease (COVID-19) pandemic, so has CYB, becoming an object of interest to clinicians and researchers. The present review will provide an overview of the latest updates in CYB research. Emerging evidence draws attention to various vulnerability factors for developing CYB, including personal characteristics such as female gender, younger age, or a history of mental disorder, as well as engagement in particular forms of online behavior, such as increased use of social media, increased acceptance of online information, and information overload. Additionally, recent studies suggest that CYB may itself act as a mediating factor for increased COVID-19-related psychological burden. However, the data are still very sparse. Knowledge gaps include a universally accepted definition of CYB, severity thresholds to help differentiate nonpathological online health searches from CYB, as well as robustly evidence-based interventions. This
Validation of smartphone addiction scale-short version among Malaysian undergraduate students

Smartphone addiction scale-short version or SAS-SV has been consistently found to have one-factor structure and proven as a valid and reliable instrument to measure smartphone addiction. However, it has not been validated among the undergraduate students in Malaysia. With the aim to address such empirical gap, this study has validated its one-factor structure and assessed its reliability and validity among the 680 undergraduate students in Universiti Teknologi Malaysia (UTM). Its content validity was first demonstrated. Subsequently, the findings of confirmatory factor analysis (CFA) have supported and confirmed its one-factor model. Furthermore, its convergent validity and reliability were also proven to be satisfactory. Taken together, this study has demonstrated that SAS-SV is an instrument that can reliably and accurately measure or identify smartphone addiction symptoms among the undergraduate students in Malaysia.
International Journal of Public Health Science (IJPHS)

Received Nov 23, 2021 Revised May 14, 2022 Accepted Jun 21, 2022 Breast cancer remains a global problem, including Indonesia. However, research findings regarding the influence of hormonal contraceptive use on breast cancer have not been conclusive. Therefore, this study aimed to investigate whether there was any association between hormonal contraception use and breast cancer among women in Indonesia. We assessed 3,517 participants who participated in this study conducted through the Indonesian Family Life Survey wave five during 2014-2015. A logistic regression model was performed to analyse data. The precentage of breast cancer cases in this study was 0.34%, with a total of 1,574 respondents (44.75%) having used hormonal contraceptive for more than five years. After controlling for confounders, the hormonal contraceptive use had significantly lower to have breast cancer incidence (ORadj=0.10; 95% CI=0.03-0.40; p<0.05) compared to women using non-hormonal contraceptive, while the long-term hormonal contraception use (more than five years) did not affect breast cancer incidence. Hormonal contraceptive use was associated with breast cancer; however, the evidence from our findings indicated that the magnitude of the risk was small.
From Resilience-Building to Resilience-Scaling Technologies: Directions -- ReSIST NoE Deliverable D13

interpretation theory [Cousot & Cousot 1977] gives a formal meaning to what is meant by abstraction: A concrete semantics (incomputable, in general) is connected, through a Galois connection, to a D13-Assessability Gaps & Challenges RESIST D13 p.88 simpler abstract semantics. As for abstraction in general, the abstract semantics can be computed to obtain sound approximations of (generally a set of) concrete executions, the converse (completeness) is not true or necessary in general though. 2Examples/Application Domains The application of formal methods has become inevitable in fault-tolerant systems. The main limitation of applying formal methods in the VV therefore, substantial detail must be added to the abstracted model to guarantee soundness and\or completeness of the analysis method. On the other hand, the evaluation of conditions that express whether the abstraction is applicable for a particular system often requires considerable mathematical expertise. In fact, the main research challenges stem from the latter issue, i.e., proposing solutions to make abstraction-based formal verification more applicable. 4Research Challenges A research gap can be identified in defining "intuitive" abstractions to guide the user in the abstraction process. As previously discussed, abstractions are intended to be sound and/or complete; the proofs however remain hidden from the user. Such abstractions are usually specific to an application domain (e.g., synchronous distributed applications). The approach also provides for an increased reduction of the state space, since the semantic information of the specific application domain can be exploited in the abstract model. In particular, abstract interpretation is clearly appealing in the context of the assessability of properties of complex, ubiquitous systems. The main drawback arises when already developed abstract interpretations are not applicable, abstract interpretation theory can be considered mostly as a set of prescriptions of what should be provided, and what should be proved, to obtain a sound (or complete) abstraction, requiring great D13-Assessability Gaps & Challenges RESIST D13 p.89 specialized skills. Research in abstract interpretations suitable for concurrent and mobile systems is still young, and few examples can be found in the literature.
Frequency selective Rician fading MIMO channel and channel Rice factor estimation

In this paper, to estimate Rician frequency selective fading Multiple-Input Multiple-Output (MIMO) channels, the Shifted Scaled Least Squares (SSLS) and General form of the Linear Minimum Mean Square Error (GLMMSE) channel estimators are proposed. It is shown that these estimators achieve much better minimum possible Bayesian Cramer-Rao Lower Bounds (CRLBs) in the frequency selective Rician fading MIMO channels compared with those of the Rayleigh one. Numerical examples show that the performance of these estimators is not more sensitive to accurate estimation of the channel Rice factor. Furthermore, to estimate the channel Rice factor at the receiver, we propose two new algorithms which perform based on the Least Squares (LS) estimates and training sequences. Simulation results confirm the efficiency of these algorithms.
AIS Electronic Library (AISeL)

Experiences in e-learning are more and more recurrent. However few studies try to go beyond an experimental level and apply the concept to a whole academic class of students. The integration of e-learning in a pedagogical program requires analyzing its performance not only from learners and instructors point of view, but also from the strategic perspective of the institution. The first part of this article presents a literature review from which we propose a theoretical model. In the second part we analyse the case of Montpellier Business School. More than 400 students filled in a questionnaire about their utilisation of the e-learning platform answers were collected. The main result of this paper shows, among other things, the main interest of broadening e-learning performance assessment in order to include upstream objectives of the institution itself.
Engineering Applications of Artificial Intelligence

The More Like This recommendation approach is ubiquitous in multiple domains and consists in recommending items similar to the one currently selected by the user, being particularly relevant when user data is scarce. We studied the impact of using semantic similarity in the context of the More Like This recommendation for mobile applications, by leveraging dense representations in order to infer the similarity between applications, based on their textual fields. Our approach was validated by comparing it to the solution currently in use by Aptoide, a mobile application store, since no benchmarks are available for this specific task. To further evaluate the proposed model, we asked 1262 users to compare the results achieved by both approaches, also allowing us to build an annotated dataset of similar applications. Results show that the semantic representations are able to capture the context of the applications, with more useful recommendations being presented to users, when compared to Aptoide’s current solution. For replication and future research, all the code and data used in this study was made publicly available, including two novel datasets (installed applications for more than one million users, and app user-labeled similarity), the fine-tuned model, and the test platform.
The Big Picture: Imaging of the Global Geospace Environment by the TWINS Mission

Encircling our planet at distances of 2.5 to 8 Earth radii is a dynamic plasma population known as the ring current (RC). During geomagnetic storms, the solar wind's interaction with Earth's magnetic field pumps petaJoules of energy into the RC, energizing and transporting particles. To measure the global geospace response, RC imaging is performed by capturing energetic neutral atoms (ENAs) created by charge exchange between geospace ions and the neutral exosphere. The H exosphere is itself imaged via its geocoronal Lyman‐α glow. Two Wide‐angle Imaging Neutral‐atom Spectrometers (TWINS) is a stereoscopic ENA and Lyman‐α imaging mission that has recorded the deep minimum of solar cycle (SC) 23 and the moderate maximum of SC 24, observing geospace conditions ranging from utterly quiet to major storms. This review covers TWINS studies of the geospace response published during 2013 to 2017. Stereo ENA imaging has revealed new dimensionality and structure of RC ions. Continuous coverage by two imagers has allowed monitoring storms from start to finish. Deconvolution of the low‐altitude signal has extended ENA analysis and revealed causal connections between the trapped and precipitating ion populations. ENA‐based temperature and composition analyses have been refined, validated, and applied to an unprecedented sequence of solar activity changes in SC 23 and SC 24. Geocoronal imaging has revealed a surprising amount of time variability and structure in the neutral H exosphere, driven by both Sun and solar wind. Global models have been measurably improved. Routine availability of simultaneous in situ measurements has fostered huge leaps forward in the areas of ENA validation and cross‐scale studies.
Computational Versus Associative Models of Simple Conditioning

In associative models of simple conditioning, conductive connections (associations, Hebbian synapses) are strengthened by the repetitive temporal pairing of stimuli. The associations cause the animal to behave more adaptively, but they do not encode information about objectively specifiable properties of the conditioning experience. In information processing (computational) models, the temporal intervals in that experience are timed and the results recorded in memory for later use in computations that determine the decisions whether and when to respond to the conditioned stimulus. The predictions of these latter models depend on the ratios of remembered and currently experienced temporal intervals; hence, they are time-scale invariant. Two examples of empirical time-scale invariance are described: Neither the delay of reinforcement nor the ratio of reinforced to unreinforced presentations of the conditioned stimulus affects rates of acquisition and extinction. Time-scale invariance has far-reaching implications for models of the processes that underlie conditioning, for example, models of Hebbian synapses.
The Relationship between Cool and Warm Season Moisture over the Central United States, 1685–2015

Land surface feedbacks impart a significant degree of persistence between cool and warm season moisture availability in the central United States. However, the degree of correlation between these two variables is subject to major changes that appear to occur on decadal to multidecadal time scales, even in the relatively short 115-yr instrumental record. Tree-ring reconstructions have extended the limited observational record of long-term soil moisture levels, but such reconstructions do not resolve the seasonal differences in moisture conditions. We present two separate 331-yr-long seasonal moisture reconstructions for the central United States, based on sensitive subannual and annual tree-ring chronologies that have strong and separate seasonal moisture signals: an estimate of the long-term May soil moisture balance and a second estimate of the short-term June–August atmospheric moisture balance. The predictors used in each seasonal reconstruction are not significantly correlated with the alternate season target. Both reconstructions capture over 70% of the interannual variance in the instrumental data for the calibration period and also share significant decadal and multidecadal variability with the instrumental record in both the calibration and validation periods. The instrumental and reconstructed moisture levels are both positively correlated between spring and summer strongly enough to have potential value in seasonal prediction. However, the relationship between spring and summer moisture exhibits major decadal changes in strength and even sign that appear to be related to large-scale ocean–atmosphere dynamics associated with the Atlantic multidecadal oscillation.
WATER MITES (ACARIFORMES: HYDRACHNIDIA, HALACAROIDEA) OF BOGS OF WESTERN SIBERIA (RUSSIA)

Water mites (Acariformes, Hydrachnidia, Halacaroidea) were studied in 8 different bogs and fens of Western Siberia. 28 species of Hydrachnidia and 5 species of Halacaridae were found in them. The species composition in the bogs was very different. In the fens the abundance and species diversity were higher than in sphagnum bogs and the fauna were based on spring species. The representatives of the halacarid mites dominated in sphagnum bogs, which were not found in the fens. The specific similarity of the studied bogs was low. At the same time, the peculiarities of seasonal dynamics in bogs and fens were similar and resembled temporary water bodies: high numbers in the spring and an abruptly decline in the summer, with a slight increase in autumn.
One Model to Rule them all: Multitask and Multilingual Modelling for Lexical Analysis

Wanneer je een nieuwe vaardigheid leert maak je gebruik van de vaardigheden en kennis die je al bezit. Als je bijvoorbeeld een ervaren violist bent, is het waarschijnlijk makkelijker om ook cello te leren spelen. Ook bij het leren van een nieuwe taal maak je gebruik van de talen die je al beheerst. Bijvoorbeeld, als je moedertaal Noors is en je besluit dat je Nederlands wil gaan leren, dan maakt het grote aantal woorden dat op elkaar lijkt in die twee talen het waarschijnlijk makkelijker om de nieuwe taal te leren. In dit proefschrift kijk ik naar het leren van meerdere taken, het leren van meerdere talen en de combinatie daarvan, in het kader van natural language processing (NLP): de computationele analyse van menselijke taal. Hoewel deze twee soorten van leren aan de oppervlakte misschien anders lijken, laat ik in mijn proefschrift zien dat ze meerdere overeenkomsten hebben. Terwijl de traditionele NLP-benaderingen slechts een enkele taak of taal tegelijk behandelen, is het doel van dit proefschrift juist om onderzoeksvragen die deze grenzen overschrijden te beantwoorden. Dit heeft als doel dat kleinere talen op de lange termijn kunnen profiteren van de vooruitgang die in NLP wordt geboekt, aangezien deze momenteel grotendeels ten goede komt aan grotere talen. Dit kan positieve gevolgen hebben voor bijvoorbeeld taalbehoud, omdat sprekers van minderheidstalen een lagere druk zullen voelen om meerderheidstalen te gebruiken. Op de korte termijn zullen de antwoorden op de specifieke onderzoeksvragen van dit proefschrift nuttig zijn voor NLP-onderzoekers die naar hetzelfde doel streven.