HDTenEightyP/NetNews huggingface dataset:
From: scott@bbx.basis.com (Scott Amspoker)
Newsgroups: comp.music,rec.music.makers
Subject: A/D and D/A converters (was: Advice on DAT recorders)
Date: 16 Dec 92 19:51:00 GMT
Organization: BASIS International, Ltd., Albuquerque NM USA

In article <1992Dec16.121024.26443@intacc.uucp> zerobeat@intacc.uucp (Ferenc Szabo) writes:
>                                As far as sound quality goes, I would
>have to A/B them side by side but I suspect they both fall in between
>the 'great' and 'excellent' category (as opposed the consumer DAT 'ok'
>category or the super expensive A/D D/A converter 'stupendously superbly
>wonderful' category)
>
>These are very scientific terms don't ya know.

A recent issue of "Mix" magazine had a review of 4 top-of-the-line
converters.  These converters cost several thousands of dollars (I
believe some were over $10,000).  The review had bad things to say
about all of them.  One of them was described as having a slight
"megaphone" quality on vocals.  Well, I sure as hell don't want *my*
vocal parts to sound like a megaphone.  The review concluded that
each of these converters had its strengths and weaknesses and that no
one converter was best for every recording application.  This means
I have to spend about $40,000 on converters lest I deeply offend
anybody's ears.  Heaven help me if I use the wrong converter for any
one part.  In the meantime I'll have go put my SV-3700 out in the 
*neighbor's* garbage and get a second mortgage on my house.

It's a fine line between wanting to push the envelope and blatant 
snobbery.

-- 
Scott Amspoker                       |    
Basis International, Albuquerque, NM |  Too bad ignorance isn't really
                                     |  bliss.  Then it could be outlawed.
scott@bbx.basis.com                  |
Newsgroups: comp.music
From: lm011@aix370.rrz.Uni-Koeln.DE (Alexander Tuchacek)
Subject: RE: VRmusic freightship harbour hamburg 
Keywords: art, science 
Reply-To: lm011@aix370.rrz.Uni-Koeln.DE (Alexander Tuchacek)
Organization: Regional Computing Center, University of Cologne, F. R. Germany
Date: Sat, 12 Dec 92 15:13:35 GMT



Call for international participation in new art/science project.
KNOWBOTIC RESEARCH
Simulation Room -Mosaic of Mobile Sound Data
We are a group of artists and scientists at the Academy of Media
Arts Cologne,  and will be showing a VR installation in February at
the MEDIALE93 - Festival for Media Arts and Media Future - in
Hamburg, Germany. The installation, housed in the freight ship Cap
San Diego in Hamburg - harbour, has three main areas.
Section one is a sophisticated, walk - in data - base  utilising a
collection of sound samples from around the world, which will be
used to produce a virtual 'sound room'.  The sound data will
correspond to the second section,  a physical room, where visitors
will be able to navigate through the space with the aid of a mobile
ultrasonic sensor and an artificial eye display and activate the data 
to a realtime-concert.
The action of the visitors, within  this 'virtual organism,' will be
displayedon a video screen shown in a control room area (the third
area).
We welcome your participation for the international sound - data -
base: To participate in this international project we need from you a
6 second long sound sample, a cultural statement, reflecting
your personal attitude towards the "world". Please send this via
email or ftp. (aiff, wave, next formats)
All participants and institutions will be credited in a publicly
displayed database during the exhibition.
For more information by email from: kr+cf@khm.uni-koeln.de
Thank you for your support - KNOWBOTIC RESEARCH

Newsgroups: comp.music
From: sosc1092@wc14.writer.yorku.ca (Vijay Doobay)
Subject: Gravis Ultra Sound Card
Organization: York University
Distribution: Anywhere, and Everywhere
Date: Mon, 14 Dec 1992 16:36:43 GMT


Does anyone out there, have the Advanced Gravis UltraSound card for the  
PC?  I upgraded to that card from my Sound Blaster 1.5, and there is a  
world of difference.  However, the software that the Ultrasound comes with  
SUCKS.  First, it takes 30 minutes to install to the hard drive, and then,  
it doesn't even make the right changes to the Autoexec.bat file.  Nor the  
Config.sys file.  
4 of my friends bought the card, and they too, had problems with it.  

What my main problem it this:  How do I get that card to work with all the  
big MIDI programs like Balade, CakeWalk, and stuff like that?

This is really annoying me.

If someone can help, it would be greatly appreciated.

Mr. Vijay Doobay
York University
Newsgroups: comp.music
From: rene@sci.kun.nl (Rene Schreurs)
Subject: MOD-player + source for Sound Blaster wanted
Organization: University of Nijmegen, The Netherlands
X-Newsreader: NN version 6.4.19
Date: Thu, 17 Dec 1992 09:53:53 GMT

Hello,

I am looking for a MOD-player + source code for the sound blaster.
I'm planning to write a MOD-player that will work under Linux,
but have no idea of how to get started. Any hints would be great!

Rene.

rene@sci.kun.nl
From: grahame@skyfox
Newsgroups: comp.music
Subject: WANTED: used Master Tracks Pro for the PC
Date: 16 DEC 92 02:20:50 GMT
Organization: University of Saskatchewan
Distribution: inet
NNTP-Posting-Host: sask.usask.ca


I'm looking for a used copy of MT pro for the PC. If you've
got one you'd be willing to part with, email me at

Grahame@Sask.Usask.CA

Thanks
JG
From: tor@agon.sublink.org (Paolo Tortiglione)
Newsgroups: comp.music
Subject: Re: HMSL mailing list
Date: 9 Dec 92 22:50:39 GMT
Organization: Acoustic & Computer Music Researchs and Productions

tom@mills.edu (Tom Erbe) writes:

> I have started a mailing list dedicated to the discussion of HMSL
> (Hierarchical Music Specification Language).  If you would like to join,
> send a note to hmsl-request@mills.edu.

I'm very interested about.
Please add me to mailing list
Bye


~~~
   |)   Paolo Tortiglione        	Internet : tor@agon.sublink.org 
  /|_   Viale Monte Penice, 10  	Fidonet  : 2:331/316.9         
 ((|,)  I-20089 Rozzano (MI)     	Tel:     : +39-2-825.40.66     
  ~|~   Italy                  	        FAX      : +39-2-825.40.66
From: hahn@csd4.csd.uwm.edu (David James Hahn)
Newsgroups: comp.music
Subject: PC software : Query
Date: 19 Dec 1992 19:12:53 GMT
Organization: Computing Services Division, University of Wisconsin - Milwaukee
Distribution: world
NNTP-Posting-Host: 129.89.7.4
Originator: hahn@csd4.csd.uwm.edu

I recently posted to this news group (about 1 week ago), asking about
music software available for the PC.  The only response I got was from
some guy telling me to by a MAC.  I have several good reasons not to
buy a MAC, but in any case, music is not my prime motive for the 
purchasing of a computer.  So, if anybody uses a PC and has any decent
music software, such as scoring, etc... I would really appreciate  
ya letting me know about it.  There has to be something available! Right?

				Thanks a bunch,
					
						David Hahn


-- 
David Hahn
hahn@csd4.csd.uwm.edu
Newsgroups: comp.music
From: jbaxter@leland.Stanford.EDU (Joel Kent Baxter)
Subject: Using ArcMac on the IIfx
Organization: DSG, Stanford University, CA 94305, USA
Date: Sun, 13 Dec 92 06:16:37 GMT

As I continue to monopolize the newsgroup...

ArcMac is still goofing, but I found an interesting workaround that anyone else
who has troubles with it might want to hear.

ArcMac comes in a self-extracting archive, in its own (".arc") format.  So when
you double-click this archive, it starts up a streamlined version of its own
extraction routine, with the ArcMac file name as the default archive-to-be-
decompressed.  Instead of decompressing ArcMac, change the default name in the
"archive" field to that of an ".arc" file that you want to decompress, and then
execute the extraction routine.

The above probably isn't too coherent unless you actually have the ArcMac
archive, but if you don't have it, then you don't care anyway, right? :)

