Miracle-dz/UniFAR-FTUs huggingface dataset:
Construction of English MWE Dictionary and its Application to POS Tagging

This paper reports our ongoing project for constructing an English multiword expression (MWE) dictionary and NLP tools based on the developed dictionary. We extracted functional MWEs from the English part of Wiktionary, annotated the Penn Treebank (PTB) with MWE information, and conducted POS tagging experiments. We report how the MWE annotation is done on PTB and the results of POS and MWE tagging experiments.
Impact of Actin Filament Stabilization on Adult Hippocampal and Olfactory Bulb Neurogenesis

Rearrangement of the actin cytoskeleton is essential for dynamic cellular processes. Decreased actin turnover and rigidity of cytoskeletal structures have been associated with aging and cell death. Gelsolin is a Ca2+-activated actin-severing protein that is widely expressed throughout the adult mammalian brain. Here, we used gelsolin-deficient (Gsn−/−) mice as a model system for actin filament stabilization. In Gsn−/− mice, emigration of newly generated cells from the subventricular zone into the olfactory bulb was slowed. In vitro, gelsolin deficiency did not affect proliferation or neuronal differentiation of adult neural progenitors cells (NPCs) but resulted in retarded migration. Surprisingly, hippocampal neurogenesis was robustly induced by gelsolin deficiency. The ability of NPCs to intrinsically sense excitatory activity and thereby implement coupling between network activity and neurogenesis has recently been established. Depolarization-induced [Ca2+]i increases and exocytotic neurotransmitter release were enhanced in Gsn−/− synaptosomes. Importantly, treatment of Gsn−/− synaptosomes with mycotoxin cytochalasin D, which, like gelsolin, produces actin disassembly, decreased enhanced Ca2+ influx and subsequent exocytotic norepinephrine release to wild-type levels. Similarly, depolarization-induced glutamate release from Gsn−/− brain slices was increased. Furthermore, increased hippocampal neurogenesis in Gsn−/− mice was associated with a special microenvironment characterized by enhanced density of perfused vessels, increased regional cerebral blood flow, and increased endothelial nitric oxide synthase (NOS-III) expression in hippocampus. Together, reduced filamentous actin turnover in presynaptic terminals causes increased Ca2+ influx and, subsequently, elevated exocytotic neurotransmitter release acting on neural progenitors. Increased neurogenesis in Gsn−/− hippocampus is associated with a special vascular niche for neurogenesis.
Disentangling Chat

When multiple conversations occur simultaneously, a listener must decide which conversation each utterance is part of in order to interpret and respond to it appropriately. We refer to this task as disentanglement. We present a corpus of Internet Relay Chat dialogue in which the various conversations have been manually disentangled, and evaluate annotator reliability. We propose a graph-based clustering model for disentanglement, using lexical, timing, and discourse-based features. The model's predicted disentanglements are highly correlated with manual annotations. We conclude by discussing two extensions to the model, specificity tuning and conversation start detection, both of which are promising but do not currently yield practical improvements.
Phase 1 study results of the type II glycoengineered humanized anti-CD20 monoclonal antibody obinutuzumab (GA101) in B-cell lymphoma patients.

Whereas the chimeric type I anti-CD20 Ab rituximab has improved outcomes for patients with B-cell malignancies significantly, many patients with non-Hodgkin lymphoma (NHL) remain incurable. Obinutuzumab (GA101) is a glycoengineered, humanized anti-CD20 type II Ab that has demonstrated superior activity against type I Abs in vitro and in preclinical studies. In the present study, we evaluated the safety, efficacy, and pharmacokinetics of GA101 in a phase 1 study of 21 patients with heavily pretreated, relapsed, or refractory CD20(+) indolent NHL. Patients received GA101 in a dose-escalating fashion (3 per cohort, range 50/100-1200/2000 mg) for 8 × 21-day cycles. The majority of adverse events (AEs) were grades 1 and 2 (114 of 132 total AEs). Seven patients reported a total of 18 grade 3 or 4 AEs. Infusion-related reactions were the most common AE, with most occurring during the first infusion and resolving with appropriate management. Three patients experienced grade 3 or 4 drug-related infusion-related reactions. The best overall response was 43%, with 5 complete responses and 4 partial responses. Data from this study suggest that GA101 was well tolerated and demonstrated encouraging activity in patients with previously treated NHL up to doses of 2000 mg. This trial is registered at www.clinicaltrials. gov as NCT00517530.
Table Lookup Techniques for Fast and Flexible Digital Logic Simulation

A well-known fundamental computer technique consists of the "interpretation" of naturally available or artifically formed, data items as addresses to perform table-lookups. Although well-known, this technique is still not exploited to its fullest potential. The power and extent of this technique as applied to logic simulation is demonstrated.
Using Web 2.0 Technologies to Enhance Evidence-Based Medical Information

