Journal Article

UNSPECIFIED (1985) A 2.5N LOWER BOUND ON THE MONOTONE NETWORK COMPLEXITY OF T3N. ACTA INFORMATICA, 22 (2). pp. 229-240. ISSN 0001-5903.

UNSPECIFIED (1992) 4 ALGORITHMS FOR ENHANCING IMAGES WITH LARGE PEAKS IN THEIR HISTOGRAM. IMAGE AND VISION COMPUTING, 10 (7). pp. 495-507. ISSN 0262-8856.

UNSPECIFIED (1985) ANALYSIS OF ALGORITHMS ON PROBLEMS IN GENERAL ABELIAN-GROUPS. INFORMATION PROCESSING LETTERS, 20 (4). pp. 215-220. ISSN 0020-0190.

UNSPECIFIED (1986) AN APPLICATION OF MEHLHORN ALGORITHM FOR BRACKET LANGUAGES TO LOG(N) SPACE RECOGNITION OF INPUT-DRIVEN LANGUAGES. INFORMATION PROCESSING LETTERS, 23 (2). pp. 81-84. ISSN 0020-0190.

UNSPECIFIED (1988) APPLICATIONS OF MEASURES OF UNCERTAINTY IN DISCRIMINANT-ANALYSIS. LECTURE NOTES IN COMPUTER SCIENCE, 301 . pp. 487-496. ISSN 0302-9743.

UNSPECIFIED (1989) APPROACHES TO QUALITATIVE REASONING. ARTIFICIAL INTELLIGENCE REVIEW, 3 (2-3). pp. 177-232. ISSN 0269-2821.

UNSPECIFIED (1990) AN ATTEMPT TO AUTOMATE THE TEACHING OF ACCOUNTING FINANCIAL MANAGEMENT. UNIVERSITY COMPUTING, 12 (1). pp. 22-25. ISSN 0265-4385.

UNSPECIFIED (2005) Acknowledged: analysing the bibliometric presence of the multiple sclerosis society. ASLIB PROCEEDINGS, 57 (3). pp. 247-260. doi:10.1108/00012530510599208 ISSN 0001-253X.

UNSPECIFIED (2006) Adaptive scale fixing for multiscale texture segmentation. IEEE TRANSACTIONS ON IMAGE PROCESSING, 15 (1). pp. 249-256. doi:10.1109/TIP.2005.860340 ISSN 1057-7149.

UNSPECIFIED (2001) Algorithms for particle-field simulations with collisions. JOURNAL OF COMPUTATIONAL PHYSICS, 172 (2). pp. 766-807. ISSN 0021-9991.

UNSPECIFIED (1999) Analysis of practical backoff protocols for contention resolution with multiple servers. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 58 (1). pp. 232-258. ISSN 0022-0000.

UNSPECIFIED (1999) Analytical modeling of set-associative cache behavior. IEEE TRANSACTIONS ON COMPUTERS, 48 (10). pp. 1009-1024. ISSN 0018-9340.

UNSPECIFIED (2000) Applying artificial intelligence to virtual reality: Intelligent virtual environments. APPLIED ARTIFICIAL INTELLIGENCE, 14 (1). pp. 3-32. ISSN 0883-9514.

UNSPECIFIED (1999) Approximate statistics of gapped alignments. JOURNAL OF COMPUTATIONAL BIOLOGY, 6 (1). pp. 91-112. ISSN 1066-5277.

UNSPECIFIED (1998) Approximation algorithms for two-machine flow shop scheduling with batch setup times. MATHEMATICAL PROGRAMMING, 82 (1-2). pp. 255-271. ISSN 0025-5610.

UNSPECIFIED (1999) Assessing information systems strategy development frameworks in SMEs. INFORMATION & MANAGEMENT, 36 (5). pp. 247-261. ISSN 0378-7206.

UNSPECIFIED (1997) Automated procedures for Boolean operations on finite element meshes. ENGINEERING COMPUTATIONS, 14 (6-7). 702-+. ISSN 0264-4401.

UNSPECIFIED (1997) Automatic growing of a hopfield style network during training for classification. NEURAL NETWORKS, 10 (3). pp. 529-537. ISSN 0893-6080.

UNSPECIFIED (2003) Automorphism group computation and isomorphism testing in finite groups. JOURNAL OF SYMBOLIC COMPUTATION, 35 (3). pp. 241-267. doi:10.1016/S0747-7171(02)00133-5 ISSN 0747-7171.

UNSPECIFIED (1994) BABBAGE,CHARLES AND THE ASSURANCE OF LIVES. IEEE ANNALS OF THE HISTORY OF COMPUTING, 16 (3). pp. 5-14. ISSN 1058-6180.

UNSPECIFIED (1991) THE BALANCED BINARY-TREE TECHNIQUE ON MESH-CONNECTED COMPUTERS. INFORMATION PROCESSING LETTERS, 37 (2). pp. 101-109. ISSN 0020-0190.

UNSPECIFIED (1988) BLACKBOARD SYSTEMS. ARTIFICIAL INTELLIGENCE REVIEW, 2 (2). pp. 103-118. ISSN 0269-2821.

UNSPECIFIED (1989) BUSINESS CASE STUDIES USING AN EXPERT SYSTEM ON A LOCAL AREA NETWORK. UNIVERSITY COMPUTING, 11 (3). pp. 129-134. ISSN 0265-4385.

UNSPECIFIED (2000) Beautiful numbers: The rise and decline of the British Association Mathematical Tables Committee, 1871-1965. IEEE ANNALS OF THE HISTORY OF COMPUTING, 22 (4). pp. 44-61. ISSN 1058-6180.

UNSPECIFIED (1999) Bounded diffusion for multiscale edge detection using regularized cubic B-spline fitting. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 29 (2). pp. 291-297. ISSN 1083-4419.

UNSPECIFIED (2005) Bradley-Terry models in R. JOURNAL OF STATISTICAL SOFTWARE, 12 (1). pp. 1-12. ISSN 1548-7660.

UNSPECIFIED (1992) A CALCULUS OF MOBILE PROCESSES .1. INFORMATION AND COMPUTATION, 100 (1). pp. 1-40. ISSN 0890-5401.

UNSPECIFIED (1992) A CALCULUS OF MOBILE PROCESSES .2. INFORMATION AND COMPUTATION, 100 (1). pp. 41-77. ISSN 0890-5401.

UNSPECIFIED (1998) CALL and Web training with teacher self-empowerment: a departmental and long-term approach. COMPUTERS & EDUCATION, 31 (1). pp. 17-23. ISSN 0360-1315.

UNSPECIFIED (1995) CHARACTERIZATION BASED BOTTLENECK ANALYSIS OF PARALLEL SYSTEMS. SUPERCOMPUTER, 11 (4). pp. 89-101. ISSN 0168-7875.

UNSPECIFIED (1993) A CHARACTERIZATION OF MEET AND JOIN RESPECTING PRE-ORDERS AND CONGRUENCES ON FINITE LATTICES. ACTA INFORMATICA, 30 (8). pp. 773-785. ISSN 0001-5903.

UNSPECIFIED (1991) THE CHOICE OF COMPUTER LANGUAGES FOR USE IN SAFETY-CRITICAL SYSTEMS. SOFTWARE ENGINEERING JOURNAL, 6 (2). pp. 51-58. ISSN 0268-6961.

UNSPECIFIED (1989) A CLASS OF PROBLEMS EFFICIENTLY SOLVABLE ON MESH-CONNECTED COMPUTERS INCLUDING DYNAMIC EXPRESSION EVALUATION. INFORMATION PROCESSING LETTERS, 32 (6). pp. 305-311. ISSN 0020-0190.

UNSPECIFIED (1991) CLASSES OF DIALOG THEORY FOR THE LEARNING-PROCESS - A COMMENTARY. COMPUTERS & EDUCATION, 17 (1). pp. 25-27. ISSN 0360-1315.

UNSPECIFIED (1991) COMPETITIVE BENCHMARKING - PROGRESS AND FUTURE-DEVELOPMENT. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 4 (2). pp. 98-102. ISSN 0951-5240.

UNSPECIFIED (1994) A COMPOSITIONAL FRAMEWORK FOR FAULT-TOLERANCE BY SPECIFICATION TRANSFORMATION. THEORETICAL COMPUTER SCIENCE, 128 (1-2). pp. 99-125. ISSN 0304-3975.

UNSPECIFIED (1991) THE COMPUTATION OF NORMALIZERS IN PERMUTATION-GROUPS. JOURNAL OF SYMBOLIC COMPUTATION, 12 (4-5). pp. 499-516. ISSN 0747-7171.

UNSPECIFIED (1995) COMPUTATIONAL SIMILARITY. CONCURRENCY-PRACTICE AND EXPERIENCE, 7 (2). pp. 147-166. ISSN 1040-3108.

UNSPECIFIED (1993) A COMPUTER-SIMULATION SYSTEM FOR THE EVALUATION OF MAN ASSIGNMENTS ON CAR ASSEMBLY TRACKS. SIMULATION, 61 (2). pp. 124-133. ISSN 0037-5497.

UNSPECIFIED (1985) COMPUTING A BASIS FOR A FINITE ABELIAN P-GROUP. INFORMATION PROCESSING LETTERS, 20 (3). pp. 161-163. ISSN 0020-0190.

UNSPECIFIED (1990) COMPUTING EUCLIDEAN MAXIMUM SPANNING-TREES. ALGORITHMICA, 5 (3). pp. 407-419. ISSN 0178-4617.

UNSPECIFIED (1985) COMPUTING IN GENERAL ABELIAN-GROUPS IS HARD. THEORETICAL COMPUTER SCIENCE, 41 (1). pp. 81-93. ISSN 0304-3975.

UNSPECIFIED (1994) COPING WITH INFORMATION TECHNOLOGY - HOW BRITISH EXECUTIVES PERCEIVE THE KEY INFORMATION-SYSTEMS MANAGEMENT ISSUES IN THE MID-1990S. JOURNAL OF INFORMATION TECHNOLOGY, 9 (3). pp. 223-238. ISSN 0268-3962.

UNSPECIFIED (1997) Cadosa: A fuzzy expert system for differential diagnosis of obstructive sleep apnoea and related conditions. EXPERT SYSTEMS WITH APPLICATIONS, 12 (2). pp. 163-177. ISSN 0957-4174.

UNSPECIFIED (2005) Chaos communication synchronization: Combatting noise by distribution transformation. STATISTICS AND COMPUTING, 15 (1). pp. 43-52. ISSN 0960-3174.

UNSPECIFIED (2001) The Charles Babbage Institute reprint series for the history of computing. IEEE ANNALS OF THE HISTORY OF COMPUTING, 23 (4). pp. 44-48. ISSN 1058-6180.

UNSPECIFIED (2001) Children's enjoyment and perception of computer use in the home and the school. COMPUTERS & EDUCATION, 36 (4). pp. 347-362. ISSN 0360-1315.

UNSPECIFIED (2000) Coarse-to-fine planar object identification using invariant curve features and B-spline modeling. PATTERN RECOGNITION, 33 (9). pp. 1411-1422. ISSN 0031-3203.

UNSPECIFIED (1998) Common subsequences and supersequences and their expected length. COMBINATORICS PROBABILITY & COMPUTING, 7 (4). pp. 365-373. ISSN 0963-5483.

UNSPECIFIED (2004) Comparison of neural network predictors in the classification of tracheal-bronchial breath sounds by respiratory auscultation. ARTIFICIAL INTELLIGENCE IN MEDICINE, 31 (3). pp. 211-220. doi:10.1016/j.artmed.2004.01.004 ISSN 0933-3657.

UNSPECIFIED (2004) Complexity classification in qualitative temporal constraint reasoning. ARTIFICIAL INTELLIGENCE, 160 (1-2). pp. 35-51. doi:10.1016/j.artint.2004.05.010 ISSN 0004-3702.

UNSPECIFIED (1998) Compressing cube-connected cycles and butterfly networks. NETWORKS, 32 (1). pp. 47-65. ISSN 0028-3045.

UNSPECIFIED (2003) Computation of an unsteady complex geometry flow using novel non-linear turbulence models. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 43 (9). pp. 979-1001. doi:10.1002/fld.518 ISSN 0271-2091.

UNSPECIFIED (2000) Computational approach to localization using global energy minimization. COMPUTERS & STRUCTURES, 78 (4). pp. 529-536. ISSN 0045-7949.

UNSPECIFIED (2002) Computer based initiatives for implementing and sustaining concurrent engineering. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 10 (1). pp. 75-93. doi:10.1106/104538902023731 ISSN 1063-293X.

UNSPECIFIED (1999) Computing automatic coset systems and subgroup presentations. JOURNAL OF SYMBOLIC COMPUTATION, 27 (1). pp. 1-19. ISSN 0747-7171.

UNSPECIFIED (2004) Computing maximal subgroups of finite groups. JOURNAL OF SYMBOLIC COMPUTATION, 37 (5). pp. 589-609. doi:10.1016/j.jsc.2003.08.002 ISSN 0747-7171.

UNSPECIFIED (2005) Computing subgroups of bounded index in a finite group. JOURNAL OF SYMBOLIC COMPUTATION, 40 (2). pp. 1013-1022. doi:10.1016/j.jsc.2005.02.002 ISSN 0747-7171.

UNSPECIFIED (2001) Computing the subgroups of a permutation group. JOURNAL OF SYMBOLIC COMPUTATION, 31 (1-2). pp. 149-161. doi:10.1006/jsco.2000.1012 ISSN 0747-7171.

UNSPECIFIED (2000) Concurrent engineering within British industry. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 8 (1). pp. 2-11. ISSN 1063-293X.

UNSPECIFIED (2003) Conditional orthogonality and conditional stochastic realization. DIRECTIONS IN MATHEMATICAL SYSTEMS THEORY AND OPTIMIZATION, 286 . pp. 71-84. ISSN 0170-8643.

UNSPECIFIED (1998) Conditional simulation for moving average processes, with discrete or continuous values. STATISTICS AND COMPUTING, 8 (2). pp. 135-144. ISSN 0960-3174.

UNSPECIFIED (1998) Consistency of natural relations on sets. COMBINATORICS PROBABILITY & COMPUTING, 7 (3). pp. 281-293. ISSN 0963-5483.

UNSPECIFIED (2003) Continuous extension of order-preserving homogeneous maps. KYBERNETIKA, 39 (2). pp. 205-215. ISSN 0023-5954.

UNSPECIFIED (2004) Counting and sampling H-colourings. INFORMATION AND COMPUTATION, 189 (1). pp. 1-16. doi:10.1016/j.ic.2003.09.001 ISSN 0890-5401.

UNSPECIFIED (2005) Cue-guided search: A computational model of selective attention. IEEE TRANSACTIONS ON NEURAL NETWORKS, 16 (4). pp. 910-924. doi:10.1109/TNN.2005.851787 ISSN 1045-9227.

UNSPECIFIED (2004) Customer evaluation of application services provisioning in five vertical sectors. JOURNAL OF INFORMATION TECHNOLOGY, 19 (1). pp. 39-58. doi:10.1057/palgrave.jit.2000006 ISSN 0268-3962.

UNSPECIFIED (2003) Cybersphere: The fully immersive spherical projection system. COMMUNICATIONS OF THE ACM, 46 (9). pp. 141-146. ISSN 0001-0782.

UNSPECIFIED (1993) DENSE EDGE-DISJOINT EMBEDDING OF COMPLETE BINARY-TREES IN THE HYPERCUBE. INFORMATION PROCESSING LETTERS, 45 (6). pp. 321-325. ISSN 0020-0190.

UNSPECIFIED (1989) THE DESIGN OF HEXAGONAL SAMPLING STRUCTURES FOR IMAGE DIGITIZATION AND THEIR USE WITH LOCAL OPERATORS. IMAGE AND VISION COMPUTING, 7 (3). pp. 162-166. ISSN 0262-8856.

UNSPECIFIED (1987) THE DETECTION AND MEASUREMENT OF VISUAL-MOTION. PATTERN RECOGNITION LETTERS, 5 (2). pp. 169-173. ISSN 0167-8655.

UNSPECIFIED (2005) Deciding global partial-order properties. FORMAL METHODS IN SYSTEM DESIGN, 26 (1). pp. 7-25. doi:10.1007/s10703-005-4592-0 ISSN 0925-9856.

UNSPECIFIED (2002) Densely packed decimal encoding. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 149 (3). pp. 102-104. doi:10.1049/ip-cdt:20020407 ISSN 1350-2387.

UNSPECIFIED (2005) Detected edge position evaluation using measured acquisition system parameters. PATTERN RECOGNITION LETTERS, 26 (11). pp. 1609-1619. doi:10.1016/j.patrec.2005.01.007 ISSN 0167-8655.

UNSPECIFIED (2002) Detecting and locating landmine fields from vehicle- and air-borne measured IR images. PATTERN RECOGNITION, 35 (12). pp. 3001-3014. ISSN 0031-3203.

UNSPECIFIED (1996) Development of a knowledge-based system for balancing complex mixed model assembly lines. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 9 (3). pp. 205-216. ISSN 0951-192X.

UNSPECIFIED (2003) Differential equation-based wall distance computation for DES and RANS. JOURNAL OF COMPUTATIONAL PHYSICS, 190 (1). pp. 229-248. doi:10.1016/S0021-9991(03)00272-9 ISSN 0021-9991.

UNSPECIFIED (2003) Discrete mixtures in Bayesian networks with hidden variables: a latent time budget example. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 41 (3-4). pp. 539-547. ISSN 0167-9473.

UNSPECIFIED (2005) Distributed simulation and simulation practice. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 81 (1). pp. 5-13. doi:10.1177/0037549705052327 ISSN 0037-5497.

UNSPECIFIED (1997) Doubly logarithmic communication algorithms for optical-communication parallel computers. SIAM JOURNAL ON COMPUTING, 26 (4). pp. 1100-1119. ISSN 0097-5397.

UNSPECIFIED (1990) EFFECTIVENESS FRAMEWORK FOR SUPPLY CHAIN MANAGEMENT. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 3 (4). pp. 196-206. ISSN 0951-5240.

UNSPECIFIED (1989) THE EFFICIENCY OF NUMERICAL-METHODS FOR THE ANALYSIS OF PRESTRESSED NETS AND PIN-JOINTED FRAME STRUCTURES. COMPUTERS & STRUCTURES, 33 (3). pp. 791-800. ISSN 0045-7949.

UNSPECIFIED (1990) EFFICIENT BINARY SPACE PARTITIONS FOR HIDDEN-SURFACE REMOVAL AND SOLID MODELING. DISCRETE & COMPUTATIONAL GEOMETRY, 5 (5). pp. 485-503. ISSN 0179-5376.

UNSPECIFIED (1982) EFFICIENT PARALLEL ALGORITHMS FOR LINEAR RECURRENCE COMPUTATION. INFORMATION PROCESSING LETTERS, 15 (1). pp. 31-35. ISSN 0020-0190.

UNSPECIFIED (1986) ENTITY MODEL CLUSTERING - STRUCTURING A DATA MODEL BY ABSTRACTION. COMPUTER JOURNAL, 29 (4). pp. 348-360. ISSN 0010-4620.

UNSPECIFIED (1991) AN EXTENSION OF KHRAPCHENKO THEOREM. INFORMATION PROCESSING LETTERS, 37 (4). pp. 215-217. ISSN 0020-0190.

UNSPECIFIED (2001) Efficient motion estimation and coding for arbitrary-shaped video objects. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 12 (1). pp. 66-83. doi:10.1006/jvci.2000.0462 ISSN 1047-3203.

UNSPECIFIED (2001) Efficient parallel algorithms for numerical simulation. FUTURE GENERATION COMPUTER SYSTEMS, 17 (8). pp. 961-967. ISSN 0167-739X.

UNSPECIFIED (1999) Efficient planar object tracking and parameter estimation using compactly represented cubic B-Spline curves. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 29 (4). pp. 358-367. ISSN 1083-4427.

UNSPECIFIED (2004) Efficient three-dimensional metric object modeling from uncalibrated image sequences. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 34 (2). pp. 856-876. doi:10.1109/TSMCB.2003.817103 ISSN 1083-4419.

UNSPECIFIED (1998) Engineering AgentSpeak(L): A formal computational model. JOURNAL OF LOGIC AND COMPUTATION, 8 (3). pp. 233-260. ISSN 0955-792X.

UNSPECIFIED (2001) Estimation of system reliability using a "non-constant failure rate" model. IEEE TRANSACTIONS ON RELIABILITY, 50 (3). pp. 286-288. ISSN 0018-9529.

UNSPECIFIED (1998) Evaluating information systems in small and medium-sized enterprises: issues and evidence. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 7 (4). pp. 241-251. ISSN 0960-085X.

UNSPECIFIED (1999) Evaluation of frequency and time-frequency spectral analysis of heart rate variability as a diagnostic marker of the sleep apnoea syndrome. MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, 37 (6). pp. 760-769. ISSN 0140-0118.

UNSPECIFIED (2002) Exploring relationships in information technology outsourcing: the interaction approach. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 11 (1). pp. 3-19. doi:10.1057/palgrave.ejis.3000415 ISSN 0960-085X.

UNSPECIFIED (2002) Extracting geometric attributes directly from scanned data sets for feature recognition. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 15 (1). pp. 50-61. ISSN 0951-192X.

UNSPECIFIED (1987) FAST PARALLEL ALGORITHMS FOR OPTIMAL EDGE-COLORING OF SOME TREE-STRUCTURED GRAPHS. LECTURE NOTES IN COMPUTER SCIENCE, 278 . pp. 155-162. ISSN 0302-9743.

UNSPECIFIED (1985) FEATURE ANALYSIS OF CONTEMPORARY INFORMATION-SYSTEMS METHODOLOGIES. COMPUTER JOURNAL, 28 (3). pp. 223-230. ISSN 0010-4620.

UNSPECIFIED (1987) FINITE PROLATE SPHEROIDAL SEQUENCES AND THEIR APPLICATIONS .1. GENERATION AND PROPERTIES. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 9 (6). pp. 787-795. ISSN 0162-8828.

UNSPECIFIED (1988) FINITE PROLATE SPHEROIDAL SEQUENCES AND THEIR APPLICATIONS .2. IMAGE FEATURE DESCRIPTION AND SEGMENTATION. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 10 (2). pp. 193-203. ISSN 0162-8828.

UNSPECIFIED (1983) A FORMAL ACCOUNT OF SOME ELEMENTARY CONTINUED-FRACTION ALGORITHMS. JOURNAL OF ALGORITHMS, 4 (3). pp. 221-240. ISSN 0196-6774.

UNSPECIFIED (1995) FUNCTION REPRESENTATION IN GEOMETRIC MODELING - CONCEPTS, IMPLEMENTATION AND APPLICATIONS. VISUAL COMPUTER, 11 (8). pp. 429-446. ISSN 0178-2789.

UNSPECIFIED (1990) A FUNCTIONAL STYLE OF PROGRAMMING WITH CSP-LIKE COMMUNICATION MECHANISMS. NEW GENERATION COMPUTING, 7 (4). pp. 341-364. ISSN 0288-3635.

UNSPECIFIED (1994) FUZZY KNOWLEDGE-BASED APPROACH TO TREATING UNCERTAINTY IN INVENTORY CONTROL. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 7 (3). pp. 147-152. ISSN 0951-5240.

UNSPECIFIED (1999) Fast Bayes and the dynamic junction forest. ARTIFICIAL INTELLIGENCE, 107 (1). pp. 99-124. ISSN 0004-3702.

UNSPECIFIED (2004) Fast numerical simulations of 2D turbulence using a dynamic model for subfilter motions. JOURNAL OF COMPUTATIONAL PHYSICS, 196 (1). pp. 184-207. doi:10.1016/j.jcp.2003.10.022 ISSN 0021-9991.

UNSPECIFIED (2001) Feature representation and signal classification in fluorescence in-situ hybridization image analysis. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 31 (6). pp. 655-665. ISSN 1083-4427.

UNSPECIFIED (1998) Financial appraisal and the IS/IT investment decision making process. JOURNAL OF INFORMATION TECHNOLOGY, 13 (1). pp. 3-14. ISSN 0268-3962.

UNSPECIFIED (2002) Flow analysis: Games and nets. ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2566 . pp. 135-156. ISSN 0302-9743.

UNSPECIFIED (1996) Framework to analyse flexibility and unplanned change in manufacturing systems. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 9 (1). pp. 57-64. ISSN 0951-5240.

UNSPECIFIED (1996) From efficiency to flexibility: The strategic use of information in the airline industry. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 5 (3). pp. 169-188. ISSN 0963-8687.

UNSPECIFIED (1991) GCODE - A REVISED STANDARD FOR A GRAPH REPRESENTATION FOR FUNCTIONAL PROGRAMS. SIGPLAN NOTICES, 26 (1). pp. 133-135. ISSN 0362-1340.

UNSPECIFIED (1992) A GENERALIZED WAVELET TRANSFORM FOR FOURIER-ANALYSIS - THE MULTIRESOLUTION FOURIER-TRANSFORM AND ITS APPLICATION TO IMAGE AND AUDIO SIGNAL ANALYSIS. IEEE TRANSACTIONS ON INFORMATION THEORY, 38 (2 Part 2). pp. 674-690. ISSN 0018-9448.

UNSPECIFIED (1988) GETTING WOMEN INTO COMPUTING. UNIVERSITY COMPUTING, 10 (3). pp. 154-157. ISSN 0265-4385.

UNSPECIFIED (1994) A GROUP-THEORETIC APPROACH TO RINGS OF COUPLED BIOLOGICAL OSCILLATORS. BIOLOGICAL CYBERNETICS, 71 (2). pp. 95-103. ISSN 0340-1200.

UNSPECIFIED (2002) Grobner bases, abstract tubes, and inclusion-exclusion reliability bounds. IEEE TRANSACTIONS ON RELIABILITY, 51 (3). pp. 358-366. doi:10.1109/TR.2002.802890 ISSN 0018-9529.

UNSPECIFIED (1993) HEXAPODAL GAITS AND COUPLED NONLINEAR OSCILLATOR MODELS. BIOLOGICAL CYBERNETICS, 68 (4). pp. 287-298. ISSN 0340-1200.

UNSPECIFIED (2001) High performance service discovery in large-scale multi-agent and mobile-agent systems. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 11 (5). pp. 621-641. ISSN 0218-1940.

UNSPECIFIED (2002) High-order spatial discretisations in electrochemical digital simulation. Part 3. Combination with the explicit Runge-Kutta algorithm. COMPUTERS & CHEMISTRY, 26 (2). pp. 97-103. ISSN 0097-8485.

IFIP TC3 TC9 Joint Task Grp (Including: UNSPECIFIED). (1999) History in the computing curriculum. IEEE ANNALS OF THE HISTORY OF COMPUTING, 21 (1). pp. 4-16. ISSN 1058-6180.

UNSPECIFIED (1995) ICL AND THE EVOLUTION OF THE BRITISH MAINFRAME. COMPUTER JOURNAL, 38 (5). pp. 400-412. ISSN 0010-4620.

UNSPECIFIED (1990) IDENTIFIABILITY AND INDISTINGUISHABILITY OF LINEAR COMPARTMENTAL-MODELS. MATHEMATICS AND COMPUTERS IN SIMULATION, 32 (3). pp. 273-295. ISSN 0378-4754.

UNSPECIFIED (1985) IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS. JOURNAL OF THE ACM, 32 (2). pp. 374-382. ISSN 0004-5411.

UNSPECIFIED (1990) IMPROVED SORTING NETWORKS WITH O(LOG N) DEPTH. ALGORITHMICA, 5 (1). pp. 75-92. ISSN 0178-4617.

UNSPECIFIED (1988) INFORMATION-SYSTEMS DEVELOPMENT - CURRENT THEMES AND FUTURE-DIRECTIONS. INFORMATION AND SOFTWARE TECHNOLOGY, 30 (8). pp. 458-466. ISSN 0950-5849.

UNSPECIFIED (1993) INTRODUCTION TO SEMIGROUP THEORY. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 185 . pp. 1-22. ISSN 0170-8643.

UNSPECIFIED (1988) IS VISION A PATTERN-RECOGNITION PROBLEM. LECTURE NOTES IN COMPUTER SCIENCE, 301 . pp. 1-25. ISSN 0302-9743.

UNSPECIFIED (1991) ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS. LECTURE NOTES IN COMPUTER SCIENCE, 571 . pp. 1-20. ISSN 0302-9743.

UNSPECIFIED (2004) IT and business process outsourcing: The knowledge potential. INFORMATION SYSTEMS MANAGEMENT, 21 (3). pp. 7-15. ISSN 1058-0530.

UNSPECIFIED (2006) IT outsourcing and core is capabilities: Challenges and lessons at Dupont. INFORMATION SYSTEMS MANAGEMENT, 23 (1). pp. 49-56. ISSN 1058-0530.

UNSPECIFIED (2003) IT sourcing reflections - Lessons for customers and suppliers. WIRTSCHAFTSINFORMATIK, 45 (2). pp. 115-125. ISSN 0937-6429.

UNSPECIFIED (2006) IT-enabled healthcare delivery: The UK National Health Service. INFORMATION SYSTEMS MANAGEMENT, 23 (2). pp. 7-22. ISSN 1058-0530.

UNSPECIFIED (2003) Immersive learning system for manufacturing industries. COMPUTERS IN INDUSTRY, 51 (1). pp. 31-40. doi:10.1016/S0166-3615(03)00027-7 ISSN 0166-3615.

UNSPECIFIED (2005) Impact of temperature and pH value on the stability of hGHRH: An MD approach. MATHEMATICAL AND COMPUTER MODELLING, 41 (10). pp. 1157-1170. doi:10.1016/j.mcm.2005.05.009 ISSN 0895-7177.

UNSPECIFIED (1996) Implementing fail-silent nodes for distributed systems. IEEE TRANSACTIONS ON COMPUTERS, 45 (11). pp. 1226-1238. ISSN 0018-9340.

UNSPECIFIED (2000) Improved algorithms for dynamic shortest paths. ALGORITHMICA, 28 (4). pp. 367-389. ISSN 0178-4617.

UNSPECIFIED (1999) Improved approximation guarantees for packing and covering integer programs. SIAM JOURNAL ON COMPUTING, 29 (2). pp. 648-670. ISSN 0097-5397.

UNSPECIFIED (2000) Individual and collective congruence in the knowledge management process. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 9 (2-3). pp. 213-234. ISSN 0963-8687.

UNSPECIFIED (2001) Information systems strategies in knowledge-based SMEs: the role of core competencies. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 10 (1). pp. 25-40. ISSN 0960-085X.

UNSPECIFIED (1999) Information systems strategy for small and medium sized enterprises: an organisational perspective. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 9 (1). pp. 63-84. ISSN 0963-8687.

