Miracle-dz/UniFAR-FTUs huggingface dataset:
Nrf2 Enhances Cholangiocyte Expansion in Pten-Deficient Livers

ABSTRACT Keap1-Nrf2 system plays a central role in the stress response. While Keap1 ubiquitinates Nrf2 for degradation under unstressed conditions, this Keap1 activity is abrogated in response to oxidative or electrophilic stresses, leading to Nrf2 stabilization and coordinated activation of cytoprotective genes. We recently found that nuclear accumulation of Nrf2 is significantly increased by simultaneous deletion of Pten and Keap1, resulting in the stronger activation of Nrf2 target genes. To clarify the impact of the cross talk between the Keap1-Nrf2 and Pten–phosphatidylinositide 3-kinase–Akt pathways on the liver pathophysiology, in this study we have conducted closer analysis of liver-specific Pten::Keap1 double-mutant mice (Pten::Keap1-Alb mice). The Pten::Keap1-Alb mice were lethal by 1 month after birth and displayed severe hepatomegaly with abnormal expansion of ductal structures comprising cholangiocytes in a Nrf2-dependent manner. Long-term observation of Pten::Keap1-Alb::Nrf2+/− mice revealed that the Nrf2-heterozygous mice survived beyond 1 month but developed polycystic liver fibrosis by 6 months. Gsk3 directing the Keap1-independent degradation of Nrf2 was heavily phosphorylated and consequently inactivated by the double deletion of Pten and Keap1 genes. Thus, liver-specific disruption of Keap1 and Pten augments Nrf2 activity through inactivation of Keap1-dependent and -independent degradation of Nrf2 and establishes the Nrf2-dependent molecular network promoting the hepatomegaly and cholangiocyte expansion.
Modeling Embedded Software Test Requirement Based on MARTE

Based on software requirement and interface control information, Model and Analysis of Real-Time Embedded System (MARTE) was selected to model embedded HW/SW and their interactions. A traversal algorithm was presented to search test scenarios in objects interaction model. We'll also analyze constraints between each scenario then generate test constraints. We'll combine test configuration, test scenarios and corresponding test constraints to create a well-formed embedded software test requirements model.
Fuzzy Hopfield Neural Network Approach to the Channel Assignment Problem

This paper presents a novel approach to solve channel assignment problems by using clustering technique with Fuzzy Hopfield neural network (FHNN). Channels are regarded as data sample and cells are taken as clusters. Channels are adequately distributed to the dedicated cells while satisfying the interference constraints. The goal is to avoid the interference and serve the expected traffic with minimizing used spectrum. The FHNN reduces the parameter processing time and increases the converge rate for channels assignment problem. Simulation results depict that the FHNN provides an alternative approach of solving this category of channels assignment problems.
Fast multiple-fluid simulation using Helmholtz free energy

Multiple-fluid interaction is an interesting and common visual phenomenon we often observe. In this paper, we present an energy-based Lagrangian method that expands the capability of existing multiple-fluid methods to handle various phenomena, such as extraction, partial dissolution, etc. Based on our user-adjusted Helmholtz free energy functions, the simulated fluid evolves from high-energy states to low-energy states, allowing flexible capture of various mixing and unmixing processes. We also extend the original Cahn-Hilliard equation to be better able to simulate complex fluid-fluid interaction and rich visual phenomena such as motion-related mixing and position based pattern. Our approach is easily integrated with existing state-of-the-art smooth particle hydrodynamic (SPH) solvers and can be further implemented on top of the position based dynamics (PBD) method, improving the stability and incompressibility of the fluid during Lagrangian simulation under large time steps. Performance analysis shows that our method is at least 4 times faster than the state-of-the-art multiple-fluid method. Examples are provided to demonstrate the new capability and effectiveness of our approach.
A walking monitoring shoe system for simultaneous plantar-force measurement and gait-phase detection

