Miracle-dz/UniFAR-FTUs huggingface dataset:
Speaker verification with deep features

Due to great success of deep learning in speech recognition, there has been interest of applying deep learning to speaker verification. Previous investigations usually focus on using deep neural network as new classifiers or to extract speaker dependent features. They are either not compatible with existing speaker verification approaches, or not able to achieve significant performance gain in large scale tasks. Also, all the previous approaches have not addressed the issue of how to make use of extra unsupervised data. This paper proposes a novel feature engineering approach within the deep learning framework for speaker verification. Hidden layer output of deep neural network or deep belief network trained on large amount of speech recognition data are extracted as deep features. These features are then used in a Tandem fashion or concatenated with the original acoustic features for GMM-UBM speaker verification. The proposed approach can make use of large amount of existing speech recognition data without speaker labels and is easy to be combined with other mature classification approaches. Experiments on the core condition of NIST 2006 SRE showed that, in a text independent task, the proposed approach can achieve 12.8% relative EER improvement compared to the standard GMM-UBM systems. In addition, text-dependent speaker verification experiments were also performed and yielded similar significant gain.
System-Level Simulation of Flow-Induced Dispersion in Lab-on-a-Chip Systems

The development of lab-on-a-chip systems has moved from the demonstration of individual components to a complex assembly of components. Due to the increased complexities associated with model setup and computational time requirements, current design approaches using spatial and time-resolved multiphysics modeling, though viable for component-level characterization, become unaffordable for system-level design. To overcome these limitations, we present models for the system-level simulation of fluid flow, electric field, and analyte dispersion in microfluidic devices. Compact models are used to compute the flow (pressure driven and electroosmotic) and are based on the integral formulation of the mass, momentum, and current conservation equations. An analytical model based on the method-of-moments approach has been developed to characterize the dispersion induced by combined pressure and electrokinetic-driven flow. The methodology has been validated against detailed three-dimensional (3-D) simulations and has been used to analyze hydrostatic-pressure effects in electrophoretic separation chips. A 100-fold improvement in the computational time without significantly compromising the accuracy (error less than 10%) has been demonstrated.
Multiple index improvement of K-means clustering based on learning rate automatically choice

The routine K-means clustering and its upgrading alternatives were found with some problems as these: deleting Dimension Trap, failure to identifying initially the clustering center and the number of clustering attributes. In regard to these problems, a new clustering method was discussed along with two parameters introduced assessing clustering effect. The new approach addressed these problems by adopting different methods. It deleted dimension traps by using learning rate for autonomous learning. The application of Distance Seeking based on Consistency and DB Index identified initially its center and the number of clustering units. Average of DB Index and DB quadratic mean deviation of DB Index assessed clustering effect. The findings tested the typical UCI Machine Learning Data Set and Data Set of high-dimensional industrial authenticity. The findings prove the efficiency of the new approach in a broad scale. The two parameters confirm the effect of the clustering.
] Natarajan Shankar. Mechanical Veriication of a Generalized Protocol for Byzantine Fault-tolerant Clock Synchronization. in J. Vytopil, Editor, For- Mal Techniques in Real-time and Fault-tolerant Appendix: a Fragment of the Formal Speciication and Veriication

An introduction to formal speciication and verii-cation using Ehdm. As an illustrative fragment of the text submitted to the Ehdm formal veriication system, the statement and proof of the manifest-faulty case of the hybrid version of Lemma 5 is reproduced below. The speciication has been prettyprinted by Ehdm. The text of the full veri-cation is 110 pages long. The list following the from keyword in the prove declaration enumerates the lemmas, axioms, and deeni-tions to be used in the proof; the material in braces indicates substitutions to be made for quantiied variables. Given this information, Ehdm generates a ground formula by Skolemization and substitution for free variables , and then applies a decision procedure for a combination of theories including real and integer arithmetic and propositional calculus. The whole process takes only a couple of seconds.
Lexical Semantic Analysis in Natural Language

This thesis concerns the lexical semantics of natural language text, studying from a computational perspective how words in sentences ought to be analyzed, how this analysis can be automated, and to what extent such analysis matters to other natural language processing (NLP) problems. It may not be obvious that words of text should be analyzed at all. After all, superficial uses of word tokens—most famously, bag-of-words representations and n-grams—are quite successful in settings ranging from information retrieval to language modeling. On the other hand, it is clear that there is a fuzzy relationship between the use of a word and the intended meaning, even when orthographic and morphological normalization (such as lemmatization or stemming) are applied. The word lexicon and its derivatives offer a good case in point:
Immediacy Lost : Managing Risks in Oil and Gas Production