UNSPECIFIED (1996) Information systems/technology evaluation practices: Evidence from UK organizations. JOURNAL OF INFORMATION TECHNOLOGY, 11 (2). pp. 129-141. ISSN 0268-3962.

UNSPECIFIED (1995) Information: A perceiver-concerns perspective. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 4 (3). pp. 121-129. ISSN 0960-085X.

UNSPECIFIED (2005) Integration of multiresolution image segmentation and neural networks for object depth recovery. PATTERN RECOGNITION, 38 (7). pp. 985-996. doi:10.1016/j.patcog.2005.01.005 ISSN 0031-3203.

UNSPECIFIED (1997) The Internet in universities: Liberation or desensitization? COMPUTERS & GEOSCIENCES, 23 (5). pp. 513-519. ISSN 0098-3004.

UNSPECIFIED (2001) Investigation of the occurrence of: No-faults-found in electronic equipment. IEEE TRANSACTIONS ON RELIABILITY, 50 (3). pp. 289-292. ISSN 0018-9529.

UNSPECIFIED (1994) LINKING MANUFACTURING STRATEGY TO THE DESIGN OF A CUSTOMIZED HYBRID PRODUCTION CONTROL-SYSTEM. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 7 (2). pp. 134-141. ISSN 0951-5240.

UNSPECIFIED (1985) LOWER BOUNDS ON THE COMPLEXITY OF ONE TIME ONLY BRANCHING PROGRAMS. LECTURE NOTES IN COMPUTER SCIENCE, 199 . pp. 90-99. ISSN 0302-9743.

UNSPECIFIED (1998) Lattices and dual lattices in optimal experimental design for Fourier models. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 28 (3). pp. 283-296. ISSN 0167-9473.

UNSPECIFIED (1996) Lower bounds for monotone span programs. COMPUTATIONAL COMPLEXITY, 6 (1). pp. 29-45. ISSN 1016-3328.

UNSPECIFIED (1991) MANAGERIAL INTEGRATION AND CIM - A STRATEGIC RESPONSE. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 4 (2). pp. 103-108. ISSN 0951-5240.

UNSPECIFIED (1986) MATRIX TECHNIQUES. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 36-60. ISSN 0170-8643.

UNSPECIFIED (1985) THE MECHANICAL COMPUTATION OF 1ST AND 2ND COHOMOLOGY GROUPS. JOURNAL OF SYMBOLIC COMPUTATION, 1 (4). pp. 351-361. ISSN 0747-7171.

UNSPECIFIED (1991) THE MINSUMCUT PROBLEM. LECTURE NOTES IN COMPUTER SCIENCE, 519 . pp. 65-79. ISSN 0302-9743.

UNSPECIFIED (1994) MODEL-BASED MULTIRESOLUTION MOTION ESTIMATION IN NOISY IMAGES. CVGIP-IMAGE UNDERSTANDING, 59 (3). pp. 307-319. ISSN 1049-9660.

UNSPECIFIED (1994) MODELING THE CASE PROCESS - EMPIRICAL ISSUES AND FUTURE-DIRECTIONS. INFORMATION AND SOFTWARE TECHNOLOGY, 36 (10). pp. 587-596. ISSN 0950-5849.

UNSPECIFIED (1999) Making sense of telebanking information systems: the role of organizational back ups. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 8 (2). pp. 143-156. ISSN 0963-8687.

UNSPECIFIED (2003) Modeling chirp and phase inversion in wavelength converters based on symmetrical MZI-SOAs for use in all-optical networks. PHOTONIC NETWORK COMMUNICATIONS, 5 (3). pp. 289-300. ISSN 1387-974X.

UNSPECIFIED (2002) Modes of simulation practice: approaches to business and military simulation. SIMULATION MODELLING PRACTICE AND THEORY, 10 (8). pp. 513-523. doi:10.1016/S1569-190X(02)00117-X ISSN 1569-190X.

UNSPECIFIED (2005) Molecular dynamics simulations of tubulin structure and calculations of electrostatic properties of microtubules. MATHEMATICAL AND COMPUTER MODELLING, 41 (10). pp. 1055-1070. doi:10.1016/j.mcm.2005.05.002 ISSN 0895-7177.

UNSPECIFIED (1995) Multimedia hypermedia in CIM: State-of-the-art review and research implications .1. State-of-the-art review. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 8 (4). pp. 255-260. ISSN 0951-5240.

UNSPECIFIED (1995) Multimedia hypermedia in CIM: State-of-the-art review and research implications .2. Research implications. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 8 (4). pp. 261-268. ISSN 0951-5240.

UNSPECIFIED (2002) Multiresolution feature detection using a family of isotropic bandpass filters. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 32 (4). pp. 443-454. ISSN 1083-4419.

UNSPECIFIED (1986) NEARLY OPTIMAL HIERARCHIES FOR NETWORK AND FORMULA SIZE. ACTA INFORMATICA, 23 (2). pp. 217-221. ISSN 0001-5903.

UNSPECIFIED (1987) A NOTE ON OPTIMAL PARALLEL TRANSFORMATIONS OF REGULAR EXPRESSIONS TO NONDETERMINISTIC FINITE AUTOMATA. LECTURE NOTES IN COMPUTER SCIENCE, 269 . pp. 138-145. ISSN 0302-9743.

UNSPECIFIED (1990) NUMERICAL MODELING OF THE NONLINEAR STATIC RESPONSE OF CLAD CABLE NET STRUCTURES. COMPUTERS & STRUCTURES, 35 (1). pp. 15-22. ISSN 0045-7949.

UNSPECIFIED (1999) Neural network detection of files of suicidal patients and suicidal profiles. MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE, 24 (4). pp. 249-256. ISSN 1463-9238.

UNSPECIFIED (1997) Neural networks applied to ultrasonic tomographic image reconstruction. NEURAL COMPUTING & APPLICATIONS, 5 (2). pp. 106-123. ISSN 0941-0643.

UNSPECIFIED (2000) An O(n log n) algorithm for finding a shortest central link segment. INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 10 (2). pp. 157-188. ISSN 0218-1959.

UNSPECIFIED (1995) OBJECTS IN THE PI-CALCULUS. INFORMATION AND COMPUTATION, 116 (2). pp. 253-271. ISSN 0890-5401.

UNSPECIFIED (1982) OMEGA(N LOG N) LOWER BOUNDS ON LENGTH OF BOOLEAN-FORMULAS. SIAM JOURNAL ON COMPUTING, 11 (3). pp. 416-427. ISSN 0097-5397.

UNSPECIFIED (1984) ON FINITE VOLTERRA SERIES WHICH ADMIT HAMILTONIAN REALIZATIONS. MATHEMATICAL SYSTEMS THEORY, 17 (4). pp. 293-318. ISSN 0025-5661.

UNSPECIFIED (1992) ON NEAREST-NEIGHBOR GRAPHS. LECTURE NOTES IN COMPUTER SCIENCE, 623 . pp. 416-426. ISSN 0302-9743.

UNSPECIFIED (1992) ON PROBABILISTIC ACC CIRCUITS WITH AN EXACT-THRESHOLD OUTPUT GATE. LECTURE NOTES IN COMPUTER SCIENCE, 650 . pp. 420-429. ISSN 0302-9743.

UNSPECIFIED (1987) ON THE PLANAR MONOTONE COMPUTATION OF BOOLEAN FUNCTIONS. THEORETICAL COMPUTER SCIENCE, 53 (2-3). pp. 267-279. ISSN 0304-3975.

UNSPECIFIED (1985) ON THE PLANAR MONOTONE COMPUTATION OF THRESHOLD FUNCTIONS. LECTURE NOTES IN COMPUTER SCIENCE, 182 . pp. 219-230. ISSN 0302-9743.

UNSPECIFIED (1982) AN OPERATIONAL SEMANTICS FOR PURE DATAFLOW. LECTURE NOTES IN COMPUTER SCIENCE, 140 . pp. 212-224. ISSN 0302-9743.

UNSPECIFIED (1986) AN OPTIMAL PARALLEL ALGORITHM FOR DYNAMIC EXPRESSION EVALUATION AND ITS APPLICATIONS. LECTURE NOTES IN COMPUTER SCIENCE, 241 . pp. 453-469. ISSN 0302-9743.

UNSPECIFIED (1989) OPTIMAL PARALLEL ALGORITHMS FOR DYNAMIC EXPRESSION EVALUATION AND CONTEXT-FREE RECOGNITION. INFORMATION AND COMPUTATION, 81 (1). pp. 32-45. ISSN 0890-5401.

UNSPECIFIED (1987) OPTIMAL PARALLEL PARSING OF BRACKET LANGUAGES. LECTURE NOTES IN COMPUTER SCIENCE, 269 . pp. 146-154. ISSN 0302-9743.

UNSPECIFIED (1987) OPTIMAL PARALLEL PARSING OF BRACKET LANGUAGES. THEORETICAL COMPUTER SCIENCE, 53 (2-3). pp. 295-306. ISSN 0304-3975.

UNSPECIFIED (1987) ORDERED PORTS - A LANGUAGE CONCEPT FOR HIGH-LEVEL DISTRIBUTED-PROGRAMMING. COMPUTER JOURNAL, 30 (6). pp. 487-497. ISSN 0010-4620.

UNSPECIFIED (1992) THE ORDERING OF THE UNKNOWN BY CAUSING IT TO ORDER ITSELF - REPLY. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 21 (2). p. 271. ISSN 0308-1079.

UNSPECIFIED (1998) On a relation between uniform coding and problems of the form DTIMEF(F) =? DSPACEF(F). ACTA INFORMATICA, 35 (8). pp. 665-672. ISSN 0001-5903.

UNSPECIFIED (2005) On feedback and the classical capacity of a noisy quantum channel. IEEE TRANSACTIONS ON INFORMATION THEORY, 51 (1). pp. 320-324. doi:10.1109/TIT.2004.839519 ISSN 0018-9448.

UNSPECIFIED (1996) On knowing how to do things: A theory of motor imagery. COGNITIVE BRAIN RESEARCH, 3 (2). pp. 65-69. ISSN 0926-6410.

UNSPECIFIED (1997) On nearest-neighbor graphs. DISCRETE & COMPUTATIONAL GEOMETRY, 17 (3). pp. 263-282. ISSN 0179-5376.

UNSPECIFIED (2004) On the Euclidean TSP with a permuted Van der Veen matrix. INFORMATION PROCESSING LETTERS, 91 (6). pp. 259-262. doi:10.1016/j.ipl.2004.05.011 ISSN 0020-0190.

UNSPECIFIED (1998) On the traveling salesman problem with a relaxed Monge matrix. INFORMATION PROCESSING LETTERS, 67 (5). pp. 231-237. ISSN 0020-0190.

UNSPECIFIED (2004) On-line scheduling a batch processing system to minimize total weighted job completion time. JOURNAL OF COMBINATORIAL OPTIMIZATION, 8 (1). pp. 85-95. ISSN 1382-6905.

UNSPECIFIED (2005) Optical wireless links with enhanced linearity and selectivity [Invited]. JOURNAL OF OPTICAL NETWORKING, 4 (10). pp. 671-684. ISSN 1536-5379.

UNSPECIFIED (1997) Optimal parallel randomized renaming. INFORMATION PROCESSING LETTERS, 61 (1). pp. 7-10. ISSN 0020-0190.

UNSPECIFIED (1996) Optimal structural membranes .1. Formulation of a curved quadrilateral element for surface definition. COMPUTERS & STRUCTURES, 61 (5). pp. 871-883. ISSN 0045-7949.

UNSPECIFIED (1996) Optimal structural membranes .2. Form-finding of prestressed membranes using a curved quadrilateral finite element for surface definition. COMPUTERS & STRUCTURES, 61 (5). pp. 885-895. ISSN 0045-7949.

UNSPECIFIED (2001) Optimisation of application execution on dynamic systems. FUTURE GENERATION COMPUTER SYSTEMS, 17 (8). pp. 941-949. ISSN 0167-739X.

UNSPECIFIED (2005) Optimising basic edge detectors for particular acquisition systems. PATTERN RECOGNITION LETTERS, 26 (10). pp. 1525-1531. doi:10.1016/j.patrec.2004.12.002 ISSN 0167-8655.

UNSPECIFIED (1991) P-A LOGIC - A COMPOSITIONAL PROOF SYSTEM FOR DISTRIBUTED PROGRAMS. DISTRIBUTED COMPUTING, 5 (1). pp. 37-54. ISSN 0178-2770.

UNSPECIFIED (1987) PARALLEL ALGORITHMS FOR APPROXIMATE EDGE COLORING OF SIMPLE GRAPHS. LECTURE NOTES IN COMPUTER SCIENCE, 287 . pp. 207-225. ISSN 0302-9743.

UNSPECIFIED (1988) PARALLEL O(LOG N) TIME EDGE-COLOURING OF TREES AND HALIN GRAPHS. INFORMATION PROCESSING LETTERS, 27 (1). pp. 43-51. ISSN 0020-0190.

UNSPECIFIED (1986) PARAMETER-ESTIMATION. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 176-188. ISSN 0170-8643.

UNSPECIFIED (1989) PARTITIONING SPACE FOR RANGE QUERIES. SIAM JOURNAL ON COMPUTING, 18 (2). pp. 371-384. ISSN 0097-5397.

UNSPECIFIED (1998) PASSML: combining evolutionary inference and protein secondary structure prediction. BIOINFORMATICS, 14 (8). pp. 726-733. ISSN 1367-4803.

UNSPECIFIED (1995) PIK MASS-PRODUCTION AND AN OPTIMAL CIRCUIT FOR THE NECIPORUK SLICE. COMPUTATIONAL COMPLEXITY, 5 (2). pp. 132-154. ISSN 1016-3328.

UNSPECIFIED (1991) PLANAR ACYCLIC COMPUTATION. INFORMATION AND COMPUTATION, 90 (2). pp. 178-193. ISSN 0890-5401.

UNSPECIFIED (1985) PLANAR CIRCUITS HAVE SHORT SPECIFICATIONS. LECTURE NOTES IN COMPUTER SCIENCE, 182 . pp. 231-242. ISSN 0302-9743.

UNSPECIFIED (1987) THE PLANAR REALIZATION OF BOOLEAN FUNCTIONS. INFORMATION PROCESSING LETTERS, 24 (3). pp. 165-170. ISSN 0020-0190.

UNSPECIFIED (1986) POINT RETRIEVAL FOR POLYGONS. JOURNAL OF ALGORITHMS, 7 (3). pp. 441-447. ISSN 0196-6774.

UNSPECIFIED (1994) A PRACTICAL MINIMUM DISTANCE METHOD FOR SYNTAX ERROR HANDLING. COMPUTER LANGUAGES, 20 (4). pp. 239-252. ISSN 0096-0551.

UNSPECIFIED (1986) PRACTICAL PROBLEMS IN IDENTIFICATION. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 358-386. ISSN 0170-8643.

UNSPECIFIED (1982) PREDICTING THE NUMBER OF DISTINCT ELEMENTS IN A MULTISET. SIAM JOURNAL ON COMPUTING, 11 (4). pp. 611-619. ISSN 0097-5397.

UNSPECIFIED (1992) THE PROBLEMS OF SOCIAL AUTOPOIESIS. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 21 (2). pp. 229-236. ISSN 0308-1079.

UNSPECIFIED (1994) THE PROPAGATION OF TRAVELING WAVES FOR STOCHASTIC GENERALIZED KPP EQUATIONS. MATHEMATICAL AND COMPUTER MODELLING, 20 (4-5). pp. 131-166. ISSN 0895-7177.

UNSPECIFIED (2000) The PSIPRED protein structure prediction server. BIOINFORMATICS, 16 (4). pp. 404-405. ISSN 1367-4803.

UNSPECIFIED (2002) Parallel priority queue and list contraction: The BSP approach. COMPUTING AND INFORMATICS, 21 (1). pp. 59-90. ISSN 1335-9150.

UNSPECIFIED (1998) Partial confluence of processes and systems of objects. THEORETICAL COMPUTER SCIENCE, 206 (1-2). pp. 127-162. ISSN 0304-3975.

UNSPECIFIED (2002) Perfect simulation for correlated Poisson random variables conditioned to be positive. STATISTICS AND COMPUTING, 12 (3). pp. 229-243. ISSN 0960-3174.

UNSPECIFIED (1999) Perfect simulation in stochastic geometry. PATTERN RECOGNITION, 32 (9). pp. 1569-1586. ISSN 0031-3203.

UNSPECIFIED (2000) Performance evaluation of a bus-based multistage multiprocessor architecture. JOURNAL OF SYSTEMS ARCHITECTURE, 46 (1). pp. 39-47. ISSN 1383-7621.

UNSPECIFIED (2000) Performance optimization of financial option calculations. PARALLEL COMPUTING, 26 (5). pp. 623-639. ISSN 0167-8191.

UNSPECIFIED (1996) Pipelining the Givens linear solver on distributed memory machines. SUPERCOMPUTER, 12 (3). pp. 37-43. ISSN 0168-7875.

UNSPECIFIED (1998) Planktonic interactions and chaotic advection in Langmuir circulation. MATHEMATICS AND COMPUTERS IN SIMULATION, 44 (6). pp. 527-544. ISSN 0378-4754.

UNSPECIFIED (2000) Prediction of turbulent oscillatory flows in complex systems. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 33 (6). pp. 869-895. ISSN 0271-2091.

UNSPECIFIED (1998) Problems, knowledge, solutions: solving complex problems - a response to Enid Mumford's paper ICIS 1998, Helsinki, Finland. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 7 (4). pp. 271-274. ISSN 0963-8687.

UNSPECIFIED (1998) Programming the EDSAC: Early programming activity at the University of Cambridge. IEEE ANNALS OF THE HISTORY OF COMPUTING, 20 (4). pp. 46-67. ISSN 1058-6180.

UNSPECIFIED (1989) REALIZATION-THEORY IN HILBERT-SPACE. MATHEMATICAL SYSTEMS THEORY, 21 (3). pp. 147-164. ISSN 0025-5661.

UNSPECIFIED (1994) A REFLECTIVE PRODUCTION SYSTEM. KYBERNETES, 23 (3). pp. 20-35. ISSN 0368-492X.

UNSPECIFIED (1993) REGIONAL CONTROLLABILITY OF DISTRIBUTED SYSTEMS. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 185 . pp. 326-335. ISSN 0170-8643.

UNSPECIFIED (1986) RELEVANT PROBABILITY-THEORY. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 63-91. ISSN 0170-8643.

UNSPECIFIED (1986) RELEVANT STATISTICAL-THEORY. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 92-115. ISSN 0170-8643.

UNSPECIFIED (1985) REPLACEABILITY AND COMPUTATIONAL EQUIVALENCE FOR MONOTONE BOOLEAN FUNCTIONS. ACTA INFORMATICA, 22 (4). pp. 433-449. ISSN 0001-5903.

UNSPECIFIED (1984) REPLACEMENT IN MONOTONE BOOLEAN NETWORKS - AN ALGEBRAIC PERSPECTIVE. LECTURE NOTES IN COMPUTER SCIENCE, 181 . pp. 165-178. ISSN 0302-9743.

UNSPECIFIED (1993) RESEARCH ISSUES IN INFORMATION-SYSTEMS. JOURNAL OF INFORMATION TECHNOLOGY, 8 (2). pp. 92-98. ISSN 0268-3962.

UNSPECIFIED (1995) THE ROLE OF FEEDBACK IN ASSESSING INFORMATION-SYSTEMS PLANNING EFFECTIVENESS. JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 4 (1). pp. 61-80. ISSN 0963-8687.

UNSPECIFIED (2004) Random sampling of 3-colorings in Z(2). RANDOM STRUCTURES & ALGORITHMS, 24 (3). pp. 279-302. doi:10.1002/rsa.20002 ISSN 1042-9832.

UNSPECIFIED (2006) Rapidly mixing Markov chains for sampling contingency tables with a constant number of rows. SIAM JOURNAL ON COMPUTING, 36 (1). pp. 247-278. doi:10.1137/S0097539703434243 ISSN 0097-5397.

UNSPECIFIED (2001) Realistic image synthesis of plant structures for genetic analysis. IMAGE AND VISION COMPUTING, 19 (8). pp. 517-522. ISSN 0262-8856.

UNSPECIFIED (2003) Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. JOURNAL OF THE ACM, 50 (5). pp. 591-640. ISSN 0004-5411.

UNSPECIFIED (2004) Responsiveness of interoperating components. FORMAL ASPECTS OF COMPUTING, 16 (4). pp. 394-411. doi:10.1007/s00165-004-0050-9 ISSN 0934-5043.

UNSPECIFIED (1996) Risk management for information systems development. JOURNAL OF INFORMATION TECHNOLOGY, 11 (4). pp. 309-319. ISSN 0268-3962.

UNSPECIFIED (2004) Rob Tristan Gerth: 1956-2003. COMPUTER AIDED VERIFICATION, 3114 . pp. 1-14. ISSN 0302-9743.

UNSPECIFIED (2005) Robotic-cell scheduling: Special polynomially solvable cases of the traveling salesman problem on permuted Monge matrices. JOURNAL OF COMBINATORIAL OPTIMIZATION, 9 (4). pp. 381-399. ISSN 1382-6905.

UNSPECIFIED (1997) Roof edge detection using regularized cubic B-spline fitting. PATTERN RECOGNITION, 30 (5). pp. 719-728. ISSN 0031-3203.

UNSPECIFIED (1994) A SELF-EVALUATING EXPERT-SYSTEM FOR X-RAY ROCKING CURVE ANALYSIS. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 9 (6). pp. 493-517. ISSN 0884-8173.

UNSPECIFIED (1988) SEMANTICS OF REAL-TIME DISTRIBUTED PROGRAMS. LECTURE NOTES IN COMPUTER SCIENCE, 335 . pp. 292-306. ISSN 0302-9743.

UNSPECIFIED (1991) THE SET OF MINIMAL BRAIDS IS CO-NP-COMPLETE. JOURNAL OF ALGORITHMS, 12 (3). pp. 393-408. ISSN 0196-6774.

UNSPECIFIED (1993) A SHORT PROOF OF THE DILATION OF TOROIDAL MESH IN A PATH. INFORMATION PROCESSING LETTERS, 48 (4). pp. 197-199. ISSN 0020-0190.

UNSPECIFIED (1993) SHRINKAGE OF DE MORGAN FORMULAS UNDER RESTRICTION. RANDOM STRUCTURES & ALGORITHMS, 4 (2). pp. 135-150. ISSN 1042-9832.

UNSPECIFIED (1986) SIGNAL ANALYSIS-I. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 3-21. ISSN 0170-8643.

UNSPECIFIED (1986) SIGNAL ANALYSIS-II. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 143-154. ISSN 0170-8643.

UNSPECIFIED (2003) SMEs, co-opetition and knowledge sharing: the role of information systems. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 12 (1). pp. 3-17. doi:10.1057/palgrave.ejis.3000439 ISSN 0960-085X.

UNSPECIFIED (2001) SMEs: aligning IS and the strategic context. JOURNAL OF INFORMATION TECHNOLOGY, 16 (3). pp. 133-144. ISSN 0268-3962.

UNSPECIFIED (1992) SOMETIMES SOME IS AS GOOD AS ALL. LECTURE NOTES IN COMPUTER SCIENCE, 630 . pp. 192-206. ISSN 0302-9743.

UNSPECIFIED (1987) A STABILITY RADIUS FOR INFINITE DIMENSIONAL SYSTEMS. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 102 . pp. 272-291. ISSN 0170-8643.

UNSPECIFIED (1988) A STANDARD FOR A GRAPH REPRESENTATION FOR FUNCTIONAL PROGRAMS. SIGPLAN NOTICES, 23 (1). pp. 75-82. ISSN 0362-1340.

UNSPECIFIED (1986) STOCHASTIC METHODS AND ENGINEERING SURFACES. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 339-357. ISSN 0170-8643.

UNSPECIFIED (1983) STORAGE REQUIREMENTS FOR FAIR SCHEDULING. INFORMATION PROCESSING LETTERS, 17 (5). pp. 249-250. ISSN 0020-0190.

UNSPECIFIED (1995) STRATEGIC INFORMATION-SYSTEMS PLANNING - DERIVING COMPARATIVE ADVANTAGE FROM EDI. JOURNAL OF INFORMATION TECHNOLOGY, 10 (3). pp. 149-157. ISSN 0268-3962.

UNSPECIFIED (1988) STRATEGIC OPTIONS FOR CIM - TECHNOLOGY-CENTERED VERSUS HUMAN-CENTERED SYSTEMS-DESIGN. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1 (2). pp. 75-81. ISSN 0951-5240.

UNSPECIFIED (1993) A STUDY AND MODIFICATION OF THE LOCAL HISTOGRAM EQUALIZATION ALGORITHM. PATTERN RECOGNITION, 26 (9). pp. 1373-1381. ISSN 0031-3203.

UNSPECIFIED (1986) SYSTEMS ANALYSIS-I. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 22-35. ISSN 0170-8643.

UNSPECIFIED (1986) SYSTEMS ANALYSIS-II. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 79 . pp. 116-142. ISSN 0170-8643.

UNSPECIFIED (1996) Self-similar neural networks based on a Kohonen learning rule. NEURAL NETWORKS, 9 (5). pp. 747-763. ISSN 0893-6080.

UNSPECIFIED (2000) Simple optimal parallel multiple pattern matching. JOURNAL OF ALGORITHMS, 34 (1). pp. 1-13. ISSN 0196-6774.

UNSPECIFIED (1997) Simulating without negation. JOURNAL OF LOGIC AND COMPUTATION, 7 (4). pp. 501-522. ISSN 0955-792X.

UNSPECIFIED (1999) Simulation verification, validation and confidence: A tutorial. TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 16 (2). pp. 63-69. ISSN 0740-6797.

UNSPECIFIED (2002) Sites of construction: language learning, multimedia, and the international engineer. COMPUTERS & EDUCATION, 39 (2). pp. 129-143. ISSN 0360-1315.

UNSPECIFIED (1999) Size invariant circle detection. IMAGE AND VISION COMPUTING, 17 (11). pp. 795-803. ISSN 0262-8856.

UNSPECIFIED (2005) Social ties, knowledge sharing and successful collaboration in globally distributed system development projects. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 14 (1). pp. 37-48. doi:10.1057/palgrave.ejis.3000520 ISSN 0960-085X.

UNSPECIFIED (1999) Specification and verification of fault-tolerance, timing, and scheduling. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 21 (1). pp. 46-89. ISSN 0164-0925.

UNSPECIFIED (2001) Spreadability and evolving interfaces. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 32 (10). pp. 1217-1232. ISSN 0020-7721.

UNSPECIFIED (2006) Stack-like and queue-like dynamics in recurrent neural networks. Connection Science, Volume 18 (Number 1). pp. 23-42. doi:10.1080/09540090500317291 ISSN 0954-0091.

UNSPECIFIED (2001) Stiff oscillatory systems, delta jumps and white noise. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 1 (1). pp. 69-99. ISSN 1615-3375.

UNSPECIFIED (2005) Strong spatial mixing with fewer colors for lattice graphs. SIAM JOURNAL ON COMPUTING, 35 (2). pp. 486-517. doi:10.1137/S0097539704445470 ISSN 0097-5397.

UNSPECIFIED (1989) TAXONOMIC REASONING WITH MANY-SORTED LOGICS. ARTIFICIAL INTELLIGENCE REVIEW, 3 (2-3). pp. 89-128. ISSN 0269-2821.

UNSPECIFIED (1991) A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS. LECTURE NOTES IN COMPUTER SCIENCE, 571 . pp. 341-361. ISSN 0302-9743.

UNSPECIFIED (1995) TIGHTER LOWER BOUNDS ON THE EXACT COMPLEXITY OF STRING-MATCHING. SIAM JOURNAL ON COMPUTING, 24 (1). pp. 30-45. ISSN 0097-5397.

UNSPECIFIED (1989) TIME AND REAL-TIME IN PROGRAMS. LECTURE NOTES IN COMPUTER SCIENCE, 405 . pp. 312-324. ISSN 0302-9743.

UNSPECIFIED (1992) TRANSFORMING LEGAL LEARNING. COMPUTERS & EDUCATION, 19 (1-2). pp. 113-124. ISSN 0360-1315.

UNSPECIFIED (2003) Tabulating the heavens: Computing the Nautical Almanac in 18th-century England. IEEE ANNALS OF THE HISTORY OF COMPUTING, 25 (3). pp. 48-61. ISSN 1058-6180.

UNSPECIFIED (1996) Time compression in the supply chain. INDUSTRIAL MANAGEMENT & DATA SYSTEMS, 96 (2). 12-&. ISSN 0263-5577.

UNSPECIFIED (1997) Training a feed-forward network by feeding gradients forward rather than by back-propagation of errors. NEUROCOMPUTING, 16 (2). pp. 117-126. ISSN 0925-2312.

UNSPECIFIED (1995) UNCERTAINTY IN DECISION-MAKING - AN ABDUCTIVE PERSPECTIVE. DECISION SUPPORT SYSTEMS, 13 (2). pp. 183-193. ISSN 0167-9236.

UNSPECIFIED (1984) UNDECIDABILITY OF PDL WITH L=(A2I/I-GREATER-THAN-OR-EQUAL-TO-O). JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 29 (3). pp. 359-365. ISSN 0022-0000.

UNSPECIFIED (1995) UPPER-BOUNDS FOR THE EXPECTED LENGTH OF A LONGEST COMMON SUBSEQUENCE OF 2 BINARY SEQUENCES. RANDOM STRUCTURES & ALGORITHMS, 6 (4). pp. 449-458. ISSN 1042-9832.

UNSPECIFIED (1991) THE USE OF KNUTH-BENDIX METHODS TO SOLVE THE WORD PROBLEM IN AUTOMATIC GROUPS. JOURNAL OF SYMBOLIC COMPUTATION, 12 (4-5). pp. 397-414. ISSN 0747-7171.

UNSPECIFIED (1991) USING A SEGREGATED FINITE-ELEMENT SCHEME TO SOLVE THE INCOMPRESSIBLE NAVIER-STOKES EQUATIONS. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 12 (1). pp. 81-92. ISSN 0271-2091.

UNSPECIFIED (2001) Underresolved simulations of heat baths. JOURNAL OF COMPUTATIONAL PHYSICS, 169 (1). pp. 193-214. doi:10.1006/jcph.2001.6722 ISSN 0021-9991.

UNSPECIFIED (2001) Unsupervised image segmentation combining region and boundary. IMAGE AND VISION COMPUTING, 19 (6). pp. 353-368. ISSN 0262-8856.