This article invokes research on information seeking and evaluation to address how providers of evidence-based medical information can use Web 2.0 technologies to increase access to, enliven users’ experiences with, and enrich the quality of the information available. In an ideal scenario, evidence-based medical information can take appropriate advantage of community intelligence spawned by Web 2.0 technologies, resulting in the ideal combination of scientifically sound, high-quality information that is imbued with experiential insights from a multitude of individuals. To achieve this goal, the authors argue that people will engage with information that they can access easily, and that they perceive as (a) relevant to their information-seeking goals and (b) credible. The authors suggest the utility of Web 2.0 technologies for engaging stakeholders with evidence-based medical information through these mechanisms, and the degree to which the information provided can and should be trusted. Last, the authors discuss potential problems with Web 2.0 information in relation to decision making in health contexts, and they conclude with specific and practical recommendations for the dissemination of evidence-based health information via Web 2.0 technologies.
Analyzing Quantum Probability Ranking Principle with the concept of Hyperspace Analogue to Language (HAL)

In the light of Quantum Physics, probabilistic technique is said to support a backbone in the domain of Quantum Information Retrieval (QIR). This well known domain is based on the Quantum Probability Theory, which is used to examine the probability of relevance of a document given a user's query. The Quantum Probability Ranking Principle (QPRP), captures dependencies between documents in absolute way via “quantum interference” by considering a single vector i.e., one-dimension subspace. The HAL semantic space can be used to capture meaning of the document of information needs by representing the document into a high dimensional semantic space. This paper presents an investigation of the Quantum Probability Ranking Principle with the concept of HAL semantic space such that which can act as a bridge the gap between Quantum Probability Theory and HAL semantic space, that can results to agreeable performance in an ad-hoc retrieval task of document ranking.
A Review of You Can't Teach Us If You Don’t Know Us and Care About Us: Becoming an Ubuntu, Responsive and Responsible Urban Teacher

I have been honing my skills and finding innovative ways to teach students of color in urban schools for 18 years. However, I almost quit when I first started teaching because it was very challenging to work with students of color. My teacher preparation classes did not adequately equip me with the skills necessary to support the needs of students of color. Through a process trial and error I learned that building a caring relationship with students is the key to social and academic success. As a result, in my seventh year my teaching practices and my classroom procedures improved significantly. One day a professor who studied in South Africa observed me teaching; after his observation he said, “You teach in the spirit of Ubuntu. ” At that time I did not know what the word Ubuntu meant, but since then I have been on the quest of studying the philosophical concept of Ubuntu. Ubuntu is an African construct from the Bantu languages in Southern Africa that means “humanness, human kindness. ” Ubuntu is an all-inclusive worldview—values shared across cultures—that can include care, respect, tolerance, honesty, hospitality, compassion, and empathy (Biraimah, 2016; Koenane & Olatunji, 2017; Letseka, 2013). The book You Can’t Teach Us If You Don’t Know Us and Care About Us: Becoming an Ubuntu, Responsive and Responsible Urban Teacher captures how to be an effective and accomplished urban teacher and how to create learning spaces for students that are dialogical and affirm their humanity. Throughout the book the author focuses on urban students because these students come to school from diverse cultures with diverse needs, and educating them to their full potential requires a different kind of pedagogy. Ukpokodu (2016) supports the argument of progressive educators that have advocated for a curriculum of relevance that incorporates the knowledge of students and their cultures into their learning (Dewey, 1956, Freire, 1993; Vygotsky, 1978; Ladison-Billings, 2009; Gay, 2000). From my lived experiences teaching urban students and supervising preservice teachers I agree with Ukpokodu (2016) that for us to provide true education and to educate for social justice, we need a humanizing pedagogy.
A Software defined Cloud-Gateway automation system using OpenFlow

The notion of programming the forwarding device using an open protocol is a key feature of Software-defined Networks (SDN). This improves network visibility and control thereby reducing vendor dependency. OpenFlow protocol provides a standardized approach to realize these goals of SDN. In this paper, we illustrate our progress with a Software-defined Cloud-Gateway automation system using OpenFlow. In addition, based on our deployment experience, we highlight two technical challenges when using OpenFlow. First, with the standardization being an evolving effort, we highlight some of the programming challenges and missing features within the OpenFlow protocol. Secondly, existing OpenFlow-based network stack lacks some architectural components that reduces the level of flexibility we achieve when programming the network. Most SDN controllers expose limited abstractions to build network applications thereby primarily functioning as an OpenFlow driver. This imposes an application programmer to work with several OpenFlow primitives. To address this problem, we elaborate our current work in extending the SDN stack to improve our overall network programmability experience.
The Precise Timing of Embryo Splitting for Monozygotic Dichorionic Diamniotic Twins: When Does Embryo Splitting for Monozygotic Dichorionic Diamniotic Twins Occur? Evidence for Splitting at the Morula/Blastocyst Stage From Studies of In Vitro Fertilization

