Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Rice University" +contributor:("Chaudhuri, Swarat"). Showing records 1 – 23 of 23 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Rice University

1. Bansal, Suguman. Algorithmic analysis of Regular repeated games.

Degree: MS, Engineering, 2016, Rice University

 The problem on computing rational behaviors in multi-agent systems with selfish agents (Games) has become paramount for the analysis of such systems. {\em Nash equilibria}… (more)

Subjects/Keywords: Repeated games; Bounded rationality; Nash equilibira; Nash equilibria computation; Regular repeated games; Automata; Comparators

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bansal, S. (2016). Algorithmic analysis of Regular repeated games. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/95650

Chicago Manual of Style (16th Edition):

Bansal, Suguman. “Algorithmic analysis of Regular repeated games.” 2016. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/95650.

MLA Handbook (7th Edition):

Bansal, Suguman. “Algorithmic analysis of Regular repeated games.” 2016. Web. 17 Jan 2021.

Vancouver:

Bansal S. Algorithmic analysis of Regular repeated games. [Internet] [Masters thesis]. Rice University; 2016. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/95650.

Council of Science Editors:

Bansal S. Algorithmic analysis of Regular repeated games. [Masters Thesis]. Rice University; 2016. Available from: http://hdl.handle.net/1911/95650


Rice University

2. Lu, Yanxin. Corpus-Driven Systems for Program Synthesis and Refactoring.

Degree: PhD, Engineering, 2019, Rice University

 Programming is a difficult task. Programmers need to deal with small details inside overly complex computer programs. Sometimes it is inevitable for programmers to make… (more)

Subjects/Keywords: Program Synthesis; Big Data; Machine Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lu, Y. (2019). Corpus-Driven Systems for Program Synthesis and Refactoring. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105342

Chicago Manual of Style (16th Edition):

Lu, Yanxin. “Corpus-Driven Systems for Program Synthesis and Refactoring.” 2019. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/105342.

MLA Handbook (7th Edition):

Lu, Yanxin. “Corpus-Driven Systems for Program Synthesis and Refactoring.” 2019. Web. 17 Jan 2021.

Vancouver:

Lu Y. Corpus-Driven Systems for Program Synthesis and Refactoring. [Internet] [Doctoral dissertation]. Rice University; 2019. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/105342.

Council of Science Editors:

Lu Y. Corpus-Driven Systems for Program Synthesis and Refactoring. [Doctoral Dissertation]. Rice University; 2019. Available from: http://hdl.handle.net/1911/105342


Rice University

3. Rahbar, Afsaneh. Learning Program Invariants from Proof Corpora.

Degree: MS, Engineering, 2018, Rice University

 In program verification, loop invariants are of particular interest. Indeed, writing a correct and useful invariant is as challenging as verifying the program itself. Current… (more)

Subjects/Keywords: Invariants; Proof Synthesis; Program verification; Hoare logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rahbar, A. (2018). Learning Program Invariants from Proof Corpora. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105626

Chicago Manual of Style (16th Edition):

Rahbar, Afsaneh. “Learning Program Invariants from Proof Corpora.” 2018. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/105626.

MLA Handbook (7th Edition):

Rahbar, Afsaneh. “Learning Program Invariants from Proof Corpora.” 2018. Web. 17 Jan 2021.

Vancouver:

Rahbar A. Learning Program Invariants from Proof Corpora. [Internet] [Masters thesis]. Rice University; 2018. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/105626.

Council of Science Editors:

Rahbar A. Learning Program Invariants from Proof Corpora. [Masters Thesis]. Rice University; 2018. Available from: http://hdl.handle.net/1911/105626


Rice University

4. Feser, Jack Killian. Inductive Program Synthesis from Input-Output Examples.

Degree: MS, Engineering, 2016, Rice University

 We present a method for example-guided synthesis of higher-order functional pro- grams. Given a set of input-output examples, our method synthesizes a program in a… (more)