BTW, I think the reason that this works is that the Martian Operating System
(I'm not making that up) of ArcMac is NOT installed for the little self-
extraction routine, but it IS installed when you try to use the full-blown
ArcMac.  The MOS may therefore be what's arguing with the innards of the IIfx.

BTW #2: I'm still looking for a de-"arc"-ing utility that actually works...


						JB

Xref: sparky comp.specification:588 comp.software-eng:5044
From: dnj+@CS.CMU.EDU (Daniel Jackson)
Newsgroups: comp.specification,comp.software-eng
Subject: partial, static analyses for rev. engineering, etc
Keywords: verification, analysis, maintenance, reverse engineering
Date: 17 Dec 92 21:48:10 GMT
Article-I.D.: cs.BzFB8C.Hu1.2
Followup-To: daniel.jackson@cs.cmu.edu
Organization: Carnegie Mellon University




I'm looking for papers about applying static analysis to software
maintenance problems.  The topics I'm interested in are:

-- partial specification and partial verification schemes
-- static analysis for reverse engineering, bug detection, determining the
       scope of changes, etc.
-- application of formal methods to reverse engineering, reengineering, and
       all those other buzzwords.

I'd be very grateful for any pointers.  I'll summarize responses if there's
interest.


Please email me at daniel.jackson@cs.cmu.edu.



--Daniel Jackson
Newsgroups: comp.specification
From: ajit@iitb.ernet.in (Ajit K. Jena)
Subject: Formal Description of Multimedia Synchronization Mechanisms
Organization: Indian Institute of Technology, Bombay
Date: Sat, 12 Dec 1992 05:13:16 GMT

Hello all,

I am a researcher interested in multimedia communication.

I am looking for reference material in the following area:

"Application of Formal Techniques in specification and
design of synchronization schemes in Multimedia Communication
environment".

Since our newsfeed is not very stable and this topic may
not be of general interest, please mail me all your responses.
I will summarise on the net if there is enough interest.

Thanks.

--ajit
-- 
-----------------------------------------------------------------------
Ajit K. Jena                                    Email: ajit@iitb.ernet.in
Software Engineer                               Voice: +91-22-5783177
Computer Centre                                        +91-22-5782545
Newsgroups: comp.database.theory,comp.specification
From: slotosch@Informatik.TU-Muenchen.DE (Oscar Slotosch)
Subject: Database Specification available?
Keywords: Database,Specification,ADT,DB,DBS
Originator: slotosch@sunbroy5.informatik.tu-muenchen.de
Organization: Technische Universitaet Muenchen, Germany
Date: Wed, 16 Dec 1992 09:48:49 GMT


Hello,

I should specify a Database System in Terms of Abstract Data Types
and I want to Know:
        Does a Specification of a DBS already exist?
        Has anybody experience?
        Or is it impossible?

Thanks,
        Oscar
-----------------------------------------------------------------------
Oscar Slotosch                     slotosch@informatik.tu-muenchen.de
Technische Universitaet Muenchen   Tel.: ++49/89/2105-8172
Institut fuer Informatik           Fax: ++49/89/2105-8232
Arcisstr. 21
8000 Muenchen 2
Germany


Xref: sparky comp.specification:579 comp.specification.z:499 comp.lang.functional:1456 comp.theory:2698 comp.software-eng:4956
From: rosalind@logcam.co.uk (Rosalind Barden)
Newsgroups: comp.specification.z
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Date: 18 Dec 92 11:18:17 GMT
X-Mailer: mail-news 2.0.3


The Oxford and Cambridge club do not allow women to be full members.
This caused distress to a number of people at the conference.

When Mike states that 'lots of "ladies" attended the dinner', this is
not quite accurate.  

There were few women at the conference and all those that I spoke to were
angry that women can still be treated this way.

A group of us attended the dinner only because an apology was made to the
conference for any offence which the venue might have cause and because
Mike Hinchey undertook to write to the club on behalf of the conference
to protest.  None the less there were several that I know of who did not
attend the dinner because of the rules of the club.

By the way Mike, could you supply me with the name and address of the
person to contact at the club as I wish to write expressing my feelings.

Rosalind Barden
From: Michael.Hinchey@cl.cam.ac.uk
Newsgroups: comp.specification.z
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Date: 17 Dec 92 23:47:41 GMT
Organization: U of Cambridge Computer Lab, UK
X-Mailer: mail-news 2.0.3


| btw ... i assume that the oxford & cambridge club allow
| women (sorry, i expect that ought to be "ladies") in?

Yes, of course they do!!   Lots of "ladies" attended the dinner.
But I should warn you that I was scolded to referring to "ladies"
rather than women.

| sif so, what do they have to wear?

Apparently, they have to dress "appropriately"; I have no idea what
that means, but presumably it doesn't mean "black tie" (or even white
tie -- see previous posting!)
Newsgroups: comp.specification.z
From: maney@netcom.com (George Maney)
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AGM
Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
Date: Wed, 16 Dec 1992 21:11:16 GMT

