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

CS378, MA375T, PHY341 Homework 9 Homework 9 Introduction to Quantum Information Science

Source URL: www.scottaaronson.com

• Theoretical computer science
• Analysis of algorithms
• Mathematics
• Quantum information science
• Computer science
• Quantum algorithm
• Quantum computing
• Randomized algorithm
• Algorithm
• AanderaaKarpRosenberg conjecture
• Reservoir sampling

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Source URL: thev.net

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Lambda calculus
• Differential calculus
• Combinatory logic
• Fixed-point combinator
• Recursion
• Ordinary differential equation
• Derivative
• Function
• Monad

Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan

Source URL: www.hyperelliptic.org

• Finite fields
• Integer factorization algorithms
• Lenstra elliptic-curve factorization
• Elliptic curve
• Mathematics

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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

Tenure Standards in Political Science Departments: Results from a Survey of Department Chairs

Source URL: www.saramitchell.org

• Education
• University governance
• Terminology
• Doctor of Philosophy
• Titles
• Political science
• Academic tenure
• Doctorate
• Academic freedom
• Graduate school
• Academic degree
• Academic tenure in North America

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz