Proof Mining in Analysis: Computability and ComplexityProof Mining consists in extracting from prima facie non-constructive proofs constructive information. For that purpose many techniques mostly based on negative translation, realizability, functional interpretation, A-translation and combinations thereof have been developed. After introducing ... 2007-05-16 06:00:00 see all
General Plastics InfoDoes anyone know a good site or publication for general information and specs on various families of plastics? I am trying to find a good, easy to use... 2007-05-16 00:20:00 see all
Glitnir: Reminder - Glitnir Bank Lunch Presentation in New York, USA: The Nordic Bank Glitnir Plans to Open Its New York...REYKJAVIK, ICELAND and OSLO, NORWAY and NEW YORK, NY (MARKET WIRE) Bjarni Ármannsson, who is resigning as CEO of Glitnir, will present Glitnir's first quarter results for 2007 in New York. Lárus Welding, Glitnir's new CEO, will participate together with Bjarni Ármannsson. For more information ... 2007-05-14 17:39:00 see all
KXEN Positioned in the Visionaries Quadrant for Customer Data Mining by Leading Industry Analyst Firm(Databases News and Information) KXEN the data mining automation company%26%238482%3B today announced it has been positioned by Gartner Inc in the Visionaries Quadrant for customer data mining The
Ny bog om informationsarkitekturPop_up_window Det er ret sjælden, at der kommer nye bøger om informationsarkitektur. Og endnu sjældnere, at der er tale om 'hands on' tekster. Men nu er der en på vej. Den bliver skrevet af Todd Warfel og kommer på Rosenfield Media. Læs mere om bogen her. Når man tænker på, hvor velbesøgt vores møde ... 2007-03-14 13:24:00 see all
Entanglement Assisted MetrologyPhysical Review Letters, Vol. 94, No. 2. (2005) We propose a new approach to the measurement of a single spin state, based on nuclear magnetic resonance (NMR) techniques and inspired by the coherent control over many-body systems envisaged by quantum information processing. A single target spin is coupled ... 2007-04-24 23:32:00 see all