Labs with Abs


Book Description




Automated Reasoning


Book Description

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together with three invited contributions were carefully reviewed and selected from a total of 112 submissions. The book offers topical sections on description, modal, and temporal logics; saturation based theorem proving, applications, and data structures; logic programming and nonmonotonic reasoning; propositional satisfiability and quantified Boolean logic; logical frameworks, higher-order logic, and interactive theorem proving; equational theorem proving and term rewriting; tableau, sequent, and natural deduction calculi and proof theory; automata, specification, verification, and logics of programs; and nonclassical logics.




Compendium of Research Reports


Book Description




Exploring Animal Behavior in Laboratory and Field


Book Description

Designed to provide a variety of exercises that engage students actively in all phases of scientific investigation, from formulating research questions through interpreting and presenting final results. Suited to undergraduates, each chapter presents an animal behavior exercise tested by academic members of the Animal Behavior Society. Four types of exercises are presented: (1) traditional exercises in which students follow a pre-determined protocol to test particular hypotheses, (2) traditional exercises that can easily be adapted to inquiry-based approaches, (3) combined pedagogy exercises that involve both traditional and inquiry approaches, and (4) inquiry exercises in which students brainstorm to generate their own hypotheses, then design their own experiments to test them. Exercises cover descriptive ethology, causation and development of behavior, and behavioral ecology. Both field and laboratory exercises are included on arthropods, fish, amphibians, reptiles, birds, and mammals.




Compendium of Research Reports


Book Description




Shipboard Power Systems Design and Verification Fundamentals


Book Description

The only book that covers fundamental shipboard design and verification concepts from individual devices to the system level Shipboard electrical system design and development requirements are fundamentally different from utility-based power generation and distribution requirements. Electrical engineers who are engaged in shipbuilding must understand various design elements to build both safe and energy-efficient power distribution systems. This book covers all the relevant technologies and regulations for building shipboard power systems, which include commercial ships, naval ships, offshore floating platforms, and offshore support vessels. In recent years, offshore floating platforms have been frequently discussed in exploring deep-water resources such as oil, gas, and wind energy. This book presents step-by-step shipboard electrical system design and verification fundamentals and provides information on individual electrical devices and practical design examples, along with ample illustrations to back them. In addition, Shipboard Power Systems Design and Verification Fundamentals: Presents real-world examples and supporting drawings for shipboard electrical system design Includes comprehensive coverage of domestic and international rules and regulations (e.g. IEEE 45, IEEE 1580) Covers advanced devices such as VFD (Variable Frequency Drive) in detail This book is an important read for all electrical system engineers working for shipbuilders and shipbuilding subcontractors, as well as for power engineers in general.







"Code of Massachusetts regulations, 2004"


Book Description

Archival snapshot of entire looseleaf Code of Massachusetts Regulations held by the Social Law Library of Massachusetts as of January 2020.




"Code of Massachusetts regulations, 1997"


Book Description

Archival snapshot of entire looseleaf Code of Massachusetts Regulations held by the Social Law Library of Massachusetts as of January 2020.




"Code of Massachusetts regulations, 1999"


Book Description

Archival snapshot of entire looseleaf Code of Massachusetts Regulations held by the Social Law Library of Massachusetts as of January 2020.