Subjects/Keywords: program synthesis; programming by example; higher-order programs; recursive data structures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Feser, J. K. (2016). Inductive Program Synthesis from Input-Output Examples. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/96260

Chicago Manual of Style (16th Edition):

Feser, Jack Killian. “Inductive Program Synthesis from Input-Output Examples.” 2016. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/96260.

MLA Handbook (7th Edition):

Feser, Jack Killian. “Inductive Program Synthesis from Input-Output Examples.” 2016. Web. 17 Jan 2021.

Vancouver:

Feser JK. Inductive Program Synthesis from Input-Output Examples. [Internet] [Masters thesis]. Rice University; 2016. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/96260.

Council of Science Editors:

Feser JK. Inductive Program Synthesis from Input-Output Examples. [Masters Thesis]. Rice University; 2016. Available from: http://hdl.handle.net/1911/96260


Rice University

5. Shah, Ameesh. Differentiable Program Learning with an Admissible Neural Heuristic.

Degree: MS, Engineering, 2020, Rice University

 We study the problem of learning differentiable functions expressed as programs in a domain-specific language. Such programmatic models can offer benefits such as composability and… (more)

Subjects/Keywords: Machine Learning; Program Synthesis; Functional Programming; Differentiable Progamming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shah, A. (2020). Differentiable Program Learning with an Admissible Neural Heuristic. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/109184

Chicago Manual of Style (16th Edition):

Shah, Ameesh. “Differentiable Program Learning with an Admissible Neural Heuristic.” 2020. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/109184.

MLA Handbook (7th Edition):

Shah, Ameesh. “Differentiable Program Learning with an Admissible Neural Heuristic.” 2020. Web. 17 Jan 2021.

Vancouver:

Shah A. Differentiable Program Learning with an Admissible Neural Heuristic. [Internet] [Masters thesis]. Rice University; 2020. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/109184.

Council of Science Editors:

Shah A. Differentiable Program Learning with an Admissible Neural Heuristic. [Masters Thesis]. Rice University; 2020. Available from: http://hdl.handle.net/1911/109184


Rice University

6. Wang, Yue. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.

Degree: PhD, Engineering, 2018, Rice University

 Robots are being deployed for many real-world applications like autonomous driving, disaster rescue, and personal assistance. Effectively planning robust executions under uncertainty is critical for… (more)

Subjects/Keywords: Robotics; Formal Methods; Planning under Uncertainty; POMDPs; Policy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2018). Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/106178

Chicago Manual of Style (16th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/106178.

MLA Handbook (7th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Web. 17 Jan 2021.

Vancouver:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Internet] [Doctoral dissertation]. Rice University; 2018. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/106178.

Council of Science Editors:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Doctoral Dissertation]. Rice University; 2018. Available from: http://hdl.handle.net/1911/106178


Rice University

7. Wang, Yue. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.

Degree: PhD, Computer Science, 2018, Rice University

 Robots are being deployed for many real-world applications like autonomous driving, disaster rescue, and personal assistance. Effectively planning robust executions under uncertainty is critical for… (more)

Subjects/Keywords: Robotics; Formal Methods; Planning under Uncertainty; POMDPs; Policy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2018). Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/108015

Chicago Manual of Style (16th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/108015.

MLA Handbook (7th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Web. 17 Jan 2021.

Vancouver:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Internet] [Doctoral dissertation]. Rice University; 2018. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/108015.

Council of Science Editors:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Doctoral Dissertation]. Rice University; 2018. Available from: http://hdl.handle.net/1911/108015


Rice University

8. Wang, Yue. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.

Degree: PhD, Computer Science, 2018, Rice University

 Robots are being deployed for many real-world applications like autonomous driving, disaster rescue, and personal assistance. Effectively planning robust executions under uncertainty is critical for… (more)

Subjects/Keywords: Robotics; Formal Methods; Planning under Uncertainty; POMDPs; Policy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2018). Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105879

