10,871 research outputs found
Howard University Players on TV 2
No full textSubcategory: Education - Univesitites and Colleges; Pulitzer Prize winning author and Poet Laureate, Toni Morrison, Acts Out a Scene with the Howard Players at Howard Universityhttps://dh.howard.edu/pittcourier_eduuni/1018/thumbnail.jp
The 1941 Lasso, Annual Publication of Howard Payne College, Brownwood, Texas
No full textYearbook for Howard Payne College in Brownwood, Texas includes photos of and information about the college, student body, professors, and organizations
Formal Methods Elsewhere
No full textThe FM-Elsewhere workshop, co-located with FORTE-PSTV-2000 in Pisa, was a forum for researchers interested in the application of formal methods to virtually any area of research, except communication protocols and software engineering. The talks included in the workshop covered the spectrum of FM-Elsewhere areas. In particular, applications of formal methods to all the following areas were considered, safety analysis of cockpit interfaces; solving games and puzzles using state space exploration techniques; modelling theories of the mind; usability anaylsis of human computer interfaces; formal definition of linguistic systems; and modelling in mechanics and physics
Towards Integrated Cognitive and Interface Analysis
Full text linkUsing cognitive architectures to analyse the usability of human-computer interfaces is an extensively investigated strategy. A particularly powerful way to perform such analysis is through syndetic modelling, where both the interface and the chosen cognitive model are described in the same specification framework; allowing the combined behaviour of the two to be analysed. This paper proposes LOTOS as a syndetic modelling language. We highlight four reasons why syndetic modelling is so difficult and show how the LOTOS notation addresses each of the four
Howard Payne College, Brownwood, Texas, as presented by the 1940 Lasso
No full textYearbook for Howard Payne College in Brownwood, Texas includes photos of and information about the college, student body, professors, and organizations
Murray, Pauli
Full text linkTitle: Papers, 1943-1944 Description: 0.5 linear ft.
Notes: Lawyer, author, educator, civil rights activist. Relates to Murray\u27s role as tactician and advisor to undergraduate activists during the sit-in demonstrations of the Civil Rights Committee at Howard University. Includes biographical data, letters, reports, minutes, notes on tactics, address lists, press releases, newspaper clippings, and notes relating to the activities of the Civil Rights Committee.
Subjects: Civil rights Demonstrations; Washington, DC; Howard University Howard University; Administration Howard University; Civil Rights Committee Howard University; Demonstrations Howard University; Students; Political activity Washington, DC; Demonstrations; Howard University Washington, DC; Race relations
Location: Howard University, Moorland-Spingarn Research Center (Washington, DC) NIDS Fiche #: 4.72.8
Issues in Formal Methods (chapter 3)
No full textThe previous two chapters of this book discuss the construction of distributed systems and highlight some of the challenges that they pose. The central problem that these chapters leave is, of course, how to enhance reliability in the context of distribution. For those interested in a formal approach, this gives rise to a number of requirements on both the theoretical framework and particular engineering approaches. In this chapter we draw on some of the themes introduced in Chapters 1 and 2 to discuss implications on the use of formal methods for the specification of distributed systems
Viewpoints Modelling
No full textThis final chapter of the book, discusses the theme of architecture by looking at an ODP viewpoints modelling case study. The purpose of the case study is to illustrate viewpoints and show how formal methods can be used in modelling and analysing them. In doing so we illustrate how different languages can be used in different viewpoints and introduce cross-viewpoint consistency and its checking
COOK, George
Full text linkTitle: Papers, 1855-1931 Description: .5 linear ft.
Notes: Author, educator. Includes correspondence, manuscripts, addresses, biographical sketches, memorials, photographs, a scrapbook and a song composed by William Weston Patton, President of Howard University. Gift, 1958.
Subjects: Business; Education; Washington (DC). Childers, Lulu V. Du Bois, W. E. B. (William Edward Burghardt), 1868-1963; As correspondent Funeral rites and ceremonies; Cook, George William Howard University; Administration Howard University; Faculty; Cook, George William Howard University; Presidents; Patton, William Weston Howard University; Students; Cook, George William Howard University, Washington (DC); Faculty members\u27 papers Howard University, Washington (DC); School of Commerce and Finance Patton, William Weston Roosevelt, Theodore, 1858-1919; As correspondent Spingarn, J. E. (Joel Elias), 1875-1939 Tunnell, W. V. White, Walter F. (Walter Francis), 1893-1955; As correspondent Wilkinson, F. D. Woodson, Carter G. (Carter Godwin), 1875-1950
Location: Howard University, Moorland-Spingarn Research Center (Washington, DC) NIDS Fiche #: 4.72.22 NUCMC Number: MS 83-122
BURCH.Charles
Full text linkTitle: Papers, 1913-1948 (bulk 1936-1948) Description: 2 linear ft.
Notes: Educator, author, school administrator. Chairman of the English Dept. at Howard University. Biographical materials, correspondence, writings and research notes concerning Daniel Defoe, miscellaneous printed matter, clippings, and photographs. Correspondents include Henry C. Hutchins, John Robert Moore, William Grant Still and Verna Arvey Still. Burch\u27s extensive library of eighteenth century English literature is housed in Howard University\u27s Founders Library. Received from Hepburn Carver, 1952.
Subjects: Afro-American college teachers -- Washington (DC). lcsh College teachers -- Washington (DC). lcsh Defoe, Daniel, 1661?-1731. Howard University. Dept. of English. Other authors: Arvey, Verna, 1910- , correspondent. Hutchins, Henry Clinton, b. 1889, correspondent. Moore, John Robert, 1890-1973 correspondent. Still, William Grant, 1895- , correspondent.
Location: Howard University, Moorland-Spingarn Research Center (Washington, DC) NIDS Fiche #: 4.72.11 NUCMC Number: DCLV96-A33
- …
