Miracle-dz/UniFAR-FTUs huggingface dataset:
Automorphic induction and Leopoldt type conjectures for $GL(N)$

1. Introduction. Let F be a number field and G 0 be a non-split inner form of GL(n) /F split at a rational prime p and ∞. We define G = Res F/Q G 0. We start with cohomological study of automorphic forms on the reductive algebraic group G /Q which is isomorphic to a product of copies of GL(n) over a number field. In particular, under not so restrictive conditions on G, we shall show that the nearly p–ordinary (cuspidal) cohomology group
Bioactivities and Health Benefits of Wild Fruits

Wild fruits are exotic or underutilized. Wild fruits contain many bioactive compounds, such as anthocyanins and flavonoids. Many studies have shown that wild fruits possess various bioactivities and health benefits, such as free radical scavenging, antioxidant, anti-inflammatory, antimicrobial, and anticancer activity. Therefore, wild fruits have the potential to be developed into functional foods or pharmaceuticals to prevent and treat several chronic diseases. In the present article, we review current knowledge about the bioactivities and health benefits of wild fruits, which is valuable for the exploitation and utilization of wild fruits.
Strong biological controls on Sr/Ca ratios in aragonitic marine bivalve shells

It is well known that skeletal remains of carbonate secreting organisms can provide a wealth of information about past environments. Sr/Ca ratios have been successfully used as a temperature proxy in corals and sclerosponges. Previous work on aragonitic bivalve shells has not been conclusive but suggests a major control of growth rate on Sr/Ca ratios. As many studies have used bivalve growth rates to determine temperature, we tested if Sr/Ca ratios could predict temperature through its relationship with growth rate. Shells from the two species of clams from the same family (veneroidea) studied here, Saxidomus giganteus and Mercenaria mercenaria, show vastly different seasonal Sr/Ca profiles. A strong relationship between average annual Sr/Ca ratios and annual growth rate was found in S. giganteus shells from both Washington (R2 = 0.87) and Alaska (R2 = 0.64), USA, but not in M. mercenaria shells from North Carolina, USA. Furthermore, the Sr/Ca–growth rate relationship was also evident upon a more detailed inspection of subannual growth rates in S. giganteus (R2 = 0.73). Although there were significant positive correlations between Sr/Ca ratios and temperature in S. giganteus shells, the correlations were weak (0.09 < R2 < 0.27), and thus Sr/Ca ratios cannot be used as a reliable temperature proxy in these species of aragonitic bivalves. It is clear from this study that Sr/Ca ratios are not under thermodynamic control in either clam species, since thermodynamics predict a negative correlation between Sr/Ca ratios and temperature in aragonite. This points toward dominance of biological processes in the regulation of Sr2+. This is also reflected by the largely differing Sr/Ca partition coefficients (DSr) in these shells (DSr ≈ 0.25), when compared to inorganic, coral, and sclerosponge studies (DSr ≈ 1), all of which show a negative dependence of Sr/Ca on temperature. We suggest that caution be taken when using Sr/Ca in any biogenic aragonite as a temperature proxy when the DSr greatly deviates from one, as this indicates the dominance of biological controls on Sr/Ca ratios.
Athlete: A cargo handling and manipulation robot for the moon

A robotic vehicle called ATHLETE—the All‐Terrain Hex‐Limbed, Extra‐Terrestrial Explorer—is described, along with initial results of field tests of two prototype vehicles. This vehicle concept is capable of efficient rolling mobility on moderate terrain and walking mobility on extreme terrain. Each limb has a quick‐disconnect tool adapter so that it can perform general‐purpose handling, assembly, maintenance, and servicing tasks using any or all of the limbs. © 2007 Wiley Periodicals, Inc.
DISCOVERY OF A GIANT STELLAR TIDAL STREAM AROUND THE DISK GALAXY NGC 4013