This paper presents a walking-monitoring-shoe (WMS) system capable of simultaneous performing accurate plantar-force measurement and reliable gait-phase detection for continuous monitoring of human walking on treadmill. Based on anatomical information, the WMS employs four strain-gauges embedded in a homemade sole to accurately measure the contact force of the human foot exerted on the shoe-pad, and an efficient classification algorithm to detect five distinct gait-phases from the measured plantar force patterns. The WMS was experimentally evaluated, which has a typical 2nd-order system dynamics (with an 8% overshoot and a 2% settling time of 76ms when subject to a step input). Experimental results show that the accuracy and resolution of the sensing system are 1.09±0.09% (significant level=0.95) and 2N (0.2% of the maximal value of the load), respectively. The root-mean-square (rms) difference between the output signals of the WMS and the calibrated dynamic loading system was 1.67±0.12% (significant level=0.95). The feasibility of this integrated sensing/detection system was experimentally validated against video data, which relates gait-phases to the leg kinematics.
JackIn Airsoft: localization and view sharing for strategic sports

We present JackIn Airsoft, a system for generating maps for multi-player sport activities and sharing their first-person views (FPVs). In first-person shooting (FPS) games, maps are generated for the visualization of the player's location; these maps are used for strategic play and discussions. FPS games are a virtual experience of shooting or of military activities; the displaying of maps on a screen is a technique designed for game playing. We address the challenge of adapting this effective map visualization technique to real-world strategic sports. In this paper, we introduce our prototype map generator for airsoft sports that is based on the usage of wearable cameras and simultaneous localization and mapping (SLAM). The system enables users to switch between the FPV and the generated map in order to share a player's experience and a strategic overview for team sports. We applied ORB-SLAM2 to multiple recorded FPV videos to discuss the situations and conditions appropriate for our system.
Wind Accretion and State Transitions in Cygnus X-1

We present the results of a spectroscopic monitoring program (from 1998 to 2002) of the Hα emission strength in HDE 226868, the optical counterpart of the black hole binary Cyg X-1. The feature provides an important probe of the mass-loss rate in the base of the stellar wind of the supergiant star. We derive an updated ephemeris for the orbit based on radial velocities measured from He I λ6678. We list net equivalent widths for the entire Hα emission/absorption complex, and we find that there are large variations in emission strength over both long (years) and short (hours to days) time spans. There are coherent orbital phase-related variations in the profiles when the spectra are grouped by Hα equivalent width. The profiles consist of (1) a P Cygni component associated with the wind of the supergiant, (2) emission components that attain high velocity at the conjunctions and that probably form in enhanced outflows both toward and away from the black hole, and (3) an emission component that moves in antiphase with the supergiant's motion. We argue that the third component forms in accreted gas near the black hole and that the radial velocity curve of the emission is consistent with a mass ratio of MX/Mopt ≈ 0.36 ± 0.05. We find that there is a general anticorrelation between the Hα emission strength and X-ray flux (from the Rossi X-Ray Timing Explorer All Sky Monitor) in the sense that when the Hα emission is strong (Wλ < -0.5 Å) the X-ray flux is weaker and the spectrum harder. On the other hand, there is no correlation between Hα emission strength and X-ray flux when Hα is weak. We argue that this relationship is not caused by wind X-ray absorption nor by the reduction in Hα emissivity by X-ray heating. Instead, we suggest that the Hα variations track changes in wind density and strength near the photosphere. The density of the wind determines the size of X-ray ionization zones surrounding the black hole, and these in turn control the acceleration of the wind in the direction of the black hole. During the low/hard X-ray state, the strong wind is fast and the accretion rate is relatively low, while during the high/soft state, the weaker, highly ionized wind attains only a moderate velocity and the accretion rate increases. We argue that the X-ray transitions from the normal low/hard to the rare high/soft state are triggered by episodes of decreased mass-loss rate in the supergiant donor star.
Shared Cognition as a Product of, and Precursor to, Shared Social Identity: Studying the Role of Communication in Negotiations

