This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results- 2Generative Design
- 2Model Checking
- 1Building Information Modeling
- 1Computational Design
- 1Connection Optimization
- 1Formal Methods
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
-
Fall 2019
Building Information Modeling (BIM) has become an integral part of the design process, as all building data is accessible in a digital representation and can be viewed in a 3D environment prior to construction. This supports the capability of evaluating or checking a model against building codes...
-
Fall 2023
Steel fabricators and connection designers in the building construction industry often rely on traditional connection design methods, which involve using connection design software or spreadsheets to simulate and design connections with the goal of minimizing costs associated with fabrication and...