HDTenEightyP/NetNews huggingface dataset:
From: stevep@Cadence.COM (Steve Peterson)
Subject: music software
Organization: Cadence Design Systems, Inc.
Date: Wed, 22 Jul 1992 22:25:05 GMT

>Eric Eisenhandler, Dept. of Physics, Queen Mary & Westfield College,
>University of London. EFE @ V1.PH.QMW.AC.UK

[asks for comments on various software packages including Finale]

Hi Eric!

You are asking the same questions that I just started investigating last week.
Let me share with you what I have found so far, and I hope you will also
keep me informed of what you find.

Last week I talked with a knowledgable salesman at the local music store
and he recommended 2 packages: Finale and Encore.  He explained that Finale
had the largest number of features but it was very difficult to use.  What
he recommended was Encore.  I tried this out in the store and found that
I was able to make it work without any manual.  I was very impressed in that
what ever I played showed up perfectly on the staff on the screen.  I had the
salesman play some very complicated piece on the synth, and found that it
handled it with ease.

I called up the makers of Final (Coda 800-843-2066) and Encore (Passport
415-726-0280) and requested their literature.  Coda tells me that they
have a new version of Finale out called 2.6.3 that is reviewed in either
the September or October issue of Keyboard magazine.

As for prices, I have found Finale for $549 and Encore for $379 (MacWherehouse
800-622-6222)

Let me know what you find....

Steve Peterson
stevep@cadence.com

-- 
Best Regards......

Steve Peterson
From: frankc@faatcrl.UUCP (Frank Coffman)
Newsgroups: comp.music
Subject: Re: What is this group for?
Date: 24 Jul 92 19:21:38 GMT
Organization: FAA Technical Center, Atlantic City NJ

miller@cs.rochester.edu (Brad Miller) writes:


>...  this group is looking more and more 
>like rec.music.synth every day. I thought it was about
>computer applications to music, not sales, looking for patches, etc.

I agree, although the traffic isn't so high that it particularly
bothers me.  It seems to me that rec.music.synth, rec.music.makers and
comp.music are used interchangably by most people.  

Maybe the charters for these groups should be posted so regular readers
would be reminded of the differences.

-or-

Maybe combine the groups.  Not my preference, but would seem more
true to life.


-- 
*********************************************************************
* Frank Coffman     Computer Resource Management, Inc. (CRM)        *
*                   NAS Sim. Support Facility, FAA Technical Center *
*                   Atlantic City Airport, NJ 08405                 *
* UUCP:  ...!rutgers!faatcrl!frankc  Internet:frankc@faatcrl.UUCP   *
*********************************************************************
Newsgroups: comp.music
Subject: MIDI Merge
From: feijai@endor.byu.edu (Sean Luke)
Date: 27 Jul 92 10:52:26 -0700
Reply-To: sean@digaudio.byu.edu

Does anyone know where I can get an inexpensive MIDI 2->1 merge box (or  
bigger)?  Anatek is selling Pocket Merges for $100 apiece!  (We're talking  
about $10-15 worth of parts here).

Or:  does anyone have a schematic for a MIDI merge device?  Protoboards  
aren't *that* bad,  ya know...  :)

--

Sean Luke
Brigham Young University                   MILK:  It Comes From Cows
sean@digaudio.byu.edu  
NeXTmail and nifty Mac stuff welcome
Newsgroups: comp.music
From: "Ms. Johanna Wise" <jmwise@bronze.ucs.indiana.edu>
Subject: HELP! Mac MIDI questions!!!
Organization: Indiana University
Date: Wed, 29 Jul 92 15:48:54 GMT


ok....
I will have a new Mac IIsi and a Kurtzweil EGP-K and Coda "Finale" .
does ANYBODY know what kind of adaptor i have to get for my Mac??
what about where I can get this adaptor???
who i can call?? consult?

also, is there a MIDI  FAQ floating around??? I am a brand new user
of MIDI but an old-timer to the music indusdtry and really could use
some help. Please send me a copy of the faq if you can get a hold of one.

Thanks so much!!
Jo.
-- 
Johanna M. Wise                         VMS: jmwise@gold.ucs.indiana.edu
Music is a life-long love affair.      NeXT: jmwise@cherokee.ucs.indiana.edu
                                       Unix: jmwise@bronze.ucs.indiana.edu
Newsgroups: comp.music
From: markb@tplrd.tpl.oz.au (Mark Bower)
Subject: MIDI -> Sync 24
Followup-To: sci.electronics
Originator: markb@sydrd14
Organization: Telectronics Pacing Systems
Date: Tue, 21 Jul 92 05:57:22 GMT

