Miracle-dz/UniFAR-FTUs huggingface dataset:
Cyclic cohomology of certain nuclear Fr\'echet and DF algebras

We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain topological algebras. To this end we show that, for a continuous morphism $\phi: \X\to \Y$ of complexes of complete nuclear $DF$-spaces, the isomorphism of cohomology groups $H^n(\phi): H^n(\X) \to H^n(\Y)$ is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective $\hat{\otimes}$-algebras: the tensor algebra $E \hat{\otimes} F$ generated by the duality $(E, F, )$ for nuclear Fr\'echet spaces $E$ and $F$ or for nuclear $DF$-spaces $E$ and $F$; nuclear biprojective K\"{o}the algebras $\lambda(P)$ which are Fr\'echet spaces or $DF$-spaces; the algebra of distributions $\mathcal{E}^*(G)$ on a compact Lie group $G$.
Multi-sensor target tracking based on Gauss-Markove estimate

As measurements errors are assumed to be zero-mean, Gaussian distributed and uncorrelated, an improved method of target state estimation for multi-sensor target tracking is presented based on Gauss-Markove estimate. By minimizing the error covariance matrix, weighted least square method is exploited to obtain the Gauss-Markove estimate. Applying Gauss-Markove estimate to Kalman filter, the target state was estimated. The Monte-Carlo simulation results show that Gauss-Markove estimate can efficiently improve the accuracy of observations. The performance of proposed algorithm for state estimation is better than that with single sensor observations. Presented approach and obtained results may be useful in multi-sensor target tracking.
Participatory Action Research, Youth Voices, and Civic Engagement

In this article, we describe a youth leadership program we designed with a nonprofit organization aimed at revitalizing low-income neighborhoods. The partnership that we describe stresses the value of understanding youth perspectives on a dearth of affordable housing in their neighborhoods, the threat of the loss of vital goods and services through increased tax cuts, and the need to provide safe spaces for kids to be kids. By including kids as researchers, we have faith that they will become leaders in and beyond their neighborhoods and work to protect the interests of all who live in these communities. We argue that programs like the one we discuss provide a logical starting place for reinvesting time and energy in opportunities for relationship building with children. Understanding youth’s perspectives on what it means to flourish is especially important at a time when neighborhood schools are disappearing and policies have eroded public spaces where youth can build relationships and a sustaining sense of community. Without schools as anchors in neighborhoods, it is more essential than ever to understand how to create and maintain vibrant communities that support youths’ sense of identity, agency, and development.
An overview on Leishmania vaccines: A narrative review article

Leishmaniasis is one of the major health problems and categorized as a class I disease (emerging and uncontrolled) by World Health Organization (WHO), causing highly significant morbidity and mortality. Indeed, more than 350 million individuals are at risk of Leishmania infection, and about 1.6 million new cases occur causing more than 50 thousands death annually. Because of the severe toxicity and drug resistance, present chemotherapy regimen against diverse forms of Leishmania infections is not totally worthwhile. However, sound immunity due to natural infection, implies that vigor cellular immunity against Leishmania parasites, via their live, attenuated or killed forms, can be developed in dogs and humans. Moreover, genetically conserved antigens (in most of Leishmania species), and components of sand fly saliva confer potential immunogenic molecules for Leishmania vaccination. Vaccines successes in animal studies and some clinical trials clearly justify more researches and investments illuminating opportunities in suitable vaccine designation.
MULTIPLE IDENTITY ATTACKS ON DISTRIBUTED SYSTEMS

Preface This thesis explores a form of attack on a distributed system in which one or more nodes in the system attempts to maintain multiple identities through self-replication. Requirements for defenses of this attack are explored. A review of the state of the art is provided. A new defense is proposed and explored in both analysis and simulation. ii Acknowledgements I would like to thank my family for their support during the past two years. I have thoroughly enjoyed learning, teaching and researching through the course of my masters degree. Scott KirkPatrick for their support. Danny Dolev was particularly supportive of my intention to return to school after a fifteen year hiatus and provided much needed confidence when I faltered. I have enjoyed working with Dahlia Malkhi on this thesis as well as on teaching duties during the past year. It is always a pleasure to work with a well organized professional. Special thanks to Danny Bickson for his support and effort and coffee. Despite being significantly older than many of the masters and doctorate candidates, I felt welcomed and included as part of the Danss group.
Generalized quantum measurements and local realism

Following the ideas of Popescu, the generic structure of any local hidden variable model for experiments involving sequences of measurements is analyzed. Constraints imposed by local realism on the conditional probabilities of the outcomes of such measurement schemes are explicitly derived. The violation of local realism in the case of ``hidden nonlocality'' is illustrated by an operational example.
CASIA@V2: A MLN-based Question Answering System over Linked Data

We present a question answering system (CASIA@V2) over Linked Data (DBpedia), which translates natural language questions into structured queries automatically. Existing systems usually adopt a pipeline framework, which con- tains four major steps: 1) Decomposing the question and detecting candidate phrases; 2) mapping the detected phrases into semantic items of Linked Data; 3) grouping the mapped semantic items into semantic triples; and 4) generat- ing the rightful SPARQL query. We present a jointly learning framework using Markov Logic Network(MLN) for phrase detection, phrases mapping to seman- tic items and semantic items grouping. We formulate the knowledge for resolving the ambiguities in three steps of QALD as first-order logic clauses in a MLN. We evaluate our approach on QALD-4 test dataset and achieve an F-measure score of 0.36, an average precision of 0.32 and an average recall of 0.40 over 50 questions.
The ALeSKo learner corpus: Design – annotation – quantitative analyses

The ALesKo learner corpus is a small-scale comparable corpus consisting of two subcorpora: annotated essays by advanced Chinese learners of German and comparable essays by German native speakers. The motivation for its compilation was the investigation of discourse-related phenomena such as local coherence in second-language acquisition of German. After introducing how the texts were compiled and annotated, the article focuses on quantitative studies at the token level. We discuss problems of tokenisation and part-of-speech tagging and compare the inventory of the two subcorpora in terms of frequently used N-grams and lexical richness, among other aspects. We conclude the article by describing possible applications of the study in foreign language acquisition research and language teaching.
Atrazine disrupts the hypothalamic control of pituitary-ovarian function.

The chloro-S-triazine herbicides (i.e., atrazine, simazine, cyanazine) constitute the largest group of herbicides sold in the United States. Despite their extensive usage, relatively little is known about the possible human-health effects and mechanism(s) of action of these compounds. Previous studies in our laboratory have shown that the chlorotriazines disrupt the hormonal control of ovarian cycles. Results from these studies led us to hypothesize that these herbicides disrupt endocrine function primarily through their action on the central nervous system. To evaluate this hypothesis, we examined the estrogen-induced surges of luteinizing hormone (LH) and prolactin in ovariectomized Sprague-Dawley (SD) and Long-Evans hooded (LE) rats treated with atrazine (50-300 mg/kg/day, by gavage) for 1, 3, or 21 days. One dose of atrazine (300 mg/kg) suppressed the LH and prolactin surge in ovariectomized LE, but not SD female rats. Atrazine (300 mg/kg) administered to intact LE females on the day of vaginal proestrus was without effect on ovulation but did induce a pseudopregnancy in 7 of 9 females. Three daily doses of atrazine suppressed the estrogen-induced LH and prolactin surges in ovariectomized LE females in a dose-dependent manner, but this same treatment was without effect on serum LH and prolactin in SD females. The estrogen-induced surges of both pituitary hormones were suppressed by atrazine (75-300 mg/kg/day) in a dose-dependent manner in females of both strains evaluated after 21 days of treatment. Three experiments were then performed to determine whether the brain, pituitary, or both organs were the target sites for the chlorotriazines. These included examination of the ability of (1) the pituitary lactotrophs to secrete prolactin, using hypophyosectomized females bearing pituitary autotransplants (ectopic pituitaries); (2) the synthetic gonadotropin-releasing hormone (GnRH) to induce LH secretion in females treated with high concentrations of atrazine for 3 days; and (3) atrazine (administered in vivo or in vitro) to suppress LH and prolactin secretion from pituitaries, using a flow-through perifusion procedure. In conclusion, the results of these studies demonstrate that atrazine alters LH and prolactin serum levels in the LE and SD female rats by altering the hypothalamic control of these hormones. In this regard, the LE female appeared to be more sensitive to the hormone suppressive effects of atrazine, as indicated by the decreases observed on treatment-day 3. These experiments support the hypothesis that the effect of atrazine on LH and prolactin secretion is mediated via a hypothalamic site of action.
Alternative functional in vitro models of human intestinal epithelia

