Top Pages

Plants-In-Motion

Posted on 10th February, 2012 by Chaz

Well-executed, time-lapse, QuickTime movies of plant growth & development - from Indiana Univ.

Plantstress.com

Posted on 10th February, 2012 by Chaz

Dedicated to plant environmental stress in agriculture and biology. The site contains news, announcements, events, original articles, a reference database, files and presentations, biotech issues, mor

The Seed Biology Place

Posted on 10th February, 2012 by Chaz

Gerhard Leubner seed biology lab: detailed information on the lab and topics suc as seed germination, ß-1,3-glucanase & endosperm weakening.

Tannin Chemistry

Posted on 10th February, 2012 by Chaz

Contains a link to a PDF book chapter on Tannin chemistry.
Has moved, it may be at one of the following locations.The page you requested was not found or has moved. Please confirm that you are using the correct URL. The page you requested, http www.users.muohio.edu Protein Precipitable Phenolics.pdf, was not found. In the event that the page has moved, it may be at one of the following locations.The page you requested was not found or has moved. Please confirm that you are using the correct URL. The page you requested, http www.users.muohio.edu

Utah State University Crop Physiology Lab

Posted on 10th February, 2012 by Chaz

The CPL is primarily funded by NASA and most research is dedicated towards optimizing the growth of several plant species, including wheat, soybean, rice, lettuce, tomatoes, radishes, and carrots for
The web page you requested was not found. To find what you are looking for, please use the Quick Search area below, or click on the search panels above..The web page you requested was not found. To find what you are looking for, please use the Quick Search area below, or click on the search panels above..The web page you requested was not found. To find what you are looking for, please use the Quick Search area below, or click on the search panels above..

Waltraud's Carnivorous Plants Homepage

Posted on 10th February, 2012 by Chaz

Nutrient acquisition by different species of carnivorous plants.
Vygodskaya NN, Ziegler W, Kobak I, Koch H, Arneth A, Kusnetsova WA, Sogatchev A, Issajev A, Bauer G, Hollinger DY (1995) Aboveground biomass and nitrogen nutrition in a crhonosequence of pristine Dahurian Larix stands in eastern Siberia. Canadian Journal of Forest Research 25 943-960.Schulze WX (2010) Proteomic approaches to understand protein phosphorylation in pathway modulation. Current Opinion in Plant Biology 13 1-8 Schulze WX, Usadel B (2010) Quantitation in Mass-Spectrometry-Based

Choice Engineering Consultants International

Posted on 10th February, 2012 by Chaz

ceci, a not-for-profit institution founded to elevate individual and organizational decision making.

Educational Material, Links and Software for Clinical Decision Theory.
Odelling and reasoning in health sciences are currently enjoying growing interest. This is paralleled by increased understanding that it are primarily the information processing systems within the organism& ,s intercausal networks that provide the fundamentals of life. Medical Cybernetics - preliminary definition searches for quantitative descriptions of biological dynamics primarily in the intact, but beyond also in the diseased organism in order to gain new insights into the principles of life

MIT Clinical Decision Making Group

Posted on 10th February, 2012 by Chaz

Home page of MIT's Clinical Decision Making Group which is focused on applying computer science, and artificial intelligence in particular, to medicine.

Progress

Posted on 10th February, 2012 by Chaz

Site to help with wise decision-making. Includes theoretical articles about decision theory and decision making more generally, case studies, and the Progress decision procedure. Designed for use for

ACL2 Version 2.7

Posted on 10th February, 2012 by Chaz

A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links
Admiral B.R. Inman Centennial Chair in Computing Theory, Department of Computer Science Department Administrative Office and Mailing Address 1616 Guadalupe, Suite 2.408 University of Texas at Austin Austin, TX 78701 U.S.A. Email Moore at cs dot utexas dot edu Home Page http www.cs.utexas.edu users moore Office MAI 2014 Phone 512 471-9568 Fax 512 471-8885.

Automated Reasoning Project

