Miracle-dz/UniFAR-FTUs huggingface dataset:
EVENT DETECTION AND IDENTIFICATION DURING AUTONOMOUS INTERPLANETARY NAVIGATION

An autonomous/ad aptive interplanetary navigation architecture employing neural networks and genetic algorithms is being developed that will alert navigators when a shift from optimal to suboptimal filtering occurs and assist in modifying the filter parameters to resume optimal tracking. This architecture consists of a near real-time autonomous monitoring component and an offline adaptive component. The autonomous component analyzes operational filter residuals to detect the transition to suboptimal filtering and to identify the nature of the mismodeling. Once identified, the adaptive component then modifies the necessary model parameters to bring the filter back into optimal operation. The autonomous identification of mismodeling employs a hierarchical mixture-of-experts model where the experts are extended Kalman filters. The filters in the hierarchy are organized into banks and regulated by two levels of single layer neural networks called gating networks. The architecture of the overall navigation approach is introduced and the operation of the autonomous monitoring component is demonstrated. Two experiments will show the autonomous navigation component can successfully identify discrete model changes such as impulsive maneuvers and continuous model changes such as solar radiation mismodeling. A third experiment will demonstrate the robust decision making capability of the hierarchical mixture-of-experts by successfully identifying three successive model changes. All experiments are performed on Mars Pathfinder two way Doppler data for the period from February 4, 1997 to April 17, 1997.
DANMAP 2010: DANMAP 2010 - Use of antimicrobial agents and occurrence of antimicrobial resistance in bacteria from food animals, food and humans in Denmark

Borck Høg, Birgitte; Korsgaard, Helle Bisgaard; Wolff Sönksen, Ute; Bager, Flemming; Bortolaia, Valeria; Ellis-Iversen, Johanne; Hendriksen, Rene S. ; Borck Høg, Birgitte; Jensen, Lars Bogø; Jensen, Annette Nygaard; de Knegt, Leonardo; Korsgaard, Helle Bisgaard; Dalby, Tine; Hammerum, Anette; Hasman, Henrik; Gaardbo Kuhn, Katrin; Hoffmann, Steen; Rhod Larsen, Anders; Laursen, Maja; Nielsen, Eva Møller; Schytte Olsen, Stefan; Petersen, Andreas; Roer, Louise; Wolff Sönksen, Ute; Skov, Robert; Skovgaard, Sissel; Torpdahl, Mia
A description of the Galactic Center excess in the Minimal Supersymmetric Standard Model

Observations with the Fermi Large Area Telescope (LAT) indicate an excess in gamma rays originating from the center of our Galaxy. A possible explanation for this excess is the annihilation of Dark Matter particles. We have investigated the annihilation of neutralinos as Dark Matter candidates within the phenomenological Minimal Supersymmetric Standard Model (pMSSM) . An iterative particle filter approach was used to search for solutions within the pMSSM . We found solutions that are consistent with astroparticle physics and collider experiments, and provide a fit to the energy spectrum of the excess. The neutralino is a Bino/Higgsino or Bino/Wino/Higgsino mixture with a mass in the range 84–92 GeV or 87–97 GeV annihilating into W bosons. A third solutions is found for a neutralino of mass 174–187 GeV annihilating into top quarks. The best solutions yield a Dark Matter relic density 0.06 < Ω h2 <0.13. These pMSSM solutions make clear forecasts for LHC, direct and indirect DM detection experiments. If the pMSSM explanation of the excess seen by Fermi-LAT is correct, a DM signal might be discovered soon.
Female, grief and Romanticism: a reflexive art history approach to a widow sculpture