Chicago Manual of Style (16th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/105879.

MLA Handbook (7th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Web. 17 Jan 2021.

Vancouver:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Internet] [Doctoral dissertation]. Rice University; 2018. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/105879.

Council of Science Editors:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Doctoral Dissertation]. Rice University; 2018. Available from: http://hdl.handle.net/1911/105879


Rice University

9. Wang, Yue. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.

Degree: PhD, Engineering, 2018, Rice University

 Robots are being deployed for many real-world applications like autonomous driving, disaster rescue, and personal assistance. Effectively planning robust executions under uncertainty is critical for… (more)

Subjects/Keywords: Robotics; Formal Methods; Planning under Uncertainty; POMDPs; Policy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2018). Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105878

Chicago Manual of Style (16th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/105878.

MLA Handbook (7th Edition):

Wang, Yue. “Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives.” 2018. Web. 17 Jan 2021.

Vancouver:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Internet] [Doctoral dissertation]. Rice University; 2018. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/105878.

Council of Science Editors:

Wang Y. Bounded Policy Synthesis for POMDPs with Safe-Reachability and Quantitative Objectives. [Doctoral Dissertation]. Rice University; 2018. Available from: http://hdl.handle.net/1911/105878


Rice University

10. Lu, Yanxin. Improving Peer Evaluation Quality in Massive Open Online Courses.

Degree: MS, Engineering, 2015, Rice University

 As several online course providers such as Coursera, Udacity and edX emerged in 2012, Massive Open Online Courses (MOOCs) gained much attention across the globe.… (more)

Subjects/Keywords: MOOC; Peer Evaluation; Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lu, Y. (2015). Improving Peer Evaluation Quality in Massive Open Online Courses. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88103

Chicago Manual of Style (16th Edition):

Lu, Yanxin. “Improving Peer Evaluation Quality in Massive Open Online Courses.” 2015. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88103.

MLA Handbook (7th Edition):

Lu, Yanxin. “Improving Peer Evaluation Quality in Massive Open Online Courses.” 2015. Web. 17 Jan 2021.

Vancouver:

Lu Y. Improving Peer Evaluation Quality in Massive Open Online Courses. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88103.

Council of Science Editors:

Lu Y. Improving Peer Evaluation Quality in Massive Open Online Courses. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88103


Rice University

11. Imam, Shams Mahmood. Cooperative Execution of Parallel Tasks with Synchronization Constraints.

Degree: PhD, Engineering, 2015, Rice University

 The topic of this thesis is the effective execution of parallel applications on emerging multicore and manycore systems in the presence of modern synchronization and… (more)

Subjects/Keywords: Cooperative Techniques; Cooperative Runtime; Synchronization Constraints; Eureka Programming Model; Selector Model; Task Parallel Model; Actor Model; Habanero Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Imam, S. M. (2015). Cooperative Execution of Parallel Tasks with Synchronization Constraints. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/88129

Chicago Manual of Style (16th Edition):

Imam, Shams Mahmood. “Cooperative Execution of Parallel Tasks with Synchronization Constraints.” 2015. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88129.

MLA Handbook (7th Edition):

Imam, Shams Mahmood. “Cooperative Execution of Parallel Tasks with Synchronization Constraints.” 2015. Web. 17 Jan 2021.

Vancouver:

Imam SM. Cooperative Execution of Parallel Tasks with Synchronization Constraints. [Internet] [Doctoral dissertation]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88129.

Council of Science Editors:

Imam SM. Cooperative Execution of Parallel Tasks with Synchronization Constraints. [Doctoral Dissertation]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88129


Rice University

12. Wang, Yue. A Constraint-Based Approach to Reactive Task and Motion Planning.

Degree: MS, Engineering, 2016, Rice University

 This thesis presents a novel and scalable approach for Reactive Task and Motion Planning. We consider changing environments with uncontrollable agents, where the robot needs… (more)

Subjects/Keywords: Constraint-based approaches; Reactive synthesis; Syntax-guided synthesis; Mobile manipulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2016). A Constraint-Based Approach to Reactive Task and Motion Planning. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88419

