Miracle-dz/UniFAR-FTUs huggingface dataset:
Canonical extensions of Stone and double Stone algebras: the natural way

A construction of canonical extensions of Stone algebras is presented that uses the natural duality based on the three-element generating algebra 3 rather than the Priestley duality based on 2 that is traditionally used to build the canonical extension. The new approach has the advantage that the canonical extension so constructed inherits its algebra structure pointwise from a power of the generator, so that the extension of the fundamental operations and closure of the variety under the formation of canonical extensions occur in a transparent way. An analogous construction is outlined for two further varieties, indicating that the method has the potential to be applied in a similar manner to other classes of bounded distributive lattice expansions.
Efficacy of leukotriene antagonists as concomitant therapy in allergic rhinitis

The symptoms of allergic rhinitis result from an immunoglobulin E‐dependent mast cell activation cascade, marked by the release of inflammatory mediators, including histamine. Patients with perennial allergic rhinitis also have elevated levels of cysteinyl leukotrienes (CysLTs) in nasal lavage fluid. Histamine and CysLTs produce different responses in the pathogenesis of allergic rhinitis, and this study tested the hypothesis that the effects of combined antihistamine and leukotriene antagonist therapy would be more effective than antihistamine alone.
Localization of Lectins in Legume Cotyledons

SUMMARY High-resolution techniques for the localization of lectins are described. Concanavalin A (Con A) and phytohaemagglutinin (PHA) are localized using a fluorescent method with (FITC)-labelled immunoglobulins which bind to the lectins in sections of jack and red kidney bean cotyledons. Specificity is defined by the use of specific sugar inhibitors. Both Con A and PHA are found in cytoplasmic sites. Lectins with /? -glycoside specificity are detected with red-coloured artificial carbohydrate antigens. The /? -galactosyl and /9-glucosyl antigens bind specifically to clustera of spherical bodies in the intercellular spaces, to cell wall sites, and to the periphery of the cytoplasm associated with the cell membrane.
Reducing the Overfitting of Adaboost by Controlling its Data Distribution Skewness

AdaBoost rarely suffers from overfitting problems in low noise data cases. However, recent studies with highly noisy patterns have clearly shown that overfitting can occur. A natural strategy to alleviate the problem is to penalize the data distribution skewness in the learning process to prevent several hardest examples from spoiling decision boundaries. In this paper, we pursue such a penalty scheme in the mathematical programming setting, which allows us to define a suitable classifier soft margin. By using two smooth convex penalty functions, based on Kullback–Leibler divergence (KL) and l2 norm, we derive two new regularized AdaBoost algorithms, referred to as AdaBoostKL and AdaBoostNorm2, respectively. We prove that our algorithms perform stage-wise gradient descent on a cost function, defined in the domain of their associated soft margins. We demonstrate the effectiveness of the proposed algorithms through experiments over a wide variety of data sets. Compared with other regularized AdaBoost algorithms, our methods achieve at least the same or better performance.
Police Detection of Deception: Beliefs About Behavioral Cues to Deception Are Strong Even Though Contextual Evidence Is More Useful

Research questions the validity of behavioral deception cues; however, people believe behavioral cues are reliable deception indicators. Police officers and community members indicated both how lies can be detected (beliefs), and how they discovered a lie in the past (revealing information). Officers did the latter twice, prompted with a professional versus a personal context. For both groups, beliefs were primarily behavioral (e.g., demeanor) and revealing information contextual (evidence, third-party information, etc.). Officers responded similarly regardless of context. Relative to community members, officers provided more cues and referred more often to verbal contradictions and active detection strategies when asked about beliefs. Practitioners should be made aware of the discrepancies between their beliefs about deception cues and useful information to detect lies.
Psychology: A Student's Handbook

