Miracle-dz/UniFAR-FTUs huggingface dataset:
Goal Formulation based on Communicative Principles

The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative principles which constrain cooperative and coherent communication. Dialogue participants are engaged in a cooperative task whereby a model of the joint purpose is constructed. Contributions are planned as reactions to the changing context, and no dialogue grammar is needed. Also speech act classification is abandoned, in favour of contextual reasoning and rationality considerations.
DNA Oxidative Cleavage Induced by the Novel Peptide Derivatives of 3-(quinoxalin-6-yl)alanine in Combination with Cu(II) or Fe(II) Ions

Three model dipeptides containing 3-(2,3-di(pyridin-2-yl)quinoxalin-6-yl)alanine, 3-(dipyrido[3,2-a:2,3-c]phenazin-11-yl)alanine, and 3-(2,3-diphenylquinoxalin-6-yl)alanine were studied with respect to their ability to bind selected transition metal ions, such as Cu(II), Fe(II), Ni(II), Co(II), Mn(II), and Cr(III). It was found that only Cu(II) and Fe(II) ions could form stable complex species with the studied compounds. The ability to form the complexes correlated well with DNA damage experiments. Only the ferrous and cupric complexes are capable of generating both single- and double-strand scissions. However, double-strand breakages appear to be dominating lesions in the presence of hydrogen peroxide, especially for copper(II) containing systems. The quantity of breakage products in the presence of N-(3-(dipyrido[3,2-a:2,3-c]phenazine-11-yl)alanyl)glycine complexes was the highest as compared to the complexes of the remaining compounds. Moreover, this ligand was the only one that cleaved DNA in the absence of either Cu(II) or Fe(II) ions.
Compact thermal models for estimation of temperature-dependent power/performance in FinFET technology

With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technologies, cooling of a circuit is becoming a bigger challenge because of the thick buried oxide inhibiting the heat flow to the heat sink and confined ultra-thin channel increasing the thermal resistivity. In this work, we propose compact thermal models to predict the temperature rise in FinFET structures. We develop cell-level compact thermal models for standard INV, NAND and NOR gates accounting for the heat transfer across the six faces of a cell. Temperature maps of benchmark circuits exhibit close correspondence with dynamic power maps because of confined regions of heat generation separated by low thermal conductivity material. It is illustrated that temperature-aware timing analysis is imperative, because of high inter-cell temperature gradient. Accurate prediction of temperature in the early phase of design cycle gives valuable estimation of power/performance/reliability of a circuit block and guides in the design of more robust circuits
Statistics and Data Mining

From a statistical perspective Data Mining can be viewed as computer automated exploratory data analysis of large complex data sets. Despite the obvious connections between data mining and statistical data analysis, most of the methodologies used in Data Mining have so far originated in fields other than Statistics ̄ This report will discuss the discrepancies of these two fields and give a survey of the work have been done by current researchers and states what can be done next.
Calibration of elongation of fiber Bragg gratings by laser interferometer

We present method of measurement of fiber Bragg gratings (FBG) stretching by laser interferometer. We are oriented to research, development and to methodology of the production and application of FBGs. The elongation of FBGs can calculated from frequency drift of the Bragg resonance wavelength and from the change of the grating period during stretching. The inhomogeneity of optical fibers and of the FBGs can induce change of the grating period (Bragg resonance wavelength) of FBG which can be nonlinear with elongation of the optical fiber with FBG. The calibration of FBGs will be used to preparation and to the realization of the technology of measurement of shape deformation of concrete buildings.
Increased DNS forgery resistance through 0x20-bit encoding: security via leet queries

