-
Enhancing Acoustic-to-Articulatory Speech Inversion by Incorporating Nasality
Authors:
Saba Tabatabaee,
Suzanne Boyce,
Liran Oren,
Mark Tiede,
Carol Espy-Wilson
Abstract:
Speech is produced through the coordination of vocal tract constricting organs: lips, tongue, velum, and glottis. Previous works developed Speech Inversion (SI) systems to recover acoustic-to-articulatory mappings for lip and tongue constrictions, called oral tract variables (TVs), which were later enhanced by including source information (periodic and aperiodic energies, and F0 frequency) as prox…
▽ More
Speech is produced through the coordination of vocal tract constricting organs: lips, tongue, velum, and glottis. Previous works developed Speech Inversion (SI) systems to recover acoustic-to-articulatory mappings for lip and tongue constrictions, called oral tract variables (TVs), which were later enhanced by including source information (periodic and aperiodic energies, and F0 frequency) as proxies for glottal control. Comparison of the nasometric measures with high-speed nasopharyngoscopy showed that nasalance can serve as ground truth, and that an SI system trained with it reliably recovers velum movement patterns for American English speakers. Here, two SI training approaches are compared: baseline models that estimate oral TVs and nasalance independently, and a synergistic model that combines oral TVs and source features with nasalance. The synergistic model shows relative improvements of 5% in oral TVs estimation and 9% in nasalance estimation compared to the baseline models.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Speaker-independent Speech Inversion for Estimation of Nasalance
Authors:
Yashish M. Siriwardena,
Carol Espy-Wilson,
Suzanne Boyce,
Mark K. Tiede,
Liran Oren
Abstract:
The velopharyngeal (VP) valve regulates the opening between the nasal and oral cavities. This valve opens and closes through a coordinated motion of the velum and pharyngeal walls. Nasalance is an objective measure derived from the oral and nasal acoustic signals that correlate with nasality. In this work, we evaluate the degree to which the nasalance measure reflects fine-grained patterns of VP m…
▽ More
The velopharyngeal (VP) valve regulates the opening between the nasal and oral cavities. This valve opens and closes through a coordinated motion of the velum and pharyngeal walls. Nasalance is an objective measure derived from the oral and nasal acoustic signals that correlate with nasality. In this work, we evaluate the degree to which the nasalance measure reflects fine-grained patterns of VP movement by comparison with simultaneously collected direct measures of VP opening using high-speed nasopharyngoscopy (HSN). We show that nasalance is significantly correlated with the HSN signal, and that both match expected patterns of nasality. We then train a temporal convolution-based speech inversion system in a speaker-independent fashion to estimate VP movement for nasality, using nasalance as the ground truth. In further experiments, we also show the importance of incorporating source features (from glottal activity) to improve nasality prediction.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
The Influence of Collaboration in Procurement Relationships
Authors:
Wesley S. Boyce,
Haim Mano,
John L. Kent
Abstract:
Supply Chain Management often requires independent organizations to work together to achieve shared objectives. This collaboration is necessary when coordinated actions benefit the group more than the uncoordinated efforts of individual firms. Despite the commonly reported benefits that can be gained in close relationships, recent research has indicated that collaboration attempts between purchasi…
▽ More
Supply Chain Management often requires independent organizations to work together to achieve shared objectives. This collaboration is necessary when coordinated actions benefit the group more than the uncoordinated efforts of individual firms. Despite the commonly reported benefits that can be gained in close relationships, recent research has indicated that collaboration attempts between purchasing firms and their suppliers have not been as widespread as anticipated. Using a survey of procurement professionals, this research investigates how the purchasing function utilizes collaboration in its supply chain relationships. Structural equation modeling is used to identify how information sharing, decision synchronization, incentive alignment, collaborative communication, and trust impact collaboration, as well as how collaboration impacts performance. Results from 86 survey responses indicate that firms are still not fully utilizing collaborative relationships.
△ Less
Submitted 10 October, 2016;
originally announced January 2017.
-
Integrated step selection analysis: bridging the gap between resource selection and animal movement
Authors:
Tal Avgar,
Jonathan R. Potts,
Mark A. Lewis,
Mark S. Boyce
Abstract:
A resource selection function is a model of the likelihood that an available spatial unit will be used by an animal, given its resource value. But how do we appropriately define availability? Step-selection analysis deals with this problem at the scale of the observed positional data, by matching each used step (connecting two consecutive observed positions of the animal) with a set of available s…
▽ More
A resource selection function is a model of the likelihood that an available spatial unit will be used by an animal, given its resource value. But how do we appropriately define availability? Step-selection analysis deals with this problem at the scale of the observed positional data, by matching each used step (connecting two consecutive observed positions of the animal) with a set of available steps randomly sampled from a distribution of observed steps or their characteristics. Here we present a simple extension to this approach, termed integrated step-selection analysis (iSSA), which relaxes the implicit assumption that observed movement attributes (i.e. velocities and their temporal autocorrelations) are independent of resource selection. Instead, iSSA relies on simultaneously estimating movement and resource-selection parameters, thus allowing simple likelihood-based inference of resource selection within a mechanistic movement model. We provide theoretical underpinning of iSSA, as well as practical guidelines to its implementation. Using computer simulations, we evaluate the inferential and predictive capacity of iSSA compared to currently used methods. Our work demonstrates the utility of iSSA as a general, flexible and user-friendly approach for both evaluating a variety of ecological hypotheses, and predicting future ecological patterns.
△ Less
Submitted 4 December, 2015;
originally announced December 2015.
-
Goedel's proof: a revisionist view
Authors:
Stephen Boyce
Abstract:
This note presents a revised assessment of Goedel's proof. I show that the proof can be modified to establish that there exists a system P' such that: either P' is inconsistent (and P is also inconsistent) or P' is consistent and yet has no model. To define P' I firstly present a semantics for Goedel's P, and then define a theory P0 which is syntactically identical to P however the meaning of the…
▽ More
This note presents a revised assessment of Goedel's proof. I show that the proof can be modified to establish that there exists a system P' such that: either P' is inconsistent (and P is also inconsistent) or P' is consistent and yet has no model. To define P' I firstly present a semantics for Goedel's P, and then define a theory P0 which is syntactically identical to P however the meaning of the type one variables differs in that for any interpretation of P0 these variables range over all and only the individuals assigned to the P0 numerals. P' is the theory obtained by adding the negation of a Goedel sentence for P0 to the proper axioms of P0.
△ Less
Submitted 13 May, 2025; v1 submitted 2 May, 2011;
originally announced May 2011.
-
A note on first-order arithmetic
Authors:
Stephen Boyce
Abstract:
This paper describes a system S' obtained by modifying first-order arithmetic to 'parameterise' the individual variables so that under any interpretation of S', the individual variables range over all and only the individuals assigned to the numerals under this interpretation. Since S' contains Peano arithmetic and is recursively axiomatised we can modify Goedel's technique to define a Goedel sent…
▽ More
This paper describes a system S' obtained by modifying first-order arithmetic to 'parameterise' the individual variables so that under any interpretation of S', the individual variables range over all and only the individuals assigned to the numerals under this interpretation. Since S' contains Peano arithmetic and is recursively axiomatised we can modify Goedel's technique to define a Goedel sentence for S', say (x)R[x]. S' may be shown to be inconsistent since (x)R[x] must be an S' theorem. Since the syntax of S' and S are identical however the inconsistency of S itself is implied by this result.
△ Less
Submitted 13 May, 2025; v1 submitted 6 October, 2010;
originally announced October 2010.
-
The metatheory of first-order logic: a contribution to a defence of Principia Mathematica
Authors:
Stephen Boyce
Abstract:
This paper presents an account of the first-order logic of Principia Mathematica and preliminary evidence that the system is superior to currently accepted classical rivals. A widely accepted view that Whitehead and Russell's presentation of logic in Principia is essentially defective in departing from contemporary standards is considered. It is shown that the judgement is based on a number of arg…
▽ More
This paper presents an account of the first-order logic of Principia Mathematica and preliminary evidence that the system is superior to currently accepted classical rivals. A widely accepted view that Whitehead and Russell's presentation of logic in Principia is essentially defective in departing from contemporary standards is considered. It is shown that the judgement is based on a number of arguments that do not withstand critical scrutiny. For example, the common presumption that the metatheory of contemporary first-order logic may be made precise in the expected way (using a first-order set theory equivalent to NBG) is shown to be false; on pain of contradiction, there cannot exist any such domain of interpretation of NBG. An alternative view of first-order logic, derived from Principia, is then presented. It is shown that Principia avoids the problem just discussed, as the first-order fragment may be made precise under an interpretation of the full system.
△ Less
Submitted 13 May, 2025; v1 submitted 23 March, 2010;
originally announced March 2010.
-
On the formalist account of an arbitrary first-order theory
Authors:
Stephen Boyce
Abstract:
This paper examines the metatheory of the formalist account of an arbitrary first-order theory. The paper considers whether the metatheory can be expressed (using Tarskian semantics) in a model of a first-order theory that, roughly speaking, contains a proper axiom (schema) corresponding to a set-theoretic axiom (schema) of subsets. The hypothesis is reduced to absurdity.
This paper examines the metatheory of the formalist account of an arbitrary first-order theory. The paper considers whether the metatheory can be expressed (using Tarskian semantics) in a model of a first-order theory that, roughly speaking, contains a proper axiom (schema) corresponding to a set-theoretic axiom (schema) of subsets. The hypothesis is reduced to absurdity.
△ Less
Submitted 13 May, 2025; v1 submitted 15 December, 2009;
originally announced December 2009.