Introduction. Approaches to Psychology. The Nervous System. Cortical Functions. Awareness. Motivation, Emotion, and Stress. Evolutionary Determinants of Behaviour. Reproductive Strategies. Kinship and Social Behaviour. Behaviour Analysis. Perceptual Processes. Attention and Performance Limitations. Human Memory. Language and Thought. Early Socialisation. Cognitive Development. Social Behaviour in Development. Adolescence, Adulthood and Old Age. Social Cognition. Social Relationships. Social Influence. Pro-social and Anti-social Behaviour. Atypical Development. Conceptions and Models of Abnormality. Psychopathology. Therapeutic Approaches. Individual Differences. Controversies in Psychology. Ethical Issues. The Nature of Psychological Enquiry. Design of Investigations. Data Analysis.
Reports of hyperkalemia after publication of RALES—a pharmacovigilance study

A population‐based study and anecdotal reports have indicated that the publication of the Randomized Aldactone Evaluation Study (RALES) was associated with not merely a broader use of spironolactone in the treatment of heart failure, but also with a coinciding sharp increase in hyperkalemia‐associated morbidity/mortality in patients also being treated with ACE‐inhibitors. Data mining algorithms (DMAs) are being applied to spontaneous reporting system (SRS) databases in hopes of obtaining early warnings/additional insights into post‐licensure safety data. We applied two DMAs (i.e. multi‐item gamma Poisson shrinker [MGPS] and proportional reporting ratios [PRRs]) to spontaneous reporting system (SRS) data to determine if these DMAs could have provided an earlier indication of a possible hyperkalemia safety issue.
Evolution of the Debate on Control Enhancing Mechanisms: A Systematic Review and Bibliometric Analysis

This paper aims to assess the state of the art, the structure and the evolution of the debate on control enhancing mechanisms (hereafter CEMs). It combines bibliometric and qualitative methodologies to analyze 210 articles published in scientific journals up to 2014. The findings show that the academics’ interest has increased over time, and the research has simultaneously developed along two main poles: antecedents and consequences of the proportionality principle. The analyses also reveal that the debate stems from the US studies on the legal principles of disproportionate ownership devices at the end of 19th century, and has been strongly fueled by the ‘law and finance’ theorists. This paper has both theoretical and practical implications. First, it provides insights into underexplored issues where future research efforts could be focused. Second, it supports new policy‐making interventions to CEMs and encourages investor regulation and corporate transparency.
Nonwindowed Nonremovable Fiberglass Off-Loading Cast Versus Removable Pneumatic Cast (AircastXP Diabetic Walker) in the Treatment of Neuropathic Noninfected Plantar Ulcers

Neuropathic plantar ulcers are classical lesions secondary to diabetic polyneuropathy (1,2). The worldwide gold standard treatment is the nonremovable off-loading cast (3–5). However, the device is not widely used due to concerns related to risk factors of the off-loading cast (i.e., joint rigidity, additional ulcer formation beneath the cast, and infection of the ulcer enclosed in the cast). Our group recently demonstrated that it is possible to reduce the risk of side effects reported in literature by constructing the off-loading cast using fiberglass bandages of different rigidity. Considering the device’s scarce application because of the side effects, we conducted a controlled, randomized, prospective trial to evaluate the safety and efficacy of a removable pneumatic cast walker in comparison with a nonremovable fiberglass off-loading cast. Between January 2005 and October 2005, 60 consecutive diabetic patients with neuropathic plantar ulcers were seen and randomly assigned to two groups: group A, using an Aircast Pneumatic Walker (XP Diabetic Walker); and group B, using the fiberglass off-loading cast. All participants had peripheral neuropathy, as highlighted by insensitivity to 10 g monofilament and vibration perception threshold measured by biothesiometer at malleolus of at least 25 volts, and presented …
Confusing Pair Correction Based on Category Prototype for Domain Adaptation under Noisy Environments

