- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
Dept. of Computer Science
The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.
Browse Sub-communities
Browse Collections of Items
-
Dissertations and Theses from the Dept. of Computer Science
-
Reports from the Digital Computer Laboratory and Information Engineering Laboratory
Browse by
Recent Additions
-
(2022-05)Matching logic is a logic that serves as the foundation of the K formal semantics framework. Through K, many programming languages have been given formal semantics in the form of a matching logic theory. The K framework ...
application/pdf
PDF (492kB)
-
(2021-07-12)The digitalization of the construction industry has led to workflows of modern construction projects relying on visual data. In particular, cameras are used for monitoring progress and construction resource activities, and ...
application/pdf
PDF (6MB)
-
(2021-07-19)Today’s distributed system infrastructures usually consist of multiple systems that cooperate to deliver computing and storage services together. The reliability of distributed system infrastructures not only depends on ...
application/pdf
PDF (1MB)
-
(2021-07-23)We explore approaches to improve over existing amodal prediction models for the task of semantic amodal instance level video object segmentation, i.e., the task to delineate objects and their occluded parts in video data. ...
application/pdf
PDF (59MB)
-
(2021-07-19)Threshold cryptosystems eliminate a single point of failure by distributing the root of trust in applications like key management-as-a-service, signature schemes and encrypted data storage. However, existing threshold ...
application/pdf
PDF (852kB)