Chicago Manual of Style (16th Edition):

Wang, Yue. “A Constraint-Based Approach to Reactive Task and Motion Planning.” 2016. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88419.

MLA Handbook (7th Edition):

Wang, Yue. “A Constraint-Based Approach to Reactive Task and Motion Planning.” 2016. Web. 17 Jan 2021.

Vancouver:

Wang Y. A Constraint-Based Approach to Reactive Task and Motion Planning. [Internet] [Masters thesis]. Rice University; 2016. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88419.

Council of Science Editors:

Wang Y. A Constraint-Based Approach to Reactive Task and Motion Planning. [Masters Thesis]. Rice University; 2016. Available from: http://hdl.handle.net/1911/88419


Rice University

13. Vrvilo, Nick. Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model.

Degree: MS, Engineering, 2014, Rice University

 It has been claimed that what simplifies parallelism can also simplify resilience. Based on that assertion, we present the Concurrent Collections programming model (CnC) as… (more)

Subjects/Keywords: Concurrent Collections; Resilience; Checkpoint/Restart

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vrvilo, N. (2014). Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88191

Chicago Manual of Style (16th Edition):

Vrvilo, Nick. “Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model.” 2014. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88191.

MLA Handbook (7th Edition):

Vrvilo, Nick. “Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model.” 2014. Web. 17 Jan 2021.

Vancouver:

Vrvilo N. Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. [Internet] [Masters thesis]. Rice University; 2014. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88191.

Council of Science Editors:

Vrvilo N. Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/88191


Rice University

14. He, Keliang. Robot Manipulation Planning Under Linear Temporal Logic Specifications.

Degree: MS, Engineering, 2015, Rice University

 Automated planning for manipulation tasks is highly desirable, for it enables robot manipulators to be used by none robotics experts. This thesis presents one approach… (more)

Subjects/Keywords: Robot Manipulation; Integrated Task and Motion Planning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

He, K. (2015). Robot Manipulation Planning Under Linear Temporal Logic Specifications. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88079

Chicago Manual of Style (16th Edition):

He, Keliang. “Robot Manipulation Planning Under Linear Temporal Logic Specifications.” 2015. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88079.

MLA Handbook (7th Edition):

He, Keliang. “Robot Manipulation Planning Under Linear Temporal Logic Specifications.” 2015. Web. 17 Jan 2021.

Vancouver:

He K. Robot Manipulation Planning Under Linear Temporal Logic Specifications. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88079.

Council of Science Editors:

He K. Robot Manipulation Planning Under Linear Temporal Logic Specifications. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88079


Rice University

15. Zhou, Yu. Swarm Robotics: Measurement and Sorting.

Degree: MS, Engineering, 2015, Rice University

 To measure is an important ability for robots to sense the environment and nearby robots. Although camera, laser, and ultrasonic provide very accurate measurements, they… (more)

Subjects/Keywords: Swarm Robotics; Physical Sorting; Distributed Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhou, Y. (2015). Swarm Robotics: Measurement and Sorting. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88413

Chicago Manual of Style (16th Edition):

Zhou, Yu. “Swarm Robotics: Measurement and Sorting.” 2015. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88413.

MLA Handbook (7th Edition):

Zhou, Yu. “Swarm Robotics: Measurement and Sorting.” 2015. Web. 17 Jan 2021.

Vancouver:

Zhou Y. Swarm Robotics: Measurement and Sorting. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88413.

Council of Science Editors:

Zhou Y. Swarm Robotics: Measurement and Sorting. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88413


Rice University

16. Fang, Ye. computer-aided mechanism design.

Degree: MS, Engineering, 2015, Rice University

 Algorithmic mechanism design, as practised today, is a manual process; however, manual design and reasoning do not scale well with the complexity of design tasks.… (more)

Subjects/Keywords: program synthesis; economic mechanism design; game theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fang, Y. (2015). computer-aided mechanism design. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/87798

Chicago Manual of Style (16th Edition):

Fang, Ye. “computer-aided mechanism design.” 2015. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/87798.