Posted on 10th February, 2012 by Chaz

Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Conn

Bertrand

Posted on 10th February, 2012 by Chaz

Bertrand solves sets of first-order predicate logic statements for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" (tautology) and "logic
The short manual included with Bertrand.sit, above..

Church

Posted on 10th February, 2012 by Chaz

Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python.

The Coq Project

Posted on 10th February, 2012 by Chaz

Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations themselves and the use o

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus. The im

A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.

DC Proof Online

Posted on 10th February, 2012 by Chaz

New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus

DELORES

Posted on 10th February, 2012 by Chaz

A forward-chaining reasoning engine for defeasible logic, a less expressive but more efficient nonmonotonic logic.

Gateway to Logic

Posted on 10th February, 2012 by Chaz

A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Beschrnken..Fr Rckmeldungen, Fehlerberichte, Erweiterungs- und Autogrammwnsche bentzen Sie bitte das Antwortformular. 2011 04 21 13 25 30 gottschall@gmx.de.Other programs - Feedback - Deutsche Fassung This is a beta version. The tableau algorithms always terminate, but (a) there is a bug hidden in them, and (b) there are valid arguments they are not able to derive. The algorithm from Benson Mates& , book Elementary Logic is complete, but it leads to longish proofs, is rather slow and does not

Isabelle

Posted on 10th February, 2012 by Chaz

A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.
Proving is finding substantial application in the computerised verification of safety-critical systems -- that is, proving that vital systems behave according to some precise specification..

j'Imp Theorem Prover

Posted on 10th February, 2012 by Chaz

An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class providing object-oriented represen
Springer-Verlag bib pdf doi.Andr Platzer. Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics. Springer, 2010. 426 p. ISBN 978-3-642-14508-7. bib book doi web.Andr Platzer. Differential dynamic logic Automated theorem proving for hybrid systems. Knstliche Intelligenz, 24(1), pages 75-77, 2010. Springer-Verlag Invited paper. bib doi.Andr Platzer and Jan-David Quesel. European Train Control System A case study in formal verification. In Karin Breitman and Ana Cavalcanti,

llprover

Posted on 10th February, 2012 by Chaz

A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
I am not a linear logician. Jean-Yves Girard at Linear& ,96, Tokyo, April 1996.I am not a linear logician. Jean-Yves Girard at Linear& ,96, Tokyo, April 1996.

Logic Software from CSLI

Posted on 10th February, 2012 by Chaz

By Jon Barwise and John Etchemendy.
The range of heterogeneous reasoning applications which may be built using the system..Dave Barker-Plummer is an Senior Research Scientist at Stanford University Center for the Study of Language and Information. He holds a Ph.D. from the Department of Artificial Intelligence at Edinburgh University. Since 1995 he has managed the Openproof project work on educational software for teaching logic at the undergraduate level. He is the author of papers on automated reasoning, reasoning with diagrams,

LOOM

Posted on 10th February, 2012 by Chaz

A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sc
Open-source licensing. Contents.aircraft-units.plm US Military Aircraft. Like the above, but using the PowerLoom units system to specify all values with associated units. Uses the powerloom extensions for units and dimensions..Region Connection Calculus knowledge bases, that implement the RCC8 and RCC5 variants. One trick used in these files is to define the regions themselves as the value of function propositions. That makes the region instances all be skolems, which in turn allows the code to

Ludwig

Posted on 10th February, 2012 by Chaz

Application that draws truth-tables for propositional logic formulae. Available for free download and web use.

LWB

Posted on 10th February, 2012 by Chaz

Logics Workbench.
If you have written own programs in the LWB programming language that you think might be useful for others, please send them to us. Please also include a documentation and the name of the author of the program..

Lean Tableau-based Deduction for Propositional Modal Logics. By Bernhard Beckert.
Arbeit sind die formale Spezifikation und automatische Verifikation von Software..

MUltlog

Posted on 10th February, 2012 by Chaz

Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic.

MUltseq

