Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M

Source URL: proceedings.mlr.press

• Software engineering
• Computing
• Modeling and simulation
• Software architecture
• Software design
• Domain-specific language
• Domain-driven design
• Conceptual model
• Architectural pattern
• Scientific modelling
• Domain-specific modeling
• Feature engineering

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface

Membership Inference Attacks Against Machine Learning Models Reza Shokri Cornell Tech

Source URL: www.ieee-security.org

• Machine learning
• Artificial intelligence
• Learning
• Cognition
• Training
• test
• and validation sets
• CIFAR-10
• Artificial neural network
• Support vector machine
• Deep learning
• Overfitting
• Geographic information system
• Neural architecture search

Page 1 of 3 The AutoMARK Voter Assistance Terminal Operating Instructions Insert your paper ballot into the machine and it will be displayed on the screen. You can touch the screen to vote or use a Braille keypad or you

Source URL: idahovotes.gov

• Voting
• Keypad
• Ballot
• Secret ballot
• Politics

1 SecureML: A System for Scalable Privacy-Preserving Machine Learning Payman Mohassel∗ and Yupeng Zhang† Research, † University of Maryland

Source URL: www.ieee-security.org

Upcoming Events LISA18 OpML ’19: 2019 USENIX Conference on Operational Machine Learning

Source URL: www.usenix.org

• Unix
• System administration
• Computing
• USENIX
• Large Installation System Administration Conference
• Computer science
• Information technology
• ACM SIGOPS
• LISA
• Niels Provos

Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

Source URL: staff.washington.edu

• Health
• Computing
• Medical physics
• Formal methods
• Theoretical computer science
• Therapy
• Information and communications technology
• Radiation therapy
• Z notation
• Computer
• Software

Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC

Source URL: www.ieee-security.org

• Denial-of-service attacks
• Statistical inference
• Cyberwarfare
• Estimation theory
• Computing
• Denial-of-service attack
• Internet Relay Chat
• Domain name system
• Anycast
• Cross-validation
• Regression analysis
• Prediction

A Decentralised Big Data and Machine Learning Network Powered by a Computing-Centric Blockchain by The DxChain Team () Last Updated: June 20, 2018 Versiondraft)

Source URL: dxchain.com

• Computing
• Blockchains
• Cryptocurrencies
• Free software
• Data management
• Bitcoin
• Cross-platform software
• Ethereum
• Apache Hadoop
• Bitcoin network
• Big data
• Smart contract

Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis

Source URL: files.sri.inf.ethz.ch

• Probabilistic programming language
• Machine learning
• Information retrieval
• Cognition
• Cognitive science