Miracle-dz/UniFAR-FTUs huggingface dataset:
The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm

Data routing in networks is required to be efficient and reliable. Fast detection and recovery from link or path failures play crucial roles in the reliability guarantee. In this work, we investigate a variant of the multi-commodity flow problem to address one formalization of reliability, where for each demand, a primary path transmits the demand without exceeding a jitter limit and an arc-disjoint secondary path signals the possible failure of the primary path. We first present a compact mixed-integer linear programming model and then we devise a Branch-and-Benders-Cut algorithm to solve this combinatorial optimization problem. On a diverse set of instances, we evaluate the algorithm's performance and discuss several numerical results.
Approximate Model Predictive Control Based on Neural Networks in a Cloud-Based Environment

Efficient approximations of predictive controllers using neural networks can enable the deployment of highperformance controllers virtually everywhere. Such approximations can run on simple embedded hardware but have significant drawbacks. The approximate controllers need a computationally expensive training in advance, and they do not inherit the feasibility and stability guarantees of the original predictive controllers. This paper considers possible future control architectures in an industrial setting where a cloud, or a centralized computing unit, can be used to simultaneously mitigate these drawbacks by supervising the performance of the embedded controllers based on the computation of safe sets and predicted constraint violations, which can trigger a direct control by the cloud as well as a retraining of the embedded approximate controllers. We demonstrate the potential of the proposed approach with a simulation study.
Product of Exponential Formula of Multidual Quaternions and Higher-Order Kinematics

A novel computational method of higher-order kinematics motion of multibody systems of rigid bodies is proposed in this paper. A crucial observation of the new approach is the generic properties of the automatic differentiation feature of extended function in multidual (MD) algebra. A specific differential transform represents a symbolic determination of field invariants in higher-order accelerations field. All information of this representation is encapsulated in a quaternion definite in the tensorial product on dual and multidual algebras, denoted hyper-multidual (HMD) algebra. In the case of a lower-pair kinematic serial chain, a Product of the Exponential (POE) formula of HMD quaternion of the end-effector of the spatial kinematic chain in HMD algebra is presented in various reference frames.
Constructing Effective Teacher-Training Workshops for Japanese Pre-Service English Teachers

This paper elucidates a research project that aims to understand and support the practical needs of pre-service English teachers who intend to teach at junior and senior high schools in Japan. Each day, novice English teachers who work in the Japanese public school system are facing challenges for which their pre-service training has failed to prepare them. Regrettably, the support structure for English teachers in the public system is sadly lacking. As part of this research project pre-service teachers of English (n=20) were asked through an online questionnaire to identify what topics they would like to be included in teacher-training workshops designed to address their needs. A series of one-day workshops were then developed based on these perceived needs. This paper explores the efficacy of the first two workshops based on the participants’ (n=28) informal and written feedback. The authors map out the design of future workshops and argue that practical support is essential considering the current teacher-training structure in Japan. This research project aims to provide realistic solutions to many of the common problems that Japanese teachers of English encounter in their professional practice. It is hoped that fellow educators will find this paper useful when considering making changes to their own educational contexts.
Thermal Monitoring of Transformer via Finite Time Parameter Estimator

In transmission and distribution substations, power transformers account for the majority of capital investment. As they are expensive, effective thermal performance monitoring is necessary for life extension. The hot-spot temperature value is among the most significant factors affecting a transformer's life expectancy. As HST evaluation require some Top-oil Temperature model parameters, accurate estimations of TOT are required to analyze the thermal performance and lifespan of transformers. Conventionally, the TOT parameters from the Resistance-Capacitance network are determined using the input-output data. While the regressor signals meet the Persistence of Excitation criterion in the Gradient Estimator a parametric estimate error approaches zero and the parameter converges to their true value. The Design of Experiment is often carried out in the test center to meet the PE requirement. As a consequence, actual operating transformer data is utilized for the identification and estimation of the parameters associated with the TOT model by using finite-time estimators. The detected PE issue, the impact of DoE, and the efficiency of FTEs with different filters for non-PE data obtained from the actual operating transformers' thermal model are demonstrated by experimental analysis using MATLAB.
Exploitation Perspective Index as a Support of the Management of the Transformer Fleet