We describe a novel, practical and simple technique to make DNS queries more resistant to poisoning attacks: mix the upper and lower case spelling of the domain name in the query. Fortuitously, almost all DNS authority servers preserve the mixed case encoding of the query in answer messages. Attackers hoping to poison a DNS cache must therefore guess the mixed-case encoding of the query, in addition to all other fields required in a DNS poisoning attack. This increases the difficulty of the attack. We describe and measure the additional protections realized by this technique. Our analysis includes a basic model of DNS poisoning, measurement of the benefits that come from case-sensitive query encoding, implementation of the system for recursive DNS servers, and large-scale real-world experimental evaluation. Since the benefits of our technique can be significant, we have simultaneously made this DNS encoding system a proposed IETF standard. Our approach is practical enough that, just weeks after its disclosure, it is being implemented by numerous DNS vendors.
Quasi‐dynamic versus fully dynamic simulations of earthquakes and aseismic slip with and without enhanced coseismic weakening

Physics-based numerical simulations of earthquakes and slow slip, coupled with field observations and laboratory experiments, can, in principle, be used to determine fault properties and potential fault behaviors. Because of the computational cost of simulating inertial wave-mediated effects, their representation is often simplified. The quasi-dynamic (QD) approach approximately accounts for inertial effects through a radiation damping term. We compare QD and fully dynamic (FD) simulations by exploring the long-term behavior of rate-and-state fault models with and without additional weakening during seismic slip. The models incorporate a velocity-strengthening (VS) patch in a velocity-weakening (VW) zone, to consider rupture interaction with a slip-inhibiting heterogeneity. Without additional weakening, the QD and FD approaches generate qualitatively similar slip patterns with quantitative differences, such as slower slip velocities and rupture speeds during earthquakes and more propensity for rupture arrest at the VS patch in the QD cases. Simulations with additional coseismic weakening produce qualitatively different patterns of earthquakes, with near-periodic pulse-like events in the FD simulations and much larger crack-like events accompanied by smaller events in the QD simulations. This is because the FD simulations with additional weakening allow earthquake rupture to propagate at a much lower level of prestress than the QD simulations. The resulting much larger ruptures in the QD simulations are more likely to propagate through the VS patch, unlike for the cases with no additional weakening. Overall, the QD approach should be used with caution, as the QD simulation results could drastically differ from the true response of the physical model considered.
Cell cycle regulation of the activity and subcellular localization of Plk1, a human protein kinase implicated in mitotic spindle function

Correct assembly and function of the mitotic spindle during cell division is essential for the accurate partitioning of the duplicated genome to daughter cells. Protein phosphorylation has long been implicated in controlling spindle function and chromosome segregation, and genetic studies have identified several protein kinases and phosphatases that are likely to regulate these processes. In particular, mutations in the serine/threonine-specific Drosophila kinase polo, and the structurally related kinase Cdc5p of Saccharomyces cerevisae, result in abnormal mitotic and meiotic divisions. Here, we describe a detailed analysis of the cell cycle-dependent activity and subcellular localization of Plk1, a recently identified human protein kinase with extensive sequence similarity to both Drosophila polo and S. cerevisiae Cdc5p. With the aid of recombinant baculoviruses, we have established a reliable in vitro assay for Plk1 kinase activity. We show that the activity of human Plk1 is cell cycle regulated, Plk1 activity being low during interphase but high during mitosis. We further show, by immunofluorescent confocal laser scanning microscopy, that human Plk1 binds to components of the mitotic spindle at all stages of mitosis, but undergoes a striking redistribution as cells progress from metaphase to anaphase. Specifically, Plk1 associates with spindle poles up to metaphase, but relocalizes to the equatorial plane, where spindle microtubules overlap (the midzone), as cells go through anaphase. These results indicate that the association of Plk1 with the spindle is highly dynamic and that Plk1 may function at multiple stages of mitotic progression. Taken together, our data strengthen the notion that human Plk1 may represent a functional homolog of polo and Cdc5p, and they suggest that this kinase plays an important role in the dynamic function of the mitotic spindle during chromosome segregation.
Cryptosporidium hominis gene catalog: a resource for the selection of novel Cryptosporidium vaccine candidates

