Browsing by Title
Now showing items 2154321562 of 63798

Formability and hydroforming of anisotropic aluminum tubes
(200908)The automotive industry is required to meet improved fuel efficiency standards and stricter emission controls. Aluminum tube hydroforming is particularly well suited in meeting the goals of lighter, more fuelefficient ... 
Formal Functions in Menuets by Johann Sebastian Bach
(20171114)The menuet entered into upperclass social dance, ballet, and opera no later than the 1660s, thanks largely to Jean Baptiste Lully. This essay charts formal functions (after Caplin) in named menuets by Johann Sebastian ... 
Formal Functions in Menuets by Mozart, Part 1: Orchestral Works and Independent Sets
(20171115)A study of formal functions (after Caplin) in named menuets by Mozart, the larger goal being to historicize more fully formdesign practices in European music during the second half of the eighteenth century, especially ... 
Formal Functions in Menuets by Mozart, Part 2: Sonatas and Chamber Music
(20171128)Continuation of a study of formal functions (after Caplin) in named menuets by Mozart. A table of data and comprehensive musical examples cover the trios, string quartets, string quintets, quartets and quintets with other ... 
Formal Functions in Menuets by Mozart, Part 3: A Comparison with Johann Christian Bach
(20180105)This essay charts formal functions (after Caplin) in named menuets by Johann Christian Bach (17351782) and compares them with menuets by Mozart. Bach is notable for exploiting the “galant theme,” presumably because of its ... 
Formal Functions in Menuets by Mozart, Part 4: His Older Contemporaries, to 1770
(20180108)This essay charts formal functions (after Caplin) in named menuets written during the second half of the eighteenth century. The repertoire includes menuets by Johann Stamitz, Johann Gottfried Müthel, Franz Joseph Haydn, ... 
Formal Functions in Menuets by Mozart, Part 5: More to Theoretical Issues
(20180119)This essay considers some theoretical questions raised at the end of Part 4 in this series. William Caplin’s theory of formal functions in Haydn, Mozart, and Beethoven stipulates that themes are of two primary types (period, ... 
Formal Functions in Menuets by Mozart, Part 6: Contemporaries, 17711780
(20180707)This essay continues the documentation of formal functions (after Caplin) in named menuets from the eighteenth century, as begun in parts 14 of this series. In this essay, the focus is on menuets written by other composers ... 
Formal Functions in Menuets by Mozart, Part 7: Contemporaries and Successors, 17801828
(20180709)This final essay in the Mozart series charts formal functions (after Caplin) in named menuets written by other composers during the last ten years of Mozart’s life, 17801791, and by three composers active in Vienna ... 
Formal methods for answer set programming
Answer set programming (ASP) is a declarative programming paradigm for the design and implementation of knowledgeintensive applications, particularly useful ... 
Formal specification and verification of a JVM and its bytecode verifier
(2006)How do we know that a bytecodeverified Java program will run safely? This dissertation addresses the question by building a precise model of the JVM and its bytecode verifier. We also built a “small” machine and its ... 
Formal syntheses of hirsutine and rhynchophylline and progress toward the enantioselective total synthesis of citrinadin A
(200705)The diastereoselective formal syntheses of the corynanthe alkaloid hirsutine and oxindole alkaloid rhynchophylline are described. The general approach features the use of ringclosing metathesis (RCM) to construct an ... 
Formal systems and informal networks : Iranian power politics in principle and practice
(201405)This work explains the structure and function of the contemporary Iranian government by examining the government's formal political, religious and national security structures and the informal networks that empower and ... 
Formal verification of application and system programs based on a validated x86 ISA model
(201612)Two main kinds of tools available for formal software verification are point tools and generalpurpose tools. Point tools are targeted towards bughunting or proving a fixed set of properties, such as establishing the ... 
Formal verification of computer controlled systems
(200705)This dissertation discusses the application of formal verification methods to reasoning about the correctness of computer controlled systems. Due to the switching that is introduced by the computer controller, the ... 
Formaldehyde as a Probe of Physical Conditions in Dense Molecular Clouds
(199311)We present a detailed analysis describing the utility of the formaldehyde (H2CO) molecule in the derivation of the kinetic temperature and spatial density within molecular clouds. Measurements of 13 transitions from both ... 
Formaldehyde as an indoor air quality metric for homes : control strategies and energy consequences
(20170504)The renewed emphasis on energy conservation in the building sector has resulted in advances in residential building envelope design and construction that have led to ever tighter homes, lower energy consumption and reduced ... 
Formaldehyde in high school classrooms
(201705)Schools have a unique place in the fabric of America. Yet there is growing evidence that poor indoor air quality (IAQ) leads to increases in student illnesses and absenteeism, decreases in academic performance, and increased ... 
Formalized parallel dense linear algebra and its application to the generalized eigenvalue problem
(200905)This thesis demonstrates an efficient parallel method of solving the generalized eigenvalue problem, KΦ = M ΦΛ, where K is symmetric and M is symmetric positivedefinite, by first converting it to a standard eigenvalue ...