There is a long-held credo, as illustrated in Langman's Medical Embryology (11th ed., Sadler, 2010), that dichorionic diamniotic (DD) twins develop after embryo splitting in the early stages of embryonic development. However, from our clinical experiences of the examination of data from single-embryo transfers in 16 fertility clinics in Japan and from various reports, the majority of occurrences of DD twins have been found in the blastocyst stages.
EngagedScholarship@CSU EngagedScholarship@CSU

Although exposure to environmental stress is common in most populations, and the physiological e(cid:128)ects of stress on individuals are well studied, the evolutionary importance of stress to populations is not well understood. To address multitrait responses to environmental change and potential constraints on character evolution, we analysed, in 100 isofemale lines of Drosophila buzzatii , the genetic relationships between resistance to a short heat shock and several life-history traits: survival in benign conditions, larval developmental time, fecundity and longevity. Estimates of heritability of larval thermotolerance were low, but signiﬁcant, and all life-history traits varied signiﬁcantly among isofemale lines. Several of these traits covaried signiﬁcantly. Most correlations indicated positive life-history relationships, but males and females from lines where female fecundity was higher developed more slowly in the absence of stress, which is a negative life-history relationship. The stress reduced or negated many trait associations, and showed one additional relationship; more larvae from lines that developed fast at 25 (cid:176) C survived to adult after stress than did larvae from slow developing lines. These shifts in ﬁtness relationships, when a single stress bout is applied, suggest that even small increases in environmental stress can have profound e(cid:128)ects on evolutionary relationships among life-history traits.
Post-infectious Irritable bowel syndrome

Many animal and human studies have shown the presence of increased infiltration of inflammatory cells and hyperplasia of enterochromaffin cells in the intestinal mucosa after acute gastroenteritis. The relationship between infectious enteritis and the development of IBS has been suspected clinically for many years. However, it was not until the late 1990s that epidemiologic studies provided evidence for this relationship. The first studies supporting this link had considerable weaknesses and therefore showed variable results. Even today knowledge about the incidence and prevalence of post-infectious IBS in the general population is limited. Some of the published epidemiological studies lack an appropriate control population, and were limited by a short follow-up symptom assessment post-infection.
Collected Abstracts of the 2013 LIX Colloquium on the Theory and Application of Formal Proofs November

In this talk, we present a new syntax for Linear Logic, inspired by natural deduction. In the sequent-calculus formulation of this syntax, the leaves of sequent trees can be labelled not only with axioms, but also with assumptions. The usual linear-logic operations of dereliction, contraction and weakening are replaced by a single abstraction operation, which introduces a ? -formula in the conclusion and discharges any number of appropriate assumptions. This yields a kind of “sequentcalculus in natural deduction style”. The usual promotion rule of linear logic is replaced by a much simpler ! rule which allows to pass from a (parametric) proof of ` A to a (identically paramaterised) proof of `! A. A cost of this simplified presentation is that cut-elimination does not hold as in standard sequent systems: instead, as with natural deduction, we define a natural notion of redex and accompanying notion of normality ; a simple translation from the standard sequent calculus for LL yields soundness for the full calculus with cut and completeness for the calculus of normal proofs. Unlike the standard calculus for LL, the new rules for the exponentials define them uniquely: if we use these rules to add two sets of exponentials to MALL, they will be logically equivalent, in contrast to the traditional Linear Logic rules for exponentials. This is not in contradiction to the existence of sub-exponentials; given an ordinary sequent calculus with sub-exponentials, adding exponential rules of our calculus yields a canonical “super-exponential” above the existing subexponentials. From the perspective of dynamics, this calculus bears the same relation to the usual calculus as ordinary natural deduction bears to resource-sensitive calculi of explicit substitutions. The cut-reduction dynamics of the exponentials in this calculus are as one would expect, given the inspiration of natural deduction, if we treat the ! -rule as creating a value: given a cut between a ? -abstraction and a ! -value, the cut is reduced by replacing each formula discharged by the ? -rule with a copy of the proof contained in the value. This inspires the name higher-order sequent-proofs This idea of representing exponentials using abstraction extends to a proof-net calculus for MELL. This proof-net calculus has the aesthetic advantage that each box has only a single output, and the technical advantage that each proof has an easily computed canonical form, while the usual proof-net calculus for MELL has non-canonicity owing to the interactions between the auxilliary outputs of boxes and contractions. If time permits, we will look at some further directions/questions for this work, for example: • Linear logic proofs as higher-order processes. • Nested Linear Logic • Differential linear logic • The linear modal cube The proof equivalence problem for multiplicative linear logic is pspace-complete Abstract Willem Heijltjes and Robin Houston
Surface design using hand motion with smoothing