Robert-

roberto@dcs.gla.ac.uk (roberto) writes:
> Jonathan Bowen (Jonathan.Bowen@prg.oxford.ac.uk) writes:
> 
> [Invitation for the meeting deleted]
> 
> | .................    Please note however that a jacket and tie are required at 
> | the Oxford and Cambridge University Club(!).    ***************************
> 
> It has been a couple of weeks now since I first heard about this requirement 
> to attend both the Z User Group AGM and the Z User Meeting Conference Dinner. 
> 
> After some thought, I still think this requirement is unnappropriate for an 
> otherwise quite informal workshop (The Z Meeting). 
> 
> So, I am inclined not to attend any of them, even though I am going to 
> the Z meeting. Perhaps, if enough people thinks the same way this 
> requirement could be relaxed (e.g. Jacket but no tie).
> 
> Roberto Barros

It seems clear to me that a dinner jacket and tie are exactly the right attire 
for discussing a formal method.  My question is about the degree of formality:  
is Z black tie, or is it white tie?

-George
From: Michael.Hinchey@computer-lab.cambridge.ac.uk (Michael Hinchey)
Newsgroups: comp.specification.z
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Date: 18 Dec 92 14:09:34 GMT
X-Mailer: mail-news 2.0.3


 rosalind@logcam.co.uk (Rosalind Barden) writes :

