| ปี พ.ศ. 2558 |
| 1 |
Efficient algorithms for infinite-state recursive stochastic models and Newton’s method |
| 2 |
High-pressure studies on molecular systems at ambient and low temperatures |
| 3 |
Evaporation of liquid layers and drops |
| ปี พ.ศ. 2557 |
| 4 |
Investigating the aggregation of β-amyloid peptide (Aβ₄₂) and its interactions with lipid bilayers using advanced microscopy techniques |
| 5 |
Study on lipid droplet dynamics in live cells and fluidity changes in model bacterial membranes using optical microscopy techniques |
| 6 |
Probing the brain’s white matter with diffusion MRI and a tissue dependent diffusion model |
| 7 |
Statistical models for natural scene data |
| 8 |
Statistical mechanics of non-Markovian exclusion processes |
| 9 |
Representations of rational Cherednik algebras: Koszulness and localisation |
| 10 |
Multiagent classical planning |
| 11 |
Mapping parallel programs to heterogeneous multi-core systems |
| 12 |
High-pressure studies of ammonia hydrates |
| 13 |
Joint models for concept-to-text generation |
| 14 |
On structural studies of high-density potassium and sodium |
| 15 |
Querying graphs with data |
| 16 |
Algebraic theory of type-and-effect systems |
| 17 |
Carbon and energy payback of variable renewable generation |
| 18 |
Non-photochemical laser-induced nucleation (NPLIN): An experimental investigation of crystal nucleation |
| 19 |
Colloids at liquid crystal interfaces |
| 20 |
Restricting information flow in security APIs via typing |
| 21 |
Case studies for the multilinear Kakeya theorem andWolff-type inequalities |
| 22 |
Assessment of the sustainability of bioenergy production from algal feedstock |
| 23 |
Molecular simulation studies of metal organic frameworks focusing on hydrogen purification |
| 24 |
Mapping gene expression to function in adult mouse medial entorhinal cortex |
| 25 |
Optimisation and comparison of integrated models of direct-drive linear machines for wave energy conversion |
| 26 |
Spatial modulation: theory to practice |
| 27 |
Nanodeposition and plasmonically enhanced Raman spectroscopy on individual carbon nanotubes |
| 28 |
Lewis acidic metal complexes with polydentate ligands for the preparation of biorenewable polymers |
| 29 |
Iterative synthetic aperture radar imaging algorithms |
| 30 |
Kinetic Monte Carlo simulations of autocatalytic protein aggregation |
| 31 |
Molecular simulations studies of gas adsorption in metal–organic frameworks |
| 32 |
Painting in a sonic environment |
| 33 |
Inclusion problems for one-counter systems |
| 34 |
Ad hoc cloud computing |
| 35 |
Pseudo-Newtonian simulations of black hole-neutron star mergers as possible progenitors of short-duration gamma-ray bursts |
| 36 |
Coping with stress: personality, life history and social dominance in swordtail fishes, Xiphophorus sp. |
| 37 |
Integrated assessment of quality of supply in future electricity networks |
| 38 |
Multi-moment advection schemes for Cartesian grids and cut cells |
| 39 |
Evaluation of evidence for autocorrelated data, with an example relating to traces of cocaine on banknotes |
| 40 |
Biomimetic cochlea filters : from modelling, design to analogue VLSI implementation |
| 41 |
Topology based global crowd control |
| 42 |
Biochar – synergies between carbon storage, environmental functions and renewable energy production |
| 43 |
Polydispersity effects on colloidal phase transitions and kinetic arrest |
| 44 |
Randomized coordinate descent methods for big data optimization |
| 45 |
Islanding model for preventing wide-area blackouts and the issue of local solutions of the optimal power flow problem. |
| 46 |
Cross-lingual genre classification |
| 47 |
Synthesis and application of novel near infrared cyanine dyes and optical imaging agents |
| 48 |
Intuition in formal proof : a novel framework for combining mathematical tools |
| 49 |
Making sense of supervision : a narrative study of the supervision experiences of mental health nurses and midwives |
| 50 |
Computational study of radiation damage and impurity effects in iron based alloys |
| 51 |
Petri nets, probability and event structures |
| 52 |
Synthesis and properties of kinetically robusst metallosupramolecular tetrahedra |
| 53 |
Characterisation of holographic projection as structured illumination in a Time-of-Flight based 3D imaging system |
| 54 |
Sparse inverse covariance estimation in Gaussian graphical models |
| 55 |
Unification-based constraints for statistical machine translation |
| 56 |
Mechanical properties of phospholipid coated microbubbles |
| 57 |
Mechanistic studies of the pyridoxal 5'- phosphate-dependent enzyme serine palmitoyltransferase; substrates, cofactor and inhibitors. |
| 58 |
Role of the engineer in international development : a case study in water supply service delivery models in Sierra Leone |
| ปี พ.ศ. 2556 |
| 59 |
Speeding up dynamic compilation: concurrent and parallel dynamic compilation |
| 60 |
Bayesian models of syntactic category acquisition |
| 61 |
Social and cultural context of rural water and sanitation projects: case studies from Ghana |
| 62 |
Polymer nanodroplet adsorption : continuum theory and computer simulation. |
| 63 |
Molecular simulation studies of gas adsorption and separation in metalorganic frameworks |
| 64 |
Extension and practical evaluation of the spatial modulation concept |
| 65 |
Skeleton bobsleigh mechanics: athlete-sled interaction |
| 66 |
Molecular torsion balances for quantifying non-covalent interactions |
| 67 |
Transition-metal-hydrogen systems at extreme conditions |
| 68 |
Real-time event detection in massive streams |
| 69 |
Acoustical study of the playing characteristics of brass wind instruments |
| 70 |
Metal-mediated molecular machines |
| 71 |
Bayesian nonparametric models for name disambiguation and supervised learning |
| 72 |
Alignment of speech and co-speech gesture in a constraint-based grammar |
| 73 |
Instrumentation development for magneto-transport and neutron scattering measurements at high pressure and low temperature |
| 74 |
Imaging intra-cellular wear debris with coherent anti-Stokes Raman scattering spectroscopy |
| 75 |
Neuromorphic systems for legged robot control |
| 76 |
Fibre reinforced polymer (FRP) strengthened masonry arch structures |
| 77 |
Calixarene supported transition metal clusters |
| 78 |
Genesis of fault hosted carbonate fracture cements in a naturally high CO2 province, South Viking Graben, UK North Sea |
| 79 |
Development and characterisation of microelectrodes for extreme environments |
| 80 |
Machine learning approach to reconstructing signalling pathways and interaction networks in biology |
| 81 |
Using functional magnetic resonance imaging to plan surgical resections of brain tumours |
| 82 |
Extremely strong contiguous hydrogen bonding arrays |
| 83 |
Charge, orbital and magnetic ordering in transition metal oxides |
| 84 |
Osmosis : a molecular dynamics computer simulation study |
| 85 |
Distributed generation and demand side management : applications to transmission system operation |
| 86 |
Unsupervised learning for text-to-speech synthesis |
| 87 |
Techniques for green radio cellular communications |
| 88 |
Accelerated numerical schemes for deterministic and stochastic partial differential equations of parabolic type |
| 89 |
Elucidating the early events of protein aggregation using biophysical techniques |
| 90 |
Study of the N=Z nucleus 62Ga using a new fast beta-decay tagging system |
| 91 |
Refactoring proofs |
| 92 |
Discrete element modelling of cementitious materials |
| 93 |
Interaction between visual attention and the processing of visual emotional stimuli in humans : eye-tracking, behavioural and event-related potential experiments |
| 94 |
Development of new methodology for the synthesis of fluorine-containing compounds |
| 95 |
Bridgehead substituted scorpionates providing helically chiral complexes |
| 96 |
Ontology evolution in physics |
| 97 |
Role of goal-orientated attention and expectations in visual processing and perception |
| 98 |
Simple models for resolving environments in disordered alloys by x-ray photoelectron spectroscopy |
| 99 |
Thin film studies of planar transition metal complexes |
| 100 |
Structural dynamics and ligand binding in kynurenine-3- monooxygenase |
| 101 |
Fluxes and mixing ratios of biogenic volatile organic compounds in temperate plant canopies |
| 102 |
Initiation and maintenance of swimming in hatchling xenopus laevis tadpoles |
| 103 |
Calcium phosphate substrate-directed osteogenic differentiation of mesenchymal stem cells |
| 104 |
Synthesis, structure and properties of high pressure and ambient pressure ternary vanadium oxides |
| 105 |
Consolidant particle transport in limestone, concrete and bone |
| 106 |
Deterioration mechanisms of historic cement renders and concrete |
| 107 |
Discrete analogues of Kakeya problems |
| 108 |
High-pressure computational and experimental studies of energetic materials |
| 109 |
Investigation into the potential of energy storage to tackle intermittency in renewable energy generation |
| 110 |
Macroscopic consequences of demographic noise in non-equilibrium dynamical systems |
| 111 |
Decision shaping and strategy learning in multi-robot interactions |
| 112 |
Dynamic alpha-invariants of del Pezzo surfaces with boundary |
| 113 |
Introducing corpus-based rules and algorithms in a rule-based machine translation system |
| 114 |
Discrete element modelling of iron ore pellets to include the effects of moisture and fines |
| 115 |
Study of nanosuspension droplets free evaporation and electrowetting |
| 116 |
Optical studies of dense hydrogen at multi-megabar pressures |
| 117 |
The first law of thermodynamics and 2d CFT descriptions for near-extremal and near-EVH black holes |
| 118 |
Methyl halide and biogenic volatile organic compound fluxes from perennial bioenergy crops and annual arable crops |
| 119 |
Variational inference for Gaussian-jump processes with application in gene regulation |
| 120 |
Ground borne vibrations from high speed trains |
| 121 |
Instruction scheduling optimizations for energy efficient VLIW processors |
| 122 |
On probabilistic inference approaches to stochastic optimal control |
| 123 |
Fire performance of unprotected and protected concrete filled steel hollow structural sections |
| 124 |
Exploring ruthenium dye synthesis and TiO2-dye-I-/I3- electron transfer reactions in a dye-sensitised solar cell. |
| 125 |
Mathematical programming models for classification problems with applications to credit scoring |
| 126 |
Super-resolution methods for fluorescence microscopy |
| 127 |
Development of novel metal-catalysed methods for the transformation of Ynamides |
| 128 |
Graph Patterns: Structure, Query Answering and Applications in Schema Mappings and Formal Language Theory |
| 129 |
Error in the invariant measure of numerical discretization schemes for canonical sampling of molecular dynamics |
| 130 |
Reactivity of electropositive f-block metal N-heterocyclic carbene complexes |
| 131 |
Reductive functionalisation of the uranyl dication |
| 132 |
Rapid screening of novel nanoporous materials for carbon capture separations |
| 133 |
Investigation into the modes of action of extractants for base metal cations and metalate anions |
| 134 |
Quantitative analysis of algorithms for compressed signal recovery |
| 135 |
Understanding requirements work in e-science projects |
| ปี พ.ศ. 2555 |
| 136 |
UK Innovation Potential in Advanced Water Treatment: Future Directions & Strategy II |
| 137 |
Effects of advection on non-equilibrium systems |
| 138 |
Graphical representation of canonical proof: two case studies |
| 139 |
Towards an effective automated interpretation method for modern hydrocarbon borehole geophysical images |
| 140 |
Motion planning and reactive control on learnt skill manifolds |
| 141 |
Universal quantitative method for studying axon guidance and its application to Slit-dependent axon guidance at the developing mouse optic chiasm |
| 142 |
Fabrication and characterisation of carbon-based devices |
| 143 |
Online optimisation of information transmission in stochastic spiking neural systems |
| 144 |
Threelogy in two parts 3-algebras in BLG models and a study of TMG solutions |
| 145 |
Epitopes, aggregation and membrane binding: investigating the protein structure-function relationship |
| 146 |
Implications of stochastic ion channel gating and dendritic spine plasticity for neural information processing and storage |
| 147 |
Exploring gas-phase ionic liquid aggregates by mass spectrometry and computational chemistry |
| 148 |
Learning generative models of mid-level structure in natural images |
| 149 |
Where does it go from here? The place of software in digital repositories |
| 150 |
New methodologies and scenarios for evaluating tidal current energy potential |
| 151 |
Proteins, anatomy and networks of the fruit fly brain |
| 152 |
Asynchronous spike event coding scheme for programmable analogue arrays and its computational applications |
| 153 |
Probabilistic grammar induction from sentences and structured meanings |
| 154 |
Compiler-driven data layout transformations for network applications |
| 155 |
Damaged reinforced concrete structures in fire |
| 156 |
Generalized simulation relations with applications in automata theory |
| 157 |
Characterising and measuring human episodic memory |
| 158 |
Bio-inspired adaptive sensing |
| 159 |
Gas-loading apparatus for large-volume high-pressure cell |
| 160 |
Deployment and operational aspects of rural broadband wireless access networks |
| 161 |
Homeomorphisms, homotopy equivalences and chain complexes |
| 162 |
Unsupervised induction of semantic roles |
| 163 |
Development of a semi-automated ZLC system for rapid screening of adsorbents for carbon capture |
| 164 |
Understanding molecular crystal structures at extreme conditions |
| 165 |
On conformal submersions and manifolds with exceptional structure groups |
| 166 |
Complexity, aftershock sequences, and uncertainty in earthquake statistics |
| 167 |
Game semantics for probabilistic modal μ-calculi |
| 168 |
Transfer learning with Gaussian processes |
| 169 |
Adaptive control for active distribution networks |
| 170 |
Fully digital, phase-domain ΔΣ 3D range image sensor in 130nm CMOS imaging technology |
| 171 |
Foundation technologies in synthetic biology: tools for use in understanding plant immunity |
| 172 |
High performance bioinformatics and computational biology on general-purpose graphics processing units |
| 173 |
Moduli of Bridgeland-Stable objects |
| 174 |
FRP-to-concrete bond behaviour under high strain rates |
| 175 |
Effects of connections on structural behaviour in fire |
| 176 |
Investigations into Aryne chemistry |
| 177 |
Complying with norms. a neurocomputational exploration |
| 178 |
CP2K - Sparse Linear Algebra on 1000s of cores |
| 179 |
Adding Parallel I/O to PARA-BMU |
| 180 |
Argumentation-based methods for multi-perspective cooperative planning |
| 181 |
Modification and use of polymeric particles for chemical biology |
| 182 |
Automated application-specific optimisation of interconnects in multi-core systems |
| 183 |
Integrated supertagging and parsing |
| 184 |
Application of fire calorimetry to understand factors affecting flammability of cellulosic material: pine needles, tree leaves and chipboard |
| 185 |
Automatic test pattern generation for asynchronous circuits |
| 186 |
Coordinated control and network integration of wave power farms |
| 187 |
Quantification of the influence of directional sea state parameters over the performances of wave energy converters |
| 188 |
Analysing supply chain operation dynamics through logic-based modelling and simulation |
| 189 |
Evolution through reputation: noise-resistant selection in evolutionary multi-agent systems |
| 190 |
Reconstructing and analysing protein-protein interaction networks of synaptic molecular machines |
| 191 |
Colloidal cluster phases and solar cells |
| 192 |
Design and construction of modular genetic devices and the enzymatic hydrolysis of lignocellulosic biomass |
| 193 |
Dynamical modelling of the human larynx in phonation |
| 194 |
Instrumentation development for neutron scattering at high pressure |
| 195 |
Molecular information ratchets |
| 196 |
Aspects of modelling plain and reinforced concrete at elevated temperatures |
| 197 |
Insights into inhibition of heme-dependent dioxygenases |
| 198 |
Remote community drinking water supply : mechanisms of uranium retention and adsorption by ultrafiltration, nanofiltration and reverse osmosis |
| 199 |
Learning action representations using kernel perceptrons |
| 200 |
New cyclisations of iminyl radicals generated by flash vacuum pyrolysis |
| 201 |
Gene co-expression tools applied to the developing thalamus |
| 202 |
McMPI – a managed-code message passing interface library for high performance communication in C# |
| 203 |
Evaluation of the Nordland Group overburden as an effective seal for the Sleipner CO2 storage site (offshore Norway) using analytical and stochastic modelling techniques |
| 204 |
Boundary value problems for elliptic operators with singular drift terms |
| 205 |
Phase transitions in low-dimensional driven systems |
| 206 |
Central extensions of Current Groups and the Jacobi Group |
| 207 |
Customising compilers for customisable processors |
| 208 |
Instrumentation development for magnetic and structural studies under extremes of pressure and temperature |
| 209 |
Dynamic platinum(II)- based metallosupramolecular architectures |
| 210 |
Kinematics of cricket phonotaxis |
| 211 |
Complementing user-level coarse-grain parallelism with implicit speculative parallelism |
| 212 |
Frequency-based structural damage identification and dynamic system characterisation |
| 213 |
Local and global well-posedness for nonlinear Dirac type equations |
| 214 |
High resolution reanalysis of wind speeds over the British Isles for wind energy integration |
| 215 |
Role of tetrahydrobiopterin in biological NO synthesis |
| 216 |
Deep Boltzmann Machines as Hierarchical Generative Models of Perceptual Inference in the Cortex |
| 217 |
SERS nanosensors for intracellular redox potential measurements |
| 218 |
Development and characterisation of microelectrode and nanoelectrode systems |
| 219 |
Closed-loop prosthetic hand : understanding sensorimotor and multisensory integration under uncertainty. |
| 220 |
Extracting morphological networks from individual grey matter MRI scans in healthy subjects and people at high risk for schizophrenia |
| 221 |
Soil organic matter stability and the temperature sensitivity of soil respiration |
| 222 |
Exploring longitudinal pathways from intelligence to morbidity and mortality risk |
| 223 |
Capsules, secondary interactions and unusual multi-metallic complexes |
| 224 |
Polymer microarrays for cell based applications |
| ปี พ.ศ. 2554 |
| 225 |
Investigation of micro- and macro-phenomena in densely packed granular media using the discrete element method |
| 226 |
Biophysical studies to elucidate structure-activity relationships in β-defensins |
| 227 |
Investigation of CaIr1-xPtxO3 and CaIr0.5Rh0.5O3 : structural properties, physical properties and stabilising conditions for post-perovskite oxides |
| 228 |
Second order algebraic knot concordance group |
| 229 |
Separatrix splitting for the extended standard family of maps |
| 230 |
Extending graph homomorphism and simulation for real life graph matching |
| 231 |
Layered AI architecture for team based first person shooter video games |
| 232 |
Electrochemical and spectroelectrochemical characterisation of cyano and trifluoromethyl substituted polypyridines and their transition metal complexes |
| 233 |
On the concordance orders of knots |
| 234 |
Non-destructive evaluation of railway trackbed ballast |
| 235 |
The implications of compartment fire non-uniformity for the membrane action of reinforced concrete slabs |
| 236 |
On bisimulation and model-checking for concurrent systems with partial order semantics |
| 237 |
Children’s story authoring with Propp’s morphology |
| 238 |
Supporting dependently typed functional programming with proof automation and testing |
| 239 |
Automation of summarization evaluation methods and their application to the summarization process |
| 240 |
Bergman kernel on toric Kahler manifolds |
| 241 |
Nonequilibrium dynamical transition in the asymmetric exclusion process |
| 242 |
Experimental investigation into the evaporating behaviour of pure and nanofluid droplets. |
| 243 |
Integral affine geometry of Lagrangian bundles |
| 244 |
N-amino heterocycles : applications in flash vacuum pyrolysis |
| 245 |
Numerical modelling of flows involving submerged bodies and free surfaces |
| 246 |
Smouldering and self-sustaining reactions in solids: an experimental approach |
| 247 |
Thermal buckling of metal oil tanks subject to an adjacent fire |
| 248 |
Novel benzyne insertion reactions & medium-ring synthesis by oxidative C-H coupling |
| 249 |
Total synthesis of (±)-Merrilactone A and (±)-Anislactone A |
| 250 |
Exploration, quantification, and mitigation of systematic error in high-throughput approaches to gene-expression profiling: implications for data reproducibility |
| 251 |
Dynamics of a horizontal cylinder oscillating as a wave energy converter about an off-centred axis. |
| 252 |
Information theoretic approach to tactile encoding and discrimination |
| 253 |
Combined decision procedures for nonlinear arithmetics, real and complex |
| 254 |
Effect of a nonlinear power take off on a wave energy converter |
| 255 |
Multi-parameter quantitative mapping of microfluidic devices |
| 256 |
Molecular dynamics simulations of aqueous glutamate and the gly-pro-glu (GPE) tripeptide |
| 257 |
Coordination of vision and language in cross-modal referential processing |
| 258 |
Cross-lingual automatic speech recognition using tandem features |
| 259 |
Option pricing techniques under stochastic delay models |
| 260 |
Thermal buckling of metal oil tanks subject to an adjacent fire |
| 261 |
Liquid-vapour phase change and multiphase flow heat transfer in single micro-channels using pure liquids and nano-fluids |
| 262 |
One and two point micro-rheology of hard sphere suspensions |
| 263 |
Impact of synaptic depression on network activity and implications for neural coding |
| 264 |
On the configuration of arrays of floating wave energy converters |
| 265 |
Increasing the efficacy of automated instruction set extension |
| 266 |
Implementation of neural plasticity mechanisms on reconfigurable hardware for robot learning |
| 267 |
Novel routes to Heterocyclic Azo compounds |
| 268 |
Improving statistical machine translation with linguistic information |
| 269 |
Theoretical modelling of ultrasound contrast agents |
| 270 |
Phenolic oxime copper complexes: a gas phase investigation |
| 271 |
Foundational technologies in synthetic biology : promoter measurement and peroxisome engineering |
| 272 |
Digital microfluidic sample preparation for biological mass spectrometry |
| 273 |
Study of the molecular details of p53 redox-regulation using Fourier transform ion cyclotron resonance mass spectrometry |
| 274 |
Energetic materials at extreme conditions |
| 275 |
Macrocyclic pacman complexes for secondary coordination sphere control |
| 276 |
Causal effects of wiki site design on anxiety and usability |
| 277 |
Statistical method for identification of sources of electromechanical oscillations in power systems |
| 278 |
Cellular analysis and PNA encoded libraries |
| ปี พ.ศ. 2553 |
| 279 |
Smouldering Combustion of Organic Liquids in Porous Media for Remediating NAPL-contaminated Soils |
| 280 |
Bonded Fibre Reinforced Polymer Strengthening in a Real Fire |
| 281 |
Effect of high pressure on structural oddities |
| 282 |
Yield-stress drops |
| 283 |
Flow boiling and two-phase flow instabilities in silicon microchannel heat sinks for microsystems cooling |
| 284 |
Motion-compensation for complementary-coded medical ultrasonic imaging |
| 285 |
Flashing up the storage hierarchy |
| 286 |
Experimental pool boiling investigation of FC-72 on silicon with artificial cavities, integrated temperature micro-sensors and heater |
| 287 |
Case for holistic query evaluation |
| 288 |
Removal of inorganic and trace organic contaminants by electrodialysis |
| 289 |
Bacterial aggregation by depletion attraction: sinorhizobium meliloti and its extracellular polysaccharide succinoglycan |
| 290 |
Impact of climate change on wind energy generation in the UK |
| 291 |
Adaptive sparse coding and dictionary selection |
| 292 |
Efficient lattice Boltzmann simulations of self-propelled particles with singular forces |
| 293 |
High-pressure synthesis of electronic materials |
| 294 |
Equilibrium and nonequilibrium behaviour of surfactant systems |
| 295 |
Incremental semi-supervised learning for anomalous trajectory detection |
| 296 |
Acoustic investigation of microbubble response to medical imaging ultrasound pulses |
| 297 |
The Assessment and Response of Concrete Structures Subject to Fire |
| 298 |
High speed electrical power takeoff for oscillating water columns |
| 299 |
Logic and handling of algebraic effects |
| 300 |
Model checking infinite-state systems: generic and specific approaches |
| 301 |
Abstraction for web programming |
| 302 |
Adaptive processing of thin structures to augment segmentation of dual-channel structural MRI of the human brain |
| 303 |
Thinking outside the TBox multiparty service matchmaking as information retrieval |
| 304 |
Cyclotomic matrices and graphs |
| 305 |
Comparative study of oscillatory integral, and sub-level set, operator norm estimates |
| 306 |
Veto for the ZEPLIN-III dark matter detector |
| 307 |
On the complexity of matrix multiplication |
| 308 |
Reconstructing Scotland’s pine forests |
| 309 |
Novel deposition methods for metal dithiolenes |
| 310 |
Adaptive map alignment in the superior colliculus of the barn owl: a neuromorphic implementation |
| 311 |
Broad-coverage model of prediction in human sentence processing |
| 312 |
Stochastic abstraction of programs: towards performance-driven development |
| 313 |
Renewable variable speed hybrid system |
| 314 |
Analysis of the potential for coded excitation to improve the detection of tissue and blood motion in medical ultrasound. |
| 315 |
Local adaptation under demographic and genetic
fluctuations |
| 316 |
Improving the Performance of CP2K on the Cray XT |
| 317 |
Improving the performance of GWW |
| 318 |
Improving the scalability of CP2K on multi-core systems |
| 319 |
Highly degenerate diffusions for sampling molecular systems |
| 320 |
Presence of oligosaccharides in seed-coat mucilage of Lepidium sativum : role in allelopathy |
| 321 |
High-pressure X-ray diffraction studies of light lanthanides |
| ปี พ.ศ. 2552 |
| 322 |
Small-Scale Forward Smouldering Experiments for Remediation of Coal Tar in Inert Media |
| 323 |
Round-robin study of a priori modelling predictions of the Dalmarnock Fire Test One |
| 324 |
Sensor and model integration for the rapid prediction of concurrent flow flame spread |
| 325 |
Qualifying 4D Deforming Surfaces by Registered Differential Features |
| 326 |
Risk and Performance Based Fire Safety Design of Steel and Composite Structures |
| 327 |
Tall concrete buildings subject to vertically moving fires: A case study approach |
| 328 |
Studies of states in 19Ne about the 18F + p threshold and the 18Ne(α,p) HCNO breakout reaction |
| 329 |
Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits |
| 330 |
Synthesis, structural and property studies of bismuth containing perovskites |
| 331 |
Steady state load models for power system analysis |
| 332 |
Synthesis and Characterization of
High Temperature Cement-Based
Hydroceramic Materials |
| 333 |
Closing the gap in WSD: supervised results with unsupervised methods |
| 334 |
Simulation of vapour-liquid condensation in dipolar fluids and uniform sampling Monte Carlo algorithms |
| 335 |
Hydrodynamic analysis of a vertical axis tidal current turbine |
| 336 |
SSB and genetic instability |
| 337 |
Synaptic rewiring in neuromorphic VLSI for topographic map formation |
| 338 |
Gradable adjectives and the semantics of locatives |
| 339 |
Self assembly in soft matter |
| 340 |
Topographic and laminar models for the development and organisation of spatial frequency and orientation in V1 |
| 341 |
Micro-systems for time-resolved fluorescence analysis using CMOS single-photon avalanche diodes and micro-LEDs |
| 342 |
Computational treatment of superlatives |
| 343 |
New mineralogy of the outer solar system and the high-pressure behaviour of methane |
| 344 |
Study of the undercutting of woodwind toneholes using particle image velocimetry |
| 345 |
Modeling exotic options with maturity extensions by stochastic dynamic programming |
| 346 |
Nanoscale surface modification studied by reflection anisotropy spectroscopy |
| 347 |
Improved mass transport efficiency in copper solvent extraction |
| 348 |
Chlorometallate extraction (base metals) |
| 349 |
Improving the performance of CP2K on HECToR |
| ปี พ.ศ. 2551 |
| 350 |
Active Learning - An Explicit Treatment of Unreliable Parameters |
| 351 |
A flexible expansion algorithm for user-chosen abbreviations |
| 352 |
Spin and orbital ordering in ternary transition metal oxides |
| 353 |
An efficient ground penetrating radar finite-difference time-domain subgridding scheme and its application to the non-descructive testing of masonry arch bridges |
| 354 |
The Essence of Form Abstraction |
| 355 |
Unsupervised adaptation for HMM-based speech synthesis |
| 356 |
On the assessment of blood velocity and wall shear rate in arteries with Doppler ultrasound: a validation study |
| ปี พ.ศ. 2550 |
| 357 |
Pitching an Argument: Intonation, information, and inference in syllogistic discourse |
| 358 |
Corealisation: A Radical Respecification of the Working Division of Labour in Systems Development |
| 359 |
The Use of Data-Mining for the Automatic Formation of Tactics |
| 360 |
Neural compass or epiphenomenon? Experimental and theoretical investigations into the rodent head direction cell system |
| 361 |
A Computational Model of Lakatos-style Reasoning |
| 362 |
The Application of Advanced Knowledge Technologies for Emergency Reponse |
| 363 |
Aqueous phase nitration of phenol by N2O5 and ClNO2 |
| 364 |
Fuzzy Rules from Ant-Inspired Computation |
| 365 |
Applications of surface ligand design to flotation |
| ปี พ.ศ. 2549 |
| 366 |
An Investigation into the Use of Collaborative Concepts for Planning in Disaster Response Coalitions |
| 367 |
Recording Rationale in for Plan Analysis |
| 368 |
Using I-X Process Panels as Intelligent To-Do Lists for Agent Coordination in Emergency Response |
| ปี พ.ศ. 2548 |
| 369 |
Language Interoperability and Logic Programming Languages |
| 370 |
Automated Reasoning in Quantified Modal and Temporal Logics |
| 371 |
Collaboration in the Semantic Grid: A Basis for e-Learning |
| 372 |
Workflow Collaboration with Constraint Solving Capabilities |
| 373 |
A Semantic-based Workflow Choreography for Integrated Sensing and Processing |
| ปี พ.ศ. 2547 |
| 374 |
Resolving Other-Anaphora |
| 375 |
Geoelectric Fields and Geomagnetically Induced Currents in the United Kingdom |
| 376 |
Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain |
| 377 |
Activity-oriented Instant Messaging for Coalition Operations |
| 378 |
Advanced Knowledge Technologies at the Midterm: Tools and Methods for the Semantic Web |
| 379 |
Supporting Collaboration through Semantic-based Work and Constraint Solving |
| 380 |
Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis |
| 381 |
Workflow Collaboration with Constraint Solving Capabilities |
| ปี พ.ศ. 2546 |
| 382 |
A Coherence-Based Approach to the Interpretation of Non-Sentential Utterances in Dialogue |
| 383 |
Data and Models for Statistical Parsing with Combinatory Categorial Grammar |
| 384 |
Combining Capillary Electrochromatography with Ion Trap Accumulation and Time-of-Flight Mass Spectrometry |
| 385 |
Formal Support for Adaptive Workflow Systems in a Distributed Environment |
| ปี พ.ศ. 2545 |
| 386 |
Towards a bionic bat: A biomimetic investigation of active sensing, Doppler-shift estimation, and ear morphology design for mobile robots. |
| 387 |
Repairing Type Errors in Functional Programs |
| 388 |
Mobile Computation with Functions |
| 389 |
Dynamic Generalisation of Continuous Action Spaces in Reinforcement Learning: A Neurally Inspired Approach |
| 390 |
Sharing and Checking Organisation Knowledge |
| 391 |
Enterprise Modelling: A Declarative Approach for FBPML |
| ปี พ.ศ. 2544 |
| 392 |
Dynamic Flexible Constraint Satisfaction and it's Application to AI Planning |
| 393 |
Dynamic Trees: A Hierarchical Probabilistic Approach to Image Modelling |
| 394 |
Abstract Machines for Dynamic Computation |
| 395 |
Techniques for Mobile Location Estimation in UMTS |
| 396 |
Information Fusion for Improved Motion Estimation |
| 397 |
Deductive synthesis of recursive plans in linear logic |
| 398 |
Robot environment learning with a mixed-linear probabilistic state-space model |
| ปี พ.ศ. 2543 |
| 399 |
Techniques for the Construction and Analysis of Algebraic Performance Models |
| ปี พ.ศ. 2542 |
| 400 |
From Artificial Evolution to Artificial Life |
| 401 |
A Theory of Program Refinement |
| 402 |
A Semantic analysis of control |
| 403 |
No Optimisation Without Representation: A Knowledge Based Systems View of Evolutionary/Neighbourhood Search Optimisation |
| ปี พ.ศ. 2541 |
| 404 |
Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs |
| 405 |
Exploration and Inference in Learning from Reinforcement |
| 406 |
An Investigation of Supervised Learning in Genetic Programming |
| ปี พ.ศ. 2540 |
| 407 |
Contextually-Dependent Lexical Semantics |
| ปี พ.ศ. 2539 |
| 408 |
The Polymorphic Pi-Calculus: Theory and Implementation |
| 409 |
A Data-Driven Methodology for Motivating a Set of Coherence Relations |
| ปี พ.ศ. 2538 |
| 410 |
The Use of Small Scale Fire Test Data for the Hazard Assessment of Bulk Materials |