Physiologically relevant sources of absorptive intestinal epithelial cells are crucial for human drug transport studies. Human adenocarcinoma-derived intestinal cell lines, such as Caco-2, offer conveniences of easy culture maintenance and scalability, but do not fully recapitulate in vivo intestinal phenotypes. Additional sources of renewable physiologically relevant human intestinal cells would provide a much needed tool for drug discovery and intestinal physiology. We compared two alternative sources of human intestinal cells, commercially available primary human intestinal epithelial cells (hInEpCs) and induced pluripotent stem cell (iPSC)-derived intestinal cells to Caco-2, for use in in vitro transwell monolayer intestinal transport assays. To achieve this for iPSC-derived cells, intestinal organogenesis was adapted to transwell differentiation. Intestinal cells were assessed by marker expression through immunocytochemical and mRNA expression analyses, monolayer integrity through Transepithelial Electrical Resistance (TEER) measurements and molecule permeability, and functionality by taking advantage the well-characterized intestinal transport mechanisms. In most cases, marker expression for primary hInEpCs and iPSC-derived cells appeared to be as good as or better than Caco-2. Furthermore, transwell monolayers exhibited high TEER with low permeability. Primary hInEpCs showed molecule efflux indicative of P-glycoprotein (Pgp) transport. Primary hInEpCs and iPSC-derived cells also showed neonatal Fc receptor-dependent binding of immunoglobulin G variants. Primary hInEpCs and iPSC-derived intestinal cells exhibit expected marker expression and demonstrate basic functional monolayer formation, similar to or better than Caco-2. These cells could offer an alternative source of human intestinal cells for understanding normal intestinal epithelial physiology and drug transport.
A Flexible Sandwich Nanogenerator for Harvesting Piezoelectric Potential from Single Crystalline Zinc Oxide Nanowires

High-quality single crystalline zinc oxide nanowires were grown on silver and gold coated plastic substrates for the fabrication of a sandwich-like nanogenerator using the aqueous chemical growth method. The applicability of this configuration as a nanogenerator is demonstrated by studying the harvested electrical output under mechanical deformation. Three different configurations were fabricated and utilized for harvesting piezoelectric potential by applying an external force. The maximum resulting output open circuit voltage and short circuit current were 2.4 V and 152.2 μA, respectively. The comparison between the different configurations indicates that more piezoelectric potential can be harvested by using two arrays of ZnO NWs placed face-to-face than by using a single nanowire configuration. In addition, the use of a piezoelectric polymer will enhance the amount of generated piezoelectric potential. The obtained results from different configurations of zinc oxide nanowire nanogenerators offer a cost-effective, flexible, long term stable nanogenerator for promising application. The principle of the sandwich nanogenerator demonstrated a new idea for novel self-powering nanotechnology that harvests electricity from the environment for applications such as portable electronics.
Modulation by Prostaglandin Synthesis Inhibitors of the Action of Exogenous Angiotensin II on Glomerular Ultrafiltration in the Rat