We report the discovery of a giant, looplike stellar structure around the edge-on spiral galaxy NGC 4013. This arcing feature extends 6′ (∼26 kpc in projected distance) northeast from the center and 3′ (≃12 kpc) from the disk plane; likely related features are also apparent on the southwest side of the disk, extending to 4′ (∼17 kpc). The detection of this low surface brightness (μR = 27.0+0.3−0.2 mag arcsec−2) structure is independently confirmed in three separate datasets from three different telescopes. Although its true three-dimensional geometry is unknown, the sky-projected morphology of this structure displays a match with the theoretical predictions for the edge-on, projected view of a stellar tidal stream of a dwarf satellite moving in a low inclined (≃25°), nearly circular orbit. Using the recent model of the Monoceros tidal stream in the Milky Way by Peñarrubia and colleagues as a template, we find that the progenitor system may have been a galaxy with an initial mass 6 × 108 M☉, whose current position and final fate are unknown. According to this simulation, the tidal stream may be approximately ∼2.8 Gyr of age. Our results demonstrate that NGC 4013, previously considered a prototypical isolated disk galaxy in spite of having one of the most prominent H i warps detected thus far, may have in fact suffered a recent minor merger. This discovery highlights that undisturbed disks at high surface brightness levels in the optical but warped in H i maps may in fact reveal complex signatures of recent accretion events in deep photometric surveys.
Cold looks and hot tempers: individual-level effects of incivility in the workplace

v CHAPTER 1 THE DISSERTATION TOPIC . 1 Statement of the Problem . 3 Workplace Incivility in Relation to Other Similar Constructs . 3 Theoretical Background . 5 Contribution of the Dissertation . 7 Delimitations . 8 Summary of the Remaining Chapters . 8 2 THE MODEL AND HYPOTHESES . 11 Employee Attitudes . 11 Well-Being . 18 Performance . 22 The Influence of the Source of Incivility . 30 3 PRETESTING . 34 Item Generation . 34 Pilot Test . 35 4 METHOD . 39 Sample . 39 Procedure . 39 Measures. 40 Tests of Model Fit and Construct Distinctiveness . 44 5 RESULTS. 48 Descriptive Statistics and Correlations . 50 Tests of Relative Importance. 52 Tests of Mediation . 55 6 CONCEPTUAL RESPECIFICATION . 63 The Incivility – Burnout Relationship . 63 The Incivility – Engagement Relationship . 66 Analyses and Results of Respecification . 67 7 DISCUSSION . 71 Practical Implications . 73 Limitations and Future Research. 74 Final Remarks . 76 REFERENCES . 77
Targeting Sentiment Expressions through Supervised Ranking of Linguistic Configurations

User generated content is extremely valuable for mining market intelligence because it is unsolicited. We study the problem of analyzing users' sentiment and opinion in their blog, message board, etc. posts with respect to topics expressed as a search query. In the scenario we consider the matches of the search query terms are expanded through coreference and meronymy to produce a set of mentions. The mentions are contextually evaluated for sentiment and their scores are aggregated (using a data structure we introduce call the sentiment propagation graph) to produce an aggregate score for the input entity. An extremely crucial part in the contextual evaluation of individual mentions is finding which sentiment expressions are semantically related to (target) which mentions --- this is the focus of our paper. We present an approach where potential target mentions for a sentiment expression are ranked using supervised machine learning (Support Vector Machines) where the main features are the syntactic configurations (typed dependency paths) connecting the sentiment expression and the mention. We have created a large English corpus of product discussions blogs annotated with semantic types of mentions, coreference, meronymy and sentiment targets. The corpus proves that coreference and meronymy are not marginal phenomena but are really central to determining the overall sentiment for the top-level entity. We evaluate a number of techniques for sentiment targeting and present results which we believe push the current state-of-the-art.
SIMPLE KALEIDOSCOPE DESIGN FOR REFLECTANCE MEASUREMENT

In this paper we describe simple design of a kaleidoscope used for measuring the bidirectional reflectance distribution function with aim to obtain the bidirectional texture function of various surface samples. The first prototype of the kaleidoscope was designed in symmetrical configuration with four tapered mirror walls. We discuss the influence of different design parameters with respect to expected results. The proposed kaleidoscope was manufactured and his performance evaluated.
Extensions to reactive self-collision avoidance for torque and position controlled humanoids

