Eat it or lose it - why centuries of crop diversity are at risk

Centuries of crop diversity are at risk of being lost forever as farmers turn to just a few modern, high yielding varieties.

news.bbc.co.uk

A deep-sea fish caught in the Pacific has mirrors for eyes

A deep-sea fish caught in the Pacific has eyes which use mirrors as well as lenses, scientists discover.

news.bbc.co.uk

US vows 'huge' marine protection

The US is to establish "the largest area of protected sea in the world", banning fishing and mining, around its Pacific islands.

news.bbc.co.uk

Venomous mammal caught on camera

Rare footage of one of the world's most strange and elusive mammals is captured by scientists.

news.bbc.co.uk

'Wolfman' returns

Explorer Jim McNeill tracks down Arctic wolves

news.bbc.co.uk

Zimbabwe troops 'eat elephants'

A Zimbabwean wildlife campaigner tells the BBC that soldiers are being given elephant meat to eat, as the economic crisis deepens.

news.bbc.co.uk

Mummy of female pharaoh uncovered

Egyptologists find remains of a mummy thought to belong to a queen who ruled 4,300 years ago, Egypt's antiquities chief announced.

news.bbc.co.uk

Tech fair offers greener vision

Analysts at the Consumer Electronics Show say green credentials of tech products will become critical to success.

news.bbc.co.uk

Mosquitoes make sweet love music

Sexy songs sung by mosquitoes in courtship could be key to curbing the spread of dengue fever, say scientists.

news.bbc.co.uk

Feilden's blog

Ground-breaking new technique in stem cell science

news.bbc.co.uk

Holes give edge to new armour

Scientists from the UK Ministry of Defence (MoD) have devised ultra-hard vehicle armour to protect military personnel.

news.bbc.co.uk

Poetry or science?

Is romantic love just a chemical cocktail?

news.bbc.co.uk

Baby Jupiter's huge weight gain

The planet Jupiter must have gained mass fast during its infancy, according to astronomers.

news.bbc.co.uk

Black holes 'preceded galaxies'

Astronomers believe they have solved a cosmic chicken-and-egg question: what came first - black holes or galaxies?

news.bbc.co.uk

Heat may spark world food crisis

Half the world's population could face food crisis by 2100 as soaring temperatures cripple staple crops, scientists warn.

news.bbc.co.uk

Our writers talk back

Some of the previous contributors to the Green Room respond to readers' questions and comments.

news.bbc.co.uk

Animal matters

Scotland's debate over tests on primates

news.bbc.co.uk

Body repair 'could be ramped up'

A combination of drugs could trick the body into sending its repair mechanisms into overdrive, say scientists.

news.bbc.co.uk

Beagle hunter

On a mission to find the most famous ship of science

news.bbc.co.uk

Panda bites his third tourist in two years at Beijing zoo

A panda at Beijing zoo bites a man for the third time in two years.

news.bbc.co.uk

Canadians claim South Pole record

A trio of Canadians claim a new record for the fastest trek across Antarctica to the South Pole.

news.bbc.co.uk

Everest trip helps critically ill

Blood oxygen levels recorded on a trip by medics to Everest could help the treatment of critically ill patients.

news.bbc.co.uk

First flight of algae-fuelled jet

Continental Airlines is the latest to test fly a jet biofuel, this time with a product derived partially from algae.

news.bbc.co.uk

China alert over bird flu death

Chinese authorities shut down and clean poultry markets in Hebei province, after the first human death in nearly a year.

news.bbc.co.uk

Earth Watch

Why it is hard to predict sudden environmental crises

news.bbc.co.uk

 Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Temporal Logic

 Last searches:ביטוח לאומי탁재훈anxietyalcohol drug rehabhigh school musicallawyers

Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Temporal Logic

Temporal Logic:

Efficient Symbolic Tools

A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.

http://lms.uni-mb.si/EST/

Graand

Free Classified Ads Portal

www.graand.com

Interval Temporal Logic

A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.

http://www.cse.dmu.ac.uk/~cau/itlhomepage/

Marking up Temporal Logic

First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.

http://lists.w3.org/Archives/Public/www-math/msg00496.html

Temporal Logic

The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.

http://plato.stanford.edu/entries/logic-temporal/

Temporal Logic

A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.

http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html

Temporal Logic in Information Systems

A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series.

http://www.brics.dk/LS/97/Abs/BRICS-LS-97-Abs/

TemporalRover

Provides automatic verification of protocols and reactive systems through temporal logic specifications.

http://www.time-rover.com/

Time International Workshop Series

The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.

http://www.cs.uregina.ca/~temporal/