We studied the effects of angiotensin II (A II) infusion, with and without inhibition of prostaglandin (PG) synthesis, on the determinants of glomerular ultrafiltration in 27 plasma volume-expanded Munich-Wistar rats. The effects of PG inhibition alone and infusion of vehicle alone also were investigated. With a pressor dose of A II single nephron (SN) GFR and total GFR did not change significantly, despite declines in both glomerular plasma flow rate (QA) and the ultrafiltration coefficient (Kf), due to an offsetting rise in the transcapillary hydraulic pressure difference (Δ). Afferent and efferent arteriolar resistances (RA and RE) increased by ∼100% above control during A II infusion. Inhibition of PG synthesis alone and infusion of vehicle alone similarly failed to affect SNGFR and total GFR, and only slight changes occurred in the determinants of glomerular ultrafiltration in these rats. When A II infusion was accompanied by inhibition of PG synthesis, however, profound declines in SNGFR and total GFR were seen, due to further reductions in QA and 2-fold greater increases in RA and RE than occurred with the same dose of A II alone. The A II-induced fall in Kf was not affected by simultaneous PG inhibition. Thus, endogenous PGs attenuate the vasoconstrictor actions of A II on the superficial renal microvasculature and minimize changes in QA, SNGFR, and total GFR. It is likely that an interaction between A II and PG may be important in pathophysiological conditions in which endogenous A II levels are elevated.
What is Behind the Asset Growth and Investment Growth Anomalies

Existing studies show that firm asset and investment growth predict cross-sectional stock returns. Firms that shrink their assets or investments subsequently earn higher returns than firms that expand their assets or investments. I show that the superior returns of the low asset and investment growth portfolios are due to the omission of delisting returns in CRSP monthly stock return file and that the poor returns of the high asset and investment growth portfolios are largely driven by the subsample of firms that have issued large amounts of debt or equity in the previous year. Controlling for the effects of the delisting bias and external financing, I do not find an independent effect of asset or investment growth on stock returns. JEL Classifications: G11, G12
IRAS 08544-4431: A new post-AGB star in a binary system surrounded by a dusty disc

We present an analysis of our extensive data-set on IRAS 08544-4431. It is the first object we discuss of our newly defined sample of stars, selected for their position in the "RV Tauri" box in the IRAS [12]-[25], [25]-[60] two-color diagram. Moreover, our selection criteria included an observed excess in the L-band, indicative of a dusty disc. The SED of IRAS 08544-4431 shows a broad IR excess starting already at H. Our optical photometric data reveal some evidence for deep and shallow minima in the light curve and a pulsation time-scale of around 100 days with a small amplitude (AV peak-to-peak = 0.17 mag). Our CORALIE radial velocity measurements show that IRAS 08544-4431 is a binary system with a period of 499 ′ 3 days and a mass function of 0.02 M ? Moreover, IRAS 08544-4431 is detected in both the CO (2-1) and (1-0) mm-wave emission lines. The triangular shape of the weak CO profile confirms that part of the circumstellar material is not freely expanding but resides probably in a dusty circumbinary disc. Our chemical abundance analysis of a high resolution spectrum of high S/N reveals that a depletion process has modified the photospheric abundances to a moderate extent ([Zn/Fe] = +0.4). All these findings confirm that the F-type IRAS 08544-4431 is another good example of a binary Post-AGB star surrounded by a dusty disc. The He P-Cygni profile shows ongoing mass-loss with a very high outflow velocity, the origin of which is not understood. The strength and velocity of the Ha-absorption are modulated with the orbital motion; the maxima of both quantities (∼400 km s - 1 , 5 A respectively) occur at superior conjunction.
Scale Development and Validation for Measuring Online Engagement

