White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Browse by Academic Unit (A-Z)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators Name | Item Type
Jump to: A | B | C | D | E | G | H | K | M | R | S | T | Y
Number of items at this level: 61.

A

Aboulker, P, Radovanovic, M, Trotignon, N, Trunck, T and Vuskovic, K (2013) Linear balanceable and subcubic balanceable graphs. Journal of Graph Theory. ISSN 0364-9024

B

Beyersdorff, O, Galesi, N, Lauria, M and Razborov, AA (2012) Parameterized Bounded-Depth Frege Is not Optimal. ACM Transactions on Computation Theory, 4 (3). 7.1 - 7.16 . ISSN 1942-3454

Beyersdorff, O (2006) Disjoint NP-pairs from propositional proof systems. In: Cai, J, Cooper, SB and Li, A, (eds.) Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Proceedings. Third International Conference, TAMC, 15-20 May 2006, Bejing, China. Lecture Notes in Computer Science, 3959 . Springer Verlag , 236 - 247 . ISBN 3-540-34021-1

Beyersdorff, O (2008) Logical closure properties of propositional proof systems - (Extended abstract). In: Agrawal, M, Du, D, Duan, Z and Li, A, (eds.) Theory and Applications of Models of Computation. 5th International Conference on Theory and Applications of Models of Computation, 25-28 April 2009, Xi'an, China. Lecture Notes in Computer Science, 4978 (Lectur). Springer Verlag , Germany , 318 - 329 . ISBN 978-3-540-79227-7

Beyersdorff, O (2009) On the existence of complete disjoint NP-pairs. In: SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 11th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing, 26-29 September 2009, Timisoara, Romania. IEEE , 282 - 289 . ISBN 978-1-4244-5910-0

Beyersdorff, O (2010) Proof Complexity of Non-classical Logics. In: Kratochvíl, J, Li, A, Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation7th Annual Conference, TAMC 2010, Proceedings. Theory and Applications of Models of Computation, 7th Conference, 7 - 11 June, 2010, Prague, Czech Republic. Lecture Notes in Computer Science, 108 (6). Springer , 15 - 27 . ISBN 978-3-642-13561-3

Beyersdorff, O (2004) Representable Disjoint NP-Pairs. In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science. FSTITCS 2004, 16 - 18 December 2004, Chennai, India. Springer Verlag , 122 - 134 . ISBN 3-540-24058-6

Beyersdorff, O (2006) Tuples of disjoint NP-sets. In: Grigoriev, D, Harrison, J and Hirsch, EA, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). First International Computer Science Symposium in Russia, 8-12 June 2006, St Petersburg, Russia. Lecture Notes in Computer Science, Lectur (3967). Springer Verlag , 80 - 91 .

Beyersdorff, O (2007) The deduction theorem for strong propositional proof systems. In: Arvind, V and Prasad, S, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Foundations of software technology and theoretical computer science, 12-14 December 2007, New Delhi, India. Lecture Notes in Computer Science, 4855 . Springer Verlag , 241 - 252 .

Beyersdorff, O, Galesi, N and Lauria, M (2011) Parameterized complexity of DPLL search procedures. In: Sakallah, KA and Simon, L, (eds.) Theory and Applications of Satisfiability Testing - SAT 2011. SAT 2011, 19 - 22 June 2011, Ann Arbor, MI, USA. Springer Verlag , 5 - 18 . ISBN 978-3-642-21580-3

Beyersdorff, O, Galesi, N, Lauria, M and Razborov, A (2011) Parameterized bounded-depth Frege is not optimal. In: Aceto, L, Henzinger, M and Sgall, J, (eds.) Automata, languages and programmes, proceedings ICALP. ICALP 2011, 4-8 July 2011, Zurich, Switzerland. Lecture Notes in Computer Science, 6755 (Part 1). Springer Verlag , 630 - 641 . ISBN 978-3-642-22005-0

Beyersdorff, O, Koebler, J and Mueller, S (2009) Nondeterministic Instance Complexity and Proof Systems with Advice. In: Dediu, AH, Ionescu, AM and Martin-Vide, C, (eds.) Language and Automata Theory and Applications. Third International Conference, LATA 2009, 2-8 April 2009, Tarragona, Spain. Lecture Notes in Computer Science, 5457 . Springer Verlag , 164 - 175 . ISBN 978-3-642-00981-5

Beyersdorff, O and Kutz, O (2012) Proof complexity of non-classical logics. In: Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes. Lecture Notes in Computer Science, 7388 . Springer Verlag , 1 - 54 . ISBN 978-3-642-31484-1

Beyersdorff, O, Meier, A, Mueller, S, Thomas, M and Vollmer, H (2010) Proof Complexity of Propositional Default Logic. In: Strichman, O and Szeider, S, (eds.) Theory and applications of satisfiability testing. SAT 2010, 11-14 July 2010, Edinburgh, UK. Lecture notes in computer science, 6175 . Springer Verlag , 30 - 43 . ISBN 978-3-642-14185-0

Beyersdorff, O, Meier, A, Mundhenk, M, Schneider, T, Thomas, M and Vollmer, H (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974

Beyersdorff, O, Meier, A, Thomas, M and Vollmer, H (2009) The Complexity of Reasoning for Fragments of Default Logic. In: Theory and Applications of Satisfiability Testing 2009. 12th International Conference, SAT 2009, 30 June - 03 July 2009, Swansea. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 51 - 64 . ISBN 978-3-642-02776-5

Beyersdorff, O, Meier, A, Thomas, M, Vollmer, H, Mundhenk, M and Schneider, T (2009) Model Checking CTL is Almost Always Inherently Sequential. In: Lutz, C and Raskin, J-F, (eds.) 16th International Symposium on Temporal Representation and Reasoning 2009. International Symposium on Temporal Representation and Reasoning, 23 - 25 July 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6

Beyersdorff, O and Mueller, S (2010) Different Approaches to Proof Systems. In: Kratochvil, J, Li, A, Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Proceedings. 7th Annual Conference, TAMC 2010, 7 - 11 June 2010, Prague, Czech Republic. Springer Verlag , 50 - 59 . ISBN 978-3-642-13561-3

Beyersdorff, O and Mueller, S (2009) Does Advice Help to Prove Propositional Tautologies? In: Kullmann, O, (ed.) Theory and Applications of Satisfiability Testing SAT 2009. 12th International Conference, SAT 2009, 30 June - 3 July 2009, Swansea, UK. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 65 - 72 . ISBN 978-3-642-02776-5

Beyersdorff, O and Mueller, S (2008) A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. In: Kaminiski, M and Martini, S, (eds.) Proceedings of Computer Science Logic. 17th Annual Conference of the EACSL, 16-19 September 2008, Bertinoro, Italy. Lecture Notes in Computer Science, 5213 . Springer Verlag , 199 - 214 . ISBN 978-3-540-87530-7

Beyersdorff, O and Nebesov, Y (2009) Edges as Nodes - a New Approach to Timetable Information. In: ATMOS 2009. Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS), 10 September 2009, University of Cophenhagen, Denmark. Dagstuhl Research Online Publication Server (DROPS) . ISBN 978-3-939897-11-8

Beyersdorff, O and Sadowski, Z (2009) Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. In: Frid, AE, Morozov, A, Rybalchenko, A and Wagner, KW, (eds.) CSR. UNSPECIFIED. Springer , 47 - 58 . ISBN 978-3-642-03350-6

Beyersdorff, O, Vollmer, H, Datta, S, Mahajan, M, Sreenivasaiah, K, Scharfenberger-Fabian, G and Thomas, M (2011) Verifying proofs in constant depth. In: Proceedings MFCS 2011. Mathematical Foundations of Computer Science 2011, 22 - 26 August 2011, Warsaw, Poland. Springer Verlag , 84 - 95 . ISBN 978-3-642-22992-3

Brodlie, KW, Mason, SA, Thompson, MR, Walkley, MA and Wood, J (2006) Evolving dataflow visualization environments to grid computing. In: Scientific Visualization: The Visual Extraction of Knowledge from Data. Springer , 395 - 407. ISBN 9783540260660

Bulatov, AA, Dyer, ME, Goldberg, LA and Jerrum, M (2012) Log-supermodular functions, functional clones and counting CSPs. In: Dürr, C and Wilke, T, (eds.) 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). Symposium on Theoretical Aspects of Computer Science (STACS), 29 February - 3 March 2012, Paris, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 302 - 313. ISBN 978-3-939897-35-4

C

Chakhlevitch, N (2013) Scheduling divisible loads to optimize the computation time and cost. In: Lecture Notes in Computer Science. 10th International Conference “Economics of Grids, Clouds, Systems, and Services” (GECON 2013), 18th-20th September 2013, Zaragoza, Spain. Springer , 138 - 148. ISBN 978-3-319-02413-4

D

Deckelnick, K, Elliott, CM and Ranner, T (2013) Unfitted finite element methods using bulk meshes for surface partial differential equations. (Unpublished)

Duke, DJ and Carr, H (2013) Joint contour nets. IEEE Transactions on Visualization and Computer Graphics. ISSN 1077-2626 (In Press)

Duke, DJ, Carr, H, Knoll, A, Schunck, N, Nam, HA and Staszczak, A (2012) Visualizing nuclear scission through a multifield extension of topological analysis. IEEE Transactions on Visualization and Computer Graphics, 18 (12). 2033 - 2040. ISSN 1077-2626

Dyer, M, Frieze, A, Hayes, TP and Vigoda, E (2013) Randomly Coloring Constant Degree Graphs. Random Structures and Algorithms, 43 (2). 181 - 200. ISSN 1042-9832

Dyer, M and Richerby, D (2013) An effective dichotomy for the counting constraint satisfaction problem. SIAM Journal on Computing, 42 (3). 1245 - 1274. ISSN 0097-5397

E

Elliott, CM and Ranner, T (2013) Evolving surface finite element method for the Cahn-Hilliard equation. (Unpublished)

G

Garraghan, P, Townend, P and Xu, J (2012) Real-time fault-tolerance in federated cloud environments. In: Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012. UNSPECIFIED. IEEE , 118 - 123. ISBN 978-1-4673-0900-4

Garraghan, P, Townend, PM and Xu, J (2013) An Analysis of the Server Characteristics and Resource Utilization in Google Cloud. In: IC2E '13 Proceedings of the 2013 IEEE International Conference on Cloud Engineering. UNSPECIFIED. IEEE , 124 - 131. ISBN 978-0-7695-4945-3

Grekioti, A and Chakhlevitch, N Scheduling bag-of-tasks applications to optimize computation time and cost. In: Lecture Notes in Computer Science. 10th International Conference on Parallel Processing and Applied Mathematics, 8th-11th September 2013, Warsaw, Poland. Springer . (Submitted)

H

Harlen, OG, Hwang, WR and Walkley, MA (2013) An efficient iterative scheme for the highly constrained augmented Stokes problem for the numerical simulation of flows in porous media. Korea-Australia Rheology Journal, 25 (1). 55 - 64. ISSN 1226-119X

Harrison, DG and De Kamps, M (2011) A dynamical model of feature-based attention with strong lateral inhibition to resolve competition among candidate feature locations. In: AISB 2011 Convention - Proceedings of the AISB 2011 Symposium on Architectures for Active Vision. AISB 2011 Convention , 4-7 April 2011, University of York, UK. Society for the Study of Artificial Intelligence and Simulation of Behaviour , 43 - 48.

Head, D and Mizuno, D (2010) Nonlocal fluctuation correlations in active gels. Physical Review E, 81 (4). ISSN 1539-3755

Head, DA (2009) Critical scaling and aging in cooling systems near the jamming transition. Physical Review Letters, 102 (13). ISSN 0031-9007

Head, DA (2013) Linear surface roughness growth and flow smoothening in a three-dimensional biofilm model. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 88 (3). 032702. ISSN 1539-3755

Head, DA, Gompper, G and Briels, WJ (2011) Microscopic basis for pattern formation and anomalous transport in two-dimensional active gels. Soft Matter, 7. 3116 - 3126 . ISSN 1744-683X

Head, DA and Mizuno, D (2013) Local mechanical response in semiflexible polymer networks subjected to an axisymmetric prestress. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 88 (2). ARTN 022717. ISSN 1539-3755

Head, DA and Tanaka, H (2010) Superdiffusive mass transport as a causal mechanism for large-scale structure formation. EPL, 91. ISSN 0295-5075

K

Karanasios, S, Allen, D, Norman, AWT, Thakker, DA, Lau, L and Dimitrova, V (2013) Making Sense of Digital Traces: An Activity Theory Driven Ontological Approach. Journal of the American Society for Information Science and Technology, 64 (12). 2452 - 2467. ISSN 1532-2882

Koloz, B, Grant-Muller, SM and Djemame, K (2013) Modelling uncertainty in the sustainability of intelligent transport systems for highways using probabilistic data fusion. Environmental Modelling and Software, 49. 78 - 97. ISSN 1364-8152

M

Mizuno, D, Bacabac, R, Tardin, C, Head, D and Schmidt, CF (2009) High-resolution probing of cellular force transmission. Physical Review Letters, 102 (16). ISSN 0031-9007