In this paper, we address unsupervised domain adaptation under noisy environments, which is more challenging and practical than traditional domain adaptation. In this scenario, the model is prone to overfitting noisy labels, resulting in a more pronounced domain shift and a notable decline in the overall model performance. Previous methods employed prototype methods for domain adaptation on robust feature spaces. However, these approaches struggle to effectively classify classes with similar features under noisy environments. To address this issue, we propose a new method to detect and correct confusing class pair. We first divide classes into easy and hard classes based on the small loss criterion. We then leverage the top-2 predictions for each sample after aligning the source and target domain to find the confusing pair in the hard classes. We apply label correction to the noisy samples within the confusing pair. With the proposed label correction method, we can train our model with more accurate labels. Extensive experiments confirm the effectiveness of our method and demonstrate its favorable performance compared with existing state-of-the-art methods. Our codes are publicly available at https://github.com/Hehxcf/CPC/.
Power Consumption-Aware Virtual Machine Allocation in Cloud Data Center

This paper compares a set of Virtual Machine (VM) allocators for Cloud Data Centers (DCs) that perform the joint allocation of computing and network resources. VM requests are defined in terms of system (CPU, RAM and Disk) and network (Bandwidth) resources. As concerns the first ones, we allocate VM resources following two different policies, namely Best Fit and Worst Fit, corresponding to consolidation and spreading strategies respectively. For each server, the allocators choose the network path that minimizes electrical power consumption, evaluated according to a precise model, specifically designed for network switches. More specifically, we implemented different allocation algorithms based on Fuzzy Logic, Single and Multi-Objective optimization. Simulation tests have been carried out to evaluate the performance of the allocators in terms of number of allocated VMs for each policy. Finally, it is worth mentioning that we have designed the proposed allocators as a building block of a Software Defined Networking (SDN) orchestrator.
When stress and development go hand in hand: main hormonal controls of adventitious rooting in cuttings

Adventitious rooting (AR) is a multifactorial response leading to new roots at the base of stem cuttings, and the establishment of a complete and autonomous plant. AR has two main phases: (a) induction, with a requirement for higher auxin concentration; (b) formation, inhibited by high auxin and in which anatomical changes take place. The first stages of this process in severed organs necessarily include wounding and water stress responses which may trigger hormonal changes that contribute to reprogram target cells that are competent to respond to rooting stimuli. At severance, the roles of jasmonate and abscisic acid are critical for wound response and perhaps sink strength establishment, although their negative roles on the cell cycle may inhibit root induction. Strigolactones may also inhibit AR. A reduced concentration of cytokinins in cuttings results from the separation of the root system, whose tips are a relevant source of these root induction inhibitors. The combined increased accumulation of basipetally transported auxins from the shoot apex at the cutting base is often sufficient for AR in easy-to-root species. The role of peroxidases and phenolic compounds in auxin catabolism may be critical at these early stages right after wounding. The events leading to AR strongly depend on mother plant nutritional status, both in terms of minerals and carbohydrates, as well as on sink establishment at cutting bases. Auxins play a central role in AR. Auxin transporters control auxin canalization to target cells. There, auxins act primarily through selective proteolysis and cell wall loosening, via their receptor proteins TIR1 (transport inhibitor response 1) and ABP1 (Auxin-Binding Protein 1). A complex microRNA circuitry is involved in the control of auxin response factors essential for gene expression in AR. After root establishment, new hormonal controls take place, with auxins being required at lower concentrations for root meristem maintenance and cytokinins needed for root tissue differentiation.
Limited proteolysis as a structural probe of the soluble alpha-glycerophosphate oxidase from Streptococcus sp.