Good Morning/Afternoon/Evening,

I want to sync some old Roland boxes with Sync
24 interfaces to MIDI gear.  All I really
want is sync-24 clock to MIDI clock (although
the more features the better). The devices
in question include a Roland 808 drum box and a 303
bassline.

Questions:

1. Has anyone got any schematics for such devices ?

2. Does the Roland MSQ-1 (or is it 100) sequencer
convert sync-24 to midi ?

3. I posted a similar request for thsi info before, and
someone mentioned a KORG sync box that does the above -
I've since lost that info, so if you know what I'm
taling about, let me know!

4. Anyone else ever done this ? (I'm sure there
must be)..let me know how you did this.

Cheers for any help,

Mark


From: tak@hprnd.rose.hp.com (Tom Keaveny)
Date: Mon, 27 Jul 1992 23:23:16 GMT
Subject: Re: Attention MIDI Hardware Gurus
Organization: KTOM-fm --> playing all the bits
Newsgroups: comp.music

just a few observations...

your picture has a "bubble" attached to the output of your drivers.  This
usually indicates that the device inverts the electrical sense of the
output before driving.  The HC244 is a *non-inverting* device; perhaps
your friend was thinking of the HC240, which is an *inverting* device.
Both of these devices, incidentally, have 3-state outputs, as opposed
to open-collector.  If you really want an open-collector driver
(I'm afraid I don't know enough about MIDI or your circuit to say for
sure) then you might want to check into the DS75450 series from
National Semiconductor.  Also, the HC240 (or 244) are good up to 6 mA,
I believe (not 10mA).  Finally, the continuous output current for
the package is only 35 mA, so if you plan to use one part to drive
multiple lines, you will only be able to drive slightly over 4 mA
(assuming all 8 outputs are used); if you want the part to stay cool 
and reliable, I'd stay under 20 mA, or so, for the part...


Good luck!

-----------
tom keaveny  (aka tak the hack @ Hewlett Packard:Systems Technology Division)
tak@hprnd
Newsgroups: comp.music
From: noam@techunix.technion.ac.il (noam amir)
Subject: FREE NOTATION SOFTWARE
Organization: Technion, Israel Institute of Technology
Date: Wed, 29 Jul 1992 11:23:42 GMT

we are pleased to announce the beginning of an ongoing
project in notation software for the pc, running under
windows. the first version is now available by anonymous
ftp.
   the package is called MUZIKA. it is written in borland c++ 3.0,
running under windows 3.0. it is available in two zipped files:

muzpak.zip - contains the .exe file and muzika.txt, which is a 
             users guide.
muzsrc.zip - which contains the source files, and muzika.asc
             which is a text file describing the program and
             the various objects, data structures and routines.

MUZIKA is written using object oriented code extensively, 
with much thought given to easily expandable code. currently
its capabilities are:
  multiple staves, multiple part scores, most music notation,
extensive editing and block editing, automatic formatting,
and output of midi file. the last means that after creating
a musical score it can be translated to a midi file and played.
unfortunately the opposite is not possible, and input is
from a mouse only, not from a midi keyboard.

i will be happy to receive feedback, which we will take into
account when preparing the second version. the source code is
available in order to encourage participation over the net
in improving the software.

one unfortunate point is that we didn't manage to create output
to a printer. if any windows guru out there would like to lend
a hand, we'd be most grateful.

so, to get it: the site is piano.technion.ac.il (132.68.48.181),
in directory pub/muzika.

any responses, problems, suggestions and the like should be
directed to me at:
noam@techunix.technion.ac.il

good luck!
                   noam.
From: rahardj@ccu.umanitoba.ca (Budi Rahardjo)
Newsgroups: comp.music
Subject: Re: Need help to find fundamental frequency
Date: 30 Jul 92 19:03:57 GMT
Organization: University of Manitoba, Winnipeg, Canada


shorio@polyslo.csc.calpoly.edu (Shigenori Horio) wrote:
>Right now I am playing an electoric guitar and sending the signal to the
>port. Hopefully, I would like to find a sequence of the fundamental frequencies
>from the input singal in real-time.  

I've been thinking of doing this and maybe turn it into commerical
product :-) But since I don't have time now .... 
Inform me (us) when you get some major findings..

> Is there any fast algorithms written in any programming language that
> retrieves the fundamental frequency without going through FFT algorithm?

It's kinda tough if you don't want o use FFT. The other thing that you might
want to do is do some pre-processing (filtering etc). Also you might want
to look at autocorrelation and wavelet. (I've no ide what wavelet is
but it seems to be an alternative to FFT if I understand it correctly).