One of the fundamental demands on robotic systems is a safe interaction with their environment. For fulfilling that condition, both collisions with obstacles and the own structure have to be avoided. We address the problem of self-collisions and propose an algorithm for its avoidance which is based on artificial repulsion potential fields and applicable to both torque and position controlled manipulators. To this end, we design a damping that incorporates the configuration dependance of the robot. For a maximum level of safety, an additional emergency brake strategy based on kinetic energy considerations is introduced for situations in which self-collisions are not avoidable by the controller. Experiments are performed on DLR's humanoid Justin.
The MST of Symmetric Disk Graphs (in Arbitrary Metric Spaces) is Light

Consider an n-point metric space M = (V, δ), and a transmission range assignment r : V → R+ that maps each point v ∈ V to the disk of radius r(v) around it. The symmetric disk graph (henceforth, SDG) that corresponds to M and r is the undirected graph over V whose edge set includes an edge (u, v) if both r(u) and r(v) are no smaller than δ(u, v). SDGs are often used to model wireless communication networks. Abu-Affash, Aschner, Carmi and Katz (SWAT 2010, [1]) showed that for any n-point 2-dimensional Euclidean space M, the weight of the MST of every connected SDG for M is O(log n) ċ w(MST(M)), and that this bound is tight. However, the upper bound proof of [1] relies heavily on basic geometric properties of constant-dimensional Euclidean spaces, and does not extend to Euclidean spaces of super-constant dimension. A natural question that arises is whether this surprising upper bound of [1] can be generalized for wider families of metric spaces, such as high-dimensional Euclidean spaces. In this paper we generalize the upper bound of Abu-Affash et al. [1] for Euclidean spaces of any dimension. Furthermore, our upper bound extends to arbitrary metric spaces and, in particular, it applies to any of the normed spaces lp. Specifically, we demonstrate that for any n-point metric space M, the weight of the MST of every connected SDG for M is O(log n) ċ w(MST(M)).
In Vivo Activity of MiR-34a Mimics Delivered by Stable Nucleic Acid Lipid Particles (SNALPs) against Multiple Myeloma

Multiple myeloma (MM) is a disease with an adverse outcome and new therapeutic strategies are urgently awaited. A rising body of evidence supports the notion that microRNAs (miRNAs), master regulators of eukaryotic gene expression, may exert anti-MM activity. Here, we evaluated the activity of synthetic miR-34a in MM cells. We found that transfection of miR-34a mimics in MM cells induces a significant change of gene expression with relevant effects on multiple signal transduction pathways. We detected early inactivation of pro-survival and proliferative kinases Erk-2 and Akt followed at later time points by caspase-6 and -3 activation and apoptosis induction. To improve the in vivo delivery, we encapsulated miR-34a mimics in stable nucleic acid lipid particles (SNALPs). We found that SNALPs miR-34a were highly efficient in vitro in inhibiting growth of MM cells. Then, we investigated the activity of the SNALPs miR-34a against MM xenografts in SCID mice. We observed significant tumor growth inhibition (p<0.05) which translated in mice survival benefits (p = 0.0047). Analysis of miR-34a and NOTCH1 expression in tumor retrieved from animal demonstrated efficient delivery and gene modulation induced by SNALPs miR-34a in the absence of systemic toxicity. We here therefore provide evidence that SNALPs miR-34a may represent a promising tool for miRNA-therapeutics in MM.
Automatic Construction of Taxonomies of Categories

Hierarchies are an intuitive and effective organization paradigm for data. Of late there has been considerable research on automatically learning a hierarchical organizations of data. In this paper, we formulate the problem of “automatically constructing hierarchical taxonomies”, which we define as learning a hierarchy of categories with no user defined parameters. We propose a framework that characterizes a “good” taxonomy and also provide an algorithm to find it. Finally, we evaluate our approach on multiple real life datasets from diverse domains, such as text mining, hyper-spectral analysis, written character recognition etc. We show that our approach constructs “better” taxonomies than other approaches, and that the output space decompositions induced by these taxonomies yield better classification accuracies.
Occupational health contributions to the development and promise of occupational health psychology.

