Honours for airport attack police

Police who helped thwart a bid to kill holidaymakers in a car bomb attack on Glasgow Airport are to be honoured.

news.bbc.co.uk

Gas shut-off

Europeans feel the cold as Russia suspends fuel

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

Dementia drug death risk warning

Experts have condemned the commonplace prescribing of sedatives to people in the UK with dementia.

news.bbc.co.uk

Falling interest

Pensioners worried as saving rate cuts hit income

news.bbc.co.uk

Private school exodus 'expected'

The Liberal Democrats demand government action to prepare schools for a predicted influx of pupils from the private sector.

news.bbc.co.uk

Canadians set a new record for the fastest trek across Antarctica

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

news.bbc.co.uk

Many to mourn

Tuberculosis is tearing lives apart in Tajikistan

news.bbc.co.uk

Strauss ready to rebuild England

Andrew Strauss insists he has the backing of predecessor Kevin Pietersen as he takes over the England captaincy.

news.bbc.co.uk

Fond farewell

Bollywood's light-hearted goodbye to President Bush

news.bbc.co.uk

Mixed-sex wards 'blighting NHS'

The government has failed to live up to its promise to phase out mixed-sex wards in hospitals in England, the Conservatives say.

news.bbc.co.uk

Fresh inquiry into Tevez affair

The Premier League and the Football Association will launch a fresh inquiry into the conduct of West Ham over the Carlos Tevez affair.

news.bbc.co.uk

Pakistan al-Qaeda leaders 'dead'

Al-Qaeda's operations chief in Pakistan and another top aide are believed to have been killed, US intelligence sources say.

news.bbc.co.uk

City airport runway 'was unsafe'

Passenger planes were involved in "serious" incidents on a temporary runway surface at Bristol Airport, a report says.

news.bbc.co.uk

UK e-mail law 'attack on rights'

A law ensuring the details of every e-mail sent in the UK are kept is an attack on civil liberties, critics say.

news.bbc.co.uk

Cash-hungry turn to credit groups

Community-based credit unions in Wales report a surge in new members as more people are refused financial help by the banks.

news.bbc.co.uk

Murray win sets up Federer clash

Britain's Andy Murray will face Roger Federer in the semi-finals of the Qatar Open after a 6-4 6-2 win over Sergiy Stakhovsky.

news.bbc.co.uk

Taking back what's mine - man asks for kidney's return in divorce

A US man divorcing his wife demands that she return the kidney he donated to her or pay him $1.5m (£1m) in compensation.

news.bbc.co.uk

BBC Sound of 2009

Is this Britain's new pop queen? Electro princess Little Boots is named brightest rising music star

news.bbc.co.uk

Send your video, pictures and story ideas

Have you got a good story? BBC News wants to hear from you.

news.bbc.co.uk

Citi backs mortgage relief plan

US bank Citigroup backs a proposed change in US bankruptcy law to help borrowers avoid losing their homes.

news.bbc.co.uk

Bombs hit Gaza as UN urges truce

Israeli forces carry out more air strikes on Gaza as the UN Security Council calls for an immediate ceasefire.

news.bbc.co.uk

Bad signs

What effect have Israel's actions in Gaza had in UK?

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

Gadgets galore

Some of the goodies on offer at Las Vegas tech fair

news.bbc.co.uk

 World Catalog > Computers > Computer Science > Theoretical > Complexity Theory

 Last searches:voip call centerborataarp traveldedicated hostdui attorneyweb host reseller

World Catalog > Computers > Computer Science > Theoretical > Complexity Theory

Complexity Theory:

Automata, Computability, and Complexity, Spring 2005

Course 6.045J / 18.400J at MIT OpenCourseWare with introduction to basic mathematical models of computation, Turing machines, Church's Thesis, time complexity and NP-completeness.

http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-045JSpring-2005/CourseHome/index.htm

Challenging Benchmarks for SAT and CSP

Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004.

http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm

Graand

Free Classified Ads Portal

www.graand.com

A Compendium of NP Optimization Problems

This is a preliminary version of the catalog of NP optimization problems.

http://www.nada.kth.se/~viggo/problemlist/compendium.html

Complexity of Algorithms

A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.

http://artemis.cs.yale.edu/classes/cs460/Spring98/contents.html

Complexity Theory

Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.

http://www.wisdom.weizmann.ac.il/~oded/cc.html

Complexity Zoo

Description of the 462 complexity classes and relations between them hosted at Caltech as a part of Qwiki project.

http://qwiki.stanford.edu/wiki/Complexity_Zoo

Computability and Complexity

An online course on complexity.

http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html

Computational Complexity and Programming Languages

Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.

http://www.cis.syr.edu/people/royer/talks.html

Computational Complexity Theory

Definition of the subject, links.

http://www.cs.umass.edu/~immerman/complexity_theory.html

Computational Complexity Theory

Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol

http://www.cs.bris.ac.uk/Teaching/Resources/COMS30126/

Computational Complexity Theory

Wikipedia article.

http://en.wikipedia.org/wiki/Computational_complexity_theory

Constraint Satisfaction Problems

Research group in the Computing Laboratory, Oxford University.

http://www.comlab.ox.ac.uk/activities/constraints/

ECCC - Electronic Colloquium on Computational Complexity

A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources.

http://eccc.hpi-web.de/

Efficient algorithms and intractable problems

Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley.

http://www-inst.eecs.berkeley.edu/~cs170/fa06/

IBM Research: Algorithms & Theory

An overview of computational models and methods and how they relate to complexity, with links to selected papers.

http://domino.research.ibm.com/comm/research.nsf/pages/r.algorithms.html

Information-based Complexity

People, publications, prizes.

http://www.ibc-research.org/

Lecture notes on Complexity

Collection of lecture notes by Prof. Eric Allender, Rutgers University.

http://www.cs.rutgers.edu/~allender/lecture.notes/

$1 million for solving P vs NP

One of the Prize Problems named by the Clay Mathematics Institute of Cambridge, Massachusetts (CMI).

http://www.claymath.org/millennium/P_vs_NP/

Parameterized Complexity

Brief description, list of workers and problem compendium, compiled by Todd Wareham.

http://www.cs.mun.ca/~harold/W_hier/W_hier.html

Probabilistically Checkable Proofs and Approximation

Pointers to some survey articles and their authors, by M. Bellare.

http://www-cse.ucsd.edu/users/mihir/pcp.html

SAT Live!

A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.

http://www.satlive.org/

SATLIB - The Satisfiability Library

A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.

http://www.satlib.org/

Theoretical Computer Science links

A collection of bookmarks to algorithms and complexity resources maintained by Heribert Vollmer at the Theoretical Computer Science Institute, University of Hannover.

http://www.thi.uni-hannover.de/en/research/links/

Theory of Computation, Fall 2006

Course 6.045J/18.400J at MIT OpenCourseWare, emphasizing computability and computational complexity theory.

http://ocw.mit.edu/OcwWeb/Mathematics/18-404JFall-2006/CourseHome/

Gadgets galore

Some of the goodies on offer at Las Vegas tech fair

news.bbc.co.uk

Strauss ready to rebuild England

Andrew Strauss insists he has the backing of predecessor Kevin Pietersen as he takes over the England captaincy.

news.bbc.co.uk

UK e-mail law 'attack on rights'

A law ensuring the details of every e-mail sent in the UK are kept is an attack on civil liberties, critics say.

news.bbc.co.uk

Many to mourn

Tuberculosis is tearing lives apart in Tajikistan

news.bbc.co.uk

Gas shut-off

Europeans feel the cold as Russia suspends fuel

news.bbc.co.uk

Bad signs

What effect have Israel's actions in Gaza had in UK?

news.bbc.co.uk

Bombs hit Gaza as UN urges truce

Israeli forces carry out more air strikes on Gaza as the UN Security Council calls for an immediate ceasefire.

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

Cash-hungry turn to credit groups

Community-based credit unions in Wales report a surge in new members as more people are refused financial help by the banks.

news.bbc.co.uk

Canadians set a new record for the fastest trek across Antarctica

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

news.bbc.co.uk

Fresh inquiry into Tevez affair

The Premier League and the Football Association will launch a fresh inquiry into the conduct of West Ham over the Carlos Tevez affair.

news.bbc.co.uk

Fond farewell

Bollywood's light-hearted goodbye to President Bush

news.bbc.co.uk

Murray win sets up Federer clash

Britain's Andy Murray will face Roger Federer in the semi-finals of the Qatar Open after a 6-4 6-2 win over Sergiy Stakhovsky.

news.bbc.co.uk

Citi backs mortgage relief plan

US bank Citigroup backs a proposed change in US bankruptcy law to help borrowers avoid losing their homes.

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

Send your video, pictures and story ideas

Have you got a good story? BBC News wants to hear from you.

news.bbc.co.uk

BBC Sound of 2009

Is this Britain's new pop queen? Electro princess Little Boots is named brightest rising music star

news.bbc.co.uk

Private school exodus 'expected'

The Liberal Democrats demand government action to prepare schools for a predicted influx of pupils from the private sector.

news.bbc.co.uk

Mixed-sex wards 'blighting NHS'

The government has failed to live up to its promise to phase out mixed-sex wards in hospitals in England, the Conservatives say.

news.bbc.co.uk

Taking back what's mine - man asks for kidney's return in divorce

A US man divorcing his wife demands that she return the kidney he donated to her or pay him $1.5m (£1m) in compensation.

news.bbc.co.uk

Pakistan al-Qaeda leaders 'dead'

Al-Qaeda's operations chief in Pakistan and another top aide are believed to have been killed, US intelligence sources say.

news.bbc.co.uk

Dementia drug death risk warning

Experts have condemned the commonplace prescribing of sedatives to people in the UK with dementia.

news.bbc.co.uk

Falling interest

Pensioners worried as saving rate cuts hit income

news.bbc.co.uk

City airport runway 'was unsafe'

Passenger planes were involved in "serious" incidents on a temporary runway surface at Bristol Airport, a report says.

news.bbc.co.uk

Honours for airport attack police

Police who helped thwart a bid to kill holidaymakers in a car bomb attack on Glasgow Airport are to be honoured.

news.bbc.co.uk