Certificate of Advanced Studies HES-SO (CAS) GESTION STRATÉGIQUE DE LA SÉCURITÉ / SÛRETÉ EN ENTREPRISE www.cas-securite.ch www.postformation.ch

Source URL: www.asisonline.ch

Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study

Source URL: eta.impa.br

• Machine learning
• Learning
• Artificial intelligence
• Applied mathematics
• Artificial neural network
• Outline of machine learning
• Supervised learning
• Regularization
• Empirical risk minimization
• Backpropagation
• Poisson regression
• Parametric model

Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia†

Source URL: www.logic.at

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• Sequent calculus
• Sequent
• Mathematical proof
• Cut-elimination theorem
• Formal proof
• Proof complexity
• Theorem
• Metamath

Distributed Computing Prof. R. Wattenhofer HomeDetective Advanced Features We have been developing a novel housing platform, called

Source URL: www.tik.ee.ethz.ch

• Online advertising
• Digital marketing
• Marketing
• World Wide Web
• Pay per click search engines
• Photo sharing
• Social networking services

Distributed Computing Prof. R. Wattenhofer Advanced Housing Search Looking for houses and apartments is not as much fun as it could be. Websites like Homegate

Source URL: www.tik.ee.ethz.ch

Advanced Seminar: Assessment of Research and Teaching Outcomes at Higher Educa:on Ins:tu:ons Anne-Wil Harzing, www.Harzing.com

Source URL: harzing.com

• Information science
• Publishing
• Citation metrics
• Academic publishing
• Library science
• Bibliometrics
• Citation indices
• Clarivate Analytics
• Web of Science
• Citation analysis
• Google Scholar
• Scientometrics

2019 The 9th International Conference on Advanced Materials Research ICAMR 2019 CALL FOR PAPER January 24-27, 2019

Source URL: www.icamr.org

• Ei Compendex
• Academic publishing
• Publishing
• Scholarly communication

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

ADVANCED MANUFACTURING INDUSTRY SNAPSHOT PERFECTLY POSITIONED

Source URL: www.iowaeconomicdevelopment.com

• Iowa
• United States
• Advanced manufacturing
• Manufacturing
• Oregon Manufacturing Innovation Center
• Rust Belt

Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization Mathias Lecuyer∗1 , Riley Spahn∗1 , Roxana Geambasu1 , Tzu-Kuo Huang†2 , and Siddhartha Sen3 1 Columbia University, 2 Uber Advanced Tec

Source URL: www.ieee-security.org

• Information
• Data management
• Computing
• Cryptography
• Big data
• Technology forecasting
• Transaction processing
• Differential Privacy
• Data retention
• Internet privacy
• Geographic information system
• Privacy