Miracle-dz/UniFAR-FTUs huggingface dataset:
Insights into the physiological and genomic characterization of three bacterial isolates from a highly alkaline, terrestrial serpentinizing system

The terrestrial serpentinite-hosted ecosystem known as “The Cedars” is home to a diverse microbial community persisting under highly alkaline (pH ~ 12) and reducing (Eh < −550 mV) conditions. This extreme environment presents particular difficulties for microbial life, and efforts to isolate microorganisms from The Cedars over the past decade have remained challenging. Herein, we report the initial physiological assessment and/or full genomic characterization of three isolates: Paenibacillus sp. Cedars (‘Paeni-Cedars’), Alishewanella sp. BS5-314 (‘Ali-BS5-314’), and Anaerobacillus sp. CMMVII (‘Anaero-CMMVII’). Paeni-Cedars is a Gram-positive, rod-shaped, mesophilic facultative anaerobe that grows between pH 7–10 (minimum pH tested was 7), temperatures 20–40°C, and 0–3% NaCl concentration. The addition of 10–20 mM CaCl2 enhanced growth, and iron reduction was observed in the following order, 2-line ferrihydrite > magnetite > serpentinite ~ chromite ~ hematite. Genome analysis identified genes for flavin-mediated iron reduction and synthesis of a bacillibactin-like, catechol-type siderophore. Ali-BS5-314 is a Gram-negative, rod-shaped, mesophilic, facultative anaerobic alkaliphile that grows between pH 10–12 and temperatures 10–40°C, with limited growth observed 1–5% NaCl. Nitrate is used as a terminal electron acceptor under anaerobic conditions, which was corroborated by genome analysis. The Ali-BS5-314 genome also includes genes for benzoate-like compound metabolism. Anaero-CMMVII remained difficult to cultivate for physiological studies; however, growth was observed between pH 9–12, with the addition of 0.01–1% yeast extract. Anaero-CMMVII is a probable oxygen-tolerant anaerobic alkaliphile with hydrogenotrophic respiration coupled with nitrate reduction, as determined by genome analysis. Based on single-copy genes, ANI, AAI and dDDH analyses, Paeni-Cedars and Ali-BS5-314 are related to other species (P. glucanolyticus and A. aestuarii, respectively), and Anaero-CMMVII represents a new species. The characterization of these three isolates demonstrate the range of ecophysiological adaptations and metabolisms present in serpentinite-hosted ecosystems, including mineral reduction, alkaliphily, and siderophore production.
Stability of slender inverted flags and rods in uniform steady flow

Cantilevered elastic sheets and rods immersed in a steady uniform flow are known to undergo instabilities that give rise to complex dynamics, including limit cycle behaviour and chaotic motion. Recent work has examined their stability in an inverted configuration where the flow impinges on the free end of the cantilever with its clamped edge downstream: this is commonly referred to as an ‘inverted flag’. Theory has thus far accurately captured the stability of wide inverted flags only, i.e. where the dimension of the clamped edge exceeds the cantilever length; the latter is aligned in the flow direction. Here, we theoretically examine the stability of slender inverted flags and rods under steady uniform flow. In contrast to wide inverted flags, we show that slender inverted flags are never globally unstable. Instead, they exhibit bifurcation from a state that is globally stable to multiple equilibria of varying stability, as flow speed increases. This theory is compared with new and existing measurements on slender inverted flags and rods, where excellent agreement is observed. The findings of this study have significant implications to investigations of biological phenomena such as the motion of leaves and hairs, which can naturally exhibit a slender geometry with an inverted configuration.
PENGARUH MOTIVASI KERJA DAN KERJASAMA TIM TERHADAP KINERJA KARYAWAN PT. KOSAMI SEJAHTERA UTAMA UNIT TERMINAL INSPECTION-T1, BANDAR UDARA SOEKARNO-HATTA TANGERANG

This study aims to determine the effect of work motivation and teamwork on employee performance. The research method used is a quantitative method with an associative approach. The population and sample in this study were employees of PT. Kosami Sejahtera Utama Terminal Inspection unit- T1. Test Instruments used are Validity Test and Reliability Test. Classical assumption tests, Quantitative Analysis include Simple Linear Regression Analysis, Multiple Linear Regression Analysis, Correlation Coefficient and Determination Coefficient. Test the Hypothesis used. The results of this study show that work motivation partially has a significant effect on employee performance with a calculated t value greater than the table t (6.187 > 2.001). Teamwork partially has a significant effect on employee performance with t values calculated at 4.872 > 2.001. Simultaneously, the results of data processing show that work motivation and teamwork have a positive and significant effect on the performance of PT. Kosami Sejahtera Utama Terminal Inspection-T1 unit with a calculated F value of 23.516 and a coefficient of determination value of 44.8% while the remaining 55.2% is influenced by other factors. The conclusion of this study is that there is a positive and significant influence between work motivation with employee performance and teamwork with employee performance
Visualization of automatically combined disease maps and pathway diagrams for rare diseases

