Conjugate gradient acceleration of iteratively re-weighted least squares methods Massimo Fornasier∗, Steffen Peter†, Holger Rauhut‡, Stephan Worm§ September 14, 2015 Abstract

Source URL: www-m15.ma.tum.de

Inhalt Knut Ebeling/Stephan Günzel: Einleitung. . . . . . . . . . . . . . . . . . 7 Archäologien des Archivs

Source URL: ssl.einsnull.com

Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

LinGO Redwoods A Rich and Dynamic Treebank for HPSG Stephan Oepen, Dan Flickinger, Kristina Toutanova, Christoper D. Manning {oe | dan | kristina | manning}@csli.stanford.edu Center for the Study of Language and Informat

Source URL: lingo.stanford.edu

• Linguistics
• Cognitive science
• Language
• Syntax
• Semantics
• Corpus linguistics
• Generative linguistics
• Computational linguistics
• Treebank
• Head-driven phrase structure grammar
• Functional generative description
• Parsing

Mathematics and Statistics in the Social Sciences Stephan Hartmann∗and Jan Sprenger† May 7, 2010 Over the years, mathematics and statistics have become increasingly important in the social sciences1 . A look at the h

Source URL: www.laeuferpaar.de

Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

Market-driven Code Provisioning to Mobile Secure Hardware Alexandra Dmitrienko2 , Stephan Heuser1 , Thien Duc Nguyen1 , Marcos da Silva Ramos2 , Andre Rein2 , and Ahmad-Reza Sadeghi1 1

Source URL: www.trust.informatik.tu-darmstadt.de

• Computing
• Software
• Java platform
• Cross-platform software
• Java
• Java applet
• Applet
• Java Card
• Mobile app
• Trusted execution environment
• Provisioning
• Android

Matrix-based Constructive Theorem Proving Christoph Kreitz Jens Otten Stephan Schmitt Brigitte Pientka Department of Computer Science, Cornell-University Ithaca, NY, U.S.A. {kreitz,jeotten,steph,pientka}@cs.co

Source URL: www.cs.uni-potsdam.de

T cell receptor signaling controls Foxp3 expression via PI3K, Akt, and mTOR Stephan Sauer*, Ludovica Bruno*, Arnulf Hertweck*, David Finlay†, Marion Leleu*, Mikhail Spivakov*, Zachary A. Knight‡, Bradley S. Cobb*, Do

Source URL: knightlab.ucsf.edu