This paper presents an alternative approach to the Transformer Assessment Index (TAI) by proposing a relatively simple rating method called the Exploitation Perspective Index (EPI). The method provides two numerical indicators: the first reflects the overall technical condition of the particular unit, and the second shows the condition of the unit in the context of the entire fleet. The objective of the EPI method is to support the decision-making process regarding the technical condition assessment of each of the transformers in the target population, considering not only technical but also economic aspects of transformer maintenance. Application of the method is described step by step, including input data, parametrization of the weights, and interpretation of the output results it provides. The proposed method is evaluated by two representative use cases and compared with two other methods. As a result, EPI confirms its applicability, and it has already been successfully implemented by the electric power industry. EPI can be potentially freely adopted for any transformer fleet, as well as for the specific situation of the utility, by adjusting the relevant parameters.
The Stunt Nematode Sauertylenchus maximus (Allen) Siddiqi (Tylenchida) in Pastures of Bingöl Province, Turkey Bingöl İli Meralarinda Bodurluk Nematodu Sauertylenchus maximus (Allen) Siddiqi (Tylenchida)

The province of Bingol, a mountainous area located in the East Anatolian Region of Turkey, has limited agricultural land but large intermountain pastures supporting the main economic resource of the region, livestock production. The stunt nematode, Sauertylenchus maximus was recovered from a soil sample taken dur- ing a survey to investigate plant-parasitic and other soil nematodes of pastures in Bingol Province. In this report, morphometric measurements of the S. maximus are provided for females. Presently, we lack further information about its distribution and host association, which should be the subjects of further research. This species has been reported from northwestern Turkey; however, the published literature contains no record of it in the eastern Anato- lian region nematode fauna. Therefore, this is a regional first report of the species.
Population genetic structure and hybrid zone analyses for species delimitation in the Japanese toad (Bufo japonicus)

Hybridization following secondary contact may produce different outcomes depending on the extent to which genetic diversity and reproductive barriers have accumulated during isolation. The Japanese toad, Bufo japonicus, is distributed on the main islands of Japan. In the present study, we applied multiplexed inter-simple sequence repeat genotyping by sequencing to achieve the fine-scale resolution of the genetic cluster in B. j. japonicus and B. j. formosus. We also elucidated hybridization patterns and gene flow degrees across contact zones between the clusters identified. Using SNP data, we found four genetic clusters in B. j. japonicus and B. j. formosus and three contact zones of the cluster pairs among these four clusters. The two oldest diverged lineages, B. j. japonicus and B. j. formosus, formed a narrow contact zone consistent with species distinctiveness. Therefore, we recommend that these two subspecies be elevated to the species level. In contrast, the less diverged pairs of two clusters in B. j. japonicus and B. j. formosus, respectively, admixed over a hundred kilometers, suggesting that they have not yet developed strong reproductive isolation and need to be treated as conspecifics. These results will contribute to resolving taxonomic confusion in Japanese toads.
Evidence for pre-Cretaceous rifting in the Rockall Trough: an analysis using quantitative 2D structural/stratigraphic modelling

Quantitative 2D structural and stratigraphic modelling has been used to examine the crustal evolution of the Rockall Trough. The main phase of rifting and subsidence of the basin took place during the Cretaceous to Tertiary. The stratigraphy of the deeper parts of the Rockall Trough has not yet been tested and remains unproven. Two-dimensional forward syn-rift and post-rift modelling of crustal structure and basin geometry has been used to indicate whether a pre-Cretaceous rift system exists within the Rockall Trough. Basin modelling has been carried out on regional crustal profiles across the Rockall Trough derived from seismic reflection, refraction and gravity data. Observed present-day depths to top basement and Moho may be modelled for a range of β -stretching factors dependent upon the initial assumptions of Moho depth and bathymetry. Curves, summarizing model solutions, for β -factor versus both initial bathymetry and Moho depth, have been produced. Solutions for Cretaceous β -factors
Antimicrobial Studies on Epidermal Mucus of Fish Anabas Testudineus

The present investigation was conducted to find out the antimicrobial, hemolytic activity and protein content of fish epidermal mucus and their chemical constituents from Anabas testudineus. The in vitro hemolytic activity were analyzed and the antimicrobial activity against human pathogens (Bacteria) were determined by agar well diffusion methods. Epidermal mucus sample protein was analyzed by (Thin layer chromatography and SDS-PAGE). Totally thirteen human pathogens were tested against the fish mucus. Out of thirteen pathogens five pathogens have proved to be sensitive to the mucus. The average value of maximum zone of inhibition was observed against K. pneumonia (15.17±0.09mm) > P. vulgaris (13.2±0.17mm) > E. lentum (12.43±0.18mm) > MRSA (11.37±0.32mm) > S. aureus (10.5±0.11mm). The percentage of haemolysis for lyophilized sample shows more hemolytic activity. The amount of protein present in the mucus for Lyophilized sample: 3.61 g/dL, for Rotavac sample: 1.08 g/dL. The present inspection were revealed that positive progresses in the fish mucus extracts hostile to human pathogen (Bacteria) and the hemolytic activity, also the simple population of proteins (SDS PAGE) and the (TLC) reveals the presence of amino acids and peptides. Further efforts are required for the isolation of the active antimicrobial compounds in order to establish their possible applications.
First Report of Viral Nervous Necrosis in Asian Sea Bass, Lates Calcarifer Cultured in Sri Lanka

