Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Source URL: scungao.github.io

• Constraint programming
• Mathematical optimization
• Theoretical computer science
• Statistical classification
• Artificial intelligence
• Machine learning
• Support vector machine
• Constraint satisfaction problem
• Constraint satisfaction
• Decomposition method
• Constrained optimization
• Constraint

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Source URL: www.kestrel.edu

• Scheduling
• Information technology management
• Business
• Economy
• Production planning
• Computing
• Schedule
• Job scheduler
• Local consistency
• Business process management
• Constraint programming
• Windows Task Scheduler

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India

Source URL: icaps16.icaps-conference.org

• Statistical randomness
• Metaphysics
• Free software
• Game artificial intelligence
• Dynamic programming
• Markov processes
• Stochastic control
• Rondebosch
• University of Cape Town
• Monte Carlo tree search
• Abstraction
• Markov decision process

Compliance guide for smaller businesses, charities and other organisations Data protection and privacy laws are being strengthened throughout the world in response to the ever increasing use of technology and the threats

Source URL: www.inforights.im

• Data security
• Law
• Data protection
• Privacy law
• Information privacy
• Internet privacy
• Europe
• General Data Protection Regulation
• Privacy
• Right to be forgotten
• Data Protection Act

2nd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage Parchment, Leather and Textiles Collections and Their Environment Bucharest, Romania, 3rd – 6th September 2013 Programm

Source URL: www.collage.com.ro

LLL reducing with the most significant bits Saruchi Ivan Morel Indian Institute of Technology New Delhi

Source URL: perso.ens-lyon.fr