Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

2004

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 1951 - 1980 of 17606

Full-Text Articles in Entire DC Network

Disk Based Model Checking, Tonglaga Bao Oct 2004

Disk Based Model Checking, Tonglaga Bao

Theses and Dissertations

Disk based model checking does not receive much attention in the model checking field becasue of its costly time overhead. In this thesis, we present a new disk based algorithm that can get close to or faster verification speed than a RAM based algorithm that has enough memory to complete its verification. This algorithm also outperforms Stern and Dill's original disk based algorithm. The algorithm partitions the state space to several files, and swaps files into and out of memory during verification. Compared with the RAM only algorithm, the new algoritm reduces hash table insertion time by reducing the cost …


The Montclarion, October 21, 2004, The Montclarion Oct 2004

The Montclarion, October 21, 2004, The Montclarion

The Montclarion

Student Newspaper of Montclair State University


Quaker Campus, October 21, 2004 (Vol. 91, Issue 7), Whittier College Oct 2004

Quaker Campus, October 21, 2004 (Vol. 91, Issue 7), Whittier College

Quaker Campus

No abstract provided.


The Cowl - V. 69 N. 8 - October 21, 2004 Oct 2004

The Cowl - V. 69 N. 8 - October 21, 2004

The Cowl

The Cowl - student newspaper of Providence College. Vol. 69 No. 8 - October 21, 2004. 24 pages.


Central Florida Future, Vol. 37 No. 20, October 21, 2004 Oct 2004

Central Florida Future, Vol. 37 No. 20, October 21, 2004

Central Florida Future

More on Florida's ballot than just Kerry v. Bush: Voters will consider eight amendments to the Sunshine State's constitution; Pretty face in politics: Titanic star and a former EPA official criticize president; Off-campus gym not pulling its own weight: Hundreds of fitness buffs join commercial gyms.


Vista: October 21, 2004, University Of San Diego Oct 2004

Vista: October 21, 2004, University Of San Diego

USD Vista (1965-)

No abstract provided.


Optimización Para El Normado, Planeamiento, Diseño Y Manejo Del Agua Subterránea, Richard C. Peralta Oct 2004

Optimización Para El Normado, Planeamiento, Diseño Y Manejo Del Agua Subterránea, Richard C. Peralta

Civil and Environmental Engineering Faculty Publications

Los modelos de Simulación/optimización (S/O) junta modelos de simulación y optimización para calcular estrategias óptimas para el manejo del agua subterránea ante problemas de optimización propuestos. Una estrategia es un conjunto de caudales de extracción e inyección de agua subterráneas distribuidas espacial y temporalmente. Los modelos S/O están llegando a ser más comúnmente usados para el desarrollo de normas, planeamiento, diseño del sistema y manejo. Por ejemplo, los encargados del manejo y planificación del agua algunas veces deben decidir como controlar el uso del agua subterránea para originar un futuro favorable y evitar serios problemas. Los modelos S/O pueden ayudar …


The Missouri Miner, October 21, 2004 Oct 2004

The Missouri Miner, October 21, 2004

The Missouri Miner Newspaper

No abstract provided.


Spectator 2004-10-21, Editors Of The Spectator Oct 2004

Spectator 2004-10-21, Editors Of The Spectator

The Spectator

No abstract provided.


Campus Chronicle (Vol. 7, No. 11), Valparaiso University Oct 2004

Campus Chronicle (Vol. 7, No. 11), Valparaiso University

Campus Chronicle

No abstract provided.


Scholastic Minutes 10/20/2004, Scholastic Committee Oct 2004

Scholastic Minutes 10/20/2004, Scholastic Committee

Scholastic Committee

No abstract provided.


Spartan Daily, October 20, 2004, San Jose State University, School Of Journalism And Mass Communications Oct 2004

Spartan Daily, October 20, 2004, San Jose State University, School Of Journalism And Mass Communications

Spartan Daily (School of Journalism and Mass Communications)

Volume 123, Issue 36


The Cord Weekly (October 20, 2004) Oct 2004

The Cord Weekly (October 20, 2004)

The Cord

No abstract provided.


The Spinnaker Vol. 28. No. 10, University Of North Florida Oct 2004

The Spinnaker Vol. 28. No. 10, University Of North Florida

Spinnaker

Student newspaper for the UNF community.


The Winonan, Winona State University Oct 2004

The Winonan, Winona State University

The Winonan - 2000s

No abstract provided.


Daily Eastern News: October 20, 2004, Eastern Illinois University Oct 2004

Daily Eastern News: October 20, 2004, Eastern Illinois University

October

No abstract provided.


The Rattler (Volume 92, Issue 4, Edition 1), St. Mary's University Oct 2004

The Rattler (Volume 92, Issue 4, Edition 1), St. Mary's University

The Rattler (Previous issues)