UNSPECIFIED (1996) Using a feed-forward network to incorporate the relation between attractees and attractors in a generalized discrete Hopfield network. INTERNATIONAL JOURNAL OF NEURAL SYSTEMS, 7 (3). pp. 273-286. ISSN 0129-0657.

UNSPECIFIED (2003) Using multi-layer perceptrons to predict vehicle pass-by noise. NEURAL COMPUTING & APPLICATIONS, 11 (3-4). pp. 161-167. ISSN 0941-0643.

UNSPECIFIED (2002) Using noise to compute error surfaces in connectionist networks: A novel means of reducing catastrophic forgetting. NEURAL COMPUTATION, 14 (7). pp. 1755-1769. ISSN 0899-7667.

UNSPECIFIED (1991) VERTICAL AND HORIZONTAL DISPARITIES FROM PHASE. IMAGE AND VISION COMPUTING, 9 (5). pp. 296-302. ISSN 0262-8856.

UNSPECIFIED (1990) VERTICAL AND HORIZONTAL DISPARITIES FROM PHASE. LECTURE NOTES IN COMPUTER SCIENCE, 427 . pp. 315-325. ISSN 0302-9743.

UNSPECIFIED (1989) WORST CASE COMPLEXITY-BOUNDS ON ALGORITHMS FOR COMPUTING THE CANONICAL STRUCTURE OF FINITE ABELIAN-GROUPS AND THE HERMITE AND SMITH NORMAL FORMS OF AN INTEGER MATRIX. SIAM JOURNAL ON COMPUTING, 18 (4). pp. 658-669. ISSN 0097-5397.

UNSPECIFIED (1989) WORST CASE COMPLEXITY-BOUNDS ON ALGORITHMS FOR COMPUTING THE CANONICAL STRUCTURE OF INFINITE ABELIAN-GROUPS AND SOLVING SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS. SIAM JOURNAL ON COMPUTING, 18 (4). pp. 670-678. ISSN 0097-5397.

UNSPECIFIED (2001) What are the baselines for protein fold recognition? BIOINFORMATICS, 17 (1). pp. 63-72. ISSN 1367-4803.

UNSPECIFIED (2003) What drives the configuration of information technology projects? Exploratory research in 10 organizations. JOURNAL OF INFORMATION TECHNOLOGY, 18 (1). pp. 1-15. doi:10.1080/0268396031000077413 ISSN 0268-3962.

UNSPECIFIED (2004) Zonal k-1 based large eddy simulations. COMPUTERS & FLUIDS, 33 (2). pp. 267-287. doi:10.1016/S0045-7930(03)00039-2 ISSN 0045-7930.

UNSPECIFIED (1998) An algebraic computational approach to the identifiability of Fourier models. JOURNAL OF SYMBOLIC COMPUTATION, 26 (2). pp. 245-260. ISSN 0747-7171.

UNSPECIFIED (2004) An alternative architectural framework to the OSI security model. COMPUTERS & SECURITY, 23 (2). pp. 137-153. doi:10.1016/j.cose.2003.09.001 ISSN 0167-4048.

UNSPECIFIED (1996) An analysis of hexagonal thinning algorithms and skeletal shape representation. PATTERN RECOGNITION, 29 (7). pp. 1131-1146. ISSN 0031-3203.

UNSPECIFIED (2001) The application of KBE techniques to the FE model creation of an automotive body structure. COMPUTERS IN INDUSTRY, 44 (1). pp. 1-10. ISSN 0166-3615.

UNSPECIFIED (1995) An approach to business process reengineering: The contribution of socio-technical and soft or concepts. INFOR, 33 (4). pp. 263-278. ISSN 0315-5986.

UNSPECIFIED (2004) A bound on the capacity of backoff and acknowledgment-based protocols. SIAM JOURNAL ON COMPUTING, 33 (2). pp. 313-331. doi:10.1137/S0097539700381851 ISSN 0097-5397.

UNSPECIFIED (2002) A classification schema of manufacturing decisions for the GRAI enterprise modelling technique. COMPUTERS IN INDUSTRY, 47 (3). pp. 339-355. ISSN 0166-3615.

UNSPECIFIED (1999) A comparison of electronic-reliability prediction models. IEEE TRANSACTIONS ON RELIABILITY, 48 (2). pp. 127-134. ISSN 0018-9529.

UNSPECIFIED (2005) A comparison of semiparametric estimators for the ordered response model. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 49 (2). pp. 555-573. doi:10.1016/j.csda.2004.05.027 ISSN 0167-9473.

UNSPECIFIED (2001) The complexity of gene placement. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 41 (2). pp. 225-243. doi:10.1006/jagm.2001.1172 ISSN 0196-6774.

UNSPECIFIED (1996) The complexity of mean payoff games on graphs. THEORETICAL COMPUTER SCIENCE, 158 (1-2). pp. 343-359. ISSN 0304-3975.

UNSPECIFIED (2001) A conditional density approach to the order determination of time series. STATISTICS AND COMPUTING, 11 (3). pp. 229-240. ISSN 0960-3174.

UNSPECIFIED (2002) A critical comparison of Eulerian-grid-based Vlasov solvers. JOURNAL OF COMPUTATIONAL PHYSICS, 180 (1). pp. 339-357. doi:10.1006/jcph.2002.7098 ISSN 0021-9991.

UNSPECIFIED (1998) A cross-national comparison of the adoption of business process reengineering: fashion-setting networks? JOURNAL OF STRATEGIC INFORMATION SYSTEMS, 7 (4). pp. 299-317. ISSN 0963-8687.

UNSPECIFIED (1998) An efficient Monte Carlo approach to optimization. JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 38 (5). pp. 791-797. ISSN 0095-2338.

UNSPECIFIED (2000) An extension of path coupling and its application to the Glauber dynamics for graph colorings. SIAM JOURNAL ON COMPUTING, 30 (6). pp. 1962-1975. ISSN 0097-5397.

UNSPECIFIED (1999) The illusion of 'best practice' in information systems for operations management. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 8 (4). pp. 284-293. ISSN 0960-085X.

UNSPECIFIED (1998) The impact of information technology on information asymmetry. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 7 (2). pp. 77-89. ISSN 0960-085X.

UNSPECIFIED (2001) An improved stability bound for binary exponential backoff. THEORY OF COMPUTING SYSTEMS, 34 (3). pp. 229-244. ISSN 1432-4350.

UNSPECIFIED (2000) A neural network approach to predicting airspeed in helicopters. NEURAL COMPUTING & APPLICATIONS, 9 (2). pp. 73-82. ISSN 0941-0643.

UNSPECIFIED (2001) A novel velocity-vorticity formulation of the Navier-Stokes equations with applications to boundary layer disturbance evolution. JOURNAL OF COMPUTATIONAL PHYSICS, 172 (1). pp. 119-165. doi:10.1006/jcph.2001.6817 ISSN 0021-9991.

UNSPECIFIED (1999) An optical simulation of shared memory. SIAM JOURNAL ON COMPUTING, 28 (5). pp. 1829-1847. ISSN 0097-5397.

UNSPECIFIED (2001) A predicative and decidable characterization of the polynomial classes of languages. THEORETICAL COMPUTER SCIENCE, 250 (1-2). pp. 83-99. ISSN 0304-3975.

UNSPECIFIED (2005) A proposed architecture for integrating accessibility test tools. IBM SYSTEMS JOURNAL, 44 (3). pp. 537-555. ISSN 0018-8670.

UNSPECIFIED (2005) A review of data fusion models and architectures: Towards engineering guidelines. NEURAL COMPUTING & APPLICATIONS, 14 (4). pp. 273-281. doi:10.1007/s00521-004-0463-7 ISSN 0941-0643.

UNSPECIFIED (2002) The role of boundaries in knowledge processes. EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 11 (1). pp. 47-60. doi:10.1057/palgrave.ejis.3000413 ISSN 0960-085X.

UNSPECIFIED (2000) A rule-based expert system approach to process selection for cast components. KNOWLEDGE-BASED SYSTEMS, 13 (4). pp. 225-234. ISSN 0950-7051.

UNSPECIFIED (2001) A staggered grid, Lagrangian-Eulerian remap code for 3-D MHD simulations. JOURNAL OF COMPUTATIONAL PHYSICS, 171 (1). pp. 151-181. ISSN 0021-9991.

UNSPECIFIED (2000) A study of exponential neighborhoods for the Travelling Salesman Problem and for the Quadratic Assignment Problem. MATHEMATICAL PROGRAMMING, 87 (3). pp. 519-542. ISSN 0025-5610.

Chandrasekaran, R., Chen, Bo, Galambos, Gábor , Narayanan, P. R., Van Vliet, André and Woeginger, Gerhard J. (1997) A note on ''an on-line scheduling heuristic with better worst case ratio than Graham's list scheduling''. SIAM Journal on Computing, 26 (3). pp. 870-872. doi:10.1137/S0097539793258775 ISSN 0097-5397.

Abbas, Ghulam, Mehmood, Amjad, Maple, Carsten, Epiphaniou, Gregory and Lloret, Jaime (2022) Safety, security and privacy in machine learning based Internet of Things. Journal of Sensor and Actuator Networks, 11 (3). e38. doi:10.3390/jsan11030038 ISSN 2224-2708.

Abbasi, Wajid Arshad, Asif, Amina, Ben-Hur, Asa and Minhas, Fayyaz ul Amir Afsar (2018) Learning protein binding affinity using privileged information. BMC Bioinformatics, 19 (1). 425. doi:10.1186/s12859-018-2448-z ISSN 1471-2105.

Abbasi, Wajid Arshad, Asiff, Amina, Andleeb, Saiqa and Minhas, Fayyaz ul Amir Afsar (2017) CaMELS : In silicoprediction of calmodulin binding proteins and their binding sites. Proteins: Structure, Function, and Bioinformatics, 85 (9). pp. 1724-1740. doi:10.1002/prot.25330 ISSN 0887-3585.

Abbasi, Wajid Arshad and Minhas, Fayyaz ul Amir Afsar (2016) Issues in performance evaluation for host–pathogen protein interaction prediction. Journal of Bioinformatics and Computational Biology, 14 (3). 1650011. doi:10.1142/S0219720016500116 ISSN 0219-7200.

Abeywickrama, Dhaminda B., Bicocchi, Nicola, Mamei, Marco and Zambonelli, Franco (2020) The SOTA approach to engineering collective adaptive systems. International Journal on Software Tools for Technology Transfer, 22 . pp. 399-415. doi:10.1007/s10009-020-00554-3 ISSN 1433-2779.

Abid, Rabia, Rizwan, Muhammad, Veselý, Peter, Basharat, Asma, Tariq, Usman, Javed, Abdul Rehman and Lakshmanna, Kuruva (2022) Social networking security during COVID-19 : a systematic literature review. Wireless Communications and Mobile Computing, 2022 . 2975033. doi:10.1155/2022/2975033 ISSN 1530-8669.

Abulrub, Abdul-Hadi G., Attridge, Alex and Williams, M. A. (Mark A.) (2011) Virtual reality in engineering education: the future of creative learning. International Journal of Emerging Technologies in Learning, Vol.6 (No.4). doi:10.3991/ijet.v6i4.1766 ISSN 1868-8799.

Adamaszek, Anna, Czumaj, Artur, Englert, Matthias and Räcke, Harald (2022) Almost tight bounds for reordering buffer management. SIAM Journal on Computing, 51 (3). pp. 701-722. doi:10.1137/20M1326167 ISSN 0097-5397.

Adamaszek, Anna, Czumaj, Artur, Englert, Matthias and Räcke , Harald (2018) An O(log k)-competitive algorithm for generalized caching. ACM Transactions on Algorithms , 15 (1). pp. 1-18. 6. doi:10.1145/3280826 ISSN 1549-6325.

Adamaszek, Anna, Czumaj, Artur and Lingas, Andrzej (2010) PTAS for k-tour cover problem on the plane for moderately large values of k. International Journal of Foundations of Computer Science, Volume 21 (Number 6). pp. 893-904. doi:10.1142/S0129054110007623 ISSN 0129-0541.

Adamaszek, Michał, Chrząstowski-Wachtel, Piotr and Adamaszek, Anna (2008) VIPER, a student-friendly visual interpreter of Pascal. Lecture Notes in Computer Science, Vol.5090 . pp. 192-203. doi:10.1007/978-3-540-69924-8_18 ISSN 0302-9743.

Adewoyin, Rilwan A., Dueben, Peter, Watson, Peter, He, Yulan and Dutta, Ritabrata (2022) TRU-NET : a deep learning approach to high resolution prediction of rainfall. Machine Learning, 110 (8). pp. 2035-2062. doi:10.1007/s10994-021-06022-6 ISSN 2632-2153.

Adha, Augusta, Pamuncak, Arya Panji, Qiao, Wen and Laory, Irwanda (2022) Automated building classification framework using convolutional neural network. Cogent Engineering, 9 (1). doi:10.1080/23311916.2022.2065900 ISSN 2331-1916.

Agarwala, Richa, Bafna, Vineet, Farach, Martin, Paterson, Michael S. and Thorup, Mikkel (1999) On the approximability of numerical taxonomy (fitting distances by tree metrics). SIAM Journal on Computing, Volume 28 (Number 3). pp. 1073-1085. ISSN 0097-5397.

Aggarwal, Vibhor, Debattista, Kurt, Bashford-Rogers, Thomas, Dubla, Piotr and Chalmers, Alan (2012) High-fidelity interactive rendering on desktop grids. IEEE Computer Graphics and Applications, Vol.32 (No.3). pp. 24-36. doi:10.1109/MCG.2010.67 ISSN 0272-1716.

Ahmad, Asif, Asif, Amina, Rajpoot, Nasir, Arif, Muhammad and Minhas, Fayyaz ul Amir Afsar (2018) Correlation filters for detection of cellular nuclei in histopathology images. Journal of Medical Systems, 42 (7). doi:10.1007/s10916-017-0863-8 ISSN 0148-5598 .

Ahmad, Bilal, Vera, Daniel A. and Harrison, Robert (2016) Engineering methods and tools for cyber–physical automation systems. Proceedings of the IEEE , PP (99). pp. 1-13. doi:10.1109/JPROC.2015.2510665 ISSN 0018-9219.

Ahmadi-Assalemi, Gabriela, Al-Khateeb, Haider, Epiphaniou, Gregory and Aggoun, Amar (2022) Super learner ensemble for anomaly detection and cyber-risk quantification in industrial control systems. IEEE Internet of Things Journal, 9 (15). pp. 13279-13297. doi:10.1109/JIOT.2022.3144127 ISSN 2327-4662.

Ahmed, Sadia E., McInerny, Greg J., O'Hara, Kenton, Harper, Richard, Salido, Lara, Emmott, Stephen and Joppa, Lucas N. (2015) Scientists and software - surveying the species distribution modelling community. Diversity and Distributions, 21 (3). pp. 258-267. doi:10.1111/ddi.12305 ISSN 1366-9516.

Ahn, Kook Jin, Cormode, Graham, Guha, Sudipto, McGregor, Andrew and Wirth, Anthony (2021) Correlation clustering in data streams. Algorithmica, 83 . pp. 1980-2017. doi:10.1007/s00453-021-00816-9 ISSN 0178-4617.

Aichholzer, Oswin, Cardinal, Jean, Huynh, Tony, Knauer, Kolja, Mutze, Torsten, Steiner, Raphael and Vogtenhuber, Birgit (2021) Flip distances between graph orientations. Algorithmica, 83 . pp. 116-143. doi:10.1007/s00453-020-00751-1 ISSN 0178-4617.

Al Qudah, Dana and Cristea, Alexandra I. (2013) MyAds : a proposed adaptive social online advertising framework. Journal of Economics, Business and Management, Volume 1 (Number 4). pp. 401-405. doi:10.7763/JOEBM.2013.V1.86 ISSN 2301-3567.

Al Sebae, Alaa, Leeson, Mark S. and Green, Roger (2014) On modelling network coded ARQ-based channels. International Journal of Space-Based and Situated Computing, 4 (2). pp. 65-76. ISSN 2044-4893.

Al-Bawani, Kamal, Englert, Matthias and Westermann, Matthias (2018) Comparison-based buffer management in QoS switches. Algorithmica, 80 (3). pp. 1073-1092. doi:10.1007/s00453-017-0393-2 ISSN 0178-4617.

Al-Bawani, Kamal, Englert, Matthias and Westermann, Matthias (2018) Online packet scheduling for CIOQ and buffered crossbar switches. Algorithmica, 80 . pp. 3861-3888. doi:10.1007/s00453-018-0421-x ISSN 0178-4617.

Al-Fraihat, Dimah, Joy, Mike, Masa'deh, Ra'ed and Sinclair, Jane (2020) Evaluating E-learning systems success : an empirical study. Computers in Human Behavior, 102 . pp. 67-86. doi:10.1016/j.chb.2019.08.004 ISSN 0747-5632.

Al-Jarrah, Omar Y., Haloui, Karim El, Dianati, Mehrdad and Maple, Carsten (2023) A novel detection approach of unknown cyber-attacks for intra-vehicle networks using recurrence plots and neural networks. IEEE Open Journal of Vehicular Technology, 4 . pp. 271-280. doi:10.1109/OJVT.2023.3237802 ISSN 2644-1330.

AlShahrani, Abdulaziz, Mann, Scott and Joy, Mike (2017) Immediate feedback : a new mechanism for real-time feedback on classroom teaching practice. International Journal on Integrating Technology in Education (IJITE), 6 (2). pp. 17-32. doi:10.5121/ijite.2017.6202 ISSN 2320-1886.

Alamri, Hamad, Maple, Carsten, Mohamad, Saad and Epiphaniou, Gregory (2022) Do the right thing : a privacy policy adherence analysis of over two million apps in Apple iOS App Store. Sensors, 22 (22). 8964. doi:10.3390/s22228964 ISSN 1424-8220.

Alanyali, Merve, Preis, Tobias and Moat, Helen Susannah (2016) Tracking protests using geotagged Flickr photographs. PLoS One, 11 (3). pp. 1-8. e0150466. doi:10.1371/journal.pone.0150466 ISSN 1932-6203.

Albrecht, Martin, Bard, Gregory and Hart, William B. (2010) Algorithm 898 : efficient multiplication of dense matrices over GF(2). ACM Transactions on Mathematical Software, Volume 37 (Number 1). Article: 9. doi:10.1145/1644001.1644010 ISSN 0098-3500.

Albuquerque, João Porto de , Herfort, Benjamin and Eckle, Melanie (2016) The tasks of the crowd : a typology of tasks in geographic information crowdsourcing and a case study in humanitarian mapping. Remote Sensing, 8 (10). 859. doi:10.3390/RS8100859 ISSN 2072-4292.

Aldrich, Richard J. and Karatzogianni, Athina (2020) Postdigital war beneath the sea? The Stack’s underwater cable insecurity. Digital War, 1 . pp. 29-35. doi:10.1057/s42984-020-00014-x ISSN 2662-1975.

Aldrich, Richard J., Müller, Peter F., Ridd, David and Schmidt-Eenboom, Erich (2020) Operation Rubicon : sixty years of German-American success in signals intelligence. Intelligence and National Security, 35 (5). pp. 603-607. doi:10.1080/02684527.2020.1774849 ISSN 0268-4527.

Alecu, Bogdan, Atminas, Aistis and Lozin, Vadim V. (2021) Graph functionality. Journal of Combinatorial Theory, Series B, 147 . pp. 139-158. doi:10.1016/j.jctb.2020.11.002 ISSN 0095-8956.

Alecu, Bogdan, Kanté, Mamadou Moustapha, Lozin, Vadim V. and Zamaraev, Viktor (2020) Between clique-width and linear clique-width of bipartite graphs. Discrete Mathematics, 343 (8). 111926. doi:10.1016/j.disc.2020.111926 ISSN 0012-365X.

Alekseev, V. E., Boliac, R., Korobitsyn, D. V. and Lozin, Vadim V. (2007) NP-hard graph problems and boundary classes of graphs. Theoretical Computer Science, Vol.389 (No.1-2). pp. 219-236. doi:10.1016/j.tcs.2007.09.013 ISSN 0304-3975.

Alhanahnah, Mohannad J., Jhumka, Arshad and Alouneh, Sahel (2016) A multi-dimension taxonomy of insider threats in cloud computing. The Computer Journal, 59 (11). pp. 1612-1622. doi:10.1093/comjnl/bxw020 ISSN 0010-4620.

Alkan, Bugra and Harrison, Robert (2019) A virtual engineering based approach to verify structural complexity of component-based automation systems in early design phase. Journal of Manufacturing Systems, 53 . pp. 18-31. doi:10.1016/j.jmsy.2019.09.001 ISSN 0278-6125.

Alkindi, A. M., Kerbyson, D. J., Papaefstathiou, E. and Nudd, G. R. (2001) Dynamic optimisation of application execution on distributed systems. Future Generation Computing Systems, Volume 17 (Number 8). pp. 941-949. ISSN 0167-739X.

Allison, I. and Merali, Y. (2007) Software process improvement as emergent change: a structurational analysis. Information and Software Technology, Vol.49 (No.6). pp. 668-681. doi:10.1016/j.infsof.2007.02.003 ISSN 0950-5849.

(2016) Recent developments in Geant4. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 835 . pp. 186-225. doi:10.1016/j.nima.2016.06.125 ISSN 0168-9002.

Alluhaibi, Osama, Kampert, Erik, Jennings, Paul. A. and Higgins, Matthew D. (2019) Impact of overlapped AoAs on the achievable uplink rate of hybrid beamforming for massive MIMO mm-Wave Systems for industrial environments. IEEE Access, 7 . pp. 101178-101194. doi:10.1109/ACCESS.2019.2930746 ISSN 2169-3536.

Almagor, Shaull, Chistikov, Dmitry, Ouaknine, Joël and Worrell, James (2022) O-minimal invariants for discrete-time dynamical systems. ACM Transactions on Computational Logic (TOCL), 23 (2). pp. 1-20. 9. doi:10.1145/3501299 ISSN 1529-3785.

Aloisio, Mario (2007) Computing at the Malta statistics office, 1947-1970. IEEE Annals of the History of Computing, Vol.29 (No.3). pp. 49-61. doi:10.1109/MAHC.2007.4338442 ISSN 1058-6180.

Alpern, Steve (2019) Search for an immobile Hider in a known subset of a network. Theoretical Computer Science, 794 . pp. 20-26. doi:10.1016/j.tcs.2018.06.022 ISSN 0304-3975.

Alsop, K., Baier, Waltraud, Norman, D. G., Burnett, B. and Williams, M. A. (2021) Accurate prediction of saw blade thicknesses from false start measurements. Forensic Science International, 318 . 110602. doi:10.1016/j.forsciint.2020.110602 ISSN 0379-0738.

Amanat, Amna, Rizwan, Muhammad, Maple, Carsten, Zikria, Yousaf Bin, Almadhor, Ahmad S. and Kim, Sung Won (2022) Blockchain and cloud computing-based secure electronic healthcare records storage and sharing. Frontiers in Public Health, 10 . 938707. doi:10.3389/fpubh.2022.938707 ISSN 2296-2565.

Amos, Martyn, Hodgson, D. A. and Gibbons, Alan (Alan M.) (2007) Bacterial self-organisation and computation. International Journal of Unconventional Computing, Volume 3 (Number 3). pp. 199-210. ISSN 1548-7199.

Anagnostopoulos, Christos and Triantafillou, Peter (2020) Large-scale predictive modeling and analytics through regression queries in data management systems. International Journal of Data Science and Analytics, 9 (1). pp. 17-55. doi:10.1007/s41060-018-0163-5 ISSN 2364-415X.

Anand, Sarabjot Singh, Bell, D. A. and Hughes, J. G. (1996) EDM : A general framework for data mining based on evidence theory. Data and Knowledge Engineering, Volume 18 (Number 3). pp. 189-223. doi:10.1016/0169-023X(95)00038-T ISSN 0169-023X.

Anand, Sarabjot Singh, Grobelnik, Marko, Herrmann, Frank, Hornick, Mark, Lingenfelder, Christoph, Rooney, Niall and Wettschereck, Dietrich (2007) Knowledge discovery standards. Artificial Intelligence Review, Volume 27 (Number 1). pp. 21-56. doi:10.1007/s10462-008-9067-4 ISSN 0269-2821.

Anand, Sarabjot Singh, Jhumka, Arshad and Wade, Kimberley A. (2011) Towards the ordering of events from multiple textual evidence sources. International Journal of Digital Crime and Forensics, Vol.3 (No.2). pp. 16-34. doi:10.4018/jdcf.2011040102 ISSN 1941-6210.

Anand, Sarabjot Singh, Kearney, Patricia and Shapcott, Mary (2007) Generating semantically enriched user profiles for web personalization. ACM Transactions on Internet Technology, Volume 7 (Number 4). Article number 22. doi:10.1145/1278366.1278371 ISSN 1533-5399.

Anand, Sarabjot Singh, Patrick, A. R., Hughes, J. G. and Bell, D. A. (1998) A data mining methodology for cross sales. Knowledge-Based Systems, Volume 10 (Number 7). pp. 449-461. ISSN 0950-7051.

Anande, T. J. and Leeson, Mark S. (2022) Generative Adversarial Networks (GANs) : a survey of network traffic generation. International Journal of Machine Learning and Computing, 12 (6). pp. 333-343. doi:10.18178/ijmlc.2022.12.6.1120 ISSN 2010-3700.

Aprigliano, Valentina, Emiliozzi, Simone, Guaitoli, Gabriele, Luciani, Andrea, Marcucci, Juri and Monteforte, Libero (2023) The power of text-based indicators in forecasting Italian economic activity. International Journal of Forecasting, 39 (2). pp. 791-808. doi:10.1016/j.ijforecast.2022.02.006 ISSN 0169-2070.

Arana Catania, Miguel, van Lier, Felix, Procter, Rob, Tkachenko, Nataliya, He, Yulan, Zubiaga, Arkaitz and Liakata, Maria (2021) Citizen participation and machine learning for a better democracy. Digital Government: Research and Practice, 2 (3). pp. 1-22. 27. doi:10.1145/3452118 ISSN 2639-0175.

Arana-Catania, Miguel, van Lier, Felix-Anselm and Procter, Rob (2022) Supporting peace negotiations in the Yemen war through machine learning. Data and Policy, 4 . e28. doi:10.1017/dap.2022.19 ISSN 2632-3249.

Archbold, James and Griffiths, Nathan (2018) Manipulating concept spread using concept relationships. PLoS One, 13 (6). e0199845. doi:10.1371/journal.pone.0199845 ISSN 1932-6203.

Arif, Muhammad, Rajpoot, Nasir M. (Nasir Mahmood), Nattkemper, Tim W., Technow, Ulrike, Chakraborty, Trinad, Fisch, Nicole, Jensen, Nickels A. and Niehaus, Karsten (2011) Quantification of cell infection caused by Listeria monocytogenes invasion. Journal of Biotechnology, Vol.154 (No.1). pp. 76-83. doi:10.1016/j.jbiotec.2011.03.008 ISSN 0168-1656.

Arije, Olujide, Madan, Jason and Hlungwani, Tintswalo (2022) Quality of sexual and reproductive health services for adolescents and young people in public health facilities in Southwest Nigeria : a mystery client study. Global Health Action, 15 (1). 2145690. doi:10.1080/16549716.2022.2145690 ISSN 1654-9880.

Arjmandi, Hamidreza, Zoofaghari, Mohammad and Noel, Adam (2019) Diffusive molecular communication in a biological spherical environment with partially absorbing boundary. IEEE Transactions on Communications, 67 (10). pp. 6858-6867. doi:10.1109/TCOMM.2019.2926086 ISSN 0090-6778.

Armond, Jonathan W., Vladimirou, Elina, McAinsh, Andrew D. and Burroughs, Nigel John (2016) KiT : a MATLAB package for kinetochore tracking. Bioinformatics, 32 (12). pp. 1917-1919. doi:10.1093/bioinformatics/btw087 ISSN 1367-4803.

Armoutis, N., Maropoulos, P. G. (Paul G.), Matthews, Peter C. and Lomas, C. D. W. (2008) Establishing agile supply networks through competence profiling. International Journal of Computer Integrated Manufacturing , Vol.21 (No.2). pp. 166-173. doi:10.1080/09511920701607683 ISSN 0951-192X.

(2018) Automatic vetting of planet candidates from ground based surveys : machine learning with NGTS. Monthly Notices of the Royal Astronomical Society, 478 (3). pp. 4225-4237. doi:10.1093/mnras/sty1313 ISSN 0035-8711.

Arnold, Eduardo, Mozaffari, Sajjad and Dianati, Mehrdad (2022) Fast and robust registration of partially overlapping point clouds. IEEE Robotics and Automation Letters, 7 (2). pp. 1502-1509. doi:10.1109/LRA.2021.3137888 ISSN 2377-3766.

Arvanitis, Theodoros N., White, Sean, Harrison, Stuart, Chaplin, Rupert and Despotou, George (2022) A method for machine learning generation of realistic synthetic datasets for validating healthcare applications. Health Informatics Journal, 28 (2). 146045822210770. doi:10.1177/14604582221077000 ISSN 1460-4582.

Asadipour, Ali, Debattista, Kurt and Chalmers, Alan (2016) Visuohaptic augmented feedback for enhancing motor skills acquisition. The Visual Computer . doi:10.1007/s00371-016-1275-3 ISSN 0178-2789.

Ashcroft, Edward A. and Wadge, William W. (1982) R for semantics. ACM Transactions on Programming Languages and Systems, Volume 4 (Number 2). pp. 283-294. doi:10.1145/357162.357170 ISSN 0164-0925.

Ashman, Helen, Brailsford, Tim, Cristea, Alexandra I., Sheng, Quan Z., Stewart, Craig, Toms, Elaine G. and Wade, Vincent (2014) The ethical and social implications of personalization technologies for e-learning. Information & Management, Volume 51 (Number 6). pp. 819-832. doi:10.1016/j.im.2014.04.003 ISSN 0378-7206.

Asiatici, Mikhail, George, Nithin, Vipin, Kizheppatt, Fahmy, Suhaib A. and Ienne, Paolo (2017) Virtualized execution runtime for FPGA accelerators in the cloud. IEEE Access, 5 . pp. 1900-1910. doi:10.1109/ACCESS.2017.2661582 ISSN 2169-3536.

Asif, Amina, Dawood, Muhammad, Jan, Bismillah, Khurshid, Javaid, DeMaria, Mark and Minhas, Fayyaz ul Amir Afsar (2018) PHURIE : hurricane intensity estimation from infrared satellite imagery using machine learning. Neural Computing and Applications . doi:10.1007/s00521-018-3874-6 ISSN 0941-0643.

Asif, Amina and Minhas, Fayyaz ul Amir Afsar (2019) An embarrassingly simple approach to neural multiple instance classification. Pattern Recognition Letters, 128 . pp. 474-479. doi:10.1016/j.patrec.2019.10.022 ISSN 0167-8655.

