1
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /

Full text 
Favorites
Saved in:
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
3
Electronic Voting [E-Book] : 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /
Table of Contents: “...Investigating transparency dimensions for Internet voting -- OpenVoting: Recoverability from Failures in Dual Voting -- Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE -- Online Voting in Ontario Municipalities: A Standards-based...”

Full text 
Favorites
Saved in:
4
Group Decision and Negotiation in the Era of Multimodal Interactions [E-Book] : 23rd International Conference on Group Decision and Negotiation, GDN 2023, Tokyo, Japan, June 11-15, 2023, Proceedings /
Table of Contents: “... Consensus-Building Processes: Permissible Meeting Analysis and Compromise Choice Exploration -- Equilibrium and Efficiency in Conflict Analysis Incorporating Permissibility -- Hierarchical Modeling of Aggregate Mining Conflict in Ontario, Canada -- Comparing...”

Full text 
Favorites
Saved in:
5
Electronic Voting [E-Book] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings /
Table of Contents: “... Elections -- Running the Race: a Swiss Voting Story -- The Effect of Exogenous Shocks on the Administration of Online Voting: Evidence from Ontario, Canada -- The Council of Europe's CM/Rec(2017)5 on e-voting and secret suffrage: time for yet another update...”

Full text 
Favorites
Saved in:
6
Maple in Mathematics Education and Research [E-Book] : 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Smart Grid and Internet of Things [E-Book] : Second EAI International Conference, SGIoT 2018, Niagara Falls, ON, Canada, July 11, 2018, Proceedings /

Full text 
Favorites
Saved in:
8
Selected Areas in Cryptography [E-Book] : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Proteins at interfaces III : state of the art [E-Book] /

Full text 
Favorites
Saved in:
10
Selected Areas in Cryptography [E-Book] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Error-correcting codes, finite geometries, and cryptography : Conference on Error-control Codes, Information Theory, and Applied Cryptography, December 5-6, 2007, Fields Institute, Toronto, Ontario, Canada : Canadian Mathematical Society Special Session, Error Control Codes, Information Theory and Applied Cryptography, CMS Winter Meeting, Dec 8-10, 2007, London, Ontario, Canada [E-Book] /

Full text 
Favorites
Saved in:
12
Ad Hoc Networks [E-Book] : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Information Technology in the Service Economy: Challenges and Possibilities for the 21st Century [E-Book] : IFIP TC8 WG8.2 International Working Conference August 10–13, 2008, Toronto, Ontario, Canada /

Full text 
Favorites
Saved in:
14
Wireless Sensor and Actor Networks II [E-Book] : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008 /
Miri, Ali.
2008

Full text 
Favorites
Saved in:
15
Formal Aspects in Security and Trust [E-Book] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Computer algebra 2006 : latest advances in symbolic algorithms : proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006 [E-Book] /

Full text 
Favorites
Saved in:
17
Information Technology For Balanced Manufacturing Systems [E-Book] : IFIP TC5, WG 5.5 Seventh International Conference on lnformation Technology for Balanced Automation Systems in Manufacturing and Services, Niagara Falls, Ontario, Canada, September 4–6, 2006 /

Full text 
Favorites
Saved in:
18
Advances in Artificial Intelligence [E-Book] : 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings /

Full text 
Favorites
Saved in:
19
Public Confidence in the Management of Radioactive Waste: The Canadian Context [E-Book]: Workshop Proceedings, Ottawa, Canada, 14-18 October 2002 /
2003
Table of Contents: “... Power Plants in Canada: How We Address Community Issues and Concerns by D. McFarlane -- The Importance of Community Trust in Advancing Solutions to the Low Level Radioactive Waste Problem in the Port Hope Ontario Area by B. Holton -- Case Study: Adams Mine...”

Full text 
Favorites
Saved in:
20
Algorithms and Data Structures [E-Book] : 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results