Subject: Computer science | Search Results

1. Efficient Neural Network Verification Using Branch and Bound

: Wang, Shiqi
: 2022
: Theses
: Computer scienceNeural networks (Computer science)Machine learningComputer software--Verification

2. Efficient recovery algorithms with restricted access to strings

: Sinha, Sandip
: 2022
: Theses
: Computer scienceComputer algorithmsAlgorithms--DesignComputational learning theoryCoding theory

3. Hardware-Software Co-design for Practical Memory Safety

: Hassan, Mohamed
: 2022
: Theses
: Computer engineeringComputer scienceMemory--Computer programsC++ (Computer program language)Computer security--Computer programs

4. Learning Mobile Manipulation

: Watkins, David Joseph
: 2022
: Theses
: RoboticsComputer scienceMobile robots--Design and constructionMachine learning--Industrial applications

5. Machine Learning Algorithms for Efficient Acquisition and Ethical Use of Personal Information in Decision Making

: Tkachenko, Yegor
: 2022
: Theses
: Marketing--Moral and ethical aspectsComputer scienceMachine learning--Industrial applicationsDecision makingHuman face recognition (Computer science)Facial expression--Psychological aspects

6. Machine Learning for AI-Augmented Design Space Exploration of Computer Systems

: Kwon, Jihye
: 2022
: Theses
: Computer scienceComputer engineeringArtificial intelligenceMachine learning--Industrial applicationsSupercomputersNeural networks (Computer science)

7. Machine Learning for Gravitational-Wave Astronomy: Methods and Applications for High-Dimensional Laser Interferometry Data

: Colgan, Robert Edward
: 2022
: Theses
: Computer scienceAstrophysicsMachine learning--Industrial applicationsGravity waves--Computer programsLaser interferometryEinstein, Albert, 1879-1955

8. Modality Bridging and Unified Multimodal Understanding

: Akbari, Hassan
: 2022
: Theses
: Computer scienceArtificial intelligenceMultimedia communicationsVideo recordingsSound recordingsElectric transformers

9. Modelling and remote sensing of meltwater drainage on Antarctic ice shelves

: Spergel, Julian Jacob
: 2022
: Theses
: GeophysicsComputer scienceHydrologyIce shelvesDrainageMeltwaterRunoffClimatic changes

10. Multi-Functional Interfaces for Accelerators

: Piccolboni, Luca
: 2022
: Theses
: Computer scienceComputer engineeringSystems on a chip--Design and constructionComputer security

11. Steven Skiena and Xingzhi Guo: Knowledge Graph Embedding Evolution for COVID-19

: Skiena, Steven
: 2022
: Presentations (Communicative Events)
: COVID-19 (Disease)COVID-19 (Disease)VirusesComputer science

12. Systems-Level Approaches to Understanding Protein Synthesis

: Metz, Jordan Benjamin
: 2022
: Theses
: BiologyComputer scienceBioinformaticsNucleotide sequenceRibosomesProteins--Synthesis--RegulationRNA-protein interactionsAnimal models in research

13. A Computational Perspective of Causal Inference and the Data Fusion Problem

: Correa, Juan David
: 2021
: Theses
: Artificial intelligenceComputer scienceStochastic control theory--Statistical methodsStatisticsMachine learning

14. A Secure and Formally Verified Commodity Multiprocessor Hypervisor

: Li, Shih-Wei
: 2021
: Theses
: Computer scienceMultiprocessors--ProgrammingComputer securityVirtual computer systemsLinux

15. Autogenerative Networks

: Chang, Oscar
: 2021
: Theses
: Computer scienceArtificial intelligenceNeural networks (Computer science)Machine learning

16. Bespoke Security for Resource Constrained Cyber-Physical Systems

: Arroyo, Miguel Angel
: 2021
: Theses
: Computer scienceComputer securityCooperating objects (Computer systems)Drone aircraftAutonomous vehicles

17. Beyond summary statistics: extracting etiological insights from genome-wide association cohorts