Posted on 10th February, 2012 by Chaz

A generic sequent prover for propositional finitely-valued logics.
DANTE 2009 - TeX Tagung DANTE Professional Typesetting Deutschsprachige Anwendervereinigung TeX e.V. TU Wien, Austria, February 25-27, 2009.THEORIETAG 2006 - 16. Theorietag Automaten und Formale Sprachen TU Wien, Austria, September 27-29, 2006.

Paradox

Posted on 10th February, 2012 by Chaz

A tool that processes first-order logic problems and tries to find finite-domain models for them; written by Koen Claessen and Niklas Sörensson. Haskell and C++; free download under GPL.

Proof General

Posted on 10th February, 2012 by Chaz

Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.

ProofPower

Posted on 10th February, 2012 by Chaz

A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
The requested URL getting versions was not found on this server. Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request..

PROTEIN

Posted on 10th February, 2012 by Chaz

A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, documentation.
The requested URL was not found on this server. If you entered the URL manually please check your spelling and try again. If you think this is a server error, please contact the webmaster..

PVS

Posted on 10th February, 2012 by Chaz

The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Emacs (version 19 or later
Traveling to our site. The class is open to all interested individuals, including non-US citizens. See the link above for details and registration information..November 29, 2004 Release of PVSio.2a. PVSio is a PVS package that extends the ground evaluator with a predefined library of imperative programming language features such as side effects, unbounded loops, input output operations, floating point arithmetic, exception handling, pretty printing, and parsing. The PVSio library is implemented

Spreadsheet Logic

Posted on 10th February, 2012 by Chaz

Free Microsoft Excel add-in for processing and evaluating logic in your spreadhseet.
ADVERT And here is our site recommendation of the week. Do you like skiing? Have you ever dreamt of having a whole mountain for yourself? That is possible now in Colorado. Rent your mountain together with 10 friends for a full incl. snowcat, deep powder and catering.csirwin.All Rights Reserved.Lycos and Tripod are registered trademarks of Lycos Inc..ADVERT And here is our site recommendation of the week. Do you like skiing? Have you ever dreamt of having a whole mountain for yourself? That is

SwitchMin Digital Circuit Minimizer

Posted on 10th February, 2012 by Chaz

Tool for minimizing boolean logic functions.

Tree Proof Generator

Posted on 10th February, 2012 by Chaz

An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.

VeriFun

Posted on 10th February, 2012 by Chaz

A semi-automated system for the verification of statements about programs written in a functional programming language. The system is capable of following fully-automated routines for theorem proving

Visual Turing

Posted on 10th February, 2012 by Chaz

A graphical IDE for creating, running and debugging Turing machines. Freeware for Windows 95/98/NT/2000.

WinKE

Posted on 10th February, 2012 by Chaz

An interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design o
I m an Assistant Professor (universitair docent) at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where my admin responsibilities include being director of our interdisciplinary Master of Logic programme. I do research at the interface of logic, artificial intelligence, and mathematical economics. Specifically, I have worked on computational social choice, multiagent resource allocation, negotiation, combinatorial auctions, knowledge representation,

Dr. Seth Redfield

Posted on 10th February, 2012 by Chaz

Description and visualizations of the Local Interstellar Cloud, a column density calculator for it, and links to popular articles and research papers.

Interstellar Medium Learning pages

Posted on 10th February, 2012 by Chaz

About ISM from history of observation to current status of understanding.

Interstellar Molecules evolutionary cycle

Posted on 10th February, 2012 by Chaz

Evolutionary cycle of Interstellar Organic Molecules - Fullerenes, PAHs, Polyyenes, and biomolecules.

Nebulae

Posted on 10th February, 2012 by Chaz

Part of a larger site on plasma physics.
Fusion or fission, the products need to have a higher binding energy per nucleon (proton or neutron) than the reactants. As the graph above shows, fusion only releases energy for light elements and fission only releases energy for heavy elements. The actual fusion reaction occurs when two nuclei approach within about 1.0E-15 m, so that the attraction, via the residual strong interaction between the nuclei, overcomes the electrical repulsion between the protons. Such close encounters only occur

Observations of Interstellar Molecules

Posted on 10th February, 2012 by Chaz

About observation of Interstellar molecules in the ISM and Physical information obtained from them.

The UCL Centre for Cosmic Chemistry and Physics

Posted on 10th February, 2012 by Chaz

University College London. Research into the chemistry which occurs throughout the universe in interstellar space.
Text-based browsers, and those where scripting is disabled, the complete UCL Online menu is provided below.It is my pleasure to welcome you to the UCL Department of Chemistry website. The Chemistry Department at University College London is the oldest in England and has been built on a solid foundation of chemical excellence. The quality of the teaching and learning experience in Chemistry at UCL is second to none and we use innovative teaching methods to ensure the very best environment for

AstroMB

Posted on 10th February, 2012 by Chaz

Advanced software for astrometry, photometry, robotic observations. Huge database of images and catalogs. Works with MaximDL and ASCOM. Free downloads.

Astronomy Common Object Model (ASCOM)

Posted on 10th February, 2012 by Chaz

Promoting the use of open scriptable tools for amateur and educational astronomy.

Astronomy Formulas

Posted on 10th February, 2012 by Chaz

Lunar and solar periodicity formulas, definitions, time formulas, notation, astronomical constants with computer code for a programmable HP 48 by James Q. Jacobs.
Canyon to Red Man Canyon. Quail Panel, Big Man Panel, Big Panel and more are featured..given d and T are days and Julian centuries from JD 2,415,020 (Jan. 1, noon, 1900 Ephemeris Time).., the period of the moon eccentricity of orbit, from perigee to perigee, is 27.5545465 days. Because the moon distance is least at perigee, parallax is then greatest..is produced by viewing the moon from a moving earth. The direction in which the moon appears is determined by position on the earth& ,s surface. To

Astronomy Software Resources

Posted on 10th February, 2012 by Chaz

Discover links and resources for astronomy software for amateur and professional astronomers and for people interested in astronomy, stargazing and space.
Americans. The Apollo program has helped change the way of life in America, especially in health care. Here are some of the inventions contributed by the Apollo program..SETI@home is a scientific experiment that uses Internet-connected computers in the Search for Extraterrestrial Intelligence (SETI). You can participate by running a free program that downloads and analyzes radio telescope data. Join your About Space Guide in this important endeavor. First, download the software and install it on

News, reviews, articles, forums and downloads of astronomy related programs for various platforms.

Cartes du Ciel / Sky Charts

Posted on 10th February, 2012 by Chaz

Freeware allowing one to draw charts according to the data of 15 catalogs of stars and nebulae, as well as the position of planets, asteroids, and comets. Available in English and is translated in 8
K vethetőek, a kisbolyg k, st k k p lya adatai egyszerűen friss thetőek. A progam celja az, hogy a pontos megfigyeles erdekeben k l nb ző csillagterkepek elkesz tesere ny ljon lehetőseg. A rengeteg be ll t si opci seg t v lasztani, peld ul hogy melyik katal gust haszn ld specifikusan vagy automatikusan, a csillagok es k d k sz nenek es meretenek kiv laszt ban, a bolyg k megjelen teseben, a c mkek es a koordin tah l k megjelen teseben, a kepek illeszteseben, a l that g k r lmenyeiben es meg

Deepsky 2000

Posted on 10th February, 2012 by Chaz

[commercial - Windows] Observation planning software for astronomers. Includes telescope control, logging, and charting.

A large indexed collection of pointers to Linux applications.

EVCODE

Posted on 10th February, 2012 by Chaz

A stellar evolution simulator designed for astronomy education.

GeoClock

Posted on 10th February, 2012 by Chaz

[shareware MS-W] Sunlight clock with world times and sun and moon positions and coverage.

Hubble Space Telescope -- Wallpaper

Posted on 10th February, 2012 by Chaz

[commercial - Win95/98/NT] Thirty full-screen Hubble photos for use as wallpaper and screen saver.
Images from NASA Hubble Space Telescope. You ll see stars, planets, galaxies, and nebualae -- from our solar system to 9 billion light years away, the universe has never been so colorful. (Note due to the nature of the great distances involved, NASA therefore, although they are beautiful, many of them are somewhat grainy. This is simply the way the images are.) If you re interested in this pack, we also highly recommend.

Kairos General Calendar Conversion Program

Posted on 10th February, 2012 by Chaz

[commercial, demo available -- Win95/98/NT] Includes calendars required by historians of astronomy and general historians. Many details are provided for Indian and Jewish calendars and much besides. T
This may cause..All rights reserved.We& ,re sorry to inform you that on July 6, 2009, CompuServe OurWorld was shut down permanently. We sincerely apologize for any inconvenience this may cause..All rights reserved.

Ksetiwatch

Posted on 10th February, 2012 by Chaz

Ksetiwatch monitors multiple SETI@home clients and automatically logs and manages completed work units.

Linux for Astronomy cdrom

Posted on 10th February, 2012 by Chaz

[commercial - Linux] The new release of Linux for Astronomy includes over 3Gb of Astronomical software precompiled for the Linux (x86) operating system. Applications include a wealth of general purpos

LinuxAstro

Posted on 10th February, 2012 by Chaz

Astronomical software on Linux.

Lunar Calendars and Eclipse Finder

Posted on 10th February, 2012 by Chaz

Windows software for converting dates in various lunar and other calendars and for finding lunar phases and eclipses of various kinds.
Less than 20 minutes from it), so in this case the lunation number of the eclipse is -5 even though it occurs within lunation number -6..It is a characteristic of eclipses in a saros series that every third eclipse in the series has a similar latitude and longitude. Thus to find out when there will again be a similar eclipse over Europe we proceed as follows First select Eclipse in same saros series then search forward to the third eclipse, to obtain.For a general discussion of Julian day