This paper aims to reflexively tackle a specific artwork: The Widow, the most renowned, yet under-studied, sculpture of António Teixeira Lopes, a prominent artist of the Portuguese nineteenth century. Therefore, the analysis of this piece, based on several inquiring procedures believed useful to all art historians, is converted into an epistemological exercise. Firstly, the Romantic sensibility is characterised, alongside the ponderment of the widow’s representational allure. Women and death’s perception in the nineteenth century is thus brought into question. Moreover, the social condition of widows and their identity codification is considered so that the relationship between reality and representation is critically appraised. Secondly, the focus shifts to the sculptor himself and his creative process. At the time living in Paris, his potential connections with death experiences, his professional goals and the pressure of the artistic environment contribute to explain Teixeira Lopes’ selection of this subject. Finally, the sculpture itself is thoroughly examined, questioning every formal choice and its meaning, searching for secular and contemporary visual stimuli which could have deliberately or unconsciously interacted within the creative process. To conclude, the need to approach an artwork simultaneously as unique and as a historical object in its turn chronologically transversal is stressed.
Generalised form factor dark matter in the Sun

We study the effects of energy transport in the Sun by asymmetric dark matter with momentum and velocity-dependent interactions, with an eye to solving the decade-old Solar Abundance Problem. We study effective theories where the dark matter-nucleon scattering cross-section goes as vrel2n and q2n with n = −1, 0, 1 or 2, where vrel is the dark matter-nucleon relative velocity and q is the momentum exchanged in the collision. Such cross-sections can arise generically as leading terms from the most basic nonstandard DM-quark operators. We employ a high-precision solar simulation code to study the impact on solar neutrino rates, the sound speed profile, convective zone depth, surface helium abundance and small frequency separations. We find that the majority of models that improve agreement with the observed sound speed profile and depth of the convection zone also reduce neutrino fluxes beyond the level that can be reasonably accommodated by measurement and theory errors. However, a few specific points in parameter space yield a significant overall improvement. A 3–5 GeV DM particle with σSI ∝ q2 is particularly appealing, yielding more than a 6σ improvement with respect to standard solar models, while being allowed by direct detection and collider limits. We provide full analytical capture expressions for q- and vrel-dependent scattering, as well as complete likelihood tables for all models.
A law of large numbers for branching Markov processes by the ergodicity of ancestral lineages

We are interested in the dynamic of a structured branching population where the trait of each individual moves according to a Markov process. The rate of division of each individual is a function of its trait and when a branching event occurs, the trait of a descendant at birth depends on the trait of the mother. We prove a law of large numbers for the empirical distribution of ancestral trajectories. It ensures that the empirical measure converges to the mean value of the spine which is a time-inhomogeneous Markov process describing the trait of a typical individual along its ancestral lineage. Our approach relies on ergodicity arguments for this time-inhomogeneous Markov process. We apply this technique on the example of a size-structured population with exponential growth in varying environment.
Haemodynamic Changes and Blood Sugar Levels Before and After Induction of General Anaesthesia with Thiopentone Sodium and Etomidate-A Comparative Study

1 Assistant Professor, Dept of Anaesthesiology, Kamineni Academy of Medical Sciences and Research Centre, LB Nagar, Hyderabad, Telangana state, India 2 Corresponding author, Assistant Professor, Dept of Anaesthesiology, Kamineni Academy of Medical Sciences and Research Centre, LB Nagar, Hyderabad, Telangana state, India 3 Professor and HOD, Dept of Anaesthesiology, Kamineni Academy of Medical Sciences and Research Centre, LB Nagar, Hyderabad, Telangana state, India.
A ∼50,000 M⊙ SOLAR MASS BLACK HOLE IN THE NUCLEUS OF RGG 118

Scaling relations between black hole (BH) masses and their host galaxy properties have been studied extensively over the last two decades, and point toward co-evolution of central massive BHs and their hosts. However, these relations remain poorly constrained for BH masses below ∼ 10 6 ? > M ⊙ ? > . Here we present optical and X-ray observations of the dwarf galaxy RGG 118 taken with the Magellan Echellette Spectrograph on the 6.5 m Clay Telescope and Chandra X-ray Observatory. Based on Sloan Digital Sky Survey spectroscopy, RGG 118 was identified as possessing narrow emission line ratios indicative of photoionization partly due to an active galactic nucleus. Our higher resolution spectroscopy clearly reveals broad Hα emission in the spectrum of RGG 118. Using virial BH mass estimate techniques, we calculate a BH mass of ∼50,000 M ⊙ ? > . We detect a nuclear X-ray point source in RGG 118, suggesting a total accretion powered luminosity of L = 4 × 10 40 erg s − 1 ? > , and an Eddington fraction of ∼1%. The BH in RGG 118 is the smallest ever reported in a galaxy nucleus and we find that it lies on the extrapolation of the M BH − &sgr; * ? > relation to the lowest masses yet.
EFSUMB Recommendations and Guidelines for Gastrointestinal Ultrasound - Part 1: Examination Techniques and Normal Findings (Short version)

