Gauss Sieve Algorithm on GPUs Shang-Yi Yang1 , Po-Chun Kuo1(B) , Bo-Yin Yang2 , and Chen-Mou Cheng1 1 Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan {ilway25,kbj,doug}@crypto.tw

Source URL: precision.moscito.org

• Cryptography
• Mathematics
• Post-quantum cryptography
• Lattice-based cryptography
• Lie groups
• Computational hardness assumptions
• Lattice problem
• Lattice
• Euclidean algorithm
• LenstraLenstraLovsz lattice basis reduction algorithm
• Ideal lattice cryptography
• Short integer solution problem

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

Source URL: arxiv.org

Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

§ CFR Ch. IX (7–1–12 Edition) immediately upon request by the Department of Justice. § 904.4 Minimum amount of referrals

Source URL: www.gpo.gov

• Economy
• Financial services
• Finance
• Money laundering
• Electronic funds transfer
• 91st United States Congress
• Bank Secrecy Act
• Euronet Worldwide
• Bank
• Federal Reserve
• Central bank

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

PlateClick: Bootstrapping Food Preferences Through an Adaptive Visual Interface Longqi Yang†,‡ , Yin Cui†,‡ , Fan Zhang†,‡ , John P. Pollak‡ , Serge Belongie†,‡ , Deborah Estrin†,‡ † Department o

Source URL: www.cs.cornell.edu

• Artificial neural networks
• Mathematics
• Information science
• Applied mathematics
• Collective intelligence
• Computational neuroscience
• Feature detection
• Search algorithms
• Cold start
• Recommender system
• Collaborative filtering
• K-means clustering

Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni

Source URL: www.netsec.ethz.ch

• Computing
• Information theory
• Information and communications technology
• Telecommunications engineering
• Data transmission
• Network performance
• Computer networking
• Internet architecture
• Multipath routing
• Transmission Control Protocol
• Packet loss
• Routing

Kei-Tying teens: Using mobile phone e-mail to bond, bridge, and break with social ties – a study of Japanese adolescents 1 Jeffrey Boasea∗ , Tetsuro Kobayashib a Department of Social Psychology, The University of To

Source URL: individual.utoronto.ca

• Technology
• Mobile technology
• Information and communications technology
• Mobile telecommunications
• Mobile phone
• New media
• Telephony
• Videotelephony
• Text messaging
• SMS
• Subscriber identity module
• Mobile Web

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence