David Mitchell

22 papers A 4B 1C 1Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Constructing Quantum Convolutional Codes via Difference Triangle Sets. CoRR Vahid Nourozi, David Mitchell
2022	J	`jnl`	Combining Object-Based Machine Learning with Long-Term Time-Series Analysis for Informal Settlement Identification. Remote. Sens. Ahmad Fallatah, Simon D. Jones, Luke Wallace, David Mitchell
2021	J	`jnl`	An Experimental Study of Permanently Stored Learned Clauses. CoRR Sima Jamali, David Mitchell
2021	B	`conf`	How effective is perceptual training? Evaluating two perceptual training methods on a difficult visual categorisation task. CogSci Jessica Marris, Andrew Perfors, David Mitchell, Wayland Wang, Mark W. McCusker, Timothy John Haynes Lovell, Robert N. Gibson, Frank Gaillard, Piers Douglas Lionel Howe
2021	A	`conf`	X Resolution Correspondence Networks. BMVC Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas
2020	J	`jnl`	XResolution Correspondence Networks. CoRR Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas
2019	A	`conf`	Guarded Constraint Models Define Treewidth Preserving Reductions. CP David Mitchell
2019	J	`jnl`	Mapping informal settlement indicators using object-oriented analysis in the Middle East. Int. J. Digit. Earth Ahmad Fallatah, Simon D. Jones, David Mitchell, Divyani Kohli
2019	J	`jnl`	Models of Lithuanian Grapheme Frequencies. J. Quant. Linguistics David Mitchell
2019	A	`conf`	Simplifying CDCL Clause Database Reduction. SAT Sima Jamali, David Mitchell
2018	A	`conf`	Centrality-Based Improvements to CDCL Heuristics. SAT Sima Jamali, David Mitchell
2017	—	`conf`	Improving SAT Solver Performance with Structure-based Preferential Bumping. GCAI Sima Jamali, David Mitchell
2017	J	`jnl`	Resolution and Clause-Learning with Restarts for Signed CNF Formulas. FLAP David Mitchell
2015	J	`jnl`	Type-token models: a comparative study. J. Quant. Linguistics David Mitchell
2014	—	`conf`	MAX-SAT problem using evolutionary algorithms. SIS Hafiz Munsub Ali, David Mitchell, Daniel C. Lee
2014	—	`conf`	Resolution and Clause Learning for Multi-Valued CNF Formulas. PRUV David Mitchell
2009	J	`jnl`	Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Comput. Educ. Darren K. Griffin, David Mitchell, Simon J. Thompson
2002	—	`conf`	Delivering power with minimal restraint: APL and the web. APL David Mitchell
2000	J	`jnl`	Comparison of neural network models with ARIMA and regression models for prediction of Houston's daily maximum ozone concentrations. Eur. J. Oper. Res. Victor R. Prybutok, Junsub Yi, David Mitchell
1998	C	`conf`	A Component Approach to Embedding Awareness and Conversation. WETICE David Mitchell
1997	J	`jnl`	The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous Groupware. Comput. Networks Mark Day, John F. Patterson, David Mitchell
1991	J	`jnl`	A Review of: " Int. J. Geogr. Inf. Sci. David Mitchell