Abstract In October 2014 the European Federation of Societies for Ultrasound in Medicine and Biology formed a Gastrointestinal Ultrasound (GIUS) task force group to promote the use of GIUS in a clinical setting. One of the main objectives of the task force group was to develop clinical recommendations and guidelines for the use of GIUS under the auspices of EFSUMB. The first part, gives an overview of the examination techniques for GIUS recommended by experts in the field. It also presents the current evidence for the interpretation of normal sonoanatomical and physiological features as examined with different ultrasound modalities.
CL-Aff Deep semisupervised clustering

The massive data generated by users in online platforms, such as social networks, create challenges for text classification tasks based on supervised learning. Supervised learning often requires a lot of feature engineering or a significant amount of annotated data to achieve good results. However, the scarcity of annotated data is a critical issue, and manual annotation can be both costly and time-consuming. Semi-supervised learning requires far less annotated data and achieve similar performance as supervised approaches. In this paper, we introduce a semi-supervised neural architecture for muti-label settings, that combines deep learning representation and k-means clustering. The results show that the semi-supervised approach can leverage large-scale unlabeled data and achieve better results compared to baseline unsupervised as well as supervised methods.
AI-Based Cyber Defense for More Secure Cyberspace

The growing network attacks and intrusions have put the government organizations at a great risk. In cyberspace, humans have great limitations in data analyze and cyber defense because of the amount of data they have to process and the limited response time. Considering these parameters one of the best solutions is when the cyber defense mechanisms are AI (Artificial intelligence)-based because they can easily determine and respond to the attacks that are underway. The responses can be easily managed using man in the loop or fully atomized techniques. This chapter gives brief review of the usage of artificial intelligence in support of cyber defense, explains some useful applications that already exist, emphasizing the neural nets, expert systems and intelligent agents in cyber defense. Furthermore the chapter will propose a technical AI-based cyber defense model which can support the governmental and non-governmental efforts against cyber threats and can improve the success against malicious attack in the cyberspace.
Historical population assessment of Barents Sea harp seals (Pagophilus groenlandicus)

Skaug, H. J., Frimannslund, L. , and Oien, N. I. 2007. Historical population assessment of Barents Sea harp seals (Pagophilus groenlandicus). - ICES Journal of Marine Science, 64: 1356-1365: -. Harp seals are an important component of the Barents Sea ecosystem. Population size is estimated to have been around 6 million seals in 1875, when large-scale exploitation by Norwegian and Russian hunters started. The estimate is obtained by fitting a population dynamics model to all available sources of data on Barents Sea harp seals, but because of a lack of information about several key parameters in the model, the uncertainty associated with the estimate is large. A sensitivity study involving three different mechanisms for density-dependence results in a range estimate of 3-7 million seals in 1875.
The Many Facets of String Transducers

Regular word transductions extend the robust notion of regular languages from a qualitative to a quantitative reasoning. They were already considered in early papers of formal language theory, but turned out to be much more challenging. The last decade brought considerable research around various transducer models, aiming to achieve similar robustness as for automata and languages. In this paper we survey some older and more recent results on string transducers. We present classical connections between automata, logic and algebra extended to transducers, some genuine deﬁnability questions, and review approaches to the equivalence problem.
An Interlanguage Study of Musical Timbre Semantic Dimensions and Their Acoustic Correlates

