ปี พ.ศ. 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 |