Computer Engineering Commons^™

Smart Parking Deck, Ryne Turner, Matthew Mcdade, Julie Aichinger, Laveréna Wienclaw

Williams Honors College, Honors Research Projects

The Smart Parking Deck employs elementary circuit design elements and mobile application development. Each device module uses laser proximity sensors to check the availability of an individual parking space and a Zigbee unit to communicate with the adjacent device module. The modules are connected to a network hub that manages all of the incoming and outgoing parking data. This data is displayed on the mobile application. The system is easily manageable and energy efficient, significantly decreasing the costs associated with other smart parking systems on the market. This system is aimed at decreasing commute time for students by allowing them …

Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil

Engineering Faculty Articles and Research

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.

The results presented in this paper …