SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Propositional calculus
• Semantics
• Philosophical logic
• Satisfiability modulo theories
• Predicate
• Literal
• Well-formed formula
• Model checking

Puupilarit k 3600 NR- nippuristikot k3600 +vaneri S LEIKKAUS C - C NR-ristikkonippu 3x k3600 +

Source URL: www.mtk.fi

Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra

Source URL: icaps16.icaps-conference.org

• Business
• Economy
• Scheduling
• Information technology management
• Operations research
• Production planning
• Schedule
• Workflow
• Business process management
• Program evaluation and review technique
• Hierarchical task network
• Job shop scheduling

High-Performance and Scalable Designs of Programming Models for Exascale Systems Talk at HPC Advisory Council Switzerland Conferenceby Dhabaleswar K. (DK) Panda

Source URL: hpcadvisorycouncil.com

• Computing
• Concurrent computing
• Computer architecture
• Parallel computing
• Partitioned global address space
• Message Passing Interface
• Multi-core processor
• SHMEM
• Exascale computing
• K computer
• Coprocessor
• Supercomputer

Accelerating Big Data Processing with Hadoop, Spark and Memcached Talk at HPC Advisory Council Switzerland Conference (Mar ‘15) by Dhabaleswar K. (DK) Panda The Ohio State University

Source URL: hpcadvisorycouncil.com

• Computing
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Computer networks
• Parallel computing
• Apache Hadoop
• Remote direct memory access
• IWARP
• InfiniBand
• Apache Spark
• Apache HBase

Pokyny k politike otvoreného prístupu (OA) a šablóna pre poskytovateľov finančných prostriedkov Autori: Victoria Tsoukala, Marina Angelaki (EKT) Recenzenti: Alma Swan (EOS), Mafalda Picarra (Jisc), Eloy Rodrigues

Source URL: www.pasteur4oa.eu

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs DragonPaint: Rule Based Bootstrapping for Small Data with an Application to Cartoon Coloring K. Gr

Source URL: proceedings.mlr.press

• Plant morphology
• Plant reproductive system
• Pollination
• Reproduction
• Dungeons & Dragons
• Computational neuroscience
• Behavior
• Artificial neural network
• Petal
• Dragon
• Flower
• Yellow

Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12

Source URL: www.maria-a-schett.net

• Education
• Economy
• Educational psychology
• Neuropsychology
• Business intelligence
• Big data
• Formal sciences
• Analytics
• Architectural pattern
• Educational technology
• Learning
• Learning analytics

GRADUATE SEMINAR Yihui Zhang Some Properties of the Category Vect(K)•→• MSc Student supervised by Donald Stanley Date August 8, 2018

Source URL: www.uregina.ca

From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model