Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract

Source URL: pxtp2011.loria.fr

The not so unique Global Trade Identification Number - Exploring inconsistencies in online product information sources Stephan Karpischek, Florian Michahelles, Elgar Fleisch Auto-ID Labs/ETH Zürich, Zürich, Switzerland

Source URL: cocoa.ethz.ch

• Identification
• Identifiers
• Universal identifiers
• Barcodes
• Automatic identification and data capture
• E-commerce
• Global Trade Item Number
• Elgar Fleisch
• Online shopping
• Marketing
• Radio-frequency identification
• International Article Number

Nucleic Acids Research Advance Access published October 18, 2010 Nucleic Acids Research, 2010, 1–6 doi:nar/gkq937 The Pancreatic Expression database: 2011 update Rosalind J. Cutts1, Emanuela Gadaleta1, Stephan

Source URL: nar.oxfordjournals.org

• Bioinformatics
• Biological databases
• Biology
• Genomics
• Reactome
• Ensembl
• Genome browser
• UCSC Genome Browser
• DNA annotation
• Nucleic acid
• The Cancer Genome Atlas
• Omics

Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 Adam Pease1 and Stephan Schulz2 1 2

Source URL: www.adampease.org

7. SeptemberPressestelle „Damit können wir Maßstäbe setzen“ Kultusminister Stephan Dorgerloh zur Juryentscheidung für das

Source URL: www.mk.sachsen-anhalt.de

Consent Form PROJECT: Victorian Future Mobility Sensing Project INVESTIGATORS: Prof Stephan Winter, Dr Nicole Ronald, Prof Richard Sinnott, Prof Chris Leckie, Prof Russell Thompson, Dr Maria Vasardani, Stephen Roddis, Ro

Source URL: imod-au.info

Raum – Topog raphie – Topol ogie STEPHAN GÜNZEL Der vorliegende Band konturiert einen Ansatz innerhalb der gegenwärtigen Raumdebatte, der von einer einfachen Idee ausgeht: Für kultur- und medienwissenschaftliche F

Source URL: www.transcript-verlag.de

Collaborative Stereo Markus W. Achtelik*, Stephan Weiss*, Margarita Chli*, Frank Dellaert† , Roland Siegwart* * ETH Z¨urich, †

Source URL: margaritachli.com

Institute of Operating Systems and Computer Networks Automated Valet Parking & Charging Stephan Rottmann, Julian Timpner, Lars Wolf (rottmann|timpner|wolf)@ibr.cs.tu-bs.de

Source URL: www.ibr.cs.tu-bs.de

University of Mannheim/Computer Science Technical Report TRAnalyse von Bildmerkmalen zur Identifikation wichtiger Bildregionen Jakob Huber, Stephan Kopf, Philipp Schaber

Source URL: ub-madoc.bib.uni-mannheim.de