Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysis and Approximation of the Ginzburg-Landau Model of Superconductivity

The authors consider the Ginzburg–Landau model for superconductivity. First some well-known features of superconducting materials are reviewed and then various results concerning the model, the resultant differential equations, and their solution on bounded domains are derived. Then, finite element approximations of the solutions of the Ginzburg–Landau equations are considered and error estimates of optimal order are derived.
Acoustic event localization using a crosspower-spectrum phase based technique

Linear microphone arrays can be employed for acoustic event localization in a noisy environment using time delay estimation. Three techniques are investigated that allow delay estimation, namely normalized cross correlation, LMS adaptive filters, crosspower-spectrum phase: they are combined with a bidimensional representation, the coherence measure, in order to emphasize information that can be exploited for estimating position of both non-moving and moving acoustic sources. To compare the given techniques, different acoustic sources were considered, that generated events in different positions in space. Expressing performance in terms of accuracy of the wavefront direction angle, experiments showed that the crosspower-spectrum phase based technique outperforms the other two. This technique provided very promising preliminary results also in terms of source position estimation. <<ETX>>
Towards Reducing and Managing Uncertainty in Spoken Dialogue Systems

Spoken dialogue systems (sdss)—computational systems that can engage in a dialogue with a human user about a restricted topic by understanding and reacting to spoken natural language—have a valuable potential not only as commercial systems that can handle useful tasks in real situations, but also as a test bed for semantic and pragmatic theories of dialogue interaction. Besides the difficulties inherent to any natural language understanding system (like e.g. ambiguity and context-dependence), sdss are faced with additional challenges that often derive from the lack of technical accuracy of their components, most prominently the automatic speech recogniser (ASR). For this reason, sdss are confronted with a great degree of uncertainty when processing user utterances. In those cases where understanding does not fail completely, a system will typically be able to form some hypotheses about the input received from the user. However, judging the quality of these hypotheses is itself a highly uncertain task, and finding answers to questions such as ‘Did the user really say X? ’, ‘Did the user mean Y? ’ or ‘Is Z what the user intended me to do? ’ can be a very hard enterprise for a dialogue system. One of the crucial aspects that contributes to reducing uncertainty is the use of meaningful clarification and grounding strategies that are able to tackle the problems that the system encounters and, when appropriate, give feedback to the user about its internal representations. In this paper we describe ongoing work carried out within the project “DEAWU: DEAling With Uncertainty in Spoken Dialogue Systems”. 1 The
Dempster-Shafer's theory of evidence applied to structured documents: modelling uncertainty