Atkins, Benjamin D., Jewell, Chris P., Runge, Michael C., Ferrari, Matthew J., Shea, Katriona, Probert, William J. M. and Tildesley, Michael J. (2020) Anticipating future learning affects current control decisions : a comparison between passive and active adaptive management in an epidemiological setting. Journal of Theoretical Biology, 506 . 110380. doi:10.1016/j.jtbi.2020.110380 ISSN 0022-5193.

Atmaca, Ugur Ilker, Maple, Carsten, Epiphaniou, Gregory and Dianati, Mehrdad (2021) A privacy-preserving route planning scheme for the Internet of Vehicles. Ad Hoc Networks, 123 . 102680. doi:10.1016/j.adhoc.2021.102680

Auli-Llinas, Francesc, Enfedaque, Pablo, Moure, Juan C. and Sanchez Silva, Victor (2016) Bitplane image coding with parallel coefficient processing. IEEE Transactions on Image Processing, 25 (1). pp. 209-219. doi:10.1109/TIP.2015.2484069 ISSN 1057-7149.

Awan, Ruqayya, Benes, Ksenija, Azam, Ayesha, Song, Tzu‐Hsi, Shaban, Muhammad, Verrill, Clare, Tsang, Yee Wah, Snead, David, Minhas, Fayyaz ul Amir Afsar and Rajpoot, Nasir M. (2021) Deep learning based digital cell profiles for risk stratification of urine cytology images. Cytometry Part A, 99 (7). pp. 732-742. doi:10.1002/cyto.a.24313 ISSN 1552-4922.

Awan, Ruqayya, Sirinukunwattana, Korsuk, Epstein, D. B. A., Jefferyes, Samuel, D. R., Qidwai, Uvais, Aftab, Zia, Mujeeb, Imaad, Snead, David R. J. and Rajpoot, Nasir M. (2017) Glandular morphometrics for objective grading of colorectal adenocarcinoma histology images. Scientific Reports, 7 . 16852. doi:10.1038/s41598-017-16516-w ISSN 2045-2322.

Axford, Tom and Joy, Mike (1996) Aladin : An abstract machine for integrating functional and procedural programming. Journal of Programming Languages, Volume 4 (Number 2). pp. 63-76. ISSN 0963-9306.

Axford, Tom and Joy, Mike (1993) List processing primitives for parallel computation. Computer Languages, Volume 19 (Number 1). pp. 1-17. doi:10.1016/0096-0551(93)90036-Z ISSN 0096-0551.

Aydin, Nursen, Muter, I. and Birbil, S. I. (2020) Multi-objective temporal bin packing problem : an application in cloud computing. Computers & Operations Research, 121 . 104959. doi:10.1016/j.cor.2020.104959 ISSN 0305-0548.

Aylett, Ruth, Dautenhahn, Kerstin, Doran, Jim, Luck, Michael, Moss, S. and Tennenholtz, Moshe (2000) Can models of agents be transferred between different areas? Knowledge Engineering Review, Vol.15 (No.2). pp. 197-203. doi:10.1017/S0269888900002034 ISSN 0269-8889.

Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng and Shalaginov, Andrii (2020) Decentralized self-enforcing trust management system for social Internet of Things. IEEE Internet of Things Journal, 7 (4). pp. 2690-2703. doi:10.1109/JIOT.2019.2962282 ISSN 2327-4662.

Azad, Muhammad Ajmal, Bag, Samiran, Parkinson, Simon and Hao, Feng (2019) TrustVote : privacy-preserving node ranking in vehicular networks. IEEE Internet of Things Journal, 6 (4). pp. 5878-5891. doi:10.1109/JIOT.2018.2880839 ISSN 2327-4662.

Azhar, Faisal and Li, Chang-Tsun (2017) Hierarchical relaxed partitioning system for activity recognition. IEEE Transactions on Cybernetics, 47 (3). pp. 784-795. doi:10.1109/TCYB.2016.2526970 ISSN 2168-2267.

Azmat, Freeha, Chen, Yunfei and Stocks, Nigel G. (2016) Analysis of spectrum occupancy using machine learning algorithms. IEEE Transactions on Vehicular Technology, 65 (9). 6853 -6860. doi:10.1109/TVT.2015.2487047 ISSN 0018-9545.

Bach, Benjamin, Freeman, Euan, Abdul-Rahman, Alfie, Turkay, Cagatay, Khan, Saiful, Fan, Yulei and Chen, Min (2023) Dashboard design patterns. IEEE Transactions on Visualization and Computer Graphics, 29 (1). pp. 342-352. doi:10.1109/TVCG.2022.3209448 ISSN 1077-2626.

Bacigalupo, David A., Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Dillenberger, D. N. and Nudd, G. R. (2005) An investigation into the application of different performance prediction methods to distributed enterprise applications. The Journal of Supercomputing , Volume 34 (Number 2). pp. 93-111. doi:10.1007/s11227-005-2335-z ISSN 0920-8542.

Bacigalupo, David A., van Hemert, J., Chen, Xiaoyu, Usmani, A., Chester, Adam P., He, Ligang, Dillenberger, D. N., Wills, G. B., Gilbert, L. and Jarvis, Stephen A. (2011) Managing dynamic enterprise and urgent workloads on clouds using layered queuing and historical performance models. Simulation Modelling Practice and Theory, Volume 19 (Number 6). pp. 1479-1495. doi:10.1016/j.simpat.2011.01.007 ISSN 1569-190X.

Baesens, C. and MacKay, Robert S. (2013) Interaction of two systems with saddle-node bifurcations on invariant circles : I. Foundations and the mutualistic case. Nonlinearity, Volume 26 (Number 12). pp. 3043-3076. doi:10.1088/0951-7715/26/12/3043 ISSN 0951-7715.

Bag, Samiran, Azad, Muhammad Ajmal and Hao, Feng (2019) PriVeto : a fully private two round veto protocol. IET Control Theory and Applications, 13 (4). pp. 311-320. doi:10.1049/iet-ifs.2018.5115 ISSN 1751-8644.

Bag, Samiran, Hao, Feng, Shahandashti, Siamak F. and Ray, Indranil G. (2019) SEAL : sealed-bid auction without auctioneers. IEEE Transactions on Information Forensics and Security, 15 . pp. 2042-2052. doi:10.1109/TIFS.2019.2955793 ISSN 1556-6013.

Bakewell, Adam, Dimovski, Aleksandar, Ghica, Dan R. and Lazic, Ranko (2010) Data-abstraction refinement : a game semantic approach. International Journal on Software Tools for Technology Transfer, Vol.12 (No.5). pp. 373-389. doi:10.1007/s10009-010-0143-0 ISSN 1433-2779.

Ball, Robin, Branke, Jürgen and Meisel, Stephan (2018) Optimal sampling for simulated annealing under noise. INFORMS Journal on Computing, 30 (1). pp. 200-215. doi:10.1287/ijoc.2017.0774 ISSN 1091-9856.

Balogh, G. D., Flynn, T., Laizet, S., Mudalige, Gihan R. and Reguly, Istvan Zoltan (2022) Scalable many-core algorithms for tridiagonal solvers. Computing in Science and Engineering, 24 (1). pp. 26-35. doi:10.1109/MCSE.2021.3130544 ISSN 1521-9615.

Bandinelli, Carolina and Bandinelli, Arturo (2021) What does the app want? A psychoanalytic interpretation of dating apps’ libidinal economy. Psychoanalysis, Culture & Society, 26 (2). pp. 181-198. doi:10.1057/s41282-021-00217-5 ISSN 1088-0763.

Baniukiewicz, Piotr, Collier, Sharon and Bretschneider, Till (2018) QuimP : analyzing transmembrane signalling in highly deformable cells. Bioinformatics, 34 (15). pp. 2695-2697. bty169. doi:10.1093/bioinformatics/bty169 ISSN 1460-2059.

Baniukiewicz, Piotr, Lutton, E. Josiah, Collier, Sharon and Bretschneider, Till (2019) Generative adversarial networks for augmenting training data of microscopic cell images. Frontiers in Computer Science, 1 . 10. doi:10.3389/fcomp.2019.00010 ISSN 2624-9898.

Bansal, Nikhil, Chen, Ning, Cherniavsky, Neva, Rurda, Atri, Schieber, Baruch and Sviridenko, Maxim (2010) Dynamic pricing for impatient bidders. ACM Transactions on Algorithms , Vol.6 (No.2). pp. 1-21. doi:10.1145/1721837.1721851 ISSN 1549-6325.

Banterle, Francesco, Debattista, Kurt, Artusi, Alessandro, Pattanaik, Sumanta, Myszkowski, Karol, Ledda, Patrick and Chalmers, Alan (2009) High dynamic range imaging and low dynamic range expansion for generating HDR content. Computer Graphics Forum, Vol.28 (No.8). pp. 2343-2367. doi:10.1111/j.1467-8659.2009.01541.x ISSN 0167-7055.

Banterle, Francesco, Ledda, Patrick, Debattista, Kurt, Bloj, Marina, Artusi, Alessandro and Chalmers, Alan (2009) A psychophysical evaluation of inverse tone mapping techniques. Computer Graphics Forum, Vol.28 (No.1). pp. 13-25. doi:10.1111/j.1467-8659.2008.01176.x ISSN 0167-7055.

Banterle, Francesco, Ledda, Patrick, Debattista, Kurt, Chalmers, Alan and Bloj, Marina (2007) A framework for inverse tone mapping. Visual Computer, Vol.23 (No.7). pp. 467-478. doi:10.1007/s00371-007-0124-9 ISSN 0178-2789.

Baptista, João (2009) Institutionalisation as a process of interplay between technology and its organisational context of use. Journal of Information Technology, 24 (4). pp. 305-319. doi:10.1057/jit.2009.15 ISSN 0268-3962.

Barakat, L., Taylor, Phillip M., Griffiths, Nathan, Taweel, A., Lucas, M. and Miles, S. (2018) Towards personalised and adaptive QoS assessments via context awareness. Computational Intelligence, 34 (2). pp. 468-494. doi:10.1111/coin.12129 ISSN 0824-7935.

Barakat, Lina, Taylor, Phillip M., Griffiths, Nathan and Miles, Simon (2022) A reputation-based framework for honest provenance reporting. ACM Transactions on Internet Technology, 22 (4). 103. doi:10.1145/3507908 ISSN 1533-5399.

Barchiesi, Daniele, Moat, Helen Susannah, Alis, Christian M., Bishop, Steven R. and Preis, Tobias (2015) Quantifying international travel flows using Flickr. PLoS One, 10 (7). pp. 1-8. e0128470. doi:10.1371/journal.pone.0128470 ISSN 1932-6203.

Barrington, Jim, Wereko-Brobby, Olympia, Ward, Peter M., Mwafongo, Winfred and Kungulwe, Seif (2010) SMS for Life : a pilot project to improve anti-malarial drug supply management in rural Tanzania using standard technology. Malaria Journal, Volume 9 (Number 1). Article number 298. doi:10.1186/1475-2875-9-298 ISSN 1475-2875.

Bartók, Albert P. and Csányi, Gábor (2015) Gaussian approximation potentials : a brief tutorial introduction. International Journal of Quantum Chemistry, 115 (16). pp. 1051-1057. doi:10.1002/qua.24927 ISSN 0020-7608.

Bashford-Rogers, Thomas, Debattista, Kurt and Chalmers, Alan (2014) Importance driven environment map sampling. IEEE Transactions on Visualization and Computer Graphics, 20 (6). pp. 907-918. doi:10.1109/TVCG.2013.258 ISSN 1077-2626.

Basik, Fuat, Gedik, Bugra, Ferhatosmanoglu, Hakan and Wu, Kun-Lung (2021) Fair task allocation in crowdsourced delivery. IEEE Transactions on Services Computing, 14 (4). pp. 1040-1053. doi:10.1109/TSC.2018.2854866 ISSN 1939-1374.

Basit, Abdul Hannan, Abbasi, Wajid Arshad, Asif, Amina, Gull, Sadaf and Minhas, Fayyaz ul Amir Afsar (2018) Training host-pathogen protein–protein interaction predictors. Journal of Bioinformatics and Computational Biology, 16 (04). 1850014. doi:10.1142/S0219720018500142 ISSN 0219-7200.

Bastian, Peter, Blatt, Markus, Dedner, Andreas, Dreier, Nils-Arne, Engwer, Christian, Fritze, René, Gräser, Carsten, Grüninger, Christoph, Kempf, Dominic, Klöfkorn, Robert, Ohlberger, Mario and Sander, Oliver (2021) The DUNE framework : basic concepts and recent developments. Computers & Mathematics with Applications, 81 . pp. 75-112. doi:10.1016/j.camwa.2020.06.007 ISSN 0898-1221.

Basık, Fuat, Gedik, Buğra, Ferhatosmanoglu, Hakan and Kalender, Mert Emin (2015) S3 -TM : scalable streaming short text matching. The VLDB Journal, 24 (6). pp. 849-866. doi:10.1007/s00778-015-0404-3 ISSN 1066-8888.

Bazzi, Marya, Jeub, Lucas G. S., Arenas, Alex, Howison, Sam D. and Porter, Mason A. (2020) A framework for the construction of generative models for mesoscale structure in multilayer networks. Physical Review Research, 2 . 023100. doi:10.1103/PhysRevResearch.2.023100 ISSN 2643-1564.

Beevers, Andrew J. and Kukol, Andreas (2006) Systematic molecular dynamics searching in a lipid bilayer: Application to the glycophorin A and oncogenic ErbB-2 transmembrane domains. JOURNAL OF MOLECULAR GRAPHICS & MODELLING, 25 (2). pp. 226-233. doi:10.1016/j.jmgm.2005.12.008 ISSN 1093-3263.

Belkada, S., Cristea, Alexandra I. and Okamoto, Toshio (2001) DiscoverNet : adaptive simulation-based learning environment and support system for designing neural networks. Journal of Educational Technology Research .

Berenbrink, Petra, Friedetzky, Thomas and Goldberg, Leslie Ann (2003) The natural work-stealing algorithm is stable. SIAM Journal on Computing, Volume 32 (Number 5). pp. 1260-1279. doi:10.1137/S0097539701399551 ISSN 0097-5397.

Berenbrink, Petra, Friedetzky, Thomas, Hu, Zengjian and Martin, R. (2008) On weighted balls-into-bins games. Theoretical Computer Science, Vol.409 (No.3). pp. 511-520. doi:10.1016/j.tcs.2008.09.023 ISSN 0304-3975.

Berg, Hugo van den (2009) Design principles of adaptive cellular immunity for artificial immune systems. Soft Computing, Vol.13 (No.11). pp. 1073-1080. doi:10.1007/s00500-008-0380-2 ISSN 1432-7643.

Berger, Daniel S., Gland, Philipp, Singla, Sahil and Ciucu, Florin (2014) Exact analysis of TTL cache networks. Performance Evaluation, Volume 79 . pp. 2-23. doi:10.1016/j.peva.2014.07.001 ISSN 0166-5316.

Bergougnoux, Benjamin, Eiben, Eduard, Ganian, Robert, Ordyniak, Sebastian and Ramanujan, Maadapuzhi Sridharan (2021) Towards a polynomial kernel for directed feedback vertex set. Algorithmica, 83 (5). pp. 1201-1221. doi:10.1007/s00453-020-00777-5 ISSN 1432-0541.

Bernards, Nick, Campbell-Verduyn, Malcolm and Rodima-Taylor, Daivi (2023) The veil of transparency : blockchain and sustainability governance in global supply chains. Environment and Planning C: Politics and Space . doi:10.1177/23996544221142763 ISSN 2399-6544. (In Press)

Berry, Vincent and Gascuel, Olivier (2000) Inferring evolutionary trees with strong combinatorial evidence. Theoretical Computer Science, Volume 240 (Number 2). pp. 271-298. ISSN 0304-3975.

Bertsimas, Dimitris, Doan, Xuan Vinh and Lasserre, Jean (2008) Approximating integrals of multivariate exponentials : a moment approach. Operations Research Letters, 36 (2). pp. 205-210. doi:10.1016/j.orl.2007.07.002 ISSN 0167-6377.

Betancourt, Michael, Byrne, Simon, Livingstone, Sam and Girolami, Mark (2017) The geometric foundations of Hamiltonian Monte Carlo. Bernoulli, 23 (4A). pp. 2257-2298. doi:10.3150/16-BEJ810 ISSN 1350-7265.

Beynon, Meurig (2009) Constructivist computer science education reconstructed. Innovations in Teaching and Learning in Information and Computer Sciences, Vol.8 (No.2). pp. 73-90. ISSN 1473-7507.

Beynon, Meurig (2005) Radical empiricism, empirical modelling and the nature of knowing. Pragmatics and Cognition, Volume 13 (Number 3). pp. 615-646. doi:10.1075/pc.13.3.11bey ISSN 0929-0907.

Beynon, Meurig and Harfield, Antony (2007) Lifelong learning, empirical modelling and the promises of constructivism. Journal of Computers, Volume 2 (Number 3). pp. 43-55. doi:10.4304/jcp.2.3.43-55 ISSN 1796-203X.

Beynon, Meurig and Maad, Soha (2002) Empirical modelling of real life financial systems : the need for integration of enabling tools and technologies. Journal of Integrated Design and Process Science, Volume 6 (Number 1). pp. 43-58. ISSN 1092-0617.

Beynon, Meurig, Rasmequan, Suwanna and Russ, Steve (2002) A new paradigm for computer-based decision support. Decision Support Systems, Volume 33 (Number 2). pp. 127-142. doi:10.1016/S0167-9236(01)00140-3 ISSN 0167-9236.

Beynon, Meurig and Russ, Steve (2008) Experimenting with computing. Journal of Applied Logic, Volume 6 (Number 4). pp. 476-489. doi:10.1016/j.jal.2008.09.008 ISSN 1570-8683.

Beynon, Meurig, Russ, Steve and McCarty, Willard (2006) Human computing : modelling with meaning. Literary and Linguistic Computing, Volume 21 (Number 2). pp. 141-157. doi:10.1093/llc/fql015 ISSN 1477-4615.

Bhalerao, Abhir, Pfister, Hanspeter, Hallec, Michael and Kikinisd, Ron (2000) Fast re-rendering of volume and surface graphics by depth, color, and opacity buffering. Medical Image Analysis, Volume 4 (Number 3). pp. 235-251. ISSN 1361-8415.

Bhalerao, Abhir and Ward, Ashley (2001) Towards electronically assisted peer assessment : A case study. ALT-J : research in learning technology, Volume 9 (Number 1). pp. 26-37. ISSN 0968-7769.

Bhalerao, Abhir and Wilson, Roland (2001) Unsupervised image segmentation combining region and boundary estimation. Image and Vision Computing, Volume 19 (Number 6). pp. 353-368. doi:10.1016/S0262-8856(00)00084-6

Bhalodiya, Jayendra M., Lim Choi Keung, Sarah Niukyun and Arvanitis, Theodoros N. (2022) Magnetic resonance image-based brain tumour segmentation methods : a systematic review. Digital Health, 8 . doi:10.1177/20552076221074122 ISSN 2055-2076.

Bhalodiya, Jayendra Maganbhai, Palit, Arnab, Giblin, Gerard, Tiwari, Manoj Kumar, Prasad, Sanjay K., Bhudia, Sunil K., Arvanitis, Theodoros N. and Williams, M. A. (2021) Identifying myocardial infarction using hierarchical template matching–based myocardial strain : algorithm development and usability study. JMIR Medical Informatics, 9 (2). e22164. doi:10.2196/22164 ISSN 2291-9694.

Bhatia, Sudeep, Walasek, Lukasz, Slovic, Paul and Kunreuther, Howard (2020) The more who die, the less we care : evidence from natural language analysis of online news articles and social media posts. Risk Analysis, 41 (1). pp. 179-203. doi:10.1111/risa.13582 ISSN 0272-4332.

Bhattacharya, Anup, Chakraborty, Sourav, Ghosh, Arijit, Mishra, Gopinath and Paraashar, Manaswi (2022) Disjointness through the lens of Vapnik–Chervonenkis dimension : sparsity and beyond. Computational Complexity, 31 (2). 9. doi:10.1007/s00037-022-00225-6 ISSN 1016-3328.

Bi, Dadi, Almpanis, Apostolos, Noel, Adam, Deng, Yansha and Schober, Robert (2021) A survey of molecular communication in cell biology : establishing a new hierarchy for interdisciplinary applications. IEEE Communications Surveys & Tutorials, 23 (3). pp. 1494-1545. doi:10.1109/COMST.2021.3066117 ISSN 1553-877X.

Bienkowski, Marcin, Böhm, Martin, Byrka, Jaroslaw, Chrobak, Marek, Dürr, Christoph, Folwarczný, Lukáš, Jeż, Łukasz, Sgall, Jiří, Thang, Nguyen Kim and Veselý, Pavel (2021) New results on multi-level aggregation. Theoretical Computer Science, 861 . pp. 133-143. doi:10.1016/j.tcs.2021.02.016 ISSN 0304-3975.

Bierkens, Joris, Fearnhead, Paul and Roberts, Gareth O. (2019) The Zig-Zag process and super-efficient sampling for Bayesian analysis of big data. Annals of statistics, 47 (3). pp. 1288-1320. doi:10.1214/18-AOS1715 ISSN 0090-5364.

Bilal, Iman Munire, Wang, Bo, Tsakalidis, Adam, Nguyen, Dong, Procter, Rob and Liakata, Maria (2022) Template-based abstractive microblog opinion summarisation. Transactions of the Association for Computational Linguistics, 10 . pp. 1229-1248. doi:10.1162/tacl_a_00516 ISSN 2307-387X.

Bingol, Kaan, Eravci, Bahaeddin, Etemoglu, Cagri Ozgenc, Ferhatosmanoglu, Hakan and Gedik, Bugra (2016) Topic-based influence computation in social networks under resource constraints. IEEE Transactions on Services Computing . p. 1. doi:10.1109/TSC.2016.2619688 ISSN 1939-1374.

Bird, Robert F., Gillies, P. (Paddy), Bareford, M. R., Herdman, J. A. and Jarvis, Stephen A. (2016) Performance optimisation of inertial confinement fusion codes using mini-applications. International Journal of High Performance Computing Applications . doi:10.1177/1094342016670225 ISSN 1094-3420.

Birmpas, Georgios, Gan, Jiarui, Hollender, Alexandros, Marmolejo-Cossío, Francisco J., Rajgopal, Ninad and Voudouris, Alexandros A. (2021) Optimally deceiving a learning leader in Stackelberg games. Journal of Artificial Intelligence Research, 72 . pp. 507-531. doi:10.1613/jair.1.12542 ISSN 1076-9757.

Blais, Eric, Canonne, Clément L. and Gur, Tom (2019) Distribution testing lower bounds via reductions from communication complexity. ACM Transactions on Computation Theory, 11 (2). pp. 1-37. 6. doi:10.1145/3305270 ISSN 1942-3454.

Block, B. J. and Preis, Tobias (2012) Computer simulations of the ising model on graphics processing units. The European Physical Journal Special Topics, Volume 210 (Number 1). pp. 133-145. doi:10.1140/epjst/e2012-01642-y ISSN 1951-6355.

Block, Benjamin, Virnau, Peter and Preis, Tobias (2010) Multi-GPU accelerated multi-spin Monte Carlo simulations of the 2D Ising model. Computer Physics Communications, Volume 181 (Number 9). pp. 1549-1556. doi:10.1016/j.cpc.2010.05.005 ISSN 0010-4655.

Blondin, Michael, Englert, Matthias, Finkel, Alain, Göller, Stefan , Haase, Christoph, Lazic, Ranko, McKenzie, Pierre and Totzke, Patrick (2021) The reachability problem for two-dimensional vector addition systems with states. Journal of the ACM, 68 (5). pp. 1-43. 34. doi:10.1145/3464794 ISSN 0004-5411.

Bo, Weihao, Liu, Jie, Fan, Xijian, Tjahjadi, Tardi, Ye, Qiaolin and Fu, Liyong (2022) BASNet : burned area segmentation network for real-time detection of damage maps in remote sensing images. IEEE Transactions on Geoscience and Remote Sensing, 60 . p. 1. doi:10.1109/TGRS.2022.3197647 ISSN 0196-2892.

Borah, S., Hines, Evor, Leeson, Mark S., Iliescu, Daciana, Bhuyan, M. and Gardner, J. W. (2008) Neural network based electronic nose for classification of tea aroma. Sensing and Instrumentation for Food Quality and Safety, Vol.2 (No.1). pp. 7-14. doi:10.1007/s11694-007-9028-7 ISSN 1932-7587.

Botha, Stefan, Zabihi, Nima, Dobzhanskyi, Oleksandr and Gouws, Rupert (2018) Intelligent fuzzy logic controller for improved power extraction of micro wind turbines. International Journal of Engineering & Technology, 7 (4). pp. 6115-6121. doi:10.14419/ijet.v7i4.23127 ISSN 2227-524X.

Bottarelli, Mirko, Karadimas, Petros, Epiphaniou, Gregory, Kbaier Ben Ismail, Dhouha and Maple, Carsten (2021) Adaptive and optimum secret key establishment for secure vehicular communications. IEEE Transactions on Vehicular Technology, 70 (3). pp. 2310-2321. doi:10.1109/TVT.2021.3056638 ISSN 0018-9545.

Bottarelli, Mirko, Karadimas, Petros, Epiphaniou, Gregory, Kbaier Ben Ismail, Dhouha and Maple, Carsten (2021) Adaptive and optimum secret key establishment for secure vehicular communications. Transactions on Vehicular Technology, 70 (3). pp. 2310-2321. doi:10.1109/TVT.2021.3056638 ISSN 0018-9545.

Boyes, Hugh, Hallaq, Bilal, Cunningham, Joe and Watson, Tim (2018) The industrial internet of things (IIoT) : an analysis framework. Computers in Industry, 101 . pp. 1-12. doi:10.1016/j.compind.2018.04.015 ISSN 1872-6194.

Bradbury, Matthew S., Jhumka, Arshad and Watson, Tim (2022) Information management for trust computation on resource-constrained IoT devices. Future Generation Computer Systems, 135 . pp. 348-363. doi:10.1016/j.future.2022.05.004 ISSN 0167-739X.

Bradbury, Matthew S., Jhumka, Arshad, Watson, Tim, Flores, Denys, Burton, Jonathan and Butler, Matthew (2022) Threat modelling guided trust-based task offloading for resource-constrained Internet of Things. Transactions on Sensor Networks, 18 (2). 29. doi:10.1145/3510424 ISSN 1550-4859.

Bradbury, Matthew S., Jhumka, Arshad, Watson, Tim, Flores, Denys, Burton, Jonathan and Butler, Matthew (2022) Threat-modeling-guided trust-based task offloading for resource-constrained Internet of Things. ACM Transactions on Sensor Networks, 18 (2). pp. 1-41. 29. doi:10.1145/3510424 ISSN 1550-4867.

Brandstaedt, Andreas, Klembt, Tilo, Lozin, Vadim V. and Mosca, Raffaele (2010) On independent vertex sets in subclasses of apple-free graphs. Algorithmica, Vol.56 (No.4). pp. 383-393. doi:10.1007/s00453-008-9176-0 ISSN 0178-4617.

Brandstetter, Andreas and Artusi, Alessandro (2008) Radial basis function networks GPU-based implementation. IEEE Transactions on Neural Networks, Vol.19 (No.12). pp. 2150-2154. doi:10.1109/TNN.2008.2003284 ISSN 1045-9227.

Branke, Jürgen, Farid, Suzanne S. and Shah, Nilay (2016) Industry 4.0 : a vision for personalized medicine supply chains? Cell and Gene Therapy Insights, 2 (2). pp. 263-270. doi:10.18609/cgti.2016.027 ISSN 2059-7800.

Branke, Jürgen, Nguyen, Su, Pickardt, Christoph W. and Zhang, Mengjie (2016) Automated design of production scheduling heuristics : a review. IEEE Transactions on Evolutionary Computation, 20 (1). pp. 110-124. doi:10.1109/TEVC.2015.2429314 ISSN 1089-778X.

Bridgwater, Sally and Quigley, David (2014) Lattice-switching Monte Carlo method for crystals of flexible molecules. Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Volume 90 (Number 6). Article number 063313. doi:10.1103/PhysRevE.90.063313 ISSN 1539-3755.

Broeckling, C. D., Minhas, Fayyaz ul Amir Afsar, Neumann, S., Ben-Hur, A. and Prenni, J. E. (2014) RAMClust : A novel feature clustering method enables spectral-matching-based annotation for metabolomics data. Analytical Chemistry, 86 (14). pp. 6812-6817. doi:10.1021/ac501530d ISSN 0003-2700.

Brown, A. D. (Andrew D.), Stacey, Patrick and Nandhakumar, Joe (2008) Making sense of sensemaking narratives. Human Relations, Vol.61 (No.8). pp. 1035-1062. doi:10.1177/0018726708094858 ISSN 0018-7267.

Brown, Dominic, Bettencourt, Matthew T., Wright, Steven A., Maheswaran, Satheesh, Jones, John P. and Jarvis, Stephen A. (2021) Higher-order particle representation for particle-in-cell simulations. Journal of Computational Physics, 435 . 110255. doi:10.1016/j.jcp.2021.110255 ISSN 0021-9991.

Brown, Dominic, Wright, Steven A. and Jarvis, Stephen A. (2018) Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures. Electronic Notes in Theoretical Computer Science, 340 . pp. 67-84. doi:10.1016/j.entcs.2018.09.006 ISSN 1571-0661.

Brown, E., Cristea, Alexandra I., Stew, C. and Brailsford, T. (2005) Patterns in authoring of adaptive educational hypermedia : a taxonomy of learning styles. Educational Technology and Society, Volume 8 (Number 3). pp. 77-90. ISSN 1436-4522.

Bryson, K., Joy, Mike, Luck, Michael (Michael M.) and Jones, D. T. (1999) Using software agents to investigate genomes. CCP11 Newsletter, Volume 8 .

Bryson, K., Luck, Michael (Michael M.), Joy, Mike and Jones, D. T. (2001) Agent interaction for bioinformatics data management. Applied Artificial Intelligence, Volume 15 (Number 10). pp. 917-947. doi:10.1080/088395101753242688 ISSN 0883-9514.

Bugeaud, Yann, Reutenauer, Christophe and Siksek, Samir (2009) A Sturmian sequence related to the uniqueness conjecture for Markoff numbers. Theoretical Computer Science, Vol.410 (No.30-32). pp. 2864-2869. doi:10.1016/j.tcs.2009.02.005 ISSN 0304-3975.

