Poly[bromo(-Thiocapro- - Lactam- Gold Mar(Correct)
Qu mica, Universidad Michoacana de San Nicola s de Hidalgo, Ciudad Universitaria, 58060 Morelia, Mich. journals.iucr.org/c/issues/2004/08/00/fa1058/fa1058.pdf
An Adaptive Triangulation Refinement Scheme and . . . - Persiano, al. (1993)(Correct)
and surfaces in Euclidean spaces (ALLGOWER[1987]MIRANDA[89]SALIM[1991]CASTELO[1990]and to
have been called CoxeterFreudenthal -Kuhn (CFK) MIRANDA[1989]and have been used in several
Methods in Fluids, vol. 14, pp. 1407-1419, 1992. MIRANDA, J. and TAVARES, G.Mtodos Simpliciais em www-graphics.stanford.edu/~comba/papers/adptri93.ps.gz
Global Multimedia System Design Exploration using.. - Vandecappelle.. (1999)(Correct)(3 citations)
Feedback Arnout Vandecappelle, Miguel Miranda, Erik Brockmeyer, Francky Catthoor, Diederik
Kapeldreef 75, 3001 Heverlee, Belgium vdcappel,miranda,brockmey,catthoor,verkest imec.be Abstract
8(6)719-723, Oct. 1998. 6] P. Ellervee, M. Miranda, F. Catthoor, and A. Hemani. Exploiting data www.imec.be/design/dtse/pdf/Vdc99.pdf
Partial Intersection Type Assignment in Applicative Term.. - van Bakel (1993)(Correct)(2 citations)
model for the functional programming language Miranda [22]term rewriting systems are used in the
Most functional programming languages, like Miranda for instance, allow programmers to specify an
the strategy as used in languages like for example Miranda. Unfortunately, it is not sufficient to www.doc.ic.ac.uk/~svb/Publications/Papers/TLCA93.ps.gz
The Constant-Velocity Highly Collimated Outflows Of The.. - Mart' In Guerrero(Correct)
HE 2-90 Mart' in A. Guerrero 1,2 Luis F. Miranda 3 You-Hua Chu 1,2 M' onica Rodr' iguez
outflows are frequently seen in PNs (Guerrero, Miranda, Chu 2000 Goncalves, Corradi, Mampaso 2001,
IC 4997 (Balick 1989 Goodrich 1991 Solf 1994 Miranda, Torrelles, Eiroa 1996 Bujarrabal et al. www.astro.uiuc.edu/~mar/preprint.He2-90.ps
A General Framework for Discrete-event Simulation Using.. - Field And(Correct)
use in this paper is an extension to that of the Miranda programming language, as described in [1]A
product (tuple) types-these are not a feature of Miranda but are easily mimicked at some notational www-ala.doc.ic.ac.uk/~ajf/research/../papers/simulation/final.ps
A Free Logical Foundation for Nonstrict Functions - Gumb, Lambert(Correct)
errors. This is most natural in languages such as Miranda and haskell in which execution is aborted
logic of lazy languages such as haskell and Miranda. 2 Nonstrict Positive Free Logic: xiomatization
Berlin, 1979. 16. Simon Thompson. A logic for Miranda. Formal Aspects of Computing, 1:339-365, 1989. ftp.cs.bham.ac.uk/pub/authors/M.Kerber/96-CADE-WS/GumbLambert.ps.gz
Robustness and Scalability of Algebraic Multigrid - Cleary, Falgout, Henson.. (1998)(Correct)(4 citations)
Y Stephen F. Mccormick Y Gerald N. Miranda Z And John W. Ruge X Abstract. Algebraic
Numer. Anal.22 (1985)pp. 634-643. 24] G. N. Miranda, Interpolation weights of algebraic multigrid,
E. Jones, T. A. Manteuffel, S. F. McCormick, G. N. Miranda, and J. W. Ruge, Robustness and scalability of www.llnl.gov/CASC/people/henson/postscript/AMG_pap.revised.ps
Development of a Prototype Geometric Modelling System using .. - Checkland, Runciman (1992)(Correct)(1 citation)
though initially development took place using Miranda 1 The Geometric Modelling System (GMS) is
of the part played by Haskell. We also briefly 1 Miranda is a trademark of Research Software Ltd.
the prototype, the type num supplied by Miranda was used. Unfortunately this number system hides ftp.dcs.gla.ac.uk/pub/flare/papers/ycs162.ps.Z
What Can E-Services Learn From Microcredit Schemes? - Mowbray (2002)(Correct)
can e-services learn from microcredit schemes? Miranda Mowbray Internet Systems and Storage Laboratory
can e-services learn from microcredit schemes? Miranda Mowbray, Hewlett Packard Laboratories Bristol
Janelle Brown (2001)Three Case Studies. In Miranda Mowbray and Chris Werry (eds)Online www.hpl.hp.com/techreports/2002/HPL-2002-49.pdf
An educational role for GOFER? - Wraith (1993)(Correct)
to study computer science. languages (Hope, ML, MIRANDA, HASKELL et al)HASKELL is the first functional
hadprovedthemselves useful. It closelyresembles MIRANDA (a trademark of Research Software Ltd) which
University/ Glasgow University, August (1991) Miranda:anon-strictfunctionallanguagewithpolymorphic www.bham.ac.uk/ctimath/reviews/may93/gofer.pdf
Lambda Calculus with Patterns - van Oostrom (1990)(Correct)(3 citations)
[Bar84]In [Pey87] a translation of a subset of Miranda 1 is given in two steps, first into an
applicable to instantiations of the pattern. 1 Miranda is a trademark of Research Software Limited. ftp.cs.vu.nl/pub/papers/theory/IR-228.ps.Z