Human cryptosporidiosis, caused primarily by Cryptosporidium hominis and a subset of Cryptosporidium parvum, is a major cause of moderate-to-severe diarrhea in children under 5 years of age in developing countries and can lead to nutritional stunting and death. Cryptosporidiosis is particularly severe and potentially lethal in immunocompromised hosts. Biological and technical challenges have impeded traditional vaccinology approaches to identify novel targets for the development of vaccines against C. hominis, the predominant species associated with human disease. We deemed that the existence of genomic resources for multiple species in the genus, including a much-improved genome assembly and annotation for C. hominis, makes a reverse vaccinology approach feasible. To this end, we sought to generate a searchable online resource, termed C. hominis gene catalog, which registers all C. hominis genes and their properties relevant for the identification and prioritization of candidate vaccine antigens, including physical attributes, properties related to antigenic potential and expression data. Using bioinformatic approaches, we identified ∼400 C. hominis genes containing properties typical of surface-exposed antigens, such as predicted glycosylphosphatidylinositol (GPI)-anchor motifs, multiple transmembrane motifs and/or signal peptides targeting the encoded protein to the secretory pathway. This set can be narrowed further, e.g. by focusing on potential GPI-anchored proteins lacking homologs in the human genome, but with homologs in the other Cryptosporidium species for which genomic data are available, and with low amino acid polymorphism. Additional selection criteria related to recombinant expression and purification include minimizing predicted post-translation modifications and potential disulfide bonds. Forty proteins satisfying these criteria were selected from 3745 proteins in the updated C. hominis annotation. The immunogenic potential of a few of these is currently being tested. Database URL: http://cryptogc.igs. umaryland.edu
Supersymmetric orientifolds of Gepner models

Supersymmetric orientifolds of four dimensional Gepner Models are constructed in a systematic way. For all levels of the Gepner model being odd the generic expression for both the A-type and the B-type Klein bottle amplitude is derived. The appearing massless tadpoles are canceled by introducing appropriate boundary states of Recknagel/Schomerus(RS). After determining the Mobius strip amplitude we extract general expressions for the tadpole cancellation conditions. We discuss the issue of chirality for such supersymmetric orientifold models and finally present a couple of examples in detail.
An improved fault diagnosis algorithm based on path tracing with dynamic circuit extraction