I did some fast modified autocorrelation stuff with asembly language on a PC
for calculating the fundamental freq of constant vowel. It worked okay.
Your problem is a bit difficult since the audio contains all six (or more)
string sounds. If you can separate them that would be easier, also this
way you can define a range of the freq you are trying to calculate.
(Some of MIDI guitars have this).


>I have gotten some of the DFT alorithms written in C such as fft() and 
>realfft()
> which inputs a data array(size sixteen) and returning an output array which is
> also the size sixteen, x[16].  Now, to find the fundamental frequency out of
>the output array,do I have to go through all the elements in the array and find
> the maximum value  in x[k]? (Does it need N times comparisons for the window

The maximum value is not necessarily the fundamental frequency.
What I did last time was to get the 3 (or 5) highest peaks and do some
logical matching  something like this :  x[1], x[2], x[3]

If  x[2] = 2 x[1]  and  x[3] = 3 x[1] then x[1] is fundamental freq
If  x[1] = 1/2 x[2]  and x[3] = 2 x[2] then x[2] is the fundamental ...

The actual algortihm that I used was modified, enhanced and simplified. 
It worked for me. (Sorry I can't explain further with the permission of
Dr. Boyanov (Bulgaria ?). Beside, I don't quite understand it :-).


-- budi
-- 
Budi Rahardjo <rahardj@ccu.umanitoba.ca>
Unix Support - Computer Services - University of Manitoba
Newsgroups: comp.specification
From: buck@siswat.hou.tx.us (Lester Buck)
Subject: Re: Looking for specs of phone system
Organization: Photon Graphics, Houston
Date: Fri, 24 Jul 1992 02:51:40 GMT

In article <dk.711659792@alcor> dk@alcor.concordia.ca (dimitri k) writes:
>I'm looking for specifications (preferably formal) of a phone 
>system---a plain old telephone system (POTS) will do.  The spec
>lang or method isn't a concern.  Ftpable sources welcome...
>
>dk


I got a report from the University of Queensland in Australia which
is a Z specification of Switching System 7 (if I remember).  It
covers the user, network, and switching center levels as the
detail increases.

I am heading out for several weeks of vacation and meetings, so
I won't be able to give more detailed information.  Try sending
to davec@cs.uq.oz.au (I think) and asking for the report.


-- 
A. Lester Buck   buck@siswat.hou.tx.us   ...!uhnix1!siswat!buck
From: berstel@mipsmath.math.uqam.ca (Bruno Berstel)
Newsgroups: comp.specification
Subject: FAQ for this group ?
Date: 30 Jul 92 19:18:24 GMT
Reply-To: berstel@lacim.uqam.ca (Bruno Berstel)
Organization: Universite du Quebec a Montreal

Is there a FAQ list for comp.specification ? I couldn't find any on
ftp.uu.net.

I was/am looking for a place where the use, bugs, etc. of Veda is discussed.
(Veda is a simulator for specifications written in Estelle.)

Please e-mail to not waste additionnal bandwidth :-)
Bruno.
-- 
-----     -----     -----     -----     -----     -----     -----     -----
Bruno Berstel                                         berstel@lacim.uqam.ca
Laboratoire de Combinatoire et d'Informatique Mathematique       L.A.C.I.M.
Universite du Quebec a Montreal                                    U.Q.A.M.
(Tele)phone : (514) 987-8495                           Fax : (514) 987-8477
---------------     ---------------     ---------------     ---------------
                    Noel en hiver, Paques au printemps.
From: anthony@cs.uq.oz.au (Anthony Lee)
Newsgroups: comp.specification
Subject: Re: Looking for specs of phone system
Date: 27 Jul 92 00:29:37 GMT
Reply-To: anthony@cs.uq.oz.au

In <1992Jul24.025140.11391@siswat.hou.tx.us> buck@siswat.hou.tx.us (Lester Buck) writes:

>In article <dk.711659792@alcor> dk@alcor.concordia.ca (dimitri k) writes:
>>I'm looking for specifications (preferably formal) of a phone 
>>system---a plain old telephone system (POTS) will do.  The spec
>>lang or method isn't a concern.  Ftpable sources welcome...
>>
>>dk


>I got a report from the University of Queensland in Australia which
>is a Z specification of Switching System 7 (if I remember).  It
>covers the user, network, and switching center levels as the
>detail increases.

I have written a specification of the basic telephone network in
Object-Z.  Send me your snail mail address and I will send you
the tech report.
--
Anthony Lee (Time Lord Doctor) (These are my opinions !)
email: anthony@cs.uq.oz.au	voice:+(61)-7-3651204 FAX:+(61)-7-3651999
SNAIL: Department Computer Science, The University of Qld, 
       St Lucia, Qld 4072, Australia
Newsgroups: comp.specification
From: buck@siswat.hou.tx.us (Lester Buck)
Subject: Re: SPIN tool enquiry
Organization: Photon Graphics, Houston
Date: Fri, 24 Jul 1992 03:00:12 GMT

In article <1992Jul21.055416.29097@nuscc.nus.sg> cheeyong@kolmogoroff.iss.nus.sg (Lim Chee Yong) writes:
>I am looking for more information about the SPIN tool. Anybody
>who knows about this tool, and where I can ftp the source, please 
>send the info to me by e-mail.
>
>Chee-Yong Lim,

SPIN is listed in the book "Design and Validation of Computer Protocols"
(or something similar) from Prentice-Hall by an author (Holzman?) from
Bell Labs.  If you don't want to type it all in, the AT&T Toolchest will
license an electronic copy to you for $300.  (I think that is
outrageous, by the way, even though my client bought a copy.  Other
software books sell their source code on disk for $25 or so.)

If you can FTP it from anywhere, it is probably an illegal copy.  I
suppose if you bought the book, you could type it in an share it with
others who had bought the book, but that is a legal question.

But if you find it for anon FTP, please let me know. :-)