Bugeja, Keith, Debattista, Kurt and Spina, Sandro (2019) An asynchronous method for cloud-based rendering. The Visual Computer, 35 . pp. 1827-1840. doi:10.1007/s00371-018-1577-8 ISSN 0178-2789.

Bukatin, Michael, Kopperman, Ralph and Matthews, Stephen G. (2009) Partial metric spaces. American Mathematical Monthly, Vol.116 (No.8). pp. 708-718. doi:10.4169/193009709X460831 ISSN 0002-9890.

Bulut, Muhammed Fatih, Demirbas, Murat and Ferhatosmanoglu, Hakan (2015) LineKing : coffee shop wait-time monitoring using smartphones. IEEE Transactions on Mobile Computing, 14 (10). pp. 2045-2058. doi:10.1109/TMC.2014.2384032 ISSN 1536-1233.

Burian, S. O., Kiselychnyk, Oleh, Pushkar, M. V., Reshetnik, V. S. and Zemlianukhina, H. Y. (2020) Energy-efficient control of pump units based on neural-network parameter observer. Technical Electrodynamics , 2020 (1). pp. 71-77. doi:10.15407/techned2020.01.071 ISSN 1607-7970.

Böhm, Martin, Chrobak, Marek, Jeż, Łukasz, Li, Fei, Sgall, Jiří and Veselý, Pavel (2019) Online packet scheduling with bounded delay and lookahead. Theoretical Computer Science, 776 . pp. 95-113. doi:10.1016/j.tcs.2019.01.013 ISSN 0304-3975.

Cabiddu, F., Patriotta, Gerardo and Allen, David G. (2022) Why do users trust algorithms? A review and conceptualization of initial trust and trust over time. European Management Journal, 40 (5). pp. 685-706. doi:10.1016/j.emj.2022.06.001 ISSN 0263-2373.

Cadik, Martin, Wimmer, Michael, Neumann, Laszlo and Artusi, Alessandro (2008) Evaluation of HDR tone mapping methods using essential perceptual attributes. Computers & Graphics, Vol.32 (No.3). pp. 330-349. doi:10.1016/j.cag.2008.04.003 ISSN 0097-8493.

Campbell-Kelly, Martin (2011) From theory to practice : the invention of programming, 1947-51. Lecture Notes in Computer Science, Vol.6875 . pp. 23-37. doi:10.1007/978-3-642-24541-1_4 ISSN 0302-9743.

Campbell-Kelly, Martin (2011) In praise of 'Wilkes, Wheeler, and Gill'. Communications of the ACM, Vol.54 (No.9). pp. 25-27. doi:10.1145/1995376.1995386 ISSN 0001-0782.

Campbell-Kelly, Martin (2007) Number crunching without programming: the evolution of spreadsheet usability. IEEE Annals of the History of Computing, Vol.29 (No.3). pp. 6-19. doi:10.1109/MAHC.2007.4338438 ISSN 1058-6180.

Campbell-Kelly, Martin (1992) The airy tape: an early chapter in the history of debugging. IEEE Annals of the History of Computing, Volume 14 (Number 4). pp. 16-26. doi:10.1109/85.194051 ISSN 1058-6180.

Campbell-Kelly, Martin (2007) The history of the history of software. IEEE Annals of the History of Computing, Vol.29 (No.4). pp. 40-51. doi:10.1109/MAHC.2007.4407444 ISSN 1058-6180.

Campbell-Kelly, Martin and Garcia-Swartz, Daniel D. (2008) Economic perspectives on the history of the computer time-sharing industry, 1965-1985. IEEE Annals of the History of Computing, Vol.30 (No.1). pp. 16-36. doi:10.1109/MAHC.2008.3 ISSN 1058-6180.

Campbell-Kelly, Martin and Garcia-Swartz, Daniel D. (2009) Pragmatism, not ideology : historical perspectives on IBM's adoption of open-source software. Information Economics and Policy, Vol.21 (No.3). pp. 229-244. doi:10.1016/j.infoecopol.2009.03.006 ISSN 0167-6245.

Campbell-Kelly, Martin, Garcia-Swartz, Daniel D. and Layne-Farrar, Anne (2008) The evolution of network industries: lessons from the conquest of the online frontier, 1979-95. Industry and Innovation, Vol.15 (No.4). pp. 435-455. doi:10.1080/13662710802239513 ISSN 1366-2716.

Campbell-Kelly, Martin and Garcia‐Swartz, Daniel D. (2010) The move to the middle : convergence of the open‐source and proprietary software industries. International Journal of the Economics of Business, Vol.17 (No.2). pp. 223-252. doi:10.1080/13571516.2010.483091 ISSN 1357-1516.

Cao, Fang, Sun, Jiayi, Luo, Xiangyang, Qin, Chuan and Chang, Ching-Chun (2021) Privacy-preserving inpainting for outsourced image. International Journal of Distributed Sensor Networks, 17 (11). doi:10.1177/15501477211059092 ISSN 1550-1329.

Cao, Jianyu, Feng, Wei, Chen, Yunfei, Ge, Ning and Wang, Shulan (2019) Performance analysis of a polling model with BMAP and across-queue state-dependent service discipline. IEEE Access, 7 . 127230 -127253. doi:10.1109/ACCESS.2019.2939387 ISSN 2169-3536.

Cao, Junwei, Jarvis, Stephen A., Saini, S., Kerbyson, D. J. and Nudd, G. R. (2002) ARMS : an agent-based resource management system for grid computing. Scientific Programming, Volume 10 (Number 2). pp. 135-148. ISSN 1058-9244.

Cao, Junwei, Spooner, Daniel P., Jarvis, Stephen A. and Nudd, G. R. (2005) Grid load balancing using intelligent agents. Future Generation Computer Systems, Volume 21 (Number 1). pp. 135-149. doi:10.1016/j.future.2004.09.032 ISSN 0167-739X.

Cao, Y., Sun, W., Zhao, N., Chen, Yunfei, Yu, R. F. and Nallanathan, A. (2021) Multi-antenna covert communication via full-duplex jamming against a warden with uncertain locations. IEEE Transactions on Wireless Communications, 20 (8). pp. 5467-5480. doi:10.1109/TWC.2021.3068096 ISSN 1536-1276.

Caravenna, Francesco, Sun, Rongfeng and Zygouras, Nikos (2019) On the moments of the (2+1)-dimensional directed polymer and stochastic heat equation in the critical window. Communications in Mathematical Physics, 372 . pp. 385-440. doi:10.1007/s00220-019-03527-z ISSN 0010-3616.

Cardinal, Jean, Hoang, Hung, Merino, Arturo, Micka, Ondrej and Mutze, Torsten (2023) Combinatorial generation via permutation languages. V. Acyclic orientations. SIAM Journal on Discrete Mathematics . ISSN 0895-4801. (In Press)

Care, Charles (2007) Not only digital: a review of ACM's early involvement with analog computing technology. Communications of the ACM, Vol.50 (No.5). pp. 42-45. doi:10.1145/1230819.1230837 ISSN 0001-0782.

Carrapico, Helena and Farrand, Benjamin Matthew (2016) 'Dialogue, partnership and empowerment for network and information security' : the changing role of the private sector from regulation adopters to regulation shapers. Crime, Law and Social Change . pp. 1-19. doi:10.1007/s10611-016-9652-4

Castaldo, Rossana, Chappell, M. J., Byrne, H., Innominato, Pasquale F., Hughes, S., Pescapè, A. and Pecchia, Leandro (2021) Detection of melatonin-onset in real settings via wearable sensors and artificial intelligence : a pilot study. Biomedical Signal Processing and Control, 65 . 102386. doi:10.1016/j.bspc.2020.102386 ISSN 1746-8094.

Castelle, Michael (2021) Middleware’s message : the financial technics of codata. Philosophy & Technology, 34 . pp. 33-55. doi:10.1007/s13347-019-00379-2 ISSN 2210-5433.

Castro Degrossi, L., Porto de Albuquerque, João , dos Santos Rocha, R. and Zipf, A. (2018) A taxonomy of quality assessment methods for volunteered and crowdsourced geographic information. Transactions in GIS, 22 (2). pp. 542-560. doi:10.1111/tgis.12329 ISSN 1361-1682.

Catalano, Marta, Blasi, Pierpaolo De, Lijoi, Antonio and Prünster, Igor (2022) Posterior asymptotics for boosted Hierarchical Dirichlet Process mixtures. Journal of Machine Learning Research, 23 (80). pp. 1-23. ISSN 1532-4435.

Chakrabarti, Amit, Cormode, Graham and McGregor, Andrew (2016) Robust lower bounds for communication and stream computation. Theory of Computing, 12 . pp. 1-35. 10. doi:10.4086/toc.2016.v012a010 ISSN 1557-2862.

Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew and Thaler, Justin (2014) Annotations in data streams. Transactions on Algorithms, Volume 11 (Number 1). doi:10.1145/2636924 ISSN 1549-6325.

Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew, Thaler, Justin and Venkatasubramanian, Suresh (2019) Verifiable stream computation and Arthur-Merlin communication. SIAM Journal on Computing . ISSN 0097-5397.

Chalmers, Alan, Debattista, Kurt, Mastoropoulou, Georgia and Paulo dos Santos, Luis (2007) There-reality : selective rendering in high fidelity virtual environments. The International Journal of Virtual Reality, Vol.6 (No.1). pp. 1-10. ISSN 1081-1451.

Chalmers, Alan, Debattista, Kurt and Ramic-Brkic, Belma (2009) Towards high-fidelity multi-sensory virtual environments. Visual Computer, Vol.25 (No.12). pp. 1101-1108. doi:10.1007/s00371-009-0389-2 ISSN 0178-2789.

Chan, Alexandre, Yap, Kevin Yi-Lwern, Koh, Dorothy, Low, Xiu Hui and Cheung, Yin Ting (2011) Electronic database to detect drug-drug interactions between antidepressants and oral anticancer drugs from a cancer center in Singapore: implications to clinicians. Pharmacoepidemiology and Drug Safety, Vol.20 (No.9). pp. 939-947. doi:10.1002/pds.2167 ISSN 10538569.

Chang, Cheng, He, Ligang, Chaudhary, Nadeem, Fu, Songling, Chen, Hao, Sun, Jianhua, Li, Kenli, Fu, Zhangjie and Xu, Ming-Liang (2017) Performance analysis and optimization for workflow authorization. Future Generation Computer Systems, 67 . pp. 194-205. doi:10.1016/j.future.2016.09.011 ISSN 0167-739X.

Chang, Ching-Chun (2022) Automation of reversible steganographic coding with nonlinear discrete optimisation. Connection Science, 34 (1). pp. 1719-1735. doi:10.1080/09540091.2022.2078792 ISSN 0954-0091.

Chang, Ching-Chun, Li, Chang-Tsun and Shi, Yun-Qing (2018) Privacy-aware reversible watermarking in cloud computing environments. IEEE Access, 6 . pp. 70720-70733. doi:10.1109/ACCESS.2018.2880904 ISSN 2169-3536.

Chang, Ching-Chun, Wang, Xu, Chen, Sisheng, Echizen, Isao, Sanchez, Victor and Li, Chang-Tsun (2023) Deep learning for predictive analytics in reversible steganography. IEEE Access, 11 . pp. 3494-3510. doi:10.1109/access.2023.3233976 ISSN 2169-3536.

Chao, Kuo-Ming, Younas, Muhammad and Griffiths, Nathan (2006) BPEL4WS-based coordination of grid services in design. Computers in Industry, Volume 57 (Number 8-9). pp. 778-786. doi:10.1016/j.compind.2006.04.012 ISSN 2049-4297.

Chapman, C. and Pinfold, Martyn Keith (2001) The application of a knowledge based engineering approach to the rapid design and analysis of an automotive structure. Advances in engineering software, 32 (12). pp. 903-912. ISSN 0965-9978.

Charlesworth, Henry J. and Turner, Matthew S. (2019) Intrinsically motivated collective motion. Proceedings of the National Academy of Sciences of the United States of America, 116 (31). pp. 15362-15367. doi:10.1073/pnas.1822069116 ISSN 0027-8424.

Chater, Nick (2023) How could we make a social robot? A virtual bargaining approach. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences . ISSN 1364-503X. (In Press)

Chater, Nick (2023) How could we make a social robot? A virtual bargaining approach. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences . ISSN 1364-503X. (In Press)

Chater, Nick (2022) The computational society. Trends in Cognitive Sciences, 26 (12). pp. 1015-1017. doi:10.1016/j.tics.2022.07.004 ISSN 1364-6613.

Chawla, Shuchi, Gupta, Anupam and Raecke, Harald (2008) Embeddings of negative-type metrics and an improved approximation to generalized sparsest cut. ACM Transactions on Algorithms , Vol.4 (No.2). doi:10.1145/1361192.1361199 ISSN 1549-6325.

Cheah, Hui Yan, Brosser, Fredrik, Fahmy, Suhaib A. and Maskell, Douglas L. (2014) The iDEA DSP block based soft processor for FPGAs. ACM Transactions on Reconfigurable Technology and Systems, 7 (3). 19:1-19:23. ISSN 1936-7406.

Chen, Bo, Arjen, P. A., Vestjens, Arjen P. A. and Woeginger, Gerhard J. (1998) On-line scheduling of two-machine open shops where jobs arrive over time. Journal of Combinatorial Optimization, 1 (4). pp. 355-365. ISSN 1382-6905.

Chen, Bo, Chen, Xujin and Hu, Xiaodong (2010) The price of atomic selfish ring routing. Journal of Combinatorial Optimization, Vol.19 (No.3). pp. 258-278. doi:10.1007/s10878-008-9171-z ISSN 1382-6905.

Chen, Bo, Coffman, Ed , Dereniowski, Dariusz and Kubiak, Wiesław (2016) Normal-form preemption sequences for an open problem in scheduling theory. Journal of Scheduling, 19 (6). pp. 701-728. doi:10.1007/s10951-015-0446-9 ISSN 1094-6136.

Chen, Bo and Zhang, Xiandong (2019) Scheduling with time-of-use costs. European Journal of Operational Research, 274 (3). pp. 900-908. doi:10.1016/j.ejor.2018.11.002 ISSN 0377-2217.

Chen, Hao, Sun, Jianhua, He, Ligang, Li, Kenli and Tan, Huailiang (2014) BAG : Managing GPU as buffer cache in operating systems. IEEE Transactions on Parallel and Distributed Systems, Volume 25 (Number 6). pp. 1393-1402. doi:10.1109/TPDS.2013.201 ISSN 1045-9219.

Chen, Lijie, Hirahara, Shuichi, Oliveira, Igor Carboni, Pich, Ján, Rajgopal, Ninad and Santhanam, Rahul (2022) Beyond natural proofs : hardness magnification and locality. Journal of the ACM, 69 (4). 25. doi:10.1145/3538391 ISSN 0004-5411.

(2022) RAMPVIS : answering the challenges of building visualisation capabilities for large-scale emergency responses. Epidemics, 39 . 100569. doi:10.1016/j.epidem.2022.100569 ISSN 1755-4365.

Chen, Mingli, Chernozhukov, Victor, Fernández-Val, Iván and Melly, Blaise (2017) Counterfactual : an R package for counterfactual analysis. The R Journal, 9 (1). pp. 370-384.

Chen, Mingli, Kato, Kengo and Leng, Chenlei (2021) Analysis of networks via the sparse β-Model. Journal of the Royal Statistical Society : Series B (Statistical Methodology), 83 (5). pp. 887-910. doi:10.1111/rssb.12444 ISSN 1369-7412.

Chen, Xujin and Chen, Bo (2009) Approximation algorithms for soft-capacitated facility location in capacitated network design. Algorithmica, Vol.53 (No.3). pp. 263-297. doi:10.1007/s00453-007-9032-7 ISSN 0178-4617.

Chen, Xujin and Chen, Bo (2009) Cost-effective designs of fault-tolerant access networks in communication systems. Networks, Vol.53 (No.4). pp. 382-391. doi:10.1002/net.20306 ISSN 0028-3045.

Cheng, Long, Zhang, Huaizhi, Jose , Joemon M., Yu, Haitao, Moshfeghi, Yashar and Triantafillou, Peter (2018) Topic detection and tracking on heterogeneous information. Journal of Intelligent Information Systems, 51 (1). pp. 115-137. doi:10.1007/s10844-017-0487-y ISSN 0925-9902.

Chester, Dean G., Wright, Steven A. and Jarvis, Stephen A. (2018) Understanding communication patterns in HPCG. Electronic Notes in Theoretical Computer Science, 340 . pp. 55-65. doi:10.1016/j.entcs.2018.09.005 ISSN 1571-0661.

Chiesa, Alessandro, Gur, Tom and Shinkar, Igor (2021) Relaxed locally correctable codes with nearly-linear block length and constant query complexity. SIAM Journal of Computing . pp. 1395-1411. doi:10.1137/1.9781611975994.84 ISSN 0097-5397.

Chistikov, Dmitry, Haase, Christoph and Halfon, Simon (2018) Context-free commutative grammars with integer counters and resets. Theoretical Computer Science, 735 . pp. 147-161. doi:10.1016/j.tcs.2016.06.017 ISSN 0304-3975.

Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S. and Purser, David (2022) The big-O problem. Logical Methods in Computer Science, 18 (1). 40:1-40:50. doi:10.46298/lmcs-18(1:40)2022 ISSN 1860-5974.

Chistikov, Dmitry, Martyugin, Pavel and Shirmohammadi, Mahsa (2019) Synchronizing automata over nested words. Journal of Automata, Languages and Combinatorics, 24 (2-4). pp. 219-251. doi:10.25596/jalc-2019-219 ISSN 1430-189X.

Chouhan, Lokendra, Sharma, Prabhat and Noel, Adam (2020) Molecular communication in fractional diffusive channel. IEEE Communications Letters, 24 (10). pp. 2172-2176. doi:10.1109/LCOMM.2020.2999577 ISSN 1089-7798.

Choy, K. L. , Lee, W. B., Lau, Henry, Lu, Dawei and Lo, Victor (2004) Design of an intelligent supplier relationship management system for new product development. International Journal of Computer Integrated Manufacturing , Vol. 17 (No. 8). pp. 692-715. doi:10.1080/0951192042000237483 ISSN 0951-192X.

Chuah, Edward, Jhumka, Arshad, Malek, Miroslaw and Suri, Neeraj (2022) A survey of log-correlation tools for failure diagnosis and prediction in cluster systems. IEEE Access, 10 . pp. 133487-133503. doi:10.1109/access.2022.3231454 ISSN 2169-3536.

Ciucu, Florin and Poloczek, Felix (2018) Two extensions of Kingman's GI/G/1 bound. Proceedings of the ACM on Measurement and Analysis of Computing Systems - SIGMETRICS, 2 (3). 43. doi:10.1145/3287322 ISSN 2476-1249.

Clegg, Ben and Shaw, Duncan (2008) Using process-oriented holonic (PrOH) modelling to increase understanding of information systems. Information Systems Journal, 18 (5). pp. 447-477. doi:10.1111/j.1365-2575.2008.00308.x ISSN 1350-1917.

Clemente, Lorenzo, Lasota, Sławomir, Lazic, Ranko and Mazowiecki, Filip (2019) Binary reachability of timed-register pushdown automata and branching vector addition systems. ACM Transactions on Computational Logic, 20 (3). pp. 1-31. 14. doi:10.1145/3326161 ISSN 1529-3785.

Clements, Michael P. and Kim, Jae H. (2007) Bootstrap prediction intervals for autoregressive time series. Computational Statistics & Data Analysis, Vol.51 (No.7). pp. 3580-3594. doi:10.1016/j.csda.2006.09.012 ISSN 0167-9473.

Clifford, Raphaël, Jalsenius, Markus, Montanaro, Ashley and Sach, Ben (2012) The complexity of flood filling games. Theory of Computing Systems, Vol.50 (No.1). pp. 72-92. doi:10.1007/s00224-011-9339-2 ISSN 1432-4350.

Clifford, Raphaël and Sach, Ben (2011) Pattern matching in pseudo real-time. Journal of Discrete Algorithms, Vol.9 (No.1). pp. 67-81. doi:10.1016/j.jda.2010.09.005 ISSN 1570-8667.

Coak, Matthew John, Liu, Cheng, Jarvis, David M., Park, Seunghyun, Cliffe, Matthew J. and Goddard, Paul A. (2020) SquidLab : a user-friendly program for background subtraction and fitting of magnetization data. Review of Scientific Instruments, 91 (2). 023901. doi:10.1063/1.5137820 ISSN 0034-6748.

Coetzee, Peter and Jarvis, Stephen A. (2017) Goal-based composition of scalable hybrid analytics for heterogeneous architectures. Journal of Parallel and Distributed Computing, 108 . pp. 59-73. doi:10.1016/j.jpdc.2016.11.009 ISSN 0743-7315.

Coetzee, Peter, Leeke, Matthew and Jarvis, Stephen A. (2014) Towards unified secure on- and off-line analytics at scale. Parallel Computing, Volume 40 (Number 10). pp. 738-753. doi:10.1016/j.parco.2014.07.004 ISSN 0167-8191.

Cohen, D., Cooper, M., Jeavons, P. and Krokhin, Andrei (2004) A maximal tractable class of soft constraints. Journal of Artificial Intelligence Research, Volume 22 . pp. 1-22. doi:10.1613/jair.1400 ISSN 1076-9757.

Cohen, Edith, Cormode, Graham, Duffield, Nick and Lund, Carsten (2016) On the tradeoff between stability and fit. ACM Transactions on Algorithms , 13 (1). 7. doi:10.1145/2963103 ISSN 1549-6325.

Colmenares-Quintero, Ramón Fernando, Rojas-Martinez, Eyberth R., Macho-Hernantes, Fernando, Stansfield, Kim and Colmenares-Quintero, Juan Carlos (2021) Methodology for automatic fault detection in photovoltaic arrays from artificial neural networks. Cogent Engineering, 8 (1). 1981520. doi:10.1080/23311916.2021.1981520 ISSN 2331-1916.

Connelly, Erin, Del Genio, Charo I., Harrison, Freya and Nacy, Carol A. (2020) Data mining a medieval medical text reveals patterns in ingredient choice that reflect biological activity against infectious agents. mBio, 11 (1). e03136-19. doi:10.1128/mBio.03136-19 ISSN 2150-7511.

Connelly, Roxanne, Playford, Chris J., Gayle, Vernon and Dibben, Chris (2016) The role of administrative data in the big data revolution in social science research. Social Science Research, 59 . pp. 1-12. doi:10.1016/j.ssresearch.2016.04.015 ISSN 0049-089X.

Constantinides, Panos, Henfridsson, Ola and Parker, G. (2018) Introduction—Platforms and infrastructures in the digital age. Information Systems Research, 29 (2). pp. 381-400. doi:10.1287/isre.2018.0794 ISSN 1526-5536.

Conte, Rosaria, Gilbert, G. Nigel, Bonelli, Giulia, Cioffi-Revilla, Claudio A., Deffuant, Guillaume, Kertész, János‏, Loreto, Vittorio, Moat, Helen Susannah, Nadal, Jean-Pierre, Sanchez, Angel, Nowak, Andrzej, Flache, Andreas, San Miguel, Maxi and Helbing, Dirk (2012) Manifesto of computational social science. The European Physical Journal Special Topics, Volume 214 (Number 1). pp. 325-346. doi:10.1140/epjst/e2012-01697-8 ISSN 1951-6355.

Cooke, Ryan A. and Fahmy, Suhaib A. (2020) A model for distributed in-network and near-edge computing with heterogeneous hardware. Future Generation Computer Systems, 105 . pp. 395-409. doi:10.1016/j.future.2019.11.040 ISSN 0167-739X.

Cooper, Chris, Brown, Anna, Court, Rachel A. and Schauberger, Ute (2022) A technical review of the ISPOR presentations database identified issues in the search interface and areas for future development. International Journal of Technology Assessment in Health Care, 38 (1). e29. doi:10.1017/S0266462322000137 ISSN 0266-4623.

Cooper, Laura J. and Sprittles, James E. (2020) A computational study of fluctuating viscoelastic forces on trapped interfaces in porous media. European Journal of Mechanics - B Fluids, 84 . pp. 496-506. doi:10.1016/j.euromechflu.2020.07.010 ISSN 0997-7546.

Corea, Stephen (2006) Information technology and the modalisation of organisational behaviour: a theoretical framework. Journal of Information Technology, Vol.21 (No.2). pp. 86-98. doi:10.1057/palgrave.jit.2000060 ISSN 0268-3962.

Cormode, Graham (2017) Data sketching. Communications of the ACM, 60 (9). pp. 48-55. doi:10.1145/3080008 ISSN 0001-0782.

Cormode, Graham, Dasgupta, Anirban, Goyal, Amit and Lee, Chi Hoon (2018) An evaluation of multi-probe locality sensitive hashing for computing similarities over web-scale query logs. PLoS One, 13 (1). e0191175. doi:10.1371/journal.pone.0191175 ISSN 1932-6203.

Cormode, Graham and Jowhari, Hossein (2017) A second look at counting triangles in graph streams (corrected). Theoretical Computer Science, 683 . pp. 22-30. doi:10.1016/j.tcs.2016.06.020 ISSN 0304-3975.

Cormode, Graham and Jowhari, Hossein (2014) A second look at counting triangles in graph streams. Theoretical Computer Science, Volume 552 . pp. 44-51. doi:10.1016/j.tcs.2014.07.025 ISSN 0304-3975.

Cormode, Graham, Srivastava, Divesh, Yu, Ting and Zhang, Qing (2010) Anonymizing bipartite graph data using safe groupings. VLDB Journal, Volume 19 (Number 1). pp. 115-139. doi:10.1007/s00778-009-0167-9 ISSN 1066-8888.

Cormode, Graham and Veselý, Pavel (2021) Streaming algorithms for bin packing and vector scheduling. Theory of Computing Systems, 65 . pp. 916-942. doi:10.1007/s00224-020-10011-y ISSN 1432-4350.

Cosma, Georgina and Joy, Mike (2012) An approach to source-code plagiarism detection and investigation using latent semantic analysis. IEEE Transactions on Computers, Vol.61 (No.3). pp. 379-394. doi:10.1109/TC.2011.223 ISSN 0018-9340.

Costa, Maria J. (Maria João) and Shaw, J. Ewart H. (2009) Parametrization and penalties in spline models with an application to survival analysis. Computational Statistics & Data Analysis, Vol.53 (No.3). pp. 657-670. doi:10.1016/j.csda.2008.07.026 ISSN 0167-9473.

Cragg, Emma and Brewerton, Antony (2011) ‘Twitter ye not?’ 23 Things that helped Warwick University Library staff to develop their Web 2.0 skills. SCONUL Focus, Volume 53 . pp. 20-24. ISSN 1745-5782.

Craig, Iain D. (1995) Rule interpreters in ELEKTRA. Kybernetes, Volume 24 (Number 3). pp. 37-49. doi:10.1108/03684929510087251 ISSN 0368-492X.

Cremona, J. E. and Fisher, T. A. (2009) On the equivalence of binary quartics. Journal of Symbolic Computation, Vol.44 (No.6). pp. 673-682. doi:10.1016/j.jsc.2008.09.004 ISSN 0747-7171.

Cristea, Alexandra I. (2003) Adaptive patterns in authoring of educational adaptive hypermedia. Educational Technology and Society, Volume 6 (Number 4). pp. 1-5. ISSN 1436-4522.

Cristea, Alexandra I. (2005) Authoring of adaptive hypermedia. Educational Technology and Society, Volume 8 (Number 3). pp. 6-8. doi:10.4018/978-1-59140-690-7.ch010 ISSN 1436-4522.

Cristea, Alexandra I. (2004) Innovations in advanced technology for learning : authoring for adaptive educational hypermedia. Advanced Technology For Learning, Volume 1 (Number 4). ISSN 1710-2251.

Cristea, Alexandra I. (2004) Is semi-automatic authoring of adaptive educational hypermedia possible? Advanced Technology For Learning, Volume 1 (Number 4). pp. 227-236. ISSN 1710-2251.

Cristea, Alexandra I. (2004) What can the semantic web do for adaptive educational hypermedia? Educational Technology and Society, Volume 7 (Number 4). pp. 40-58. ISSN 1436-4522.

Cristea, Alexandra I. and Carro, R. M. (2007) Authoring of adaptive and adaptable hypermedia : an introduction. International Journal of Learning Technology (IJLT), Volume 3 (Number 3). pp. 203-208. ISSN 1477-8386.

Cristea, Alexandra I. and Cristea, P. (2004) Evaluation of adaptive hypermedia authoring patterns during a Socrates programme class. Advanced Technology For Learning, Volume 1 (Number 2). pp. 115-124. ISSN 1710-2251.

Cristea, Alexandra I. and Ghali, Fawaz (2011) Towards adaptation in e-learning 2.0. New Review of Hypermedia and Multimedia, 17 (2). pp. 199-238. doi:10.1080/13614568.2010.541289 ISSN 1361-4568.

Cristea, Alexandra I. and Okamoto, Toshio (2001) Object-oriented collaborative course authoring environment supported by concept mapping in MyEnglishTeacher. Educational Technology and Society, Volume 4 (Number 2). pp. 104-115. ISSN 1436-4522.

Cristea, Alexandra I., Smits, David and Bra, Paul M. E. de (2007) Towards a generic adaptive hypermedia platform : a conversion case study. Journal of Digital Information, Volume 8 (Number 3). ISSN 1368-7506.

Cristea, Alexandra I., Stewart, C., Brailsford, T. and Cristea, P. (2007) Adaptive hypermedia system interoperability : a 'real world' evaluation. Journal of Digital Information, Volume 8 (Number 3). ISSN 1368-7506.

Crosby, Henry James, Damoulas, Theodoros, Caton, Alexander, Davis, Paul, Albuquerque, João Porto de and Jarvis, Stephen A. (2018) Road distance and travel time for an improved house price Kriging predictor. Geo-spatial Information Science, 21 (3). pp. 185-194. doi:10.1080/10095020.2018.1503775 ISSN 1009-5020.

Crosby, Henry James, Damoulas, Theodoros and Jarvis, Stephen A. (2019) Road and travel time cross-validation for urban modelling. International Journal of Geographical Information Science, 34 (1). pp. 98-118. doi:10.1080/13658816.2019.1658876 ISSN 1362-3087.

Cryan, Mary, Goldberg, Leslie Ann and Goldberg, Paul W. (2001) Evolutionary trees can be learned in polynomial time in the two-state general Markov model. SIAM Journal on Computing, Volume 31 (Number 2). pp. 375-397. ISSN 0097-5397.

Cryan, Mary, Goldberg, Leslie Ann and Phillips, Cynthia A. (1999) Approximation algorithms for the fixed-topology phylogenetic number problem. Algorithmica, Volume 25 (Number 2-3). pp. 311-329. ISSN 0178-4617.

