Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Other Computer Sciences (3)
- Artificial Intelligence and Robotics (2)
- Electrical and Computer Engineering (2)
- Engineering (2)
- Power and Energy (2)
-
- Computer Engineering (1)
- Graphics and Human Computer Interfaces (1)
- Life Sciences (1)
- Nanoscience and Nanotechnology (1)
- Neuroscience and Neurobiology (1)
- OS and Networks (1)
- Other Computer Engineering (1)
- Other Electrical and Computer Engineering (1)
- Other Neuroscience and Neurobiology (1)
- Other Physics (1)
- Physics (1)
- Probability (1)
- Statistics and Probability (1)
- Keyword
-
- AI (1)
- Battery (1)
- Blockchain (1)
- Computer science education (1)
- Cycle counting (1)
-
- Dissipation (1)
- Electricity grid (1)
- Energy (1)
- Energy efficiency (1)
- Information Theory (1)
- Intelligent tutoring system (1)
- Internet of things (1)
- Matchings (1)
- Non-equilibrium systems (1)
- Proof assistant (1)
- Software-defined (1)
- Solar (1)
- Streaming algorithms (1)
- Theoretical computer science (1)
- Thermodynamic computing (1)
- Triangles (1)
- Vertex cover (1)
- Vertex ordering (1)
Articles 1 - 4 of 4
Full-Text Articles in Theory and Algorithms
Tools For Tutoring Theoretical Computer Science Topics, Mark Mccartin-Lim
Tools For Tutoring Theoretical Computer Science Topics, Mark Mccartin-Lim
Doctoral Dissertations
This thesis introduces COMPLEXITY TUTOR, a tutoring system to assist in learning abstract proof-based topics, which has been specifically targeted towards the population of computer science students studying theoretical computer science. Existing literature has shown tremendous educational benefits produced by active learning techniques, student-centered pedagogy, gamification and intelligent tutoring systems. However, previously, there had been almost no research on adapting these ideas to the domain of theoretical computer science. As a population, computer science students receive immediate feedback from compilers and debuggers, but receive no similar level of guidance for theoretical coursework. One hypothesis of this thesis is that immediate …
Software-Defined Infrastructure For Iot-Based Energy Systems, Stephen Lee
Software-Defined Infrastructure For Iot-Based Energy Systems, Stephen Lee
Doctoral Dissertations
Internet of Things (IoT) devices are becoming an essential part of our everyday lives. These physical devices are connected to the internet and can measure or control the environment around us. Further, IoT devices are increasingly being used to monitor buildings, farms, health, and transportation. As these connected devices become more pervasive, these devices will generate vast amounts of data that can be used to gain insights and build intelligence into the system. At the same time, large-scale deployment of these devices will raise new challenges in efficiently managing and controlling them. In this thesis, I argue that the IoT …
Function And Dissipation In Finite State Automata - From Computing To Intelligence And Back, Natesh Ganesh
Function And Dissipation In Finite State Automata - From Computing To Intelligence And Back, Natesh Ganesh
Doctoral Dissertations
Society has benefited from the technological revolution and the tremendous growth in computing powered by Moore's law. However, we are fast approaching the ultimate physical limits in terms of both device sizes and the associated energy dissipation. It is important to characterize these limits in a physically grounded and implementation-agnostic manner, in order to capture the fundamental energy dissipation costs associated with performing computing operations with classical information in nano-scale quantum systems. It is also necessary to identify and understand the effect of quantum in-distinguishability, noise, and device variability on these dissipation limits. Identifying these parameters is crucial to designing …
Massive Graph Analysis In The Data Stream Model, Sofya Vorotnikova
Massive Graph Analysis In The Data Stream Model, Sofya Vorotnikova
Doctoral Dissertations
Graphs have become an abstraction of choice in modeling highly-structured data. The need to compute graph-theoretic properties of datasets arises in many applications that involve entities and pairwise relations between them. However, in practice the datasets in question can be too large to be stored in main memory, distributed across many machines, or changing over time. Moreover, in an increasing number of applications the algorithm has to make real time decisions as the data arrives, which puts further limitations on the time and space that can realistically be used. These characteristics render classical algorithmic approaches obsolete and necessitate the development …