Nightfall

Posted on 10th February, 2012 by Chaz

[open source - Linux/Unix] Interactive program for computing synthetic lightcurves and generating animated views and best-fit models of eclipsing binary stars.

Orrery

Posted on 10th February, 2012 by Chaz

Review of the solar system simulator (by Spacetech) for RISC OS workstations.
Are seen). The third display option allows the stars to be turned off, or joined up with their constellation markings (in, of course, any colour you like!) All the stars can be individually clicked on, to find out their brightness (magnitude) and the constellation to which they belong. For the brighter stars, the constellation itself is shown in detail. Unfortunately, the separate image of the constellation cannot be saved. Not that this feature would be that useful, and if anyone seriously

The Salopian Web

Posted on 10th February, 2012 by Chaz

Software links for astronomers professional, education and amateur. Planetaria, sky charts, and databases for PC, MAC and UNIX/LINUX platforms.

Sky and Telescope -- Astronomical Software

Posted on 10th February, 2012 by Chaz

Links to the BASIC programs that appeared in Sky & Telescope, to shareware/freeware astronomy related software and to vendors of astronomy software.
All rights reserved..

AstroNotes

Posted on 10th February, 2012 by Chaz

[commercial - Windows] A tool for recording observations and planning future observing sessions. Allows tracking of progress on common amateur observing programs (Messier, Herschel).