This paper presents material in support of the position that risk management in oil and gas (O&G) production is characterized by a loss of immediacy to the production process. We illustrate how loss of immediacy is an outcome of the O&G information infrastructure's mediation of the production process, and how engineers cope with the loss of immediacy when managing risk situations.
Resource Allocation Management for Multimedia QoS in Wireless Networks

Adaptive resource allocation for multimedia quality of service (QoS) support in broadband wireless network is examined in this work. A service model consisting of three classes with different handoff dropping requirements is presented. Appropriate call admission control and resource reservation schemes are developed to allocate resource adaptively to the real time service classes with stringent delay bound. An efficient and effective measurement based dynamic resource allocation scheme is proposed for prioritized services. The non real time application serviced by the best effort model, are supported. The system accommodates adaptive multimedia applications to further reduce the blocking and dropping probabilities of real time application. The simulation results show that the proposed system can satisfy desired QoS of multimedia application under different traffic loads while achieving high channel utilization
Regressions of Limit-Order Ratio ( Competition ) against Weather and

When liquidity is measured by bid-ask spreads or price impact, markets with more trading activity (such as foreign exchange markets) are typically more liquid than markets with less trading activity (such as municipal bond markets). But showing a causal connection from trading activity to spreads is difficult, due to the endogenous nature of these variables. In the case of Finland’s fully electronic limit order market, we show that the weather (measured by sunshine, cloudiness and precipitation) is a valid instrument for trading activity, and that indeed higher trading activity causes lower spreads, both in the time-series and in the crosssection. We further show that weather affects only individual traders, and not institutions. JEL Classification: C7, etc.
Joint Routing and Gateway Selection in Wireless Mesh Networks

A family of mathematical programs for both the un- capacitated and capacitated joint gateway selection and routing (U/C-GSR) problem in wireless mesh networks are presented. We detail a reformulation using the shortest path cost matrix (SPM) and prove that it gives the optimal solution when applied to the uncapacitated case but can lead to an arbitrary large optimality gap in the capacitated case. Furthermore, an augmented mathematical program is developed where link capacities are allowed to take values from a discrete set depending on the link distance. In this case, the multi-rate capabilities of WMNs (via, for example, adaptive modulation and coding) can be modeled. Evidence from numerical investigations shows that using the SPM formulation realistic network sizes of WMNs can be solved.
Attributional Ambiguity of Affirmative Action

We propose that affirmative action policies that are perceived to give preference to individuals solely or primarily on the basis of their group membership create attributional ambiguity about the personal deserving of individuals affected by these procedures. This ambiguity about the extent to which outcomes are deserved is hypothesized to be self-protective for people who are denied a position, but to have detrimental consequences among beneficiaries, especially if they are members of groups whose competence is doubted (either by themselves or others). Selection procedures that are perceived to be based both on individual merit and group membership, in contrast, are hypothesized to reduce attributional ambiguity about deserving and thus attenuate the effects of group-based preferential selection procedures on those who are benefited and bypassed by these procedures. An experiment was conducted to test these hypotheses. Men and women were randomly selected or rejected for a leadership role under one of t.
Bid Rotation and Collusion in Repeated Auctionsy

This paper studies bidder collusion with communication in repeated auctions when no side transfer is possible. It presents a simple dynamic bid rotation scheme which coordinates bids based on communication history and enables intertemporal transfer of bidders' payo s. The paper derives a su cient condition for such a dynamic scheme to be an equilibrium and characterizes the equilibrium payo s in a general environment with a liated signals and private or interdependent values. With IPV, it is shown that this dynamic scheme yields a strictly higher payo to the bidders than any static collusion scheme which coordinates bids based only on the current reported signals.
Genomic O Island 122, Locus for Enterocyte Effacement, and the Evolution of Virulent Verocytotoxin-Producing Escherichia coli

