Bishop's University - Department of Computer Science

start

stefan — 2012-05-15T16:08:53-04:00

1323186142		current
Line 10:		Line 10:
	====== Solid Computer Science Education ======		====== Solid Computer Science Education ======

-	We [[undergraduate_degree_programs\|offer]] a [[http://www.ubishops.ca/fileadmin/bishops_documents/academic_calendar/Computer-Science.pdf\|solid and complete]] Computer Science education (Honours, Major, Minor). In addition, we offer interdisciplinary programmes (such as [[Bachelor of Arts in Information Technology\|BAIT]]), and a number of certificates.	+	We [[undergraduate_degree_programs\|offer]] a [[http://www.ubishops.ca/fileadmin/bishops_documents/academic_calendar/32-Computer-Science.pdf\|solid and complete]] Computer Science education (Honours, Major, Minor). In addition, we offer interdisciplinary programmes (such as [[Bachelor of Arts in Information Technology\|BAIT]]), and a number of certificates.

	====== Research ======		====== Research ======

msc:financial_matters

stefan — 2012-05-15T15:35:52-04:00

1315323117		current
Line 6:		Line 6:
	* Any course taken in addition to the courses required for the program is charged at its nominal value (the per-credt amount multiplied with the number of credits of the respective course).		* Any course taken in addition to the courses required for the program is charged at its nominal value (the per-credt amount multiplied with the number of credits of the respective course).
	* In particular, preparatory students will be charged normal tuition for the courses they take, plus the student activity fee during their preparatory term(s).		* In particular, preparatory students will be charged normal tuition for the courses they take, plus the student activity fee during their preparatory term(s).
-	* In addition to the per credit charge, a student activity fee (currently about $470) is charged every term.	+	* In addition to the per credit charge, a student activity fee (currently about $471) is charged every term.
	* Graduate students are considered full time for the first five terms of the program. They can petition the Division to remain full time for another term. Their status changes to part time afterward.		* Graduate students are considered full time for the first five terms of the program. They can petition the Division to remain full time for another term. Their status changes to part time afterward.
	* Starting from the sixth term, students will be charged one credit per term (and no student activity fee), up to and including the term in which the final version of the dissertation is submitted to the university.		* Starting from the sixth term, students will be charged one credit per term (and no student activity fee), up to and including the term in which the final version of the dissertation is submitted to the university.
-	* The current amount charged per credit is $68.93 for Quebec residents, $188.92 for out-of-province Canadian students, and $538.65 for international students.	+	* The current amount charged per credit is $72.26 for Quebec residents, $195.27 for out-of-province Canadian students, and $541.98 for international students.
	* Some international students qualify for Quebec resident fees, contact the Business Office for details.		* Some international students qualify for Quebec resident fees, contact the Business Office for details.

msc:graduate_admission

stefan — 2012-05-14T20:18:04-04:00

1335028095		current
Line 16:		Line 16:
	- Alternatively, you can go directly to the [[https://www.gobishops.ca/bishops/apply/\|Bishop's on-line application system]] and submit an official application (a fee of $60 applies). You will be directed between other things to the [[https://turing.ubishops.ca/gradapp\|departmental form]] to complete your application by supplying references and research data.		- Alternatively, you can go directly to the [[https://www.gobishops.ca/bishops/apply/\|Bishop's on-line application system]] and submit an official application (a fee of $60 applies). You will be directed between other things to the [[https://turing.ubishops.ca/gradapp\|departmental form]] to complete your application by supplying references and research data.

-	We accept applications throughout the year, and we will offer admission to successful applicants as early as possible. It is advisable to submit your application 7 months in advance of the intended starting date of your program.	+	We accept applications throughout the year, and we will offer admission to successful applicants as early as possible. This being said, please submit your official application (through Admissions) by 1 March to guarantee processing for September registration and by 1 October to guarantee processing for January registration. International students in particular are advised to submit their application 7 months in advance of the intended starting date of their program given that the visa process takes supplementary time.

	Beside the requirements above, unless you have at least one year of university studies in English we require proof of proficiency in English, such as a TOEFL score. We expect in principle a minimum TOEFL score of 580 (paper based), 237 (computer based), or 92 (Internet based). We take into consideration other standardized tests of English proficiency, including IELTS (for which we expect a score of 6.5 or better). In the absence of proof of English proficiency or should your score be insufficient you may be denied admission or may be required to take English language courses upon arrival at Bishop's.		Beside the requirements above, unless you have at least one year of university studies in English we require proof of proficiency in English, such as a TOEFL score. We expect in principle a minimum TOEFL score of 580 (paper based), 237 (computer based), or 92 (Internet based). We take into consideration other standardized tests of English proficiency, including IELTS (for which we expect a score of 6.5 or better). In the absence of proof of English proficiency or should your score be insufficient you may be denied admission or may be required to take English language courses upon arrival at Bishop's.

research

stefan — 2012-05-14T18:00:26-04:00

1337027635		current
Line 8:		Line 8:
	MSc Theses are available on a [[students\|different page]].		MSc Theses are available on a [[students\|different page]].

		+	* 2012-002: {{:papers:bucstr-2012-002.pdf\|Parse Trees for Context-Free Parallel Communicating Grammar Systems}} by Stefan D. Bruda and Mary Sarah Ruth Wilkin (May 2012, 8 pages).
	* 2012-001: {{:papers:bucstr-2012-001.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}}, by Farzad Salehi, Stefan D. Bruda, Yasir Malik, and Bessam Abdulrazak (May 2012, 13 pages).		* 2012-001: {{:papers:bucstr-2012-001.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}}, by Farzad Salehi, Stefan D. Bruda, Yasir Malik, and Bessam Abdulrazak (May 2012, 13 pages).

papers:bucstr-2012-001.pdf

stefan — 2012-05-14T18:00:10-04:00

papers:bucstr-2012-002.pdf - created

stefan — 2012-05-14T17:56:04-04:00

students

stefan — 2012-05-14T16:50:55-04:00

1336965888		current
Line 2:		Line 2:
	====== MSc Theses ======		====== MSc Theses ======

-	* [[http://cs.ubishops.ca/theses/salehi201112.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing]] by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)	+	* {{:papers:salehi201112.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}} by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)
-	* [[http://cs.ubishops.ca/theses/chen201106.pdf\|Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation]] by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)	+	* {{:papers:chen201106.pdf\|Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation}} by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)
-	* [[http://cs.ubishops.ca/theses/zhangh201105.pdf\|Bayesian Image Matting Using Infrared and Color Cues]] by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)	+	* {{:papers:zhangh201105.pdf\|Bayesian Image Matting Using Infrared and Color Cues}} by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)
-	* [[http://cs.ubishops.ca/theses/gao201104.pdf\|Fuzzy Logic Techniques for Matting Using Infrared and Color Image]] by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).	+	* {{:papers:gao201104.pdf\|Fuzzy Logic Techniques for Matting Using Infrared and Color Image}} by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).
-	* [[http://cs.ubishops.ca/theses/dai200901.pdf\|A Testing Framework for Real-Time Specifications]] by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).	+	* {{:papers:dai200901.pdf\|A Testing Framework for Real-Time Specifications}} by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/waez200812.pdf\|Commmmunicating Visibly pushdown Processes]] by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:waez200812.pdf\|Commmmunicating Visibly pushdown Processes}} by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/zhangz200812.pdf\|Model Checking is Refining—Computational Temporal Logic is Equivalent to Failure Trace Testing]] by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:zhangz200812.pdf\|Model Checking is Refining—Computational Temporal Logic is Equivalent to Failure Trace Testing}} by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/zhangy200812.pdf\|The Relationship Between Several Parallel Computational Models]] by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:zhangy200812.pdf\|The Relationship Between Several Parallel Computational Models}} by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/sun200708.pdf\|Multiple Target Tracking in Cluttered Scene]] by Yi Sun, August 2007 (supervisor: Layachi Bentabet).	+	* {{:papers:sun200708.pdf\|Multiple Target Tracking in Cluttered Scene}} by Yi Sun, August 2007 (supervisor: Layachi Bentabet).

	====== Current graduate students ======		====== Current graduate students ======

papers:chen201106.pdf - created

stefan — 2012-05-14T16:47:39-04:00

papers:sun200708.pdf - created

stefan — 2012-05-14T16:46:54-04:00

papers:zhangz200812.pdf - created

stefan — 2012-05-14T16:46:49-04:00

papers:zhangy200812.pdf - created

stefan — 2012-05-14T16:46:36-04:00

papers:zhangh201105.pdf - created

stefan — 2012-05-14T16:46:22-04:00

papers:salehi201112.pdf - created

stefan — 2012-05-14T16:45:27-04:00

papers:waez200812.pdf - created

stefan — 2012-05-14T16:45:11-04:00

papers:gao201104.pdf - created

stefan — 2012-05-14T16:45:02-04:00

papers:dai200901.pdf - created

stefan — 2012-05-14T16:43:41-04:00

papers:bucstr-2010-003.pdf - created

stefan — 2012-05-14T16:27:07-04:00

papers:bucstr-2011-001.pdf - created

stefan — 2012-05-14T16:25:59-04:00

papers:bucstr-2010-002.pdf - created

stefan — 2012-05-14T16:25:57-04:00

papers:bucstr-2008-004.pdf - created

stefan — 2012-05-14T16:25:54-04:00

1337027635		current
Line 8:		Line 8:
	MSc Theses are available on a [[students\|different page]].		MSc Theses are available on a [[students\|different page]].

		+	* 2012-002: {{:papers:bucstr-2012-002.pdf\|Parse Trees for Context-Free Parallel Communicating Grammar Systems}} by Stefan D. Bruda and Mary Sarah Ruth Wilkin (May 2012, 8 pages).
	* 2012-001: {{:papers:bucstr-2012-001.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}}, by Farzad Salehi, Stefan D. Bruda, Yasir Malik, and Bessam Abdulrazak (May 2012, 13 pages).		* 2012-001: {{:papers:bucstr-2012-001.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}}, by Farzad Salehi, Stefan D. Bruda, Yasir Malik, and Bessam Abdulrazak (May 2012, 13 pages).

1336965888		current
Line 2:		Line 2:
	====== MSc Theses ======		====== MSc Theses ======

-	* [[http://cs.ubishops.ca/theses/salehi201112.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing]] by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)	+	* {{:papers:salehi201112.pdf\|A Distributed Architecture for Remote Service Discovery in Pervasive Computing}} by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)
-	* [[http://cs.ubishops.ca/theses/chen201106.pdf\|Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation]] by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)	+	* {{:papers:chen201106.pdf\|Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation}} by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)
-	* [[http://cs.ubishops.ca/theses/zhangh201105.pdf\|Bayesian Image Matting Using Infrared and Color Cues]] by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)	+	* {{:papers:zhangh201105.pdf\|Bayesian Image Matting Using Infrared and Color Cues}} by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)
-	* [[http://cs.ubishops.ca/theses/gao201104.pdf\|Fuzzy Logic Techniques for Matting Using Infrared and Color Image]] by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).	+	* {{:papers:gao201104.pdf\|Fuzzy Logic Techniques for Matting Using Infrared and Color Image}} by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).
-	* [[http://cs.ubishops.ca/theses/dai200901.pdf\|A Testing Framework for Real-Time Specifications]] by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).	+	* {{:papers:dai200901.pdf\|A Testing Framework for Real-Time Specifications}} by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/waez200812.pdf\|Commmmunicating Visibly pushdown Processes]] by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:waez200812.pdf\|Commmmunicating Visibly pushdown Processes}} by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/zhangz200812.pdf\|Model Checking is Refining—Computational Temporal Logic is Equivalent to Failure Trace Testing]] by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:zhangz200812.pdf\|Model Checking is Refining—Computational Temporal Logic is Equivalent to Failure Trace Testing}} by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/zhangy200812.pdf\|The Relationship Between Several Parallel Computational Models]] by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).	+	* {{:papers:zhangy200812.pdf\|The Relationship Between Several Parallel Computational Models}} by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).
-	* [[http://cs.ubishops.ca/theses/sun200708.pdf\|Multiple Target Tracking in Cluttered Scene]] by Yi Sun, August 2007 (supervisor: Layachi Bentabet).	+	* {{:papers:sun200708.pdf\|Multiple Target Tracking in Cluttered Scene}} by Yi Sun, August 2007 (supervisor: Layachi Bentabet).

	====== Current graduate students ======		====== Current graduate students ======