Ján - PDFSEARCH.IO - Document Search Engine

Ján
Results: 45437

#	Item
11 $Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1$	Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:45:47 Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic
12	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
13	SHARK A Realizable Special Hardware Sieving Device for Factoring 1024-bit Integers Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , Christine Priplata3 , Colin Stahlke3 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:16:01 Integer factorization algorithms Mathematics Quadratic sieve Integer factorization records General number field sieve TWIRL Lattice sieving Factor base Prime number Sieve
14	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-03-30 13:03:10 Computational complexity theory Dynamic programming Markov processes Stochastic control Analysis of algorithms Markov decision process Reinforcement learning Time complexity PP Reachability
15	Aquis Exchange Monthly Statistics Jan-2016 € 5,171,623,,566,641 Value Traded Add to Reading List Source URL: www.aquis.eu Language: English - Date: 2016-10-06 06:07:46
16	Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-05-20 08:33:12 Formal languages IP Mathematics Grammar Theoretical computer science Nested stack automaton Indexed grammar
17	Woodruff Library Master Schedule Summer 2018 Winter IntersessionDec 20, Jan 14, 2019 Add to Reading List Source URL: web.library.emory.edu - Date: 2018-10-26 00:12:21
18	NBER WORKING PAPER SERIES OF MICE AND MERCHANTS: TRADE AND GROWTH IN THE IRON AGE Jan David Bakker Stephan Maurer Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2018-09-04 09:49:33 Western Asia Holocene Geography of North Africa Geography of Asia Ancient Near East 2nd millennium BC Bronze Age Mediterranean Sea Phoenicia Trade route Minoan civilization Aegean civilizations
19	Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-20 07:29:02 Mathematics Mathematical analysis Abstract algebra Geometric group theory Measure theory Group theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Building
20	Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920. Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:14:48 Logic Many-valued logic Philosophy Philosophy of logic Three-valued logic Jan ukasiewicz J. Barkley Rosser Mathematical logic