Occupational health psychology (OHP), as it is known today, is preceded by over a century of inquiry in psychology, sociology, philosophy, and other disciplines regarding the conditions of work and the welfare of workers, organizations, and society. This diverse body of research is richly detailed in reports on the history of OHP. Less represented in these reports are the formative interests of the occupational health field in OHP. In the present discussion, we begin by giving greater visibility to these interests. As we show, the expressions occupational health psychology and occupational health psychologist and a vision for training and participation of psychologists in occupational health research and practice appear in the occupational health literature four decades ago. We describe how this interest inspired initiatives in OHP by the National Institute for Occupational Safety and Health which, in turn, influenced the formalization of OHP as a discipline in the United States. We then document sustained interests of occupational health in OHP today and illustrate the promise of this interest for psychologists, for the discipline of OHP itself, and for the health, safety, and well-being of working people. We conclude by arguing that, to realize this promise, there is value to closer and more formal engagement of psychologists and OHP institutions with the field of occupational health.
Semantics Enabled Dynamic Process Configuration

Web processes are the next generation workflows created using Web services. This paper addresses research issues in creating a framework for configuring and executing dynamic Web processes. Our approach is that of a multiparadigm constraint analysis for process configuration using quantitative and logical constraints. We also present a software architecture and an engineering approach for extending current Web service infrastructure to support dynamic Web processes. An execution environment, extending Apache Axis, one of the most popular SOAP implementations, to support dynamic process configuration is presented. Empirical evaluation of the system is performed to demonstrate the cost benefits of dynamic process configuration over static processes. We also demonstrate the time overheads caused by the addition of semantic processing capabilities to Axis.
Prognostic Value of PLR in Various Cancers: A Meta-Analysis

Background Recently, more and more studies investigated the association of inflammation parameters such as the Platelet Lymphocyte Ratio (PLR) and the prognosis of various cancers. However, the prognostic role of PLR in cancer remains controversial. Methods We conducted a meta-analysis of published studies to evaluate the prognostic value of PLR in various cancers. In order to investigate the association between PLR and overall survival (OS), the hazard ratio (HR) and its 95% confidence interval (CI) were calculated. Results A total of 13964 patients from 26 studies were included in the analysis. The summary results showed that elevated PLR was a negative predictor for OS with HR of 1.60 (95%CI: 1.35–1.90; Pheterogeneity <0.001). Subgroup analysis revealed that increased PLR was a negative prognostic marker in patients with gastric cancer (HR = 1.35, 95%CI: 0.80–2.25, Pheterogeneity = 0.011), colorectal cancer (HR = 1.65, 95%CI: 1.33–2.05, Pheterogeneity = 0.995), hepatocellular carcinoma (HR = 3.07, 95% CI: 2.04–4.62, Pheterogeneity = 0.133), ovarian cancer (HR = 1.57, 95%CI: 1.07–2.31, Pheterogeneity = 0.641) and non-small cell lung cancer (NSCLC) (HR = 1.85, 95% CI: 1.42–2.41, Pheterogeneity = 0.451) except for pancreatic cancer (HR = 1.00, 95%CI: 0.92–1.09, Pheterogeneity = 0.388). Conclusion The meta-analysis demonstrated that PLR could act as a significant biomarker in the prognosis of various cancers.
Feature Selection for Sentiment Classification Using Matrix Factorization

Feature selection is a critical task in both sentiment classification and topical text classification. However, most existing feature selection algorithms ignore a significant contextual difference between them that sentiment classification is commonly depended more on the words conveying sentiments. Based on this observation, a new feature selection method based on matrix factorization is proposed to identify the words with strong inter-sentiment distinguish-ability and intra-sentiment similarity. Furthermore, experiments show that our models require less features while still maintaining reasonable classification accuracy.
Instruction and Data NAND Flash Memory System for Embedded Systems

