Predictable Analyst Forecast Errors (2009)
We investigate the relation between predictable market returns and predictable analyst forecast errors. Perfect correlation between predictable components of forecast errors and abnormal returns...
Cindy Grimm, Tao Ju, Ly Phan, John Hughes
Abstract We present a smooth, every-where C k, analytic surface representation for closed surfaces of arbitrary topology. We demonstrate fitting this representation to meshes of varying resolutions...
Leverage, Excess Leverage and Future Stock Returns (2009)
Judson Caskey, John Hughes, Jing Liu
We thank John Graham for making his data available. We also thank David Aboody and Ruihao Ke for helpful comments. 1 Electronic copy available at:
data structure (abstract of invited lecture). In Fritz Henglein, (2009)
Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, ...
[2] Rodney M. Burstall. Some techniques for proving correctness of programs
Extending Home Technology Design: Depending On Digital Design (2009)
Guy Dewsbury, Karen Clarke, John Hughes, Mark Rouncefield
i and This paper documents work from the EPSRC 'EQUATOR' 'Dependability Interdisciplinary Research Collaboration on Computer Based Systems ’ (DIRC) ii iii, concerned with the...
Designing Dependable Digital Domestic Environments (2009)
Guy Dewsbury, Karen Clarke, John Hughes, Mark Rouncefield, Ian Sommerville
ABSTRACT: The aim of this paper is to examine the distinctions between home and organizational settings with particular reference to assistive technologies (AT) and outline a model for assessing...
Likelihood Inference for Particle Location in Fluorescence Microscopy (2009)
We introduce a procedure to automatically count and locate the fuorescent particles in a microscopy image. Our procedure employs an approximate likelihood estimator derived from a Poisson random...
A little set theory… • Recall that X Y = Y X? 1 A little set theory… • Recall that X Y = Y X? • Erlang has a sets library. Does this hold? A little set theory… • Recall that...
Romanticism - Volume 14, Number 3, 2008
Eric Atwell, George Demetriou, John Hughes, A Schiffrin, Clive Souter, Sean Wilcock
A comparative evaluation of modern English corpus
MULTI-LEVEL DISAMBIGUATION GRAMMAR INFERRED FROM ENGLISH CORPUS, TREEBANK, AND DICTIONARY (2008)
Eric Atwell, Simon Arnfield, George Demetriou, Steve Hanlon, John Hughes, Uwe Jost, ...
the wide and complex range of structures appearing in an unrestricted Natural Language like English, full Grammatical Inference, yielding a comprehensive syntactic and semantic definition of English,...
Exposed Datapath for Efficient Computing (2008)
Magnus Björk, Magnus Själander, Lars Svensson, Martin Thuresson, John Hughes, Jonas Karlsson, ...
Abstract — We introduce FlexCore, which is the first exemplar of a processor based on the FlexSoC processor paradigm. The FlexCore utilizes an exposed datapath for increased performance. Manually...
John Hughes, Val King, Tom Rodden, Hans Andersen, John Hughes, Val King, ...
Moving out from the control room: ethnography in system design
John Hughes, Dave R, Mark Rouncefield, Peter Tolmie
This paper reflects on the results of a long-standing ethnography of customer-facing work within a large retail Bank. Features of the contingent and skilful nature of that work, in an institution...
'Dasein of the Times': Temporal Features of Dependability (2008)
Karen Clarke, John Hughes, Dave Martin, Mark Rouncefield
This paper is a modified version of a chapter in the PA2 ‘Trustbook ’ (Clarke et al. Forthcoming) that uses our ethnographic studies of everyday work to illustrate sociological approaches to...
FlexSoC: Combining Flexibility and Efficiency in SoC Designs (2008)
John Hughes, Per Larsson-edefors, Mary Sheeran, Per Stenström, Lars “j. Svensson
The FlexSoC project aims at developing a design framework that makes it possible to combine the computational speed and energy-efficiency of specialized hardware accelerators with the flexibility of...
Comparing linguistic interpretation schemes for English corpora (2008)
Eric Atwell, George Demetriou, John Hughes, A Schiffrin, Clive Souter, Sean Wilcock
Project AMALGAM explored a range of Partof-Speech tagsets and phrase structure parsing schemes used in modern English corpus-based research. The PoS-tagging schemes and parsing schemes include some...
Type specialisation is an approach to offline program specialisation in which static information is derived by a kind of type inference rather than by evaluation or reduction. Type specialisers have...
if False then False else False (2008)
John Hughes, Simon Peyton Jones, Phil Wadler
There are several purely functional libraries for converting tree structured data into indented text, but they all make use of some backtracking. Over twenty years ago Oppen published a more...
Olaf Chitil, John Hughes, Simon Peyton Jones, Phil Wadler
There are several Haskell libraries for converting tree structured data into indented text, but they all make use of some backtracking. Over twenty years ago Oppen published a more efficient...
Editors of this report: (2008)
Monika Buscher, Tom Rodden, Monika Buscher, John Hughes, Tom Rodden
Table of contents
COMMITTEE ON ABORIGINAL CUSTOMARY LAW Members of the Northern Territory Law Reform Committee (2008)
Co-chair Honourable, Austin Asche, Ac Qc, Peter Boyce, Richard Bruxner, Stephen Gray, ...
Other Northern Territory Law Reform Committee members that assisted with the Inquiry: Hugh Bradley, Chief Magistrate
• In Erlang/QuickCheck: (2008)
A little set theory… • Recall that X ∪ Y = Y ∪ X? A little set theory… • Recall that X ∪ Y = Y ∪ X? • Erlang has a sets library. Does this hold? A little set theory… • Recall...
‘Sore Legs and Naked Bottoms’: Using Cultural Probes in Dependability Research (2008)
Andy Crabtree, Terry Hemmings, Tom Rodden, Karen Clarke, Guy Dewsbury, John Hughes, ...
Abstract: As digital technologies have matured, they have moved beyond the workplace to our everyday lives, presenting interesting methodological and research challenges. Attempting a useful input...
and Reasoning about Programs—Mechanical verification (2008)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional programs. In this...
Rank Xerox Cambridge EuroPARC (2008)
John A. Hughes, Graham Button (ed, Copyright Graham Button, Richard Harper, John Hughes, ...
“What a f-ing system! Send ’em all to the same place and then expect us to stop ’em hitting”:
John Hughes, Jing Liu, Jun Liu, Ruihao Ke, Jake Thomas, ...
Abstract: In this study, we examine the relation between implied cost of capital and expected returns under an assumption that expected returns are stochastic, a property supported by theory and...
Reporting Bias with an Audit Committee * (2008)
Judson Caskey, Venky Nagar, Paolo Petacchi, Clement Har, John Hughes, Raffi Indjejikian, ...
This study models a manager who privately reports earnings to an independent audit committee that, after due diligence, publicly reports to rational investors who then price the report. The audit...
Efficiency Properties of Impairment Accounting in Debt Contracting (2008)
Acknowledgements: The authors are grateful to Jing Liu for many discussions on this topic and David Aboody and Bruce Carlin for their comments. Efficiency Properties of Impairment Accounting in Debt...
this paper is to propagate static information via residual types. For example, when we specialise a static integer the residual expression is a dummy value, but the residual type tells us which...
Growing older digitally: designing technology for older people (2007)
Guy Dewsbury, Karen Clarke, John Hughes, Mark Rouncefield, Lan Sommerville
Cultural probes; design; ethnography and assistire technology. This paper documents work from the EPSRC 'EQUATOR ' and 'Dependability' Interdisciplinary Research Collaborations,...
Jim Buchan, Tony Clear, John Hughes
Successive ACM national and international curriculum efforts have addressed the evolving nature of the computer science curriculum. The academic discipline of computer science has been subjected to...
Haskell today provides good support not only for a functional programming style, but also for an imperative one. Elements of imperative programming are needed in applications such as web servers, or...
Nick Benton, John Hughes, Eugenio Moggi, Chalmers Univ
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception handling and so on on the other. The introduction of...
Tag Elimination and Jones-Optimality (Preliminary Report) (2007)
Abstract. Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed as having...
Rank Xerox Cambridge EuroPARC and (2007)
Copyright Graham Button, Richard Harper, John Hughes, John A. Hughes, John A. Hughes
"What a f-ing system! Send 'em all to the same place and then expect us to stop 'em hitting":
"Hang there like fruit, my soul": Tennyson's Feminine Imaginings (2007)
Victorian Poetry - Volume 45, Number 2, Summer 2007
Sangthong, Padchanee, Hughes, John, McCarthy, John E. G.
Protein synthesis utilizes a large proportion of the available free energy in the eukaryotic cell and must be precisely controlled, yet up to now there has been no systematic rate control analysis of...
Closing internal timing channels by transformation (2007)
Ro Russo, John Hughes, David Naumann, Andrei Sabelfeld
Abstract. A major difficulty for tracking information flow in multithreaded pro-grams is due to the internal timing covert channel. Information is leaked via this channel when secrets affect the...
Closing internal timing channels by transformation (2007)
Ro Russo, John Hughes, David Naumann, Andrei Sabelfeld
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secrets affect the...
Closing internal timing channels by transformation (2007)
Ro Russo, John Hughes, David Naumann, Andrei Sabelfeld
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secrets affect the...
Accessibility of condoms to young people in Manchester, UK (2006)
Sixsmith, Judith, Griffiths, John, Hughes, John, Wren, Joanne, Penfold, Steve, Natusch, Hilary
Full-text of this article is not available in this e-prints service. This article was originally published [following peer-review] in Journal of Family Planning and Reproductive Health Care,...
Accessibility of condoms to young people in Manchester, UK (2006)
Sixsmith, Judith, Griffiths, John, Hughes, John, Wren, Joanne, Penfold, Steve, Natusch, Hilary
Full-text of this article is not available in this e-prints service. This article was originally published [following peer-review] in Journal of Family Planning and Reproductive Health Care,...
Comparative academic performance of medical students in rural and urban clinical settings. (2006)
Barb Waters, John Hughes, Kevin Forbes, David Wilkinson
The significant contribution of this paper is in its simple message for doctors training – rural settings are acceptable. This is critical given the shortage of doctors, the spread of those...
Verifying Haskell programs using constructive type theory (2005)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Abstract Proof assistants based on dependent type theory are closely relatedto functional programming languages, and so it is tempting to use them to prove the correctness of functional programs. In...
Verifying Haskell programs using constructive type theory (2005)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Abstract Proof assistants based on dependent type theory are closely relatedto functional programming languages, and so it is tempting to use them to prove the correctness of functional programs. In...
Minimum distance queries for haptic rendering (2005)
David Edward Johnson, William Thompson, John Hughes, David S. Chapman
submitted by
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Alistair Bayley, ...
Finally, here is the 9th edition of the Haskell Communities and Activities Report (HCAR), almost three weeks after the submission deadline. This delay is entirely my own fault. In fact, I have to...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, ...
You are reading the 8th edition of the Haskell Communities and Activities Report (HCAR). These are interesting times to be a Haskell enthusiast. Everyone seems to be talking about darcs ( → 6.3)...
04381 Abstracts Collection -- Dependently Typed Programming (2005)
Altenkirch, Thorsten, Hofmann, Martin, Hughes, John
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 ``Dependently Typed Programming'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar,...
Haskell Communities and Activities Report (2004)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Krasimir Angelov, Alistair Bayley, Jérémy Bobbio, ...
Welcome to the Seventh edition of the Haskell Communities and Activities report. I can proudly announce that the report has survived yet another change of editor, and chances are good that this...
Testing and tracing lazy functional programs using Quickcheck and Hat (2003)
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
Dependable red hot action (2003)
Karen Clarke, John Hughes, Dave Martin, Mark Rouncefield, Corin Gurr, Mark Hartswood, ...
Abstract. We present a brief observational, ‘ethnographic’, study of the Roughing Mill in a steel plant and use material from recorded activities to provide ‘illustrative vignettes ’ of some...
Designing with care: Adapting cultural probes to inform design in sensitive settings (2003)
Andy Crabtree, Terry Hemmings, Tom Rodden, Nottingham Ng Bb, Keith Cheverst, Karen Clarke, ...
We report on the methodological process of developing computer support for former psychiatric patients living in residential care settings, for older members of the community, and disabled people...
Dependable red hot action (2003)
Karen Clarke, John Hughes, Dave Martin, Mark Rouncefield, Corin Gurr, Mark Hartswood, ...
Abstract. We present a brief observational, ‘ethnographic’, study of the Roughing Mill in a steel plant and use material from recorded activities to provide ‘illustrative vignettes ’ of some...
Parameterizing n-holed tori (2003)
Abstract. We define a parameterization for an n-holed tori based on the hyperbolic polygon. We model the domain using a manifold with 2n+ 2 charts, and linear fractional transformations for...
Dependable red hot action (2003)
John Hughes, Dave Martin, Mark Rouncefield, Ian Sommerville, Mark Hartswood, Rob Procter, ...
Abstract. We present a brief observational, 'ethnographic', study of the Roughing Mill in a steel plant and use material from recorded activities to provide ‘illustrative vignettes ’ of...
Printed in U.S.A. Earnings Quality, Insider Trading, and Cost of Capital (2003)
David Aboody, John Hughes, Jing Liu
Previous research argues that earnings quality, measured as the unsigned abnormal accruals, proxies for information asymmetries that affect cost of capital. We examine this argument directly in two...
John Hughes, Jing Liu, Mingshan Zhang, Russell Lundholm, Greg Miller, Jim Ohlson
Conference, and attendees at Carnegie Mellon and Harvard University faculty workshops. All remaining deficiencies are entirely our own. Inflation, Foreign Exchange, and Parsimonious Equity Valuation...
Testing Monadic Code with QuickCheck (2002)
QuickCheck is a previously published random testing tool for Haskell programs. In this paper we show how to use it for testing monadic code, and in particular imperative code written using the ST...
Testing Monadic Code with QuickCheck (2002)
QuickCheck is a previously published random testing tool for Haskell programs. In this paper we show how to use it for testing monadic code, and in particular imperative code written using the ST...
Binding-time analysis for polymorphic types (2001)
Partial evaluation is by now a well-established technique for specialising programs
Binding-time analysis for polymorphic types (2001)
Partial evaluation is by now a well-established technique for specialising programs [13], and practical tools have been implemented for a variety of programming languages [2, 1, 16, 5]. Our interest...
The Affective World of Charlotte Bronte's Villette (2000)
SEL Studies in English Literature 1500-1900 - Volume 40, Number 4, Autumn 2000
On-To-Knowledge: Ontology-based Tools for Knowledge Management (2000)
Fensel, Dieter, Klein, Michel, Akkermans, H., Broekstra, Jeen, Fluit, Christiaan, ...
On-To-Knowledge, the European EU-IST project No. 10132, builds an ontology-based tool environment to perform knowledge management, dealing with the large numbers of heterogeneous, distributed, and...
Patterns of home life: informing design for domestic environments (2000)
John Hughes, Tom Rodden, Mark Rouncefield, Stephen Viller
Abstract. This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design patterns...
Generalising monads to arrows (2000)
One of the distinguishing features of functional programming is the widespread use of combinators to construct programs. A combinator is a function which builds program fragments from program...
Nick Benton, John Hughes, Eugenio Moggi, Computational Types
A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception handling and so on on the other. The introduction of monads has made...
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs (2000)
QUickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random...
Editors of this report: (1999)
Andy Crabtree, John Hughes, Tom Rodden, Tom Rodden
Aesthetics.............................................................................................................................................. 6 The social shaping of the...
Virtual Organisations and the Customer: How “Virtual Organisations (1999)
John A Hughes, Dave R, All Mark Rouncefield, Peter Tolmie, John Hughes, Dave R, ...
On-Line Papers – Copyright This online paper may be cited or briefly quoted in line with the usual academic conventions. You may also download them for your own personal use. This paper must not be...
Recursion and dynamic data-structures in bounded space: Towards embedded ML programming (1999)
We present a functional language with a type system such that well typed programs run within stated space-bounds. The language is a strict, first-order variant of ML with constructs for explicit...
Recursion and dynamic data-structures in bounded space: Towards embedded ML programming (1999)
During the last decade, declarative programming has found its way to large-scale industrial practice: Erlang [AVW93] is used by Ericsson to program telecommunication systems;
The Correctness of Type Specialisation (1999)
this paper, we present our proof of correctness. We shall begin by reviewing type specialisation, and explaining the problems which foiled our earlier attempts to find a proof. Then we explain what...
Restricted Data Types in Haskell (1999)
The implementations of abstract type constructors must often restrict the type parameters: for example, one implementation of sets may require equality on the element type, while another...
Skin: A Constructive Approach to Modeling Free-form Shapes (1999)
Lee Markosian, Jonathan M. Cohen, Thomas Crulli, John Hughes
We present a new particle-based surface representation with which a user can interactively sculpt free-form surfaces. The particles maintain mesh connectivity and operate under rules that lead them...
Standard Libraries for the Haskell 98 Programming Language (1999)
For The, Simon Peyton Jones, John Hughes, Lennart Augustsson, Dave Barton, Warren Burton, ...
array :: (Ix a) =? (a,a) -? [(a,b)] -? Array a b listArray :: (Ix a) =? (a,a) -? [b] -? Array a b (!) :: (Ix a) =? Array a b -? a -? b bounds :: (Ix a) =? Array a b -? (a,a) indices :: (Ix a) =?...
Is inhibition the hallmark of expectancy in perceptual identification? (1998)
Includes bibliography.
Alternate pages blank. Facsimile of the author's original dissertation. Includes bibliographical references.
A Type Specialisation Tutorial (1998)
Introduction The essence of partial evaluation is beautifully simple: we just take a program, together with values of some of its inputs; we perform the operations that depend only on known inputs,...
A type specialisation tutorial (1998)
The essence of partial evaluation is beautifully simple: we just take a program, together with values of some of its inputs; we perform the operations that depend only on known inputs, build a new...
Ethnography, Communication and Support for Design (1997)
John Hughes, Jon O Brien, Tom Rodden, Mark Rouncefield
This paper reflects on our experiences in supporting communication between fieldworkers and the designers of cooperative systems. We have investigated the nature of this communication by using a tool...
Type Specialisation for Imperative Languages (1997)
Dirk Dussart John, John Hughes, Peter Thiemann
We extend type specialisation to a computational lambda calculus with first-class references. The resulting specialiser has been used to specialise a self-interpreter for this typed computational...
Type Specialisation for Imperative Languages (1997)
Dirk Dussart, John Hughes, Peter Thiemann
We extend type specialisation to a computational lambda calculus with first-class references. The resulting specialiser has been used to specialise a self-interpreter for this typed computational...
Proving the correctness of reactive systems using sized types (1996)
John Hughes, Lars Pareto, Amr Sabry
{ rjmh, pareto, sabry We have designed and implemented a type-based analysis for proving some baaic properties of reactive systems. The analysis manipulates rich type expressions that contain...
Proving the correctness of reactive systems using sized types (1996)
John Hughes, Lars Pareto, Amr Sabry
We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis manipulates rich type expressions that contain information about the sizes...
Proving the Correctness of Reactive Systems Using Sized Types (1996)
John Hughes, Lars Pareto, Amr Sabry
We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis manipulates rich type expressions that contain information about the sizes...
Proving the Correctness of Reactive Systems Using Sized Types (1996)
John Hughes, Lars Pareto, Amr Sabry
We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis manipulates rich type expressions that contain information about the sizes...
Systematic Design of Monads (1996)
Many useful monads can be designed in a systematic way, by successively adding facilities to a trivial monad. The capabilities that can be added in this way include state, exceptions, backtracking,...
Automatic Extraction of Tagset Mappings from Parallel-Annotated Corpora (1995)
Hughes, John, Souter, Clive, Atwell, Eric
This paper describes some of the recent work of project AMALGAM (automatic mapping among lexico-grammatical annotation models). We are investigating ways to map between the leading corpus annotation...
The role of ethnography in interactive systems design (1995)
John Hughes, John Hughes, Val King, Val King, Tom Rodden, Tom Rodden, ...
The role of ethnography in interactive systems design
Visual Interfaces for Solids Modeling (1995)
Cindy Grimm, David Pugmire, Mark Bloomenthal, John Hughes, Elaine Cohen
This paper exploresthe use of visual operators for solids modeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these operators have a...
We present a natural semantics that models the untyped, normal order -calculus plus McCarthy's amb in the context of call-by-need parameter passing. This results in a singular semantics for amb....
The Design of a Pretty-printing Library (1995)
Layouts We'll begin by looking for an abstract model of a pretty-printer's output --- that is, prettily indented text. We could say that the output is just a string, but a string has so...
Haskell++: An Object-Oriented Extension of Haskell (1995)
John Hughes, Jan Sparud, Goteborg Sweden
this paper we show how to translate an object-oriented language into Haskell instead. Our translation is rather similar to Pierce and Turner's, but where they use subtyping to allow an inherited...
Presenting Ethnography in the Requirements Process (1995)
John Hughes, Jon O'Brien, John Hughes, Tom Rodden, Tom Rodden, Mark Rouncefield, ...
this paper we argue that industrial development of interactive systems has to recognise the social dimension of work if they are to fully meet the real needs of their users Under current approaches...
Automatic Extraction of Tagset Mappings from Parallel-Annotated Corpora (1995)
Parallel-annotated Corpora, John Hughes, Clive Souter, Eric Atwell
Several research projects around the world are building grammatically analysed corpora; that is, collections of text annotated with part-of-speech wordtags and syntax trees. However, projects have...
A Unified MultiCorpus for Training Syntactic Constraint Models (1994)
Eric Atwell, John Hughes, Clive Souter
PoW, Nijmegen, UPenn, BNC, etc) are used as training data for statistical syntactic constraint models to improve recognition accuracy in speech and handwriting recognisers. However, linguists...
Amalgam: Automatic mapping among lexicogrammatical annotation models (1994)
Eric Atwell, John Hughes, Clive Souter
Several Corpus Linguistics research groups have gone beyond collation of 'raw ' text, to syntactic annotation of the text. However, linguists developing these lin-guistic resources have...
Moving Out From the Control Room: Ethnography in System Design (1994)
John Hughes, John Hughes, Val King, Val King, Tom Rodden, Tom Rodden, ...
Ethnography has gained considerable prominence as a technique for informing CSCW systems development of the nature of work. Experiences of ethnography reported to date have focused on the use of...
AMALGAM: Automatic Mapping Among Lexico-Grammatical Annotation Models (1994)
Eric Atwell, John Hughes, Clive Souter
Several Corpus Linguistics research groups have gone beyond collation of `raw' text, to syntactic annotation of the text. However, linguists developing these linguistic resources have used quite...
A Methodical Approach to Word Class Formation Using Automatic Evaluation (1994)
Automatic inference of a classification of words has been carried out by several researchers recently. Although they use a variety of methods they all exploit the statistical redundancy inherent in...
The Automated Evaluation of Inferred Word Classifications (1994)
. Although automatically inferring classifications of words has been attempted by many researchers recently, no formal attempts to evaluate their results were made. Instead they relied on a looks...
Fast Abstract Interpretation Using Sequential Algorithms (1993)
Cj C. Clack, S. L. Peyton, Jones Strictness, Fh A. Ferguson, John Hughes, ...
Interpretation of Higher-Order Functions using Concrete Data Structures. In Functional Programming, Workshops in Computing, Glasgow, 1992. Springer-Verlag. [HF92] J. Hughes and A. Ferguson. A...
A Loop-detecting Interpreter for Lazy, Higher-order Programs (1992)
John Hughes, Chalmers Tekniska Hogskola, Alex Ferguson
Interpreters that detect some forms of non-termination have a variety of applications, from abstract interpretation to partial evaluation. A simple and often used strategy is to test for a repeated...
Implementing Projection-based Strictness Analysis (1992)
Ryszard Kubiak, John Hughes, John Launchbury
Projection-based backwards strictness analysis has been understood for some years. Surprisingly, even though the method is fairly simple and quite general, no reports of its implementation have...
Report on the programming language Haskell: A non-strict, purely functional language (1992)
Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, ...
Relational Reversal of Abstract Interpretation (1992)
HUGHES, JOHN, LAUNCHBURY, JOHN
Many semantic analyses of functional languages have been developed using the Cousots’ abstract interpretation framework. Some operate on abstract values representing the past history of the...
Projections for Polymorphic First-Order Strictness Analysis (1991)
this paper, that results from this kind of analysis are, in a sense, polymorphic. This confirms an earlier conjecture [19], and shows how the technique can be applied to first-order polymorphic...
CSCW: Discipline or Paradigm? A sociological perspective (1991)
John Hughes, Dave R, Dan Shapiro
We argue there is still much confusion about what is meant by cooperative work, and therefore what is meant by CSCW. It does not arise simply where more than one person is involved, and other...
Why functional programming matters (1989)
As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can...
Why functional programming matters (1989)
This paper dates from 1984, and circulated as a Chalmers memo for many years. Slightly revised versions appeared in 1989 and 1990 as [Hug90] and [Hug89]. This version is based on the original...
SnR30: a new, essential small nuclear RNA from Saccharomyces cerevisiae (1988)
Bally, Marc, Hughes, John, Cesareni, Gianni
The gene for a previously unidentified small nuclear RNA has been cloned from Saccharomyces cerevisiae and its nucleotide sequence has been determined. The RNA, snR30, was mapped to a unique coding...
La filosofía de la investigación social / J. Hungles ; tr. por. Juan José Utrilla. (1987)
Traducción de: The Philosophy of Social Research
Why Functional Programming Matters (1984)
As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can...
The structure and expression of the preproenkephalin gene (1982)
Legon, Steve, Glover, David M., Hughes, John, Lowry, Philip J., Rigby, Peter W. J., Watson, Christine J.
Enkephalins are pentapeptides with opioid activity which are found in a wide variety of tissues. Studies of enkephalin-containing peptides from the adrenal gland have established that the mature...
Acis and Galatea, HWV 49a (1978)
Haendel, Georg Friedrich (música), Gay, John (texto), Pope, Alexander (texto), Hughes, John (texto), Burrowes, Norma (voz), Johnson, Anthony Rolfe (voz), ...
Nacido en Halle en 1685 y muerto en Londres en 1759, el alemán Georg Friedrich Haendel en realidad creó la mayor parte de su música en Inglaterra, luego de un intento previo para establecerse en...
University Microfilms order no. Mic. 61-1284.
xvi, 243 p. :
Valuation and Accounting for Inflation and Foreign Exchange
JOHN HUGHES, JING LIU, MINGSHAN ZHANG
Inflation and foreign exchange raise new issues with respect to accounting representations of equity value. For example, inflation creates an earnings illusion as an artifact of the mismatching of...
Earnings Quality, Insider Trading, and Cost of Capital
DAVID ABOODY, JOHN HUGHES, JING LIU
Previous research argues that earnings quality, measured as the unsigned abnormal accruals, proxies for information asymmetries that affect cost of capital. We examine this argument directly in two...
Morgan, Kevin, Stevens, Edward B., Shah, Bhaval, Cox, Peter J., Dixon, Alistair K., Lee, Kevin, ...
The voltage-sensitive sodium channel confers electrical excitability on neurons, a fundamental property required for higher processes including cognition. The ion-conducting α-subunit of the channel...
Distributed control for recruitment, scanning and subunit joining steps of translation initiation
Sangthong, Padchanee, Hughes, John, McCarthy, John E. G.
Protein synthesis utilizes a large proportion of the available free energy in the eukaryotic cell and must be precisely controlled, yet up to now there has been no systematic rate control analysis of...
Field, Mark J, Hughes, John, Singh, Lakhbir
Current analgesic therapy is dominated by NSAIDs and opiates, however these agents have limited efficacy in the treatment of neuropathic pain. The novel anticonvulsant agent gabapentin (Neurontin)...
Material properties of brachiopod shell ultrastructure by nanoindentation
Pérez-Huerta, Alberto, Cusack, Maggie, Zhu, Wenzhong, England, Jennifer, Hughes, John
Mineral-producing organisms exert exquisite control on all aspects of biomineral production. Among shell-bearing organisms, a wide range of mineral fabrics are developed reflecting diverse modes of...
The roles of accounting in organizations and society
Burchell, Stuart, Clubb, Colin, Hopwood, Anthony, Hughes, John, Nahapiet, Janine
Assessing the Impact of Export Taxes on Canadian Softwood Lumber
Joy Begley, John Hughes, Judy Rayburn, David Runkle
This study examines stock price reactions, for both U.S. and Canadian softwood-lumber producers, to a series of events culminating in the 1986 Memorandum of Understanding under which Canada agreed to...
Varenicline in the treatment of tobacco dependence
Fagerström, Karl, Hughes, John
Varenicline, a partial agonist of α4β2 nicotinic acetylcholine receptors, is the most recently approved drug for smoking cessation. This paper reviews the outcomes of Phase 2 and Phase 3 clinical...
John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon Peyton Jones, Philip Wadler
Graph reduction underlies most implementations of lazy functional languages, allowing separate computations to share results when subterms are evaluated. Once a term is evaluated, the node of the...
Understanding Technology in Domestic Environments: Lessons for Cooperative Buildings
. This paper considers the nature of interactive technology within domestic environments and how we might want to consider the design of technology for domestic environments. As part of this work it...
John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon Peyton Jones, Philip Wadler
Graph reduction underlies most implementations of lazy functional languages, allowing separate computations to share results when subterms are evaluated. Once a term is evaluated, the node of the...
Implementation of SIC 2007 across the Government Statistical Service (GSS)
Standard Industrial Classification (SIC) is a method of classifying businesses by their type of economic activity. The classification is used in the collection and presentation of data across the...