Müller, H (2012) On the stable degree of graphs. In: Golumbic, MC, Stern, M, Levy, A and Morgenstern, G, (eds.) Graph-Theoretic Concepts in Computer Science. 38th International Workshop, WG 2012, 26-28 June 2012, Jerusalem, Israel. Lecture notes in computer science . Springer Verlag , 148 - 159.

R

Ranner, T and Elliott, CM (2013) Finite element analysis for a coupled bulk–surface partial differential equation. IMA Journal of Numerical Analysis, 33 (2). 377 - 402. ISSN 0272-4979

Ruddle, RA, Howes, A, Payne, SJ and Jones, DM (2000) Effects of hyperlinks on navigation in virtual environments. International Journal of Human Computer Studies, 53 (4). 551 - 581. ISSN 1071-5819

Ruddle, RA, Payne, SJ and Jones, DM (1998) Navigating large-scale "desk-top" virtual buildings: Effects of orientation aids and familiarity. Presence: Teleoperators and Virtual Environments, 7 (2). 179 - 192. ISSN 1054-7460

Ruddle, RA, Payne, SJ and Jones, DM (1999) Navigating large-scale virtual environments: What differences occur between helmet-mounted and desk-top displays? Presence: Teleoperators and Virtual Environments, 8 (2). 157 - 168. ISSN 1054-7460

Ruddle, RA, Payne, SJ and Jones, DM (1999) The effects of maps on navigation and search strategies in very-large-scale virtual environments. Journal of Experimental Psychology: Applied, 5 (1). 54 - 75. ISSN 1076-898X

Ruddle, RA, Volkova, E and Buelthoff, HH (2013) Learning to Walk in Virtual Reality. ACM Transactions on Applied Perception, 10 (2). 11. ISSN 1544-3558

S

Sargeant, AJ, Webster, DE, Djemame, K and Xu, J (2010) Testing the Effectiveness of Dynamic Binding in Web Services. In: 10th International conference on computer and information technology. International Workshop on Dependable Service-Oriented Computing (DSOC 2010) at the 10th IEEE International Conference on Computer and Information Technology (CIT 2010), 29 June - 1 July 2010, Bradford. , Bradford, UK , 1263 - 1268 .

Shioura, A, Shakhlevich, NV and Strusevich, VA (2013) A submodular optimization approach to bicriteria scheduling problems with controllable processing times on parallel machines. SIAM Journal on Discrete Mathematics, 27 (1). 186 - 204 (19). ISSN 0895-4801

Solis Moreno, I, Garraghan, P, Townend, PM and Xu, J (2013) An Approach for Characterizing Workloads in Google Cloud to Derive Realistic Resource Utilization Models. In: Service Oriented System Engineering (SOSE), 2013 IEEE 7th International Symposium on. UNSPECIFIED. IEEE , 49 - 60 (12). ISBN 978-1-4673-5659-6

Sridhar, M, Cohn, AG and Hogg, DC (2010) Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs. In: Coelho, H, Suder, R and Wooldridge, M, (eds.) ECAI 2010 - 19th European Conference on Artificial Intelligence,Proceedings. 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal. IOS Press , 1103 - 1104 . ISBN 160750605X

Sridhar, M, Cohn, AG and Hogg, DC (2008) Learning functional object categories from a relational spatio-temporal representation. In: Ghallab, M, Spyropoulos, CD, Fakotakis, N and Avouris, NM, (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence (Frontiers in Artificial Intelligence and Applications). ECAI 2008 18th European Conference on Artificial Intelligence, 21-25 July 2008, Patras, Greece. IOS Press , 606 - 610 . ISBN 978-1-58603-891-5

Sridhar, M, Cohn, AG and Hogg, DC (2010) Unsupervised Learning of Event Classes from Video. In: Fox, M and Poole, D, (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence, 11-15 July 2010, Atlanta, Georgia, USA. AAAI Press , North America , 1631 - 1638 . ISBN 157735463X

T

Toyota, T, Head, DA, Schmidt, CF and Mizuno, D (2011) Non-Gaussian athermal fluctuations in active gels. Soft Matter, 7. 3234 - 3239 . ISSN 1744-683X

Y

Yang-Turner, F, Lau, LMS, Dimitrova, V and Thakker, D (2013) Profiling exploratory browsing behaviour with a semantic data browser. In: AMCIS 2013 Proceedings. Americas Conference on Information Systems (AMCIS), 15-17 Aug 2013, Chicago, USA. AIS .

This list was generated on Sun Apr 20 22:12:51 2014 BST.