Filtering by
- Member of: Theses and Dissertations
Unfortunately there is virtually no existing scholarship on Prince and even basic information regarding his life and works is not readily available. The lack of organization of the manuscript scores and the absence of dates of his works has further pushed the composer into obscurity. An investigation therefore was necessary in order to explore the neglected aspects of the life and works of Prince as a violinist and composer. This document is the result of such an investigation by including extensive new biographical information, as well as the first musical analysis and edition of the complete recovered works for violin and piano.
In order to fill the gaps present in the limited biographical information regarding Prince’s life, investigative research was conducted in Mexico City. Information was drawn from archives of the composer’s grandchildren, the Palacio de Bellas Artes, the Conservatorio Nacional de Música de México, and the Orquesta Sinfónica Nacional. The surviving relatives provided first-hand details on events in the composer’s life; one also offered the researcher access to their personal archive including, important life documents, photographs, programs from concert performances, and manuscript scores of the compositions. Establishing connections with the relatives also led the researcher to examining the violins owned and used by the late violinist/composer.
This oral history approach led to new and updated information, including the revival of previously unpublished music for violin and piano. These works are here compiled in an edition that will give students, teachers, and music-lovers access to this unknown repertoire. Finally, this research seeks to promote the beauty and nuances of Mexican salon music, and the complete works for violin and piano of Samuel Máynez Prince in particular.
System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.