|When Mike states that 'lots of "ladies" attended the dinner', this is
|not quite accurate.

Sorry, "lots" was perhaps an exaggeration, but I was pleased that quite
a number of ladies did attend.

|There were few women at the conference and all those that I spoke to were
|angry that women can still be treated this way.

It was not only the ladies who were angry; I think the vast majority of
the gentlemen at the conference felt this way too.  I should point out
that the club membership committee are completely in favour of granting
full membership to ladies.  Unfortunately the last vote was disrupted by
a group of (young) male members who wished to keep ladies out.  I am
confident that ladies will be granted full membership in the near future.
I should point out however that a number of lady associate members do not
want full membership granted to ladies as their membership fees would
increase ten-fold.  That is beside the point of course -- it's the principle
of the thing.

|A group of us attended the dinner only because an apology was made to the
|conference for any offence which the venue might have cause and because
|Mike Hinchey undertook to write to the club on behalf of the conference
|to protest .....

I will write to the club before Monday and post a copy of the letter to
this newsgroup.  This newsgroup is for the discussion of matters related
to Z and the Z User Group.  I hope that it will not become a forum for
political matters, regardless of how strongly we all feel about this matter.

Neither I, nor the Z User Group committee in any way support the club's
position in relation to the membership of ladies.

|By the way Mike, could you supply me with the name and address of the
|person to contact at the club as I wish to write expressing my feelings.

Certainly Rosalind.  If you and anyone else wants to write in addition to
the letter that I will send on behalf of the ZUG committee and ZUM'92,
then I suggest that you write to :

        Mr. D. Gwynne,
        Membership Secretary,
        United Oxford & Cambridge University Club,
        71 - 77 Pall Mall,
        LONDON
        SW1Y 5HD

Again, I regret any offence caused to anyone (female or male) attending
the meeting.  When we booked the club, we essentially had nowhere else
to host the dinner, and were sure the the last vote to admit ladies would
have gone through.  The booking was made with the best of intentions, and
certainly was not indented to cause offence to the ladies who attended ZUM'92.

-- Mike Hinchey.
Newsgroups: comp.specification.z
From: des@inmos.co.uk (David Shepherd)
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
X-Newsreader: TIN [version 1.1 PL8]
Date: Thu, 17 Dec 92 18:16:34 GMT

btw ... i assume that the oxford & cambridge club allow
women (sorry, i expect that ought to be "ladies") in?
if so, what do they have to wear?

--
--------------------------------------------------------------------------
david shepherd: des@inmos.co.uk or des@inmos.com    tel: 0454-616616 x 625
                inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq
                1992: celebrate the quincentenary of columbus getting lost
From: Michael.Hinchey@cl.cam.ac.uk (Michael Hinchey)
Newsgroups: comp.specification.z
Subject: Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Date: 17 Dec 92 12:39:29 GMT
X-Mailer: mail-news 2.0.3

M

maney@netcom.com (George Maney) writes :


|It seems clear to me that a dinner jacket and tie are exactly the right attire
|for discussing a formal method.  My question is about the degree of formality:
|
|is Z black tie, or is it white tie?


Well, standard etiquette is that white tie is only worn with tails; black tie
otherwise.