Viral Nervous Necrosis (VNN) caused by Betanodavirus is a devastating disease in aquatic animals. The virus infects both marine and freshwater fish worldwide. Vacuolating necrosis of neural cells of the brain, the retina of the eye, and the spinal cord of the infected fish are the primary histological lesions of the condition. It causes up to 100% mortality in larvae and juvenile fish and can cause significant death in adult fish. The present study detected viral nervous necrosis in larvae and fry of Asian sea bass (Lates calcarifer) with progressive mortality of up to 95% in one week during the Northeast monsoon when the mean water temperature was 27 to 29°C. Histopathological examination of the moribund fish revealed extensive vacuolation and gliosis in the olfactory bulb, the optic lobe of the forebrain, and the inner and outer layer of the retina. Furthermore, tissues of the brain and the retina had intracellular inclusion bodies suggesting viral etiology, further justified by the negative results of the bacterial and parasitic examinations. The Reverse Transcriptase Polymerase Chain Reaction (RT-PCR) test additionally confirms the etiology diagnosis using specific primers designed previously. The histopathology and RT-PCR results suggest that the mortalities of Asian sea bass were due to the VNN. The present finding is the first report of the VNN associated with mass mortalities in Asian seabass cultured in Sri Lanka. These crucial findings emphasize the need for quarantine and control strategies to prevent the spread of the virus and outbreak of the disease.
Unraveling the Internationalization Barriers among Oil and Gas SMEs: A Path to Global Expansion

The remarkable expansion of globalization stands as one of the most significant phenomena in the twenty-first century, shaping both the business landscape and robust strategic approaches that prioritize the internationalization of domestic firms. In addition to large multinational corporations, small and medium-sized enterprises (SMEs) also recognize the vast opportunities international markets offer for business growth and development. Furthermore, SMEs that venture into global markets can strengthen their competitiveness and global presence by integrating valuable global experiences and incorporating their benefits into their domestic operations. Despite the potential, SMEs' involvement in the global market has remained disappointingly low, with little improvement since 2011. In light of this challenge, our study endeavors to unravel the multifaceted factors contributing to SMEs' internationalization dilemmas. Analyzing a total of 409 valid datasets, the findings highlighted the main factor behind SMEs' hesitancy to engage in internationalization: a lack of resources. Consequently, it becomes crucial for SMEs, particularly those in the Oil and Gas Equipment and Service segments, to focus on strengthening their resources to facilitate the internationalization process. Complementing this resource-centric approach, adjustments in managers' attitudes are equally crucial, as they have the potential to ignite SMEs' active engagement in international markets, ultimately contributing to national economic growth.
Teachers’ Collaborations in a Secondary School Learning Commons: Designing for Success

Abstract Few studies focus on secondary school teachers’ reactions to learning commons with respect to their collaborations with each other, and with teaching librarians—especially before and after a retrofit. The present case study gathered data from Canadian teachers about their former library, as well as a new learning commons. Teachers’ attitudes about the learning commons were significantly more positive compared to the previous library. Technology, communication, and flexibility were aspects noted to predict satisfaction. Teachers were concerned with the loss of desktop computers. This study showcases the importance of (and a method for) asking teachers how a learning commons affects their work.
Effects of Love Waves on Microtremor H/V Ratio

Abstract The horizontal-to-vertical (H/V) method has the potential to significantly contribute to site effects evaluation, in particular in urban areas. Within the European project, site effects assessment using ambient excitations (SESAME), we investigated the nature of ambient seismic noise in order to assess the reliability of this method. Through 1D seismic noise modeling, we simulated ambient noise for a set of various horizontally stratified structures by computing efficiently the displacement and stress of dynamic Green’s functions for a viscoelastic-layered half-space. We performed array analysis using the conventional semblance-based frequence-wavenumber method and the three-component modified spatial autocorrelation method on both vertical and horizontal components and estimated the contribution of different seismic waves (body/surface waves, Rayleigh/Love waves) at the H/V peak frequency. We show that the very common assumption that almost all the ambient noise energy would be carried by fundamental-mode Rayleigh waves is not justified. The relative proportion of different wave types depends on site conditions, and especially on the impedance contrast. For the 1D horizontally layered structures presented here, the H/V peak frequency always provides a good estimate of the fundamental resonance frequency whatever the H/V peak origin (Rayleigh wave ellipticity, Airy phase of Love waves, S -wave resonance). We also infer that the relative proportion of Love waves in ambient noise controls the amplitude of the H/V peak.
Initiation of a Butterfly Monitoring Program at the Tallgrass Prairie Preserve, Osage County, Oklahoma

A butterfly monitoring program was initiated in 1993 at the Tallgrass Prairie Preserve, Osage County, Oklahoma. This is a long-term study that should allow preserve managers to evaluate the effects of prescribed burning, bison (Bison bison) grazing, and possible future environmental threats to the biota of the preserve. It is predicted that within a 5-year period (to account for strays and rare migrants) 130 species of butterflies will be documented at the preserve. Thus far, 74 have been found. Within the butterfly indicator assemblage, certain butterflies [identified as native remnant-dependent or native remnant-associated (r-d/r-a)] are more sensitive to environmental degradation. Thirty-one species of r-d/r-a species have been predicted to occur on the preserve. Thus far, 18 have been found. Informal inventory surveys were conducted approximately bi-monthly from May through October 1993 and resumed in March 1994. Also, starting in March 1994, nine butterfly census routes were walked by trained volunteer butterfly monitors.
Candidate regulators of drought stress in tomato revealed by comparative transcriptomic and proteomic analyses

Drought is among the most common abiotic constraints of crop growth, development, and productivity. Integrating different omics approaches offers a possibility for deciphering the metabolic pathways and fundamental mechanisms involved in abiotic stress tolerance. Here, we explored the transcriptional and post-transcriptional changes in drought-stressed tomato plants using transcriptomic and proteomic profiles to determine the molecular dynamics of tomato drought stress responses. We identified 22467 genes and 5507 proteins, among which the expression of 3765 genes and 294 proteins was significantly changed under drought stress. Furthermore, the differentially expressed genes (DEGs) and differentially abundant proteins (DAPs) showed a good correlation (0.743). The results indicated that integrating different omics approaches is promising in exploring the multilayered regulatory mechanisms of plant drought resistance. Gene ontology (GO) and pathway analysis identified several GO terms and pathways related to stress resistance, including response to stress, abiotic stimulus, and oxidative stress. The plant hormone abscisic acid (ABA) plays pivotal roles in response to drought stress, ABA-response element binding factor (AREB) is a key positive regulator of ABA signaling. Moreover, our analysis indicated that drought stress increased the abscisic acid (ABA) content, which activated AREB1 expression to regulate the expression of TAS14, GSH-Px-1, and Hsp, ultimately improving tomato drought resistance. In addition, the yeast one-hybrid assay demonstrated that the AREB1 could bind the Hsp promoter to activate Hsp expression. Thus, this study involved a full-scale analysis of gene and protein expression in drought-stressed tomato, deepening the understanding of the regulatory mechanisms of the essential drought-tolerance genes in tomato.
A Multi-Robot Mission Planner by Means of Beam Search Approach and 2-Opt Local Search

This paper deals with the optimisation of a multi-robot inspection mission in an industrial area. We aim to solve a specific combinatorial optimisation problem where a team of sensing mobile robots must gather several measurement tasks distributed over the state space. Based on previous work where a Hybrid Filtered Beam Search (HFBS) approach solves task assignment and planning for this specific problem, we focus on the planning aspect to improve the computed solution. Therefore, this planning problem is modeled as a one-depot multiple Travelling Salesman Problem (mTSP). As the performance of HFBS depends on the challenging selection of its suitable parameters, and considering the coupling between task assignment and task planning problems, we propose a local search algorithm that improves the solution and deals with the optimality issue.
Cascade Points in the Northern Great Basin: A Radiocarbon-Dated Foliate Point Assemblage from Warner Valley, Oregon

Although common in the northern Great Basin, foliate points sometimes referred to as Cascade points are generally regarded as poor temporal markers because they are found in early, middle, and even late Holocene contexts. It is unclear whether this broad timespan is a function of prolonged use of the point form, later groups recycling discarded artifacts, or a combination of both. We review the spatial and temporal distribution of foliate points in the northern Great Basin and present new data derived from work at a stratified rockshelter in Oregon's Warner Valley. There, we have uncovered foliate projectile points that meet the original definition and more recent refinements of the Cascade point type associated with a late early Holocene and middle Holocene occupation. We present technological and source provenance data for the points and the associated lithic assemblage and reconstruct how prehistoric foragers used the rockshelter.