We describe elements used in a system to manipulate a polygon-based surface object using a data glove (made by Fifth Dimension Inc.). A direct-manipulation method is used that allows for placing new displacements on previous ones. Good results are obtained for manipulation at any incidence angle to the surface by using a new linear transformation on the selected vertices, in order to properly calculate their displacement magnitudes. The design of the manipulation system emphasizes intuitiveness and speed. A method for smoothing selected portions of the object is also presented. The smoothing tool does not change regions of the surface where vertex coordinates may be expressed as a second-order implicit function i.e. the method has quadratic precision. It operates by ®nding a leastsquares ®t, followed by a relaxation phase where vertices are moved near the surface approximation. The smoother operates on a set of disjoint points in space, no knowledge of connectivity is required by the surface smoother. q 2001 Elsevier Science Ltd. All rights reserved. 1. Motivation and background The act of creating 3D objects interactively suggests an intuitive hand-based interface and a modeling environment that is robust, predictable, and fast. There is no commercially produced sculpting package that is easy enough for a novice to use immediately. These other packages require constant menu selection and mode changing. Often the interaction involves only keyboard/mouse input. A characteristic of directly manipulating a faceted object is that it often becomes jagged. Gouraud shading masks this feature in a rendering, by forming an interpolant across the triangle mesh. We provide a smoothing method to reduce these geometric discontinuities with quadratic precision.
Effects of DNA- and Mycobacterium bovis BCG-Based Delivery of the Flt3 Ligand on Protective Immunity to Mycobacterium tuberculosis

ABSTRACT The control of intracellular pathogens such as Mycobacterium tuberculosis is dependent on the activation and maintenance of pathogen-reactive T cells. Dendritic cells (DCs) are the major antigen-presenting cells initiating antimycobacterial T-cell responses in vivo. To investigate if immunization strategies that aim to optimize DC function can improve protective immunity against virulent mycobacterial infection, we exploited the ability of the hematopoietic growth factor Fms-like tyrosine kinase 3 ligand (Flt3L) to expand the number of DCs in vivo. A DNA fusion of the genes encoding murine Flt3L and M. tuberculosis antigen 85B stimulated enhanced gamma interferon (IFN-γ) release by T cells and provided better protection against virulent M. tuberculosis than DNA encoding the single components. Vaccination of mice with a recombinant Mycobacterium bovis BCG strain secreting Flt3L (BCG:Flt3L) led to early expansion of DCs compared to immunization with BCG alone, and this effect was associated with increased stimulation of BCG-reactive IFN-γ-secreting T cells. BCG and BCG:Flt3L provided similar protective efficacies against low-dose aerosol M. tuberculosis; however, immunization of immunodeficient mice revealed that BCG:Flt3L was markedly less virulent than conventional BCG. These results demonstrate the potential of in vivo targeting of DCs to improve antimycobacterial vaccine efficacy.
Student Perceptions of an Accelerated Online Master's in Education Administration Program through the Lens of Social Presence.

The purpose of this study is to analyze student perceptions of the success of an online accelerated Master’s in Educational Administration (MAEd) program through the lens of social presence by asking the following question: What are student perceptions of teaching and learning in an accelerated MAEd program? Forty-eight graduate students in an accelerated, one-year MAEd program were surveyed to identify their perceptions. Findings from the study indicated that emotional expression, open communication, and group cohesion were key elements in student perceptions of teaching and learning in their online MAEd program.
Learning to Project and Binarise for Hashing Based Approximate Nearest Neighbour Search

In this paper we focus on improving the effectiveness of hashing-based approximate nearest neighbour search. Generating similarity preserving hashcodes for images has been shown to be an effective and efficient method for searching through large datasets. Hashcode generation generally involves two steps: bucketing the input feature space with a set of hyperplanes, followed by quantising the projection of the data-points onto the normal vectors to those hyperplanes. This procedure results in the makeup of the hashcodes depending on the positions of the data-points with respect to the hyperplanes in the feature space, allowing a degree of locality to be encoded into the hashcodes. In this paper we study the effect of learning both the hyperplanes and the thresholds as part of the same model. Most previous research either learn the hyperplanes assuming a fixed set of thresholds, or vice-versa. In our experiments over two standard image datasets we find statistically significant increases in retrieval effectiveness versus a host of state-of-the-art data-dependent and independent hashing models.