Harvard architecture uses physically separate memories for their instructions and data. In the case of a flash memory with a buffer system, separate data and instruction buffers can lead to diversification of a flash architecture and achieve the high performance by overcoming effectively the limitations of a unified buffer. So, the proposed NAND flash system is composed of two separate buffers for exploiting the characteristics inherent in each module. Also, we propose a new operating mechanism for reducing overhead of flash memory, that is, erase and write operations. According to our simulation results, the write operations and the erase operations are about 60% and 68% less than other unified buffer systems with two times more space, respectively. And also, the average memory access tine is improved by about 70% compared with other unified buffer systems.
Identification of Gene Regulatory Networks by Strategic Gene Disruptions and Gene Overexpressions

The whole DNA sequences of many organisms are being determined by international collaborations, and some of them have already been made public at various ftp sites. Now the main topic of researches on such organisms has shifted to the systematic functional analysis of the genes. Our research group has installed a systematic experimental method which allows both multiple gene disruptions and multiple gene overexpressions. By using this method, we have launched a project whose purpose is to reveal the gene regulatory networks between the 6,200 genes of Saccharomyces cerevisiae while many laboratories have also started similar projects. This project consists of two different tasks in addition to the task of experiments. One is to develop algorithms (strategies) for constructing gene regulatory networks from experimental data and testing the consistency of data with already known gene regulatory networks. The second is to construct a knowledge base of gene regulatory networks which have been already known for various organisms. By combining the results of these two tasks, our project will determine a rough figure of the gene regulatory network. For the first task, we have developed several strategies. In this short abstract, we briefly describe the theoretical results implied by these strategies. Although the developed strategies are not yet practical, we believe that they give a foundation for developing practical strategies. Readers interested in details may refer Ref. [1].
Development of the all‐vanadium redox flow battery for energy storage: a review of technological, financial and policy aspects

The commercial development and current economic incentives associated with energy storage using redox flow batteries (RFBs) are summarised. The analysis is focused on the all‐vanadium system, which is the most studied and widely commercialised RFB. The recent expiry of key patents relating to the electrochemistry of this battery has contributed to significant levels of commercialisation in, for example, Austria, China and Thailand, as well as pilot‐scale developments in many countries. The potential benefits of increasing battery‐based energy storage for electricity grid load levelling and MW‐scale wind/solar photovoltaic‐based power generation are now being realised at an increasing level. Commercial systems are being applied to distributed systems utilising kW‐scale renewable energy flows. Factors limiting the uptake of all‐vanadium (and other) redox flow batteries include a comparatively high overall internal costs of $217 kW−1 h−1 and the high cost of stored electricity of ≈ $0.10 kW−1 h−1. There is also a low‐level utility scale acceptance of energy storage solutions and a general lack of battery‐specific policy‐led incentives, even though the environmental impact of RFBs coupled to renewable energy sources is favourable, especially in comparison to natural gas‐ and diesel‐fuelled spinning reserves. Together with the technological and policy aspects associated with flow batteries, recent attempts to model redox flow batteries are considered. The issues that have been addressed using modelling together with the current and future requirements of modelling are outlined. Copyright © 2011 John Wiley & Sons, Ltd.
Using Swift observations of prompt and afterglow emission to classify GRBs

We present an analysis of early Burst Alert Telescope and X-ray Telescope data for 107 gamma-ray bursts (GRBs) observed by the Swift satellite. We use these data to examine the behaviour of the X-ray light curve and propose a classification scheme for GRBs based on this behaviour. As found for previous smaller samples, the earliest X-ray light curve can be well described by an exponential, which relaxes into a power-law, often with flares superimposed. The later emission is well fit using a similar functional form and we find that these two functions provide a good description of the entire X-ray light curve. For the prompt emission, the transition time between the exponential and the power-law gives a well-defined time-scale, Tp, for the burst duration. We use Tp, the spectral index of the prompt emission, βp, and the prompt power-law decay index, αp, to define four classes of burst: short, slow, fast and soft. Bursts with slowly declining emission have spectral and temporal properties similar to the short bursts despite having longer durations. Some of these GRBs may therefore arise from similar progenitors including several types of binary system. Short bursts tend to decline more gradually than longer duration bursts and hence emit a significant fraction of their total energy at times greater than Tp. This may be due to differences in the environment or the progenitor for long, fast bursts.