Founded in 1919, The Rattler is the student voice of St. Mary’s University in San Antonio, Texas. The newspaper documents campus life, academic and social issues, student opinion, and local and national events as they relate to the University community. Content typically includes news articles, editorial commentary, arts and culture coverage, sports reporting, and advertisements.


Long-Term Mechanical Behavior Of Yucca Mountain Tuffs, And Its Variability, Jaak J.K. Daemen, George Danko, Jaime Gonzalez, Amy J. Smiecinski, Raymond E. Keeler Oct 2004

Long-Term Mechanical Behavior Of Yucca Mountain Tuffs, And Its Variability, Jaak J.K. Daemen, George Danko, Jaime Gonzalez, Amy J. Smiecinski, Raymond E. Keeler

Publications (YM)

We propose to continue the investigation of the long term strength of Yucca Mountain tuffs, with particular emphasis on tuffs from and near the emplacement horizon. We propose to also continue and expand the investigation of the spatial variability of rock strength and stiffness. An intrinsic component of this planned rock testing is the testing of rock joints. Although the emphasis is on tests aimed at determining long term strength, as part of the testing measurements of stiffness also are collected, and will be collected, reported, and analyzed.


E-News, Volume 2, No. 56, October 20, 2004, University Of South Florida St. Petersburg. Division Of University Relations Oct 2004

E-News, Volume 2, No. 56, October 20, 2004, University Of South Florida St. Petersburg. Division Of University Relations

Points of Pride, Scene & Herd, and E-News

The October 20, 2004, issue of E-News, a newsletter for the University of South Florida St. Petersburg community.


October 20th 2004, Hispanic News Oct 2004

October 20th 2004, Hispanic News

Inland Empire Hispanic News

No abstract provided.


Email, Katy Nesmith To Florida Ornithological Society Board Of Directors, Fall 2004 Education Award, October 20, 2004, Katy Nesmith Oct 2004

Email, Katy Nesmith To Florida Ornithological Society Board Of Directors, Fall 2004 Education Award, October 20, 2004, Katy Nesmith

Florida Ornithological Society - Records - Full Collection

An email from Katy NeSmith to the Florida Ornithological Society Board of Directors about the Education Award to be given to Save Our Seabirds, Inc.


Crow's Nest, October 20, 2004, Crow's Nest Staff Oct 2004

Crow's Nest, October 20, 2004, Crow's Nest Staff

Crow's Nest

The October 20, 2004, issue of the Crow's Nest.


The Bg News October 20, 2004, Bowling Green State University Oct 2004

The Bg News October 20, 2004, Bowling Green State University

BG News (Student Newspaper)

The BGSU campus student newspaper. October 20, 2004. Volume 95-Issue 41.


The Guardian, October 20, 2004, Wright State University Student Body Oct 2004

The Guardian, October 20, 2004, Wright State University Student Body

The Guardian Student Newspaper

Twenty page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.


The Advocate (Vol. 2, Issue 4) Oct 2004

The Advocate (Vol. 2, Issue 4)

Student Newspaper (Amicus, Advocate...)

No abstract provided.


The Inkwell, Armstrong Atlantic State University Oct 2004

The Inkwell, Armstrong Atlantic State University

The Inkwell

No abstract provided.


Annual Barber Lecture To Be Given October 28, University Relations Oct 2004

Annual Barber Lecture To Be Given October 28, University Relations

Campus News Archive

No abstract provided.


Central And North America (Nearctic), E. M. Gese, M. Bekoff Oct 2004

Central And North America (Nearctic), E. M. Gese, M. Bekoff

United States Department of Agriculture Wildlife Services: Staff Publications

Coyotes appear slender with “a long, narrow, pointed nose; small rounded nose pads; large pointed ears; slender legs; small feet; and a bushy tail...” (Young and Jackson 1951). Size varies geographically (Young and Jackson 1951) (Table 4.1.1), although adult males are heavier and larger than adult females. They range in color from pure grey to rufous; melanistic coyotes are rare (Young and Jackson 1951). Fur texture and color varies geographically: northern subspecies have long coarse hair, coyotes in the desert tend to be fulvous in color, while coyotes at higher latitudes are darker and more grey (Young and Jackson 1951). …


Ucsb Professor To Discuss ‘Nerd Girls’ Oct. 27 At Cal Poly, Public Affairs Office Oct 2004

Ucsb Professor To Discuss ‘Nerd Girls’ Oct. 27 At Cal Poly, Public Affairs Office

Press Releases

No abstract provided.


Spartan Daily, October 19, 2004, San Jose State University, School Of Journalism And Mass Communications Oct 2004

Spartan Daily, October 19, 2004, San Jose State University, School Of Journalism And Mass Communications

Spartan Daily (School of Journalism and Mass Communications)

Volume 123, Issue 35