Feixiaotong Education Scholarship, Outstanding Student (2008)
Ziliang Deng, Nottingham Ng Rd
Excellence (2005–2008) co-sponsored by British
EMIR, cryogenic NIR multi-object Spectrograph for GTC (2008)
M. Balcells, R. Guzmán, J. Patrón, A. Aragón-salamanca, J. Azcue, J. A. Ballester, ...
EMIR is a near-infrared, multi-slit camera-spectrograph under development for the 10m GTC on La Palma. It will deliver up to 45 independent R=3500-4000 spectra of sources over a field of view (FOV)...
Michael J. Groves, F. Brailsford, Nottingham Ng Rd
This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows...
Adobe’s Acrobat ™ — providing the missing link? † (2008)
David F. Brailsford, Nottingham Ng Rd
Adobe’s Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents,...
Address for Correspondence: (2008)
Shailesh Naire, Oliver E. Jensen, Nottingham Ng Rd, Prof Oliver, E. Jensen, ...
cell deformation during surfactant-mediated airway reopening: a theoretical model
Adobe’s Acrobat ™ —providing the missing link? (2008)
David F. Brailsford, Nottingham Ng Rd
Adobe’s Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents,...
Michael J. Groves, F. Brailsford, Nottingham Ng Rd
This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows...
A Spiking Neural Model of Cricket Phonotaxis (2008)
Barbara Webb, Ai Group, Tom Scutt, Nottingham Ng Rd
A dynamic model of spiking neurons is used to simulate hypothesised neural control circuits for phonotaxis in crickets. The initial aim is to determine the neurophysiological plausibility of a model...
Control of a Flexible Automatic Riveting System (2008)
C. Fayad, A. Chitiu, S. Eastwood, P. Webb, Nottingham Ng Rd
Innovations in today's aircraft industry are mainly driven by the desire to increase production and flexibility, while reducing cost and delivering good quality products. Automated riveting has...
Unsupervised Segmentation of Textured Images Using Binomial Markov Random Fields (2007)
Dehmeshki Daemi Marston, J. Dehmeshki, M. F. Daemi, R. E. Marston, Nottingham Ng Rd
We show how scanned images can be segmented on the basis of their stochastic nature without a priori knowledge of the number of regions or their model parameters. The region distribution is modelled...
IMPS - a case study in PSM and ontology use on the WWW (2007)
ents. These limitations are bypassed in an Internet-based architecture such as IMPS, which makes full use of emerging knowledge sharing standards (KIF, KQML, Java etc). Traditionally, a library of...
Block-Based Formatting with Encapsulated PDF (2007)
Philip Smith, Nottingham Ng Rd
This report discusses the definition of Encapsulated PDF (EPDF) and an EPDF block formatter called Juggler. PDF (Portable Document Format) is the file format underlying Adobe Systems' Acrobat TM...
Dismal: A free spreadsheet for sequential data analysis and HCI experimentation (2007)
Frank E. Ritter, Shara Lochun, Peter A. Bibby, Sam Marshall, Nottingham Ng Rd
Dismal is a spreadsheet we are developing with three particular features of interest to psychologists: (a) the ability to manipulate sequential data, (b) an instrumented and accessible interface for...
Tae-hwan Kim, Tae-hwan Kim, Nottingham Ng Rd, Halbert White, Halbert White, Patrick Fitzsimmons
We explore the extension of James-Stein type estimators in a direction that enables them to preserve their superiority when the sample size goes to infinity. Instead of shrinking a base estimator...
Academic Unit of Pathology, (2007)
Oxford Ox Lb, Helen M. Byrne, Nottingham Ng Rd, Claire E. Lewis
In this paper we present a new model framework for studying vascular tumour growth, in which the blood vessel density is explicitly considered. Our continuum model comprises conservation of mass and...
Universite Catholique de Louvain B-1348 Louvain-la-Neuve (2007)
Michel Denuit, Sergey Utev, Nottingham Ng Rd
Many problems in reliability, insurance: : : are concerned with systems that involve a set of several interdependent risks. In the present work, dependency is assumed to aect the occurrences only of...
Martin Edjvet, Nottingham Ng Rd, James Howie, Gerhard Rosenberger, Richard M. Thomas
Finite generalized tetrahedron groups with a high-power relator
Asymptotic and Bayesian Confidence Intervals for Sharpe Style Weights (2007)
Tae-hwan Kim, Tae-hwan Kim, Nottingham Ng Rd, Douglas Stone, Douglas Stone, Halbert White, ...
1 Asymptotic and Bayesian Confidence Intervals for Sharpe Style Weights Abstract: Sharpe style regression has become a widespread analytic tool in the financial community. The style regression allows...
An ISO Standard to Support Asynchronous Group Communication (2007)
Steve Benford, Murray Turoff, Jacob Palme, Nottingham Ng Rd
OPERATION ARGUMENT Read-args RESULT Read-result ERRORS { accessControlError, objectError, attributeError } ::=7 Read-args ::= SET { name [0] ObjectName, targetAttributes [1] SET OF AttributeType }...
Electronic Publishing, Vol. 6(4), 315--326 (december 1993) (2007)
Separate Compilation Of, Michael J. Groves, F. Brailsford, Nottingham Ng Rd
This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is describedwhich allows for...
Chihan Yalcin, Paul Mizen, Paul Mizen, Cihan Yalcin, Nottingham Ng Rd
The evolving financial environment facing the corporate sector provides many non-bank external finance options as an alternative to bank finance and this paper examines the relationship between UK...
© Higher Education Academy/NIMHE/Trent Workforce Development Confederation (2004)
Jerry Tew, Colin Gell, Simon Foster, Trent Workforce, Development Confederation, Jill Anderson, ...
Experience Involving service users and carers in mental health education and training
University of Nottingham, (2002)
Abstract. In this pedagogical lecture, I introduce some of the basic terminology and description of fluctuating fields as they occur on cosmology. I define various statistical, cosmological and...
State Space Search with Prioritised Soft Constraints (2001)
Natasha Alechina, Nottingham Ng Rd, Brian Logan
This paper addresses two issues: how to choose between solutions for a problem specified by multiple criteria, and how to search for solutions in such situations. We argue against an approach common...
State Space Search With Prioritised Soft Constraints (1999)
Natasha Alechina, Nottingham Ng Rd, Brian Logan
This paper addresses two issues: how to choose between solutions for a problem specified by multiple criteria, and how to search for solutions in such situations. We argue against an approach common...
Two Flavors of Offline Partial Evaluation (1998)
Simon Helsen, Peter Thiemann, Nottingham Ng Rd
. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline partial evaluation approach...
A Simple Heuristically Guided Search for the Timetable Problem (1998)
E. K. Burke, J. P. Newall, R. F. Weare, Nottingham Ng Rd
Domain specific heuristics have been utilised in solutions to the timetable ever since the first attempts at automation were made[foxley68, cole64]. While methods incorporating heuristics generally...
Building virtual worlds: a city planning perspective (1997)
Computing, networking and virtual reality technologies are gradually approaching the level of maturity where large scale multi-user virtual environments will be possible. This will inevitably lead to...
Hugs 1.4: The Nottingham and Yale Haskell User's System (1997)
Mark P. Jones, Nottingham Ng Rd, John C. Peterson
Contents 1 Introduction 1 2 A technical summary of Hugs 1.4 2 3 Hugs for beginners 4 3.1 Expressions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3.2 Commands : : : : : : : : : : : :...
A Memetic Algorithm for University Exam Timetabling (1996)
Edmund K. Burke, James P. Newall, Rupert F. Weare, Nottingham Ng Rd
The scheduling of exams in institutions of higher education is known to be a highly constrained problem. The advent of modularity in many institutions in the UK has resulted in a significant increase...
Building Virtual Cities: (1996)
Applying Urban Planning, Rob Ingram, Steve Benford, Nottingham Ng Rd
Urban planners have developed many theories of how urban design affects people's experience of real-world cities. This paper considers how this body of work might be applied to the design of...
Rob Ingram, Steve Benford, Nottingham Ng Rd, John Bowers
Urban planners have developed many theories of how urban design affects people's experience of real-world cities. This paper considers how this body of work might be applied to the design of...
Block-Base Formatting with Encapsulated PDF (1995)
Philip N. Smith, Nottingham Ng Rd
This report discusses the definition of Encapsulated PDF (EPDF) and an EPDF block formatter called Juggler. PDF (Portable Document Format) is the file format underlying Adobe Systems ’ Acrobat TM...
Simplifying and Improving Qualified Types (1995)
Mark P. Jones, Nottingham Ng Rd
Qualified types provide a general framework for constrained type systems, with applications including type class overloading, subtyping and record calculi. This paper presents an extended version of...
Separate Compilation of Structured Documents (1993)
Michael Groves, David F. Brailsford, Nottingham Ng Rd
This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows...
Electronic publishing -- a journal and its production (1989)
David F. Brailsford, Nottingham Ng Rd, Richard J. Beach
The attached paper is another in a series of experiments to see how long it takes me to re-build electronic versions of my published early papers as properly re-typeset ‘PDF Normal ’ rather than...
Parallel Processing in Document Formatting: An Experiment Using PIC (1989)
David F. Brailsford, David R. Evans, Nottingham Ng Rd
this paper give a brief introduction to parallel processing, for those unfamiliar with the issues involved, and we point out some of the difficulties in achieving the n-fold speed increases referred...
Electronic Publishing and Computer Science (1988)
David F. Brailsford, Nottingham Ng Rd
ion INTRODUCTION Typesetting and publishing have adopted computer methods with astonishing speed in recent times but it is certainly not the case that electronic publishing draws on computer...