As reported previously [Parsonage, D. , Luba, J., Mallett, T. C. , and Claiborne, A. (1998) J. Biol. Chem. 273, 23812-23822], the flavoprotein alpha-glycerophosphate oxidases (GlpOs) from a number of enterococcal and streptococcal sources contain a conserved 50-52 residue insert that is completely absent in the homologous alpha-glycerophosphate dehydrogenases. On limited proteolysis with trypsin, the GlpO from Streptococcus sp. (m = 67.6 kDa) is readily converted to two major fragments corresponding to masses of approximately 40 and 23 kDa. The combined application of sequence and mass spectrometric analyses demonstrates that the 40-kDa fragment represents the N-terminus of intact GlpO (Met1-Lys368; 40.5 kDa), while the 23-kDa band represents a C-terminal fragment (Ala405-Lys607; 22.9 kDa). Hence, limited proteolysis in effect excises most of the GlpO insert (Ser355-Lys404), indicating that this represents a flexible region on the protein surface. The active-site and other spectroscopic properties of the enzyme, including both flavin and tryptophan fluorescence spectra, titration behavior with both dithionite and sulfite, and preferential binding of the anionic form of the oxidized flavin, were largely unaffected by proteolysis. Enzyme-monitored turnover analyses of the intact and nicked streptococcal GlpOs (at [GlpO] approximately 10 microM) demonstrate that the single major catalytic defect in the nicked enzyme corresponds to a 20-fold increase in K(m)(Glp); the basis for this altered kinetic behavior is derived from an 8-fold decrease in the second-order rate constant for reduction of the nicked enzyme, as measured in anaerobic stopped-flow experiments. These results indicate that the flexible surface region represented by elements of the GlpO insert plays an important role in mediating efficient flavin reduction.
Observing sociocultural activity on three planes: participatory appropriation, guided participation, and apprenticeship