ABSTRACT The locus of enterocyte effacement (LEE) and genomic O island 122 (OI-122) are pathogenicity islands in verocytotoxin-producing Escherichia coli (VTEC) serotypes that are associated with outbreaks and serious disease. Composed of three modules, OI-122 may occur as “complete” (with all three modules) or “incomplete” (with one or two modules) in different strains. OI-122 encodes two non-LEE effector (Nle) molecules that are secreted by the LEE type III secretion system, and LEE and OI-122 are cointegrated in some VTEC strains. Thus, they are functionally linked, but little is known about the patterns of acquisition of these codependent islands. To examine this, we conducted a population genetics analysis, using multilocus sequence typing (MLST), with 72 VTEC strains (classified into seropathotypes A to E) and superimposed on the results the LEE and OI-122 contents of these organisms. The wide distribution of LEE and OI-122 modules among MLST clonal groups corroborates the hypothesis that there has been lateral transfer of both pathogenicity islands. Sequence analysis of a pagC-like gene in OI-122 module 1 also revealed two nonsynonymous single-nucleotide polymorphisms that could help discriminate a subset of seropathotype C strains and determine the presence of the LEE. A nonsense mutation was found in this gene in five less virulent strains, consistent with a decaying or inactive gene. The modular nature of OI-122 could be explained by the acquisition of modules by lateral transfer, either singly or as a group, and by degeneration of genes within modules. Correlations between clonal group, seropathotype, and LEE and OI-122 content provide insight into the role of genomic islands in VTEC evolution.
Distributed Scrum for Large-Scale and Mission-Critical Projects

Distributed software development (DSD) is becoming popular due to the potential of delivering highquality software products in a timely and economical manner. Recently, practitioners started to apply agile software development methods to their DSD environment. However, there are not many empirical researches that have reported whether the agile methods are really viable for distributed software development. This paper illustrates the issues of the Scrum software development method in a geographically distributed software development team setting as it applies to large-scale and missioncritical projects. Through an in-depth case study, we examine how communication, coordination, and control issues are managed and what technologies are expected to mitigate the difficulties arising in distributed Scrum (DScrum). Finally, we suggest several ideas to overcome the issues discovered in this study.
Transcending borders – bridging language boundaries in linguistically mixed teams

ABSTRACT In the globalising business context, linguistic diversity emerges as one of the major challenges to the operations of companies operating across borders. A rather obvious question pertains not only to how members communicate, which languages are used, for which function and operation, but more specifically how to increase the satisfaction of such members in linguistically mixed teams. The aim of this article is to examine in what way people, with their varying degrees of intercultural empathy and understanding, meet with varying degrees of success in crossing language borders. The ambition here is to identify a link between the use of a lingua franca (practices), the multilingual capabilities (skills) and the intercultural awareness (attitudes) of individuals in bridging linguacultural gaps.
Visual programming language for bit-level concurrent programming: APECbits

We designed and developed a visual programming language (VPL) APECbits that is based on the APEC (asynchronous program elements connection) model. The APEC model is a base model of computation for bit-level concurrent programming, which composes a network of operation elements called primitives connected by data carriers called carriers. The model can express bit-level concurrent computation briefly and diagrammatically. In particular, the model is suitable to express fine-grain concurrent programs such as virtual-machine emulators and multimedia applications. Programs are represented clearly by a new notion (function) called wireless edge, which reduces the number of crossed connection lines.
A practical motion planner for all-terrain mobile robots

The authors address the motion planning problem for wheeled vehicles moving on rough terrains. First, they formalize the placement problem for the case of a rather complex locomotion system consisting of n wheels attached to the robot body by passive suspensions. They next analyze the geometric and kinematic constraints acting on the placements of the robot. Finally, they present a planning method that computes a safe and feasible path between two given placements of the robot. The approach basically consists in searching a path into a graph built incrementally during the exploration of a discrete 3-D configuration space. The algorithms have been implemented, and simulation results are reported.
3D Support for Business Process Simulation

Simulation is a key technique for the design and redesign of business processes and is used to evaluate new business process models with respect to key performance indicators. The increasing complexity of today’s business processes hampers a quick identification of weak points of a business process design that were uncovered during simulation. In this paper we add a third dimension into the description of process and data objects, which enables a compact 3D view of objects in process modeling as well as simulation. The benefits are statistical analysis of simulation results based on volume and size changes of 3D process and data objects as well as customized 3D simulation views. First evaluations indicate the effectiveness of our approach, which goes beyond conventional simulation tools for business processes.
Dynamic Models of Poverty and Psychosocial Adjustment through Childhood

Children exhibit significant variability in their poverty experiences and well-being through time, longitudinal realities that complicate the study of economic deprivation and adjustment in the early life course. Drawing on thirteen years of data from the Children of National Longitudinal Survey of Youth data set, we examine how children's poverty histories predict latent growth curves of their psychosocial adjustment using multiply imputed data sets. The duration of poverty between birth and 1986 predicts the level of antisocial behavior and anxiety-depression in 1986, while the proportion of time spent in poverty between 1986 and 1992 predicts the rate increase in antisocial behavior between 1986 and 1992. Controlling the duration of poverty, we find that transitions into poverty between birth and 1986 predict the rate of increase in anxiety- depression between 1986 and 1992 among boys. Hispanic boys seem especially vulnerable to early poverty experiences: transitions into poverty between birth and 1986 raise their 1986 level of antisocial behavior, while the duration of poverty between birth and 1986 sharpens their rate of increase in anxiety-depression between 1986 and 1992. These findings underscore the value of a life-history approach to children's family experiences and well-being. Please note: Tables are not available at this time.
Story segmentation and topic detection for recognized speech