Documents ojlen display a structure determined by the author, e.g., several chapters, each with several sub-chapters and so on. Taking into account the structure of a document allows the retrieval process to focus on those parts of the documents that are most relevant to an information need. Chiaramella et al advanced a model for indexing and retrieving structured documents. Their aim was to express the model within a framework based on formal logics with associated theories. They developed the logical formalism of the model. This paper adds to this model a theory of uncertainty, the Dempster-Shafer theory of evidence. It is shown that the theory provides a rule, the Dempster’s combination rule, that a[lows the expression of the uncertainty with respect to parts of a document, and that is compatible with the iogica{ model developed by Chiaramella et al.
Exploring Narrative Structure with MMORPG Quest Stories

In this paper we present a corpus of quest stories taken from a popular commercial Massively Multiplayer Online Role-Playing Game (MMORPG). These stories are open-ended narrative, but anchored to formal, in-game actions and entities, providing valuable constraint as a narrative corpus. We present two preliminary experiments establishing baselines for evaluating similar patterns and content across the corpus.
Chapter 7: Two–sample Inference

Chapter 6 introduced hypothesis testing in the one-sample setting: one sample is obtained from a single population and the sample mean was compared to a hypothesized value of the mean. Practical applications more frequently involve comparing the means of two or more populations. For example: • Compare the mean response of individuals on an experimental drug treatment to those taking a placebo. • Compare birds living near a toxic waste site with birds living in a pristine area. In this chapter, we introduce the hypothesis testing procedures for comparing two populations. Analysis of Variance (ANOVA) is the statistical tool for performing hypothesis testing to comparing more than two means and this is covered in Chapter 9. One of the most popular statistical testing procedures is the two sample t-test used for comparing the means of two populations. The following example will be used to illustrate the ideas: Example. A study was conducted to examine the effect of thermal pollution from a treatment plant on Asiatic clams (Corbicula Fluminea) in the water. A sample of clams was collected at the intake site where there was no thermal pollution and at a discharge site where there was thermal pollution. On of the variables that was measured on the length of the clams (in cm). The goal of the study was to determine if the thermal pollution was adversely affecting the growth of the clams and leading to smaller sizes on average. (Data collected by J. Booker, 1997.)
Teaching mobile robots to cooperatively navigate in populated environments

Mobile service robots are envisioned to operate in environments that are populated by humans and therefore ought to navigate in a socially compliant way. Since the desired behavior of the robots highly depends on the application, we need flexible means for teaching a robot a certain navigation policy. We present an approach that allows a mobile robot to learn how to navigate in the presence of humans while it is being teleoperated in its designated environment. Our method applies feature-based maximum entropy learning to derive a navigation policy from the interactions with the humans. The resulting policy maintains a probability distribution over the trajectories of all the agents that allows the robot to cooperatively avoid collisions with humans. In particular, our method reasons about multiple homotopy classes of the agents' trajectories, i. e. , on which sides the agents pass each other. We implemented our approach on a real mobile robot and demonstrate that it is able to successfully navigate in an office environment in the presence of humans relying only on on-board sensors.
Defective IL‐12 production in mitogen‐activated protein (MAP) kinase kinase 3 (Mkk3)‐deficient mice

The p38 mitogen‐activated protein kinase (MAPK) pathway, like the c‐Jun N‐terminal kinase (JNK) MAPK pathway, is activated in response to cellular stress and inflammation and is involved in many fundamental biological processes. To study the role of the p38 MAPK pathway in vivo, we have used homologous recombination in mice to inactivate the Mkk3 gene, one of the two specific MAPK kinases (MAPKKs) that activate p38 MAPK. Mkk3−/− mice were viable and fertile; however, they were defective in interleukin‐12 (IL‐12) production by macrophages and dendritic cells. Interferon‐γ production following immunization with protein antigens and in vitro differentiation of naive T cells is greatly reduced, suggesting an impaired type I cytokine immune response. The effect of the p38 MAPK pathway on IL‐12 expression is at least partly transcriptional, since inhibition of this pathway blocks IL‐12 p40 promoter activity in macrophage cell lines and IL‐12 p40 mRNA is reduced in MKK3‐deficient mice. We conclude that the p38 MAP kinase, activated through MKK3, is required for the production of inflammatory cytokines by both antigen‐presenting cells and CD4+ T cells.
Optical spectroscopy of BL Lacertae objects. Broad lines, companion galaxies, and redshift lower limits

Aims. We present optical spectroscopy for a sample of BL Lac objects, to determine their redshift, to study their broad emission line properties, and to characterize their close environment. Methods. Twelve objects were observed using the ESO 3.6 m and NOT 2.5 m telescopes, obtaining spectra for the BL Lacs and for nearby sources. Results. For seven of these objects, nuclear emission lines and/or absorption lines from the host galaxy were detected. In all the four cases where absorption lines were revealed, the host galaxy has been resolved with HST or ground-based imaging. The broad H α luminosities (or their upper limits) of the BL Lacs are similar to those of radio-loud quasars. For two BL Lacs, spectroscopy of close companions indicates that they are at the redshift of the BL Lacs, and therefore physically associated and probably interacting. Five BL Lacs have a featureless spectrum. In these cases, we apply a new technique to derive lower limits for their redshift, which are consistent with the lower limits deduced from imaging.
Therapists’ perspectives about working with meaning in life in psychotherapy: A survey

Of 212 practicing therapists who completed a survey about working with meaning in life (MIL) in psychotherapy, 129 (61%) had recently worked with MIL with at least one client and reported on their work with a client in this survey. Those therapists who had worked with a client on MIL as compared with those who had not were older, more experienced, more humanistic/existential/experiential in orientation; reported more MIL training; and felt more competent working with MIL. Clients reported on primarily had internalizing, interpersonal, and career issues. Only 12% of clients explicitly labeled MIL as an issue coming into therapy. The three most frequently used interventions involved offering support; helping clients examine thoughts, feelings, and behaviors to discover hopes and goals; and facilitating exploration of MIL cognitions and experiences. Therapists reported many positive consequences from working with MIL. Therapists reported minimal training in MIL and moderate competence in working with MIL. Implications for practice, training, and research are presented.
PERFORMANCE COMPARISON OF 24SLOT-10POLE AND 12SLOT-8POLE WOUND FIELD THREE-PHASE SWITCHED-FLUX MACHINE

This paper presents a comparative study of two types of wound field three-phase switched-flux machine (SFM) with non-overlap winding and salient rotor. Both armature and field winding are located on the stator and rotor is composed of only stack of iron. Non-overlap armature and field windings and toothed-rotor are the clear advantages of these machines as the copper losses gets reduce and rotor becomes more robust. Initially, the motor general construction, the working principle and design concept of proposed machines are outlined. Then, coil arrangement test, peak armature flux linkage, back emf, cogging torque, average torque and torque-speed characteristics of both machines are analyzed and compared by two-dimensional finite element analysis(2D- FEA). Keyword: Low cost, wound field switched-flux machine, salient rotor, non-overlap winding, field excitation coil
Decomposed particle filtering and track swap estimation in tracking two closely spaced targets

In a preceding paper at Fusion 2009, the existence and characterization of a unique decomposition of the joint conditional density of the states of two targets has been proven. This decomposition consists of a weighted sum of a permutation invariant density and a permutation strictly variant density. In the current paper we exploit this unique decomposition for the development of a novel particle filter for tracking two closely spaced linear Gaussian targets. Thanks to the unique decomposition this novel particle filter is able to provide a conditional estimate of the track swap probability. The remarkable working of this novel particle filter is demonstrated through running Monte Carlo simulations for an example in tracking two closely spaced targets.
An economic analysis of voting in Sweden

Using data from the Swedish Election Studies between 1985 and 1994 supplemented with time series on inflation and unemployment, I compare the impact of macro- and microeconomic variables on the individual vote. The principal finding is that macroeconomic variables influence the vote a bit more than microeconomic variables do. In consequence, both self-interest and public interest appear to be important explanations of economic voting in Sweden. Macroeconomic variables have, however, been much more influential in determining election outcomes. Since previous studies of economic voting have used cross-sectional data only, it is also worth noting that panel estimates indicate a much greater impact of macroeconomic variables on the individual vote than cross-sectional estimates do.
Solaris Service Management Facility: Modern System Startup and Administration

Application uptime is critical to every administrator. The factors which cause system downtime are often handled by the operating system, but causes for application faults (e.g., software bugs, hardware faults, or human errors) are not addressed by standard system software. Recovery is left to humans, who may often compound the problem due to misdiagnosis or simple error. While availability issues have traditionally been addressed by expensive high-availability clustering solutions, the increasing complexity of software stacks requires a solution for all systems. In addition to the challenges of managing availability of higher level software, the modern operating system itself is composed of many interdependent software entities. A failure in any one of these components often cascades, causing failures in other components. A complex software model with many interdependent elements makes diagnosing failures very challenging for system administrators. The traditional init.d script mechanisms for UNIX are only a weak reflection of the intricate dependency relationships which exist on every system. We introduce the Service Management Facility (SMF) as a comprehensive way to describe, execute, and manage software services. SMF promotes the service to a first-class operating system entity, without requiring modification of application binaries or changes to the UNIX process model. It relieves the administrator from duties of application failure detection and restart, and provides sophisticated diagnosis tools when automatic repair is impossible.
Sentiment analyis of Indian movie review with various feature selection techniques

Sentiment analysis and opinion mining is an emerging area of research for analysing web data and capturing the sentiment of the users. This research presents sentiments analysis on Indian movie review corpus using machine learning classifier. Bayesian Classifier has been used in this study for testing feature selection mechanics. This classifier is trained on the words/features of the corpus extracted using five feature selection algorithms (Chi-square, Info-gain, Gain-Ratio, One-R and relief attribute) and a comparative study have been performed amongst them. The classifier and feature selection approaches were evaluated by two different metrics (F-Value, and False Positive). Results of this study show that: for maximum number of features, Relief-F feature selection approach is found to be good with better F-value, Low FP Rate. In addition for the less number of features, One-R was better than Relief-F. This electronic document is a “live” template and already defines the components of your paper [title, text, heads, etc.] in its style sheet.
Implementation of INS in Three Dimensional Space using Mems based Ahrs

Inertial Navigation System (INS) is required for implementing point to coordinate and target coordinate calculation. INS is used to update the position of Gimbal Payload Assembly (GPA) in three dimensional space.INS will provide accurate attitude, position and velocity of the system.INS shall be of light weight and shall be in small size to accommodate with in the gimbal assembly. Micro Electro Mechanical System (MEMS) based Attitude Heading Reference System (AHRS) and related processing electronics in used to meet weight and volume requirement. AHRS consists of MEMS based triaxial accelerometer, triaxial gyro, triaxial magnetometer and temperature sensor. AHRS will provide the basic information i.e acceleration & angle rates (or) delta angle & delta velocity vectors of the system. An algorthim to be developed to get the attitude and orientation of GPA in North East Down(NED) frame using Texas Instrument (TI) makes TMS320F2812 DSP Processor and AHRS. In this paper distance travelled by the system can be calculated by using MEMS based AHRS.
Text-based ontology construction using relational concept analysis

We present a semi-automated process that constructs an ontology based on a collection of document abstracts for a given domain. The proposed process relies on the formal concept analysis (\fca), an algebraic method for the derivation of a conceptual hierarchy, namely '\textit{concept lattice}', starting from data context, i.e., set of individuals provided with their properties. First, we show how various contexts are extracted and then how concepts of the corresponding lattices are turned into ontological concepts. In order to refine the obtained ontology with transversal relations, the links between individuals that appear in the text are considered by the means of a richer data format. Indeed, Relational Concept Analysis (\rca), a framework that helps \fca in mining relational data is used to model these links and then inferring relations between formal concepts whose semantic is similar to roles between concepts in ontologies. The process describes how the final ontology is mapped to logical formulae which can be expressed in the Description Logics (\dl) language ${\cal FLE}$. To illustrate the process, the construction of a sample ontology on the astronomical field is considered.
Portable Kernel for High-Level Synthesis of Complex DSP-Systems

Modern DSPs are low cost and have integral communications, encouraging their use in large parallel systems. E ective software methods are critical to the success of this trend. A model-based program synthesis approach has been proven e ective for developing large parallel instrumentation systems. This paper describes an essential component of this approach, the low level kernel. The kernel has been designed to support the facilities necessary for the model-based synthesis approach. The kernel supports parallel, real-time systems, requires minimal resources, and is portable across many embedded and general purpose machines.
Application of Wnt Pathway Inhibitor Delivering Scaffold for Inhibiting Fibrosis in Urethra Strictures: In Vitro and in Vivo Study

Objective: To evaluate the mechanical property and biocompatibility of the Wnt pathway inhibitor (ICG-001) delivering collagen/poly(l-lactide-co-caprolactone) (P(LLA-CL)) scaffold for urethroplasty, and also the feasibility of inhibiting the extracellular matrix (ECM) expression in vitro and in vivo. Methods: ICG-001 (1 mg (2 mM)) was loaded into a (P(LLA-CL)) scaffold with the co-axial electrospinning technique. The characteristics of the mechanical property and drug release fashion of scaffolds were tested with a mechanical testing machine (Instron) and high-performance liquid chromatography (HPLC). Rabbit bladder epithelial cells and the dermal fibroblasts were isolated by enzymatic digestion method. (3-(4,5-Dimethylthiazol-2-yl)-2,5-Diphenyltetrazolium Bromide (MTT) assay) and scanning electron microscopy (SEM) were used to evaluate the viability and proliferation of the cells on the scaffolds. Fibrolasts treated with TGF-β1 and ICG-001 released medium from scaffolds were used to evaluate the anti-fibrosis effect through immunofluorescence, real time PCR and western blot. Urethrography and histology were used to evaluate the efficacy of urethral implantation. Results: The scaffold delivering ICG-001 was fabricated, the fiber diameter and mechanical strength of scaffolds with inhibitor were comparable with the non-drug scaffold. The SEM and MTT assay showed no toxic effect of ICG-001 to the proliferation of epithelial cells on the collagen/P(LLA-CL) scaffold with ICG-001. After treatment with culture medium released from the drug-delivering scaffold, the expression of Collagen type 1, 3 and fibronectin of fibroblasts could be inhibited significantly at the mRNA and protein levels. In the results of urethrography, urethral strictures and fistulas were found in the rabbits treated with non-ICG-001 delivering scaffolds, but all the rabbits treated with ICG-001-delivering scaffolds showed wide caliber in urethras. Histology results showed less collagen but more smooth muscle and thicker epithelium in urethras repaired with ICG-001 delivering scaffolds. Conclusion: After loading with the Wnt signal pathway inhibitor ICG-001, the Collagen/P(LLA-CL) scaffold could facilitate a decrease in the ECM deposition of fibroblasts. The ICG-001 delivering Collagen/P(LLA-CL) nanofibrous scaffold seeded with epithelial cells has the potential to be a promising substitute material for urethroplasty. Longer follow-up study in larger animals is needed in the future.
Sub-word unit based non-audible speech recognition using surface electromyography

In this paper we present a novel approach for a surface electromyographic speech recognition system based on sub-word units. Rather than using full word models as integrated in our previous work we propose here smaller sub-word units as prerequisites for large vocabulary speech recognition. This allows the recognition of words not seen in the training set based on seen sub-word units. Therefore we report on experiments with syllables and phonemes as sub-word units. We also developed a new feature extraction method that gains significant improvement for words and sub-word units. Index Terms: silent speech, non-audible speech recognition, electromyography, sub-word unit comparison
Channel models for Radio on Visible Light (RoVL) communication system

The acronym Radio on Visible Light which has already been introduced is associated with using visible light to transmit information usually carried by means of radio waves from one point to another. Essentially, the radio waves are not radiated from an antenna in the usual manner, but emitted as a modulation of the light's brightness in congruence with the strength of the radio frequency signal. To address the project objective, various attributes influencing mobile signal transmission through visible light channels have already been identified and addressed. This paper presents a brief theoretical study on the attributes of channel modeling, influencing mobile signal transmission in an indoor environment. The main purpose is to understand the behaviour and propagation of optical signals based on traditional models to improve upon the basic channel models to more sophisticated techniques that can be specifically adapted for indoor mobile telecommunications.