-- 
A. Lester Buck   buck@siswat.hou.tx.us   ...!uhnix1!siswat!buck
From: theobald@ucunix.san.uc.edu (Allen M. Theobald)
Newsgroups: comp.specification
Subject: ASN.1
Date: 22 Jul 92 22:41:16 GMT
Article-I.D.: ucunix.1992Jul22.224116.24654
Organization: University of Cincinnati


Dear fellow Netters!

I am currently working on a project that requires the use of
ASN.1.  My question concerns the following:


    	    	EWSD SCV-S Protocol Data Unit


Is there any existing syntax out there for the above protocol in
ASN.1?  Do not want to re-invent the wheel...





                                        Thanks in advance!

                                        Allen Theobald
                                        theobald@ucunix.san.uc.edu
From: theobald@ucunix.san.uc.edu (Allen M. Theobald)
Newsgroups: comp.specification
Subject: ISO (Intl Stds Org) Documents
Date: 23 Jul 92 00:42:59 GMT
Organization: University of Cincinnati

Fellow netters!

Please Help!

I am looking for a specific ISO document (ISO8571).  Is their
a repository of ISO docs on internet anywhere?  If not how can
obtain this information?  Any and all help appreciated...

Thanks in advance!

Allen M. Theobald
From: baxter@slcs.slb.com (Ira Baxter)
Newsgroups: comp.specification
Subject: Bibliographic Refs for introductory texts for Z, VDM, Lotos
Date: 28 Jul 92 04:40:45 GMT
Organization: Schlumberger Laboratory for Computer Science


I'd like to get bibliographic references, and people's recommendations
for introductory texts for the specification languages in the subject
line.   The texts are intended for students doing individual study.

