Chalmers - PDFSEARCH.IO - Document Search Engine

Chalmers
Results: 1415

#	Item
171	Wireless Mesh Networks MiNEMA Winter School 2009 Dr Johnathan Ishmael Talk Overview Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-26 12:53:58 Wireless networking Wireless Mesh networking Radio technology Network topology Technology Wireless mesh network Telecommunications engineering Wireless network Opportunistic mesh South African wireless community networks
172	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
173	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
174	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
175	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
176	CASE Tools versus Pencil and Paper A student’s perspective on modeling software design Imed Hammouda, H˚ akan Burden, Rogardt Heldal, and Michel R.V. Chaudron Department of Computer Science and Engineering Chalmers Un Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:29 Business Economy Technology Architectural design Arts Design Design tool Engineering Object Process Methodology Tool Computer-aided design Drawing
177	T H E U N I V E RSI T Y O F N E W M E X I C O Regents’ Finance and Facilities Committee A pril 08, 2010 – Meeting Summary Committee M embers Present: Regent Don Chalmers; Regent Gene Gallegos; Regent Jamie Koch; Add to Reading List Source URL: regents.unm.edu Language: English - Date: 2011-07-11 11:51:47 United States Senate Quorum Government Politics
178	20th Anniversary April, 2014 “It was twenty years ago today!” Toward a Science of Consciousness www.consciousness.arizona.edu Add to Reading List Source URL: consciousness.arizona.edu Language: English - Date: 2014-04-08 02:34:06 Cognitive science Quantum mind Philosophy of mind Toward a Science of Consciousness Stuart Hameroff Journal of Consciousness Studies David Chalmers Nick Day Tucson Arizona Consciousness
179	Overlays with preferences: Approximation algorithms for matching with preference lists Giorgos Georgiadis Marina Papatriantafilou Happier times in Iceland, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-18 09:51:33 Mathematics Discrete mathematics Matching Combinatorics Cooperative games Game theory Combinatorial optimization Preference Stable marriage problem
180	Borderless research to save lives Anna Nilsson‐Ehle Director SAFER presentation for Japan Add to Reading List Source URL: 19343a27nxyv1ifure2nq0aw.wpengine.netdna-cdn.com Language: English - Date: 2015-06-16 11:15:33 Gothenburg Chalmers University of Technology University of Gothenburg Transport Hisingen Road safety Lindholmen Science Park Volvo Cars Road traffic safety Traffic collision Viktoria Institute

UPDATE