Of course, in the Z world, white tie is only worn if you're doing full proofs
and refinement (using one of those really fancy support tools); black tie
if you're merely formalising requirements.

-- Mike Hinchey
   Treasurer, Z User Group
Xref: sparky comp.specification:591 comp.software-eng:5086
From: wieand@cs.ucsd.edu (Bruce Wieand)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: partial, static analyses for rev. engineering, etc
Keywords: verification, analysis, maintenance, reverse engineering
Date: 18 Dec 92 23:46:54 GMT
Followup-To: wieand@cs.ucsd.edu
Organization: =CSE Dept., U.C. San Diego

In article <BzFB8C.Hu1.2@cs.cmu.edu> dnj+@CS.CMU.EDU (Daniel Jackson) writes:
>
>
>
>I'm looking for papers about applying static analysis to software
>maintenance problems.  The topics I'm interested in are:
>
>-- partial specification and partial verification schemes
>-- static analysis for reverse engineering, bug detection, determining the
>       scope of changes, etc.
>-- application of formal methods to reverse engineering, reengineering, and
>       all those other buzzwords.
  ...


If anyone else is interested in these subjects, they should take a look
at the QDA project at UCSD.  We have developed a method for using partial
specifications in the maintenance of assembly code.  (We call them
incremental operational specifications.)  We have produced a tool for
analyzing the specifications and have experimented with the tool on a
well-tested operational flight program for an aircraft.  The tool has
proved effective in revealing a variety of problems in the software.

The ideas that are embodied in the QDA project are several years old
and are described in several places.  The early ideas come from Howden's
book on testing.  Our latest work includes the development of a similar
tool for Ada.

Bruce Wieand

wieand@cs.ucsd.edu
From: wm@uni-paderborn.de (Wolfgang Mueller)
Newsgroups: comp.specification
Subject: Formal Semantics of ADA?
Date: 14 Dec 1992 16:48:27 GMT
Organization: Uni-GH Paderborn, Germany
Distribution: world
NNTP-Posting-Host: picasso.uni-paderborn.de


I'm looking for any pointers to the formal semantics of ADA  
preferring the classical denotational definition. Any other styles 
are welcome as well.

Thank you in advance.

   wolfgang

-- 
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| Wolfgang Mueller  |       Tel.  : (+49) (+) 5251-284 141              |
| CADLAB            |       Fax   : (+49) (+) 5251-284 140              |
| Bahnhofstr. 32    |       E-Mail: wolfgang@cadlab.cadlab.de           |
| W-4790 Paderborn  |               wolfgang@cadlab.uucp                |
| Germany           |               ...!uunet!unido!cadlab!wolfgang      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Newsgroups: comp.specification
From: max@megatek.com (Max Elliot)
Subject: Re: FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION (SUMMARY of RESPONSES)
Organization: Megatek Corporation, San Diego, California
Date: Fri, 18 Dec 1992 00:47:37 GMT

From article <1992Dec17.093853.20398@iitb.ernet.in>, by ajit@iitb.ernet.in (Ajit K. Jena):
> HI,
> 
> The response to my query on MULTIMEDIA SYNCH was very poor. The number
> of people interested in the summary far exceeded the number of responses
> Anyway, here is the summary of whatever little I got.
> 
> --ajit

  Someone responded 'HyTime' and I concur. If you are interested in a 
  high level semantic description of synchronous media, HyTime is your
  document. I don't have a copy any more but I'm sure it is out there
  on an ftp site. It's an ISO standard associated loosely with SGML so
  if you know where to find SGML docs, you'll probably find HyTime as
  well.
-Max
Newsgroups: comp.specification
From: roberto@dcs.gla.ac.uk (roberto)
Newsgroups: comp.specification
Subject: Some papers of the FME'93 conference programme
Date: 17 Dec 92 12:13:14 GMT
Organization: Glasgow University Computing Science Dept.
Return-Path: <roberto@dcs.gla.ac.uk>
X-Mailer: mail-news 2.0.5

I am interested in reading the draft of these two papers. 

     On the Derivation of Executable Database Programs from Formal
       Specifications (T. Gunther et.al.)

     Maintaining Consistency under Changes to Formal Specifications
       (K. Ross et.al.)

They are in the programme for the FME'93 conference (april/93). 
If anybody knows the e-mail of the authors please e-mail me. 

Thanks in advance,

Roberto Barros