[Perhaps there's a FAQ containing this?]

-- 
Ira Baxter   email: baxter@slcs.slb.com   ph: 1-512-331-3714
Schlumberger Laboratory for Computer Science
8311 North RR 620   [for snail mail, use PO Box 200015 instead]
Austin, Texas, 78720
From: cscott+@CS.CMU.EDU (Curtis Scott)
Subject: Re: Renaming schemas etc
Date: Tue, 21 Jul 92 12:09:24 GMT
Organization: Carnegie Mellon University

In article <1992Jul19.200646.2244@dscomsf.desy.de>, hallam@zeus02.desy.de (Phillip M. Hallam-Baker) writes:
|> 
|> I have a problem in which I want to build up a master schema from a lot
|> of little ones. The problem is tat a lot of my little schemas are going
|> to be the same. the problem comes when trying to define operations on
|> the composite system which consist of operations on two sub schemas
|> which are essentialy the same.
|> 
|> For example say I have a file server system, I have a schema which
|> defines the state of the file serving robot "ROBOT" and operations
|> "MOVE_ARM_LEFT" "MOVE_ARM_RIGHT" etc. Now the complete system has two
|> robots called Fred and Harry, I want to specify the operation
|> "ALL_WAVE_ARMS" in which Fred does a MOVE_ARM_LEFT and Harry a
|> MOVE_ARM_RIGHT.

If I understand you, your schemas look something like this:

---------------ROBOT-----------------------
| .... schema attributes go here
| ....
|------------------------------------------
| .... schema constraints go here
| ....
-------------------------------------------
 
---------------MoveArmLeft-----------------
| DELTA ROBOT
| ....
-------------------------------------------

---------------MoveArmRight----------------
| DELTA ROBOT
| ....
-------------------------------------------

Fred: ROBOT
Harry: ROBOT

Try redefining your operations this way.

----------------MoveArmLeft-----------------
| r, r': ROBOT
| ...
|-------------------------------------------
| ... state definition of relationship between r and r'
--------------------------------------------

	(and similarly for MoveArmRight)

Then AllWaveArms becomes:

AllWaveArms \defs
	DELTA Fred and DELTA Harry and
		MoveArmLeft[r/Fred][r'/Fred'] and
		MoveArmRight[r/Harry][r'/Harry']

The [a/b] construction is schema renaming, which allows you to rename
the attributes of a schema. They aren't described in Spivey's book (an
oversight on his part, I understand), but fuzz recognizes them.

|> I do remember someone mentioning something about decoration, If I could
|> add have my own decoration sort of "MOVE_ARM_LEFT^{HARRY}"
|> "MOVE_ARM_LEFT^{FRED}" I could squeek by, however this sort of makes me
|> a bit uneasy since I recon that I should then discharge some proof
|> obligation to the effect that the types are compatible and I have a
|> nasty suspicion that there is something lurking...

This is essentially what the above notation does. As far as proof obligation,
what you've said in the statement is textually identical to making two
separate robot-type schemas, and would have exactly the same proof
obligation (basically, that the operations are valid and complete for
the types).

Perhaps I'm showing my Z naivete here, but I don't understand the problem.

Curtis Scott
Carnegie Mellon University
Pittsburgh PA 15221 USA
From: susan@logcam.co.uk (Susan Stepney)
Newsgroups: comp.specification.z
Subject: OO Z collection
Date: 23 Jul 92 15:09:26 GMT
X-Mailer: mail-news 2.0.3


FYI, a short advert.

Due out in August is:

   Susan Stepney, Rosalind Barden, David Cooper (editors)
   Object Orientation in Z
   Workshops in Computer Science
   Springer-Verlag
   1992
   ISBN 3-540-19778-8

This is a collection of papers describing various OOZ approaches --- Hall,
ZERO, MooZ, Object-Z, OOZE, Schuman&Pitt, Z++, ZEST and Fresco (an OO VDM
method) --- in the main written by the methods' inventors, and all
specifying the same two examples.

The collection is a revised and expanded version of a ZIP report
(distributed at the 1991 York Z User Meeting).  If you want a copy of
that out-of-date report instead, please contact
(no e-mail address, I'm afraid)

   Colin Parker
   Systems Computing Dept., W376C
   British Aerospace
   Warton Aerodrome
   Warton
   Preston
   PR4 1AX
   U.K.

(BTW: I had some e-mail from a few people last week, requesting copies
of the ZIP report.  Unfortunately, our mail server then promptly crashed
for a week!  It has forgotten the relevant files, so I have no record
of who asked for what.  Could you please re-send your request, to Colin.
Sorry for the inconvenience.)

Susan Stepney.
From: Hongwei.Lu@prg.oxford.ac.uk
Newsgroups: comp.specification.z
Subject: Subscription
Date: 25 Jul 92 15:59:09 GMT
X-Mailer: mail-news 2.0.3


I would like to subscribe the comp.Specification.Z.  My email address is:
weilu@uk.ac.ox.prg

Thank you
From: bill@dcs.warwick.ac.uk (Bill Ferreira)
Newsgroups: comp.specification.z
Subject: Describing Properties of Schemas
Date: 24 Jul 92 13:22:17 GMT
Organization: Department of Computer Science, Warwick University, England


	Say I have defined a schema S, which contains both variables
and predicates. 

	-- S -----------------
	|
	| variables
	|
	|-------
	|
	| predicates
	|
	|_____________________

	In another schema T say, I have a set X of type \power S. 

	-- T -----------------
	|
	| X: P S
	|
	|-------
	|
	| predicates
	|
	|_____________________

There is also a property I wish any S to hold. Let this property
be P. So I have a schema P which includes S and defines the property

	-- P -----------------
	|
	| S
	| variables
	|
	|-------
	|
	| predicates
	|
	|_____________________
	

	Now how do I say that each x in X in the schema T has property P?
Intuition tells me that it should be something like:

	-- T -----------------
	|
	| X: P S
	|
	|-------
	|
	| predicates
	|
	| forall x in X @ P
	|
	|_____________________


	But what is the link with x and the schema P?

All suggestions/help gratefully received.

-- 
Bill Ferreira (bill@uk.ac.warwick.dcs)
Dept. of Computer Science,
University of Warwick,
Coventry CV4 7AL, ENGLAND.