Recent Additions

• Matching \mu-Logic 

  Chen, Xiaohong; Rosu, Grigore (2019-01-19)

  Matching logic is a logic for specifying and reasoning about structure by means of patterns and pattern matching. This paper makes two contributions. First, it proposes a sound and complete proof system for matching ...

  application/pdf

  PDF (682kB)
• Dynamics of conditional vortices in turbulent channel flow: A direct numerical simulation 

  Kendall, Thomas Mark (University of Illinois at Urbana-Champaign, 1992-09)

  application/pdf

  PDF (2GB)
• Generalized Rewrite Theories, Coherence Completion and Symbolic Methods 

  Meseguer, Jose (2018-12-19)

  A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

  application/pdf

  PDF (716kB)
• Pavement Surface Treatments for Ice-Prone Locations in the Illinois Highway System 

  Akin, Michelle; Zhang, Yan; Shi, Xianming (Illinois Center for Transportation/Illinois Department of Transportation, 2018-11)

  This project aims to identify and evaluate effective and durable pavement surface treatments (PSTs) suitable for implementation at Illinois Department of Transportation (IDOT) ice-prone locations. A user-friendly questionnaire ...

  application/pdf

  PDF (2MB)
• Alternative Noise Barrier Approvals 

  El-Rayes, Khaled; Liu, Liang; Ignacio, Ernest-John (Illinois Center for Transportation/Illinois Department of Transportation, 2018-11)

  Current Illinois Department of Transportation (IDOT) policies specify that noise barriers can be constructed of earth, masonry, concrete, and composite materials. These IDOT policies specify that alternative noise barriers ...

  application/pdf

  PDF (1MB)