Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC)

Source URL: www.risc.jku.at

• Reduced instruction set computing
• Johannes Kepler
• Parallel computing
• Computing
• Computer science
• Austria
• European people
• Bruno Buchberger
• Germany
• Research Institute for Symbolic Computation
• Hagenberg im Mühlkreis
• Linz

MSRI, Berkeley, JuneSingularity Analysis: A Perspective Philippe Flajolet (Inria, France)

Source URL: algo.inria.fr

• Complex analysis
• Factorial
• Number theory
• Analytic combinatorics
• Symbolic combinatorics
• Random permutation statistics
• Mathematics
• Mathematical analysis
• Combinatorics

THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli

Source URL: research.meolic.com

• Systems engineering
• Theoretical computer science
• Diagrams
• Formal methods
• Binary decision diagram
• Model checking
• Formal verification
• Boolean function
• Verification
• Boolean algebra
• Mathematics
• Mathematical logic

Patents 1. Batarseh, Issa. “Symbolic switch/linear circuit simulator systems and methods,” US Patent 8,577,664, Nov 5, Batarseh, Issa. “Method of Adapting Solar Tracking Using Variable Step Size,” US Pat

Source URL: www.ece.ucf.edu

• Provisional application
• Patent law
• Law
• Government
• Intellectual property law
• United States patent law
• Patent

Review of Synthetic Panics—The Symbolic Politics of Designer Drugs Author: Philip Jenkins Publisher: New York University Press Year:

Source URL: www.albany.edu

• Sociology
• Psychedelics
• dissociatives and deliriants
• Sedatives
• Folklore
• Moral panic
• Morality
• Substance abuse
• Philip Jenkins
• Date rape drug
• Chemistry
• Medicine
• Pharmacology

SeptLecture 4: Introduction to Mathematica III Simplifying and Picking Apart Expressions, Calculus, Numerical Evaluation R is that it reduces or even eliminates A great advantage of using a symbolic algebra so

Source URL: pruffle.mit.edu

• Computer algebra systems
• Cross-platform software
• Mathematica
• Numerical software
• Wolfram Research
• Exponentiation
• Function
• Rational function
• Read–eval–print loop
• Mathematical software
• Mathematics
• Software

A Theory of Literate Action: Literate Action, Volume 2

Source URL: wac.colostate.edu

• Knowledge
• Functionalism
• Symbolic interactionism
• Writing Across the Curriculum
• Symbolic Interaction
• Structural functionalism
• Science
• Sociology
• Charles Bazerman

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Source URL: research.microsoft.com

• Operations research
• Linear algebra
• Axiom
• Algorithm
• Function
• Euclidean geometry
• Logic programming
• Mathematical optimization
• Vector space
• Mathematics
• Algebra
• Mathematical logic

A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

Source URL: homes.cs.washington.edu

• Formal methods
• Abstract interpretation
• Symbolic execution
• Functional languages
• Models of computation
• Model checking
• Function
• Programming language
• Test
• Mathematics
• Theoretical computer science
• Computing

A Symbolic Way to Express Paths and Orbits of Two Iterated Function Systems

Source URL: www.complex-systems.com