This chapter proposes a sociocultural approach that involves observation of development in three planes of analysis corresponding to personal, interpersonal, and community processes. I refer to developmental processes corresponding with these three planes of analysis as apprenticeship, guided participation, and participatory appropriation, in turn. These are inseparable, mutually constituting planes comprising activities that can become the focus of analysis at different times, but with the others necessarily remaining in the background of the analysis. I argue that children take part in the activities of their community, engaging with other children and with adults in routine and tacit as well as explicit collaboration (both in each others' presence and in otherwise socially structured activities) and in the process of participation become prepared for later participation in related events. Developmental research has commonly limited attention to either the individual or the environment – for example, examining how adults teach children or how children construct reality, with an emphasis on either separate individuals or independent environmental elements as the basic units of analysis. Even when both the individual and the environment are considered, they are often regarded as separate entities rather than being mutually defined and interdependent in ways that preclude their separation as units or elements (Dewey & Bentley, 1949; Pepper, 1942; Rogoff, 1982, 1992). Vygotsky's emphasis on the interrelated roles of the individual and the social world in microgenetic, ontogenetic, sociocultural, and phylogenetic development (Scribner, 1985; Wertsch, 1985) includes the individual and the environment together in successively broader time frames.
Automated Inference on Sociopsychological Impressions of Attractive Female Faces

This article is a sequel to our earlier work [25]. The main objective of our research is to explore the potential of supervised machine learning in face-induced social computing and cognition, riding on the momentum of much heralded successes of face processing, analysis and recognition on the tasks of biometric-based identification. We present a case study of automated statistical inference on sociopsychological perceptions of female faces controlled for race, attractiveness, age and nationality. Our empirical evidences point to the possibility of training machine learning algorithms, using example face images characterized by internet users, to predict perceptions of personality traits and demeanors.
Signs of Injustice

AbstractRecent research on court interpreting has demonstrated that interpreters themselves often intrude upon proceedings more than they or other participants realize. Moreover, as in any interpreting, there is always some tension between the nature of the source and target language output. When interpreting occurs not just between two languages, but between two languages with different modalities - spoken and signed - the relationship between source and target texts can be even more complex. This article discusses some of the issues which arise in part because of differences in modality. Special attention is given to the notion of visual encoding in British Sign Language (BSL) whereby BSL incorporates information about the physical world in a more regular way than is typical of spoken languages. This results in dilemmas for the interpreter and potential problems of access to justice for the Deaf person.
Ten Steps of EM Suffice for Mixtures of Two Gaussians

The Expectation-Maximization (EM) algorithm is a widely used method for maximum likelihood estimation in models with latent variables. For estimating mixtures of Gaussians, its iteration can be viewed as a soft version of the k-means clustering algorithm. Despite its wide use and applications, there are essentially no known convergence guarantees for this method. We provide global convergence guarantees for mixtures of two Gaussians with known covariance matrices. We show that the population version of EM, where the algorithm is given access to infinitely many samples from the mixture, converges geometrically to the correct mean vectors, and provide simple, closed-form expressions for the convergence rate. As a simple illustration, we show that, in one dimension, ten steps of the EM algorithm initialized at infinity result in less than 1\% error estimation of the means. In the finite sample regime, we show that, under a random initialization, $\tilde{O}(d/\epsilon^2)$ samples suffice to compute the unknown vectors to within $\epsilon$ in Mahalanobis distance, where $d$ is the dimension. In particular, the error rate of the EM based estimator is $\tilde{O}\left(\sqrt{d \over n}\right)$ where $n$ is the number of samples, which is optimal up to logarithmic factors.
Xtream-fit: an energy-delay efficient data memory subsystem for embedded media processing

In this paper, we propose a novel special-purpose data memory subsystem, called Xtream-fit, aimed at achieving high-energy-delay efficiency for streaming media applications. A key novelty of Xtream-fit is that it exposes a single customization parameter, thus enabling a very simple and yet effective design space exploration methodology. A second key contribution of this work is the ability to achieve very high energy-delay efficiency through a synergistic combination of: (1) special purpose memory subsystem components, namely, a streaming memory and scratch-pad memory; and (2) a novel task-based execution model that exposes/enhances opportunities for efficient prefetching and aggressive dynamic energy conservation techniques targeting on-chip and off-chip memory components. Extensive experimental results show that Xtream-fit reduces energy-delay product by 46% to 83%, as compared to general-purpose memory subsystems enhanced with state of the art cache decay and SDRAM power mode control policies.
Strongly competitive algorithms for paging with locality of reference

What is the best paging algorithm if one has partial information about the possible sequences of page requests? We give a partial answer to this question, by presenting the analysis of strongly competitive paging algorithms in the access graph model. This model restricts page requests so that they conform to a notion of locality of reference, given by an arbitrary access graph. We first consider optimal algorithms for undirected access graphs. Borodin et al. [2] define an algorithm, called FAR, and proved that it is within a logarithmic factor of the optimal. We prove that FAR is in fact strongly competitive, i.e. within a constant factor of the optimum. For directed access graphs, we present an algorithm that is strongly competitive on all structured program graphs—graphs modeling the request sequences of structured programs.
Survey on Misbehavior Detection in Cooperative Intelligent Transportation Systems

Cooperative intelligent transportation systems (cITS) are a promising technology to enhance driving safety and efficiency. Vehicles communicate wirelessly with other vehicles and infrastructure, thereby creating a highly dynamic and heterogeneously managed ad-hoc network. It is these network properties that make it a challenging task to protect integrity of the data and guarantee its correctness. A major component is the problem that traditional security mechanisms like public key infrastructure (PKI)-based asymmetric cryptography only exclude outsider attackers that do not possess key material. However, because attackers can be insiders within the network (i.e., possess valid key material), this approach cannot detect all possible attacks. In this survey, we present misbehavior detection mechanisms that can detect such insider attacks based on attacker behavior and information analysis. In contrast to well-known intrusion detection for classical IT systems, these misbehavior detection mechanisms analyze information semantics to detect attacks, which aligns better with highly application-tailored communication protocols foreseen for cITS. In our survey, we provide an extensive introduction to the cITS ecosystem and discuss shortcomings of PKI-based security. We derive and discuss a classification for misbehavior detection mechanisms, provide an in-depth overview of seminal papers on the topic, and highlight open issues and possible future research trends.