MLA Handbook (7th Edition):

Fang, Ye. “computer-aided mechanism design.” 2015. Web. 17 Jan 2021.

Vancouver:

Fang Y. computer-aided mechanism design. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/87798.

Council of Science Editors:

Fang Y. computer-aided mechanism design. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/87798


Rice University

17. Imam, Shams Mahmood. Cooperative Execution of Parallel Tasks with Synchronization Constraints.

Degree: PhD, Computer Science, 2015, Rice University

 The topic of this thesis is the effective execution of parallel applications on emerging multicore and manycore systems in the presence of modern synchronization and… (more)

Subjects/Keywords: Cooperative Techniques; Cooperative Runtime; Synchronization Constraints; Eureka Programming Model; Selector Model; Task Parallel Model; Actor Model; Habanero Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Imam, S. M. (2015). Cooperative Execution of Parallel Tasks with Synchronization Constraints. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/88130

Chicago Manual of Style (16th Edition):

Imam, Shams Mahmood. “Cooperative Execution of Parallel Tasks with Synchronization Constraints.” 2015. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88130.

MLA Handbook (7th Edition):

Imam, Shams Mahmood. “Cooperative Execution of Parallel Tasks with Synchronization Constraints.” 2015. Web. 17 Jan 2021.

Vancouver:

Imam SM. Cooperative Execution of Parallel Tasks with Synchronization Constraints. [Internet] [Doctoral dissertation]. Rice University; 2015. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88130.

Council of Science Editors:

Imam SM. Cooperative Execution of Parallel Tasks with Synchronization Constraints. [Doctoral Dissertation]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88130


Rice University

18. Prabhu, Sailesh Naveena. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.

Degree: MS, Engineering, 2014, Rice University

 This thesis tackles the Integrated Task and Motion Planning (ITMP) Problem. The ITMP problem extends classical task planning with actions that require a motion plan.… (more)

Subjects/Keywords: Integrated Task and Motion Planning; planning from high-level specification; synthesis; constraint-based; sampling-based

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Prabhu, S. N. (2014). A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88438

Chicago Manual of Style (16th Edition):

Prabhu, Sailesh Naveena. “A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.” 2014. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/88438.

MLA Handbook (7th Edition):

Prabhu, Sailesh Naveena. “A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.” 2014. Web. 17 Jan 2021.

Vancouver:

Prabhu SN. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. [Internet] [Masters thesis]. Rice University; 2014. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/88438.

Council of Science Editors:

Prabhu SN. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/88438


Rice University

19. Meel, Kuldeep Singh. Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice.

Degree: PhD, Engineering, 2017, Rice University

 Constrained counting and sampling are two fundamental problems in Computer Science with numerous applications, including network reliability, privacy, probabilistic reasoning, and constrained-random verification. In constrained… (more)

Subjects/Keywords: Constrained Counting; Constrained Sampling; SAT; universal hashing; SAT; SMT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Meel, K. S. (2017). Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105480

Chicago Manual of Style (16th Edition):

Meel, Kuldeep Singh. “Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice.” 2017. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/105480.

MLA Handbook (7th Edition):

Meel, Kuldeep Singh. “Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice.” 2017. Web. 17 Jan 2021.

Vancouver:

Meel KS. Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice. [Internet] [Doctoral dissertation]. Rice University; 2017. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/105480.

Council of Science Editors:

Meel KS. Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice. [Doctoral Dissertation]. Rice University; 2017. Available from: http://hdl.handle.net/1911/105480

20. Imam, Shams. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.

Degree: MS, Engineering, 2013, Rice University

 This study presents a hybrid concurrent programming model combining the previously developed Fork-Join model (FJM) and Actor model (AM). With the advent of multi-core computers,… (more)

Subjects/Keywords: Parallel programming; Actor model; Fork-join model; Async-finish model; Habanero-Scala

