Miracle-dz/UniFAR-FTUs huggingface dataset:
The Principal Type-Scheme of an Object in Combinatory Logic

One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few restrictions as possible; hence in the simplest form of combinatory logic there is nothing to stop a function being applied to itself; thus XX is an ob for all obs X. However it is also natural to look at the consequences of introducing type-restrictions, formulated by assigning types to the obs according to certain rules, to be described later. Each type is a linguistic expression representing a set of functions, and for any type a the statement " X has type a" is intended to mean that the ob X represents a member of the set represented by a. Given types a and /, the set of all functions from the set a into the set 8 is represented by the type " Fa/3" (using Curry's notation). Now consider the ob l; if X has type a, then the ob I X must also have type a. Hence I represents a function from a into a, and so it must be given the type Faa, for each type a. Thus I has not just one type, but a whole class of types. This might seem strange, but it comes from the fact that I represents the abstract notion of " identity-function", rather than one particular identity-function for a particular set. The identity-function involves basically the same concept, no matter what we are applying it to. Similarly the other two basic combinators S and K (see later, or [1, ? 5A]) represent certain simple operations which can be performed on almost any functions, and thus they too have an infinite class of types (see ? 1 later for details, and ? 5 for comment). To denote classes of types, we can use variables a, b, c; then the fact that I has every type of form Faa can be expressed by assigning to I the type-scheme
Context Aware Retrieval of Health Information on the Web

Although search engines are a valuable tool to find information on the Web, sometimes it is hard for the users to find relevant and important information for them. This is often a result of traditional search engines' lack of awareness about the user's context. This becomes a very important issue when people search for health related information. In this paper we present a search tool that helps users to find relevant health information on the Web, using data from personal health records as context in order to deliver results that apply to the user's current conditions. We evaluated this tool with 18 subjects and results from such evaluation are discussed
Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus

We have examined gating and pharmacological characteristics of somatic K+ channels in fast-spiking interneurons and regularly spiking principal neurons of hippocampal slices. In nucleated patches isolated from basket cells of the dentate gyrus, a fast delayed rectifier K+ current component that was highly sensitive to tetraethylammonium (TEA) and 4-aminopyridine (4-AP) (half-maximal inhibitory concentrations <0.1 mm) predominated, contributing an average of 58% to the total K+ current in these cells. By contrast, in pyramidal neurons of the CA1 region a rapidly inactivating A-type K+ current component that was TEA-resistant prevailed, contributing 61% to the total K+current. Both types of neurons also showed small amounts of the K+ current component mainly found in the other type of neuron and, in addition, a slow delayed rectifier K+ current component with intermediate properties (slow inactivation, intermediate sensitivity to TEA). Single-cell RT-PCR analysis of mRNA revealed that Kv3 (Kv3.1, Kv3.2) subunit transcripts were expressed in almost all (89%) of the interneurons but only in 17% of the pyramidal neurons. In contrast, Kv4 (Kv4.2, Kv4.3) subunit mRNAs were present in 87% of pyramidal neurons but only in 55% of interneurons. Selective block of fast delayed rectifier K+ channels, presumably assembled from Kv3 subunits, by 4-AP reduced substantially the action potential frequency in interneurons. These results indicate that the differential expression of Kv3 and Kv4 subunits shapes the action potential phenotypes of principal neurons and interneurons in the cortex.
The Early Induction of Suppressor of Cytokine Signaling 1 and the Downregulation of Toll-like Receptors 7 and 9 Induce Tolerance in Costimulated Macrophages

Toll-like receptors (TLR) 7 and 9 transduce a cellular signal through the MyD88-dependent pathway and induce the production of inflammatory mediators against microbial nucleotide components. The repeated stimulation of TLR4 leads to endotoxin tolerance, but the molecular mechanisms of tolerance induced through the costimulation of individual TLR has not yet been established, although endosomal TLRs share signaling pathways with TLR4. In the present study, mouse macrophages were simultaneously stimulated with the TLR7 agonist, gardiquimod (GDQ), and the TLR9 agonist, CpG ODN 1826, to examine the mechanism and effector functions of macrophage tolerance. Compared with individual stimulation, the costimulation of both TLRs reduced the secretion of TNF-α and IL-6 through the delayed activation of the NF-κB pathway; notably, IL-10 remained unchanged in costimulated macrophages. This tolerance reflected the early induction of suppressor of cytokine signaling-1 (SOCS-1), according to the detection of elevated TNF-α secretion and restored NF-κB signaling in response to the siRNA-mediated abrogation of SOCS-1 signaling. In addition, the restimulation of each TLRs using the same ligand significantly reduced the expression of both TLRs in endosomes. These findings revealed that the costimulation of TLR7 and TLR9 induced macrophage tolerance via SOCS-1, and the restimulation of each receptor or both TLR7 and TLR9 downregulated TLR expression through a negative feedback mechanisms that protects the host from excessive inflammatory responses. Moreover, the insufficient and impaired immune response in chronic viral infection might also reflect the repeated and simultaneous stimulation of those endosomal TLRs.
Interpreting Quantifier Scope Ambiguity: Evidence of Heuristic First, Algorithmic Second Processing

The present work suggests that sentence processing requires both heuristic and algorithmic processing streams, where the heuristic processing strategy precedes the algorithmic phase. This conclusion is based on three self-paced reading experiments in which the processing of two-sentence discourses was investigated, where context sentences exhibited quantifier scope ambiguity. Experiment 1 demonstrates that such sentences are processed in a shallow manner. Experiment 2 uses the same stimuli as Experiment 1 but adds questions to ensure deeper processing. Results indicate that reading times are consistent with a lexical-pragmatic interpretation of number associated with context sentences, but responses to questions are consistent with the algorithmic computation of quantifier scope. Experiment 3 shows the same pattern of results as Experiment 2, despite using stimuli with different lexical-pragmatic biases. These effects suggest that language processing can be superficial, and that deeper processing, which is sensitive to structure, only occurs if required. Implications for recent studies of quantifier scope ambiguity are discussed.
Relevance Ranking Metrics for Learning Objects

This paper develops the concept of relevance in the context of learning object search. It proposes a set of metrics to estimate the topical, personal and situational relevance dimensions. These metrics are derived mainly from usage and contextual information. An exploratory evaluation of the metrics shows that even the simplest ones provide statistically significant improvement in the ranking order over the most common algorithmic relevance metric. Moreover, the combination of the metrics through the RankNet learning sorts the result list 50% better than the base-line ranking. The paper also presents open questions in the field of learning object relevance ranking that deserve further attention.
Antagonistic Characteristics Against Food-borne Pathogenic Bacteria of Lactic Acid Bacteria and Bifidobacteria Isolated from Feces of Healthy Thai Infants

Background: Food-borne pathogens are among the most significant problems in maintaining the health of people. Many probiotics have been widely reported to alleviate and protect against gastrointestinal infections through antibacterial secretion. However, the majority of them cannot always play antagonistic roles under gut conditions. Probiotic bacteria of human origin must possess other protective mechanisms to survive, out-compete intestinal flora and to successfully establish in their new host at a significant level. Objectives: Probiotic characteristics of Lactic Acid Bacteria (LAB) and bifidobacteria isolated from the feces of Thai infants were primarily investigated in terms of gastric acid and bile resistances, antibacterial activity and mucin adhesion ability. Antagonistic interaction through secretion of antibacterial compounds and competitive exclusion against food-borne pathogens were also evaluated. Materials and Methods: Culturable LAB and bifidobacteria were isolated from feces of Thai infants. Their ability to withstand gastric acid and bile were then evaluated. Acid and bile salt tolerant LAB and bifidobacteria were identified. They were then further assessed according to their antagonistic interactions through antibacterial secretion, mucin adhesion and competitive mucin adhesion against various food-borne pathogenic bacteria. Results: Gastric acid and bile tolerant LAB and bifidobacteria isolated from healthy infant feces were identified and selected according to their antagonistic interaction against various food-borne pathogenic bacteria. These antagonistic probiotics included four strains of Lactobacillus rhamnosus, two strains of L. casei, five strains of L. plantarum, two strains of Bifidobacterium longum subsp. longum and three strains of B. bifidum. All strains of the selected LAB inhibited all pathogenic bacteria tested through antibacterial secretion, while bifidobacteria showed high level of competitive exclusion against the pathogenic bacteria. Conclusions: These human-derived LAB and bifidobacteria exhibited different mechanisms involved in pathogenic inhibition. Therefore a combination of these probiotic strains could be a great promise and possibility for the development of probiotic products to effectively prevent and control food-borne infection in humans.
Dynamic Monitoring Reveals Motor Task Characteristics in Prehistoric Technical Gestures

Reconstructing ancient technical gestures associated with simple tool actions is crucial for understanding the co-evolution of the human forelimb and its associated control-related cognitive functions on the one hand, and of the human technological arsenal on the other hand. Although the topic of gesture is an old one in Paleolithic archaeology and in anthropology in general, very few studies have taken advantage of the new technologies from the science of kinematics in order to improve replicative experimental protocols. Recent work in paleoanthropology has shown the potential of monitored replicative experiments to reconstruct tool-use-related motions through the study of fossil bones, but so far comparatively little has been done to examine the dynamics of the tool itself. In this paper, we demonstrate that we can statistically differentiate gestures used in a simple scraping task through dynamic monitoring. Dynamics combines kinematics (position, orientation, and speed) with contact mechanical parameters (force and torque). Taken together, these parameters are important because they play a role in the formation of a visible archaeological signature, use-wear. We present our new affordable, yet precise methodology for measuring the dynamics of a simple hide-scraping task, carried out using a pull-to (PT) and a push-away (PA) gesture. A strain gage force sensor combined with a visual tag tracking system records force, torque, as well as position and orientation of hafted flint stone tools. The set-up allows switching between two tool configurations, one with distal and the other one with perpendicular hafting of the scrapers, to allow for ethnographically plausible reconstructions. The data show statistically significant differences between the two gestures: scraping away from the body (PA) generates higher shearing forces, but requires greater hand torque. Moreover, most benchmarks associated with the PA gesture are more highly variable than in the PT gesture. These results demonstrate that different gestures used in ‘common’ prehistoric tasks can be distinguished quantitatively based on their dynamic parameters. Future research needs to assess our ability to reconstruct these parameters from observed use-wear patterns.
Appearance-based Face Recognition from robot camera images with Illumination and Distance Variations

This paper is concerned with the appearance-based face recognition from robot camera images with illumination and distance variations. The approaches used in this paper consist of eigenface, fisherface, and icaface, which are the most representative recognition techniques frequently used in conjunction with face recognition. These approaches are based on a popular unsupervised and supervised statistical technique that supports finding useful image representations, respectively. Thus we focus on the performance comparison from robot camera images with unwanted variations. The comprehensive experiments are completed for two face databases with illumination and distance variations. A comparative analysis demonstrates that ICA comes with improved classification rates when compared with other approaches such as eigenface and fisherface
From Mirror Therapy to Augmentation

Abstract Video mediated and augmented reality technologies can challenge our sense of what we perceive and believe to be real. Applied appropriately, the technology presents new opportunities for understanding and treating a range of human functional impairments as well as studying the underling psychological bases of the phenomenon. This paper describes our augmented mirror box (AMB) technology which builds on the potential of optical mirror boxes by adding augmentations that can be applied in therapeutic and scientific settings. Here we test hypotheses about limb presence and perception, belief, and pain using laboratory studies to demonstrate proof of concept. The results of these studies provide evidence that the AMB can be used to manipulate beliefs and perceptions and alter the reported experience of pain. We conclude that the system has considerable potential for use in experimental and in clinical settings. Introduction The line between what is real and what can be computer generated is increasingly blurred (cf. IJsselsteijn et al., 2005). Augmented reality might change the way we view the world and what we perceive and believe to be real. Creating a mirror image of what is real (let us say human hands), and presenting this image in an augmented environment, adds to the blurring effect, since it can raise doubt about whether we think we are looking at our hands or at some enhanced or manipulated version of them projected on a screen. This effect is related to the phenomenon of neuroplasticity; the brains ability to adapt its functions and activities in response to env ironmental and psychological factors (Doidge, 2010). In our view, neuroplasticity is mediated by beliefs, perceptions, sensations and emotions. It is the brains ability to act and react in ever-changing ways, thr ough thought and activity based on environmental input, which has led to the novel system that we describe in this paper.
IMPROVED DIRECT TORQUE CONTROL OF INDUCTION MOTOR USING FUZZY LOGIC BASED DUTY RATIO CONTROLLER

Classical DTC has inherent disadvantages such as: problems during starting resulting from the null states, the compulsory requirement of torque and flux estimators, and torque ripple. In this paper the improved response of the DTC is achieved by varying the duty ratio of the selected voltage vector during each switching period according to the magnitude of the torque error and position of the stator flux using Fuzzy logic. A duty ratio control scheme for an inverter-fed induction machine using DTC method is presented in this paper. Fuzzy logic control is used to implement the duty ratio controller. The effectiveness of the duty ratio method was verified by simulation using Matlab SIMULINK.
(6) Rendering Quality and User Cognition: An Experimental Study

The effect of rendering quality on spatial cognition is investigated. A between groups experiment was carried out to explore the effect of rendering quality (flat-shaded vs photorealistic radiosity rendering) on object-based memory recall and memory awareness states. The general premise of this research focuses on ‘how’ tasks are achieved, rather than only on ‘what’ is achieved. Interestingly, results revealed a higher proportion of visually induced recollections associated with the flat-shaded condition. This finding follows similar findings in two previous studies that demonstrated that the less ‘naturalistic’ interaction interface also provoked a higher proportion of visually induced recollections (Mania et al. 2003).
Semantic deficits in Spanish-English bilingual children with language impairment.

PURPOSE To examine the nature and extent of semantic deficits in bilingual children with language impairment (LI). METHOD Thirty-seven Spanish-English bilingual children with LI (ranging from age 7;0 [years;months] to 9;10) and 37 typically developing (TD) age-matched peers generated 3 associations to 12 pairs of translation equivalents in English and Spanish. Responses were coded as paradigmatic (e.g., dinner-lunch, cena-desayuno [dinner-breakfast]), syntagmatic (e.g., delicious-pizza, delicioso-frijoles [delicious-beans]), and errors (e.g., wearing-where, vestirse-mal [to get dressed-bad]). A semantic depth score was derived in each language and conceptually by combining children's performance in both languages. RESULTS The LI group achieved significantly lower semantic depth scores than the TD group after controlling for group differences in vocabulary size. Children showed higher conceptual scores than single-language scores. Both groups showed decreases in semantic depth scores across multiple elicitations. Analyses of individual performances indicated that semantic deficits (1 SD below the TD mean semantic depth score) were manifested in 65% of the children with LI and in 14% of the TD children. CONCLUSION School-age bilingual children with and without LI demonstrated spreading activation of semantic networks. Consistent with the literature on monolingual children with LI, sparsely linked semantic networks characterize a considerable proportion of bilingual children with LI.
Current Strategies to Enhance Recovery following Radical Cystectomy: Single Centre Initial Experience

A radical cystectomy (RC) with pelvic lymph node dissection is the gold standard treatment for muscle-invasive bladder carcinoma. The morbidity associated with RC is clearly lower than that in the previous decades; it still continues to remain higher than 30% in the early postoperative period associated with and remains the most effective method for local control. We present current strategies being developed to further enhance recovery in patients undergoing RC and stratifying these into pre, intra, and post operative. We present our current strategies to enhance revcovery in patients undergoing RC which includes a combination of a through preoperative assessment with cardiopulmonary exercise (CPX), preoperative carbohydrate loading drinks, and intraoperative fluid monitoring with the trans-oesophageal Doppler probe (TODP) that may enhance recovery following radical cystectomy. We conclude that using these strategies may not only help in reducing peri/post operative morbidity and the duration of inpatient stay but may also help in enhancing the patient's long-term recovery.
Augmentation of Actinobacillus actinomycetemcomitans Invasion of Human Oral Epithelial Cells and Up-Regulation of Interleukin-8 Production by Saliva CD14

ABSTRACT It has recently been shown that human salivary glands constitutively express CD14, an important molecule in innate immunity, and that a soluble form of CD14 is secreted in saliva. The concentration of CD14 in parotid (a serous gland) saliva was comparable to that in normal serum and 10-fold the amount in whole saliva, although the physiological function of saliva CD14 remained unclear. Actinobacillus actinomycetemcomitans is a periodontopathic bacterium and is able to invade oral epithelial cells. The present study showed that upon exposure to live A. actinomycetemcomitans Y4 for 2 h, human oral epithelial HSC-2 cells produced interleukin-8 (IL-8) for a further 24 h and whole saliva augmented the production induced by A. actinomycetemcomitans Y4. Parotid saliva showed a more pronounced effect on the production of IL-8 than whole saliva. Neither saliva preparation itself had IL-8-inducing activity. Parotid saliva exhibited antibacterial activity against a low concentration of A. actinomycetemcomitans Y4, but recombinant CD14 did not show the activity. The internalization of A. actinomycetemcomitans Y4 into HSC-2 cells was inhibited by cytochalasin B, indicating that the process was actin dependent, and depletion of CD14 from parotid saliva inhibited the invasion and, as a consequence, inhibited production of IL-8. Furthermore, human recombinant CD14 augmented invasion and IL-8 production. These results suggest that saliva CD14 promoted the invasion of oral epithelial cells by A. actinomycetemcomitans and consequently augmented the production of IL-8, playing an important role in innate immunity in the oral cavity.
Genetic determinants of FOXM1 overexpression in epithelial ovarian cancer and functional contribution to cell cycle progression

The FOXM1 transcription factor network is frequently activated in high-grade serous ovarian cancer (HGSOC), the most common and lethal subtype of epithelial ovarian cancer (EOC). We used primary human EOC tissues, HGSOC cell lines, mouse and human ovarian surface epithelial (OSE) cells, and a murine transgenic ovarian cancer model to investigate genetic determinants of FOXM1 overexpression in EOC, and to begin to define its functional contribution to disease pathology. The Cancer Genome Atlas (TCGA) data indicated that the FOXM1 locus is amplified in ~12% of HGSOC, greater than any other tumor type examined, and that FOXM1 amplification correlates with increased expression and poor survival. In an independent set of primary EOC tissues, FOXM1 expression correlated with advanced stage and grade. Of the three known FOXM1 isoforms, FOXM1c showed highest expression in EOC. In murine OSE cells, combined knockout of Rb1 and Trp53 synergistically induced FOXM1. Consistently, human OSE cells immortalized with SV40 Large T antigen (IOSE-SV) had significantly higher FOXM1 expression than OSE immortalized with hTERT (IOSE-T). FOXM1 was overexpressed in murine ovarian tumors driven by combined Rb1/Trp53 disruption. FOXM1 induction in IOSE-SV cells was partially dependent on E2F1, and FOXM1 expression correlated with E2F1 expression in human EOC tissues. Finally, FOXM1 functionally contributed to cell cycle progression and relevant target gene expression in human OSE and HGSOC cell models. In summary, gene amplification, p53 and Rb disruption, and E2F1 activation drive FOXM1 expression in EOC, and FOXM1 promotes cell cycle progression in EOC cell models.