| Past Presentations |
|
| 07-Jan-15 @ 3:30pm |
History of the Internet
David Macneil |
| 20-Nov-14 @ 3:30pm |
Dexter: A Browser-based Data Explorer for End Users
Abhijeet Mohapatra
Sudhir Agarwal |
| 12-Nov-14 @ 3:30pm |
Mental Models and Student Success in 1st Year Computer Science
Eric Aubanel |
| 30-Oct-14 @ 3:30pm |
Software Architectures - Perspectives on Research and Education
Sascha Alda |
| 29-Oct-14 @ 3:30pm |
Formal Specification Level
Mathias Soeken |
| 22-Oct-14 @ 3:30pm |
Can Consciousness Result from Computation? An update on the SOCIAL program.
Joe Horton |
| 15-Oct-14 @ 4:30pm |
Clinical trials in Computer Security: A first proof-of-concept experiment
Jose Fernandez |
| 22-Sep-14 @ 4:30pm |
Multitenant Java for High-Density Cloud Deployments
Michael Dawson |
| 23-Apr-14 @ 2:30pm |
Dimensions on Texts
Hai Zhuge |
| 14-Mar-14 @ 2:30pm |
Towards Effective Feature Selection in Machine Learning-Based Botnet Detection Approaches
Elaheh Biglar Beigi Samani
Hossein Hadian Jazi |
| 26-Feb-14 @ 3:30pm |
Ultra Wideband Wireless Positioning Systems
Mohammad Reza Yavari |
| 12-Dec-13 @ 2:30pm |
Let’s Play: Exploring Interaction Design Challenges of Digital Tabletops using Games
Stacey Scott |
| 4-Dec-13 @ 2:30pm |
Better Dictionaries through Natural Language Processing
Paul Cook |
| 29-Nov-13 @ 2:30pm |
Body Area Sensor Network
Zahoor Ali Khan |
| 13-Nov-13 @ 2:30pm |
Social Feedback: Designing Systems that use Social Interaction History for Learning and
Behaviour Change
Scott Bateman |
| 1-Nov-13 @ 2:30pm |
User-Friendly Model Checking of Health Care Workflows
Yngve Lamo |
| 23-Oct-13 @ 3:30pm |
The Mystery of the Missing Lower Bound
Joe Horton |
| 6-Aug-13 @ 1:30pm |
Memory Retrieval and Graphical Passwords
Elizabeth Stobert
Baton: Key Agility for Android Without a Centralized Certificate Infrastructure
David Barrera |
| 3-Jun-13 @ 3:30pm |
Real-Time Simulation of Camera Errors and Their Effect on Some Basic Robotic Vision Algorithms
Jessica Millberg |
| 1-May-13 @ 3:30pm |
A Dynamic Moldable Job Scheduling Based Parallel SAT Solver
Sajjad Asghar
Nearest Facet of a Higher Dimensional Convex Hull to an Inner Point
Zhan Gao |
| 15-Apr-13 @ 3:30pm |
Distributed Rendering for Interactive Multi-Screen Visualization Environments based on XNA Game Studio
Evangelos Zotos |
| 20-Mar-13 @ 3:30pm |
Message Oriented Middleware: Overview, Capabilities and Demonstration
Rick Wightman |
| 27-Feb-13 @ 3:30pm |
Managing Concurrency with Software Transactional Memory
Angus Fletcher |
| 23-Jan-13 @ 3:30pm |
Wireless Industrial Control Networks
Victoria Pimentel |
| 16-Jan-13 @ 1:30pm |
Content Sharing Dynamics in the Global File Hosting Landscape
Aniket Mahanti |
| 28-Nov-12 @ 3:30pm |
Evaluation of Data Transfer from FPGA to PC: Increasing Frame Rate by BLOB Detection
Peter Samarin |
| 21-Nov-12 @ 3:30pm |
Developing an Algorithm for Data Storage in the Cloud
Joe Horton |
| 14-Nov-12 @ 3:00pm |
Higher-order Multidimensional Programming
John Plaice |
| 10-Oct-12 @ 3:30pm |
An Enhanced Cooperative MAC Protocol Based on Perceptron Training
Peijian Ju |
| 03-Oct-12 @ 3:30pm |
On Data Staging Strategies for Mobile Accesses to Cloud Services
Yang Wang |
| 26-Sept-12 @ 3:30pm |
The Grailog Systematics for Visual-Logic Knowledge Representation with Generalized Graphs
Harold Boley |
| 19-Sept-12 @ 3:30pm |
Arrr... RNA: Adventures on Computational Seas
Patricia Evans |
| 12-Sept-12 @ 3:30pm |
IT Security and Innovation in Software Development
Lynne Ellyn |
| 30-May-12 @ 4:00pm |
Model Driven Engineering and DPF
Yngve Lamo |
| 28-Mar-12 @ 3:30pm |
Peer-generated Video Applications Survey: Use cases, and Prototypes
Bill McIver |
| 22-Feb-12 @ 3:30pm |
Charting an innovative career path through CS: Experiences from the frontlines of social and technological impact
Sara Ehrhardt |
| 16-Oct-11 @ 3:30pm |
Blurring Boundaries: Moving Beyond Rigid Input Modes to Enhance Interactions in Digital Environments
Pourang Irani |
| 14-Oct-11 @ 2:30pm |
IBM Global Technology Outlook 2011
Stephen Perelgut |
| 30-Sept-11 @ 10:30am |
From DNA to Jay-Z: How Ideas from Bioinformatics can Automate Finding Rhymes in Rap Music
Dr. Dan Brown |
| 14-Sept-11 @ 3:30pm |
Distributed Object-Relational Knowledge as Positional-Slotted, Object-Applicative Rules
Dr. Harold Boley |
03-Jun-11 @ 1:30pm
NRC-IIT - Training Room
46 Dineen Drive, Fredericton, NB |
Expressive Querying of Semantic Databases with Incremental Query Rewriting
Dr. Alexandre Riazanov |
02-Mar-11 @ 3:30pm
NRC-IIT - Training Room
46 Dineen Drive, Fredericton, NB |
Exploring the Concept of Patient Self-Care: A Challenge of Complex Information Retrieval
Dr. Christina Godfrey |
| 01-Jan-11 @ 3:30pm |
Process Mining: Improving BPM by Automatically Discovering Workflows
Dr. Scott Buffett |
| 01-Dec-10 @ 3:30pm |
Sentient Algorithms: A Psychological Basis for Artificial Consciousness
Aaron Michaux |
| 10-Nov-10 @ 3:30pm |
Computational Sequence Design Techniques for DNA Microarrays
Dr. Dan Tulpin |
| 3-Nov-10 @ 3:30pm |
Einstein on a Computer
Joey Bernard |
| 27-Oct-10 @ 3:30pm |
EMG Pattern Recognition for the Control of Powered Upper Limb Prostheses: State-of-the-Art and Challenges for Clinical Use
Dr. Kevin Englehart |
| 20-Oct-10 @ 3:30pm |
Evolve with Machines
Dr. Howard Li |
| 29-Sept-10 @ 3:30pm |
Orbitwise Polyhedral Representation Conversion
Dr. David Bremner |
| 22-Sept-10 @ 3:30pm |
The Price of Anarchy: An Application to Supply Chain Contract
Dr. Donglei Du |
| 28-July-10 @ 2:30pm |
The FIVIS Bicycle Simulator
David Scherfgen
A Low-cost Optical Motion Tracking System
Timur Saitov |
| 14-May-10 @ 2:30pm |
BiKe: Interoperable Electronic Health Record Systems and Semantic Web Projects
Sungin Lee |
| 31-Mar-10 @ 3:30pm |
Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries
Patricia Evans |
| 24-Mar-10 @ 3:30pm |
I/O-efficient Rectangular Segment Search
Gautam Das |
| 19-Mar-10 @ 2:30pm |
Critical Infrastructure Protection in Europe
Roberto Setola |
| 17-Mar-10 @ 3:30pm |
Visualizing Executable Functional-Logic Specifications
Harold Boley |
| 17-Feb-10 @ 3:40pm |
Pseudo-Random Numbers
Dr. Bill Knight |
| 03-Feb-10 @ 3:30pm |
Virtual World Open Source Project
John DeDourek |
| 07-Dec-09 @ 3:30pm |
Odin-II: Building a Compiler for Exploring FPGA Architectural Designs
Dr. Ken Kent |
| 26-Oct-09 @ 3:30pm |
Autonomous Systems: What you always wanted to ask about robots and never dared to ask!
Dr. Paul Ploger |
| 21-Oct-09 @ 3:30pm |
Introduction to Acenet
Joey Bernard |
| 13-Oct-09 @ 4pm |
Taming the complexity monster
Holger H. Hoos, The University of British Columbia |
| 5-Oct-09 @ 3:30pm |
IT Disconnect: High Demand / Low Supply
Dr. Danny Silver, Acadia University |
| 30-Sept-09 @ 7:30pm |
Distributed Convolutional-Based Coding for Cooperative Systems
Mohamed Elfituri, PhD, Barrett Broadband Networks Inc.
*Sponsored by IEEE* |
| 30-Sept-09 @ 3:30pm |
Compiling versus Code Conversion: Research Challenges in Legacy Application
Modernization
Dr. Andrew McAllister, Faculty of Computer Science |
| 23-Sept-09 |
Deep Proofs are Long: Introducing Merge Depth of Resolution Proofs
Dr. Joseph Horton, Faculty of Computer Science |
| 24-Sept-08 |
University-Industrial Research Oppotunities and MITACS
Ian Baird, MITACS |
| 08-Oct-08 |
A computational approach to the Hirsch Conjecture
Dr. David Bremner, Faculty of Computer Science |
| 22-Oct-08 |
Knowledge Grid Research in China
Hai Zhuge, Professor, Institute of Computing Technology and Chinese Academy of Sciences |
| 29-Oct-08 |
Towards E-Health Knowledge Grid for Evidence Based Medicine
Dr. Weichang Du, Faculty of Computer Science |
| 5-Nov-08 |
Services in Support of Collaborative Virtual Organizations
Dr. Bruce Spencer, NRC IIT and FCS Adjunct Professor
|
| 12-Nov-08 |
On the Design of E-health Systems: Diagnostic Class of Patients as the Central Organizing Concept
Dr. Lev Goldfarb, Faculty of Computer Science |
| 20-Nov-08 |
The next generation of SAT solvers
Robert Wille, University of Bremen
*Sponsored by IEEE* |
| 24-Nov-08 |
Functional Coverage in Bounded Model Checking
Dr. Daniel Große, University of Bremen |
| 26-Nov-08 |
Massive Data Algorithmics
Dr. Bradford Nickerson, Faculty of Computer Science |
| 11-Mar-09 |
Identification and resolution of conflicts during ontology integration using rules
Dr. Yevgen Biletskiy from the Department of Electrical and Computer Engineering, UNB |
| 18-Mar-09 |
On the Computational Complexity of Analogy-Based Models of Problem Solving: Implications and Opportunities
Dr. Dr. Todd Wareham from the Department of Computer Science, Memorial University |
| 01-Apr-09 |
Can We Evolve an Artificial Conciousness? An April Fool's Project.
Dr. Joe Horton, Faculty of Computer Science
|
| 02-June-09 |
The Mathematics of Mathematical Handwriting Recognition
Stephen Watt, University of Western Ontario |
| 19-Mar-08 |
Coordination of Collaboration as a Service
Dr. Bruce Spencer, NRC |
| 20-Feb-08 |
Web Engineering with Ruby-on-Rails and Social Architectures
Dr. Dan Martell, Spheric Technologies Inc, Moncton |
| 13-Feb-08 |
TransLucid, the Cartesian Programming
Dr. John Plaice, School of Computer Science and Engineering, the University of New South Wales, Australia |
| 30-Jan-08 |
Identification of Parallelism in Handel C
Joseph Libby, PhD candidate |
| 23-Jan-08 |
The Use of Commercial Technology For Military and Policing Training (with live demo)
Captain Jeremy MacDonald |
| 16-Jan-08 |
Using Behavioral Specification for Digital System Design
Ke Deng (CS 6999 Presentation) |
| 6-Dec-07 |
On the Computational Complexity of Privacy Advisors
Rhonda Chaytor, PhD candidate from Memorial University of Newfoundland |
| 28-Nov-07 |
Toward Object-Oriented Software/Knowledge Co-Engineering
Weichang Du, Faculty of Computer Science |
| 21-Nov-07 |
CMC Microsystems Presentation
Peter Stokes, Director, Research and Development CMC Microsystems |
| 21-Nov-07 |
Quantitative Data and Decision Making for Muscular Disease
Andrew Hamilton-Wright, Post-Doctoral research fellow at Queen's University in the Faculty of Health Sciences
|
| 14-Nov-07 |
Programming for Multi-Core Processors
Gerhard Dueck, Faculty of Computer Science
|
| 5-Nov-07 |
Your Formal Invitation: How Formal Methods Can Be Useful
Dr. Bill Gardner, Modeling and Design Automation Group, Department of Computing
and Information Science at the University of Guelph |
| 22-Oct-07 |
Web data and Text Mining Course
Amin Jashki, Hamid Baghi and Reza Zafarani, MCS students |
| 15-Oct-07 |
The Unwelcome Visitor -- how an inefficient software construct can be made much faster
Nigel Horspool, Professor, Department of Computer Science, University of Victoria |
| 11-Oct-07 |
Distributed Intelligence Systems: A New Paradigm for Systems Integration
William A. Gruver, President of Intelligent Robotics Corporation and Professor Emeritus of Engineering Science at Simon Fraser University |
| 10-Oct-07 |
Protecting Network QoS against DDoS Attacks
Dr. Wei Lu, Researcher at the Information Security Centre of eXcellence, UNB |
| 3-Oct-07 |
A Framework for an Adaptive, Cost-sensitive Intrusion Detection and Response System
Natalia Stakhanova |
| 12-Sept-07 |
Resource-Aware Load Balancing of Parallel Applications
Dr. Eric Aubanel, Faculty of Computer Science |
| 1-Aug-07 |
Computer Vision for Industrial Applications
Dr. Rainer Herpers, Professor at the Bonn-Rhein-Sieg University of Applied Sciences for the Department of Computer Science located in Sankt Augustin, Germany and also an Adjunct Professor at York University for the Department of Computer Science and Engineering |
| 18-Jul-07 |
Visualization in PC-based Environments
Dr. Rainer Herpers, Professor at the Bonn-Rhein-Sieg University of Applied Sciences for the Department of Computer Science located in Sankt Augustin, Germany and also an Adjunct Professor at York University for the Department of Computer Science and Engineering |
| 20-Jun-07 |
Harrison McCain Foundation Visiting Professor
Dietmar Dietrich, Professor and Head of the Institute of Computer Technology at Vienna University of Technology |
| 13-Jun-07 |
Applying Combinatorial Rigidity to the Mystery of Protein Allostery
Andrea Mantler, PhD Candidate from University of North Carolina |
| 6-Jun-07 |
Performance Improvement Strategies in Fractal Image Coding
Dr. Dinesh B Kulkarni, Visiting Scholar from Department Of Computer Science
Walchand College Of Engineering, Sangli, MH, India
|
| 10-Apr-07 |
Pair Programming in Undergraduate CS Education
Dr. Eric Aubanel, Faculty of Computer Science |
| 28-Mar-07 |
aWeb: A Framework for the Design, Creation & Deployment of Adaptive Websites
Dr. Chaouki Regoui, Research Associate & Project Manager, AIF |
| 21-Mar-07 |
User Preference Elicitation for Automated Negotiation
Dr. Mike Fleming, FCS & Dr. Scott Buffett, NRC |
| 14-Mar-07 |
Examining Specification Techniques for Hardware
Dr. Kenneth Kent, Faculty of Computer Science |
| 28-Feb-07 |
Transforming Ourselves: Are We Up For It?
Dr. Jane Fritz, Faculty of Computer Science & VP Learning Environment |
| 14-Feb-07 |
Finding Common RNA Substructures
Dr. Patricia Evans, Faculty of Computer Science |
| 7-Feb-07 |
A Framework for User Guidance in Web Search Engine Interfaces Based on Past Users’ Behavior
Mohammadreza Barouni-Ebarahimi, PhD Candidate, Faculty of Computer Science
|
| 29-Jan-07 |
A Survey of Techniques for the Co-verification of Hardware/Software Co-designed Systems
Thomas Hall, PhD Candidate |
| 17-Jan-07 |
Technology Enhanced Learning
Dr. Barbara Wasson, Visiting Professor from Department of Information Science and Media Studies Bergen University College, Norway |
| 10-Jan-07 |
Is there a Short Proof? Clause trees” and the question "Is Np = coNP?"
Dr. Joseph Horton, Faculty of Computer Science
|
| 6-Dec-06 |
Motivating for Medical Informatics in general, and looking at possibilities for empowering ICU personnel through the use of advanced ICT tools in particular *Sponsored by New Brunswick IEEE*
Svein-Ivan Lillenhaug, Visiting Professor from the Department of Computing within the Faculty of Engineering at Bergen University College, Norway |
| 4-Dec-06 |
Poker for Fun and Profit (and Intellectual Challenge)
Robert Holte, Computing Science Department, University of Alberta |
| 29-Nov-06 |
An Introduction to Multiagent Systems and an Agent-based Neural Network Environment (ANNE) *Sponsored by New Brunswick IEEE*
Gordie Noye, PhD Candidate, Faculty of Computer Science
|
| 20-Nov-06 |
Computer Science and Internationalisation at Bergen University College, Norway
Svein-Ivan Lillenhaug, Visiting Professor from the Department of Computing within the Faculty of Engineering at Bergen University College, Norway
|
| 15-Nov-06 |
Integrating Teaching and Research: Interpreting a UNB Strategic Priority through CS Eyes
Dr. Jane Fritz, Professor, Faculty of Computer Science & VP Learning Environment |
| 1-Nov-06 |
Stable and Unstable Foldings of Proteins in the H-P Model
Dr. David Bremner, Professor, Faculty of Computer Science |
| 14-Sep-06 |
Intensional Programming for Software Product Lines
Dr. Weichang Du, Professor, Faculty of Computer Science |
| 19-Jul-06 |
The Role of Animation at Three Levels of the Information Visualization Framework
Dr. Pourang Irani |
| 5-Jul-06 |
A Branch and Cut Algorithm for the Halfspace Depth Problem
Dr. David Bremner & Dan Chen |
| 24-Apr-06 |
A practical application of a Service Oriented Architecture
Ronald Surette & William Bembridge, ACOA |
| 12-Apr-06 |
The First Class(Ification)–Oriented Representational Formalism
Dr. Lev Goldfarb |
| 15-Feb-06 |
Traffic-Engineering Based Routing and Channel Allocation in Wired and Wireless Networks
Dr. Junaid A. Khan |
| 5-Dec-05 |
Succinct Indexes and their Applications
Ian Munro |
| 2-Nov-05 |
Shedding some light on Mixed Integer Linear Programming (Brief Version)
Shedding some light on Mixed Integer Linear Programming (Extended Version)
Michael Lamoureux |
| 2-Nov-05 |
Semantic Matching Algorithms
Lu Yang (CS 6999 Presentation) |
| 30-Nov-05 |
Software Test Automation
Atif Latif (CS 6999 Presentation) |
| 23-Nov-05 |
Cost Metrics for Reversible and Quantum Logic Synthesis
Dmitri Maslov (Sponsored by New Brunswick IEEE) |
| 2-Nov-05 |
Minimum Cycle Bases of Graphs
Joe Horton |
| 10-Aug-05 |
Solving optimal containment problems via cutting plane algorithms
Rene Brandenberg, Technical University of Munich, Germany
|
| 25-May-05 |
Foundations of Semantic Web Services: Description Logic and Pi-Calculus
Sandy Liu |
| 06-Apr-05 |
Autonomic Risk Management Framework For Critical Infrastructure Protection
Dr. Mihaela Ulieru |
| 30-Mar-05 |
An Overview of Communication Research Centre and the Terrestrial Wireless Systems Branch
Dr. Gerry Chan |
| 23-Feb-05 |
Primal-Dual methods for data depth
Dr. David Bremner |
| 12-Jan-05 |
Shortest-Path Algorithms for Massive Graphs
Norbert Zeh |
| 24-Nov-04 |
Mobility, Context Awareness and Applications in Next Generation Networks.
Bernd Kurz |
| 4-Nov-04 |
Separation Made Easier
David Bremner, Thomas Burger & Peter Gritzmann |
| 27-Oct-04 |
A Collaborative Multi-agent based System Using Interaction Protocols
Dr. Maryam Purvis |
| 22-Sept-04 |
Adjustable Autonomy in Robotic Systems
Josh Dick |
| 17-Mar-04 |
Automated Synthesis for Adaptive Hypermedia
Mehran Nadjarbashi-Noghani |
| 25-Feb-04 |
Cooperation, Collaboration, and Social Rationality in Agents
Elijah Bitting |
| 25-Feb-04 |
Scheduling Patient Tests Using JACK Intelligent Agents
Yu Guan |
| 28-Jan-04 |
Human Computer Interface: Snakelife Input Device Generates Two and Three Dimensional Images
Measurand, Inc. |
| 5-Jan-04 |
Delivery of semantically diverse learning objects to learner's context
Yevgen Biletskiy |
| 17-Dec-03 |
Don't Forget the People: Human Factors of System Security
Scott Flinn |
| 15-Dec-03 |
Automatic detection of viruses and stopping the spread
Michael Jewett |
| 8-Dec-03 |
Virtual Private Network for UNBF
Michael Jewett |
| 3-Dec-03 |
Qualitative Model Abstraction and Debugging for Model-based Diagnosis By
Yuhong Yan |
| 5-Nov-03 |
The New Brunswick Prince Edward Island Research Grid
Dave Macneil |
| 27-Oct-03 |
Building the National Science Digital Library (U.S.)
Diane Hillman |
| 24-Sep-03 |
Finding Patterns in Data: A Comparison of Machine Learning Techniques Applied to KDD-CUP 2000 Customer Data
Wenpu Xing, John Lei, Mark Kilfoil and Jing Lu |
| 28-May-03 |
Get results: fast, correct, reliable
Joerg Schwarz |
| 12-May-03 |
Existing, Proposed and Developing Standards in Wireless Computing
Jasminder Grewal |
| 07-May-03 |
Probabilistic Methods in Integer Programming
Andrew Smith |
| 02-Apr-03 |
Quality of Services in Distributed Computing
Jiangyun Xu |
| 28-Mar-03 |
Investigation of Visual Programming Languages
Jia Qian |
| 26-Mar-03 |
Data Mining Methodologies - Survey of Customer Profiling
Xiaowen Xu & Yu Guan |
| 18-Mar-03 |
Informatics: synthesis of experiment and calculation
Jonathan M. Goodman |
| 03-Mar-03 |
The Basic Ideas of Syntactic Pattern Recognition
Muhammad Al-Digeil |
| 26-Feb-03 |
The Past, Present and Future of Image Representations
Dave Gay |
| 19-Feb-03 |
Research Challenges in Reversible Logic Synthesis
Dr. Gerhard Dueck |
| 12-Feb-03 |
Pattern Recognition as Entropy Minimization
Dave Gay |
| 10-Feb-02 |
Quantum Computation and Quantum Information
Dmitri Maslov |
| 29-Jan-03 |
Adaptive Hypermedia: Using Bayesian Networks for Computer Adaptive Testing
Janet Noye |
| 20-Nov-02 |
A New Method for Evaluating Learning Algorithms
Huajie Zhang |
| 6-Nov-02 |
Architecture of the Eclipse Open Extensible Integrated Development Environment
Michael Van Meekeren |
| 01-Nov-02 |
Making the Most of Multimodal Interfaces
Murray Crease |
| 30-Oct-02 |
Doing Logic Design In Two Directions At Once (And Why One Wants To)
Mike Miller |
| 23-Oct-02 |
A Teaching Approach For Software Testing
Andrew McAllister |
| 16-Oct-02 |
Measuring Traffic at the Core of the Internet
Alex Lopez-Ortiz |
| 07-Oct-02 |
A UNB-Fredericton Interactive Campus Map
Rick Wightman |
| 04-Oct-02 |
IPv6: The Next Generation of the Internet Protocol
Michael Jewett |
| 20-Sept-02 |
The Two Median Problem on a Tree with Positive and Negative Vertex Weights
Robert Benkoczi |