…Framework [23], OpenMP 3.0 [28] etc. At Rice University, we have our own… …Habanero-C [30]. The Habanero Multicore Software Research Group at Rice University has… …Research Group at Rice University [29]. HJ supports AsyncFinish Model (AFM)… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Imam, S. (2013). Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/71662

Chicago Manual of Style (16th Edition):

Imam, Shams. “Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.” 2013. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/71662.

MLA Handbook (7th Edition):

Imam, Shams. “Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.” 2013. Web. 17 Jan 2021.

Vancouver:

Imam S. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. [Internet] [Masters thesis]. Rice University; 2013. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/71662.

Council of Science Editors:

Imam S. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. [Masters Thesis]. Rice University; 2013. Available from: http://hdl.handle.net/1911/71662

21. Dutta, Sonali. Assertion-Based Flow Monitoring of SystemC Models.

Degree: MS, Engineering, 2014, Rice University

 SystemC is the de facto system modeling language, and verification of SystemC models is a major research direction. Assertion-Based Monitoring is a dynamic verification technique… (more)

Subjects/Keywords: Flow-monitoring; SystemC; Assertion; Monitor; Flow property; Flow type; Flow attribute; Dynamic; Decentralized; Concurrent; Alive; Flow

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dutta, S. (2014). Assertion-Based Flow Monitoring of SystemC Models. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/76706

Chicago Manual of Style (16th Edition):

Dutta, Sonali. “Assertion-Based Flow Monitoring of SystemC Models.” 2014. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/76706.

MLA Handbook (7th Edition):

Dutta, Sonali. “Assertion-Based Flow Monitoring of SystemC Models.” 2014. Web. 17 Jan 2021.

Vancouver:

Dutta S. Assertion-Based Flow Monitoring of SystemC Models. [Internet] [Masters thesis]. Rice University; 2014. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/76706.

Council of Science Editors:

Dutta S. Assertion-Based Flow Monitoring of SystemC Models. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/76706

22. Drummond, Anna. Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference.

Degree: PhD, Engineering, 2014, Rice University

 This work concentrates on mining textual data. In particular, I apply Statistical Machine Learning to document clustering, predictive modeling, and document classification tasks undertaken in… (more)

Subjects/Keywords: Bayesian modeling; Text mining; Machine learning; MCMC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Drummond, A. (2014). Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/76711

Chicago Manual of Style (16th Edition):

Drummond, Anna. “Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference.” 2014. Doctoral Dissertation, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/76711.

MLA Handbook (7th Edition):

Drummond, Anna. “Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference.” 2014. Web. 17 Jan 2021.

Vancouver:

Drummond A. Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference. [Internet] [Doctoral dissertation]. Rice University; 2014. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/76711.

Council of Science Editors:

Drummond A. Statistical Machine Learning for Text Mining with Markov Chain Monte Carlo Inference. [Doctoral Dissertation]. Rice University; 2014. Available from: http://hdl.handle.net/1911/76711

23. Meel, Kuldeep. Sampling Techniques for Boolean Satisfiability.

Degree: MS, Engineering, 2014, Rice University

 Boolean satisfiability (SAT) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical… (more)

Subjects/Keywords: SAT; Uniform generation; Model counting; Sampling techniques; Computer aided verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Meel, K. (2014). Sampling Techniques for Boolean Satisfiability. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/77222

Chicago Manual of Style (16th Edition):

Meel, Kuldeep. “Sampling Techniques for Boolean Satisfiability.” 2014. Masters Thesis, Rice University. Accessed January 17, 2021. http://hdl.handle.net/1911/77222.

MLA Handbook (7th Edition):

Meel, Kuldeep. “Sampling Techniques for Boolean Satisfiability.” 2014. Web. 17 Jan 2021.

Vancouver:

Meel K. Sampling Techniques for Boolean Satisfiability. [Internet] [Masters thesis]. Rice University; 2014. [cited 2021 Jan 17]. Available from: http://hdl.handle.net/1911/77222.

Council of Science Editors:

Meel K. Sampling Techniques for Boolean Satisfiability. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/77222

.