Journals

The Davies Project at Princeton University: Research into the History of University Libraries in the United States and the History of their Collections The Davies Project at Princeton University: Research into the History of University Libraries in the United States and the History of their Collections- Database of United States … Branch Libraries in the Bronx: A History with Selected Photographs Branch Libraries in the Bronx: A History with Selected Photographs- Illustrated history of the New York Public Library branches. Infography about Library Instruction -- History Infography about Library Instruction -- History- Sources recommended by a librarian whose research specialty is the history of library instruction. The Infography about Public Libraries -- United States -- History The Infography about Public Libraries -- United States -- History- Sources recommended by a professor whose research specialty is the history of U.S. public libraries. Intellectual Freedom Within the Profession: A Look Back at Freedom of Expression and the Alternative Library Press Intellectual Freedom Within the Profession: A Look Back at Freedom of Expression and the Alternative Library Press- Overview by Toni Samek of early radical library publications fo… American Women's History, A Research Guide: Librarianship American Women's History, A Research Guide: Librarianship- Bibliography of print and online sources. Archives of lis-libhist Archives of lis-libhist- Mailing list associated with the Library History Group. Searchable logs and subscription information. Jefferson's Legacy: A Brief History of the Library of Congress Jefferson's Legacy: A Brief History of the Library of Congress- Official guide to the development of its role as a national library, with descriptions of its buildings, a timeline… Libraries Today Libraries Today- History of libraries in Canada and particularly Ontario with annotated photographs, texts and biographies of librarians. South Carolina Library History Project South Carolina Library History Project- All aspects of librarianship in the state, including histories of public, private and academic institutions, biographies and recollections,… Survivor: The History of the Library Survivor: The History of the Library- Article from History Magazine reviewing the evolution of libraries. The Order of Books The Order of Books- Facsimile of Thomas Jefferson's manuscript prescribing the arrangement of his personal library, later to form the nucleus of a Library of Congress classified a… The Mysterious Fate of the Great Library of Alexandria The Mysterious Fate of the Great Library of Alexandria- Analysis of the varying accounts of the library's destruction by fire. History of Andrew Carnegie and Carnegie Libraries History of Andrew Carnegie and Carnegie Libraries- Biographical material, photographs and details of his benefactions in Pennsylvania. Sequential Log Implementation Sequential Log Implementation- A set of slides comparing Moore and Mealy machines and showing how they are used in designing the logic for vending machines and traffic light contr… Moore Machine Moore Machine- Wikipedia article on Moore machines which are FSA with output determined by current state alone. Mealy Machine Mealy Machine- Wikipedia article on Mealy machines, which are simple transducers. Specification of Sequential Systems Specification of Sequential Systems- The application of Moore and Mealy machines in the design of synchronous sequential systems. Finite State Machines with Output (Mealy and Moore Machines) Finite State Machines with Output (Mealy and Moore Machines)- Articles which converts an FSA to equivalent Moore and Mealy machines and discusses their equivalence. Implementing Mealy and Moore Machines Implementing Mealy and Moore Machines- This site has an example of conversion of a FSA to equivalent Moore and Mealy machines. Virtual Turing Machine Virtual Turing Machine- A web based simulator of Turing machine. Turing & Post Machines (C++ Simulators) Turing & Post Machines (C++ Simulators)- C++ programs that simulate Deterministic and Nondeterministic Multitape Turing and Post Machines. LING 106 Introduction to Formal Linguistics LING 106 Introduction to Formal Linguistics- Lecture notes providing definitions, examples, theorems and problems. Course taught at University of Pennsylvania, Department of Lingu… Grammars and Parsing Grammars and Parsing- Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods. Formal Language Theory for Natural Language Processing Formal Language Theory for Natural Language Processing- A draft manuscript with chapters on set theory, regular languages, context free languages and the Chomsky hierarchy. Grammars Grammars- A set of slides on grammars and language generation, with examples including a grammar for an abbreviated C language. A Hierarchy of Languages A Hierarchy of Languages- A brief discussion of context sensitive languages, recursively enumerable languages and languages with no grammars. Examples show these are not equivalen… Formal Language Theory Formal Language Theory- An introductory approach to the topic using many examples. Formal Language Theory Formal Language Theory- A lecture on grammars, generating languages from grammars, the Chomsky classification and derivation trees. The Virtual Laboratory Project The Virtual Laboratory Project- Engaged in research, design, and development of Grid technologies that help in solving large-scale compute and data intensive science applications …