AstroPy

Posted on 10th February, 2012 by Chaz

[open source - multiplatform] Development and integration of tools and numerical algorithms into the Python scripting language.

Automated Variable Star Observing

Posted on 10th February, 2012 by Chaz

[freeware - Linux] Command-line program to automate reduction of variable star CCD images.

C88 provides detailed information about the celestial sphere objects, visible with naked eyes and for the use of an eyepiece of a modest amateur telescope to observe deep sky objects.

Calendar software

Posted on 10th February, 2012 by Chaz

Windows program which creates sundials and calendars, see the dates and names of the year's moons, and calculate Easter.
A mistyped URL. Contact help (at) blibbleblobble.co.Typically means that page has moved, been deleted, or a mistyped URL. Contact help (at) blibbleblobble.co.Typically means that page has moved, been deleted, or a mistyped URL. Contact help (at) blibbleblobble.co.Typically means that page has moved, been deleted, or a mistyped URL. Contact help (at) blibbleblobble.co.Create a website in 5 minutes. Drag-n-drop pages, no html editing, and with planned support for PHP, and even

Deepsky 99 - Software for Observers

Posted on 10th February, 2012 by Chaz

[shareware - Win95/98/NT] Deepsky 99 solves an important need for amateur and professional observers. The software allows the user to plan a productive observing session and record what was observed
Deepsky Imaging is an image enhancement and video CCD capture software. Using the software you can capture images from any video ccd camera outputting composite video or S-Video, such as the Stellacam and Mallincam line of cameras. The software is compatible with any capture device that supports Microsoft Direct Show. In addition, the software contains many tools to enhance existing astronomical images and utilizes the Awesome pre-processing engine from Deepsky Stacker..

