Miracle-dz/UniFAR-FTUs huggingface dataset:
Parallel Multi-Graph Convolution Network For Metro Passenger Volume Prediction

Accurate prediction of metro passenger volume (number of passengers) is valuable to realize real-time metro system management, which is a pivotal yet challenging task in intelligent transportation. Due to the complex spatial correlation and temporal variation of urban subway ridership behavior, deep learning has been widely used to capture nonlinear spatial-temporal dependencies. Unfortunately, the current deep learning methods only adopt graph convolutional network as a component to model spatial relationship, without making full use of the different spatial correlation patterns between stations. In order to further improve the accuracy of metro passenger volume prediction, a deep learning model composed of Parallel multi-graph convolution and stacked Bidirectional unidirectional Gated Recurrent Unit (PB-GRU) was proposed in this paper. The parallel multi-graph convolution captures the origin-destination (OD) distribution and similar flow pattern between the metro stations, while bidirectional gated recurrent unit considers the passenger volume sequence in forward and backward directions and learns complex temporal features. Extensive experiments on two real-world datasets of subway passenger flow show the efficacy of the model. Surprisingly, compared with the existing methods, PB-GRU achieves much lower prediction error.
A Technique for Measuring Volume and True Density of the Solid Matrix of Cartilaginous Tissues

Cartilage and intervertebral disc (IVD) are examples of charged hydrated soft tissues consisting of three phases: a water phase, a solid phase (e.g., the collagen-proteoglycan matrix) and an ion phase (e.g., NaCl). It has been known for many years that the mechanical and swelling behaviors of these tissues are affected by their water content. For example, both theoretically and experimentally, we know that the hydraulic permeability and the aggregate modulus are related to the tissue porosity, density, and fixed charge density [1–6]. These intrinsic tissue properties will also influence other mechanical behaviors of the tissue, such as creep and stress-relaxation. To quantify these types of functional dependence, a triphasic constitutive law was developed to describe the mechanical and physicochemical behaviors of charged-hydrated soft tissues [6]. In this theory, it was postulated that the Helmholtz free energy functions depend on the apparent densities of the constituents which are related to the porosity of the tissue and true density of the constituents. However, the true porosity (water volume per unit volume of tissue) and the true density of the solid matrix (solid mass per unit volume of solid) have never been measured Thus the objective of this investigation is to develop an accurate method to measure the volumes of such tissues and of its solid matrix. From these measured volumes the true porosity and true density of the solid matrix can be calculated.
Binaural audio generation via multi-task learning

We present a learning-based approach for generating binaural audio from mono audio using multi-task learning. Our formulation leverages additional information from two related tasks: the binaural audio generation task and the flipped audio classification task. Our learning model extracts spatialization features from the visual and audio input, predicts the left and right audio channels, and judges whether the left and right channels are flipped. First, we extract visual features using ResNet from the video frames. Next, we perform binaural audio generation and flipped audio classification using separate subnetworks based on visual features. Our learning method optimizes the overall loss based on the weighted sum of the losses of the two tasks. We train and evaluate our model on the FAIR-Play dataset and the YouTube-ASMR dataset. We perform quantitative and qualitative evaluations to demonstrate the benefits of our approach over prior techniques.
An Accurate Process-Induced Variability-Aware Compact Model-Based Circuit Performance Estimation for Design-Technology Co-Optimization

In sub-10-nm fin field-effect transistors (FinFETs), line-edge roughness (LER) and metal-gate granularity (MGG) are the two most dominant sources of variability and are mostly modeled semi-empirically. In this work, compact models of LER and MGG are used. We show an accurate process-induced variability (PIV)-aware compact model-based circuit performance estimation for design-technology co-optimization (DTCO). This work is carried out using an experimentally validated Berkeley Short-channel IGFET Model–Common Multi-Gate (BSIM-CMG) model on a 7-nm FinFET node. First, we have shown performance benchmarking of LER and MGG models with the state of the art and shown <inline-formula> <tex-math notation="LaTeX">$\sim 4\times $ </tex-math></inline-formula> (<inline-formula> <tex-math notation="LaTeX">$\sim 2.3\times $ </tex-math></inline-formula>) accuracy improvement for nMOS (pMOS) in the estimation of device figure of merits (DFoMs). Second, ring oscillator (RO) and static random-access memory (SRAM) circuit’s performance estimation is carried out for LER and MGG variability. Furthermore, ~22% more optimistic estimate of (<inline-formula> <tex-math notation="LaTeX">$\sigma /\mu $ </tex-math></inline-formula>)<sub>SHM</sub> (static hold margin) compared to the state-of-the-art model with <inline-formula> <tex-math notation="LaTeX">${V}_{\text {DD}}$ </tex-math></inline-formula> variation is shown. Finally, we demonstrate our improved DFoM accuracy translated to more accurate circuit figure of merits (CFoMs) performance estimation. For worst-case SHM (3(<inline-formula> <tex-math notation="LaTeX">$\sigma /\mu $ </tex-math></inline-formula>)<sub>SHM</sub>@<inline-formula> <tex-math notation="LaTeX">${V}_{\text {DD}}={0.75}$ </tex-math></inline-formula> V) compared to state of the art, dynamic (standby) power reduction by ~73% (~61%) is shown. Thus, our enhanced variability model accuracy enables more credible DTCO with significantly better performance estimates.
What Is the Role of the Government in Wildlife Policy? Evolutionary Governance Perspective

With the growing populations and range of large wild mammals in Europe, wildlife governance has grown in importance and provoked social conflicts, pressuring policy‐makers to provide adequate policy responses. Some countries chose decen‐ tralised approaches, while others retain traditional top‐down mechanisms. However, evolutionary mechanisms behind those changes and their impact on steering have attracted relatively little attention. We investigated the evolution of the governance of three wildlife species (European bison, moose, and wolf) in Poland (1945–2020) to map their existing paths and explore external and internal factors influencing steering patterns. The results suggest that despite the persistent dom‐ inance of state‐centred governance and top‐down hierarchical instruments characteristic for a post‐socialist country, steer‐ ing involved intense and often informal communication with influential actors. A growing diversity of actors and discourses in wildlife governance increased the state’s steering options and improved conservation outcomes. Concurrently, the gov‐ ernment’s steering shifted from concrete policy results to managing tensions and interests within the field. These transfor‐ mations helped to retain the effectiveness of steering in the changing context,while retaining state‐dominated governance.
Multi-queues can be state-of-the-art priority schedulers

Designing and implementing efficient parallel priority schedulers is an active research area. An intriguing proposed design is the Multi-Queue: given n threads and m ≥ n distinct priority queues, task insertions are performed uniformly at random, while, to delete, a thread picks two queues uniformly at random, and removes the observed task of higher priority. This approach scales well, and has probabilistic rank guarantees: roughly, the rank of each task removed, relative to remaining tasks in all other queues, is O (m) in expectation. Yet, the performance of this pattern is below that of well-engineered schedulers, which eschew theoretical guarantees for practical efficiency. We investigate whether it is possible to design and implement a Multi-Queue-based task scheduler that is both highly-efficient and has analytical guarantees. We propose a new variant called the Stealing Multi-Queue (SMQ), a cache-efficient variant of the Multi-Queue, which leverages both queue affinity---each thread has a local queue, from which tasks are usually removed; but, with some probability, threads also attempt to steal higher-priority tasks from the other queues---and task batching, that is, the processing of several tasks in a single insert / remove step. These ideas are well-known for task scheduling without priorities; our theoretical contribution is showing that, despite relaxations, this design can still provide rank guarantees, which in turn implies bounds on total work performed. We provide a general SMQ implementation which can surpass state-of-the-art schedulers such as OBIM and PMOD in terms of performance on popular graph-processing benchmarks. Notably, the performance improvement comes mainly from the superior rank guarantees provided by our scheduler, confirming that analytically-reasoned approaches can still provide performance improvements for priority task scheduling. The full version of this paper is available in [24].
Exploring Two Cases of Amazigh Maintenance and Shift in a Moroccan Higher Education Institution

The study of Language Maintenance and Shift (LMS) is mainly concerned with exploring the effects of contact between two varieties or more on the speakers' "habitual use" of these varieties. This paper focuses on investigating two cases of LMS among native Amazigh-speaking youngsters who were enrolled at a higher education institution in the city of Agadir, Morocco. With regard to their linguistic background, the two cases are bilingual in an Amazigh variety (Tashlhit) as their mother tongue and Moroccan Arabic (Darija) as their L2. The purpose of the study is to explore the possible determinants of LMS among these two cases by exploring both their language choice patterns and social networks in particular language use domains (family and school). The instruments utilized to collect data included 'natural speech' recordings, self-report questionnaires, and interviews. The collected data were analyzed and interpreted in the light of Domain analysis and Social Network theories. The results revealed inconsistency in the case studies' patterns and determinants of LMS. Accordingly, the study concluded by recommending adopting more comprehensive models to better comprehend the dynamics of LMS in indigenous settings.
A new route to high energy density inside the bulk of transparent materials

Kazem Ardaneh, ∗ Remi Meyer, Mostafa Hassan, Remo Giust, Chen Xie, Benoit Morel, Ismail Ouadghiri-Idrissi, Luca Furfaro, Luc Froehly, Arnaud Couairon, Guy Bonnaud, and Francois Courvoisier † FEMTO-ST Institute, Univ. Bourgogne Franche-Comté, CNRS,15B avenue des Montboucons, 25030, Besançon Cedex, France Key Laboratory of Opto-electronic Information Technology of Ministry of Education, School of Precision Instruments and Opto-electronics Engineering, Tianjin University, 300072 Tianjin, China CPHT, CNRS, Ecole Polytechnique, Institut Polytechnique de Paris, Route de Saclay, F-91128 Palaiseau, France CEA, Centre de Paris-Saclay, DRF, Université Paris-Saclay, 91191 Gif-sur-Yvette, France (Dated: September 3, 2021)
Bottom tetraquark production at RHIC?

Background: A resonance has been observed by the ANDY Collaboration at the Relativistic Heavy-Ion Collider at Brookhaven National Laboratory in Cu+Au collisions at center-of-mass energy √ s = 200 GeV and at forward rapidity with an average mass of 18.15 GeV. The Collaboration suggests that it is a bbbb tetraquark state decaying to two Υ(1S) states, each measured through the Υ → ggg channel. Purpose: Their suggestion is investigated assuming that the two Υ states are produced through the materialization of a |uudbbbb〉 Fock state in the projectile. Methods: The Υ pair mass and rapidity distributions arising from such a state are calculated. The production of an Xb(bbbb) tetraquark state from the same Fock configuration is also investigated. The dependence on bottom quark mass and their transverse momentum range is also studied. Results: It is found that double Υ production from these |uudbbbb〉 states peak in the rapidity range of the ANDY detector. The Υ pair and Xb masses are, however, higher than the mass reported by the ANDY Collaboration. Conclusions: The results obtained from these calculations are incompatible with the ANDY result. They are, however, compatible with previous predictions of bbbb tetraquark masses.
Quasi-cluster randomized trial of a six-month low-intensity group-based resistance exercise for hemodialysis patients on depression and cognitive function: a 12-month follow-up

ABSTRACT Objective This study aimed to examine the effects of a six-month group-based low-intensity resistance exercise program on depression and the cognitive function of hemodialysis patients. Method We conducted a quasi-cluster randomized, open-label controlled study from October 2017 to December 2018. Forty-two patients undergoing hemodialysis completed the trial over six months; half participated in the resistance exercise group (n = 21, mean = 74.90 years of age, SD = 2.23, 66.67% female) and the other half were in a stretching control group (n = 21, mean = 72.57 years of age, SD = 2.26, 28.57% female). Depressive symptoms and cognitive function were the primary outcome measures. Behavioral and psychological problems associated with cognitive decline (NPI-Q), subjective insomnia, and exercise self-efficacy were secondary outcomes. Outcomes were measured at baseline, three-month (mid-intervention), six-month (end of intervention), and 12-month (six months after intervention) follow-ups. Linear mixed model analyses were used to determine short-term (immediately after intervention) and long-term (six months after intervention) effects. Results In depression, cognitive function, and the NPI-Q, there were no significant effects. In subjective insomnia, a short-term group-by-time interaction in the intervention group compared to the control group was found (ES = .43). However, the effect had disappeared by the 12-month follow-up. In exercise self-efficacy, short- and long-term group-by-time interactions were found. A significant short-term increase in the resistance exercise and a significant decrease in the stretching control was observed (ES = -.83). However, the effect was weakened in the long term (ES = -.38). Conclusion The results showed that low-intensity group resistance exercise would reduce subjective insomnia and improve exercise self-efficacy, but the effect was not maintained by six months after the program. Trial registration: This study was registered on the University Hospital Medical Information Network Clinical Trials Registry (UMIN000029372). Trial registration: UMIN Japan identifier: UMIN000029372.
A Reasoning Engine for the Gamification of Loop-Invariant Discovery

We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods expertise to collaboratively prove interesting theorems about simple programs using browserbased, online games. Within an hour, players are able to specify and verify properties of programs that are beyond the capabilities of fullyautomated tools. The hour limit includes the time for setting up the system, completing a short tutorial explaining game play and reasoning about simple imperative programs. Players are never required to understand formal proofs; they only provide insights by proposing invariants. The reasoning engine is responsible for managing and evaluating the proposed invariants, as well as generating actionable feedback.
The Use of Explicitation to Retain the Foreignness of Olga Tokarczuk’s Flights

This article discusses the topic of explicitation applied as a measure of retaining foreignness in the English translation of Flights. It has been observed that the main types of explicitation used in the analysed novel are either explanations of the context which may be lost in the English translation or presentation of both, the problematic Polish words and their English explanation. The analysis has confirmed that explicitation gives the possibly to preserve almost exact level of foreignness as in the case of the source text. The second shift analysed in this study is implicitation, applied in a situation when retaining foreignness was not possible. This phenomenon has been implemented as a response to information explicitly stated in the source text. However, this measure does not negatively influence the TT, but on the contrary, it helps to provide a consistent and understandable text.
Advances in surgical treatment of ovarian cancer liver metastasis

OC is characterized by concealed onset, rapid progression, lack of effective screening methods and more than 90% of them are epithelial cancer. According to the latest global cancer statistics, there were 314,000 new cases and 207,000 deaths of OC worldwide in 2020, making it the eighth most common cancer among women (incidence rate 3.4%) and the eighth leading cause of cancer death (mortality rate 4.7%). In fact, more than 70% of patients with OC were initially diagnosed at advanced stage (FIGO III/IV), with poor prognosis and lost the chance of radical surgery. The 5 year survival rate of patients with early OC was significantly different from that with advanced stage. The 5 year survival rate of FIGO stage I patients was 90%, stage II patients was about 80% and stage III/IV patients was only 30%-40% or even lower. Most patients died of tumor recurrence and drug resistance. At present, cytoreductive surgery (CRS) combined with platinum-based chemotherapy is still the standard treatment mode for OC and implement satisfactory CRS by maximizing tumor resection is the key to the treatment of primary or recurrent metastatic OC.
Leveraging Documentation to Test Deep Learning Library Functions

It is integral to test API functions of widely-used deep learning (DL) libraries. The effectiveness of such testing requires DL-specific input constraints of these API functions. Such constraints enable the generation of valid inputs, i.e., inputs that follow these DL-specific constraints, to explore deep to test the core functionality of API functions. Existing fuzzers have no knowledge of such constraints, and existing constraint-extraction techniques are ineffective for extracting DL-specific input constraints. To fill this gap, we design and implement a document-guided fuzzing technique— D2C —for API functions of DL libraries. D2C leverages sequential pattern mining to generate rules for extracting DL-specific constraints from API documents and uses these constraints to guide the fuzzing to generate valid inputs automatically. D2C also generates inputs that violate these constraints to test the input validity checking code. In addition, D2C uses the constraints to generate boundary inputs to detect more bugs. Our evaluation of three popular DL libraries (TensorFlow, Py-Torch, and MXNet) shows that D2C’s accuracy in extracting input constraints is 83.3–90.0%. D2C detects 121 bugs, while a baseline fuzzer without input constraints detects only 68 bugs. Most (89) of the 121 bugs are previously unknown, 54 of which have been fixed or confirmed by developers after we report them. In addition, D2C detects 38 inconsistencies within documents, including 28 that are fixed or confirmed after we report them.
Engineering Synthetic Control over Rho GTPases using Ca2+ and Calmodulin Signaling

Engineered protein systems have been created to imp art new functions, or “re-program” mammalian cells for applications including cancer a nd HIV/AIDS therapies. The successful development of mammalian cells for re-programming w ill depend on having well-defined, modular systems. Migration is a particularly impor tant cell function that will determine the efficiency and efficacy of many re-programming appl ications in vivo, and Rho proteins are responsible for regulation of cell migration native ly. While there have been several reports of photo-activated Rho proteins, no strategy has been d veloped such that Rho proteins and cell migration can be controlled by a variety of extrace llular stimuli that may be compatible with signaling in large organisms. Here, several method s are described for engineering Ca -sensitive Rho proteins so that the large, natural toolbox of Ca-mobilizing proteins can use the Ca 2+ intermediate to activate Rho proteins in response t o a variety of exogenous stimuli, including chemicals, growth factors, and light. First, an unreported calmodulin binding site was id entified in RhoA. This knowledge was used to create a tandem fusion of RhoA and calmodulin th at mediated Ca -sensitive bleb retraction in response to a variety of Ca -elevating chemicals. Ca -mobilizing modules including
Fluctuating spin-orbital texture of Rashba-split surface states in real and reciprocal space

Spin-orbit interaction (SOI) in low-dimensional systems, namely Rashba systems and the edge states of topological materials, is extensively studied in this decade as a promising source to realize various fascinating spintronic phenomena, such as the source of the spin current and spin-mediated energy conversion. Here, we show the odd fluctuation in the spin-orbital texture in a surface Rashba system on Bi/InAs(110)-(2$\times$1) by spin- and angle-resolved photoelectron spectroscopy and a numerical simulation based on a density-functional theory (DFT) calculation. The surface state shows a paired parabolic dispersion with the spin degeneracy lifted by the Rashba effect. Although its spin polarization should be fixed in a particular direction based on the Rashba model, the observed spin polarization varies greatly and even reverses its sign depending on the wavenumber. DFT calculations also reveal that the spin directions of two inequivalent Bi chains on the surface change from nearly parallel (canted-parallel) to anti-parallel in real space in the corresponding wavevector region. These results point out an oversimplification of the nature of spin in Rashba and Dirac systems and provide more freedom than expected for spin manipulation of photoelectrons.