Complex and adaptive systems laboratory - PDFSEARCH.IO - Document Search Engine

Complex and adaptive systems laboratory
Results: 17

#	Item
1	PHYSICAL REVIEW E 78, 046704 !2008" Variational method for estimating the rate of convergence of Markov-chain Monte Carlo algorithms Fergal P. Casey* Complex and Adaptive Systems Laboratory, University College Dublin, D Add to Reading List Source URL: cbsu.tc.cornell.edu Language: English - Date: 2014-10-31 16:45:19
2	MUSer2: An Efficient MUS Extractor SYSTEM DESCRIPTION Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
3	Minimally Unsatisfiable Boolean Circuits Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
4	Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Anton Belov1⋆ and Matti J¨arvisalo2⋆⋆ 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
5	MUS Extraction using Clausal Proofs Anton Belov1 , Marijn Heule2 and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
6	SAT-based Preprocessing for MaxSAT ? Anton Belov1 , Ant´onio Morgado2 , and Joao Marques-Silva1,2 1 Complex and Adaptive Systems Laboratory University College Dublin 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
7	Accelerating MUS Extraction with Recursive Model Rotation Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
8	Control of CA3 Place Fields by the Dentate Gyrus: A Neural Network Model Ali A. Minai Complex Adaptive Systems Laboratory Department of Electrical & Computer Engineering and Computer Science University of Cincinnati Add to Reading List Source URL: www.ece.uc.edu Language: English - Date: 2006-07-26 17:41:00
9	Formula Preprocessing in MUS Extraction? Anton Belov1 , Matti J¨arvisalo2 , and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
10	26 St Vincents Hospital 26, 75 Add to Reading List Source URL: www.ucd.ie Language: English - Date: 2013-04-16 00:42:12 Belfield UCD Quinn School of Business UCD Bowl National Concert Hall Complex and adaptive systems laboratory Clonskeagh County Dublin University College Dublin Leinster

UPDATE