In this paper we present algorithms for story segmentation, topic detection, and topic tracking. The algorithms use a combination of machine learning, statistical natural language processing and information retrieval techniques. The story segmentation algorithm is a two stage algo-rithm that uses a decision tree based probabilistic model in the (cid:12)rst stage and incorporates aspects of our topic detection system via an information-retrieval based re-(cid:12)nement scheme in the second stage. The topic detection and tracking algorithm is an incremental clustering al-gorithm that employs a novel dynamic cluster-dependent similarity measure between documents and clusters. Performance of these algorithms are measured on the 1998 DARPA sponsored Topic Detection and Tracking Phase 2 (TDT2) evaluation task.
The E ects of Human Capital Depreciation on Occupational Gender Segregation

This paper analyzes how human capital depreciation a ects occupational gender segregation. Prior studies are generally biased because, given an occupational depreciation rate, female workers endogenously choose the duration of leave. I address this problem by proposing an alternative depreciation measure utilizing involuntary job displacement shocks. Using this depreciation proxy along with additional pecuniary and non-pecuniary occupational attributes, I estimate a conditional logit model of occupational choices separately for male and female college graduates. My results show that women have a stronger distaste than men for occupations with high human capital depreciation.
A novel de-noising method for heart sound signal using improved thresholding function in wavelet domain

Heart sound is one of the most important physiological signals in body. But due to its complexity and other factors it contains a lot of noise. In order to analyze heart sound signals better the de-noising is integrant. In this paper the wavelet de-noising method based on three thresholding functions is used for heart sound signals de-noising, soft-thresholding and hard-thresholding functions are traditional, and an improved novel thresholding function with double variables parameters is novel. The critical point of the wavelet de-nosing of signals is the choice of thresholds and thresholding functions. The novel thresholding function can give different results only by changing the values of variable parameters. It can overcome the shortcoming discontinuous function in hard-thresholding function, and also can eliminate the permanent bias in soft-thresholding function. The simulation result indicates that the new thresholding function can get better SNR gains. The experiments show that it is more predominant than the classical soft-thresholding and hard-thresholding function for heart sound signals de-noising.
MITOCHONDRIAL PHYLOGEOGRAPHY AND CONSERVATION GENETICS OF WOLVERINE (GULO GULO) OF NORTHWESTERN NORTH AMERICA

Abstract Anthropogenic impacts such as habitat conversion and fragmentation, in combination with predator control and fur trapping, are responsible for substantial reductions in the ranges of many carnivores worldwide. The wolverine (Gulo gulo) is classified as vulnerable throughout the Holarctic Region by the International Union for Conservation of Nature and Natural Resources, is designated as endangered in eastern Canada, and has been petitioned twice for listing with the United States Fish and Wildlife Service. We examined genetic structure across populations in northwestern North America by using mtDNA sequences of the left domain of control region and the complete cytochrome-b gene (Cytb). Nucleotide diversity (π) and sequence divergence among haplotypes were low for both markers, whereas haplotype diversity (h) was generally high. Genetic divergence (Fst) values were significant, and high for control region (0.21), and moderate to high for Cytb (0.16). Globally, Eurasian and Scandinavian wolverines were distinguishable from North American. Within North America, the Kenai Peninsula, southeastern Alaska, and Nunavut populations were distinctive. Comparisons with studies based on nuclear markers reveal greater geographic structure in these maternally inherited mitochondrial markers, a finding consistent with male-biased dispersal in wolverines. Conservation plans for these medium-sized carnivores should emphasize maintenance of genetic diversity and recognize that successful dispersal of females between populations may be limited.
AIS Electronic Library (AISeL)

Information System (IS) success has been an essential research issue in the IS community for nearly two generations of IS researchers. For the Business Intelligence (BI) domain we see the lack of a comprehensive, life cycle oriented success model. Based on an extensive review of BI success related literature, we propose a methodology for creating such success models in general and demonstrate the feasibility of the proposed approach within the context of BI. A life cycle oriented BI success model is presented including an outline of the constructs, their relationships, and associated measurement items. From a practical perspective, the results provide assistance for the future development of BI solutions in organizations. The paper deepens the understanding of success model adaptation and extension from a theoretical perspective