{"id":1093,"date":"2024-12-27T14:39:55","date_gmt":"2024-12-27T19:39:55","guid":{"rendered":"https:\/\/carleton.ca\/nmai\/?page_id=1093"},"modified":"2026-02-10T10:24:55","modified_gmt":"2026-02-10T15:24:55","slug":"theses","status":"publish","type":"page","link":"https:\/\/carleton.ca\/nmai\/theses\/","title":{"rendered":"Theses"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        Theses\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<h2 id=\"doctoral-theses\" class=\"wp-block-heading\"><strong>Doctoral Theses<br>\n<\/strong><\/h2>\n\n\n\n<p>Michael Vezina, \u201cAn Epistemic Reasoner for AgentSpeak\u201d, Ph.D., May 2023.<\/p>\n\n\n\n<p>Patrick Gavigan, \u201cAgent in a Box: an Agent-based Architecture for Robotics\u201d, Ph.D., May 2022.<\/p>\n\n\n\n<p>Chad Peters (Institute of Cognitive Science), \u201cA Model-Driven Approach to Integrated Cognition\u201d, co-supervised with Robert West, Ph.D., May 2021.<\/p>\n\n\n\n<p>Steve Highstead, M. Cog., \u201cToward Ethical Software Agents, One Test at a Time\u201d, M.Cog., co-supervised with Robert West, January 2019.<\/p>\n\n\n\n<p>Alan Davoust, \u201cDecentralized Social Data Sharing\u201d, Ph.D., June 2015.<\/p>\n\n\n\n<p>Michael W. Floyd, \u201cA General-Purpose Framework for Learning by Observation\u201d, Ph.D., May 2013, Senate Medal.<\/p>\n\n\n\n<p>Mehmet Vefa Bicakci, \u201cAnomaly Detection for Mobile Device Comfort\u201d, M.A.Sc., August 2013 (co-supervised with Stephen Marsh).<\/p>\n\n\n\n<p>Partheeban Chandrasekaran, \u201cA Testbed for Evaluating Computational Trust Models\u201d M.A.Sc., Sept. 2012.<\/p>\n\n\n\n<p>Francois&nbsp;Gagnon, <a href=\"http:\/\/docs.google.com\/a\/nmai.ca\/viewer?a=v&amp;pid=sites&amp;srcid=bm1haS5jYXxob21lfGd4OjJhNWY4ODllOGY1NjY0NDg\">A Hybrid Approach to Operating System Discovery Based on Diagnosis Theory<\/a>&nbsp;\u2013 Ph. D., May 2010.<\/p>\n\n\n\n<p>Sanjay Chandrasekharan, \u201cEpistemic Structure: An Inquiry into How Agents Change the World for Cognitive Congeniality\u201d, Ph.D., March 2005, co-supervised with Robert West.<\/p>\n\n\n\n<p>Tony White, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/White%20Thesis%20-%20SynthECA%20-%20A%20Synthetic%20Ecology%20of%20Chemical%20Agents.pdf\">SynthECA: A Synthetic Ecology of Chemical Agents<\/a>&nbsp;\u2013 Ph.D., August 2000.<\/p>\n\n\n\n<p><strong>&nbsp;<\/strong><\/p>\n\n\n\n<h2 id=\"masters-theses\" class=\"wp-block-heading\"><strong>Master\u2019s Theses<\/strong><\/h2>\n\n\n\n<p>Hari Govindasamy, M.A.Sc., \u201cHardware Accelerated SAT Solvers\u201d, co-supervised with Paulo Garcia, April 2024.<\/p>\n\n\n\n<p>Bruck Wubete, M.A.Sc., \u201cMachine Learning Approaches For Predicting Link Failures In Production Networks\u201d, co-supervised with Thomas Kunz, November 2023.<\/p>\n\n\n\n<p>Joshua Fryer, M.A.Sc., \u201cArch-Lang: A DSE Tool for Flexible Hardware\/Software Co-Design\u201d, co-supervised with Paulo Garcia, September 2022.<\/p>\n\n\n\n<p>Mahsa Layeghi, M.A.Sc., \u201cCross-paradigm conversion of an imperative programming to an Asynchronous Graph Programming (AGP) Model\u201d, co-supervised with Paulo Garcia, June 2022.<\/p>\n\n\n\n<p>Sebastien Cook, M.A.Sc., \u201cA Message Passing Many-Core Architecture for an Asynchronous Graph Programming Model\u201d, co-supervised with Paulo Garcia, June 2022.<\/p>\n\n\n\n<p>Mohamed Zalat, M.A.Sc., \u201cLearning State-Based Behavior Using Deep Neural Networks\u201d, co-supervised with Ana-Maria Cretu, September 2021.<\/p>\n\n\n\n<p>Jason Miller, M.A.Sc., \u201cPerformance Analysis of the Jason Reasoning Cycle\u201d, August 2021.<\/p>\n\n\n\n<p>Steve Highstead, M. Cog., \u201cToward Ethical Software Agents, One Test at a Time\u201d, M.Cog., co-supervised with Robert West, January 2019.<\/p>\n\n\n\n<p>Alexandre Cormier, M.A.Sc., \u201cP2PSIP over MANETs: Approaches to a Secure Implementation\u201d, co-supervised with Adjunct Prof. Gagnon, August 2018.<\/p>\n\n\n\n<p>Silas Echegini, M.A.Sc., \u201cADHT-based Routing Solution for Hierarchical MANETs\u201d, co-supervised with Prof. Kunz, August 2018.<\/p>\n\n\n\n<p>Amrik Gunaratne, M.A.Sc., \u201cA Comparison of Case-Based Reasoning and Probabilistic Graphical Models in the Context of Learning from Observation\u201d, M.A.Sc., May 2018.<\/p>\n\n\n\n<p>Silas Echegini, M.A.Sc., \u201cADHT-based Routing Solution for Hierarchical MANETs\u201d, co-supervised with Prof. Kunz, August 2018.<\/p>\n\n\n\n<p>Alexandre Cormier, M.A.Sc., \u201cP2PSIP over MANETs: Approaches to a Secure Implementation\u201d, co-supervised with Adjunct Prof. Gagnon, August 2018.<\/p>\n\n\n\n<p>Caleb Chan, \u201cContributions to Techniques for Learning Non-reactive Behaviour from Observation\u201d,&nbsp; M.A.Sc., January 2016.<\/p>\n\n\n\n<p>Mehmet Vefa Bicakci, \u201cAnomaly Detection for Mobile Device Comfort\u201d, M.A.Sc., August 2013 (co-supervised with Stephen Marsh).<\/p>\n\n\n\n<p>Partheeban Chandrasekaran, \u201cA Testbed for Evaluating Computational Trust Models\u201d M.A.Sc., Sept. 2012.<\/p>\n\n\n\n<p>Alan Wai, \u201cLearning by Imitation using Inductive Logic Programming\u201d M.A. Sc., Jan. 2011.<\/p>\n\n\n\n<p>Gayathri Jayaraman, \u201cA Mediator-based Data Integration System for Query Answering using an Optimized Extended Inverse Rules Algorithm\u201d, M.A. Sc., May 2010, (co-supervised with Leopoldo Bertossi).<\/p>\n\n\n\n<p>Alan&nbsp;Davoust, <a href=\"https:\/\/sites.google.com\/a\/nmai.ca\/home\/publications\/publicationsfiles\/thesis.pdf?attredirects=0\">Collaborative Knowledge Construction in a Peer to Peer File-Sharing Network<\/a> \u2013 M.A.Sc., Sept. 2009, Senate Medal.<\/p>\n\n\n\n<p>Ming Huang, \u201cA Caching and Pre-fetching System for Web Service Registries\u201d, M.C.S., Sept. 2008. (co-supervised with Shikharesh Majumdar).<\/p>\n\n\n\n<p>Michael W. Floyd. \u201c<a href=\"https:\/\/sce.carleton.ca\/~mfloyd\/publications\/MichaelFloyd-MastersThesis.pdf\">Improving the Performance of a RoboCup Case-Based Imitation Agent through Preprocessing of the Case Base<\/a><strong>\u201d<\/strong>.&nbsp;Master\u2019s thesis, Carleton University, December 2008. [<a href=\"http:\/\/sce.carleton.ca\/~mfloyd\/publications\/MichaelFloyd-MastersThesis.pdf\">pdf<\/a>] (1.2 MB) | [<a href=\"http:\/\/sce.carleton.ca\/~mfloyd\/publications\/MichaelFloyd-DefensePresentation-MastersThesis.pdf\">Defense Presentation<\/a>] (438 KB)<\/p>\n\n\n\n<p>Afiya&nbsp;Kassim, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/AfiyaKassimMsThesis.pdf\">Facilitating Web Service Discovery in Distributed Web Service Registries<\/a>&nbsp;\u2013 M.A.Sc., 2008.<\/p>\n\n\n\n<p>Ming Huang, \u201cA Caching and Pre-fetching System for Web Service Registries\u201d, M.C.S., Sept. 2008. (co-supervised with Shikharesh Majumdar).<\/p>\n\n\n\n<p>Michael W. Floyd, \u201cCase Base Pre-Processing for RoboCup Agent Imitation\u201d, M.A.Sc., Dec. 2008.<\/p>\n\n\n\n<p>Afiya Kassim, \u201cPeer-to-peer Web Service Registries\u201d, M.A.Sc., Dec. 2007. (co-supervised with Shikharesh Majumdar), Senate Medal.<\/p>\n\n\n\n<p>Neal Arthorne, \u201cPeer-to-Peer Data Integration Using Distributed Bridges\u201d, M.A.Sc., Apr. 2005.<\/p>\n\n\n\n<p>Kevin Lam, \u201cA Scene Learning and Recognition Framework for RoboCup Clients\u201d. Master\u2019s thesis, Carleton University, August 2005. [<a href=\"http:\/\/rcscene.sourceforge.net\/pubs\/LamThesis2005.pdf\">PDF Document<\/a>] (1.2 MB) | [<a href=\"http:\/\/rcscene.sourceforge.net\/pubs\/LamDefense2005.ppt\">Defense Presentation<\/a>] (440 KB)<\/p>\n\n\n\n<p>Paul Marlow, \u201cA Process and Tool-set for the Development of an Interface Agent for use in the RoboCup Environment\u201d. Master\u2019s thesis, Carleton University, December 2004.<\/p>\n\n\n\n<p>Ray Luo, \u201cFeature Interaction in Web Services\u201d, M.C.S., December 2004. (co-supervised with Michael Weiss).<\/p>\n\n\n\n<p>Paul Marlow, \u201cAn Interface Agent for RoboCup\u201d, M.A.Sc., December 2004.<\/p>\n\n\n\n<p>Liping Zhao, \u201cInstant Messaging-Based Networked Service Provisioning and Access Framework\u201d, M.Sc., Apr. 2004.<\/p>\n\n\n\n<p>Vladimir Tosic, \u201cService offerings for XML Web services and their management applications\u201d \u2013 Ph.D., 2004.<\/p>\n\n\n\n<p>Aloke Mukherjee, \u201cU-P2P: A Peer-to-peer System for Description and Discovery of Resource-sharing Communities\u201d, M.A.Sc., Aug. 2003.<\/p>\n\n\n\n<p>Kruti Patel, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Patel%20Thesis%20-%20XML%20Grammar%20and%20Parser%20for%20the%20Web%20Service%20Offerings%20Language.pdf\">XML Grammar and Parser for the Web Service Offerings Language<\/a>&nbsp;\u2013 M.A.Sc., January 2003.<\/p>\n\n\n\n<p>A.T.&nbsp;Mukherjee, U-P2P: a peer-to-peer system for description and discovery of resource-sharing communities&nbsp;\u2013 M.Eng., 2003.<\/p>\n\n\n\n<p>Ray Luo, \u201cGlobal context information transfer: one way to achieve ubiquitous service access\u201d \u2013 M.Sc., 2003.<\/p>\n\n\n\n<p>Diaz Puig, \u201cManagement of ubiquitous networks\u201d \u2013 M.A.Sc., 2003.<\/p>\n\n\n\n<p>Feng Chen, \u201cPolicies and Aspects as Artifacts for Non-Functional Design\u201d, M.Eng., Sept. 2002.<\/p>\n\n\n\n<p>Dongyang Zhang, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Zhang%20Thesis%20-%20The%20Deployment%20of%20Features%20in%20Internet%20Telephony.pdf\">The Deployment of Features in Internet Telephony<\/a>\u2013 M.A.Sc., January 2002.<\/p>\n\n\n\n<p>Feng Chen, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Chen%20Thesis%20-%20Policies%20as%20Design%20and%20Implementation%20Artifacts%20for%20Non%20Functional%20Requirements.pdf\">Policies as Design and Implementation Artifacts for Non Functional Requirements<\/a>&nbsp;\u2013 M.Eng., September 2002.<\/p>\n\n\n\n<p>Lei Tan, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Tan%20Thesis%20-%20SwapBox%20-%20a%20Hot-Swapping%20Framework%20for%20Swappable%20JavaBeans.pdf\">SwapBox: a Hot-Swapping Framework for Swappable JavaBeans<\/a>\u2013 M.Sc., September 2001.<\/p>\n\n\n\n<p>Tian Lu, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Lu%20Thesis%20-%20A%20CORBA-based%20Interface-centric%20Approach%20to%20Signaling%20for%20IP-based%20Telephony%20Services.pdf\">A CORBA-based Interface-centric Approach to Signaling for IP-based Telephony Services<\/a>\u2013 M.Eng., March 2001.<\/p>\n\n\n\n<p>Lei Tan, \u201cSwapBox: a Container for Hot-Swapping JavaBeans\u201d, M.Sc., Aug. 2001.<\/p>\n\n\n\n<p>Jingrong Tang, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Tang%20Thesis%20-%20Mobile%20Agent%20Based%20Advanced%20Service%20Architecture%20for%20H_323%20Internet%20Protocol%20Telephony.pdf\">Mobile Agent Based Advanced Service Architecture for H.323 Internet Protocol Telephony<\/a>\u2013 M.Eng., July 2000.<\/p>\n\n\n\n<p>David William Mennie, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Mennie%20Thesis%20-%20An%20Architecture%20to%20Support%20Dynamic%20Composition%20of%20Service%20Components%20and%20its%20Applicability%20to%20Internet%20Security.pdf\">An Architecture to Support Dynamic Composition of Service Components and its Applicability to Internet Security<\/a>\u2013 M.Eng., September 2000.<\/p>\n\n\n\n<p>Patricia Cuesta Rivalta, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/CuestaRivalta%20Thesis%20-%20Mobile%20Agent%20Management.pdf\">Mobile Agent Management<\/a>\u2013 M.Eng., September 2000.<\/p>\n\n\n\n<p>Gang Ao, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Ao%20Thesis%20-%20Software%20Hot-swapping%20Techniques%20for%20Upgrading%20Mission%20Critical%20Applications%20on%20the%20Fly.pdf\">Software Hot-swapping Techniques for Upgrading Mission Critical Applications on the Fly<\/a>\u2013 M.Eng., May 2000.<\/p>\n\n\n\n<p>Patricia Cuesta Rivalta, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/CuestaRivalta%20Thesis%20-%20Mobile%20Agent%20Management.pdf\">Mobile Agent Management<\/a>\u2013 M.Eng., September 2000.<\/p>\n\n\n\n<p>Chunhui Teng, \u201c<a href=\"https:\/\/www.collectionscanada.gc.ca\/obj\/s4\/f2\/dsk1\/tape8\/PQDD_0005\/MQ43348.pdf\">Alarm Correlation in ATM Networks<\/a>\u201d \u2013 M.Eng., 1999.<\/p>\n\n\n\n<p>K. Raza, A Plug-and-play Approach with Distributed Computing Alternatives for Network Configuration Management\u2013 M.Eng., April 1999.<\/p>\n\n\n\n<p>Ning Feng, <a href=\"http:\/\/www.sce.carleton.ca\/netmanage\/papers\/Feng%20Thesis%20-%20S-Module%20Design%20for%20Software%20Hot-Swapping.pdf\">S-Module Design for Software Hot-Swapping<\/a>\u2013 M.Eng.,1999.<\/p>\n\n\n\n<p>Y. Wang, \u201cInterface Between Mobile and Legacy SNMP Agents using DPI\u201d\u2013 M.Eng., September 1998.<\/p>\n\n\n\n<p>Yarong Li, \u201cPVC Configuration Management in Heterogeneous ATM Networks\u201d \u2013 M.Eng., January 1998.<\/p>\n\n\n\n<p>Daniel Choi, SEDO: \u201cSemantic Error Diagnostic Operation\u201d \u2013 M.Eng., September 1998.<\/p>\n\n\n\n<p>Richard Brunet, \u201cTemporal Alarm Correlation in Communication Networks\u201d \u2013 M.Eng., May 1998.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Doctoral Theses Michael Vezina, \u201cAn Epistemic Reasoner for AgentSpeak\u201d, Ph.D., May 2023. Patrick Gavigan, \u201cAgent in a Box: an Agent-based Architecture for Robotics\u201d, Ph.D., May 2022. Chad Peters (Institute of Cognitive Science), \u201cA Model-Driven Approach to Integrated Cognition\u201d, co-supervised with Robert West, Ph.D., May 2021. Steve Highstead, M. Cog., \u201cToward Ethical Software Agents, One Test [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[],"class_list":["post-1093","page","type-page","status-publish","hentry"],"acf":{"cu_post_thumbnail":false},"_links":{"self":[{"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/pages\/1093","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/comments?post=1093"}],"version-history":[{"count":2,"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/pages\/1093\/revisions"}],"predecessor-version":[{"id":1128,"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/pages\/1093\/revisions\/1128"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/media?parent=1093"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/nmai\/wp-json\/wp\/v2\/cu_page_type?post=1093"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}