A study of musical timbre semantics was conducted with listeners from two different linguistic groups. In two separate experiments, native Greek and English speaking participants were asked to describe 23 musical instrument tones of variable pitch using a predefined vocabulary of 30 adjectives. The common experimental protocol facilitated the investigation of the influence of language on musical timbre semantics by allowing for direct comparisons between linguistic groups. Data reduction techniques applied to the data of each group revealed three salient semantic dimensions that shared common conceptual properties between linguistic groups namely: luminance, texture, and mass. The results supported universality of timbre semantics. A correlation analysis between physical characteristics and semantic dimensions associated: i) texture with the energy distribution of harmonic partials, ii) thickness (a term related to either mass or luminance) and brilliance with inharmonicity and spectral centroid variation, and iii) F 0 with mass or luminance depending on the linguistic group.
BOLOMETRIC AND UV LIGHT CURVES OF CORE-COLLAPSE SUPERNOVAE

The Swift UV–Optical Telescope (UVOT) has been observing core-collapse supernovae (CCSNe) of all subtypes in the UV and optical since 2005. Here we present 50 CCSNe observed with the Swift UVOT, analyzing their UV properties and behavior. Where we have multiple UV detections in all three UV filters (λc = 1928–2600 Å), we generate early time bolometric light curves, analyze the properties of these light curves and the UV contribution to them, and derive empirical corrections for the UV-flux contribution to optical–IR based bolometric light curves.
Tumor Gene Expression Purification Using Infinite Mixture Topic Models

Tumor Gene Expression Purification Using Infinite Mixture Topic Models Amit G. Deshwar Master of Applied Science Graduate Department of Edward S. Rogers Sr. Department of Electrical and Computer Engineering University of Toronto 2013 There is significant interest in using gene expression measurements to aid in the personalization of medical treatment. The presence of significant normal tissue contamination in tumor samples makes it difficult to use tumor expression measurements to predict clinical variables and treatment response. I present a probabilistic method, TMMpure, to infer the expression profile of the cancerous tissue using a modified topic model that contains a hierarchical Dirichlet process prior on the cancer profiles. I demonstrate that TMMpure is able to infer the expression profile of cancerous tissue and improves the power of predictive models for clinical variables using expression profiles.
Milestones from The Pure Lisp Theorem Prover to ACL 2 Draft 4 – 5 March , 2019

We discuss the evolutionary path from the Edinburgh Pure Lisp Theorem Prover of the early 1970s to today’s ACL2. Among the milestones are the adoption of a first-order subset of a programming language as a logic; the analysis of recursive definitions to guess appropriate mathematical induction schemes; the use of simplification in inductive proofs; the incorporation of rewrite rules derived from user-suggested lemmas; the generalization of that idea to allow the user to affect other proof techniques soundly; the recognition that evaluation efficiency is paramount so that formal models can serve as prototypes and the logic can be used to reprogram the system; use of the system to prove extensions correct; the incorporation of decision procedures; the provision of hierarchically structured libraries of previously certified results to configure the prover; the provision of system programming features to allow verification tools to be built and verified within the system; the release of many verified collections of lemmas supporting floating point, programming languages, and hardware platforms; a verified “bit-bashing” tool exploiting verified BDD and checked external SAT procedures; and the provision of certain higher-order features within the first-order setting. As will become apparent, some of these milestones were suggested or even prototyped by users. Some additional non-technical aspects of the project are also critical. Among these are a devotion to soundness, good documentation, freely available source code, production of a system usable by industry, responsiveness to user needs, and a dedicated, passionate, and brilliant user community.
Comparative Trace Element Nutrition Trace Mineral Bioavailability in Ruminants 1

Absorption of selenium and copper is much lower in ruminants than in nonruminants. The low absorption of these minerals in ruminants is due to modifications that occur in the rumen environment. Selenium bioavailability is reduced by high dietary sulfur and the presence of cyanogenetic glycosides in certain legumes. Feeding organic selenium from selenomethionine or selenized yeast results in much higher tissue and milk selenium concentrations than are obtained with selenite. High dietary molybdenum in combination with moderate to high dietary sulfur results in formation of thiomolybdates in the rumen. Thiomolybdates greatly reduce copper absorption, and certain thiomolybdate species can be absorbed and interfere systemically with copper metabolism. Independent of molybdenum, high dietary sulfur reduces copper absorption perhaps via formation of copper sulfide. High dietary iron also reduces copper bioavailability. Dietary factors that affect bioavailability of zinc in ruminants are not well defined. Phytate does not affect zinc absorption in ruminants because microbial phytase in the rumen degrades phytate. Manganese is very poorly absorbed in ruminants, and limited research suggests that high dietary calcium and phosphorus may reduce manganese absorption. J. Nutr. 133: 1506S–1509S, 2003.
Random polytopes and the wet part for arbitrary probability distributions