Cui, Kai, Leeson, Mark S. and Hines, Evor (2010) Direct-detection synchronous O-CDMA system with interference estimation and cancellation. Photonic Network Communications, Vol.19 (No.3). pp. 277-283. doi:10.1007/s11107-009-0232-8 ISSN 1387-974X.

Curchod, Corentin, Patriotta, Gerardo, Cohen, Laurie and Neysen, Nicolas (2020) Working for an algorithm : power asymmetries and agency in online work settings. Administrative Science Quarterly, 65 (3). pp. 644-676. doi:10.1177/0001839219867024 ISSN 1930-3815.

Curme, Chester, Zhuo, Ying Daisy, Moat, Helen Susannah and Preis, Tobias (2017) Quantifying the diversity of news around stock market moves. The Journal of Network Theory in Finance, 3 (1). pp. 1-20. doi:10.21314/JNTF.2017.027 ISSN 2055-7795.

Currie, Wendy L. and Guah, Matthew W. (2007) Conflicting institutional logics: a national programme for IT in the organisational field of healthcare. Journal of Information Technology, Vol.22 (No.3). pp. 235-247. doi:10.1057/palgrave.jit.2000102 ISSN 0268-3962.

Currie, Wendy L. and Parikh, Mihir A. (2005) Value creation in web services: An integrative model. Journal of Strategic Information Systems, Volume 15 (Number 2). pp. 153-174. doi:10.1016/j.jsis.2005.10.001 ISSN 0963-8687.

Cygan, Marek, Kratsch, Stefan, Pilipczuk, Marcin, Pilipczuk, Michał and Wahlström, Magnus (2014) Clique cover and graph separation : new incompressibility results. ACM Transactions on Computation Theory, Volume 6 (Number 2). pp. 1-19. doi:10.1145/2594439 ISSN 1942-3454.

Cygan, Marek, Lokshtanov, Daniel, Pilipczuk, Marcin, Pilipczuk, Michał and Saurabh, Saket (2014) On cutwidth parameterized by vertex cover. Algorithmica, Volume 68 (Number 4). pp. 940-953. doi:10.1007/s00453-012-9707-6 ISSN 0178-4617.

Cygan, Marek and Pilipczuk, Marcin (2015) Faster exponential-time algorithms in graphs of bounded average degree. Information and Computation, 243 . pp. 75-85. doi:10.1016/j.ic.2014.12.007 ISSN 0890-5401.

Cygan, Marek, Pilipczuk, Marcin and Pilipczuk, Michał (2016) On group feedback Vertex Set parameterized by the size of the cutset. Algorithmica, 74 (2). pp. 630-642. doi:10.1007/s00453-014-9966-5 ISSN 0178-4617.

Cygan, Marek, Pilipczuk, Marcin, Pilipczuk, Michał and Wojtaszczyk, Jakub Onufry (2014) Scheduling partially ordered jobs faster than 2n. Algorithmica, Volume 68 (Number 3). pp. 692-714. doi:10.1007/s00453-012-9694-7 ISSN 0178-4617.

Cygan, Marek, Pilipczuk, Marcin, Pilipczuk, Michał and Wojtaszczyk, Jakub Onufry (2015) Sitting closer to friends than enemies, revisited. Theory of Computing Systems, 56 . pp. 394-405. doi:10.1007/s00224-014-9558-4 ISSN 1432-4350.

Czerwinski, Wojciech, Lasota, Slawomir , Lazic, Ranko, Leroux, Jérôme and Mazowiecki, Filip (2021) The reachability problem for petri nets is not elementary. Journal of the ACM, 68 (1). 7. doi:10.1145/3422822 ISSN 0004-5411.

Czumaj, Artur, Davies, Peter and Parter, Merav (2021) Graph sparsification for derandomizing massively parallel computation with low space. ACM Transactions on Algorithms, 17 (2). 16. doi:10.1145/3451992 ISSN 1549-6325.

Czumaj, Artur, Deligkas, Argyrios, Fasoulakis, Michail, Fearnley, John, Jurdzinski, Marcin and Savani, Rahul (2018) Distributed methods for computing approximate equilibria. Algorithmica . doi:10.1007/s00453-018-0465-y ISSN 0178-4617.

Czumaj, Artur, Kontogeorgiou, George and Paterson, Mike (2022) Haystack hunting hints and locker room communication. Random Structures & Algorithms . doi:10.1002/rsa.21114 ISSN 1042-9832. (In Press)

Czumaj, Artur, Kowaluk, Miroslaw and Lingas, Andrzej (2007) Faster algorithms for finding lowest common ancestors in directed acyclic graphs. Theoretical Computer Science, Vol.380 (No.1-2). pp. 37-46. doi:10.1016/j.tcs.2007.02.053 ISSN 0304-3975.

Czumaj, Artur, Krysta, Piotr and Vöcking, Berthold (2010) Selfish traffic allocation for server farms. SIAM Journal on Computing, Vol.39 (No.5). pp. 1957-1987. doi:10.1137/070693862 ISSN 0097-5397.

Czumaj, Artur and Lingas, Andrzej (2023) On parallel time in population protocols. Information Processing Letters, 179 . 106314. doi:10.1016/j.ipl.2022.106314 ISSN 0020-0190.

Czumaj, Artur and Sohler, Christian (2009) Estimating the weight of metric minimum spanning trees in sublinear time. SIAM Journal on Computing, Vol.39 (No.3). pp. 904-922. doi:10.1137/060672121 ISSN 0097-5397.

Czumaj, Artur and Sohler, Christian (2009) Small space representations for metric min-sum k-clustering and their applications. Theory of Computing Systems, Volume 46 (Number 3). pp. 416-442. doi:10.1007/s00224-009-9235-1 ISSN 1433-0490.

Czumaj, Artur and Sohler, Christian (2008) Testing Euclidean minimum spanning trees in the plane. ACM Transactions on Algorithms, Volume 4 (Number 3). p. 31. Article Number 31. doi:10.1145/1367064.1367071 ISSN 1549-6325.

Czumaj, Artur, Łącki, Jakub, Mądry, Aleksander, Mitrović, Slobodan, Onak, Krzysztof and Sankowski, Piotr (2019) Round compression for parallel matching algorithms. SIAM Journal of Computing, 49 (5). p. 1. STOC18-1–STOC18-44. doi:10.1137/18M1197655 ISSN 0097-5397.

Dacko, Scott G. (2017) Enabling smart retail settings via mobile augmented reality shopping apps. Technological Forecasting & Social Change, 124 . pp. 243-256. doi:10.1016/j.techfore.2016.09.032 ISSN 0040-1625.

Dall'Agnol, Marcel, Gur, Tom, Moulik, Subhayan Roy and Thaler, Justin (2022) Quantum proofs of proximity. Quantum, 6 . 834. doi:10.22331/q-2022-10-13-834

Darmon, Alexandra N. M., Bazzi, Marya, Howison, Sam D. and Porter, Mason A. (2021) Pull out all the stops : textual analysis via punctuation sequences. European Journal of Applied Mathematics, 32 (6). pp. 1069-1105. doi:10.1017/S0956792520000157 ISSN 0956-7925.

Das Choudhury, Sruti and Tjahjadi, Tardi (2015) Robust view-invariant multiscale gait recognition. Pattern Recognition, Volume 48 (Number 3). pp. 798-811. doi:10.1016/j.patcog.2014.09.022 ISSN 0031-3203.

Daviaud, Laure, Jurdzinski, Marcin, Lazic, Ranko, Mazowiecki, Filip, Pérez, Guillermo A. and Worrell, James (2021) When are emptiness and containment decidable for probabilistic automata? Journal of Computer and System Sciences, 119 . pp. 78-96. doi:10.1016/j.jcss.2021.01.006 ISSN 0022-0000.

Daviaud, Laure and Paperman, Charles (2018) Classes of languages generated by the Kleene star of a word. Information and Computation, 262 (Part 1). pp. 90-109. doi:10.1016/j.ic.2018.07.002 ISSN 0890-5401.

Davidson, T., Gay, S. J., Mlnařík, H., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, Vol.8 (No.1). pp. 73-98. ISSN 1548-7199.

Davis, J. A., Mudalige, Gihan R., Hammond, Simon D., Herdman, J. A., Miller, I. and Jarvis, Stephen A. (2011) Predictive analysis of a hydrodynamics application on large-scale CMP clusters. Computer Science - Research and Development, Volume 26 (Number 3-4). pp. 175-185. doi:10.1007/s00450-011-0164-2 ISSN 1865-2034.

Dawood, Muhammad, Asif, Amina and Minhas, Fayyaz ul Amir Afsar (2019) Deep-PHURIE : deep learning based hurricane intensity estimation from infrared satellite imagery. Neural Computing and Applications . doi:10.1007/s00521-019-04410-7 ISSN 0941-0643.

Deb, Kalyanmoy, Gupta, Shubham, Daum, David, Branke, Jürgen, Mall, Abhishek Kumar and Padmanabhan, Dhanesh (2009) Reliability-based optimization using evolutionary algorithms. IEEE Transactions on Evolutionary Computation, Vol.13 (No.5). pp. 1054-1074. doi:10.1109/TEVC.2009.2014361 ISSN 1089-778X.

Debattista, Kurt (2018) Application-specific tone mapping via genetic programming. Computer Graphics Forum, 37 (1). pp. 439-450. doi:10.1111/cgf.13307 ISSN 0167-7055.

Debattista, Kurt, Bashford-Rogers, Thomas, Harvey, Carlo, Waterfield, Brian and Chalmers, Alan (2018) Subjective evaluation of high-fidelity virtual environments for driving simulations. IEEE Transactions on Human-Machine Systems, 48 (1). pp. 30-40. doi:10.1109/THMS.2017.2762632 ISSN 2168-2291.

Debattista, Kurt, Bashford-Rogers, Thomas, Selmanovic, Elmedin, Mukherjee, Ratnajit and Chalmers, Alan (2015) Optimal exposure compression for high dynamic range content. The Visual Computer, 31 (6-8). pp. 1089-1099. doi:10.1007/s00371-015-1121-z ISSN 0178-2789.

Debattista, Kurt, Chalmers, Alan, Gillibrand, R., LonghurSt, P., Mastoropouiou, G. and Sundstedt, V. (2007) Parallel selective rendering of high-fidelity virtual environments. Parallel Computing, Vol.33 (No.6). pp. 361-376. doi:10.1016/j.parco.2007.04.002 ISSN 0167-8191.

Debattista, Kurt, Dubla, P., Banterle, Francesco, Santos, L. P. and Chalmers, Alan (2009) Instant caching for interactive global illumination. Computer Graphics Forum, Vol.28 (No.8). pp. 2216-2228. doi:10.1111/j.1467-8659.2009.01435.x ISSN 0167-7055.

Debattista, Kurt, Dubla, Piotr, Santos, Luis Paulo and Chalmers, Alan (2011) Wait-free shared-memory irradiance caching. IEEE Computer Graphics and Applications, Vol.31 (No.5). pp. 66-78. doi:10.1109/MCG.2010.80 ISSN 0272-1716.

Deco, G., Rolls, Edmund T. and Romo, R. (2010) Synaptic dynamics and decision making. Proceedings of the National Academy of Sciences of the United States of America, Vol.107 (No.16). pp. 7545-7549. doi:10.1073/pnas.1002333107 ISSN 0027-8424.

Deineko, Vladimir G., Jonsson, P., Klasson, Mikael and Krokhin, Andrei (2008) The approximability of MAX CSP with fixed-value constraints. Association for Computing Machinery Journal, Vol.55 (No.4). doi:10.1145/1391289.1391290 ISSN 0004-5411.

Deineko, Vladimir G. and Tiskin, Alexander (2009) Fast minimum-weight double-tree shortcutting for metric TSP. Journal of Experimental Algorithmics, Vol.14 . 4.6. doi:10.1145/1498698.1594232 ISSN 1084-6654.

Deineko, Vladimir G. and Tiskin, Alexander (2009) Min-weight double-tree shortcutting for metric TSP : bounding the approximation ratio. Electronic Notes in Discrete Mathematics, Volume 32 . pp. 19-26. doi:10.1016/j.endm.2009.02.004 ISSN 1571-0653.

Deineko, Vladimir G. and Woeginger, Gerhard J. (2009) A new family of scientific impact measures : the generalized Kosmulski-indices. Scientometrics, Vol.80 (No.3). pp. 819-826. doi:10.1007/s11192-009-2130-0 ISSN 0138-9130.

Demirci, Gunduz Vehbi, Ferhatosmanoglu, Hakan and Aykanat, Cevdet (2018) Cascade-aware partitioning of large graph databases. The VLDB Journal, 28 (3). pp. 329-350. doi:10.1007/s00778-018-0531-8 ISSN 1066-8888.

Demirci, Gunduz Vehbi, Haldar, Aparajita and Ferhatosmanoglu, Hakan (2022) Scalable graph convolutional network training on distributed-memory systems. Proceedings of the VLDB Endowment, 16 (4). pp. 711-724. doi:10.14778/3574245.3574256 ISSN 2150-8097.

