Symbolic Goods: The Liberal State in Pursuit of Art and Beauty Chapter one: Introduction

Source URL: www.gmu.edu

• Subsidy
• Cultural policy
• National Endowment for the Arts
• Business
• Export
• Welfare
• Copyright
• Subsidies in India
• Agricultural subsidy
• Subsidies
• Government
• Public economics

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Source URL: homes.cs.washington.edu

• Algorithm
• KeY
• Applied mathematics
• Mathematics
• Formal methods
• Abstract interpretation
• Symbolic execution

Copyright © by William H. Sadlier, Inc. Permission to duplicate granted to users of We Believe. Decorate the Jesse Tree by drawing a symbolic ornament in each circle. Then complete the chart to give a brief explanation

Source URL: www.sadlierreligion.com

Prichitaniia and Rituals as Symbolic Representations of Russian Peasants’ Collective Memory: A Comparative Study of Wedding and Funeral Ceremonies SANG HYUN KIM THE UNIVERSITY OF KANSAS T

Source URL: www.pitt.edu

• Cultural anthropology
• Lament
• Serfdom in Russia
• Wedding
• Anthropology
• Culture
• Anthropology of religion
• Ritual

Feature Extraction from Optimization Data via DataModeler’s Ensemble Symbolic Regression Kalyan Veeramachaneni1 , Katya Vladislavleva2 , and Una-May O’Reilly1 1 CSAIL, Massachusetts Institute of Technology, Cambridg

Source URL: groups.csail.mit.edu

• Transducers
• Wireless sensor network
• Smoke detector
• Technology
• Sensors
• Measuring instruments

Chapter 1 BASELINE GENETIC PROGRAMMING SYMBOLIC REGRESSION ON BENCHMARKS FOR SENSORY EVALUATION MODELING Pierre-Luc Noel1 , Kalyan Veeramachaneni2 and Una-May O’Reilly2 1 Swiss Federal Institute of Technology, Switz. 2

Source URL: groups.csail.mit.edu

• Statistics
• Olfaction
• Economic data
• Nonverbal communication
• Psychophysics
• Sensory analysis
• Hedonic regression
• Benchmark
• Odor
• Econometrics
• Mathematics
• Mathematical analysis

Introduction to: Computers & Programming: Input and Output (IO) Adam Meyers New York University

Source URL: nlp.cs.nyu.edu

• Scripting languages
• Archive formats
• Computer file
• Inter-process communication
• Path
• Symbolic link
• Python
• Tar
• Operating system
• Computing
• Software
• System software

Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Mathematical logic
• Algebraic logic
• Circuit
• Boolean function
• Model checking
• FO
• Topology
• Boolean algebras canonically defined
• Boolean circuit
• Theoretical computer science
• Mathematics
• Boolean algebra

Rose, Smith: Symbolic Maximum Likelihood Estimation with Mathematica Sonderforschungsbereich 386, Paper[removed]Online unter: http://epub.ub.uni-muenchen.de/

Source URL: epub.ub.uni-muenchen.de

• M-estimators
• Statistical theory
• Maximum likelihood
• Estimator
• Estimation theory
• Statistics
• Statistical inference

Sequential Logic Synthesis Using Symbolic Bi-Decompsition

Source URL: www.bvsrc.org

• Electronic engineering
• Reed-Muller expansion
• Function
• Logic optimization
• Combinatory logic
• Canonical form
• Binary decision diagram
• Path decomposition
• Asynchronous logic
• Mathematics
• Mathematical logic
• Boolean algebra