Introduction: Investigation of molecular mechanisms of human disorders, especially rare diseases, require exploration of various knowledge repositories for building precise hypotheses and complex data interpretation. Recently, increasingly more resources offer diagrammatic representation of such mechanisms, including disease-dedicated schematics in pathway databases and disease maps. However, collection of knowledge across them is challenging, especially for research projects with limited manpower. Methods: In this article we present an automated workflow for construction of maps of molecular mechanisms for rare diseases. The workflow requires a standardized definition of a disease using Orphanet or HPO identifiers to collect relevant genes and variants, and to assemble a functional, visual repository of related mechanisms, including data overlays. The diagrams composing the final map are unified to a common systems biology format from CellDesigner SBML, GPML and SBML+layout+render. The constructed resource contains disease-relevant genes and variants as data overlays for immediate visual exploration, including embedded genetic variant browser and protein structure viewer. Results: We demonstrate the functionality of our workflow on two examples of rare diseases: Kawasaki disease and retinitis pigmentosa. Two maps are constructed based on their corresponding identifiers. Moreover, for the retinitis pigmentosa use-case, we include a list of differentially expressed genes to demonstrate how to tailor the workflow using omics datasets. Discussion: In summary, our work allows for an ad-hoc construction of molecular diagrams combined from different sources, preserving their layout and graphical style, but integrating them into a single resource. This allows to reduce time consuming tasks of prototyping of a molecular disease map, enabling visual exploration, hypothesis building, data visualization and further refinement. The code of the workflow is open and accessible at https://gitlab.lcsb. uni.lu/minerva/automap/.
Design and modeling of optical fibers for spatial division multiplexing using the orbital angular momentum of light

The always increasing need for digital data bandwidth pushes the development of emerging technologies to increase network capacity, especially for optical fiber infrastructures. Among those technologies, spatial multiplexing is a promising way to multiply the capacity of current optical links. In this thesis, we are particularly interested in current spatial multiplexing using the orbital angular momentum of light as an orthogonal basis to distinguish between a few optical channels. We first introduce notions from electromagnetism and physic needed for the understanding of the later developments. We derive Maxwell’s equations describing scalar and vector modes of optical fiber. We also present other modal properties like mode cutoff, group index, and dispersion. Orbital angular momentum is briefly explained, with emphasis on its applications to optical communications. In the second part, we propose the modal map as a tool that can help in the design of few mode fibers. We develop the vectorial solution of the ring-core fiber cutoff equation, then we extend those equations to all varieties of three-layer fiber profiles. Finally, we give some examples of the use of the modal map. In the third part of this thesis, we propose few fiber designs for the transmission of modes with an orbital angular momentum. The tools that were developed in the second part of this thesis are now used in the design process of those fibers. A first fiber design, characterized by a hollow center, is studied and demonstrated. Then a second design, a family of ring-core fibers, is studied. Effective indexes and group indexes are measured on the fabricated fibers, and compared to numerical simulations. The tools and the fibers developed in this thesis allowed a deeper comprehension of the transmission of orbital angular momentum modes in fiber. We hope that those achievements will help in the development of next generation optical communication systems using spatial multiplexing.
A kinetic grid for fabric draping simulation

In allusion to the hot issue of fabric simulation, this paper proposes a kinetic grid for reproducing the drape profile of fabric in three-dimensional space. In our model, the interaction inside fabric is built up through a constraint factor as well as an attenuation factor, and the contact between the flexible body of the fabric and the rigid plane is emulated with a touch-counteract mechanism. The forces on the particles in the grid, which are calculated with grid deformation, are then used to generate the additional displacement of the grid. Evolution of the grid is led by step-by-step iteration so that the draping kinetics of the virtual fabric can be achieved. When the draping process meets its steady state, the drape coefficient is worked out through identifying and quantifying the projection area of the grid. The unevenness of the ripples along the drape surface is characterized and manifested by emulating the mechanical anisotropy of the fabric through differentiated constraint factors. The evolution algorithm is improved and an optimized version that reduces calculation error using the third-order Taylor theorem is presented, by which a smoother curved surface for the drape can be produced. The convergence of the grid under different fineness values is explored to reveal the capacity of the model, and a reasonable grid scale has been identified. The computed drape is then compared to a real drape featuring different strengths in the warp and weft, and adjusted to meet the target drape coefficient, as well as drape unevenness considering the anisotropy index. The result shows they are properly matched. The virtual drape is also tested in additional scenes including square support with sharp corners, one-way overhanging and mixed. It has turned out to be a simple, rapid and precise model for fabric drape simulation and assessment.
Modeling of segregation in dense granular flows

In this thesis, a continuum framework, composed of equations of mass, momentum and fluctuating kinetic energy, coupled to one capable of describing the evolution of the interface between air and granular material, was used to study the dense motion of granular materials within two industrially relevant equipments: mixers and silos. The model uses the constitutive equations to close the system of equations and a phenomenological approach to describe the behavior of granular materials. A second model, capable of describing the evolution of the segregation of a bidispersed mixtures through a transport equation, was used to model the segregation. The segregation model is flexible; in fact it is possible to describe the segregation speed using different relationships depending on the segregation mechanisms. As a first approach, it was decided to adopt a relation deriving from Literature approaches. Despite the use of this relation has led to good results, a further study based on experiments and DEM simulations has been done to improve the description of the segregation velocity to be used in segregative model.
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics

The ubiquity of Android smartphones makes them targets of sophisticated malware, which maintain long-term stealth, particularly by offloading attack steps to benign apps. Such malware leaves little to no trace in logs, and the attack steps become difficult to discern from benign app functionality. Endpoint detection and response (EDR) systems provide live forensic capabilities that enable anomaly detection techniques to detect anomalous behavior in application logs after an app hijack. However, this presents a challenge, as state-of-the-art EDRs rely on device and third-party application logs, which may not include evidence of attack steps, thus prohibiting anomaly detection techniques from exposing anomalous behavior. While, theoretically, all the evidence resides in volatile memory, its ephemerality necessitates timely collection, and its extraction requires device rooting or app repackaging. We present VEDRANDO, an enhanced EDR for Android that accomplishes (i) the challenge of timely collection of volatile memory artefacts and (ii) the detection of a class of stealthy attacks that hijack benign applications. VEDRANDO leverages memory forensics and app virtualization techniques to collect timely evidence from memory, which allows uncovering attack steps currently uncollected by the state-of-the-art EDRs. The results showed that, with less than 5% CPU overhead compared to normal usage, VEDRANDO could uniquely collect and fully reconstruct the stealthy attack steps of ten realistic messaging hijack attacks using standard anomaly detection techniques, without requiring device or app modification.
Robust Adaptive Fuzzy Tracking Control for Uncertain MIMO Nonlinear Nonminimum Phase System

Parameter uncertainty and unmodeled dynamics are inevitable for an actual nonlinear system, and are hard to deal with in control design, especially when the internal dynamics of this nonlinear system are unstable. The control design for a multiinput multioutput nonlinear nonminimum phase system with parameter uncertainty and unmodeled dynamics is discussed in this paper. The internal dynamics of nonminimum phase system are unstable, the control of this kind of system is challenging. Ideal internal dynamics (IID) based controller design method are utilized here, and a partially linearized model is constructed. A state tracking model is constructed on account of the partially linearized model and IID. Then the robust fuzzy controller design problem is discussed and a fuzzy logical system is utilized to identify the parameter uncertainty and unmodeled dynamics. A robust adaptive fuzzy controller is proposed for the stability of the nonlinear nonminimum phase system with parameter uncertainty and unmodeled dynamics. Finally, by simulations on vertical takeoff and landing aircraft, the availability of the presented adaptive fuzzy controller is validated.
Effects of Hydroxycitric Acid Supplementation on Body Composition, Obesity Indices, Appetite, Leptin, and Adiponectin of Women with NAFLD on a Calorie-Restricted Diet

Background This trial assessed the effects of a calorie-restricted diet (CRD) with hydroxycitric acid (HCA) supplementation on appetite-regulating hormones, obesity indices, body composition, and appetite in women with nonalcoholic fatty liver disease (NAFLD). Methods This study was carried out on 44 overweight/obese women with NAFLD. The patients were randomly assigned into two groups, namely, “Intervention group” (receiving individual CRD plus HCA tablets per day) and “Control group” (receiving only CRD) for eight weeks. Obesity indices, body composition, appetite status, and serum levels of leptin and adiponectin were assessed before and after the intervention. Results Forty patients completed the trial. At the end of the trial, although significant reductions were found in most of the studied obesity indices in the intervention group, there was only a significant decrease in waist circumference and waist-to-height ratio in the control group. Fat mass and muscle mass significantly decreased in the intervention group (p=0.044 and p=0.024, respectively), and the reduction in visceral fat in the intervention group was significantly greater than that in the control group (−0.49 kg vs −0.37 kg, p=0.024). Intra- and intergroup differences in serum leptin and adiponectin levels and their ratios before and after the trial were not significant. We found a negative and marginally significant correlation between percent of changes in serum adiponectin level and percent of changes in visceral adipose tissue (VAT) (r = −0.429, p=0.067) and BMI (r = −0.440, p=0.059) as well as an inverse relationship between percent of changes in leptin/adiponectin with VAT (r = −0.724, p < 0.001) in the intervention group. Conclusion HCA plus weight loss diet could significantly reduce visceral adipose tissue without any significant changes in serum leptin and adiponectin levels.
Moving object detection via low-rank total variation regularization

Moving object detection is a challenging task in video surveillance. Recently proposed Robust Principal Component Analysis (RPCA) can recover the outlier patterns from the low-rank data under some mild conditions. However, the ℓ-penalty in RPCA doesn’t work well in moving object detection because the irrepresentable condition is often not satisfied. In this paper, a method based on total variation (TV) regularization scheme is proposed. In our model, image sequences captured with a static camera are highly related, which can be described using a low-rank matrix. Meanwhile, the low-rank matrix can absorb background motion, e.g. periodic and random perturbation. The foreground objects in the sequence are usually sparsely distributed and drifting continuously, and can be treated as group outliers from the highly-related background scenes. Instead of ℓ-penalty, we exploit the total variation of the foreground. By minimizing the total variation energy, the outliers tend to collapse and finally converge to be the exact moving objects. The TV-penalty is superior to the ℓ-penalty especially when the outlier is in the majority for some pixels, and our method can estimate the outlier explicitly with less bias but higher variance. To solve the problem, a joint optimization function is formulated and can be effectively solved through the inexact Augmented Lagrange Multiplier (ALM) method. We evaluate our method along with several state-of-the-art approaches in MATLAB. Both qualitative and quantitative results demonstrate that our proposed method works effectively on a large range of complex scenarios.
Cross-referencing of non-subject arguments in Pama-Nyungan languages

ABSTRACT About one third of the Pama-Nyungan languages of Australia employ pronominal cross-referencing, yet systematic typological patterns of non-subject argument registration remain unexamined. We analyze this variation from two perspectives by surveying 22 Pama-Nyungan languages. Firstly, we survey which kinds of case-marked arguments can be cross-referenced by these pronominal systems. From this perspective, we find that a number of nominal expressions marked with so-called ‘local’ cases (e.g. locative, allative, ablative, etc.) can be cross-referenced when instantiating certain argument relations. Secondly, we find striking cross-linguistic predictability in how such relations, which we descriptively group as ‘locational’, are morphologically integrated into the pronominal paradigms. We show that the variation can be captured by two major parameters: firstly, whether locational cross-referencing utilizes the same form as another non-subject series, or whether locational cross-referencing is serviced by a unique series formally built off another non-subject series. In this latter case there is further variation as to which other non-subject series provides the base for the dedicated locational series. These parameters result in six surface pattern types, and we show that each of the patterns is instantiated in languages of the survey.
leur syntaxe interne et mise en evidence de quelques convergences structurales

Cette these a pour objet la syntaxe des classificateurs (CL) et des Constructions a Cas Multiples du coreen. Cette etude adopte essentiellement le cadre antisymetrique de Kayne, mais utilise egalement certains concepts fondamentaux du cadre minimaliste, comme la Verification des traits formels. La premiere partie de cette these est consacree a l'etude des CL et de la structure interne des expressions nominales a CL; nous montrons notamment qu'un traitement syntaxique parallele pour les domaines nominal et phrastique est possible en coreen. Dans la seconde partie, consacree a la structure phrastique et plus specifiquement a celle des Constructions a Cas Multiples du coreen, il est soutenu que les marques dites casuelles du coreen ne sont pas de veritables marques casuelles, mais des tetes fonctionnelles, et que les Constructions a Cas Multiples du coreen s'obtiennent par la reiteration de ces tetes fonctionnelles, suivie d'une operation d'Attraction.