Epoch_2000 Temporal Epoch Calculator

Posted on 10th February, 2012 by Chaz

Excel spreadsheet calculates temporal variation in astronomic constants, obliquity of the ecliptic, and illumination angles at any specified latitude. You need only input a date or the latitude.
Was the katun when they carried on their backs. Then the land-surveyor first came, this was Ah Ppizte who measured the leagues. Then there came the chact shrub for marking the leagues with their walking sticks. Then he came Uac-hab-nal to pull the weeds along the leagues, when Mizcit Ahau came to sweep clean the leagues, when the land-surveyor came. These were long leagues that he measured. . . the great mounds came to be built by the lineages and all the things which the rulers did. They were

GeoAstro Applet Collection

Posted on 10th February, 2012 by Chaz

[commercial & freeware - multiplatform] Interactive Java applets display the position, daily and annual path of the sun and the moon, for any time and location.
Press browser& ,s reload button in case the latitude or longitude field is not displayed properly. Enter latitude0 if South, enter longitude0 if east of Greenwich, 52.41 N and 13.41 E is Berlin (Germany)..For a table of rise and set look at this applet. A table of rise, set and twilight times can be written by my Daylight Applet.Of Analemmas, Mean Time, and the Analemmatic Sundial (Frederick W. Sawyer).Algorithm from J. Meeus (Astronomical Algorithms , Chapter 20 Precession)..The current

JPL Planetary and Lunar Ephemerides

Posted on 10th February, 2012 by Chaz

[commercial - multiplatform] This CD contains three Jet Propulsion Laboratory Planetary and Lunar Ephemerides along with a toolbox of FORTRAN subroutines that allow the user to obtain the coordinates
1995-2008 Willmann-Bell, Inc. All rights reserved.P.O. Box 35025, Richmond, Virginia 23235 USAVoice (804) 320-7016 and 1-800-825-STAR (7827) Fax (804) 272-5920Office Business Hours are 9 a.m. to 5 p.m. Eastern Time.Welcome to Willmann-Bell, Inc. Publishers and Booksellers.1995-2011 Willmann-Bell, Inc. All rights reserved.P.O. Box 35025, Richmond, Virginia 23235 USAVoice (804) 320-7016 and 1-800-825-STAR (7827) Fax (804) 272-5920Office Business Hours are 9 a.m. to 5 p.m. Eastern Time.

LunarPhase

Posted on 10th February, 2012 by Chaz

[commercial, demo available - Win95/98/NT] A comprehensive tool for displaying a variety of information on the Moon and aspects of its behaviour.

Moon Tool

Posted on 10th February, 2012 by Chaz

[Windows] A desktop application that displays the times of the various phases of the moon and a picture of the current phase of the moon.
High in the sky is always the same, right? Wrong. One of the most spectacular phenomena in naked-eye astronomy escapes notice by the vast majority of people simply because the the eye and brain can t compare the size and brightness of objects observed on separate occasions. This page explores the inconstant Moon in our everyday sky. While not as dramatic as that conjured up by the imagination of Larry Niven, we ll discover in it a celestial phenomenon seen by everybody, yet.The Moon orbit around

Moonclock

Posted on 10th February, 2012 by Chaz

[shareware - MacOS] Real-time graphical representation of the lunar visual aspect for any time/date/location. Elongation, PA bright limb, RA, DEC, percent illuminated, alt/az, heliocentric lat/long, d
Purchase any, let us know what you think. We always appreciate comments and suggestions from new and potential users. And, please be sure to check out HIPPARCHUS (5.2.1a), our premier astronomy application. HIPPARCHUS is not just another generic desk top planetarium program, but a fully integrated software package for positional astronomy..Welcome to our Web site. It is now*, and you are visitor number since May 2, 1996 22h26m29s (Julian Date 2450206.43506), according to the WebCounter..A Note

Multiyear Interactive Computer Almanac

Posted on 10th February, 2012 by Chaz

[commercial - DOS, Macintosh] A software system that provides high-precision astronomical data in tabular form for a wide variety of objects; it calculates much of the information tabulated in the ben
Water flotation process. As you read some of the older books on telescope making you will understand how serious the quality control problems were, and the great pains taken to purify abrasives. Today, modern technology is capable of producing consistently high quality aluminum oxide which has practically replaced the natural forms for precision optical work. Aluminum oxide, like silicon carbide, is made in the electric furnace. Bauxite (aluminum ore), coke and powered iron are combined, heated,

NGCView

Posted on 10th February, 2012 by Chaz

[commercial, demo available - Win95/98/NT] Astronomical Observation Suite - Astronomical observation and logging software.
Polymorphism, abstraction, etc. - you may want to go to the guided tour first at http msdn.microsoft library ms235630(VS.100).aspx.http www.gettaskdone portfolio consulting-portfolio redmine-at-hos. Just in case link dies -- copy is below Create MySQL Database and Username Login to CPanel and click on MySQL Database Wizard, it will prompt you for database name, then ask you to make a user, make sure you GRANT ALL privileges. Remember this database and username we will use it later. I will

PyEphem

Posted on 10th February, 2012 by Chaz

[open source - multiplatform] A module for performing astronomical computations using the Python scripting language.

SBIG Linux Kernel/Library Module

Posted on 10th February, 2012 by Chaz

This page contains Linux Kernel/Library Module for SBIG CCD Cameras

SkySight

Posted on 10th February, 2012 by Chaz

[commercial, Win/Mac] CCD camera control and image processing, includes SkyChart III.
Community any longer. And best of all, it free! But that not all we have released a large portion of SkySight source code as well. We re making SkySight an open-source project, and invite astronomical-imaging enthusiasts to actively participate in its development. Can t wait to try it? Just click to go to our SkySight download page. Otherwise, read on to learn more about what in store..SkySight is a new program from Southern Stars Systems for CCD camera control and astronomical image processing.

Starchart - Star mapping software

Posted on 10th February, 2012 by Chaz

[opensource - POSIX] There is a sky. There are things in the sky. This program draws maps of things in the sky.
Www.seds pub astro catalogs yale yale.star..

StarTrak

Posted on 10th February, 2012 by Chaz

Freeware for handheld computers to help find and track objects of the night sky.
On this scope the altitude bearing was of a small diameter, so a large circular altitude circle was fitted (rather than the usual linear scale fitted to the inside of the bearing tube). Both circles were cut from 2mm MDF and given a few coats of quick-drying water-based primer and water-based gloss paint. The same telescope was later adapted to allow left-hand or right-hand use, and the Psion computer was mounted on a removable platform. Close up of the Psion computer on its removable

STD Aurora Monitor Software

Posted on 10th February, 2012 by Chaz

[commercial - Win95/98/NT/2000] Advanced auroral activity monitoring software.

ACalendar.com

Posted on 10th February, 2012 by Chaz

The calendar has many options with a standard monthly interface, including sunrise, sunset, and Moon phases.

Annus Novus Decimal Calendar

Posted on 10th February, 2012 by Chaz

A proposal for a non-sectarian, culturally neutral calendar system.

Astro Portal - CalSKY

Posted on 10th February, 2012 by Chaz

The worldwide interactive online astronomical/space calendar and calculator - for friends of astronomy, as well as astronomers.
You have not yet specified your observing site. You can do so here, or using the menu entry Intro , or by clicking the small Earth icon on the right side..CalSky was founded in 1991 by Arnold Barmettler to offer amateur astronomers a new way to plan their observing sessions and to consult scientist and industry regarding questions related to astronomy and celestial mechanics. We are pleased that you find our service meaningful and useful. We also look forward to your acknowledgements and letters

Astronomical Time Keeping

Posted on 10th February, 2012 by Chaz

Extensive descriptions of many astronomical time keeping systems, with information on time zones and Julian day numbers.
Sorry. The requested file has not been found. There might be a typo in the referring page or in the requested URL. Additionally this message will occur if AFS is down again (only temporary). There is an increasing amount of errors by typoes not originating from errors within the archive. It archive policy that the first letter of each directory starts with a capital letter. Accordingly files start with a small letter. There are exceptions when you call Astro Text or one of the mirrors (Messier

Applets related to calendars and keeping time, including sidererial time.

Astronomy Calendar

Posted on 10th February, 2012 by Chaz

Features different views of the night sky, constellations, stars, planets, and other celestial wonders.

Blue Moon Myths

Posted on 10th February, 2012 by Chaz

Second full moon in a month, or third full moon in a single season?
Most populous country, in partnership with an organization known for producing the world largest environmental conferences.(Conference news).Soap opera in India most populous city, hundreds of migrant workers are employed to wash its residents laundry by hand. Peter Caton meets the army that toils for long hours in stiflinq heat to keep Mumbai in clean clothe.(LAUNDRY WORKERS).Additional search results provided by HighBeam Research, LLC. All rights reserved..Additional search results provided by

Britannica.com explores the history of timekeeping, from sundials to cesium atomic clocks.

The Calendar, Leap Years and the Year 2000

Posted on 10th February, 2012 by Chaz

An explanation of the calendar including the origin of the day, week, month and year.

Calendar Studies

Posted on 10th February, 2012 by Chaz

Articles on the Gregorian and Julian calendars, the ISO date format, the Julian day number system, the Maya calendar, the Goddess lunar calendar, the Liberalia Triday Calendar and C functions for date
With, The Star of Bethelehem by Craig Chester, mentions the conjunction in 2 BC and 3 BC. He mentions various conjunction events including a September 11, 3 BC conjunction which he claims was the Jewish New Year, but http emr.cs.uiuc.edu home reingold calendar-book java applet display.html puts that date as 2 Tishri (until sunset = 1720581 JD) which is at least a day late, but maybe it was because of observational conventions that this would actually have been Jewish New Years Day. Also for no

Calendars through the Ages

Posted on 10th February, 2012 by Chaz

History and FAQs of calendars, from ancient Rome to outer space. Including Julian, Gregorian, Jewish, Islamic, Chinese, and Mayan.
Sorry, we couldn& ,t find the page you were looking for. Try one of these links.Sorry, we couldn& ,t find the page you were looking for. Try one of these links.

Calendopaedia

Posted on 10th February, 2012 by Chaz

The Encyclopaedia of Calendars.

Calendrical Calculations

Posted on 10th February, 2012 by Chaz

Published by Cambridge University Press. Gives a unified algorithmic presentation of the Gregorian, ISO, Julian, Coptic, Ethiopic, and Islamic civil calendars.

Related Tags

Posted on 10th February, 2012 by Chaz

Latest searches: