Chalmers - PDFSEARCH.IO - Document Search Engine

Chalmers
Results: 1415

#	Item
181	Overlays with preferences: Approximation algorithms for matching with preference lists Giorgos Georgiadis Department of Computer Science and Engineering Chalmers University of Technology SG¨oteborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-18 09:50:44 Graph theory Mathematics Combinatorial optimization Computational complexity theory Routing algorithms Search algorithms Operations research Matching A* search algorithm Flow network
182	TRACTORCADE TO TOPEKA December 13-16, 1978 A Demonstration and Preparation for Washington, D.C. Tractorcade Taken from the diary of Jeff Mead, Lewis, Kansas December 13th, 1978: “Tractors to Topeka from Lewis. Zelma an Add to Reading List Source URL: tmp.kinsleylibrary.info Language: English - Date: 2013-08-16 15:08:06 Agricultural machinery Equipment Tractors Construction equipment Allis-Chalmers Allis Allis-Chalmers Manufacturing Company Technology
183	THE UNIVERSITY OF NEW MEXICO Regents’ Finance and Facilities Committee December 9, 2010 – Meeting Summary Committee Members Present: Regent Don Chalmers; Regent Gene Gallegos; Regent Jamie Koch; Regent Raymond Sanche Add to Reading List Source URL: regents.unm.edu Language: English - Date: 2011-09-28 19:32:56 New Mexico Parliamentary procedure Majority Political terminology Quorum University of New Mexico United States Senate Motion
184	Dynamic Adaptation Minema Winter School 2009 Gothenburg, Sweden Paul Grace, Computing Department, Lancaster University Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-30 02:29:06 Systems engineering Adaptation Humancomputer interaction Middleware Software evolution Ambient intelligence Game engine
185	Commission on Geographical Education 2010 Report to the IGU Executive 1. List of members of the IGU Commission on Geographical Education  Lex Chalmers, (Chair) Geography, The University of Waikato, Private Bag 3105, H Add to Reading List Source URL: www.igu-cge.org Language: English - Date: 2011-01-18 09:04:11 American Association of Geographers Geographical Association
186	Microsoft Word - technical_report_2009_06.doc Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-05-11 07:23:08 Combinatorial optimization Operations research Matching Flow network Routing algorithms Search algorithms Network theory
187	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
188	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
189	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:46 Constraint programming Constraint Constraint logic programming Constraint satisfaction
190	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP

UPDATE