Demri, Stéphane P. and Lazic, Ranko (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. doi:10.1145/1507244.1507246 ISSN 1529-3785.

Demri, Stéphane P., Lazic, Ranko and Sangnier, Arnaud (2010) Model checking memoryful linear-time logics over one-counter automata. Theoretical Computer Science, Vol.411 (No.22-24). pp. 2298-2316. doi:10.1016/j.tcs.2010.02.021 ISSN 0304-3975.

Derlyatka, Anton , Fomenko, Oleg , Eck, Felicia, Khmelev, Egor and Elliott, Mark T. (2019) Bright spots, physical activity investments that work : sweatcoin : a steps generated virtual currency for sustained physical activity behaviour change. British Journal of Sports Medicine . doi:10.1136/bjsports-2018-099739 ISSN 0306-3674.

Despotou, George, Evans, Jill, Nash, William, Eavis, Alexandra, Robbins, Tim and Arvanitis, Theodoros N. (2020) Evaluation of patient perception towards dynamic health data sharing using blockchain based digital consent with the Dovetail digital consent application : a cross sectional exploratory study. Digital Health, 6 . doi:10.1177/2055207620924949 ISSN 2055-2076.

Dhillon, Sundeep and Murray, Neil (2021) An investigation of EAP teachers’ views and experiences of e-learning technology. Education Sciences, 11 (2). 54. doi:10.3390/educsci11020054 ISSN 2227-7102.

Dhok, Shivani, Chouhan, Lokendra, Noel, Adam and Sharma, Prabhat (2022) Cooperative molecular communication in drift-induced diffusive cylindrical channel. IEEE Transactions on Molecular, Biological, and Multi-Scale Communications, 8 (1). pp. 44-55. doi:10.1109/TMBMC.2021.3089939 ISSN 2332-7804.

Dicheva, Darina, Aroyo, Lora and Cristea, Alexandra I. (2003) Cooperative courseware authoring support. International Journal of Computers and Applications, Volume 25 (Number 3). pp. 179-187. ISSN 1206-212X.

Didelot, Xavier, Lawson, Daniel J. and Falush, Daniel (2009) SimMLST: simulation of multi-locus sequence typing data under a neutral model. Bioinformatics, Vol.25 (No.11). pp. 1442-1444. doi:10.1093/bioinformatics/btp145 ISSN 1367-4803.

Dieter, Michael (2022) Interface critique at large. Convergence: The International Journal of Research into New Media Technologies . doi:10.1177/13548565221135833 ISSN 1354-8565. (In Press)

Dillon, James, Andrianakis, Ioannis, Bull, Kate, Glautier, Steve, O'Connor, Vincent, Holden-Dye, Lindy and James, C. J. (2009) AutoEPG: software for the analysis of electrical activity in the microcircuit underpinning feeding behaviour of Caenorhabditis elegans. PLoS One, Vol.4 (No.12). Article: e8482. doi:10.1371/journal.pone.0008482 ISSN 1932-6203.

Dinh, Le Cong, Mguni, David Henry, Tran-Thanh, Long, Wang, Jun and Yang, Yaodong (2023) Online Markov decision processes with non-oblivious strategic adversary. Autonomous Agents and Multi-Agent Systems, 37 (1). 15. doi:10.1007/s10458-023-09599-5 ISSN 1387-2532.

Doan, Xuan Vinh, Kruk, Serge and Wolkowicz, Henry (2011) A robust algorithm for semidefinite programming. Optimization Methods and Software, 27 (4-5). pp. 1-27. doi:10.1080/10556788.2011.610456 ISSN 1055-6788.

Doan, Xuan Vinh, Lei, Xiao and Shen, Siqian (2020) Pricing of reusable resources under ambiguous distributions of demand and service time with emerging applications. European Journal of Operational Research, 282 (1). pp. 235-251. doi:10.1016/j.ejor.2019.09.003 ISSN 0377-2217.

Dolog, P., Kravcik, M., Cristea, Alexandra I., Burgos, D., Bra, Paul M. E. de, Ceri, S., Devedzic, V., Houben, G. J., Libbrecht, P., Matera, M., Melis, E., Nejdl, W., Specht, M., Stewart, C., Smits, David, Stash, Natalia and Tat, C. (2007) Specification, authoring and prototyping of personalised workplace learning solutions. International Journal of Learning Technology (IJLT), Volume 3 (Number 3). pp. 286-308. doi:10.1504/IJLT.2007.015447 ISSN 1477-8386.

Dong, Hongyang and Zhao, Xiaowei (2022) Composite experience replay based deep reinforcement learning with application in wind farm control. IEEE Transactions on Control Systems Technology, 30 (3). pp. 1281-1295. doi:10.1109/TCST.2021.3102476 ISSN 1063-6536.

Dong, Hongyang, Zhao, Xiaowei and Yang, Haoyang (2021) Reinforcement learning-based approximate optimal control for attitude reorientation under state constraints. IEEE Transactions on Control Systems Technology, 29 (4). pp. 1664-1673. doi:10.1109/TCST.2020.3007401 ISSN 1063-6536.

Donnelly, James, Abolfathi, Soroush, Pearson, Jonathan, Chatrabgoun, Omid and Daneshkhah, Alireza (2022) Gaussian Process emulation of spatiotemporal outputs of a 2D inland flood model. Water Research, 225 . 119100. doi:10.1016/j.watres.2022.119100 ISSN 0043-1354.

Donzis, Diego A., Gibbon, John D., Gupta, Anupam (Researcher in Computer Science), Kerr, Robert M. (Robert McDougall), Pandit, Rahul and Vincenzi, Dario (2013) Vorticity moments in four numerical simulations of the 3D Navier–Stokes equations. Journal of Fluid Mechanics, Volume 732 . pp. 316-331. doi:10.1017/jfm.2013.409 ISSN 0022-1120.

Doukakis, Efstratios, Debattista, Kurt, Bashford-Rogers, Thomas, Dhokia, Amar, Asadipour, Ali, Chalmers, Alan and Harvey, C. (2019) Audio-visual-olfactory resource allocation for tri-modal virtual environments. IEEE Transactions on Visualization and Computer Graphics, 25 (5). pp. 1865-1875. doi:10.1109/TVCG.2019.2898823 ISSN 1077-2626.

Drummond, R., Neilson, D., Packwood, R. A. and Jarvis, Stephen A. (2002) Thinking big : mainframe linux. Linux Pro, June . pp. 3-11.

Du, Jiachen, Gui, Lin, He, Yulan, Xu, Ruifeng and Wang, Xuan (2019) Convolution-based neural attention with applications to sentiment classification. IEEE Access, 7 . 27983 -27992. doi:10.1109/ACCESS.2019.2900335 ISSN 2169-3536.

Duan, Lvyin, Marnerides, Demetris, Chalmers, Alan, Lei, Zhichun and Debattista, Kurt (2022) Deep controllable backlight dimming for HDR displays. IEEE Transactions on Consumer Electronics, 68 (3). pp. 191-199. doi:10.1109/TCE.2022.3188806 ISSN 0098-3063.

Dubla, P., Debattista, Kurt and Chalmers, Alan (2009) Adaptive interleaved sampling for interactive high-fidelity rendering. Computer Graphics Forum, Vol.28 (No.8). pp. 2117-2130. doi:10.1111/j.1467-8659.2009.01419.x ISSN 0167-7055.

Duffy, K. R., O'Connell, Neil and Sapozhnikov, A. (2008) Complexity analysis of a decentralised graph colouring algorithm. Information Processing Letters, Volume 107 (Number 2). pp. 60-63. doi:10.1016/j.ipl.2008.01.002 ISSN 0020-0190.

Durrant, Simon and Feng, Jianfeng (2006) Negatively correlated firing: the functional meaning of lateral inhibition within cortical columns. BIOLOGICAL CYBERNETICS, 95 (5). pp. 431-453. doi:10.1007/s00422-006-0096-2 ISSN 0340-1200.

Dwivedi, Yogesh K., Lal, Banita, Mustafee, Navonil and Williams, Michael D. (2009) Profiling a decade of Information Systems Frontiers' research. Information Sysytems Frontiers, Vol.11 (No.1). pp. 87-102. doi:10.1007/s10796-008-9147-7 ISSN 1387-3326.

Dyer, Martin, Goldberg, Leslie Ann, Greenhill, Catherine, Istrate, Gabriel and Jerrum, Mark (2002) Convergence of the iterated prisoner's dilemma game. Combinatorics, Probability & Computing, Volume 11 (Number 2). pp. 135-147. doi:10.1017/S096354830100503X ISSN 0963-5483.

Dyer, Martin, Goldberg, Leslie Ann, Greenhill, Catherine and Jerrum, Mark (2004) The relative complexity of approximate counting problems. Algorithmica, Volume 38 (Number 3). pp. 471-500. doi:10.1007/s00453-003-1073-y ISSN 0178-4617.

Dyer, Martin, Goldberg, Leslie Ann and Paterson, Michael S. (2007) On counting homomorphisms to directed acyclic graphs. Journal of the ACM, Vol.54 (No.6). Article: 27. doi:10.1145/1314690.1314691 ISSN 0004-5411.

(2022) Visualization for epidemiological modelling : challenges, solutions, reflections and recommendations. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 380 (2233). 20210299. doi:10.1098/rsta.2021.0299 ISSN 1364-503X.

Dzhamtyrova, Raisa and Maple, Carsten (2022) Dynamic cyber risk estimation with competitive quantile autoregression. Data Mining and Knowledge Discovery, 36 . pp. 513-536. doi:10.1007/s10618-021-00814-z ISSN 1384-5810.

Ede, Jeffrey M. (2020) Warwick electron microscopy Datasets. Machine Learning : Science and Technology, 1 (4). 045003. doi:10.1088/2632-2153/ab9c3c ISSN 2632-2153.

Ede, Jeffrey M. and Beanland, Richard (2020) Adaptive learning rate clipping stabilizes learning. Machine Learning : Science and Technology, 1 (1). 015011. doi:10.1088/2632-2153/ab81e2 ISSN 2632-2153.

Ede, Jeffrey M. and Beanland, Richard (2020) Partial scanning transmission electron microscopy with deep learning. Scientific Reports, 10 . 8332. doi:10.1038/s41598-020-65261-0 ISSN 2045-2322.

Efthymiou, Charilaos and Spirakis, Paul G. (2010) Sharp thresholds for Hamiltonicity in random intersection graphs. Theoretical Computer Science, Vol.411 (No.40-42). pp. 3714-3730. doi:10.1016/j.tcs.2010.06.022 ISSN 0304-3975.

Ekim, Tinaz, Ries, Bernard and de Werra, Dominique (2010) Split-critical and uniquely split-colorable graphs. Discrete Mathematics & Theoretical Computer Science, Vol.12 (No.5). pp. 1-24. ISSN 1365-8050.

El-Nahal, Fady, Xu, Tianhua, Alqahtani, Dokhyl and Leeson, Mark S. (2022) A bidirectional wavelength division multiplexed (WDM) free space optical communication (FSO) system for deployment in data center networks (DCNs). Sensors, 22 (24). 9703. doi:10.3390/s22249703 ISSN 1424-8220.

Elizabeth, Hartung, Hoang, Hung P., Mutze, Torsten and Williams, Aaron (2022) Combinatorial generation via permutation languages. I. Fundamentals. Transactions of the American Mathematical Society, 375 . pp. 2255-2291. doi:10.1090/tran/8199 ISSN 0002-9947.

Emrouznejad, Ali and Shale, Estelle (2009) A combined neural network and DEA for measuring efficiency of large scale datasets. Computers and Industrial Engineering, Vol.56 (No.1). pp. 249-254. doi:10.1016/j.cie.2008.05.012 ISSN 0360-8352.

Englert, Matthias, Franke, T. and Olbrich, L. (2010) Sensitivity of wardrop equilibria. Theory of Computing Systems, Volume 47 (Number 1). pp. 3-14. doi:10.1007/s00224-009-9196-4 ISSN 1432-4350.

Englert, Matthias, Gupta, Anupam, Krauthgamer, Robert, Räcke, Harald, Talgam-Cohen, Inbal and Talwar, Kunal (2014) Vertex sparsifiers : new results from old techniques. SIAM Journal on Computing, Volume 43 (Number 4). pp. 1239-1262. doi:10.1137/130908440 ISSN 0097-5397.

Englert, Matthias, Hofman, Piotr, Lasota, Sławomir, Lazic, Ranko, Leroux, Jérôme and Straszyński, Juliusz (2021) A lower bound for the coverability problem in acyclic pushdown VAS. Information Processing Letters, 167 . 106079. doi:10.1016/j.ipl.2020.106079 ISSN 0020-0190.

Englert, Matthias, Mezlaf, David and Westermann, Matthias (2021) Online makespan scheduling with job migration on uniform machines. Algorithmica, 83 . pp. 3537-3566. doi:10.1007/s00453-021-00852-5 ISSN 0178-4617.

Englert, Matthias, Raecke, Harald and Westermann, Matthias (2010) Reordering buffers for general metric spaces. Theory of Computing, Vol.6 (No.1). pp. 27-46. doi:10.4086/toc.2010.v006a002 ISSN 1557-2862.

Englert, Matthias, Röglin, H. and Westermann, M. (2009) Evaluation of online strategies for reordering buffers. Experimental Algorithmics (JEA), Volume 14 . Article number 3. doi:10.1145/1498698.1564503 ISSN 1084-6654.

Englert, Matthias, Röglin, Heiko and Vöcking, Berthold (2014) Worst case and probabilistic analysis of the 2-Opt algorithm for the TSP. Algorithmica, Volume 68 (Number 1). pp. 190-264. doi:10.1007/s00453-013-9801-4 ISSN 0178-4617.

Englert, Matthias and Westermann, Matthias (2009) Lower and upper bounds on FIFO buffer management in QoS switches. Algorithmica, Volume 53 (Number 4). pp. 523-548. doi:10.1007/s00453-008-9236-5 ISSN 0178-4617.

Englert, Matthias, Özmen, Deniz and Westermann, Matthias (2014) The power of reordering for online minimum makespan scheduling. SIAM Journal on Computing, Volume 43 (Number 3). pp. 1220-1237. doi:10.1137/130919738 ISSN 1095-7111.

Epiphaniou, Gregory, Pillai, Prashant, Bottarelli, Mirko, Al-Khateeb, Haider, Hammoudesh, Mohammad and Maple, Carsten (2020) Electronic regulation of data sharing and processing using smart ledger technologies for supply-chain security. IEEE Transactions on Engineering Management, 67 (4). pp. 1059-1073. doi:10.1109/TEM.2020.2965991 ISSN 0018-9391.

Eravci, Bahaeddin and Ferhatosmanoglu, Hakan (2018) Diverse relevance feedback for time series with autoencoder based summarizations. IEEE Transactions on Knowledge and Data Engineering, 30 (12). 2298 -2311. doi:10.1109/TKDE.2018.2820119 ISSN 1041-4347.

Erturk, Sinan, Hudson, Georgie, Jansli, Sonja M., Morris, Daniel, Odoi, Clarissa M., Wilson, Emma, Clayton-Turner, Angela, Bray, Vanessa, Yourston, Gill, Cornwall, Andrew, Cummins, Nicholas, Wykes, Til and Jilka, Sagar (2022) Codeveloping and evaluating a campaign to reduce dementia misconceptions on Twitter : machine learning study. JMIR Infodemiology, 2 (2). e36871. doi:10.2196/36871 ISSN 2564-1891.

Eshghi, Ashkan, Gopal, Ram D., Hidaji, Hooman and Patterson, Raymond (2023) Now you see it, now you don’t : obfuscation of online third-party information sharing. INFORMS Journal on Computing . doi:10.1287/ijoc.2022.1266 ISSN 1091-9856. (In Press)

Ethier, Jean-Francois, Curcin, Vasa, McGilchrist, Mark, Lim Choi Keung, Sarah Niukyun, Zhao, Lei, Andreasson, Anna, Bródka, Piotr, Michalski, Radoslaw, Arvanitis, Theodoros N., Mastellos, Nikolaos, Burgun, Anita and Delaney, Brendan C. (2017) eSource for clinical trials : implementation and evaluation of a standards-based approach in a real world trial. International Journal of Medical Informatics, 106 . pp. 17-24. doi:10.1016/j.ijmedinf.2017.06.006 ISSN 1386-5056.

Ezer, Daphne and Keir, Joseph (2019) NITPicker : selecting time points for follow-up experiments. BMC Bioinformatics, 20 (1). 166. doi:10.1186/s12859-019-2717-5 ISSN 1471-2105.

Falgas-Ravry, Victor, Larsson, Joel and Markström, Klas (2020) Speed and concentration of the covering time for structured coupon collectors. Advances in Applied Probability, 52 (2). pp. 433-462. doi:10.1017/apr.2020.5 ISSN 0001-8678.

Fan, Xijian and Tjahjadi, Tardi (2019) Fusing dynamic deep learned features and handcrafted features for facial expression recognition. Journal of Visual Communication and Image Representation, 65 . 102659. doi:10.1016/j.jvcir.2019.102659 ISSN 1047-3203.

Fan, Xijian and Tjahjadi, Tardi (2017) A dynamic framework based on local Zernike Moment and motion history image for facial expression recognition. Pattern Recognition, 64 . pp. 399-406. doi:10.1016/j.patcog.2016.12.002 ISSN 0031-3203.

Fang, Yuting, Guo, Weisi, Icardi, Matteo, Noel, Adam and Yang, Nan (2019) Molecular information delivery in porous media. IEEE Transactions on Molecular, Biological, and Multi-Scale Communications, 4 (4). pp. 257-262. doi:10.1109/TMBMC.2019.2937297 ISSN 2372-2061.

Farsad, Nariman, Guo, Weisi and Eckford, Andrew W. (2013) Tabletop molecular communication : text messages through chemical signals. PLoS One, Volume 8 (Number 12). Article number e82935. doi:10.1371/journal.pone.0082935 ISSN 1932-6203.

Fatima, Asra, Li, Ying, Hills, Thomas Trenholm and Stella, Massimo (2021) DASentimental : detecting depression, anxiety, and stress in texts via emotional recall, cognitive networks, and machine learning. Big Data and Cognitive Computing, 5 (4). e77. doi:10.3390/bdcc5040077 ISSN 2504-2289.

Feddag, M-L. and Bacci, S. (2009) Pairwise likelihood for the longitudinal mixed Rasch model. Computational Statistics & Data Analysis, Vol.53 (No.4). pp. 1027-1037. doi:10.1016/j.csda.2008.08.031 ISSN 0167-9473.

Felsner, Stefan, Kleist, Linda, Mutze, Torsten and Sering, Leon (2020) Rainbow cycles in flip graphs. SIAM Journal on Discrete Mathematics, 34 (1). pp. 1-39. doi:10.1137/18M1216456 ISSN 0895-4801.

Feng, Jianfeng, Shcherbina, M., Tirozzi, B. and You, G. Q. (2007) Optimal movement control models of Langevin and Hamiltonian types. Mathematical and Computer Modelling, Vol.46 (No.5-6). pp. 680-698. doi:10.1016/j.mcm.2006.11.033 ISSN 0895-7177.

Fernandez de Arroyabe, Ignacio, Watson, Tim and Angelopoulou, Olga (2022) Cybersecurity in the automotive industry : a systematic literature review (SLR). Journal of Computer Information Systems . pp. 1-19. doi:10.1080/08874417.2022.2103853 ISSN 0887-4417. (In Press)

Ferracin, Samuele, Kapourniotis, Theodoros and Datta, Animesh (2018) Reducing resources for verification of quantum computations. Physical Review A, 98 (2). 022323 . doi:10.1103/PhysRevA.98.022323 ISSN 1050-2947.

Ferracin, Samuele, Merkel, Seth T., McKay, David and Datta, Animesh (2021) Experimental accreditation of outputs of noisy quantum computers. Physical Review A (Atomic, Molecular and Optical Physics) , 104 (4). 042603 . doi:10.1103/PhysRevA.104.042603 ISSN 1050-2947.

Ferreira, W., Hill, M. R. and Joseph, Mathai (1994) Automated timing analysis of real-time programs. Software engineering journal, 9 (5). pp. 221-227. ISSN 0268-6961.

Firth, David (2003) CGIwithR : facilities for processing web forms using R. Journal of Statistical Software, Volume 8 (Number 10). ISSN 1548-7660.

Firth, David and Turner, Heather (2012) Bradley-Terry models in R : the BradleyTerry2 package. Journal of Statistical Software, Volume 48 (Number 9). ISSN 1548-7660.

Fischer, Michael J. and Paterson, Michael S. (1994) Fishspear : a priority queue algorithm. Journal of the ACM, Volume 41 (Number 1). pp. 3-30. doi:10.1145/174644.174645 ISSN 0004-5411.

Fischer, Simon, Raecke, Harald and Voecking, Berthold (2010) Fast convergence to wardrop equilibria by adaptive sampling methods. SIAM Journal on Computing, Volume 39 (Number 8). pp. 3700-3735. doi:10.1137/090746720 ISSN 0097-5397.

Fortuna, S. (Sara) and Troisi, Alessandro (2009) An artificial intelligence approach for modeling molecular self-assembly : agent-based simulations of rigid molecules. Journal of Physical Chemistry B, Vol.113 (No.29). pp. 9877-9885. doi:10.1021/jp9030442 ISSN 1520-6106.

Franciosa, Pasquale, Palit, Arnab, Gerbino, Salvatore and Ceglarek, Darek (2019) A novel hybrid shell element formulation (QUAD+ and TRIA+) : a benchmarking and comparative study. Finite Elements in Analysis and Design, 166 (15). 103319. doi:10.1016/j.finel.2019.103319 ISSN 0168-874X.

Franks, Henry P. W. and Griffiths, Nathan (2015) Robust reputation in decentralized markets. Computational Intelligence, 31 (4). pp. 569-592. doi:10.1111/coin.12036 ISSN 0824-7935.

Franks, Henry P. W., Griffiths, Nathan and Anand, Sarabjot Singh (2014) Learning agent influence in MAS with complex social networks. Autonomous Agents and Multi-Agent Systems, Volume 28 (Number 5). pp. 836-866. doi:10.1007/s10458-013-9241-1 ISSN 1387-2532.

Franks, Henry P. W., Griffiths, Nathan and Jhumka, Arshad (2012) Manipulating convention emergence using influencer agents. Autonomous Agents and Multi-Agent Systems, Volume 26 (Number 3). pp. 315-353. doi:10.1007/s10458-012-9193-x ISSN 1387-2532.

Fraser, Christophe, Lythgoe, Katrina A., Leventhal, Gabriel, Shirreff, George, Hollingsworth, T. Déirdre, Alizon, Samuel and Bonhoeffer, Sebastien (2014) Virulence and pathogenesis of HIV-1 infection : an evolutionary perspective. Science, Volume 343 (Number 6177). Article number 1243727. doi:10.1126/science.1243727 ISSN 0036-8075.

Fresno, Víctor, Zubiaga, Arkaitz, Ji, Heng and Martínez, Raquel (2015) Exploiting geolocation, user and temporal information for natural hazards monitoring in Twitter. Procesamiento del Lenguaje Natural, 54 . pp. 85-92. ISSN 1135-5948 .

Frick, Hannah and Kosmidis, Ioannis (2017) trackeR : infrastructure for running and cycling data from GPS-enabled tracking devices in R. Journal of Statistical Software, 82 (7). pp. 1-29. ISSN 1548-7660.

Friling, S. R., Notman, Rebecca and Walsh, Tiffany R. (2010) Probing diameter-selective solubilisation of carbon nanotubes by reversible cyclic peptides using molecular dynamics simulations. Nanoscale, Vol.2 (No.1). pp. 98-106. doi:10.1039/b9nr00226j ISSN 2040-3364.

Froud, Robert J., Hansen, Solveig Hakestad, Ruud, Hans Kristian, Foss, Jonathan G. K., Ferguson, Leila and Fredriksen, Per Morten (2021) Relative performance of machine learning and linear regression in predicting quality of life and academic performance of school children in Norway : data analysis of a quasi-experimental study. Journal of Medical Internet Research, 23 (7). 22021. doi:10.2196/22021 ISSN 1438-8871.

Fu, Songling, He, Ligang, Huang, Chenlin, Liao, Xiangke and Li, Kenli (2015) Performance optimization for managing massive numbers of small files in distributed file systems. IEEE Transactions on Parallel and Distributed Systems, 26 (12). pp. 3433-3448. doi:10.1109/TPDS.2014.2377720 ISSN 1045-9219.

Fu, Songling, He, Ligang, Liao, Xiangke, Li, Kenli and Huang, Chenlin (2014) Analyzing the impact of storage shortage on data availability in decentralized online social networks. The scientific world journal, Volume 2014 . pp. 1-14. Article number 826145. doi:10.1155/2014/826145 ISSN 1537-744X.

Gaillard, Benoit, Buxton, H. and Feng, Jianfeng (2006) Population approach to a neural discrimination task. Biological Cybernetics, Vol.94 (No.3). pp. 180-191. doi:10.1007/s00422-005-0039-3 ISSN 0340-1200.

Ganian, Robert, Ordyniak, Sebastian and Ramanujan, Maadapuzhi Sridharan (2021) On structural parameterizations of the edge disjoint paths problem. Algorithmica, 83 (6). pp. 1605-1637. doi:10.1007/s00453-020-00795-3 ISSN 1432-0541.

Gao, Bo, He, Ligang and Jarvis, Stephen A. (2016) Offload decision models and the price of anarchy in mobile cloud application ecosystems. IEEE Access, 3 . pp. 3125-3137. doi:10.1109/ACCESS.2016.2518179 ISSN 2169-3536.

Gao, Mingqi, Zheng, Feng, Yu, James J. Q., Shan, Caifeng, Ding, Guiguang and Han, Jungong (2023) Deep learning for video object segmentation : a review. Artificial Intelligence Review, 56 . pp. 457-531. doi:10.1007/s10462-022-10176-7 ISSN 0269-2821.

Gaskin, James, Berente, Nicholas, Lyytinen, Kalle and Yoo, Youngjin (2014) Toward generalizable sociomaterial inquiry : a computational approach for zooming in and out of sociomaterial routines. MIS Quarterly , 38 (3). pp. 849-871. doi:10.25300/MISQ/2014/38.3.10 ISSN 0276-7783.

Gay, Simon J. and Nagarajan, Rajagopal (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. doi:10.1017/S0960129506005263 ISSN 0960-1295.

Geng, Jin, Lindqvist, Joserina, Mantovani, Giuseppe, Chen, Gaojian, Sayers, Claire T., Clarkson, Guy J. and Haddleton, David M. (2007) Well-defined poly(N-glycosyl 1,2,3-triazole) multivalent ligands: design, synthesis and lectin binding studies. QSAR & Combinatorial Science, Vol.26 (No.11-12). pp. 1220-1228. doi:10.1002/qsar.200740089 ISSN 1611-020X.

Geng, Shujie, Guo, Wanwan, Rolls, Edmund T., Xu, Kunyu, Jia, Tianye, Zhou, Wei, Blakemore, Colin, Tan, Li-Hai, Cao, Miao and Feng, Jianfeng (2023) Intersecting distributed networks support convergent linguistic functioning across different languages in bilinguals. Communications Biology, 6 (1). 99. doi:10.1038/s42003-023-04446-5 ISSN 2399-3642.

Geoghegan, L., Scarborough, A., Wormald, J. C. R., Harrison, C .J., Collins, D., Gardiner, M., Bruce, J. (Julie) and Rodrigues, J. (2021) Automated conversational agents for post-intervention follow-up : a systematic review. BJS Open, 5 (4). zrab070. doi:10.1093/bjsopen/zrab070 ISSN 2474-9842.

Ghadge, Abhijeet, Mogale, D. G., Bourlakis, Michael, M. Maiyar, Lohithaksha and Moradlou, Hamid (2022) Link between Industry 4.0 and green supply chain management : evidence from the automotive industry. Computers & Industrial Engineering, 169 . 108303. doi:10.1016/j.cie.2022.108303 ISSN 03608352.

Ghaffari, Reza, Grosu, Ioan, Iliescu, Daciana, Hines, Evor and Leeson, Mark S. (2013) Dimensionality reduction for sensory datasets based on master-slave synchronization of Lorenz system. International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, 23 (5). 1330013 . doi:10.1142/S0218127413300139 ISSN 0218-1274.

Gheyas, Iffat, Epiphaniou, Gregory, Maple, Carsten and Lakshminarayana, Subhash (2022) A resilient cyber-physical demand forecasting system for critical infrastructures against stealthy false data injection attacks. Applied Sciences, 12 (19). 10093. doi:10.3390/app121910093 ISSN 2076-3417.

Ghysels, Eric, Mykland, Per and Renault, Eric (2021) In-sample asymptotics and across-sample efficiency gains for high frequency data statistics. Econometric Theory . doi:10.1017/S0266466621000359 ISSN 0266-4666.

Giannakis, Mihalis, Dubey, Rameshwar, Yan, Shishi, Spanaki, Konstantina and Papadopoulos, Thanos (2022) Social media and sensemaking patterns in new product development : demystifying the customer sentiment. Annals of Operations Research , 308 . pp. 145-175. doi:10.1007/s10479-020-03775-6 ISSN 0254-5330.

Giulietti, Monica, Otero, Jesus and Smith, Jeremy (2009) Testing for stationarity in heterogeneous panel data in the presence of cross-section dependence. Journal of Statistical Computation and Simulation, Vol.79 (No.2). pp. 195-203. doi:10.1080/00949650701719136 ISSN 0094-9655.

Gkikaki, Mairi, Rowan, Clare and Dupont, Quinn (2020) DAO, blockchain and cryptography : a conversation with Quinn DuPont. Exchanges: the Warwick Research Journal, 7 (3). pp. 103-117. doi:10.31273/eirj.v7i3.594 ISSN 2053-9665.

Gkotsis, George, Stepanyan, Karen, Cristea, Alexandra I. and Joy, Mike (2014) Entropy-based automated wrapper generation for weblog data extraction. World Wide Web, Volume 17 (Number 4). 827-846 . doi:10.1007/s11280-013-0269-6 ISSN 1386-145X.

Glennon, Emma E., Bruijning, Marjolein, Lessler, Justin, Miller, Ian F., Rice, Benjamin L., Thompson, Robin N., Wells, Konstans and Metcalf, C. Jessica E. (2021) Challenges in modeling the emergence of novel pathogens. Epidemics, 37 . 100516. doi:10.1016/j.epidem.2021.100516 ISSN 1755-4365.

Glorieux, Emile, Franciosa, Pasquale and Ceglarek, Darek (2020) Coverage path planning with targetted viewpoint sampling for robotic free-from surface inspection. Robotics and Computer-Integrated-Manufacturing, 61 . 101843. doi:10.1016/j.rcim.2019.101843 ISSN 0736-5845.

Goldberg, Leslie Ann, Goldberg, Paul W., Phillips, Cynthia A. and Sorkin, Gregory B. (1998) Constructing computer virus phylogenies. Journal of Algorithms, Volume 26 (Number 1). pp. 188-208. ISSN 0196-6774.

Goldberg, Leslie Ann and Jerrum, Mark (2002) The 'Burnside process' converges slowly. Combinatorics, Probability & Computing, Volume 11 (Number 1). pp. 21-34. doi:10.1017/S096354830100493X ISSN 0963-5483.

Goldberg, Leslie Ann and Jerrum, Mark (1999) Randomly sampling molecules. SIAM Journal on Computing, Volume 29 (Number 3). pp. 834-853. ISSN 0097-5397.

Goldberg, Leslie Ann and Jerrum, Mark (2007) The complexity of ferromagnetic ising with local fields. Combinatorics, Probability and Computing, Volume 16 (Number 1). pp. 43-61. doi:10.1017/S096354830600767X ISSN 0963-5483.

Goldberg, Leslie Ann, Jerrum, Mark and Paterson, Michael S. (2003) The computational complexity of two-state spin systems. Random Structures & Algorithms, Volume 23 (Number 2). pp. 133-154. doi:10.1002/rsa.10090 ISSN 1042-9832.

Goldberg, Leslie Ann, Kelk, Steven and Paterson, Mike (2004) The complexity of choosing an H-coloring (nearly) uniformly at random. SIAM Journal on Computing, Volume 33 (Number 2). pp. 416-432. doi:10.1137/S0097539702408363 ISSN 0097-5397.

Goldberg, Leslie Ann, MacKenzie, Phil, Paterson, Michael S. and Srinivasan, Aravind (2000) Contention resolution with constant expected delay. Journal of the ACM, Volume 47 (Number 6). pp. 1048-1096. ISSN 0004-5411.

Goldberg, Paul W. (2001) Learning fixed-dimension linear thresholds from fragmented data. Information and Computation, Volume 171 (Number 1). pp. 98-122. doi:10.1006/inco.2001.3059 ISSN 0890-5401.

Goodall, Amanda (2006) Should top universities be led by top researchers and are they? : a citations analysis. Journal of Documentation, Volume 62 (Number 3). pp. 388-411. doi:10.1108/00220410610666529 ISSN 0022-0418.

Goodarzi, Danial, Abolfathi, Soroush and Borzooeic, Sina (2020) Modelling solute transport in water disinfection systems : effects of temperature gradient on the hydraulic and disinfection efficiency of serpentine chlorine contact tanks. Journal of Water Process Engineering, 37 . 101411. doi:10.1016/j.jwpe.2020.101411 ISSN 2214-7144.

Gopal, Ram D., Hidaji, Hooman, Patterson, Raymond A. and Yaraghi, Niam (2021) Dark clouds and silver linings : impact of COVID-19 on internet users’ privacy. JAMIA Open, 4 (4). ooab100. doi:10.1093/jamiaopen/ooab100 ISSN 2574-2531.

Goud, R., de Keizer, N. F, ter Riet, G., Wyatt, Jeremy C., Hasman, A., Hellemans, I. M and Peek, N. (2009) Effect of guideline based computerised decision support on decision making of multidisciplinary teams: cluster randomised trial in cardiac rehabilitation. BMJ, Vol.338 . Article: b1440. doi:10.1136/bmj.b1440 ISSN 0959-535X.

Greenhalgh, Trisha, Wherton, Joe, Sugarhood, Paul, Hinder, Sue, Procter, Rob and Stones, Rob (2013) What matters to older people with assisted living needs? A phenomenological analysis of the use and non-use of telehealth and telecare. Social Science & Medicine, Volume 93 . pp. 86-94. doi:10.1016/j.socscimed.2013.05.036 ISSN 0277-9536.

Gregor, Ivan, Dröge, Johannes, Schirmer, Melanie, Quince, Christopher and McHardy, Alice C. (2016) PhyloPythiaS+ : a self-training method for the rapid reconstruction of low-ranking taxonomic bins from metagenomes. PeerJ, 4 . e1603. doi:10.7717/peerj.1603 ISSN 2167-8359.

Gregor, Petr, Jäger, Sven, Mutze, Torsten, Sawada, Joe and Wille, Kaja (2022) Gray codes and symmetric chains. Journal of Combinatorial Theory, Series B, 153 . pp. 31-60. doi:10.1016/j.jctb.2021.10.008 ISSN 0095-8956.

Gregor, Petr, Micka, Ondrej and Mutze, Torsten (2023) On the central levels problem. Journal of Combinatorial Theory Series B, 160 . pp. 163-205. doi:10.1016/j.jctb.2022.12.008 ISSN 0095-8956.

Gregory, Robert Wayne, Henfridsson, Ola, Kaganer, Evgeny and Kyriakou, Harris (2022) Data network effects : key conditions, shared data, and the data value duality. Academy of Management Review, 47 (1). pp. 189-192. doi:10.5465/amr.2021.0111 ISSN 0363-7425.

Gregory, Robert Wayne, Henfridsson, Ola, Kaganer, Evgeny and Kyriakou, Harris (2021) The role of artificial intelligence and data network effect for creating user value. Academy of Management Review, 46 (3). pp. 534-551. doi:10.5465/amr.2019.0178 ISSN 0363-7425.

Grewal, S. K. and Harris, L. J. (2008) Beyond critical mass: a case study investigating the use of WebCT for course delivery by faculty in a campus based UK university. Journal of Online Learning and Teaching, Vol.4 (No.3). pp. 380-390. ISSN 1558-9528.

Gronau, Quentin F., Singmann, Henrik and Wagenmakers, Eric-Jan (2020) bridgesampling : an R Package for estimating normalizing constants. Journal of Statistical Software, 92 (10). doi:10.18637/jss.v092.i10 ISSN 1548-7660.

Groves, Matthew J. and Branke, Jürgen (2019) Top-k selection with pairwise comparisons. European Journal of Operational Research, 274 (2). pp. 615-626. doi:10.1016/j.ejor.2018.10.011 ISSN 0377-2217.

Grun, Bettina, Kosmidis, Ioannis and Zeileis, Achim (2012) Extended beta regression in R : shaken, stirred, mixed, and partitioned. Journal of Statistical Software, 48 (11). pp. 1-25. ISSN 1548-7660.

Gu, Chen, Bradbury, Matthew S. and Jhumka, Arshad (2019) Phantom walkabouts : a customisable source location privacy aware routing protocol for wireless sensor networks. Concurrency and Computation: Practice and Experience, 31 (20). e5304. doi:10.1002/cpe.5304 ISSN 1532-0626.

Gu, Chen, Bradbury, Matthew S., Kirton, Jack and Jhumka, Arshad (2018) A decision theoretic framework for selecting source location privacy aware routing protocols in wireless sensor networks. Future Generation Computer Systems, 87 . pp. 514-526. doi:10.1016/j.future.2018.01.046 ISSN 0167-739X.

Gu, Wei, Chang, Ching-Chun, Bai, Yu, Fan, Yunyuan, Tao, Liang and Li, Li (2023) Anti-screenshot watermarking algorithm for archival image based on deep learning model. Entropy, 25 (2). p. 288. doi:10.3390/e25020288 ISSN 1099-4300.

Guan, Yu, Li, Chang-Tsun and Roli, Fabio (2015) On reducing the effect of covariate factors in gait recognition : a classifier ensemble method. IEEE Transactions on Pattern Analysis and Machine Intelligence, Volume 37 (Number 99). pp. 1521-1528. doi:10.1109/TPAMI.2014.2366766 ISSN 0162-8828.

Guan, Yu, Tistarelli, Massimo, Sun, Yunlian and Li, Chang-Tsun (2014) Human gait identification from extremely low-quality videos : an enhanced classifier ensemble method. IET Biometrics, Volume 3 (Number 2). pp. 84-93. doi:10.1049/iet-bmt.2013.0062 ISSN 2047-4938.

Guan, Yu, Wei, Xingjie and Li, Chang-Tsun (2014) On the generalization power of face and gait in gender recognition. International Journal of Digital Crime and Forensics, Volume 6 (Number 1). doi:10.4018/ijdcf.2014010101 ISSN 1941-6210.

Guha, Tanaya, Yang, Zhaojun, Grossman, Ruth B. and Narayanan, Shrikanth S. (2018) A computational study of expressive facial dynamics in children with autism. IEEE Transactions on Affective Computing, 9 (1). pp. 14-20. doi:10.1109/TAFFC.2016.2578316 ISSN 1939-1374.

Gui, Lin and He, Yulan (2021) Understanding patient reviews with minimum supervision. Artificial Intelligence in Medicine, 120 . 102160. doi:10.1016/j.artmed.2021.102160 ISSN 0933-3657.

Gui, Lin, Jia, Leng, Zhou, Jiyun, Xu, Ruifeng and He, Yulan (2020) Multi-task learning with mutual learning for joint sentiment classification and topic detection. IEEE Transactions on Knowledge and Data Engineering . doi:10.1109/TKDE.2020.2999489 ISSN 1041-4347.

Gull, Sadaf, Shamim, Nauman and Minhas, Fayyaz ul Amir Afsar (2019) AMAP : Hierarchical multi-label prediction of biologically active and antimicrobial peptides. Computers in Biology and Medicine, 107 . pp. 172-181. doi:10.1016/j.compbiomed.2019.02.018 ISSN 0010-4825.

Gulpinar, Nalan, Harder, Uli, Harrison, Peter, Field, Tony, Rustem, Berç and Pau, Louis-Francois (2007) Mean-variance performance optimization of response time in a tandem router network with batch arrivals. Cluster Computing, Vol.10 (No.2). pp. 203-216. doi:10.1007/s10586-007-0016-9 ISSN 1386-7857.

Gulpinar, Nalan and Rustem, Berç (2007) Robust optimal decisions with imprecise forecasts. Computational Statistics & Data Analysis, Vol.51 (No.7). pp. 3595-3611. doi:10.1016/j.csda.2006.11.036 ISSN 0167-9473.

Guo, Weisi, Asyhari, Taufiq, Farsad, Nariman, Yilmaz, Birkan, Li, Bin, Eckford, Andrew W. and Chae, Chan-Byoung (2016) Molecular communications : channel model and physical layer techniques. IEEE Wireless Communications, 23 (4). pp. 120-127. doi:10.1109/MWC.2016.7553035 ISSN 1536-1276.

Guo, Weisi, Li, Bin, Wang, Siyi and Liu, Wei (2015) Molecular communications with longitudinal carrier waves : baseband to passband modulation. IEEE Communications Letters, 19 (9). pp. 1512-1515. doi:10.1109/LCOMM.2015.2448098 ISSN 1089-7798.

Guo, Weisi, Mias, Christos, Farsad, Nariman and Jiang-Lun, Wu (2015) Molecular versus electromagnetic wave propagation loss in macro-scale environments. IEEE Transactions on Molecular, Biological and Multiscale Communications, 1 (1). pp. 18-25. doi:10.1109/TMBMC.2015.2465517 ISSN 2332-7804.

Guo, Weisi, Zhou, Shengtian, Chen, Yunfei, Wang, Siyi, Chu, Xiaoli and Niu, Zhisheng (2015) Simultaneous information and energy flow for IoT Relay Systems with crowd harvesting. IEEE Communications Magazine, 54 (11). pp. 143-149. doi:10.1109/MCOM.2016.1500649CM ISSN 0163-6804.

Gur, Tom and Lachish, Oded (2021) On the power of relaxed local decoding algorithms. SIAM Journal on Computing, 50 (2). pp. 788-813. doi:10.1137/19M1307834 ISSN 0097-5397.

Gur, Tom and Rothblum, Ron D. (2018) Non-interactive proofs of proximity. Computational Complexity, 27 (1). pp. 99-207. doi:10.1007/s00037-016-0136-9 ISSN 1016-3328.

Gurcan, Metin N., Boucheron, Laura E., Can, Ali, Madabhushi, Anant, Rajpoot, Nasir M. and Yener, Bülent (2009) Histopathological image analysis : a review. IEEE Reviews in Biomedical Engineering, Vol.2 . pp. 147-171. doi:10.1109/RBME.2009.2034865 ISSN 1937-3333.

Gökalp, Elvan and Branke, Juergen (2020) Pharmaceutical R & D pipeline management under trial duration uncertainty. Computers & Chemical Engineering, 136 . 106782. doi:10.1016/j.compchemeng.2020.106782 ISSN 0098-1354.

Gürel, Sinan, Korpeoglu, Ersin and Akturk, M. Selim (2010) An anticipative scheduling approach with controllable processing times. Computers & Operations Research, Vol.37 (No.6). pp. 1002-1013. doi:10.1016/j.cor.2009.09.001 ISSN 03050548.

Habershon, Scott (2022) Program synthesis of sparse algorithms for wave function and energy prediction in grid-based quantum simulations. Journal of Chemical Theory and Computation, 18 (4). pp. 2462-2478. doi:10.1021/acs.jctc.2c00035 ISSN 1549-9618.

Hahn, Ulrike and Chater, Nick (1998) Understanding similarity : A joint project for psychology, case-based reasoning, and law. Artificial Intelligence Review, 12 (5). pp. 393-427. doi:10.1023/A:1006512431942 ISSN 0269-2821.

Hajarnavis, Vivek and Young, K. (Ken) (2008) An investigation into programmable logic controller software design techniques in the automotive industry. Assembly Automation, Volume 28 (Number 1). pp. 43-54. doi:10.1108/01445150810849000 ISSN 0144-5154.

Haldar, Aparajita, Wang, Shuang, Demirci, Gunduz Vehbi, Oakley, Joe and Ferhatosmanoglu, Hakan (2023) Temporal cascade model for analyzing spread in evolving networks. ACM Transactions on Spatial Algorithms and Systems . doi:10.1145/3579996 ISSN 2374-0361. (In Press)

Hammond, Michael (2000) Communication within on-line forums : the opportunities, the constraints and the value of a communicative approach. Computers & Education, Volume 35 (Number 4). pp. 251-262. doi:10.1016/S0360-1315(00)00037-3 ISSN 0360-1315.

Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Davis, J. A., Mills, A. B., Jarvis, Stephen A., Holt, J., Miller, I., Herdman, J. A. and Vadgama, A. (2009) Performance prediction and procurement in practice : assessing the suitability of commodity cluster components for wavefront codes. IET Software, Volume 3 (Number 6). pp. 509-521. doi:10.1049/iet-sen.2009.0007 ISSN 1751-8806.

Hanoch, Y., Arvizzigno, F., Hernandez García, D., Denham, S., Belpaeme, T. and Gummerum, M. (2021) The robot made me do it : human-robot interaction and risk-taking behavior. Cyberpsychology, Behavior, and Social Networking, 24 (5). pp. 337-342. doi:10.1089/cyber.2020.0148 ISSN 2152-2715.

Hao, Feng (2021) Prudent practices in security standardization. IEEE Communications Standards Magazine, 5 (3). pp. 40-47. doi:10.1109/MCOMSTD.121.2100005 ISSN 2471-2825.

Hao, Feng, Clarke, Dylan and Zorzo, Avelino Francisco (2016) Deleting secret data with public verifiability. IEEE Transactions on Dependable and Secure Computing, 13 (6). pp. 617-629. doi:10.1109/TDSC.2015.2423684 ISSN 1545-5971.

Hao, Feng, Metere, Roberto, Shahandashti, Siamak F. and Dong, Changyu (2018) Analyzing and patching SPEKE in ISO/IEC. IEEE Transactions on Information Forensics and Security, 13 (11). pp. 2844-2855. doi:10.1109/TIFS.2018.2832984 ISSN 1556-6013.

Happa, Jassim, Mudge, Mark, Debattista, Kurt, Artusi, Alessandro, Gonçalves, Alexandrino and Chalmers, Alan (2010) Illuminating the past : state of the art. Virtual Reality, Vol.14 (No.3). pp. 155-182. doi:10.1007/s10055-010-0154-x ISSN 1359-4338.

Harfiya, Latifa Nabila, Chang, Ching-Chun and Li, Yung-Hui (2021) Continuous blood pressure estimation using exclusively photopletysmography by LSTM-based signal-to-signal translation. Sensors, 21 (9). e2952. doi:10.3390/s21092952 ISSN 1424-8220.

Harrenstein, Paul, Turrini, Paolo and Wooldridge, Michael (2016) Hard and soft preparation sets in Boolean games. Studia Logica, 104 (4). pp. 813-847. doi:10.1007/s11225-015-9629-9 ISSN 1572-8730.

Hasic, Jasminka, Chalmers, Alan and Sikudova, Elena (2010) Perceptually guided high-fidelity rendering exploiting movement bias in visual attention. ACM Transactions on Applied Perception, Vol.8 (No.1). pp. 1-19. doi:10.1145/1857893.1857899 ISSN 1544-3558.

Hatchett, Jonathan, Debattista, Kurt, Mukherjee, Ratnajit, Bashford-Rogers, Thomas and Chalmers, Alan (2018) An evaluation of power transfer functions for HDR video compression. The Visual Computer, 34 . pp. 167-176. doi:10.1007/s00371-016-1322-0 ISSN 0178-2789.

He, Ligang, Chaudhary, Nadeem and Jarvis, Stephen A. (2014) Developing security-aware resource management strategies for workflows. Future Generation Computer Systems, 38 (9). pp. 61-68. doi:10.1016/j.future.2013.09.030 ISSN 0167-739X.

He, Ligang, Jarvis, Stephen A., Spooner, Daniel P. and Nudd, G. R. (2004) Dynamic, capability-driven scheduling of DAG-based real-time jobs in heterogeneous cluster. International Journal of High Performance Computing and Networking (IJHPCN), Volume 2 (Number 2-4). pp. 165-177. doi:10.1504/IJHPCN.2004.008901 ISSN 1740-0562.

He, Ligang, Zhu, Huanzhou and Jarvis, Stephen A. (2016) Developing graph-based co-scheduling algorithms on multicore computers. IEEE Transactions on Parallel and Distributed Systems, 27 (6). pp. 1617-1632. doi:10.1109/TPDS.2015.2468223 ISSN 1045-9219.

He, Ligang, Zou, Deqing, Zhang, Zhang, Chen, Chao, Jin, Hai and Jarvis, Stephen A. (2014) Developing resource consolidation frameworks for moldable virtual machines in clouds. Future Generation Computer Systems, Volume 32 . pp. 69-81. doi:10.1016/j.future.2012.05.015 ISSN 0167-739X.

He, Tianyou, Breithaupt, Fritz, Kübler, Sandra and Hills, Thomas T. (2023) Quantifying the retention of emotions across story retellings. Scientific Reports, 13 (1). 2448. doi:10.1038/s41598-023-29178-8 ISSN 2045-2322.

Hendrix, M., Cristea, Alexandra I. and Nejdl, W. (2007) Authoring adaptive educational hypermedia on the semantic desktop. International Journal of Learning Technology (IJLT), Volume 3 (Number 3). pp. 230-251. doi:10.1504/IJLT.2007.015443 ISSN 1477-8386.

Hendrix, Maurice and Cristea, Alexandra I. (2008) A spiral model for adding automatic, adaptive authoring to adaptive hypermedia. Journal of Universal Computer Science, Volume 14 (Number 17). pp. 2799-2818. doi:10.3217/jucs-014-17-2799 ISSN 0948-695X.

Henkin, Rafael and Turkay, Cagatay (2022) Words of estimative correlation : studying verbalizations of scatterplots. IEEE Transactions on Visualization and Computer Graphics, 28 (4). pp. 1967-1981. doi:10.1109/TVCG.2020.3023537 ISSN 1077-2626.

Herdman, J. A., Gaudin, W. P., Turland, D. and Hammond, Simon D. (2011) Benchmarking and modelling of POWER-7, Westmere, BG/P, and GPUs : an industry case study. ACM SIGMETRICS Performance Evaluation Review, Volume 38 (Number 4). pp. 16-22. doi:10.1145/1964218.1964222 ISSN 0163-5999.

Herfort, Benjamin, Lautenbach, Sven, Porto de Albuquerque, João , Anderso, Jennings and Zipf, Alexander (2021) The evolution of humanitarian mapping within the OpenStreetMap community. Scientific Reports, 11 (1). 3037. doi:10.1038/s41598-021-82404-z ISSN 2045-2322.

Hoang, Chinh T., Kaminski, Marcin, Lozin, Vadim V., Sawada, Joe and Shu, Xiao (2010) Deciding k-colorability of P5-free graphs in polynomial time. Algorithmica, Vol.57 (No.1). pp. 74-81. doi:10.1007/s00453-008-9197-8 ISSN 0178-4617.

Hoang, Hung P. and Mutze, Torsten (2021) Combinatorial generation via permutation languages. II. Lattice congruences. Israel Journal of Mathematics, 244 . pp. 359-417. doi:10.1007/s11856-021-2186-1 ISSN 0021-2172.

Hoang, Tiep M., Dinh-Van, Son, Barn, Balbir, Trestian, Ramona and Nguyen, Huan X. (2022) RIS-aided smart manufacturing : information transmission and machine health monitoring. IEEE Internet of Things Journal, 9 (22). pp. 22930-22943. doi:10.1109/JIOT.2022.3187189 ISSN 2327-4662.

Holmes, Antony B., Kalvala, Sara and Whitworth, David E. (2009) Myxobacteria motility : a novel 3D model of rippling behaviour in myxococcus xanthus. Systemics and Informatics World Network, Vol.6 . pp. 65-70. doi:tai: cosiwn.2009.04.020 ISSN 2044-7272.

Horita, Flávio E.A., Albuquerque, João Porto de, Marchezini, Victor and Mendiondo, Eduardo M. (2017) Bridging the gap between decision-making and emerging big data sources : an application of a model-based framework to disaster management in Brazil. Decision Support Systems, 97 . pp. 12-22. doi:10.1016/j.dss.2017.03.001 ISSN 0167-9236.

Hou, Lei, Wang, Xiaoyu, Bian, Xiaobing, Liu, Honglei and Gong, Peibin (2022) Evaluating essential features of proppant transport at engineering scales combining field measurements with machine learning algorithms. Journal of Natural Gas Science and Engineering, 107 . 104768. doi:10.1016/j.jngse.2022.104768 ISSN 1875-5100.

Houssineau, Jeremie, Zeng, Jiajie and Jasra, Ajay (2021) Uncertainty modelling and computational aspects of data association. Statistics and Computing, 31 . 59. doi:10.1007/s11222-021-10039-1 ISSN 0960-3174.

Hsu, Anne S., Chater, Nick and Vitányi, P. M. B. (2011) The probabilistic analysis of language acquisition : theoretical, computational, and experimental analysis. Cognition, Vol.120 (No.3). pp. 380-390. doi:10.1016/j.cognition.2011.02.013 ISSN 0010-0277.

Hsu, Tao-I, Kuo, Jiann Ling and Wilson, Roland (2000) A multiresolution texture gradient method for unsupervised segmentation. Pattern Recognition, Volume 33 (Number 11). pp. 1819-1833. ISSN 0031-3203.

Hsu, Tao-I and Wilson, Roland (1998) A two-component model of texture for analysis and synthesis. IEEE Transactions on Image Processing, Volume 7 (Number 10). pp. 1466-1476. doi:10.1109/83.718486 ISSN 1057-7149.

Hu, Wenxiu, Wei, Zhuangkun, Popov, Sergei, Leeson, Mark S. and Xu, Tianhua (2023) Tapping eavesdropper designs against physical layer secret key in point-to-point fiber communications. Journal of Lightwave Technology . doi:10.1109/JLT.2022.3223025 ISSN 0733-8724. (In Press)

Hu, Xiao-Bing, Leeson, Mark S. and Hines, Evor (2012) An effective genetic algorithm for network coding. Computers & Operations Research, Vol.39 (No.5). pp. 952-963. doi:10.1016/j.cor.2011.07.014 ISSN 0305-0548.

Hu, Xiao-Bing, Zhang, Hai-Lin, Zhang, Chi, Zhang, Ming-Kong, Li, Hang and Leeson, Mark S. (2019) A benchmark test problem toolkit for multi-objective path optimization. Swarm and Evolutionary Computation, 44 . pp. 18-30. doi:10.1016/j.swevo.2018.11.009 ISSN 2210-6502.

Hu, Yongjian, Lee, Heung-Kyu, Chen, Kaiying and Li, Jianwei (2008) Difference expansion based reversible data hiding using two embedding directions. IEEE Transactions on Multimedia, Vol.10 (No.8). pp. 1500-1512. doi:10.1109/TMM.2008.2007341 ISSN 1520-9210.

Hu, Yongjian, Lee, Heung-Kyu and Li, Jianwei (2009) DE-based reversible data hiding with improved overflow location map. IEEE Transactions on Circuits and Systems for Video Technology, Vol.19 (No.2). pp. 250-260. doi:10.1109/TCSVT.2008.2009252 ISSN 1051-8215.

Huang, Chi-En, Li, Yung-Hui, Aslam, Muhammad Saqlain and Chang, Ching-Chun (2021) Super-resolution generative adversarial network based on the dual dimension attention mechanism for biometric image super-resolution. Sensors, 21 (23). e7817. doi:10.3390/s21237817 ISSN 1424-8220.

Huang, Hua, Su, Daizhong, Peng, Wenjie and Wu, You (2020) Development of a mobile application system for eco-accounting. Sustainability, 12 (22). 9675. doi:10.3390/su12229675 ISSN 2071-1050.

Huang, Peng-Cheng, Chang, Ching-Chun and Li, Yung-Hui (2022) Efficient (k, n) : threshold secret sharing method with cheater prevention for QR code application. Journal of Internet Technology, 23 (1). pp. 157-165. doi:10.53106/160792642022012301016 ISSN 1607-9264.

Huang, Xinyu, Fang, Yuting, Noel, Adam and Yang, Nan (2022) Membrane fusion-based transmitter design for static and diffusive mobile molecular communication systems. IEEE Transactions on Communications, 70 (1). pp. 132-148. doi:10.1109/TCOMM.2021.3121439 ISSN 0090-6778.

Huang, Yingping, McMurran, Ross, Dhadyalla, Gunwant and Jones, P. (Peter), Dr. (2008) Probability based vehicle fault diagnosis : Bayesian network method. Journal of Intelligent Manufacturing, Vol.19 (No.3). pp. 301-311. doi:10.1007/s10845-008-0083-7 ISSN 0956-5515.

Huang, Yingping and Young, Ken (2008) Binocular image sequence analysis : integration of stereo disparity and optic flow for improved obstacle detection and tracking. Eurasip Journal on Advances in Signal Processing, Vol.2008 (No.843232). doi:10.1155/2008/843232 ISSN 1687-6172.

Huang, Ziyue, Qiu, Yuan, Yi, Ke and Cormode, Graham (2022) Frequency estimation under multiparty differential privacy : one-shot and streaming. Proceedings of the VLDB Endowment, 15 (10). pp. 2058-2070. doi:10.14778/3547305.3547312 ISSN 2150-8097.

Hulusić, Vedad, Debattista, Kurt, Aggarwal, Vibhor and Chalmers, Alan (2011) Maintaining frame rate perception in interactive environments by exploiting audio-visual cross-modal interaction. The Visual Computer, Volume 27 (Number 1). pp. 57-66. doi:10.1007/s00371-010-0514-2 ISSN 0178-2789.

Hulusić, Vedad, Debattista, Kurt and Chalmers, Alan (2013) Smoothness perception : investigation of beat rate effect on frame rate perception. The Visual Computer, Volume 29 (Number 11). pp. 1159-1172. doi:10.1007/s00371-012-0760-6 ISSN 0178-2789.

Hunt, Marilyn J., Neill, S. R. St. J. and Barnes, Ann (2007) The use of ICT in the assessment of modern languages: the English context and European viewpoints. Educational Review, Vol.59 (No.2). pp. 195-213. doi:10.1080/00131910701255012 ISSN 0013-1911.

LHCb Collaboration (Including: Hunter, R. J., Lupton, Oliver, Ramos Pernas, M. and Vesterinen, M.). (2021) A comparison of CPU and GPU implementations for the LHCb experiment run 3 trigger. Computing and Software for Big Science, 6 (1). 1. doi:10.1007/s41781-021-00070-2 ISSN 2510-2044.

Iadanza, Ernesto, Goretti, Francesco, Sorelli, Michele, Melillo, Paolo, Pecchia, Leandro, Simonelli, Francesca and Gherardelli, Monica (2020) Automatic detection of genetic diseases in pediatric age using pupillometry. IEEE Access, 8 (1). pp. 34949-34961. doi:10.1109/ACCESS.2020.2973747 ISSN 2169-3536.

Ibrahim Teo, Noor H. and Joy, Mike (2017) Validation of course ontology elements for automatic question generation. EAI Endorsed Transactions on e-Learning, 4 (15). 153392. doi:10.4108/eai.29-11-2017.153392 ISSN 2032-9253.

Ibrahim Teo, Noor Hasimah and Joy, Mike (2018) Categorized question template generation for ontology-based assessment questions. International Journal of Knowledge Engineering, 4 (2). pp. 72-75. doi:10.18178/ijke.2018.4.2.103 ISSN 0976-5816.

Ignatiadis, Ioannis and Nandhakumar, Joe (2007) The impact of enterprise systems on organizational resilience. Journal of Information Technology, Vol.22 (No.1). pp. 36-43. doi:10.1057/palgrave.jit.2000087 ISSN 0268-3962.

Ioannou, Lenos, Al-Dujaili, Abdullah and Fahmy, Suhaib A. (2020) High throughput spatial convolution filters on FPGAs. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 28 (6). pp. 1392-1402. doi:10.1109/TVLSI.2020.2987202 ISSN 1063-8210.

Ironya, Dror, Sivan, Toledo and Tiskin, Alexander (2004) Communication lower bounds for distributed-memory matrix multiplication. Journal of Parallel and Distributed Computing, Volume 64 (Number 9). pp. 1017-1026. doi:10.1016/j.jpdc.2004.03.021 ISSN 0743-7315.

(2022) Quality assurance for automatically generated contours with additional deep learning. Insights into Imaging, 13 (1). 137. doi:10.1186/s13244-022-01276-7 ISSN 1869-4101.

Ismail, A., Joy, Mike, Sinclair, Jane and Hamzah, M. I. (2009) A metametadata architecture for pedagogic data description. World Academy of Science, Engineering and Technology, Volume 3 (Number 1). pp. 313-318. Article number 63. ISSN 2010-376X.

Iwama, Kazuo and Paterson, Mike (2022) Bounded Hanoi. The American Mathematical Monthly, 129 (4). pp. 303-319. doi:10.1080/00029890.2022.2026166 ISSN 1930-0972.

Jackson, Andrew, Kapourniotis, Theodoros and Datta, Animesh (2023) Partition-function estimation : quantum and quantum-inspired algorithms. Physical Review A, 107 (1). 012421. doi:10.1103/physreva.107.012421 ISSN 2469-9934.

Jahangir, Hamidreza, Lakshminarayana, Subhash, Maple, Carsten and Epiphaniou, Gregory (2023) A deep learning-based solution for securing the power grid against load altering threats by IoT-enabled devices. IEEE Internet of Things Journal . doi:10.1109/JIOT.2023.3240289 ISSN 2327-4662. (In Press)

Jammy, Satya P., Mudalige, Gihan R., Reguly, Istvan Z., Sandham, Neil D. and Giles, Mike (2016) Block-structured compressible Navier–Stokes solution using the OPS high-level abstraction. International Journal of Computational Fluid Dynamics, 30 (6). pp. 450-454. doi:10.1080/10618562.2016.1243663 ISSN 1061-8562 .

Jantjies, Mmaki and Joy, Mike (2015) Mobile enhanced learning in a South African context. Educational Technology & Society, Volume 18 (Number 1). pp. 308-320. ISSN 1176-3647.

Jarvis, Stephen A. (2012) Editorial performance modelling, benchmarking and simulation of high-performance computing systems. Computer Journal, Vol.55 (No.2). pp. 136-137. doi:10.1093/comjnl/bxr113 ISSN 0010-4620.

Jarvis, Stephen A. (2011) UK performance engineering workshop 2010. The Computer Journal, Vol.54 (No.6). pp. 960-961. doi:10.1093/comjnl/bxr015 ISSN 0010-4620.

Jarvis, Stephen A., He, Ligang, Spooner, Daniel P. and Nudd, G. R. (2005) The impact of predictive inaccuracies on execution scheduling. Performance Evaluation, Volume 60 (Number 1-4). pp. 127-139. doi:10.1016/j.peva.2004.10.015 ISSN 0166-5316.

Jarvis, Stephen A., Hill, J. M. D., Siniolakis, C. and Vasilev, V. P. (2002) Portable and architecture independent parallel performance tuning using BSP. Parallel Computing, Volume 28 (Number 11). pp. 1587-1609. doi:10.1016/S0167-8191(02)00160-6 ISSN 0167-8191.

Jarvis, Stephen A., Tan, G., Spooner, Daniel P. and Nudd, G. R. (2006) Constructing reliable and efficient overlays for P2P live media streaming. International Journal of Simulation Systems, Science & Technology, Volume 7 (Number 2). pp. 54-62. doi:10.1.1.123.8343 ISSN 1473-8031.

Jarvis, Stephen A., Thomas, N. and van Moorsel, A. (2014) Open issues in grid performability. International Journal of Simulation and Process Modelling (IJSPM), Volume 5 (Number 5). pp. 3-12. doi:10.1.1.124.6905 ISSN 1740-2123.

Jbair, Mohammad, Ahmad, Bilal, Maple, Carsten and Harrison, Robert (2022) Threat modelling for industrial cyber physical systems in the era of smart manufacturing. Computers in Industry, 137 . 103611. doi:10.1016/j.compind.2022.103611 ISSN 2049-4297.

Jeub, Lucas G. S., Colavizza, Giovanni, Dong, Xiaowen, Bazzi, Marya and Cucuringu, Mihai (2023) Local2Global : a distributed approach for scaling representation learning on graphs. Machine Learning . doi:10.1007/s10994-022-06285-7 ISSN 2632-2153. (In Press)

Jhumka, Arshad, Bradbury, Matthew S. and Leeke, Matthew (2015) Fake source-based source location privacy in wireless sensor networks. Concurrency and Computation: Practice and Experience, 27 (12). pp. 2999-3020. doi:10.1002/cpe.3242 ISSN 1532-0626.

Jhumka, Arshad, Bradbury, Matthew S. and Saginbekov, Sain (2014) Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks. Journal of Parallel and Distributed Computing, Volume 74 (Number 1). pp. 1789-1801. doi:10.1016/j.jpdc.2013.09.011 ISSN 0743-7315.

Jhumka, Arshad, Freiling, F. C., Fetzer, C. and Suri, N. (2006) An approach to synthesize safe systems. International Journal of Security and Networks, Volume 1 (Number 2). pp. 62-74. ISSN 1747-8405.

Jhumka, Arshad, Leeke, Matthew and Shrestha, Sambid (2011) On the use of fake sources for source location privacy : trade-offs between energy and privacy. The Computer Journal, Volume 54 (Number 6). pp. 860-874. doi:10.1093/comjnl/bxr010 ISSN 0010-4620.

Jhumka, Arshad and Mottola, Luca (2016) Neighborhood view consistency in wireless sensor networks. ACM Transactions on Sensor Network , 12 (3). 19. doi:10.1145/2901296 ISSN 1550-4859.

Ji, Zhong, Wang, Haoran, Han, Jungong and Pang, Yanwei (2022) SMAN : Stacked Multi-Modal Attention Network for cross-modal image-text retrieval. IEEE Transactions on Cybernetics, 52 (2). pp. 1086-1097. doi:10.1109/TCYB.2020.2985716 ISSN 2168-2267.

Ji, Zhong, Zhao, Yuxiao, Pang, Yanwei, Li, Xi and Han, Jungong (2021) Deep attentive video summarization with distribution consistency learning. IEEE Transactions on Neural Networks and Learning Systems, 32 (4). pp. 1765-1775. doi:10.1109/TNNLS.2020.2991083 ISSN 2162-237X.

Ji, Zhongming, Chen, Li, Zhao, Nan, Chen, Yunfei, Wei, Guo and Yu, Richard F. (2021) Computation offloading for edge-assisted federated learning. IEEE Transactions on Vehicular Technology, 70 (9). pp. 9330-9344. doi:10.1109/TVT.2021.3098022 ISSN 0018-9545.

Jiang, Hui, Wang, Fan, Dyer, Nigel and Wong, Wing Hung (2010) CisGenome browser: a flexible tool for genomic data visualization. Bioinformatics, Vol.26 (No.14). pp. 1781-1782. doi:10.1093/bioinformatics/btq286 ISSN 1367-4803.

Jiménez Roldán, J. E. (José Emilio), Wells, Stephen A., Freedman, R. B. and Römer, Rudolf A. (2011) Integration of FIRST, FRODA and NMM in a coarse grained method to study Protein Disulphide Isomerase conformational change. Journal of Physics: Conference Series, Vol.286 (No.1). Article No. 012002. doi:10.1088/1742-6596/286/1/012002 ISSN 1742-6596.

Jin, Yanliang, Luo, Can, Guo, Weisi, Xie, Jinfei, Wu, Dijia and Wang, Rui (2019) Text classification based on conditional reflection. IEEE Access . doi:10.1109/ACCESS.2019.2921976 ISSN 2169-3536.

Johansen, Adam M. (2009) SMCTC : sequential Monte Carlo in C++. Journal of Statistical Software, Vol.30 (No.6). pp. 1-41. ISSN 1548-7660.

Jones, A., Angelopoulou, O. and Noriega, L. (2019) Survey of data remaining on second hand memory cards in the UK. Computers & Security, 84 . pp. 239-243. doi:10.1016/j.cose.2019.03.006 ISSN 0167-4048.

Jones, Ian Harrison (2008) Storyboarding : a method for bootstrapping the design of computer-based educational tasks. Computers & Education, Volume 51 (Number 3). pp. 1353-1364. doi:10.1016/j.compedu.2008.01.002 ISSN 0360-1315.

Joy, Mike (2005) Group projects and the computer science curriculum. Innovations in Education and Teaching International, Volume 42 (Number 1). pp. 15-25. doi:10.1080/14703290500048788 ISSN 1470-3297.

Joy, Mike (2009) Undergraduate Computing Projects — an Investigation into the Student Experience. ITALICS, Vol.8 (No.1). pp. 60-78. ISSN 1473-7507.

Joy, Mike, Cosma, Georgina, Yau, Jane Yin-Kim and Sinclair, Jane (2011) Source code plagiarism - a student perspective. IEEE Transactions on Education, Volume 54 (Number 1). pp. 125-132. doi:10.1109/TE.2010.2046664 ISSN 0018-9359.

Joy, Mike and Griffiths, Nathan (2004) The BOSS online submission system. Forum, Volume 26 . p. 15.

Joy, Mike, Griffiths, Nathan and Boyatt, Russell (2005) The BOSS online submission and assessment system. Journal on Educational Resources in Computing, Volume 5 (Number 3). Article number 2. doi:10.1145/1163405.1163407 ISSN 1531-4278.

Joy, Mike and Luck, Michael (Michael M.) (1998) The BOSS system for on-line submission and assessment. Monitor : Journal of the CTI Centre for Computing, Volume 10 . pp. 27-29.

Joy, Mike and Luck, Michael (Michael M.) (1998) Computer-based submission and assessment in BOSS. Interactions, Volume 6 (Number 2).

Joy, Mike and Luck, Michael (Michael M.) (1998) Effective electronic marking for on-line assessment. ACM SIGCSE Bulletin, Volume 30 (Number 3). pp. 134-138. doi:10.1145/290320.283096 ISSN 0097-8418.

Joy, Mike and Luck, Michael (Michael M.) (1996) Software standards in Undergraduate computing courses. Journal Of Computer Assisted Learning, Volume 12 (Number 2). pp. 103-113. doi:10.1111/j.1365-2729.1996.tb00042.x ISSN 0026-4909.

Joy, Mike and Matthews, Stephen G. (1994) Some experiences in teaching functional programming. International Journal of Mathematical Education in Science and Technology, Volume 25 (Number 2). pp. 165-172. doi:10.1080/0020739940250202 ISSN 0020-739X.

Joy, Mike, Muzykantskii, B., Rawles, S. and Evans, M. (2002) An infrastructure for web-based computer-assisted learning. Journal on Educational Resources in Computing (JERIC), Volume 2 (Number 4). pp. 1-19. Article number 4 . doi:10.1145/949257.949261

Joy, Mike and Rayward-Smith, V. J. (1995) NP-completeness of a combinator optimisation problem. Notre Dame Journal of Formal Logic, Volume 36 (Number 2). pp. 319-335. doi:10.1305/ndjfl/1040248462 ISSN 0029-4527.

Joy, Mike, Rayward-Smith, V. J. and Burton, F. W. (1985) Efficient combinator code. Computer Languages, Volume 10 (Number 3/4). pp. 211-224. doi:10.1016/0096-0551(85)90017-7 ISSN 0096-0551.

Joy, Mike, Sinclair, Jane, Sun, Shanghua, Sitthiworachart, Jirarat and López-González, Javier (2009) Categorising computer science education research. Education and Information Technologies, Vol.14 (No.2). pp. 105-126. doi:10.1007/s10639-008-9078-4 ISSN 1360-2357.

Jurdzinski, Marcin, Laroussinie, Francois and Sproston, Jeremy (2008) Model checking probabilistic timed automata with one or two clocks. Logical Methods in Computer Science, Vol.4 (No.3). Article no.12 . doi:10.2168/LMCS-4(3:12)2008 ISSN 1860-5974.

Jurdzinski, Marcin and Lazic, Ranko (2011) Alternating automata on data trees and XPath satisfiability. ACM Transactions on Computational Logic (TOCL), Volume 12 (Number 3). pp. 1-21. doi:10.1145/1929954.1929956 ISSN 1529-3785.

Jurdzinski, Marcin, Paterson, Michael S. and Zwick, Uri (2008) A deterministic subexponential algorithm for solving parity games. SIAM Journal on Computing, Vol.38 (No.4). pp. 1519-1532. doi:10.1137/070686652 ISSN 0097-5397.

Jurić, Ivan, Hibberd, Julian, Blatt, Mike R. and Burroughs, Nigel John (2019) Computational modelling predicts substantial carbon assimilation gains for C3 plants with a single-celled C4 biochemical pump. PLoS Computational Biology, 15 (9). e1007373. doi:10.1371/journal.pcbi.1007373 ISSN 1553-7358.

Kahveci, Sinan, Alkan, Bugra, Ahmad, Mus’ab H., Ahmad, Bilal and Harrison, Robert (2022) An end-to-end big data analytics platform for IoT-enabled smart factories : a case study of battery module assembly system for electric vehicles. Journal of Manufacturing Systems, 63 . pp. 214-223. doi:10.1016/j.jmsy.2022.03.010 ISSN 0278-6125.

Kalair, Kieran and Connaughton, Colm (2021) Anomaly detection and classification in traffic flow data from fluctuations in the flow–density relationship. Transportation Research Part C: Emerging Technologies, 127 . 103178. doi:10.1016/j.trc.2021.103178 ISSN 0968-090X.

Kalvala, Sara, Warburton, Richard and Lacey, David (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems, Volume 31 (Number 4). Article number 14. doi:10.1145/1516507.1516509 ISSN 0164-0925.

Kamal, Hira, Minhas, Fayyaz ul Amir Afsar, Farooq, Muhammad, Tripathi, Diwaker, Hamza, Muhammad, Mustafa, Roma, Khan, Muhammad Zuhaib, Mansoor, Shahid, Pappu, Hanu R. and Amin, Imran (2019) In silico prediction and validations of domains involved in gossypium hirsutum SnRK1 protein interaction with cotton leaf curl multan betasatellite encoded βC1. Frontiers in Plant Science, 10 . 656. doi:10.3389/fpls.2019.00656 ISSN 1664-462X.

Kamarudin, Muhammad Hilmi, Maple, Carsten and Watson, Tim (2019) Hybrid feature selection technique for intrusion detection system. International Journal of High Performance Computing and Networking (IJHPCN), 13 (2). pp. 232-240. doi:10.1504/IJHPCN.2019.097503 ISSN 1740-0562.

Kamarudin, Muhammad Hilmi, Maple, Carsten, Watson, Tim and Sohrabi Safa, Nader (2017) A LogitBoost-based algorithm for detecting known and unknown web attacks. IEEE Access, 5 . 26190 -26200. doi:10.1109/ACCESS.2017.2766844 ISSN 2169-3536.

Kamarudin, Muhammad Hilmi, Maple, Carsten, Watson, Tim and Sohrabi Safa, Nader (2017) A new unified intrusion anomaly detection in identifying unseen web attacks. Security and Communication Networks, 2017 . pp. 1-18. 2539034. doi:10.1155/2017/2539034 ISSN 1939-0114.

Kamran, Rakhshan, Rodrigues, Jeremy N., Dobbs, Thomas D., Wormald, Justin C. R., Trickett, Ryan W. and Harrison, Conrad J. (2022) Computerized adaptive testing of symptom severity : a registry-based study of 924 patients with trapeziometacarpal arthritis. Journal of Hand Surgery (European Volume), 47 (9). pp. 893-898. doi:10.1177/17531934221087572 ISSN 1753-1934.

Kaniappan Chinnathai, Malarvizhi, Günther, Till, Ahmad, Mussawar, Stocker, Cosima, Richter, Lukas, Schreiner, David, Vera, Daniel A., Reinhart, Gunther and Harrison, Robert (2017) An application of physical flexibility and software reconfigurability for the automation of battery module assembly. Procedia CIRP, 63 . pp. 604-609. doi:10.1016/j.procir.2017.03.128 ISSN 2212-8271.

Kapalidis, Chronis, Karamperidis, Stavros, Watson, Tim and Koligiannis, Georgios (2022) A vulnerability centric system of systems analysis on the maritime transportation sector most valuable assets : recommendations for port facilities and ships. Journal of Marine Science and Engineering, 10 (10). 1486. doi:10.3390/jmse10101486 ISSN 2077-1312.

Kapourniotis, Theodoros and Datta, Animesh (2019) Nonadaptive fault-tolerant verification of quantum supremacy with noise. Quantum, 3 . p. 164. doi:10.22331/q-2019-07-12-164 ISSN 2521-327X.

Kapur, Omesh, Guo, Dongkai, Reynolds, Jamie, Han, Yisong, Beanland, Richard, Jiang, Liudi, de Groot, C. H. (Kees) and Huang, Ruomeng (2022) Back‐end‐of‐line SiC‐based memristor for resistive memory and artificial synapse. Advanced Electronic Materials . 2200312. doi:10.1002/aelm.202200312 ISSN 2199-160X.

Karamperidis, Stavros, Kapalidis, Chronis and Watson, Tim (2021) Maritime cyber security : a global challenge tackled through distinct regional approaches. Journal of Marine Science and Engineering, 9 (12). e1323. doi:10.3390/jmse9121323 ISSN 2077-1312.

Karikari, Thomas K., Quansah, Emmanuel and Mohamed, Wael M. Y. (2015) Widening participation would be key in enhancing bioinformatics and genomics research in Africa. Applied & translational genomics, 6 . pp. 35-41. doi:10.1016/j.atg.2015.09.001 ISSN 2212-0661.

Karnalim, Oscar, Budi, Setia, Toba, H and Joy, Mike (2019) Source code plagiarism detection in academia with information retrieval : dataset and the observation. Informatics in Education, 18 (2). pp. 321-344. doi:10.15388/infedu.2019.15

Katsaros, Konstantinos, Dianati, Mehrdad, Tafazolli, Rahim and Guo, Xiaolong (2016) End-to-end delay bound analysis for location-based routing in hybrid vehicular networks. IEEE Transactions on Vehicular Technology, 65 (9). pp. 7462-7475. doi:10.1109/TVT.2015.2482362 ISSN 0018-9545.

Keegans, James D, Stancliffe, Richard J, Bilton, Lawrence E, Cashmore, Claire R, Gibson, Brad K, Kristensen, Mikkel Theiss, Lawson, Thomas V, Pignatari, Marco, Vaezzadeh,