Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr

Source URL: suncontract.org

• Enterprise application integration
• Computing
• Oracle SOA Suite
• Matja
• Business Process Execution Language
• Oracle Fusion Middleware
• Rozman
• Economy
• Software architecture

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic.

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

• Mathematics
• Linear temporal logic
• Temporal logic
• Mathematical logic
• Symbol
• Structure
• Model theory
• Distribution
• operator

Form No. 11-A Prescribed by the Secretary of StateAPPLICATION FOR ABSENT VOTER’S BALLOT PLEASE PRINT OR TYPE (See Instructions at Bottom of Page) R.CSummit County Board of Elections

Source URL: www.summitcountyboe.com

• Elections
• Voting
• Politics
• Election Day
• Voter registration
• Government
• Postal voting
• Absentee ballot

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

Isomer Info Sheet   Isomer is a lightweight solution for Singapore Government informational services that  employs UX best practices.    The goal of Isomer is three-fold: 

Source URL: isomer.gov.sg

• World Wide Web
• Web development
• Web 1.0
• Web hosting
• Static web page
• Website
• Webs
• GitHub Pages
• Web application
• Jekyll

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

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

• Artificial intelligence
• Logic
• Cognitive science
• Automated reasoning
• Reasoning
• Accountability
• Technology
• Automated theorem proving
• Explainable Artificial Intelligence
• Xai
• Inference

How to Ask for a Favor: A Case Study on the Success of Altruistic Requests Tim Althoff∗ , Cristian Danescu-Niculescu-Mizil† , Dan Jurafsky∗ ∗ Stanford University, † Max Planck Institute SWS

Source URL: www.timalthoff.com

• Human behavior
• Psychology
• Behavior
• Normative ethics
• Interpersonal relationships
• Cognition
• Experimental psychology
• Motivation
• Reciprocity
• Social networking service
• Social proof
• Persuasion

UX CHECKLIST FOR WALLET DEVELOPERS We have compiled a checklist of good practices that can be applied to any cryptocurrency wallet with a graphic user interface. ZCASH FEATURES If you’re building a wallet that supports

Source URL: z.cash

• Economy
• Cryptocurrencies
• Money
• Finance
• Alternative currencies
• E-commerce
• Cryptography
• Zcash
• Cryptocurrency wallet
• Online shopping
• Transaction authentication number
• Draft:Bitcoin Anonymity

INFORMATION Dear Customer, Please be informed that in view for increasing the safety of card use abroad, as of 19 January 2016 the Bank enters new security requirements in force. If you travel to a country outside of Eu

Source URL: www.raiffeisen.hu

Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based

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

• Formal methods
• Theoretical computer science
• Complexity classes
• Automated theorem proving
• Vampire
• NP
• IP
• Mathematics
• Constraint programming
• Proof compression