: Yuan, Jie
: 2021
: Theses
: Computer scienceGeneticsStatisticsSchizophreniaHuman genome--ResearchSchizophrenia--Etiology

18. Bridging the Gap Between People, Mobile Devices, and the Physical World

: Xiao, Chang
: 2021
: Theses
: Computer sciencePocket computersUser interfaces (Computer systems)Computer interfacesWearable computersSmartphonesDigital cameras

19. Computational Framework for the Identification of Neural Circuits Underlying Psychiatric Disorders

: Chang, Jonathan
: 2021
: Theses
: NeurosciencesComputer scienceBiologyAutism spectrum disordersMutation (Biology)Basal ganglia--DiseasesLimbic system--Diseases

20. Deconvolution Problems for Structured Sparse Signal

: Kuo, Han-wen
: 2021
: Theses
: Electrical engineeringComputer scienceStatisticsAlgorithms

Refine your search

Author

Academic Unit

Subject

Type

Degree Level

Date Published

Series

Language

1. Efficient Neural Network Verification Using Branch and Bound

2. Efficient recovery algorithms with restricted access to strings

3. Hardware-Software Co-design for Practical Memory Safety

4. Learning Mobile Manipulation

5. Machine Learning Algorithms for Efficient Acquisition and Ethical Use of Personal Information in Decision Making

6. Machine Learning for AI-Augmented Design Space Exploration of Computer Systems

7. Machine Learning for Gravitational-Wave Astronomy: Methods and Applications for High-Dimensional Laser Interferometry Data

8. Modality Bridging and Unified Multimodal Understanding

9. Modelling and remote sensing of meltwater drainage on Antarctic ice shelves

10. Multi-Functional Interfaces for Accelerators

11. Steven Skiena and Xingzhi Guo: Knowledge Graph Embedding Evolution for COVID-19

12. Systems-Level Approaches to Understanding Protein Synthesis

13. A Computational Perspective of Causal Inference and the Data Fusion Problem

14. A Secure and Formally Verified Commodity Multiprocessor Hypervisor

15. Autogenerative Networks

16. Bespoke Security for Resource Constrained Cyber-Physical Systems

17. Beyond summary statistics: extracting etiological insights from genome-wide association cohorts

18. Bridging the Gap Between People, Mobile Devices, and the Physical World

19. Computational Framework for the Identification of Neural Circuits Underlying Psychiatric Disorders

20. Deconvolution Problems for Structured Sparse Signal

Academic Commons

Refine your search

Search Constraints

Search Results

1. Efficient Neural Network Verification Using Branch and Bound

2. Efficient recovery algorithms with restricted access to strings

3. Hardware-Software Co-design for Practical Memory Safety

4. Learning Mobile Manipulation

5. Machine Learning Algorithms for Efficient Acquisition and Ethical Use of Personal Information in Decision Making

6. Machine Learning for AI-Augmented Design Space Exploration of Computer Systems

7. Machine Learning for Gravitational-Wave Astronomy: Methods and Applications for High-Dimensional Laser Interferometry Data

8. Modality Bridging and Unified Multimodal Understanding

9. Modelling and remote sensing of meltwater drainage on Antarctic ice shelves

10. Multi-Functional Interfaces for Accelerators

11. Steven Skiena and Xingzhi Guo: Knowledge Graph Embedding Evolution for COVID-19

12. Systems-Level Approaches to Understanding Protein Synthesis

13. A Computational Perspective of Causal Inference and the Data Fusion Problem

14. A Secure and Formally Verified Commodity Multiprocessor Hypervisor

15. Autogenerative Networks

16. Bespoke Security for Resource Constrained Cyber-Physical Systems

17. Beyond summary statistics: extracting etiological insights from genome-wide association cohorts

18. Bridging the Gap Between People, Mobile Devices, and the Physical World

19. Computational Framework for the Identification of Neural Circuits Underlying Psychiatric Disorders

20. Deconvolution Problems for Structured Sparse Signal