5,309 research outputs found
Automatic Invention of Integer Sequences
We report on the application of the HR program (Colton, Bundy, & Walsh 1999) to the problem of automatically inventing integer sequences. Seventeen sequences invented by HR are interesting enough to have been accepted into the Encyclopedia of Integer Sequences (Sloane 2000) and all were supplied with interesting conjectures about their nature, also discovered by HR. By extending HR, we have enabled it to perform a two stage process of invention and investigation. This involves generating both the definition and terms of a new sequence, relating it to sequences already in the Encyclopedia and pruning the output to help identify the most surprising and interesting results
The use of data-mining for the automatic formation of tactics
This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques
Audio Analysis/synthesis System
A method and apparatus for the automatic analysis, synthesis and modification of audio signals, based on an overlap-add sinusoidal model, is disclosed. Automatic analysis of amplitude, frequency and phase parameters of the model is achieved using an analysis-by-synthesis procedure which incorporates successive approximation, yielding synthetic waveforms which are very good approximations to the original waveforms and are perceptually identical to the original sounds. A generalized overlap-add sinusoidal model is introduced which can modify audio signals without objectionable artifacts. In addition, a new approach to pitch-scale modification allows for the use of arbitrary spectral envelope estimates and addresses the problems of high-frequency loss and noise amplification encountered with prior art methods. The overlap-add synthesis method provides the ability to synthesize sounds with computational efficiency rivaling that of synthesis using the discrete short-time Fourier transform (DSTFT) while eliminating the modification artifacts associated with that method.Georgia Tech Research Corporatio
Communications techniques and equipment: A compilation
This Compilation is devoted to equipment and techniques in the field of communications. It contains three sections. One section is on telemetry, including articles on radar and antennas. The second section describes techniques and equipment for coding and handling data. The third and final section includes descriptions of amplifiers, receivers, and other communications subsystems
Automated clinical system for chromosome analysis
An automatic chromosome analysis system is provided wherein a suitably prepared slide with chromosome spreads thereon is placed on the stage of an automated microscope. The automated microscope stage is computer operated to move the slide to enable detection of chromosome spreads on the slide. The X and Y location of each chromosome spread that is detected is stored. The computer measures the chromosomes in a spread, classifies them by group or by type and also prepares a digital karyotype image. The computer system can also prepare a patient report summarizing the result of the analysis and listing suspected abnormalities
Method and system for robust symmetrical number system photonic direction finding
PatentA four-element wideband photonic DF system with robust
symmetrical number system preprocessing utilizes dual
electrode Mach-Zehnder modulators (DE-MZMs) to conduct
phase detection for direct wideband direction finding
(DF) of RF signals, such as microwave signals, in which the
normalized magnitude of the output signal phase detector
circuit is equal to lsin(cp/2)1 where cjJ is the phase difference
between the plane waves arriving at the reference and
measurement antennas of a linear DF array. The method and
system allow fine angular resolution using a much smaller
array size than is typically required for linear arrays employing
super-resolution signal processing techniques
A method for spreading and cutting flexible sheet materials
Accordingly with the invention, during the spreading
phase, plies stacked in each cutting position can be sep- arated into different groups by applying one flexible film ply, called "separator film" between groups. The appli- cation of the separator film is provided by means of a "separating spreader". It is desirable to provide an appa- ratus for separating plies that is efficient and does not increase sheet material spreading time. It is an object of the present invention in its preferred embodiment at least to provide a method for applying separating film that min- imize the time required for spread separating film. It is a further object of the present invention in its preferred em- bodiment at least to provide a method for accommodates a separating film at different heights at different cutting positions in the lay-up. It is a another object of the present invention in its preferred embodiment at least to provide a method that ensure that the separating film is applied without both stopping the sheet material spreading and requiring a spreader set-up operation. Moreover in ac- cordance with the present invention, the spreader is pro- vided by an innovative operating method oriented to the minimization of the number of lay-ups formed Indeed, the lower are the spreading time and the cutting time spent to process the current workload, the higher are the productivity performance of the system. Since the cutting patterns are pre-established, it is an object of the present invention to provide a method to compose single lay-up in order to maximize the length of spread plies (i.e. to minimize supply roll changes and the number of distinct spreading operations) as well as to maximize cutting po- sitions heights (i.e. minimize of the number of cutting po- sitions)
Evolving text classification rules with genetic programming
We describe a novel method for using genetic programming to create compact classification rules using combinations of N-grams (character strings). Genetic programs acquire fitness by producing rules that are effective classifiers in terms of precision and recall when evaluated against a set of training documents. We describe a set of functions and terminals and provide results from a classification task using the Reuters 21578 dataset. We also suggest that the rules may have a number of other uses beyond classification and provide a basis for text mining applications
Position location and data collection system and method Patent
Development of telemetry system for position location and data acquisitio
- …