Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2

Source URL: ceur-ws.org

• Economy
• Business intelligence
• Finance
• Money
• Learning analytics
• Predictive analytics
• Analytics in higher education
• Analytics
• Usability
• Business analytics
• Architectural pattern
• Educational technology

Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Group theory
• Logarithms
• Algebraic number theory
• Numerical linear algebra
• XTR
• Discrete logarithm
• Gaussian elimination
• Quadratic field

Purchase Influence Mining: Identifying Top-k Items Attracting Purchase of Target Item Sungchul Kim1 , Jinyoung Yeo2 , Eunyee Koh1 , Nedim Lipka1 2

Source URL: gdac.uqam.ca

• Graph theory
• Recommender system
• Graph

Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

Source URL: qav.comlab.ox.ac.uk

• Experiment
• Mathematical analysis
• Multi-objective optimization
• Markov decision process
• Probability space
• Event
• Analysis
• Probability and statistics
• Holomorphic functional calculus

Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 

Source URL: www.lix.polytechnique.fr

• Mathematics
• Logarithms
• Mathematical analysis
• Discrete mathematics
• Binary logarithm
• 108
• Factorial
• Prime number
• Common logarithm
• P

Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences Rajarshi Biswas, Xiaoyi Lu, and Dhabaleswar K. (DK) Panda {biswas.91,lu.932,panda.2}@osu.edu Abstract

Source URL: prof.ict.ac.cn

• Computing
• Deep learning
• Free statistical software
• GRPC
• Remote procedure call
• Benchmark
• TensorFlow
• Protocol Buffers
• Remote direct memory access
• InfiniBand
• Storage area network
• Standard Performance Evaluation Corporation

The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o

Source URL: mebsout.github.io

• Formal methods
• Theoretical computer science
• Computing
• Software engineering
• Satisfiability modulo theories
• Model checking
• Invariant
• Lustre

Resist Now #2: Setting Up A Co-Op Q. HOW DO K-HEADS TIME TRAVEL? A. IN A RETARDIS

Source URL: www.randomartists.org

• DIY culture
• Human behavior
• Affordable housing
• Culture
• Anarcho-punk
• Real property law
• Anarchism
• Crime
• Squatting
• Free party
• Autonomous social center
• Ungdomshuset

GCSS Pre-K Preguntas frecuentes 1. 2.

Source URL: www2.gcssk12.net

Volume 2, Issue 1 February - March 2015 Congratulations, Tranda, on your 42+ years of service!!!

Source URL: www.twincreeks.k-state.edu