This paper examines the relation between shared cognition and shared social identity, and the influence of these two variables on negotiation productivity. Three studies showed that both shared cognition and identification with an overarching group are associated with better negotiation outcomes. Moreover, clear links exist between the development of shared cognition and shared identity. A direct manipulation of shared cognition resulted in greater identification (Study 2). Conversely, stronger identification before negotiation was associated with the development of shared cognition during negotiation (Study 3). Thus, as predicted by self-categorization theory, shared social identity can be both the product of, and precursor to, the development of shared cognition (Turner, 1991), with communication functioning as the interface between the two.
Self-Contained Induction of Neurons from Human Embryonic Stem Cells

Background Neurons and glial cells can be efficiently induced from mouse embryonic stem (ES) cells in a conditioned medium collected from rat primary-cultured astrocytes (P-ACM). However, the use of rodent primary cells for clinical applications may be hampered by limited supply and risk of contamination with xeno-proteins. Methodology/Principal Findings We have developed an alternative method for unimpeded production of human neurons under xeno-free conditions. Initially, neural stem cells in sphere-like clusters were induced from human ES (hES) cells after being cultured in P-ACM under free-floating conditions. The resultant neural stem cells could circumferentially proliferate under subsequent adhesive culture, and selectively differentiate into neurons or astrocytes by changing the medium to P-ACM or G5, respectively. These hES cell-derived neurons and astrocytes could procure functions similar to those of primary cells. Interestingly, a conditioned medium obtained from the hES cell-derived astrocytes (ES-ACM) could successfully be used to substitute P-ACM for induction of neurons. Neurons made by this method could survive in mice brain after xeno-transplantation. Conclusion/Significance By inducing astrocytes from hES cells in a chemically defined medium, we could produce human neurons without the use of P-ACM. This self-serving method provides an unlimited source of human neural cells and may facilitate clinical applications of hES cells for neurological diseases.
An Overview of GOOFI - A Generic Object-Oriented Fault Injection Framework

This paper presents a framework called GOOFI (Generic Object-Oriented Fault Injection) for experimental dependability validation of embedded computer systems using fault injection. GOOFI is designed to be adaptable to various target systems and different fault injection techniques and is highly portable between different host platforms since it relies on the Java programming language and a SQL compatible database. The most recent version of the framework supports four different techniques for fault injection. They are software implemented fault injection, scan-chain implemented fault injection and fault injection via two on-chip debug interfaces known as BDM (Background Debug Mode) and Nexus (a recently introduced standard interface). Work has also been started on adding support for simulation based fault injection in VHDL models as well as function-level models.
Cutting Edge: Developmental Stage-Specific Recruitment of Cohesin to CTCF Sites throughout Immunoglobulin Loci during B Lymphocyte Development1

Contraction of the large Igh and Igκ loci brings all V genes, spanning >2.5 Mb in each locus, in proximity to DJH or Jκ genes. CCCTC-binding factor (CTCF) is a transcription factor that regulates gene expression by long-range chromosomal looping. We therefore hypothesized that CTCF may be crucial for the contraction of the Ig loci, but no CTCF sites have been described in any V loci. Using ChIP-chip, we demonstrated many CTCF sites in the VH and Vκ regions. However, CTCF enrichment in the Igh locus, but not the Igκ locus, was largely unchanged throughout differentiation, suggesting that CTCF binding alone cannot be responsible for stage-specific looping. Because cohesin can colocalize with CTCF, we performed chromatin immunoprecipitation for the cohesin subunit Rad21 and found lineage and stage-specific Rad21 recruitment to CTCF in all Ig loci. The differential binding of cohesin to CTCF sites may promote multiple loop formation and thus effective V(D)J recombination.
An Arabic Twitter Corpus for Subjectivity and Sentiment Analysis

We present a newly collected data set of 8,868 gold-standard annotated Arabic feeds. The corpus is manually labelled for subjectivity and sentiment analysis (SSA) ( = 0:816). In addition, the corpus is annotated with a variety of motivated feature-sets that have previously shown positive impact on performance. The paper highlights issues posed by twitter as a genre, such as mixture of language varieties and topic-shifts. Our next step is to extend the current corpus, using online semi-supervised learning. A first sub-corpus will be released via the ELRA repository as part of this submission.
Ultrasonography of the shoulder: asymptomatic findings from working-age women in the general population

[Purpose] The aim of this study was to estimate the prevalence of abnormal shoulder ultrasonographic findings in a sample of asymptomatic women. [Subjects and Methods] A secondary analysis of a cross-sectional study was performed. We recruited 305 women (aged 18–56 years). All the subjects had a structured interview screening for self-reported symptoms and underwent a shoulder ultrasonographic examination, in which both shoulders were examined. The radiologist was blinded to the clinical history of the participants. All detectable shoulder abnormalities were collected. [Results] Of the subjects, 228 (74.75%) were asymptomatic at both shoulders, and 456 asymptomatic shoulders were analyzed. Lack of uniformity (supraspinatus, infraspinatus, subscapularis, and biceps brachii long head) was found in 28 shoulders (6.14%), 19 (4.17%) on the dominant side and 9 (1.97%) on the non-dominant side. Tendinosis (supraspinatus, infraspinatus, subscapularis, and biceps brachii long head) was found in 19 shoulders (5.32%), 12 (2.63%) on the dominant side and 7 (1.53%) on the non-dominant side. Calcification and other abnormal findings were reported. [Conclusion] The most common abnormalities were calcifications within the rotator-cuff tendons and humeral head geodes; other degenerative findings were less common.
Coherent processing of long series of SAR images

In the past years, PS analysis has shown its ca- pability to treat simultaneously long series of SAR data. In this contribution an attempt is made to overcome some of the limitations of the said technique, namely its negligence of decorrelation phenomena; a maximum likelihood estimator for the physical parameters of interest is described and some results are presented. I. INTRODUCTION During the past decade the availability of long series of coherent SAR images led to the development of multiple- image processing techniques. The advantages of such joint analyses over convetional DInSAR are an increased capability in distinguishing the various contributions to the interferomet- ric phase and consequently a better estimate of atmospheric delay variations, one of the most severe limitations to accurate ground deformation recovery. We refer in particular to the PS technique (1), which has proven very effective in identifying stable scatterers, with respect to their phase properties, expecially over urbanized areas. The PS technique, in its stricter version, requires the target to possess some well defined geometrical and temporal characteristics: its cross-range extension must be limited and its reflectivity should not change over the entire data set time span. When these requirements are not met by the radar target, the estimates of physical parameters on it are considered unreliable and the point discarded. Different ways to overcome this limitation have already been proposed. With respect to temporal decorrelation we recall for instance the "Semi-PS/Temporary-PS" concept (2), tackling the case in which a target appears or disappears at some point in the amplitude time series (e.g. when a new building is contructed). Moreover, it is common practice to discard images because of their time isolation or because they represent areas temporary covered by snow (such as winter images in the Alps), since they have no or little chance to be coherent with the main bunch of the data set. With respect to geometric decorrelation we recall the SBAS technique which carries out the analysis only on small baseline subsets (3) and the so called "higher order interferometry" (4) which models the presence of two dominant scatterers in the resolution cell (with different cross-range positions). In this paper we present a new attempt of overcoming the above mentioned limitations of standard PS interferometry. The goal is to complete successful estimations of the param- eters of interest on a larger number of points. In Section II the expression of a Maximum Likelihood estimator is derived from a statistical characterization of SAR observables and real data results are presented. Eventually, some considerations are made on the underlying mechanisms of the proposed estimator and on its proximity to standard PS analysis.
Lévy Processes, Saltatory Foraging, and Superdiffusion

It is well established that resource variability generated by spatial patchiness and turbulence is an important influence on the growth and recruitment of planktonic fish larvae. Empirical data show fractal-like prey distributions, and simulations indicate that scale-invariant foraging strategies may be optimal. Here we show how larval growth and recruitment in a turbulent environment can be formulated as a hitting time problem for a jump-diffusion process. We present two theoretical results. Firstly, if jumps are of a fixed size and occur as a Poisson process (embedded within a drift-diffusion), recruitment is effectively described by a diffusion process alone. Secondly, in the absence of diffusion, and for “patchy” jumps (of negative binomial size with Pareto inter-arrivals), the encounter process becomes superdiffusive. To synthesise these results we conduct a strategic simulation study where “patchy” jumps are embedded in a drift-diffusion process. We conclude that increasingly Levy-like predator foraging strategies can have a significantly positive effect on recruitment at the population level.
B . P . 105 78153 Le Chesnay ( France )

We develop a set of new tabular parsing algorithms for Linear Indexed Grammars, including bottomup algorithms and Earley-like algorithms with and without the valid prefix property, creating a continuum in which one algorithm can in turn be derived from another. The output of these algorithms is a shared forest in the form of a context-free grammar that encodes all possible derivations for a given input string.
Kaigorodov spaces and their Penrose limits

Kaigorodov spaces arise, after spherical compactification, as near-horizon limits of M2, M5 and D3-branes with a particular pp-wave propagating in a worldvolume direction. We show that the uncompactified near-horizon configurations K × S are solutions of D = 11 or D = 10 IIB supergravity which correspond to perturbed versions of their AdS × S analogues. We derive the Penrose–Guven limits of the Kaigorodov space and the total spaces and analyse their symmetries. An Inonu–Wigner contraction of the Lie algebra is shown to occur, although there is a symmetry enhancement. We compare the results to the maximally supersymmetric CW spaces found as limits of AdS × S spacetimes: the initial gravitational perturbation on the brane and its near-horizon geometry remains after taking non-trivial Penrose limits, but seems to decouple. One particular limit yields a time-dependent homogeneous plane-wave background whose string theory is solvable, while in the other cases we find inhomogeneous backgrounds.
Bayesian Query-Focused Summarization

We present BAYESUM (for "Bayesian summarization"), a model for sentence extraction in query-focused summarization. BAYESUM leverages the common case in which multiple documents are relevant to a single query. Using these documents as reinforcement for query terms, BAYESUM is not afflicted by the paucity of information in short queries. We show that approximate inference in BAYESUM is possible on large data sets and results in a state-of-the-art summarization system. Furthermore, we show how BAYESUM can be understood as a justified query expansion technique in the language modeling for IR framework.
Finding the visibility graph of a simple polygon in time proportional to its size

Let <italic>P</italic> be a given simple polygon with <italic>n</italic> sides. The visibility graph of <italic>P</italic> has an edge between every pair of polygon vertices that can be connected by an open segment in the interior of <italic>P</italic>. We describe an algorithm that finds the visibility graph of <italic>P</italic> in <italic>&Ogr;</italic>(<italic>m</italic> + <italic>n</italic> log log <italic>n</italic>) time, where <italic>m</italic> is the number of edges in the visibility graph. Because <italic>m</italic> can be as small as <italic>&Ogr;</italic>(<italic>n</italic>), the algorithm improves on the more general visibility algorithms of Asano et al. [AAGHI] and Welzl [W], which take &THgr;(<italic>n</italic><supscrpt>2</supscrpt>) time.
Rewarding Performing Teachers ? theory , evidence and UK policy

The government's attempt to create a 'new professionalism' amongst British teachers has been accompanied by plans to extend performance related pay. The latter advocacy suggests the rejection of the co-operative/collegiate model of teacher remuneration and its replacement by one emphasising targeted incentives given the presence of incomplete employment contracts. This contract/agency approach recognises that performance pay is likely to generate dysfunctional behaviour, particularly in multi-tasked occupations such as teaching. The analysis of professional labour markets and nonprofits explains how the presence of asymmetric information and externalities provide a rationale for the widespread compliance by teachers to a code of professional ethics. This compliance is likely to be weakened by the extension of performance related pay. A decline in the 'old professionalism' necessitates the further extension of costly monitoring and regulation. This analysis, together with previous experience, suggests that performance pay will alter teacher behaviour and thus the composition of schooling outputs. The multi-tasked nature of a teacher's job, the incomplete nature of available performance indicators, the complex set of potential responses to incentive pay and the variety of Government proposals preclude more specific conclusions.