Miracle-dz/UniFAR-FTUs huggingface dataset:
Circular choosability via combinatorial Nullstellensatz

A p‐list assignment L of a graph G assigns to each vertex v of G a set ${{L}}({{v}})\subseteq \{{{0}}{{,}} {{1}}{{,}}\ldots{{,}}\, {{p}}-{{1}}\}$ of permissible colors. We say G is L‐(P, q)‐colorable if G has a (P, q)‐coloring h such that h(v) ϵ L(v) for each vertex v. The circular list chromatic number $\chi_{{{c}}{{,}}{{l}}}({{G}})$ of a graph G is the infimum of those real numbers t for which the following holds: For any P, q, for any P‐list assignment L with $|{{L}}({{v}})| \geq {{tq}}$, G is L‐(P, q)‐colorable. We prove that if G has an orientation D which has no odd directed cycles, and L is a P‐list assignment of G such that for each vertex v, $|{{L}}({{v}})| = {{d}}^+_{{D}}({{v}})({{2}}{{q}}-{{1}})+{{1}}$, then G is L‐(P, q)‐colorable. This implies that if G is a bipartite graph, then $\chi_{{{c}}{{,}}{{l}}}({{G}})\leq {{2}}\lceil {{mad}}({{G}})/{{2}}\rceil$, where ${{\rm mad}}({{G}})$ is the maximum average degree of a subgraph of G. We further prove that if G is a connected bipartite graph which is not a tree, then $\chi_{{{c}}{{,}}{{l}}}({{G}})\leq { {mad}}({{G}})$. © 2008 Wiley Periodicals, Inc. J Graph Theory 59: 190–204, 2008
“My mind kept creeping back… this relationship can’t last”: Developing self-awareness of monogamous bias

ABSTRACT Therapists who identify as monogamous can hold implicit beliefs about the nature of relationships. Such biases can overshadow the therapeutic process and impede consensually non-monogamous clients from receiving meaningful services. This article provides a brief introduction to polyamorous relationships, as well as, concepts tied to the pervasive nature of compulsory monogamy in family therapy. Readers are then invited to engage in experiential exercises designed to bring awareness to the implicit biases that they might hold about monogamy and polyamory. The article ends with suggestions for therapists who are interested in developing a polyamorous affirmative clinical practice.
Interpersonal Skills in MBA Admissions: How Are They Conceptualized and Assessed?

Employers and students concur that soft skills or interpersonal skills are critical to managerial success, yet we know little about how MBA program admissions professionals conceptualize and assess these skills in the context of global management education. Such practices have key implications for interpersonal skills curriculum and training in MBA programs around the globe. A survey of 182 MBA admissions professionals from 24 countries revealed surprising agreement in how interpersonal skills were conceptualized, and suggest interpersonal skills and soft skills are not synonymous. Results also indicated that only 30% of U.S. and international MBA programs use specific criteria to assess applicants’ interpersonal skills, with the remainder using nonspecific criteria or no assessment method. We discuss the need for more rigorous assessment of interpersonal skills in MBA admissions, closer coordination between admissions officers and curriculum developers, and tighter alignment between interpersonal skills assessment and MBA curriculum and learning outcomes.
Divergent and convergent evolution after a common-source outbreak of hepatitis C virus

The genomic sequences of viruses that are highly mutable and cause chronic infection tend to diverge over time. We report that these changes represent both immune-driven selection and, in the absence of immune pressure, reversion toward an ancestral consensus. Sequence changes in hepatitis C virus (HCV) structural and nonstructural genes were studied in a cohort of women accidentally infected with HCV in a rare common-source outbreak. We compared sequences present in serum obtained 18–22 yr after infection to sequences present in the shared inoculum and found that HCV evolved along a distinct path in each woman. Amino acid substitutions in known epitopes were directed away from consensus in persons having the HLA allele associated with that epitope (immune selection), and toward consensus in those lacking the allele (reversion). These data suggest that vaccines for genetically diverse viruses may be more effective if they represent consensus sequence, rather than a human isolate.
Model Misspeci(cid:142)cation and Probabilistic Tests of Topology: Evidence from Empirical Data Sets

— Probabilistictestsoftopologyofferapowerfulmeansofevaluatingcompetingphylogenetic hypotheses. The performance of the nonparametric Shimodaira–Hasegawa (SH) test, the parametric Swofford–Olsen–Waddell–Hillis (SOWH) test, and Bayesian posterior probabilities were explored for (cid:142)ve data sets for which all the phylogenetic relationships are known with a very high degree of cer-tainty. These results are consistent with previous simulation studies that have indicated a tendency for the SOWH test to be prone to generating Type 1 errors because of model misspeci(cid:142)cation coupled with branch length heterogeneity. These results also suggest that the SOWH test may accord overcon- (cid:142)dence in the true topology when the null hypothesis is in fact correct. In contrast, the SH test was observedto be much moreconservative, even under high substitution ratesand branch length hetero- geneity. For some of those data sets where the SOWH test proved misleading, the Bayesian posterior probabilities were also misleading. The results of all tests were strongly in(cid:143)uenced by the exact sub- stitution model assumptions. Simple models, especially those that assume rate homogeneity among sites, had a higher Type 1 error rate and were more likely to generate misleading posterior probabili- ties. For some of these data sets, the commonly used substitution models appear to be inadequate for estimating appropriate levels of uncertainty with the SOWH test and Bayesian methods. Reasons for the differences in statistical power between the two maximum likelihood tests are discussed and are contrasted with the Bayesian approach. [Bayesian
Audiovisual Voice Activity Detection and Localization of Simultaneous Speech Sources

11 RESUMO . 12
BASIC: An alternative to BASE for large-scale data management system

Big data applications demand and consequently lead to developments of large-scale data management systems, which provide high scalability by partitioning data across multiple servers. Since conventional transactional access is quite expensive, many real world large-scale distributed systems eschew transactional functionality and adopt semantics of atomic multi-partition operations. Accordingly, BASE, a consistency model weaker than ACID, is commonly used to guarantee availability. In this work, we identify a new consistency model-BASIC (Basic Availability, Scalability, Instant Consistency) that matches the requirements where extra efforts are not needed to manipulate inconsistent soft states. We present a timestamp-based formula protocol for BASIC that can enforce Instant Consistency while achieving linear scalability (via logical formula caching, dynamic timestamp ordering) and achieve Basic Availability in the presence of partial failure and network partition (via partition independence, genuine atomic commit). Our extensive experimental results verify the scalability of BASIC and demonstrate that the limited overhead induced by BASIC pays a reasonable price for keeping all soft states consistent.
142Nd Evidence for Early (>4.53 Ga) Global Differentiation of the Silicate Earth

New high-precision samarium-neodymium isotopic data for chondritic meteorites show that their 142Nd/144Nd ratio is 20 parts per million lower than that of most terrestrial rocks. This difference indicates that most (70 to 95%) of Earth's mantle is compositionally similar to the incompatible element–depleted source of mid-ocean ridge basalts, possibly as a result of a global differentiation 4.53 billion years ago (Ga), within 30 million years of Earth's formation. The complementary enriched reservoir has never been sampled and is probably located at the base of the mantle. These data influence models of Earth's compositional structure and require revision of the timing of global differentiation on Earth's Moon and Mars.
VE-PTP maintains the endothelial barrier via plakoglobin and becomes dissociated from VE-cadherin by leukocytes and by VEGF

We have shown recently that vascular endothelial protein tyrosine phosphatase (VE-PTP), an endothelial-specific membrane protein, associates with vascular endothelial (VE)–cadherin and enhances VE-cadherin function in transfected cells (Nawroth, R., G. Poell, A. Ranft, U. Samulowitz, G. Fachinger, M. Golding, D.T. Shima, U. Deutsch, and D. Vestweber. 2002. EMBO J. 21:4885–4895). We show that VE-PTP is indeed required for endothelial cell contact integrity, because down-regulation of its expression enhanced endothelial cell permeability, augmented leukocyte transmigration, and inhibited VE-cadherin–mediated adhesion. Binding of neutrophils as well as lymphocytes to endothelial cells triggered rapid (5 min) dissociation of VE-PTP from VE-cadherin. This dissociation was only seen with tumor necrosis factor α–activated, but not resting, endothelial cells. Besides leukocytes, vascular endothelial growth factor also rapidly dissociated VE-PTP from VE-cadherin, indicative of a more general role of VE-PTP in the regulation of endothelial cell contacts. Dissociation of VE-PTP and VE-cadherin in endothelial cells was accompanied by tyrosine phoshorylation of VE-cadherin, β-catenin, and plakoglobin. Surprisingly, only plakoglobin but not β-catenin was necessary for VE-PTP to support VE-cadherin adhesion in endothelial cells. In addition, inhibiting the expression of VE-PTP preferentially increased tyrosine phosphorylation of plakoglobin but not β-catenin. In conclusion, leukocytes interacting with endothelial cells rapidly dissociate VE-PTP from VE-cadherin, weakening endothelial cell contacts via a mechanism that requires plakoglobin but not β-catenin.
The Epithelial Sodium Channel and the Processes of Wound Healing

The epithelial sodium channel (ENaC) mediates passive sodium transport across the apical membranes of sodium absorbing epithelia, like the distal nephron, the intestine, and the lung airways. Additionally, the channel has been involved in the transduction of mechanical stimuli, such as hydrostatic pressure, membrane stretch, and shear stress from fluid flow. Thus, in vascular endothelium, it participates in the control of the vascular tone via its activity both as a sodium channel and as a shear stress transducer. Rather recently, ENaC has been shown to participate in the processes of wound healing, a role that may also involve its activities as sodium transporter and as mechanotransducer. Its presence as the sole channel mediating sodium transport in many tissues and the diversity of its functions probably underlie the complexity of its regulation. This brief review describes some aspects of ENaC regulation, comments on evidence about ENaC participation in wound healing, and suggests possible regulatory mechanisms involved in this participation.
School technology leadership in a Spanish secondary school: The TEI model

This study analyzes the perception that teachers and management team members in secondary school education have of technology-based educational innovation (TEI). Two questionnaires and in-depth interviews permit us to analyze leaders’ perspective of planning, development, and evaluation. The school leaders’ view diverges from that of the regional/national education policy makers and is closer to the view developed in pedagogy for leading the process of introducing technology in classrooms and influencing innovation in teachers’ practice. Based on reflection on the leadership–technology–innovation relationship, we derive a top-down model for use by teachers, schools, the community, and education authorities.
Actitud hacia la educación virtual de los alumnos de postgrado de la UPEL

The purpose of this work was to identify the attitudinal factors and their relationship with the virtual education that UPEL-IMPM-IPSM post-graduate students use. It is a quantitative study of non-experimental character and transversal design with correlational reach. The population was composed of 21 postgraduate students selected by non-probabilistic procedure. The information was collected via e-mail and through the adaptation of the survey designed and implemented in 2012 by Mehra and Omidian in India and Iran. The information given by the students was analyzed through cross tables, association and correlation between variables; evidences the analysis that the majority has a favorable attitude toward virtual education although there is a significant percentage that expressed indecision regarding the intention to adopt virtual education as well as ease of use.
0 Ju l 2 00 3 Face pairing graphs and 3-manifold enumeration

The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P-irreducible triangulation. In addition we present constraints upon the combinatorial structure of such a triangulation that can be deduced from its face pairing graph. These results are then applied to the enumeration of closed minimal P-irreducible 3-manifold triangulations, leading to a significant improvement in the performance of the enumeration algorithm. Results are offered for both orientable and non-orientable triangulations.
Fast Evolution of Image Manifolds for Segmentation

We present a new fast approach for segmentation of object with missing boundaries based on the Subjective Surface [15] combined with the Fast-Marching algorithm [17]. The Subjective-Surface [15] deals with constructing perceptually meaningful interpretation from partial image data by mimicking the human visual system. However, initialization of the surface is critical for the final result, and its main drawback is very slow convergence and a huge number of iterations required. In this paper, we address those two problems. We first show that the governing equation for the subjective surface flow can be re-arranged in an AOS implementation, providing a near real time solution to the shape completion problem in and . Then we devise a new initialization paradigm based on the Fast-Marching algorithm [17]. We compare the original method with our new algorithm on several examples of real 3D medical images, thus revealing the improvement achieved.
Overview of the ARCADE system

ARCADE is a research project in computer architecture. We first discuss its motivations and goals, wich are primarily the design of a dynamically adaptive system, and the use of performance evaluation methods as a design tool. The resulting system is intended to serve as a support for education in computer architecture and operating systems. Then, we present the overall structure of the system, and finally, we consider in more detail hardware tools that will be provided for the dynamic adaptation to varying load conditions.
Novel recognition motifs and biological functions of the RNA-binding protein HuD revealed by genome-wide identification of its targets

HuD is a neuronal ELAV-like RNA-binding protein (RBP) involved in nervous system development, regeneration, and learning and memory. This protein stabilizes mRNAs by binding to AU-rich instability elements (AREs) in their 3′ unstranslated regions (3′ UTR). To isolate its in vivo targets, messenger ribonucleoprotein (mRNP) complexes containing HuD were first immunoprecipitated from brain extracts and directly bound mRNAs identified by subsequent GST-HuD pull downs and microarray assays. Using the 3′ UTR sequences of the most enriched targets and the known sequence restrictions of the HuD ARE-binding site, we discovered three novel recognition motifs. Motifs 2 and 3 are U-rich whereas motif 1 is C-rich. In vitro binding assays indicated that HuD binds motif 3 with the highest affinity, followed by motifs 2 and 1, with less affinity. These motifs were found to be over-represented in brain mRNAs that are upregulated in HuD overexpressor mice, supporting the biological function of these sequences. Gene ontology analyses revealed that HuD targets are enriched in signaling pathways involved in neuronal differentiation and that many of these mRNAs encode other RBPs, translation factors and actin-binding proteins. These findings provide further insights into the post-transcriptional mechanisms by which HuD promotes neural development and synaptic plasticity.
Global 5-hydroxymethylcytosine content is significantly reduced in tissue stem/progenitor cell compartments and in human cancers

DNA methylation at the 5-position of cytosines (5mC) represents an important epigenetic modification involved in tissue differentiation and is frequently altered in cancer. Recent evidence suggests that 5mC can be converted to 5-hydroxymethylcytosine (5hmC) in an enzymatic process involving members of the TET protein family. Such 5hmC modifications are known to be prevalent in DNA of embryonic stem cells and in the brain, but the distribution of 5hmC in the majority of embryonic and adult tissues has not been rigorously explored. Here, we describe an immunohistochemical detection method for 5hmC and the application of this technique to study the distribution of 5hmC in a large set of mouse and human tissues. We found that 5hmC was abundant in the majority of embryonic and adult tissues. Additionally, the level of 5hmC closely tracked with the differentiation state of cells in hierarchically organized tissues. The highest 5hmC levels were observed in terminally differentiated cells, while less differentiated tissue stem/progenitor cell compartments had very low 5hmC levels. Furthermore, 5hmC levels were profoundly reduced in carcinoma of the prostate, breast and colon compared to normal tissues. Our findings suggest a distinct role for 5hmC in tissue differentiation, and provide evidence for its large-scale loss in cancers.
A comparison of RGB and HSI color segmentation in real - time video images: A preliminary study on road sign detection

Color segmentation has been widely applied in many computer vision systems nowadays. In one example of computer vision systems, the real - time automatic road sign detection and recognition system has mostly applied the RGB (i.e. Red, Green and Blue) and HSI (i.e. Hue, Saturation and Intensity) color model to segment road signs from images that were captured by the censoring device. Thus this paper aims to review the background of the real - time road sign detection based on the color; show the performance of RGB and HSI in identifying color of the road signs under different lighting conditions in a real - time video images through the proposed experiments and finally studies the performance of both RGB and HSI from the experiments for application such as automatic road sign detection system.
Kalman Predictive Redundancy System for Fault Tolerance of Safety-Critical Systems

The dependence of intelligent vehicles on electronic devices is rapidly increasing the concern over fault tolerance due to safety issues. For example, an x-by-wire system, such as electromechanical brake system in which rigid mechanical components are replaced with dynamically configurable electronic elements, should be fault-tolerant because a critical failure could arise without warning. Therefore, in order to guarantee the reliability of safety-critical systems, fault-tolerant functions have been studied in detail. This paper presents a Kalman predictive redundancy system with a fault-detection algorithm using the Kalman filter that can remove the effect of faults. This paper also describes the detailed implementation of such a system using an embedded microcontroller to demonstrate that the Kalman predictive redundancy system outperforms well-known average and median voters. The experimental results show that the Kalman predictive redundancy system can ensure the fault-tolerance of safety-critical systems such as x-by-wire systems.
Real-time global localization of intelligent road vehicles in lane-level via lane marking detection and shape registration

In this paper, we propose an accurate and real-time positioning method for intelligent road vehicles in urban environments. The proposed method uses a robust lane marking detection algorithm, as well as an efficient shape registration algorithm between the detected lane markings and a GPS based road shape prior, to improve the robustness and accuracy of global localization of a road vehicle. We exploit both the state-of-the-art technologies of visual localization based on lane marking detection and the wide availability of Global Positioning System (GPS) based localization. We show that by formulating the positioning problem in a relative sense, we can estimate the vehicle localization in real-time and bound its absolute error in centimeter-level by a cross validation scheme. The validation scheme integrates the vision based lane marking detection with the shape registration, and improves the performance of the overall localization system. The GPS localization can be refined by using lane marking detection when the GPS suffers from frequent satellite signal masking or blockage, while lane marking detection is validated and completing by the GPS based road shape prior when it does not work well in adverse weather conditions or with poor lane signature. We extensively evaluate the proposed method with a single forward-looking camera mounted on an autonomous vehicle which travels at 60km/h through several urban street scenes.
Future orientation of biocosmological studies

This short essay address some of the key questions related to the future of bio-cosmological studies, that field of multidisciplinary studies where a scientific community looks for advancement of the understanding of the living processes of our cosmos. This paper also illustrates the history of the progressive scientific limitations that came from the sensate knowledge of the cosmos. The main argument of this paper is that the perspective of becoming a domain for real integral research and scholar scientific debates the true nature of integral studies must be established as the core approach in biocosmology studies. A new perspective given from a real integration of the two “faces” of the reality where the knowledge of the sensate appearances (as well as its abstract intellections) produced by modern science and the sustained aspiration of humanity to know the intelligence of the cosmos are reconciled is certainly the promising future of biocosmology studies.
Predicting viral Marketing Propagating Efficiency within given Deadline

As a new developed marketing strategy in recent years, viral marketing attracts great attention from scholars and enterprises. Many enterprises try to adopt it for marking new product in order to greatly improve large sales and to quickly recoup the cost. But how marketing efficiency is actually? How fast marketing propagating speed is on earth? Especially for a given deadline, can the enterprise predict the sales when viral marketing is used? In this paper, a predicting method based on deadline graph is proposed to evaluate the viral marketing efficiency within given deadline. Specifically, two methods are first proposed to generate deadline graph, respectively Shortest-Distance methods and Time-Iteration method, based on which, a Reverse Tree method is exploited to predict the activated (buying) probability of the users. A lot of experiments are made to test our proposed method by using three datasets, respectively Twitter, Friendster and Random. The experiment results clearly show that deadline graph is a very key and necessary technique for evaluating viral marketing propagating efficiency within given deadline since overwhelming advantages over traditional method are gained by the method based on deadline graph in our experiment.