Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
1	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
2	A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Virology Microbiology Computer viruses Biology Security Virus Influenza HIV Antivirus software Viral marketing Comparison of computer viruses Viral neuronal tracing
3	SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2017-01-10 07:03:57 Algebra Abstract algebra Mathematics Cohomology theories Differential forms Algebraic geometry Algebraic topology Sheaf Divisor De Rham cohomology Ring Proj construction
4	Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 11:54:40 Cryptography Transport Layer Security Secure communication E-commerce Cryptographic protocols Internet security HTTPS POODLE Cipher suite RC4 Public key certificate Certificate authority
5	Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto www.bitcoin.org Abstract. A purely peer-to-peer version of electronic cash would allow online Add to Reading List Source URL: www.bitcoincash.org Language: English - Date: 2018-10-16 02:24:07 Cryptocurrencies Bitcoin Digital currencies Cryptographic hash functions Error detection and correction Computing Information retrieval Information science Vic coin Bitcoin network Blockchain Merkle tree
6	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-12-20 05:43:00 Computing Internet architecture Information and communications technology Network architecture Emerging technologies Routing algorithms Routing Forwarding information base Link-state routing protocol Functional programming OpenFlow Network function virtualization
7	Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:33 Probability and statistics Mathematical analysis Probability theory Measurement Automated planning and scheduling Planning Domain Definition Language Confidence interval Heuristic Normal distribution Uncertainty
8	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
9	SYSTEMS OF POINTS WITH COULOMB INTERACTIONS SYLVIA SERFATY Abstract. Large ensembles of points with Coulomb interactions arise in various settings of condensed matter physics, classical and quantum mechanics, statistical Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Physics Theoretical physics Chemistry Quantum mechanics Algebra of random variables Random matrix Partition function Hamiltonian
10	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process

UPDATE