Germany - PDFSEARCH.IO - Document Search Engine

Germany
Results: 46060

#	Item
11	Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2007-10-03 08:41:04 Education Secondary education Educational stages Tertiary education Ninth grade Tenth grade Education in Germany Twelfth grade Hauptschule Vocational education Compulsory education Student
12	Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-19 09:18:04 Education Secondary education Educational stages Compulsory education Tenth grade Vocational education Education in Germany Ninth grade Student Hauptschule State school Apprenticeship
13	Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite automata Machine learning Artificial intelligence Dana Angluin Finite-state machine Active learning Theoretical computer science Formal languages Learning Model checking Cellular automata Induction of regular languages
14	12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:59 Theoretical computer science Computing NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
15	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
16	On the Security of Elliptic Curve Cryptosystems against Attacks with Special-Purpose Hardware Tim G¨ uneysu, Christof Paar, Jan Pelzl Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {gueneysu,cp Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-21 11:54:32 Cryptography Abstract algebra Algebra Finite fields Elliptic curve cryptography Computational hardness assumptions Group theory Public-key cryptography Elliptic-curve cryptography Elliptic curve Key size Discrete logarithm
17	An Evaluation of the Sieving Device YASD for 1024-bit Integers* SHARCS 2006, Cologne, Germany April 4, 2006 Naoyuki Hirota (UEC), ○Tetsuya Izu (FUJITSU), Noboru Kunihiro (UEC), Kazuo Ohta (UEC) Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-19 03:56:50 Cryptography Integer factorization algorithms Weizmann Institute of Science Computational hardness assumptions TWINKLE TWIRL General number field sieve Integer factorization Factor base RSA World records
18	Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:42 Search algorithms Theoretical computer science Heuristic State space search Mathematical optimization Algorithm Mathematics Philosophy of mathematics Cognitive science
19	Press Release EARLYBIRD INVESTS IN BITWALA • Bitwala raises over EUR 4 Million led by Earlybird Venture Captial to launch Germany’s first blockchain banking service • Managing both Euro deposits and Bitcoin wallets Add to Reading List Source URL: earlybird.com Language: English - Date: 2018-10-05 10:40:12 Cryptocurrencies Economy Alternative currencies Money Blockchains Finance Decentralization Bitwala Bitcoin Ethereum Digital currency Draft:Earlybird Venture Capital