Miracle-dz/UniFAR-FTUs huggingface dataset:
Static component compatibility visualisation for various component models

Current software development sees a trend towards modular architectures such as software libraries or components. The main idea is to increase the reusability and decrease the total price and time to ship of a final product. While this trend is slowly meeting its expectation, some issues still need to be solved. One of them is a consistency verification of application components performed before the product is shipped and deployed. Application failures at a target environment caused by the inconsistencies can be more expensive than the overall save of the modular design was. For that reason, we propose a visualisation tool that shows static incompatibilities of components from various component models. We assume this tool helps developers to discover inconsistencies of component applications before they are released.
Reaction time as an indicator of discrete intonational contrasts in English

This paper reports a perceptual study using a semantically motivated identification task in which we investigated the nature of two pairs of intonational contrasts in English: (1) normal High accent vs. emphatic High accent; (2) early peak alignment vs. late peak alignment. Unlike previous inquiries, the present study employs an on-line method using the Reaction Time measurement, in addition to the measurement of response frequencies. Regarding the peak height continuum, the mean RTs are shortest for within-category identification but longest for across-category identification. As for the peak alignment contrast, no identification boundary emerges and the mean RTs only reflect a difference between peaks aligned with the vowel onset and peaks aligned elsewhere. We conclude that the peak height contrast is discrete but the previously claimed discreteness of the peak alignment contrast is not born out.
Axon terminals immunolabeled for dopamine or tyrosine hydroxylase synapse on GABA‐immunoreactive dendrites in rat and monkey cortex

Dopamine afferents to the cortex regulate the excitability of pyramidal neurons via a direct synaptic input. However, it has not been established whether dopamine also modulates pyramidal cell activity indirectly through synapses on γ‐aminobutyric acid (GABA) interneurons, and whether such inputs differ across cortical regions and species. We sought to address these issues by an immunocytochemical electron microscopic approach that combined peroxidase staining for dopamine or tyrosine hydroxylase (TH) with a pre‐embedding gold‐silver marker for GABA. In the deep layers of the rat prefrontal cortex and in the superficial layers of the monkey prefrontal and primary motor cortices, terminal varicosities immunoreactive for dopamine or TH formed primarily thin, symmetric synapses on distal dendrites. Both GABA‐immunoreactive dendrites as well as unlabeled spines and dendrites were contacted by dopamine‐ or TH‐immunoteactive terminals. Synaptic specializations were detected at some, but not all of these contacts. The relative frequency of these appositional and synaptic contacts did not appear to differ between the rat and monkey prefrontal cortex, or between the monkey prefrontal and motor cortices. Across regions and species, labeled and unlabeled targets of dopamine‐ or TH‐positive terminals received additional synaptic input from unlabeled, and occasionally GABA‐immunoreactive terminals. Close appositions between dopamine‐ or TH immunoreactive and GABA‐positive terminals were observed only rarely. These findings indicate that dopamine afferents provide direct synaptic inputs to GABA local circuit neurons in a consistent fashion across cortical regions and species. Thus, dopamine's cellular actions involve direct as well as modulatory effects on both GABA interneurons and pyramidal projection neurons. © 1995 Wiley‐Liss, Inc.
On the liveness of transactional memory

Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analogous of wait-freedom in the TM context, and we highlight different ways to circumvent the impossibility.
Anti-Adhesive Activity of Cranberry Phenolic Compounds and Their Microbial-Derived Metabolites against Uropathogenic Escherichia coli in Bladder Epithelial Cell Cultures

Cranberry consumption has shown prophylactic effects against urinary tract infections (UTI), although the mechanisms involved are not completely understood. In this paper, cranberry phenolic compounds and their potential microbial-derived metabolites (such as simple phenols and benzoic, phenylacetic and phenylpropionic acids) were tested for their capacity to inhibit the adherence of uropathogenic Escherichia coli (UPEC) ATCC®53503™ to T24 epithelial bladder cells. Catechol, benzoic acid, vanillic acid, phenylacetic acid and 3,4-dihydroxyphenylacetic acid showed anti-adhesive activity against UPEC in a concentration-dependent manner from 100–500 µM, whereas procyanidin A2, widely reported as an inhibitor of UPEC adherence on uroepithelium, was only statistically significant (p < 0.05) at 500 µM (51.3% inhibition). The results proved for the first time the anti-adhesive activity of some cranberry-derived phenolic metabolites against UPEC in vitro, suggesting that their presence in the urine could reduce bacterial colonization and progression of UTI.
Research and design of incentive mechanism for managers

Mathematical analysis method is utilized to design incentive mechanism for managers under the asymmetric information as well as monitoring system analysis method, as a result of expanding the framework of incentive mechanism. The result shows that, there is a relationship between monitoring mechanism and incentive mechanism. They can motivate or direct managers to work hard and interchangeable by the other one. As a result, it is necessary to consider both monitoring mechanism and incentive mechanism when organization makes the reward system. With the development of monitoring mechanism, it not only has an innovative theory, but also has a great worth in practice.
Sonar-based chain following using an autonomous underwater vehicle

Tracking an underwater chain using an autonomous vehicle can be a first step towards more efficient solutions for cleaning and inspecting mooring chains. We propose to use a forward looking sonar as a primary perception sensor to enable the vehicle operation in limited visibility conditions and overcome the turbidity arisen during marine growth removal. Despite its advantages, working with acoustic imagery raises additional challenges to the involved image processing and control methodologies. In this paper we present a robust framework to perform chain following, combining perception, planning and control disciplines. We first introduce a detection system that exploits the sonar's high frame rate and applies local pattern matching to handle the complexity of detecting link chains in acoustic images. Then, a planning system deals with the dispersed detections and determines the link waypoints that the vehicle should reach. Finally, the vehicle is guided through these waypoints using a high level controller that has been tailored to simultaneously traverse the chain and keep track of upcoming links. Experiments on real data demonstrate the capability of autonomously follow a chain with sufficient accuracy to perform subsequent cleaning or inspection tasks.
Standards-Based Activities for Elementary Physical Education.

Teaching Elementary Physical Education | March 2006 19 Teaching Elementary Physical Education | March 2006 T number of overweight and obese youth has been increasing dramatically in recent decades, and there is no sign the trend is ending (Ogden, Flegal, Carroll, & Johnson, 2002). Many factors have been suggested as causes, including decreased physical activity, more television viewing, and larger portion sizes. Exercise behaviors and attitudes developed at an early age, such as in elementary school, lay the groundwork for a lifetime of exercise involvement or, sadly, a lifetime of physical inactivity. Therefore, physical education programs may be a potentially important channel through which physical activity and fitness can be promoted (Carter, 2002). Toward this end, the National Association for Sport and Physical Education (NASPE) published the National Standards for Physical Education (NASPE, 2004). The purpose of the standards is to provide criteria for what students should know and be able to do as a result of a quality physical education program. However, multiplesubject elementary classroom teachers receive very little training in physical education and, therefore, may not be aware of the NASPE National Standards. In fact, only 50% of states require newly hired elementary level teachers to have some training in physical education (Centers for Disease Control and Prevention, 2000). Thus, the lack of specialized training for multiplesubject elementary classroom teachers hinders the quality of physical education they can offer to their Standards-Based Activities for Elementary Physical Education
Image-Text Multi-Modal Representation Learning by Adversarial Backpropagation

We present novel method for image-text multi-modal representation learning. In our knowledge, this work is the first approach of applying adversarial learning concept to multi-modal learning and not exploiting image-text pair information to learn multi-modal feature. We only use category information in contrast with most previous methods using image-text pair information for multi-modal embedding. In this paper, we show that multi-modal feature can be achieved without image-text pair information and our method makes more similar distribution with image and text in multi-modal feature space than other methods which use image-text pair information. And we show our multi-modal feature has universal semantic information, even though it was trained for category prediction. Our model is end-to-end backpropagation, intuitive and easily extended to other multi-modal learning work.
International Journal of Hospitality Management from Hotel Career Management to Employees' Career Satisfaction: the Mediating Effect of Career Competency

The purpose of this study is to explore the relationships between perceived hotel career management , career competency, and career satisfaction. It also aims to examine the mediating processes through which hotel career management contribute to employees' career satisfaction. Results from structural equation modeling (SEM) show that career competency mediates the effects of three dimensions of hotel career management (career appraisal, career development, and career training) on career satisfaction. The article concludes with implications for theory development and management practice.
A 290-µW 25-kHz continuous-time delta-sigma modulator for acoustic sensor networks

This paper presents the design of a continuous-time delta-sigma (ΔΣ) modulator for acoustic sensor networks. A feed-forward structure without a summing block is used to reduce the power consumption of the ΔΣ modulator. A high-linearity active-RC filter is used to improve the resolution of the ΔΣ modulator. A low-power, high-resolution fourth-order continuous-time ΔΣ modulator with 1-bit quantization was developed by using 0.13-µm, 1-poly 8-metal CMOS technology, with a core area of 0.58 mm<sup>2</sup>. Simulation results show that the modulator achieved 91.3-dB SNDR (signal-to-noise plus distortion ratio) over a 25-kHz signal bandwidth with an oversampling ratio of 64, while dissipating 290 µW of power from a 3.3-V supply.
Explaining Individual Differences in Children’s Emotions and Behaviour Following Routine Stressors: The role of cognitive appraisal, coping and cortisol

Many children experience symptoms of mental health problems and a significant proportion reach clinical thresholds of psychological disorder. It has been argued that the rising incidence of these problems and widespread failure to scale effective treatments for those in need means that prevention and early intervention in the development of emotional and behavioural problems is a public health priority. Child development is shaped by many forces, including for example parenting and peer relationships, this PhD is very specifically interested in the consequences of stress for children’s emotions and behaviour. Although the effects of stress are largely deemed negative, striking individual differences are almost universally observed. In the context of equivalent stressors, some children experience poorer outcomes, some remain relatively unaffected and others appear to experience better outcomes. Understanding what causes these differences is important for advancing our knowledge of the stress process, and is also key to designing services to improve children’s emotions and behaviour. This PhD has four aims. Firstly, it examines the relationship between two routine, school- based stressors and children’s emotional and behavioural outcomes. Secondly, it investigates the role of the cognitive appraisal process in accounting for individual differences in those outcomes. Thirdly, it examines the conditions under which cognitive appraisal operates, both in terms of its role as an organiser of coping efforts and cortisol (a stress hormone) as well as the extent to which children display consistency in their appraisals across contexts. Fourthly, it outlines the implications of the study for policy and practice efforts to improve children’s emotions and behaviour. The empirical study was designed as a prospective longitudinal study, following 66 children over the course of one year in which they experienced two routine, school-based stressors (KS2 exams and transition). Participants were recruited via opportunity sampling methods, and a combination of psychological and physiological data were collected at four time points.
Speech Separation based on signal-noise-dependent deep neural networks for robust speech recognition

In this paper, we propose a new signal-noise-dependent (SND) deep neural network (DNN) framework to further improve the separation and recognition performance of the recently developed technique for general DNN-based speech separation. We adopt a divide and conquer strategy to design the proposed SND-DNNs with higher resolutions that a single general DNN could not well accommodate for all the speaker mixing variabilities at different levels of signal-to-noise ratios (SNRs). In this study two kinds of SNR-dependent DNNs, namely positive and negative DNNs, are trained to cover the mixed speech signals with positive and negative SNR levels, respectively. At the separation stage, a first-pass separation using a general DNN can give an accurate SNR estimation for a model selection. Experimental results on the Speech Separation Challenge (SSC) task show that SND-DNNs could yield significant performance improvements for both speech separation and recognition over a general DNN. Furthermore, this purely front-end processing method achieves a relative word error rate reduction of 11.6% over a state-of-the-art recognition system where a complicated joint decoding framework needs to be implemented in the back-end.
Transmission diffuse imaging with a SPAD camera

A central problem of diffusive imaging is the detection of a hidden object within a highly scattering medium. Overcoming this challenge has potential applications in numerous fields such as medical imaging, communications and security [1-3]. Here we present experimental results based on a single-photon SPAD array camera that allows picosecond timing: the full spatial and temporal information allows imaging of an object hidden inside a strongly diffuse/turbid medium (mean free path<<thickness).
Optical spectral inversion without frequency shift by four-wave mixing using two pumps with orthogonal polarization

We propose a method to obtain spectral inversion of a signal without shifting its frequency. We use four-wave mixing (FWM) in a semiconductor optical amplifier (SOA) with two pumps of orthogonal polarization. A conjugate field is generated with a polarization orthogonal to that of the incoming signal and is selected at the amplifier output by a polarizer. Using a commercially available pig-tailed SOA of 1.5-mm length, we obtain after the polarizer 21.5 dB of intensity ratio between conjugate and amplified incoming signal.
Weighted Poincaré inequality and the Poisson Equation

We develop Green's function estimate for manifolds satisfying a weighted Poincare inequality together with a compatible lower bound on the Ricci curvature. The estimate is then applied to establish existence and sharp estimates of the solution to the Poisson equation on such manifolds. As an application, a Liouville property for finite energy holomorphic functions is proven on a class of complete Kahler manifolds. Consequently, such Kahler manifolds must be connected at infinity.
Learning to Generate Textual Data

To learn text understanding models with millions of parameters one needs massive amounts of data. In this work, we argue that generating data can compensate for this need. While deﬁning generic data generators is dif-ﬁcult, we propose to allow generators to be “weakly” speciﬁed in the sense that a set of parameters controls how the data is generated. Consider for example generators where the example templates, grammar, and/or vocabulary is determined by this set of parameters. Instead of manually tuning these parameters, we learn them from the limited training data at our disposal. To achieve this, we derive an ef-ﬁcient algorithm called G ENE R E that jointly estimates the parameters of the model and the undetermined generation parameters. We illustrate its beneﬁts by learning to solve math exam questions using a highly parametrized sequence-to-sequence neural network.
Non-platimun-based anti-cancer compounds for use in targeted chemotherapy