We examine how the measure and the number of vertices of the convex hull of a random sample of $n$ points from an arbitrary probability measure in $\mathbf{R}^d$ relates to the wet part of that measure. This extends classical results for the uniform distribution from a convex set [B\'ar\'any and Larman 1988]. The lower bound of B\'ar\'any and Larman continues to hold in the general setting, but the upper bound must be relaxed by a factor of $\log n$. We show by an example that this is tight.
An Examination of Organ Donation in the News: A Content Analysis From 2005-2010 of the Barriers to Becoming an Organ Donor

Presently, more than 111,000 people are waiting for an organ transplant (United Network for Organ Sharing, 2011). Given the impact that this shortage has on individuals, families, and society, research examining factors influencing the decision to become an organ donor is imperative. A report indicate that most Americans learn more about organ donation from television than any other source (Conesa, Zambudio, Ramirez, Canteras, Rodriguez, & Parrilla, 2004). Thus, an important first step is determining what content is covered, as well as how organ donation is depicted, on television news. As part of a larger study on campaign strategies for improving organ donation rates, we examined television news coverage of organ donation across ABC, CBS, CNBC, CNN, FOX, and MSNBC from January 2005 through December 2010. In order to better understand the potential impact these news stories may have on viewers, we employed the Health Belief Model (HBM; Rosenstock, 1974). The following describes the utility of the HBM for analyzing the content of organ donation news transcripts. Drawing from the agenda setting literature, which suggests that the media shapes not only what people think about but also how they think about it, (McCombs & Shaw, 1972) we assert that examining news content provides a meaningful context to better understand why people generally have favorable attitudes toward organ donation and still do not take the step to register to become an organ donor.
Changes in food web dynamics of low Arctic ponds with varying content of dissolved organic carbon

ABSTRACT An influx of terrestrial dissolved organic carbon (DOC) into freshwater habitats can regulate a range of ecosystem characteristics, from water clarity to productivity. To understand the extent to which DOC can regulate ecosystem functioning, we conducted a survey to determine the source of DOC in low Arctic ponds close to the Arctic Circle (Kangerlussuaq, Greenland), including its role in food web dynamics. We used a multiple element (carbon, nitrogen, and hydrogen) stable isotope approach to examine the proportional contribution of different sources to aquatic consumers in nine arctic ponds that spanned a broad gradient of DOC (6.6–60.1 mgL-1). Our results show that benthic and pelagic primary production decreased along a gradient of increasing DOC content. Additionally, the changes in the organic matter pool with increasing DOC translated into changes in consumer resource use. We found significant differences in resource use between species. All consumers relied on benthic autotrophic material when DOC was low; but when DOC was high some consumers changed their diet. Collectively, our findings demonstrate how the concentration of DOC influences aquatic production and our study can be used as a baseline to predict how the aquatic food web may respond to regionally changing DOC concentrations.
Information Content of Implicit Spot Prices Embedded in Single Stock Future Prices: Evidence from Indian Market

This study examines the information content of pricing error, measured by the difference between the implied price computed using the cost of carry model and the spot price of Single Stock Futures (SSFs), traded on National Stock Exchange (NSE), India. The returns of portfolios, based on ranking of such pricing errors, are investigated. The consistency of results is verified by controlling for established risk factors, that is, market, size, value and momentum premium, and idiosyncratic factors such as firm’s liquidity and size. Our study reveals that the pricing error is a priced risk factor that contains incremental information about stock returns of day t, and not beyond. We conclude that implied spot prices from stock futures market are useful for traders to profit in the spot market. JEL Classification: G120, G130