ABSTRACT Although the construct of online engagement has received considerable attention in the consumer behavior literature, academic research lacks clear conceptualization and rigorous measurement of the construct within social media. Further, a lack of consensus remains with regard to the conceptualization and operationalization of engagement in the marketing literature. This study develops and validates a 16-item online engagement scale comprising four factors: conscious attention, affection, enthused participation, and social connection. Strong evidence supports the reliability of the multidimensional conceptualization, as well as its convergent and discriminant validity. The scale offers a framework for future research investigations in an increasingly important area.
Gross Karyotypic and Phenotypic Alterations among Different Progenies of the Candida glabrata CBS138/ATCC2001 Reference Strain

Genomic plasticity is a mechanism for adaptation to environmental cues such as host responses and antifungal drug pressure in many fungi including the human pathogenic yeast Candida glabrata. In this study we evaluated the phenotypic and genotypic stability of the world-wide used C. glabrata reference strain CBS138/ATCC2001 under laboratory conditions. A set of ten lineages of this wild type strain and genetically modified progenies were obtained from different scientific laboratories, and analyzed for genotypic and phenotypic alterations. Even though the derivates were indistinguishable by multi locus sequence typing, different phenotypic groups that correlated with specific karyotypic changes were observed. In addition, modifications in the adherence capacity to plastic surface emerged that were shown to correlate with quantitative changes in adhesin gene expression rather than subtelomeric gene loss or differences in the number of macrosatellite repeats within adhesin genes. These results confirm the genomic plasticity of C. glabrata and show that chromosomal aberrations and functional adaptations may occur not only during infection and under antimicrobial therapy, but also under laboratory conditions without extreme selective pressures. These alterations can significantly affect phenotypic properties such as cell surface attributes including adhesion and the cell wall carbohydrate composition and therefore, if unnoticed, may adulterate the outcome of genetic studies.
Fast Pattern-Speciﬁc Routing for Fat Tree Networks

In the context of extended generalized fat tree (XGFT) topologies, widely used in HPC and datacenter network designs, we propose a generic method, based on integer linear programming (ILP), to eﬃciently determine optimal routes for arbitrary workloads. We propose a novel approach that combines ILP with dynamic programming, eﬀectively reducing the time to solution. Speciﬁcally, we divide the network into smaller subdomains optimized using a custom ILP formulation that ensures global optimality of local solutions. Local solutions are then combined into an optimal global solution using dynamic programming. Finally, we demonstrate through a series of extensive benchmarks that our approach scales in practice to networks interconnecting several thousands of nodes, using a single-threaded, freely available linear programming solver on commodity hardware, with the potential for higher scalability by means of commercial, parallel solvers. Categories and Subject Descriptors
Complementation in abstract interpretation

Reduced product of abstract domains is a rather well-known operation for domain composition in abstract interpretation. In this article, we study its inverse operation, introducing a notion of domain complementation in abstract interpretation. Complementation provides as systematic way to design new abstract domains, and it allows to systematically decompose domains. Also, such an operation allows to simplify domain verification problems, and it yields space-saving representations for complex domains. We show that the complement exists in most coses, and we apply complementation to three well-know abstract domains, notably to Cousot and Cousot's interval domain for integer variable analysis, to Cousot and Cousot's domain for comportment analysis of functional languages, and to the domain Sharing for aliasing analysis of logic languages.
Hunter opinions on the management of migratory geese: a case of stakeholder involvement in adaptive harvest management

ABSTRACT Knowledge of hunter attitudes toward goose management is essential for the involvement of hunters in adaptive harvest management. Our study provides insight into processes of stakeholder involvement in adaptive harvest management, as demonstrated by the case of implementing the International Species Management Plan for the Svalbard-breeding pink-footed goose (Anser brachyrhynchus). We conducted an online survey among goose hunters in Norway in the main autumn staging area of this species, Nord-Trøndelag, which is also the area in which most geese are harvested nationally. Our results demonstrated that a majority of these hunters see themselves as active participants in management. These hunters expressed a willingness to support management objectives through the delivery of daily harvest reports and by complying with regulations, as defined by national wildlife authorities and the international management plan.