We have proposed a fault diagnosis algorithm based on path tracing which dynamically extracts partial circuits and traces error propagation paths from failing primary outputs to a fault origin. Logic inference and the rating procedures are improved, so that various fault modes such as stuck-at, open and bridge faults can be diagnosed. We have shown that the improved technique localizes faults effectively in a reasonable time by applying it to several scan-based circuits: 20 K-gate benchmark circuits (ISCAS'89), and 100 K- and 2M-gate industrial circuits.
The topology and polarization of sub‐beams associated with the ‘drifting’ sub‐pulse emission of pulsar B0943+10 – I. Analysis of Arecibo 430‐ and 111‐MHz observations

The ‘drifting’ sub-pulses exhibited by some radio pulsars have fascinated both observers and theorists for 30 years, and have been widely regarded as one of the most critical and potentially insightful aspects of their emission. Moreover, Ruderman & Sutherland, in their classic model, suggested that such regular modulation was produced by a system of sub-beams, rotating around the magnetic axis under the action of E×B drift. Such ‘drift’ sequences have thus been thoroughly studied in a number of pulsars, but it has proven difficult to verify the rotating sub-beam hypothesis, and thus to establish an illuminating connection between the phenomenon and the actual physics of the emission. Here, we report on detailed studies of pulsar B0943+10, whose nearly coherent sequences of ‘drifting’ sub-pulses have permitted us to identify their origin as a system of sub-beams that appear to circulate around the magnetic axis of the star. We introduce several new techniques of analysis, and we find that both the primary and secondary features in the fluctuation spectra of the star are aliases of their actual values. We have also developed a method of tracing the underlying pattern responsible for the observed sequences, using a ‘cartographic’ transform and its inverse, permitting us to study the characteristics of the polar emission ‘map’ and to confirm that such a ‘map’ in turn represents the observed sequence. We apply these techniques to the study of three different Arecibo observations: a 1992 430-MHz sequence which includes a transition from the highly organized ‘B’ profile mode of the star to its disorganized ‘Q’ mode; a 1972 430-MHz ‘B’-mode sequence; and a 1990 111-MHz ‘B’-mode sequence. The ‘B’-mode sequences are consistent in revealing that the emission pattern consists of 20 sub-beams, which rotate around the magnetic axis in about 37 periods or 41 s. Even in the ‘Q’-mode sequence, we find evidence of a compatible circulation time. The similarity of the sub-beam patterns at different radio frequencies strongly suggests that the radiation is produced within a set of columns, which extend from close to the stellar surface up through the emission region and reflect some manner of ‘seeding’ phenomenon at their base. The sub-beam emission is then tied neither to the stellar surface nor to the field. While the origin of the ‘memory’ responsible for the stability of the pattern over several circulation times is unknown, the hollow conical form of the average pattern is almost certainly the origin of the conal beam forms observed in most pulsars.
Ontology-based sentiment analysis model of customer reviews for electronic products

This paper reports on a generalizable system model design that analyzes the unstructured customer reviews inside the posts about electronic products on social networking websites. For the purposes of this study, posts on social networking websites have been mined and the keywords are extracted from such posts. The extracted keywords and the ontologies of electronic products and emotions form the base for the sentiment analysis model which is used to understand online consumer behavior in the market. In order to enhance system accuracy, negating and enhancing terms are considered in the proposed model. Sentiment analysis is demonstrated to be extremely important to system accuracy.
THE WEIGHT PART OF SERRE’S CONJECTURE FOR $\text{GL}(2)$

Abstract Let $p>2$ be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call pseudo-Barsotti–Tate representations, over arbitrary finite extensions of $\mathbb{Q}_{p}$. As a consequence, we establish (under the usual Taylor–Wiles hypothesis) the weight part of Serre’s conjecture for $\text{GL}(2)$ over arbitrary totally real fields.
HLA and Delayed Drug-Induced Hypersensitivity

Delayed drug allergy reactions (DDAR) are potentially fatal. Certain human leukocyte antigen (HLA) alleles have been associated with delayed allergy reactions following the administration of particular drugs. Examples are HLA-B*57:01 (abacavir), HLA-B*15:02/HLA-A*31:01 (carbamazepine), and HLA-B*58:01 (allopurinol). Based on the identification of these associations, it may now be possible to prevent certain allergy reactions that were, until recently, considered unpredictable. In this review, we will focus on the pharmacogenetics of the best-studied associations between specific HLA alleles and delayed allergy reactions and describe the pathogenesis models proposed so far. Finally, we will evaluate the genetic screening strategies available and discuss the clinical relevance of a better understanding of the immunogenetics and mechanisms involved in DDAR.
The Okinawan Diet: Health Implications of a Low-Calorie, Nutrient-Dense, Antioxidant-Rich Dietary Pattern Low in Glycemic Load

Residents of Okinawa, the southernmost prefecture of Japan, are known for their long average life expectancy, high numbers of centenarians, and accompanying low risk of age-associated diseases. Much of the longevity advantage in Okinawa is thought to be related to a healthy lifestyle, particularly the traditional diet, which is low in calories yet nutritionally dense, especially with regard to phytonutrients in the form of antioxidants and flavonoids. Research suggests that diets associated with a reduced risk of chronic diseases are similar to the traditional Okinawan diet, that is, vegetable and fruit heavy (therefore phytonutrient and antioxidant rich) but reduced in meat, refined grains, saturated fat, sugar, salt, and full-fat dairy products. Many of the characteristics of the diet in Okinawa are shared with other healthy dietary patterns, such as the traditional Mediterranean diet or the modern DASH (Dietary Approaches to Stop Hypertension) diet. Features such as the low levels of saturated fat, high antioxidant intake, and low glycemic load in these diets are likely contributing to a decreased risk for cardiovascular disease, some cancers, and other chronic diseases through multiple mechanisms, including reduced oxidative stress. A comparison of the nutrient profiles of the three dietary patterns shows that the traditional Okinawan diet is the lowest in fat intake, particularly in terms of saturated fat, and highest in carbohydrate intake, in keeping with the very high intake of antioxidant-rich yet calorie-poor orange-yellow root vegetables, such as sweet potatoes, and green leafy vegetables. Deeper analyses of the individual components of the Okinawan diet reveal that many of the traditional foods, herbs, or spices consumed on a regular basis could be labeled “functional foods” and, indeed, are currently being explored for their potential health-enhancing properties.
Metabolic Activity Related to the Potassium Pump in the Midgut of Bombyx Mori Larvae

SUMMARY The transepithelial electrical potential difference across the isolated midgut of Bombyx mori larvae is dependent on the presence of potassium and is unaffected by the addition of hexoses to perfusion media, whereas it is enhanced by alanine, aspartic acid, glutamic acid and the corresponding 2oxoacids, glutamine and malate. The midgut enzyme profile indicates that the substrates for the tricarboxylic acid cycle are supplied mainly by amino acid metabolism via transaminases. Accordingly, aminoxyacetate drastically reduces the intestinal transepithelial electrical potential difference stimulated by amino acids. Measurement of the free amino acid concentration in the lumen content, intestinal cells and haemolymph shows that glutamic acid, asparagine and glutamine are accumulated in the cell, whilst the haemolymph is enriched with basic amino acids and with glycine, alanine, serine and tyrosine, the major components of the silk fibroin. Therefore, amino acid metabolism directly related to the tricarboxylic acid cycle seems to be the primary source of energy for the potassium pump activity in B. mori midgut.
Female Mice Lacking Estrogen Receptor‐Alpha in Osteoblasts Have Compromised Bone Mass and Strength

Reduced bioavailability of estrogen increases skeletal fracture risk in postmenopausal women, but the mechanisms by which estrogen regulates bone mass are incompletely understood. Because estrogen signaling in bone acts, in part, through estrogen receptor alpha (ERα), mice with global deletion of ERα (ERαKO) have been used to determine the role of estrogen signaling in bone biology. These animals, however, have confounding systemic effects arising from other organs, such as increased estrogen and decreased insulin‐like growth factor 1 (IGF‐1) serum levels, which may independently affect bone. Mice with tissue‐specific ERα deletion in chondrocytes, osteoblasts, osteocytes, or osteoclasts lack the systemic effects seen in the global knockout, but show that presence of the receptor is important for the function of each cell type. Although bone mass is reduced when ERα is deleted from osteoblasts, no study has determined if this approach reduces whole bone strength. To address this issue, we generated female osteoblast‐specific ERαKO mice (pOC‐ERαKO) by crossing mice expressing a floxed ERα gene (ERαfl/fl) with mice transgenic for the osteocalcin‐Cre promoter (OC‐Cre). Having confirmed that serum levels of estrogen and IGF‐1 were unaltered, we focused on relating bone mechanics to skeletal phenotype using whole bone mechanical testing, microcomputed tomography, histology, and dynamic histomorphometry. At 12 and 18 weeks of age, pOC‐ERαKO mice had decreased cancellous bone mass in the proximal tibia, vertebra, and distal femur, and decreased cortical bone mass in the tibial midshaft, distal femoral cortex, and L5 vertebral cortex. Osteoblast activity was reduced in cancellous bone of the proximal tibia, but osteoclast number was unaffected. Both femora and vertebrae had decreased whole bone strength in mechanical tests to failure, indicating that ERα in osteoblasts is required for appropriate bone mass and strength accrual in female mice. This pOC‐ERαKO mouse is an important animal model that could enhance our understanding of estrogen signaling in bone cells in vivo. © 2014 American Society for Bone and Mineral Research.