A spectrum fable: how AESOP and XML improve naval operations.

CHIPS | April 1, 2005| | Copyright

If you remember what it was like to be a preschooler, you'll recall Aesop's Fables, short stories with moral lessons passed down from ancient times. However, mention the word "AESOP" around the Naval Sea Systems Command (NAVSEA) these days and a tale of Extensible Markup Language (XML) and the electromagnetic spectrum will emerge. And before the day is through you just might find yourself re-examining the tale of "The Tortoise and the Hare."

The Afloat Electromagnetic Spectrum Operations Program, or AESOP, is a surface Navy spectrum management software tool for ...

Related newspaper, magazine, and trade journal articles from HighBeam Research

(Including press releases, facts, information, and biographies)

Studies from University of Oxford, Wolfson College have provided new information about symbolic logic.
Newspaper article from: Robotics & Machine Learning ; We call a logic regular for it semantics...completeness for no regular logics, no matter how simple...writing in the Journal of Symbolic Logic report. Any extensions...intermediate and classical logics. These results are...intuitionistic predicate logic to Markov's Principle...study in ...
Research in the area of symbolic logic reported from University of Oxford.
Newspaper article from: Robotics & Machine Learning ; ...with the expressive power of logics on finite graphs with access...invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to...their study in the Journal of Symbolic Logic (TOWARDS A CHARACTERIZATION...
New symbolic logic research from University of Munster outlined.
Newspaper article from: Robotics & Machine Learning ; ...research published in the Journal of Symbolic Logic, "Let L[E] be an iterable tame...published their study in the Journal of Symbolic Logic (THE SELF-ITERABILITY OF L[E]. Journal of Symbolic Logic, 2009;74(3):751-779...
Data on symbolic logic reported by R.H. Gilman and co-researchers.
Newspaper article from: Robotics & Machine Learning ; ...scientists writing in the Journal of Symbolic Logic report. "A first-order sentence phi...published their study in the Journal of Symbolic Logic (A GEOMETRIC ZERO-ONE LAW. Journal of Symbolic Logic, 2009;74(3):929-938...
Research reports on symbolic logic from University of Pisa provide new insights.
Newspaper article from: Robotics & Machine Learning ; ...research published in the Journal of Symbolic Logic, "By recent work on some conjectures...published their study in the Journal of Symbolic Logic (COHOMOLOGY OF GROUPS IN...INFINITESIMAL SUBGROUP. Journal of Symbolic Logic, 2009;74(3):891...
Data on symbolic logic detailed by M. Baaz and co-authors.(Report)
Newspaper article from: Robotics & Machine Learning ; ...of intuitionistic predicate logic that captures the notions of...their study in the Journal of Symbolic Logic (On Skolemization in constructive theories. Journal of Symbolic Logic, 2008;73(3):969...information for the Journal of Symbolic Logic is: Association Symbolic...
Data on symbolic logic reported by researchers at Boston University.
Newspaper article from: Robotics & Machine Learning ; ...recent research published in the Journal of Symbolic Logic, Relations between some theories of semigroups...published their study in the Journal of Symbolic Logic (ARITHMETIC ON SEMIGROUPS. Journal of Symbolic Logic, 2009;74(1):265-278...
New symbolic logic research from University of Leipzig discussed.
Newspaper article from: Robotics & Machine Learning ; ...extends Propositional Dynamic Logic (PDL) with intersection and...their study in the Journal of Symbolic Logic (PDL WITH INTERSECTION...MODEL CHECKING. Journal of Symbolic Logic, 2009;74(1):279...information for the Journal of Symbolic Logic is: Association Symbolic...
Reports outline symbolic logic study results from University of Ghent.
Newspaper article from: Robotics & Machine Learning ; ...published their study in the Journal of Symbolic Logic (SATURATION AND Sigma(2)-TRANSFER FOR ERNA. Journal of Symbolic Logic, 2009;74(3):901...The publisher of the Journal of Symbolic Logic can be contacted at: Association...
Report summarizes symbolic logic study findings from D.D. Dzhafarov and co-researchers.
Newspaper article from: Robotics & Machine Learning ; ...published their study in the Journal of Symbolic Logic (RAMSEY'S THEOREM AND CONE AVOIDANCE. Journal of Symbolic Logic, 2009;74(2):557-578...contact information for the Journal of Symbolic Logic is: Association Symbolic Logic...

Find more facts and information related to the article "A spectrum fable: how AESOP and XML improve naval ..."