Disclosed herein are non-platinum-based (NPB) anti-cancer compounds useful for targeted chemotherapy, e.g., to generate anti-cancer effects for the treatment of cancer and other disorders while having no or minimal toxicity. The compounds have the general formula I: (I) wherein A represents an aromatic core; at least one of Ra and Rb is an electron transfer promoter as defined herein, e.g., NH2; and at least one of Rc is a leaving group as defined herein, e.g., halogen; and the remainder of the molecule is as defined herein. Pharmaceutical compositions, methods, uses, kits and commercial packages comprising the anti-cancer compounds are also disclosed.
Species and Tissue Tropisms of HIV-1 : Molecular Basis and Phenotypic Consequences

The tropism of a particular virus is defined by the species, and more particularly the tissues within a given species, that are capable of supporting a productive infection by that virus. Viruses rely extensively on host cell factors, including not only cell surface receptors but also a range of intracellular cofactors, for the successful completion of their life cycle. Therefore, they are unable to replicate effectively in differentiated cells that fail to express a particular cofactor or in species, distinct from their normal host(s), that express a variant form of an essential cofactor that is not capable of supporting a critical macromolecular interaction. The more cellular cofactors a particular virus is dependent on, the more constrained will be the pattern of permissive species and differentiated cell types. Human immunodeficiency virus type 1 (HIV-1) displays a remarkably narrow tropism in terms of not only the range of species, but also the range of tissues within a particular species, that are permissive for this pathogenic virus. Understanding the molecular basis of HIV-1 tropism is important for several reasons. Firstly, the tissue tropism of primary HIV-1 isolates derived from individual patients has been shown to be predictive of both cytopathicity in culture and disease progression (Connor et al., 1997; Schuitemaker t al., 1992; Schramm et al., 2000). Understanding how tissue tropism is regulated, and how it evolves in infected individuals, therefore has the potential to improve the treatment of AIDS patients. Secondly, it would be extremely useful to have an animal model system, preferably a rodent model, that recreates the pattern of HIV-1 induced disease seen in infected humans. This is not feasible unless we can use transgenic approaches to repair the various molecular defects in the mouse, or other rodents, that currently render them non-permissive for HIV-1. Finally, the inability of a particular tissue or species to support HIV-1 replication provides a genetic tool to define cellular cofactors that are critical for specific steps in the viral life cycle. This has already facilitated the identification of cellular cofactors required for HIV-1 entry or transcription (Feng et al., 1996; Wei et al., 1998) and has the potential to identify other cellular cofactors involved in several other phases of the viral replication cycle. The identification and molecular characterization of these HIV-1 cofactors would in turn provide potential targets for the development of novel antiviral agents. This article is primarily intended for scientists who have a good understanding of the various phases of the replication cycle of HIV-1. Other readers are directed to recent reviews describing the early phase of the viral replication cycle (Doms & Trono, 2000), the role of HIV-1 regulatory and auxiliary proteins (Cullen, 1998) and the steps in virion assembly and release (Freed, 1998).
Searching near-replicas of images via clustering

Internet piracy has been one of the major concerns for Web publishing. In this study we present a system, RIME, that we have prototyped for detecting unauthorized image copying on the WWW. To speed up the copy detection, RIME uses a new clustering/hashing approach that first clusters similar images on adjacent disk cylinders and then builds indexes to access the clusters made in this way. Searching for the replicas of an image often takes just one IO to loop up the location of the cluster containing similar objects and one sequential file IO to read in this cluster. Our experimental results show that RIME can detect images copies both more efficiently and effectively than the traditional content- based image retrieval systems that use tree-like structures to index images. In addition, RIME copes well with image format conversion, resampling, requantization and geometric transformation.
Effective single-particle order-N scheme for the dynamics of open noninteracting many-body systems

Quantum master equations are common tools to describe the dynamics of many-body systems open to an environment. Due to the interaction with the latter, even for the case of noninteracting electrons, the computational cost to solve these equations increases exponentially with the particle number. We propose a simple scheme, which allows to study the dynamics of N noninteracting electrons taking into account both dissipation effects and Fermi statistics, with a computational cost that scales linearly with N. Our method is based on a mapping of the many-body system to a specific set of effective single-particle systems. We provide detailed numerical results showing excellent agreement between the effective single-particle scheme and the exact many-body one, as obtained from studying the dynamics of two different systems. In the first, we study optically-induced currents in quantum rings at zero temperature, and in the second we study a linear chain coupled at its ends to two thermal baths with different finite temperatures. In addition, we give an analytical justification for our method, based on an exact averaging over the many-body states of the original master equations.